Trace number 3451900

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1802.07 1802.03

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-750-false-45-90-4-1000opt.opb
MD5SUM6db624ef9d444e54f2daac91a1bb8591
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-78
Best CPU time to get the best result obtained on this benchmark0.838872
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints30658
Number of constraints which are clauses30658
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 327
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 327
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3451900-1307115467.opb>
0.19/0.20	c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30658 constraints
0.19/0.20	c problem read
0.19/0.20	c presolving settings loaded
0.19/0.28	o 0
0.19/0.28	c feasible solution found by trivial heuristic, objective value  0.000000e+00
0.19/0.28	c presolving:
0.29/0.33	c (round 1) 569 del vars, 569 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.39/0.42	c (round 2) 569 del vars, 4804 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25854 upgd conss, 2340 impls, 0 clqs
0.39/0.45	c    (0.5s) probing: 101/1456 (6.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45	c    (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.45	c presolving (3 rounds):
0.39/0.45	c  569 deleted vars, 4804 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45	c  2340 implications, 0 cliques
0.39/0.45	c presolved problem has 1456 variables (1456 bin, 0 int, 0 impl, 0 cont) and 25854 constraints
0.39/0.45	c     601 constraints of type <setppc>
0.39/0.45	c   25253 constraints of type <logicor>
0.39/0.45	c transformed objective value is always integral (scale: 1)
0.39/0.45	c Presolving Time: 0.23
0.39/0.45	c - non default parameters ----------------------------------------------------------------------
0.39/0.45	c # SCIP version 2.0.1.4
0.39/0.45	c 
0.39/0.45	c # frequency for displaying node information lines
0.39/0.45	c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45	c display/freq = 10000
0.39/0.45	c 
0.39/0.45	c # maximal time in seconds to run
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/time = 1800
0.39/0.45	c 
0.39/0.45	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45	c limits/memory = 13950
0.39/0.45	c 
0.39/0.45	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.45	c # [type: int, range: [1,2], default: 1]
0.39/0.45	c timing/clocktype = 2
0.39/0.45	c 
0.39/0.45	c # belongs reading time to solving time?
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c timing/reading = TRUE
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify inequalities
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/linear/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/indicator/addCouplingCons = TRUE
0.39/0.45	c 
0.39/0.45	c # should presolving try to simplify knapsacks
0.39/0.45	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45	c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45	c 
0.39/0.45	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45	c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45	c separating/rapidlearning/freq = 0
0.39/0.45	c 
0.39/0.45	c -----------------------------------------------------------------------------------------------
0.39/0.45	c start solving
0.39/0.46	c 
3.30/3.36	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
3.30/3.36	c t 3.4s|     1 |     0 | 10366 |     - |  35M|   0 |1435 |1456 |  25k|1456 |  25k|   0 |   0 |   0 |-2.326541e+02 | 0.000000e+00 | 100.00%
3.40/3.41	o -2
3.40/3.41	c R 3.4s|     1 |     0 | 10366 |     - |  35M|   0 |1435 |1456 |  25k|1456 |  25k|   0 |   0 |   0 |-2.326541e+02 |-2.000000e+00 |  99.14%
3.40/3.47	o -4
3.40/3.47	c s 3.5s|     1 |     0 | 10366 |     - |  35M|   0 |1435 |1456 |  25k|1456 |  25k|   0 |   0 |   0 |-2.326541e+02 |-4.000000e+00 |  98.28%
4.49/4.53	c   4.5s|     1 |     0 | 11943 |     - |  36M|   0 |1434 |1456 |  25k|1456 |  25k|   7 |   0 |   0 |-2.281864e+02 |-4.000000e+00 |  98.25%
4.49/4.53	o -11
4.49/4.53	c b 4.5s|     1 |     0 | 11943 |     - |  36M|   0 |1434 |1456 |  25k|1456 |  25k|   7 |   0 |   0 |-2.281864e+02 |-1.100000e+01 |  95.18%
10.59/10.66	c  10.7s|     1 |     0 | 18503 |     - |  37M|   0 |1434 |1456 |  25k|1456 |  25k| 106 |   0 |   0 |-2.217231e+02 |-1.100000e+01 |  95.04%
10.69/10.74	o -14
10.69/10.74	c b10.7s|     1 |     0 | 18503 |     - |  37M|   0 |1434 |1456 |  25k|1456 |  25k| 106 |   0 |   0 |-2.217231e+02 |-1.400000e+01 |  93.69%
13.49/13.52	c  13.5s|     1 |     0 | 24717 |     - |  38M|   0 |1421 |1456 |  25k|1456 |  25k| 119 |   0 |   0 |-2.182885e+02 |-1.400000e+01 |  93.59%
17.61/17.65	c  17.6s|     1 |     0 | 32379 |     - |  39M|   0 |1438 |1456 |  25k|1456 |  25k| 123 |   0 |   0 |-2.174699e+02 |-1.400000e+01 |  93.56%
23.89/23.98	c  24.0s|     1 |     0 | 41834 |     - |  41M|   0 |1434 |1456 |  25k|1456 |  25k| 129 |   0 |   0 |-2.165392e+02 |-1.400000e+01 |  93.53%
32.50/32.57	c  32.6s|     1 |     0 | 47534 |     - |  42M|   0 |1438 |1456 |  25k|1456 |  25k| 185 |   0 |   0 |-2.151263e+02 |-1.400000e+01 |  93.49%
45.99/46.00	c  46.0s|     1 |     0 | 58054 |     - |  43M|   0 |1440 |1456 |  25k|1456 |  25k| 239 |   0 |   0 |-2.120485e+02 |-1.400000e+01 |  93.40%
72.30/72.39	c  72.4s|     1 |     0 | 76464 |     - |  46M|   0 |1439 |1456 |  25k|1456 |  25k| 295 |   0 |   0 |-2.088540e+02 |-1.400000e+01 |  93.30%
92.59/92.68	c  92.7s|     1 |     0 | 91328 |     - |  49M|   0 |1439 |1456 |  25k|1456 |  25k| 300 |   0 |   0 |-2.074085e+02 |-1.400000e+01 |  93.25%
122.19/122.22	c   122s|     1 |     0 |108409 |     - |  55M|   0 |1443 |1456 |  25k|1456 |  25k| 306 |   0 |   0 |-2.043288e+02 |-1.400000e+01 |  93.15%
148.60/148.60	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
148.60/148.60	c   149s|     1 |     0 |123940 |     - |  60M|   0 |1442 |1456 |  25k|1456 |  25k| 313 |   0 |   0 |-2.033311e+02 |-1.400000e+01 |  93.11%
190.09/190.15	c   190s|     1 |     0 |148912 |     - |  65M|   0 |1438 |1456 |  25k|1456 |  25k| 319 |   0 |   0 |-2.018842e+02 |-1.400000e+01 |  93.07%
223.31/223.37	c   223s|     1 |     0 |164379 |     - |  65M|   0 |1439 |1456 |  25k|1456 |  25k| 323 |   0 |   0 |-2.012289e+02 |-1.400000e+01 |  93.04%
244.40/244.45	c   244s|     1 |     0 |169863 |     - |  67M|   0 |1437 |1456 |  25k|1456 |  25k| 326 |   0 |   0 |-2.011485e+02 |-1.400000e+01 |  93.04%
321.70/321.79	c   322s|     1 |     0 |194525 |     - |  67M|   0 |1442 |1456 |  25k|1456 |  25k| 326 |   0 |  31 |-1.977383e+02 |-1.400000e+01 |  92.92%
335.51/335.59	c   336s|     1 |     0 |199966 |     - |  72M|   0 |1443 |1456 |  25k|1456 |  25k| 327 |   0 |  31 |-1.974008e+02 |-1.400000e+01 |  92.91%
388.20/388.24	c   388s|     1 |     0 |216778 |     - |  72M|   0 |1442 |1456 |  25k|1456 |  25k| 327 |   0 |  68 |-1.967806e+02 |-1.400000e+01 |  92.89%
401.20/401.28	c   401s|     1 |     0 |220503 |     - |  79M|   0 |1443 |1456 |  25k|1456 |  25k| 330 |   0 |  68 |-1.967273e+02 |-1.400000e+01 |  92.88%
432.00/432.00	c   432s|     1 |     2 |220503 |     - |  79M|   0 |1443 |1456 |  25k|1456 |  25k| 330 |   0 | 101 |-1.967273e+02 |-1.400000e+01 |  92.88%
447.72/447.74	o -15
447.72/447.74	c R 448s|     2 |     1 |235382 |14879.0 |  79M|   1 |1440 |1456 |  25k|1456 |  25k| 330 |   0 | 101 |-1.967273e+02 |-1.500000e+01 |  92.38%
465.70/465.73	o -18
465.70/465.73	c b 466s|     3 |     2 |235382 |7439.5 |  80M|   2 |   - |1456 |  25k|1456 |  25k| 330 |   0 | 120 |-1.967273e+02 |-1.800000e+01 |  90.85%
1017.32/1017.39	o -53
1017.32/1017.39	c p1017s|     5 |     6 |731251 |127687.0 |  83M|   2 |   - |1456 |  25k|1456 |  25k| 330 |  12 | 255 |-1.921509e+02 |-5.300000e+01 |  72.42%
1017.32/1017.41	o -54
1017.32/1017.41	c b1017s|     5 |     6 |731251 |127687.0 |  80M|   2 |1405 |1456 |  25k|1456 |  25k| 330 |  12 | 255 |-1.921509e+02 |-5.400000e+01 |  71.90%
1420.43/1420.42	o -59
1420.43/1420.42	c f1420s|     8 |     9 |981342 |108691.3 |  83M|   3 |   - |1456 |  25k|1456 |  25k| 330 |  28 | 456 |-1.892295e+02 |-5.900000e+01 |  68.82%

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-3451900-1307115467/watcher-3451900-1307115467 -o /tmp/evaluation-result-3451900-1307115467/solver-3451900-1307115467 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451900-1307115467.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: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=10248 CPUtime=0 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 1542 0 0 0 0 0 0 0 23 0 1 0 823144886 10493952 1495 33554432000 4194304 9128323 140733975294080 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8964/statm: 2562 1501 400 1205 0 1353 0

[startup+0.0847199 s]
/proc/loadavg: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=16664 CPUtime=0.07 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 3168 0 0 0 7 0 0 0 23 0 1 0 823144886 17063936 3119 33554432000 4194304 9128323 140733975294080 18446744073709551615 8008930 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8964/statm: 4166 3119 400 1205 0 2957 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16664

[startup+0.100733 s]
/proc/loadavg: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=16860 CPUtime=0.09 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 3222 0 0 0 9 0 0 0 23 0 1 0 823144886 17264640 3173 33554432000 4194304 9128323 140733975294080 18446744073709551615 7998131 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/8964/statm: 4215 3173 400 1205 0 3006 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16860

[startup+0.300685 s]
/proc/loadavg: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=58668 CPUtime=0.29 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 13747 0 0 0 28 1 0 0 25 0 1 0 823144886 60076032 13365 33554432000 4194304 9128323 140733975294080 18446744073709551615 5221728 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 14667 13365 516 1205 0 13458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58668

[startup+0.700612 s]
/proc/loadavg: 2.17 2.08 2.02 2/453 8964
/proc/meminfo: memFree=26287492/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=107528 CPUtime=0.69 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 27722 0 0 0 66 3 0 0 25 0 1 0 823144886 110108672 24363 33554432000 4194304 9128323 140733975294080 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 26882 24363 743 1205 0 25673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107528

[startup+1.50047 s]
/proc/loadavg: 2.17 2.08 2.02 3/459 8989
/proc/meminfo: memFree=26127908/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=112532 CPUtime=1.49 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 30111 0 0 0 145 4 0 0 25 0 1 0 823144886 115232768 26375 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 28133 26375 673 1205 0 26924 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112532

[startup+3.10019 s]
/proc/loadavg: 2.15 2.08 2.02 3/459 8989
/proc/meminfo: memFree=26077936/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=116516 CPUtime=3.09 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 30444 0 0 0 303 6 0 0 25 0 1 0 823144886 119312384 26657 33554432000 4194304 9128323 140733975294080 18446744073709551615 7316447 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 29129 26657 656 1205 0 27920 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 116516

[startup+6.30061 s]
/proc/loadavg: 2.15 2.08 2.02 3/459 8989
/proc/meminfo: memFree=26072588/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=115304 CPUtime=6.29 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 31926 0 0 0 620 9 0 0 25 0 1 0 823144886 118071296 27750 33554432000 4194304 9128323 140733975294080 18446744073709551615 8012251 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 28826 27750 866 1205 0 27617 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 115304

[startup+12.7005 s]
/proc/loadavg: 2.13 2.07 2.02 3/459 8990
/proc/meminfo: memFree=26065424/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=120028 CPUtime=12.69 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 32712 0 0 0 1253 16 0 0 25 0 1 0 823144886 122908672 28497 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 30007 28497 827 1205 0 28798 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 120028

[startup+25.5002 s]
/proc/loadavg: 2.11 2.07 2.01 3/459 8990
/proc/meminfo: memFree=26052404/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=122328 CPUtime=25.49 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 35517 0 0 0 2522 27 0 0 25 0 1 0 823144886 125263872 29511 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 30582 29511 805 1205 0 29373 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 122328

[startup+51.1006 s]
/proc/loadavg: 2.07 2.06 2.01 3/459 8991
/proc/meminfo: memFree=26051144/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=126160 CPUtime=51.09 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 37450 0 0 0 5067 42 0 0 25 0 1 0 823144886 129187840 29775 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 31540 29775 804 1205 0 30331 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 126160

[startup+102.317 s]
/proc/loadavg: 2.09 2.07 2.01 3/459 8992
/proc/meminfo: memFree=26024764/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=145236 CPUtime=102.31 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 43225 0 0 0 10167 64 0 0 25 0 1 0 823144886 148721664 34796 33554432000 4194304 9128323 140733975294080 18446744073709551615 6309894 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 36309 34796 1133 1205 0 35100 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 145236

[startup+162.301 s]
/proc/loadavg: 2.03 2.05 2.01 3/459 8994
/proc/meminfo: memFree=26007376/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=154056 CPUtime=162.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 49445 0 0 0 16140 90 0 0 25 0 1 0 823144886 157753344 36731 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 38514 36731 762 1205 0 37305 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 154056

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/459 8995
/proc/meminfo: memFree=26010836/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=155476 CPUtime=222.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 51171 0 0 0 22117 113 0 0 25 0 1 0 823144886 159207424 37009 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 38869 37009 707 1205 0 37660 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 155476

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 8997
/proc/meminfo: memFree=26001272/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=159236 CPUtime=282.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 55655 0 0 0 28089 141 0 0 25 0 1 0 823144886 163057664 38274 33554432000 4194304 9128323 140733975294080 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 39809 38274 717 1205 0 38600 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 159236

[startup+342.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/459 8998
/proc/meminfo: memFree=26005212/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=162692 CPUtime=342.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 58499 0 0 0 34067 163 0 0 25 0 1 0 823144886 166596608 38820 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 40673 38820 726 1205 0 39464 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 162692

[startup+402.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/459 9000
/proc/meminfo: memFree=25990416/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=173184 CPUtime=402.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 69128 0 0 0 40042 188 0 0 25 0 1 0 823144886 177340416 40883 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 43296 40883 726 1205 0 42087 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 173184

[startup+462.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/459 9002
/proc/meminfo: memFree=25993616/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=462.3 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70345 0 0 0 46016 214 0 0 25 0 1 0 823144886 180568064 42098 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315635 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42098 726 1205 0 42875 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 176336

[startup+522.301 s]
/proc/loadavg: 2.10 2.07 2.01 3/459 9003
/proc/meminfo: memFree=25990236/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=522.31 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70411 0 0 0 51994 237 0 0 25 0 1 0 823144886 180568064 42163 33554432000 4194304 9128323 140733975294080 18446744073709551615 7316524 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42163 726 1205 0 42875 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 176336

[startup+582.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/459 9005
/proc/meminfo: memFree=25988104/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=582.31 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70431 0 0 0 57970 261 0 0 25 0 1 0 823144886 180568064 42183 33554432000 4194304 9128323 140733975294080 18446744073709551615 7312738 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42183 726 1205 0 42875 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 176336

[startup+642.3 s]

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

/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70554 0 0 0 99773 458 0 0 25 0 1 0 823144886 180568064 42306 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42306 732 1205 0 42875 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 176336

[startup+1062.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/459 9018
/proc/meminfo: memFree=25988164/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=1062.31 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 70588 0 0 0 105751 480 0 0 25 0 1 0 823144886 180568064 42340 33554432000 4194304 9128323 140733975294080 18446744073709551615 7176963 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42340 733 1205 0 42875 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 176336

[startup+1122.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/459 9019
/proc/meminfo: memFree=25987648/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176336 CPUtime=1122.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 71066 0 0 0 111723 510 0 0 25 0 1 0 823144886 180568064 42818 33554432000 4194304 9128323 140733975294080 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44084 42818 991 1205 0 42875 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 176336

[startup+1182.3 s]
/proc/loadavg: 2.03 2.06 2.00 3/459 9021
/proc/meminfo: memFree=25988120/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=178996 CPUtime=1182.32 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 73424 0 0 0 117703 529 0 0 25 0 1 0 823144886 183291904 42970 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315605 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44749 42970 990 1205 0 43540 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 178996

[startup+1242.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/459 9022
/proc/meminfo: memFree=25981764/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176012 CPUtime=1242.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 74374 0 0 0 123677 556 0 0 25 0 1 0 823144886 180236288 42223 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44003 42223 987 1205 0 42794 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 176012

[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/459 9024
/proc/meminfo: memFree=25981744/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176012 CPUtime=1302.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 74543 0 0 0 129646 587 0 0 25 0 1 0 823144886 180236288 42379 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44003 42379 1116 1205 0 42794 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 176012

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/459 9026
/proc/meminfo: memFree=25985812/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176012 CPUtime=1362.32 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 74551 0 0 0 135620 612 0 0 25 0 1 0 823144886 180236288 42386 33554432000 4194304 9128323 140733975294080 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44003 42386 1115 1205 0 42794 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 176012

[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/459 9036
/proc/meminfo: memFree=25987680/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1422.34 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76168 0 0 0 141592 642 0 0 25 0 1 0 823144886 180314112 42289 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42289 1094 1205 0 42813 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 176088

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/459 9038
/proc/meminfo: memFree=25984312/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1482.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76263 0 0 0 147573 660 0 0 25 0 1 0 823144886 180314112 42382 33554432000 4194304 9128323 140733975294080 18446744073709551615 6941024 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42382 1092 1205 0 42813 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 176088

[startup+1542.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/459 9039
/proc/meminfo: memFree=25983408/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1542.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76289 0 0 0 153541 692 0 0 25 0 1 0 823144886 180314112 42382 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42382 1066 1205 0 42813 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 176088

[startup+1602.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/459 9043
/proc/meminfo: memFree=25984116/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1602.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76291 0 0 0 159514 719 0 0 25 0 1 0 823144886 180314112 42384 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315360 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42384 1066 1205 0 42813 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 176088

[startup+1662.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/459 9046
/proc/meminfo: memFree=25984428/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1662.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76292 0 0 0 165490 743 0 0 25 0 1 0 823144886 180314112 42385 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42385 1066 1205 0 42813 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 176088

[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.00 3/459 9047
/proc/meminfo: memFree=25984392/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1722.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76292 0 0 0 171465 768 0 0 25 0 1 0 823144886 180314112 42385 33554432000 4194304 9128323 140733975294080 18446744073709551615 7315460 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42385 1066 1205 0 42813 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 176088

[startup+1782.3 s]
/proc/loadavg: 2.13 2.08 2.01 3/459 9049
/proc/meminfo: memFree=25982384/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1782.33 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 177434 799 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 176088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.10 2.07 2.01 3/459 9049
/proc/meminfo: memFree=25983368/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1800.04 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 179201 803 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 176088

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8964

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

[startup+1801.4 s]
/proc/loadavg: 2.10 2.07 2.01 3/461 9051
/proc/meminfo: memFree=25981988/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1801.43 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 179340 803 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1801.43
Current children cumulated vsize (KiB) 176088

[startup+1801.82 s]
/proc/loadavg: 2.01 2.05 2.00 2/458 9051
/proc/meminfo: memFree=26113452/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1801.86 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 179382 804 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 176088

[startup+1802 s]
/proc/loadavg: 2.01 2.05 2.00 2/458 9051
/proc/meminfo: memFree=26113452/32951124 swapFree=60688864/67111528
[pid=8964] ppid=8962 vsize=176088 CPUtime=1802.04 cores=1,3,5,7
/proc/8964/stat : 8964 (scip-2.0.1.4.li) R 8962 8964 6853 0 -1 4202496 76319 0 0 0 179400 804 0 0 25 0 1 0 823144886 180314112 42410 33554432000 4194304 9128323 140733975294080 18446744073709551615 7316480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/8964/statm: 44022 42410 1064 1205 0 42813 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 176088

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.07
CPU user time (s): 1794.02
CPU system time (s): 8.04978
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 179476

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

runsolver used 7.55785 second user time and 18.6962 second system time

The end

Launcher Data 

Begin job on node132 at 2011-06-03 17:37:47
IDJOB=3451900
IDBENCH=71835
IDSOLVER=1949
FILE ID=node132/3451900-1307115467
RUNJOBID= node132-1307106311-8205
PBS_JOBID= 13497999
Free space on /tmp= 73864 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-750-false-45-90-4-1000opt.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3451900-1307115467/watcher-3451900-1307115467 -o /tmp/evaluation-result-3451900-1307115467/solver-3451900-1307115467 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451900-1307115467.opb -t 1800 -m 15500

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

MD5SUM BENCH= 6db624ef9d444e54f2daac91a1bb8591
RANDOM SEED=1327318242

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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:      26287392 kB
Buffers:        317848 kB
Cached:        3025848 kB
SwapCached:      15140 kB
Active:        1050428 kB
Inactive:      5351484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26287392 kB
SwapTotal:    67111528 kB
SwapFree:     60688864 kB
Dirty:           12864 kB
Writeback:           0 kB
AnonPages:     3051028 kB
Mapped:          18752 kB
Slab:           144208 kB
PageTables:      49740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 109202480 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73852 MiB
End job on node132 at 2011-06-03 18:07:49