Trace number 3451876

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.72 1800.75

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9025_7.std.opb
MD5SUM898f9481d81532bb854887af2399230f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints184232
Number of constraints which are clauses183032
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 constraint72
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-3451876-1307120331.opb>
1.19/1.22	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 184232 constraints
1.19/1.22	c problem read
1.19/1.22	c presolving settings loaded
1.49/1.57	c presolving:
6.29/6.36	c (round 1) 3953 del vars, 11228 del conss, 0 add conss, 2791 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12710848 impls, 0 clqs
7.89/7.92	c (round 2) 9190 del vars, 30341 del conss, 0 add conss, 7649 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12740002 impls, 0 clqs
8.29/8.32	c (round 3) 10961 del vars, 38693 del conss, 0 add conss, 8644 chg bounds, 33 chg sides, 13 chg coeffs, 0 upgd conss, 12754570 impls, 0 clqs
8.49/8.52	c (round 4) 11722 del vars, 41847 del conss, 0 add conss, 9100 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12761131 impls, 0 clqs
8.59/8.65	c (round 5) 12145 del vars, 43589 del conss, 0 add conss, 9329 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12764925 impls, 0 clqs
8.70/8.73	c (round 6) 12349 del vars, 44453 del conss, 0 add conss, 9440 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12766594 impls, 0 clqs
8.70/8.80	c (round 7) 12455 del vars, 44938 del conss, 0 add conss, 9495 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767318 impls, 0 clqs
8.81/8.85	c (round 8) 12501 del vars, 45179 del conss, 0 add conss, 9520 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767654 impls, 0 clqs
8.89/8.90	c (round 9) 12517 del vars, 45269 del conss, 0 add conss, 9528 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767810 impls, 0 clqs
8.89/8.94	c (round 10) 12525 del vars, 45311 del conss, 0 add conss, 9534 chg bounds, 49 chg sides, 29 chg coeffs, 0 upgd conss, 12767816 impls, 0 clqs
9.39/9.47	c (round 11) 12525 del vars, 45317 del conss, 0 add conss, 9534 chg bounds, 49 chg sides, 29 chg coeffs, 138915 upgd conss, 12767816 impls, 0 clqs
9.99/10.01	c (round 12) 12525 del vars, 45318 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 166 chg coeffs, 138915 upgd conss, 12767816 impls, 0 clqs
483.01/483.11	c    (483.1s) probing: 1000/42257 (2.4%) - 7 fixings, 1 aggregations, 9641454 implications, 0 bound changes
871.62/871.78	c    (871.8s) probing: 2000/42257 (4.7%) - 7 fixings, 1 aggregations, 15446131 implications, 0 bound changes
917.35/917.44	c    (917.4s) probing: 2129/42257 (5.0%) - 7 fixings, 1 aggregations, 16042772 implications, 0 bound changes
917.35/917.44	c    (917.4s) probing aborted: 2000/2000 successive useless probings
917.35/917.44	c (round 13) 12533 del vars, 45324 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 167 chg coeffs, 138915 upgd conss, 67200480 impls, 0 clqs
917.83/917.92	c (round 14) 12533 del vars, 45699 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 252 chg coeffs, 138915 upgd conss, 67200480 impls, 0 clqs
1119.75/1119.83	c (round 15) 12583 del vars, 45699 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 252 chg coeffs, 138915 upgd conss, 76930738 impls, 0 clqs
1121.74/1121.89	c (round 16) 12589 del vars, 45875 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 254 chg coeffs, 138915 upgd conss, 77037916 impls, 0 clqs
1222.94/1223.06	c    (1223.1s) probing: 3000/42257 (7.1%) - 40 fixings, 20 aggregations, 21448223 implications, 0 bound changes
1583.45/1583.52	c    (1583.5s) probing: 4000/42257 (9.5%) - 70 fixings, 26 aggregations, 32121808 implications, 0 bound changes
1717.96/1718.03	c (round 17) 12639 del vars, 45881 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 254 chg coeffs, 138915 upgd conss, 114267774 impls, 0 clqs
1719.36/1719.48	c (round 18) 12657 del vars, 46090 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 255 chg coeffs, 138915 upgd conss, 114268534 impls, 0 clqs
1719.76/1719.82	c (round 19) 12657 del vars, 46108 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 255 chg coeffs, 138915 upgd conss, 114268534 impls, 0 clqs
1800.07/1800.18	c    (1800.2s) probing: 4605/42257 (10.9%) - 89 fixings, 33 aggregations, 37718404 implications, 0 bound changes
1800.07/1800.18	c    (1800.2s) probing aborted: solving stopped
1800.07/1800.18	c (round 20) 12671 del vars, 46108 del conss, 9 add conss, 9534 chg bounds, 71 chg sides, 255 chg coeffs, 138915 upgd conss, 119111884 impls, 0 clqs
1800.07/1800.18	c presolving (20 rounds):
1800.07/1800.18	c  12671 deleted vars, 46108 deleted constraints, 9 added constraints, 9534 tightened bounds, 0 added holes, 71 changed sides, 255 changed coefficients
1800.07/1800.18	c  119111884 implications, 0 cliques
1800.07/1800.18	c presolving was interrupted.
1800.07/1800.18	c Presolving Time: 1798.71
1800.07/1800.18	c - non default parameters ----------------------------------------------------------------------
1800.07/1800.18	c # SCIP version 2.0.1.5
1800.07/1800.18	c 
1800.07/1800.18	c # frequency for displaying node information lines
1800.07/1800.18	c # [type: int, range: [-1,2147483647], default: 100]
1800.07/1800.18	c display/freq = 10000
1800.07/1800.18	c 
1800.07/1800.18	c # maximal time in seconds to run
1800.07/1800.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.07/1800.18	c limits/time = 1800
1800.07/1800.18	c 
1800.07/1800.18	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.07/1800.18	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.07/1800.18	c limits/memory = 13950
1800.07/1800.18	c 
1800.07/1800.18	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.07/1800.18	c # [type: int, range: [1,2], default: 1]
1800.07/1800.18	c timing/clocktype = 2
1800.07/1800.18	c 
1800.07/1800.18	c # belongs reading time to solving time?
1800.07/1800.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.07/1800.18	c timing/reading = TRUE
1800.07/1800.18	c 
1800.07/1800.18	c # should presolving try to simplify inequalities
1800.07/1800.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.07/1800.18	c constraints/linear/simplifyinequalities = TRUE
1800.07/1800.18	c 
1800.07/1800.18	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.07/1800.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.07/1800.18	c constraints/indicator/addCouplingCons = TRUE
1800.07/1800.18	c 
1800.07/1800.18	c # should presolving try to simplify knapsacks
1800.07/1800.18	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.07/1800.18	c constraints/knapsack/simplifyinequalities = TRUE
1800.07/1800.18	c 
1800.07/1800.18	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.07/1800.18	c # [type: int, range: [-1,2147483647], default: -1]
1800.07/1800.18	c separating/rapidlearning/freq = 0
1800.07/1800.18	c 
1800.07/1800.18	c -----------------------------------------------------------------------------------------------
1800.07/1800.18	c start solving
1800.07/1800.21	c presolving:
1800.07/1800.21	c presolving (20 rounds):
1800.07/1800.21	c  12671 deleted vars, 46108 deleted constraints, 9 added constraints, 9534 tightened bounds, 0 added holes, 71 changed sides, 255 changed coefficients
1800.07/1800.21	c  119111884 implications, 0 cliques
1800.07/1800.21	c presolving was interrupted.
1800.07/1800.21	c Presolving Time: 1798.74
1800.07/1800.21	c 
1800.07/1800.21	c SCIP Status        : solving was interrupted [time limit reached]
1800.07/1800.21	c Solving Time (sec) : 1800.21
1800.07/1800.21	c Solving Nodes      : 0
1800.07/1800.21	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.07/1800.21	s UNKNOWN
1800.07/1800.21	c SCIP Status        : solving was interrupted [time limit reached]
1800.07/1800.21	c Total Time         :    1800.21
1800.07/1800.21	c   solving          :    1800.21
1800.07/1800.21	c   presolving       :    1798.74 (included in solving)
1800.07/1800.21	c   reading          :       1.22 (included in solving)
1800.07/1800.21	c Original Problem   :
1800.07/1800.21	c   Problem name     : HOME/instance-3451876-1307120331.opb
1800.07/1800.21	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.21	c   Constraints      : 184232 initial, 184232 maximal
1800.07/1800.21	c Presolved Problem  :
1800.07/1800.21	c   Problem name     : t_HOME/instance-3451876-1307120331.opb
1800.07/1800.21	c   Variables        : 42111 (42111 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.07/1800.21	c   Constraints      : 138133 initial, 138133 maximal
1800.07/1800.21	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.07/1800.21	c   trivial          :       0.05        761          0          0          0          0          0          0          0          0
1800.07/1800.21	c   dualfix          :       0.06         91          0          0          0          0          0          0          0          0
1800.07/1800.21	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.07/1800.21	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.07/1800.21	c   pseudoobj        :       0.00          0          0          0          0          0          0          0          0          0
1800.07/1800.21	c   implics          :       3.62          0         24          0          0          0          0          0          0          0
1800.07/1800.21	c   probing          :    1784.71         89         33          0          0          0          0          0          0          0
1800.07/1800.21	c   knapsack         :       1.95          0          0          0          0          0          7          9         22        226
1800.07/1800.21	c   setppc           :       0.52          0          0          0          0          0        771          0          0          0
1800.07/1800.21	c   linear           :       7.39       8773       2900          0       9534          0      45317          0         49         29
1800.07/1800.21	c   logicor          :       0.15          0          0          0          0          0         13          0          0          0
1800.07/1800.21	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.07/1800.21	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.07/1800.21	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.07/1800.21	c   knapsack         :          0+         0     204745          0          0          0          0         29          0          0          0          0
1800.07/1800.21	c   setppc           :          0+         0     204716          0          0          0          0         11          0          0          0          0
1800.07/1800.21	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.07/1800.21	c   logicor          :          0+         0     187281          0          0          0          0         27          0          0          0          0
1800.07/1800.21	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.07/1800.21	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.07/1800.21	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.07/1800.21	c   knapsack         :      13.47       0.00      13.47       0.00       0.00       0.00       0.00
1800.07/1800.21	c   setppc           :     892.85       0.00     892.85       0.00       0.00       0.00       0.00
1800.07/1800.21	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.07/1800.21	c   logicor          :      13.98       0.00      13.98       0.00       0.00       0.00       0.00
1800.07/1800.21	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.07/1800.21	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.07/1800.21	c   vbounds          :          0          0          0          0
1800.07/1800.21	c   rootredcost      :          0          0          0          0
1800.07/1800.21	c   pseudoobj        :          0          0          0          0
1800.07/1800.21	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.07/1800.21	c   vbounds          :       0.08       0.08       0.00
1800.07/1800.21	c   rootredcost      :       0.06       0.06       0.00
1800.07/1800.21	c   pseudoobj        :       0.04       0.04       0.00
1800.07/1800.21	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.07/1800.21	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.21	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.21	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.21	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.07/1800.21	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.07/1800.21	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.07/1800.21	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.68/1800.74	c Time complete: 1800.71.

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 9060
/proc/meminfo: memFree=27415792/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=14524 CPUtime=0 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 2585 0 0 0 0 0 0 0 25 0 1 0 823632815 14872576 2539 33554432000 4194304 9163163 140733346660528 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9060/statm: 3631 2554 395 1214 0 2413 0

[startup+0.034923 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 9060
/proc/meminfo: memFree=27415792/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=19456 CPUtime=0.03 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 3843 0 0 0 3 0 0 0 25 0 1 0 823632815 19922944 3796 33554432000 4194304 9163163 140733346660528 18446744073709551615 7481023 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9060/statm: 4864 3796 395 1214 0 3646 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 19456

[startup+0.100965 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 9060
/proc/meminfo: memFree=27415792/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=30068 CPUtime=0.09 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 6519 0 0 0 9 0 0 0 25 0 1 0 823632815 30789632 6472 33554432000 4194304 9163163 140733346660528 18446744073709551615 8041869 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9060/statm: 7517 6472 395 1214 0 6299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30068

[startup+0.300875 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 9060
/proc/meminfo: memFree=27415792/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=50692 CPUtime=0.29 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 11654 0 0 0 28 1 0 0 25 0 1 0 823632815 51908608 11607 33554432000 4194304 9163163 140733346660528 18446744073709551615 8031070 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9060/statm: 12673 11607 395 1214 0 11455 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50692

[startup+0.700798 s]
/proc/loadavg: 2.00 2.00 1.97 3/478 9060
/proc/meminfo: memFree=27415792/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=77812 CPUtime=0.69 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 18403 0 0 0 68 1 0 0 25 0 1 0 823632815 79679488 18356 33554432000 4194304 9163163 140733346660528 18446744073709551615 8041849 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9060/statm: 19453 18356 395 1214 0 18235 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77812

[startup+1.50065 s]
/proc/loadavg: 2.00 2.00 1.97 3/482 9067
/proc/meminfo: memFree=27213764/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=278092 CPUtime=1.49 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 68241 0 0 0 141 8 0 0 25 0 1 0 823632815 284766208 68174 33554432000 4194304 9163163 140733346660528 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9060/statm: 69523 68174 454 1214 0 68305 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 278092

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.97 3/482 9067
/proc/meminfo: memFree=26715912/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=467588 CPUtime=3.09 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 114736 0 0 0 296 13 0 0 25 0 1 0 823632815 478810112 114669 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9060/statm: 116897 114669 506 1214 0 115679 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 467588

[startup+6.30084 s]
/proc/loadavg: 2.00 2.00 1.97 3/482 9067
/proc/meminfo: memFree=26157736/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=678828 CPUtime=6.29 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 165329 0 0 0 609 20 0 0 25 0 1 0 823632815 695119872 165262 33554432000 4194304 9163163 140733346660528 18446744073709551615 4317443 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9060/statm: 169707 165262 516 1214 0 168489 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 678828

[startup+12.7006 s]
/proc/loadavg: 2.00 2.00 1.97 3/482 9067
/proc/meminfo: memFree=25952432/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=772716 CPUtime=12.69 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 199011 0 0 0 1246 23 0 0 25 0 1 0 823632815 791261184 188222 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9060/statm: 193179 188222 612 1214 0 191961 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 772716

[startup+25.5012 s]
/proc/loadavg: 2.00 2.00 1.97 3/482 9068
/proc/meminfo: memFree=25857856/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=827700 CPUtime=25.49 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 211880 0 0 0 2525 24 0 0 25 0 1 0 823632815 847564800 201091 33554432000 4194304 9163163 140733346660528 18446744073709551615 4352460 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9060/statm: 206925 201091 612 1214 0 205707 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 827700

[startup+51.1013 s]
/proc/loadavg: 2.06 2.02 1.97 3/482 9069
/proc/meminfo: memFree=25690824/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=909728 CPUtime=51.09 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 231840 0 0 0 5082 27 0 0 25 0 1 0 823632815 931561472 221051 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9060/statm: 227432 221051 612 1214 0 226214 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 909728

[startup+102.318 s]
/proc/loadavg: 2.02 2.01 1.97 3/482 9070
/proc/meminfo: memFree=25342156/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=1045296 CPUtime=102.31 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 265354 0 0 0 10200 31 0 0 25 0 1 0 823632815 1070383104 254565 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9060/statm: 261324 254565 612 1214 0 260106 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1045296

[startup+162.301 s]
/proc/loadavg: 2.06 2.02 1.98 3/482 9080
/proc/meminfo: memFree=24862420/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=1279700 CPUtime=162.23 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 323889 0 0 0 16185 38 0 0 25 0 1 0 823632815 1310412800 313100 33554432000 4194304 9163163 140733346660528 18446744073709551615 5459270 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9060/statm: 319925 313100 612 1214 0 318707 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1279700

[startup+222.301 s]
/proc/loadavg: 2.02 2.01 1.98 3/482 9082
/proc/meminfo: memFree=24447220/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=1493308 CPUtime=222.23 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 376706 0 0 0 22178 45 0 0 25 0 1 0 823632815 1529147392 365917 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567511 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9060/statm: 373327 365917 612 1214 0 372109 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1493308

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 1.98 3/482 9084
/proc/meminfo: memFree=24095900/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=1653528 CPUtime=282.22 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 416646 0 0 0 28172 50 0 0 25 0 1 0 823632815 1693212672 405857 33554432000 4194304 9163163 140733346660528 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9060/statm: 413382 405857 612 1214 0 412164 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1653528

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/482 9088
/proc/meminfo: memFree=23766620/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=1824392 CPUtime=342.22 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 458756 0 0 0 34166 56 0 0 25 0 1 0 823632815 1868177408 447967 33554432000 4194304 9163163 140733346660528 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9060/statm: 456098 447967 612 1214 0 454880 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1824392

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/482 9090
/proc/meminfo: memFree=23586616/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=1905580 CPUtime=402.21 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 478617 0 0 0 40162 59 0 0 25 0 1 0 823632815 1951313920 467828 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9060/statm: 476395 467828 612 1214 0 475177 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 1905580

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/482 9091
/proc/meminfo: memFree=23351604/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=1999100 CPUtime=462.21 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 502083 0 0 0 46159 62 0 0 25 0 1 0 823632815 2047078400 491294 33554432000 4194304 9163163 140733346660528 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 499775 491294 612 1214 0 498557 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1999100

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/482 9093
/proc/meminfo: memFree=23110784/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=2112300 CPUtime=522.21 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 530381 0 0 0 52154 67 0 0 25 0 1 0 823632815 2162995200 519592 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 528075 519592 616 1214 0 526857 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2112300

[startup+582.301 s]
/proc/loadavg: 2.07 2.03 1.99 3/482 9095
/proc/meminfo: memFree=22981664/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=2158564 CPUtime=582.21 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 541885 0 0 0 58153 68 0 0 25 0 1 0 823632815 2210369536 531096 33554432000 4194304 9163163 140733346660528 18446744073709551615 4221368 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 539641 531096 616 1214 0 538423 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 2158564

[startup+642.3 s]

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

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/482 9106
/proc/meminfo: memFree=22198252/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=2531328 CPUtime=1002.23 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 636797 0 0 0 100142 81 0 0 25 0 1 0 823632815 2592079872 625965 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567497 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 632832 625965 616 1214 0 631614 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 2531328

[startup+1062.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/482 9107
/proc/meminfo: memFree=22096668/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=2637876 CPUtime=1062.24 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 662287 0 0 0 106139 85 0 0 25 0 1 0 823632815 2701185024 651455 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567776 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 659469 651455 616 1214 0 658251 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 2637876

[startup+1122.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/482 9109
/proc/meminfo: memFree=21987512/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=2749636 CPUtime=1122.24 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 690025 0 0 0 112135 89 0 0 25 0 1 0 823632815 2815627264 679193 33554432000 4194304 9163163 140733346660528 18446744073709551615 5939052 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 687409 679193 616 1214 0 686191 0
Current children cumulated CPU time (s) 1122.24
Current children cumulated vsize (KiB) 2749636

[startup+1182.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/482 9111
/proc/meminfo: memFree=21877980/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=2861180 CPUtime=1182.24 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 717222 0 0 0 118131 93 0 0 25 0 1 0 823632815 2929848320 706332 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567787 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 715295 706332 616 1214 0 714077 0
Current children cumulated CPU time (s) 1182.24
Current children cumulated vsize (KiB) 2861180

[startup+1242.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/482 9112
/proc/meminfo: memFree=21770320/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=2966540 CPUtime=1242.24 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 743400 0 0 0 124128 96 0 0 25 0 1 0 823632815 3037736960 732510 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567822 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 741635 732510 616 1214 0 740417 0
Current children cumulated CPU time (s) 1242.24
Current children cumulated vsize (KiB) 2966540

[startup+1302.3 s]
/proc/loadavg: 2.03 2.05 2.01 3/482 9114
/proc/meminfo: memFree=21671580/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3065012 CPUtime=1302.26 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 767661 0 0 0 130126 100 0 0 25 0 1 0 823632815 3138572288 756771 33554432000 4194304 9163163 140733346660528 18446744073709551615 5458879 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 766253 756771 616 1214 0 765035 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 3065012

[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/482 9115
/proc/meminfo: memFree=21537516/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3200280 CPUtime=1362.25 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 801323 0 0 0 136120 105 0 0 25 0 1 0 823632815 3277086720 790433 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567497 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 800070 790433 616 1214 0 798852 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 3200280

[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/482 9117
/proc/meminfo: memFree=21403316/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3339048 CPUtime=1422.26 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 835379 0 0 0 142117 109 0 0 25 0 1 0 823632815 3419185152 824489 33554432000 4194304 9163163 140733346660528 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 834762 824489 616 1214 0 833544 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 3339048

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 9119
/proc/meminfo: memFree=21258456/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3480528 CPUtime=1482.24 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 871333 0 0 0 148110 114 0 0 25 0 1 0 823632815 3564060672 860443 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 870132 860443 616 1214 0 868914 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 3480528

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/482 9120
/proc/meminfo: memFree=21095500/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3607368 CPUtime=1542.25 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 902015 0 0 0 154107 118 0 0 25 0 1 0 823632815 3693944832 891125 33554432000 4194304 9163163 140733346660528 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 901842 891125 616 1214 0 900624 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 3607368

[startup+1602.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/482 9122
/proc/meminfo: memFree=20741952/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3741504 CPUtime=1602.25 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 934909 0 0 0 160102 123 0 0 25 0 1 0 823632815 3831300096 924019 33554432000 4194304 9163163 140733346660528 18446744073709551615 5460089 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 935376 924019 616 1214 0 934158 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 3741504

[startup+1662.3 s]
/proc/loadavg: 1.65 1.95 1.97 2/476 9140
/proc/meminfo: memFree=23614688/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3844976 CPUtime=1662.26 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 961105 0 0 0 166099 127 0 0 25 0 1 0 823632815 3937255424 950215 33554432000 4194304 9163163 140733346660528 18446744073709551615 4216234 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 961244 950215 616 1214 0 960026 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 3844976

[startup+1722.3 s]
/proc/loadavg: 1.35 1.80 1.92 2/476 9142
/proc/meminfo: memFree=23478008/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3980996 CPUtime=1722.25 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 995247 0 0 0 172094 131 0 0 25 0 1 0 823632815 4076539904 984357 33554432000 4194304 9163163 140733346660528 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 995249 984357 616 1214 0 994031 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 3980996

[startup+1782.3 s]
/proc/loadavg: 1.13 1.65 1.86 2/476 9144
/proc/meminfo: memFree=23399100/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=4063652 CPUtime=1782.26 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 1015063 0 0 0 178092 134 0 0 25 0 1 0 823632815 4161179648 1004173 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 1015913 1004173 616 1214 0 1014695 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 4063652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 1.10 1.62 1.85 2/476 9144
/proc/meminfo: memFree=23360648/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=4097760 CPUtime=1800.07 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 1024361 0 0 0 179872 135 0 0 25 0 1 0 823632815 4196106240 1013471 33554432000 4194304 9163163 140733346660528 18446744073709551615 6567515 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9060/statm: 1024440 1013471 616 1214 0 1023222 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4097760

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

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

[startup+1800.22 s]
/proc/loadavg: 1.10 1.62 1.85 2/476 9144
/proc/meminfo: memFree=23360648/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=4098204 CPUtime=1800.17 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 1025094 0 0 0 179882 135 0 0 18 0 1 0 823632815 4196560896 1013559 33554432000 4194304 9163163 140733346660528 18446744073709551615 6918305 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9060/statm: 1024551 1013559 624 1214 0 1023333 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 4098204

[startup+1800.6 s]
/proc/loadavg: 1.09 1.61 1.84 2/477 9145
/proc/meminfo: memFree=23901404/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3431736 CPUtime=1800.57 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 1025111 0 0 0 179917 140 0 0 18 0 1 0 823632815 3514097664 821569 33554432000 4194304 9163163 140733346660528 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9060/statm: 857934 821569 641 1214 0 856716 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (KiB) 3431736

[startup+1800.72 s]
/proc/loadavg: 1.09 1.61 1.84 2/477 9145
/proc/meminfo: memFree=23901404/32950928 swapFree=39617324/67111528
[pid=9060] ppid=9058 vsize=3431736 CPUtime=1800.68 cores=0,2,4,6
/proc/9060/stat : 9060 (scip-2.0.1.4b.l) R 9058 9060 7025 0 -1 4202496 1025111 0 0 0 179917 151 0 0 18 0 1 0 823632815 3514097664 189270 33554432000 4194304 9163163 140733346660528 18446744073709551615 8264362 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/9060/statm: 857934 189270 641 1214 0 856716 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (KiB) 3431736

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.72
CPU user time (s): 1799.18
CPU system time (s): 1.54377
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 4098204

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

runsolver used 8.81466 second user time and 19.475 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-03 18:58:51
IDJOB=3451876
IDBENCH=77818
IDSOLVER=1948
FILE ID=node127/3451876-1307120331
RUNJOBID= node127-1307118529-8942
PBS_JOBID= 13497989
Free space on /tmp= 73936 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/j90opt/normalized-j9025_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-3451876-1307120331/watcher-3451876-1307120331 -o /tmp/evaluation-result-3451876-1307120331/solver-3451876-1307120331 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451876-1307120331.opb -t 1800 -m 15500

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

MD5SUM BENCH= 898f9481d81532bb854887af2399230f
RANDOM SEED=873436992

node127.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.823
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.64
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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.823
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.74
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.823
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.823
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.60
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.823
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27415832 kB
Buffers:        319288 kB
Cached:         916696 kB
SwapCached:      59160 kB
Active:        3243804 kB
Inactive:      2003040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27415832 kB
SwapTotal:    67111528 kB
SwapFree:     39617324 kB
Dirty:           21388 kB
Writeback:           0 kB
AnonPages:     3958164 kB
Mapped:          21736 kB
Slab:           123008 kB
PageTables:      95128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 119728380 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= 73924 MiB
End job on node127 at 2011-06-03 19:28:54