Trace number 3453522

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.15 1802.13

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6046_1.std.opb
MD5SUM9f43ce7d8da05ae87c5a54d1850b38ce
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark79
Best CPU time to get the best result obtained on this benchmark0.570912
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints129193
Number of constraints which are clauses127993
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 constraint60
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.02	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02	c 
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c reading problem <HOME/instance-3453522-1307117890.opb>
0.87/0.98	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129193 constraints
0.87/0.98	c problem read
0.87/0.98	c presolving settings loaded
1.37/1.46	c presolving:
4.97/5.02	c (round 1) 3108 del vars, 8600 del conss, 0 add conss, 2395 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8745018 impls, 0 clqs
5.67/5.77	c (round 2) 5735 del vars, 20722 del conss, 0 add conss, 4855 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 8761421 impls, 0 clqs
5.97/6.00	c (round 3) 6966 del vars, 26002 del conss, 0 add conss, 5647 chg bounds, 17 chg sides, 15 chg coeffs, 0 upgd conss, 8770387 impls, 0 clqs
6.07/6.16	c (round 4) 7588 del vars, 28674 del conss, 0 add conss, 6122 chg bounds, 43 chg sides, 41 chg coeffs, 0 upgd conss, 8774269 impls, 0 clqs
6.17/6.26	c (round 5) 7995 del vars, 30378 del conss, 0 add conss, 6391 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8776647 impls, 0 clqs
6.27/6.32	c (round 6) 8167 del vars, 31249 del conss, 0 add conss, 6487 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8777988 impls, 0 clqs
6.27/6.36	c (round 7) 8241 del vars, 31649 del conss, 0 add conss, 6526 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8778566 impls, 0 clqs
6.37/6.40	c (round 8) 8277 del vars, 31803 del conss, 0 add conss, 6547 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779010 impls, 0 clqs
6.37/6.44	c (round 9) 8309 del vars, 31924 del conss, 0 add conss, 6565 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779250 impls, 0 clqs
6.37/6.47	c (round 10) 8321 del vars, 32006 del conss, 0 add conss, 6571 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779286 impls, 0 clqs
6.37/6.51	c (round 11) 8321 del vars, 32028 del conss, 0 add conss, 6571 chg bounds, 51 chg sides, 47 chg coeffs, 0 upgd conss, 8779286 impls, 0 clqs
6.87/6.93	c (round 12) 8321 del vars, 32028 del conss, 0 add conss, 6571 chg bounds, 51 chg sides, 47 chg coeffs, 97165 upgd conss, 8779286 impls, 0 clqs
7.27/7.38	c (round 13) 8321 del vars, 32049 del conss, 38 add conss, 6571 chg bounds, 128 chg sides, 293 chg coeffs, 97165 upgd conss, 8779286 impls, 0 clqs
339.79/339.81	c    (339.8s) probing: 1000/28401 (3.5%) - 0 fixings, 0 aggregations, 8343169 implications, 0 bound changes
627.79/627.81	c    (627.8s) probing: 2000/28401 (7.0%) - 0 fixings, 0 aggregations, 14232781 implications, 0 bound changes
627.99/628.06	c    (628.0s) probing: 2001/28401 (7.0%) - 0 fixings, 0 aggregations, 14236376 implications, 0 bound changes
627.99/628.06	c    (628.0s) probing aborted: 2000/2000 successive useless probings
627.99/628.06	c presolving (14 rounds):
627.99/628.06	c  8321 deleted vars, 32053 deleted constraints, 38 added constraints, 6571 tightened bounds, 0 added holes, 128 changed sides, 307 changed coefficients
627.99/628.06	c  55132436 implications, 0 cliques
627.99/628.06	c presolved problem has 28401 variables (28401 bin, 0 int, 0 impl, 0 cont) and 97178 constraints
627.99/628.06	c    1156 constraints of type <knapsack>
627.99/628.06	c   81980 constraints of type <setppc>
627.99/628.06	c   14042 constraints of type <logicor>
627.99/628.06	c transformed objective value is always integral (scale: 1)
627.99/628.06	c Presolving Time: 626.95
627.99/628.06	c - non default parameters ----------------------------------------------------------------------
627.99/628.06	c # SCIP version 2.0.1.4
627.99/628.06	c 
627.99/628.06	c # frequency for displaying node information lines
627.99/628.06	c # [type: int, range: [-1,2147483647], default: 100]
627.99/628.06	c display/freq = 10000
627.99/628.06	c 
627.99/628.06	c # maximal time in seconds to run
627.99/628.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
627.99/628.06	c limits/time = 1800
627.99/628.06	c 
627.99/628.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
627.99/628.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
627.99/628.06	c limits/memory = 13950
627.99/628.06	c 
627.99/628.06	c # default clock type (1: CPU user seconds, 2: wall clock time)
627.99/628.06	c # [type: int, range: [1,2], default: 1]
627.99/628.06	c timing/clocktype = 2
627.99/628.06	c 
627.99/628.06	c # belongs reading time to solving time?
627.99/628.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
627.99/628.06	c timing/reading = TRUE
627.99/628.06	c 
627.99/628.06	c # should presolving try to simplify inequalities
627.99/628.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
627.99/628.06	c constraints/linear/simplifyinequalities = TRUE
627.99/628.06	c 
627.99/628.06	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
627.99/628.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
627.99/628.06	c constraints/indicator/addCouplingCons = TRUE
627.99/628.06	c 
627.99/628.06	c # should presolving try to simplify knapsacks
627.99/628.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
627.99/628.06	c constraints/knapsack/simplifyinequalities = TRUE
627.99/628.06	c 
627.99/628.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
627.99/628.06	c # [type: int, range: [-1,2147483647], default: -1]
627.99/628.06	c separating/rapidlearning/freq = 0
627.99/628.06	c 
627.99/628.06	c -----------------------------------------------------------------------------------------------
627.99/628.06	c start solving
627.99/628.09	c 
675.69/675.75	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
675.69/675.75	c   676s|     1 |     0 | 24333 |     - |1615M|   0 | 432 |  28k|  97k|  28k|  97k|   0 |  17 |   0 | 7.800000e+01 |      --      |    Inf 
1298.10/1298.15	c  1298s|     1 |     0 | 56774 |     - |1619M|   0 | 726 |  28k|  97k|  28k|  97k|  42 |  17 |   0 | 7.800000e+01 |      --      |    Inf 
1344.41/1344.45	c  1344s|     1 |     0 | 62581 |     - |1620M|   0 | 905 |  28k|  97k|  28k|  97k|  86 |  17 |   0 | 7.800000e+01 |      --      |    Inf 
1372.10/1372.10	c  1372s|     1 |     0 | 67993 |     - |1620M|   0 |1031 |  28k|  97k|  28k|  97k| 121 |  17 |   0 | 7.800000e+01 |      --      |    Inf 
1401.01/1401.00	c  1401s|     1 |     0 | 73355 |     - |1621M|   0 |1060 |  28k|  97k|  28k|  97k| 154 |  17 |   0 | 7.800000e+01 |      --      |    Inf 
1434.81/1434.86	c  1435s|     1 |     0 | 80724 |     - |1621M|   0 |1133 |  28k|  97k|  28k|  97k| 186 |  17 |   0 | 7.800000e+01 |      --      |    Inf 
1481.72/1481.72	c  1482s|     1 |     0 | 83385 |     - |1621M|   0 |1209 |  28k|  97k|  28k|  97k| 204 |  17 |   0 | 7.800000e+01 |      --      |    Inf 
1578.11/1578.17	c  1578s|     1 |     2 | 83385 |     - |1621M|   0 |1209 |  28k|  97k|  28k|  97k| 204 |  17 |  34 | 7.800000e+01 |      --      |    Inf

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-3453522-1307117890/watcher-3453522-1307117890 -o /tmp/evaluation-result-3453522-1307117890/solver-3453522-1307117890 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453522-1307117890.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: 1.20 1.74 1.90 3/505 4391
/proc/meminfo: memFree=30376140/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/4391/stat : 4391 (runsolver) R 4389 4391 2157 0 -1 4202560 43 0 0 0 0 0 0 0 22 0 1 0 823391602 12079104 50 33554432000 4194304 5432328 140734958017488 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0
/proc/4391/statm: 2949 50 31 303 0 2643 0

[startup+0.084642 s]
/proc/loadavg: 1.20 1.74 1.90 3/505 4391
/proc/meminfo: memFree=30376140/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=19824 CPUtime=0.06 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 3958 0 0 0 6 0 0 0 22 0 1 0 823391602 20299776 3910 33554432000 4194304 9128323 140734374848448 18446744073709551615 8008905 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4391/statm: 4956 3910 400 1205 0 3747 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19824

[startup+0.100647 s]
/proc/loadavg: 1.20 1.74 1.90 3/505 4391
/proc/meminfo: memFree=30376140/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=23852 CPUtime=0.07 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 4948 0 0 0 7 0 0 0 22 0 1 0 823391602 24424448 4899 33554432000 4194304 9128323 140734374848448 18446744073709551615 7447818 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4391/statm: 5963 4899 400 1205 0 4754 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23852

[startup+0.300608 s]
/proc/loadavg: 1.20 1.74 1.90 3/505 4391
/proc/meminfo: memFree=30376140/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=36424 CPUtime=0.28 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 8140 0 0 0 27 1 0 0 23 0 1 0 823391602 37298176 8060 33554432000 4194304 9128323 140734374848448 18446744073709551615 6519996 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4391/statm: 9106 8060 400 1205 0 7897 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 36424

[startup+0.700542 s]
/proc/loadavg: 1.20 1.74 1.90 3/505 4391
/proc/meminfo: memFree=30376140/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=57804 CPUtime=0.68 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 13474 0 0 0 66 2 0 0 25 0 1 0 823391602 59191296 13387 33554432000 4194304 9128323 140734374848448 18446744073709551615 7998911 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/4391/statm: 14451 13387 400 1205 0 13242 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 57804

[startup+1.50041 s]
/proc/loadavg: 1.26 1.75 1.90 3/506 4392
/proc/meminfo: memFree=30116104/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=213028 CPUtime=1.47 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 57630 0 0 0 140 7 0 0 25 0 1 0 823391602 218140672 51459 33554432000 4194304 9128323 140734374848448 18446744073709551615 6582504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 53257 51459 501 1205 0 52048 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 213028

[startup+3.10108 s]
/proc/loadavg: 1.26 1.75 1.90 3/506 4392
/proc/meminfo: memFree=29794532/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=369840 CPUtime=3.07 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 96655 0 0 0 295 12 0 0 25 0 1 0 823391602 378716160 90484 33554432000 4194304 9128323 140734374848448 18446744073709551615 4782496 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 92460 90484 510 1205 0 91251 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 369840

[startup+6.30053 s]
/proc/loadavg: 1.32 1.75 1.90 3/506 4392
/proc/meminfo: memFree=29432100/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=484476 CPUtime=6.27 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 124211 0 0 0 612 15 0 0 25 0 1 0 823391602 496103424 117587 33554432000 4194304 9128323 140734374848448 18446744073709551615 4352218 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 121119 117587 523 1205 0 119910 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 484476

[startup+12.7004 s]
/proc/loadavg: 1.38 1.76 1.90 3/506 4392
/proc/meminfo: memFree=29251840/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=584032 CPUtime=12.68 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 155502 0 0 0 1248 20 0 0 25 0 1 0 823391602 598048768 141169 33554432000 4194304 9128323 140734374848448 18446744073709551615 4831494 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 146008 141169 608 1205 0 144799 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 584032

[startup+25.5011 s]
/proc/loadavg: 1.47 1.76 1.90 3/506 4393
/proc/meminfo: memFree=29170184/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=626576 CPUtime=25.47 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 165383 0 0 0 2526 21 0 0 25 0 1 0 823391602 641613824 151050 33554432000 4194304 9128323 140734374848448 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 156644 151051 608 1205 0 155435 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 626576

[startup+51.1006 s]
/proc/loadavg: 1.68 1.78 1.90 3/506 4393
/proc/meminfo: memFree=29015760/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=718312 CPUtime=51.07 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 187837 0 0 0 5083 24 0 0 25 0 1 0 823391602 735551488 173504 33554432000 4194304 9128323 140734374848448 18446744073709551615 6593142 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 179578 173504 608 1205 0 178369 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 718312

[startup+102.32 s]
/proc/loadavg: 1.86 1.82 1.91 3/506 4395
/proc/meminfo: memFree=28535168/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=944292 CPUtime=102.3 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 245237 0 0 0 10198 32 0 0 25 0 1 0 823391602 966955008 230475 33554432000 4194304 9128323 140734374848448 18446744073709551615 6593410 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 236073 230475 608 1205 0 234864 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 944292

[startup+162.301 s]
/proc/loadavg: 2.05 1.88 1.92 3/506 4396
/proc/meminfo: memFree=28090444/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=1210756 CPUtime=162.27 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 311819 0 0 0 16187 40 0 0 25 0 1 0 823391602 1239814144 297057 33554432000 4194304 9128323 140734374848448 18446744073709551615 4782521 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 302689 297057 608 1205 0 301480 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1210756

[startup+222.3 s]
/proc/loadavg: 2.07 1.91 1.93 3/506 4398
/proc/meminfo: memFree=27807672/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=1383716 CPUtime=222.28 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 354835 0 0 0 22181 47 0 0 25 0 1 0 823391602 1416925184 340073 33554432000 4194304 9128323 140734374848448 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 345929 340073 608 1205 0 344720 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 1383716

[startup+282.301 s]
/proc/loadavg: 2.11 1.95 1.94 3/506 4400
/proc/meminfo: memFree=27549080/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=1554672 CPUtime=282.28 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 396916 0 0 0 28174 54 0 0 25 0 1 0 823391602 1591984128 382154 33554432000 4194304 9128323 140734374848448 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 388668 382154 608 1205 0 387459 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 1554672

[startup+342.301 s]
/proc/loadavg: 2.08 1.97 1.94 3/506 4401
/proc/meminfo: memFree=27300788/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=1725948 CPUtime=342.29 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 439358 0 0 0 34170 59 0 0 25 0 1 0 823391602 1767370752 424596 33554432000 4194304 9128323 140734374848448 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 431487 424596 612 1205 0 430278 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1725948

[startup+402.301 s]
/proc/loadavg: 2.03 1.97 1.94 3/506 4403
/proc/meminfo: memFree=27085224/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=1817916 CPUtime=402.29 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 462299 0 0 0 40167 62 0 0 25 0 1 0 823391602 1861545984 447537 33554432000 4194304 9128323 140734374848448 18446744073709551615 5488452 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 454479 447537 612 1205 0 453270 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1817916

[startup+462.301 s]
/proc/loadavg: 2.01 1.97 1.94 3/506 4404
/proc/meminfo: memFree=26853168/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=1910620 CPUtime=462.28 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 485723 0 0 0 46162 66 0 0 25 0 1 0 823391602 1956474880 470961 33554432000 4194304 9128323 140734374848448 18446744073709551615 7414800 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 477655 470961 612 1205 0 476446 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 1910620

[startup+522.3 s]
/proc/loadavg: 2.00 1.97 1.94 3/506 4406
/proc/meminfo: memFree=26581432/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2016004 CPUtime=522.28 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 511628 0 0 0 52158 70 0 0 25 0 1 0 823391602 2064388096 496866 33554432000 4194304 9128323 140734374848448 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 504001 496866 612 1205 0 502792 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 2016004

[startup+582.301 s]
/proc/loadavg: 2.00 1.97 1.94 3/506 4408
/proc/meminfo: memFree=26383488/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2117396 CPUtime=582.29 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 537091 0 0 0 58156 73 0 0 25 0 1 0 823391602 2168213504 522329 33554432000 4194304 9128323 140734374848448 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 529349 522329 612 1205 0 528140 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 2117396

[startup+642.301 s]

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

/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 607659 0 0 0 106139 91 0 0 25 0 1 0 823391602 2424303616 582031 33554432000 4194304 9128323 140734374848448 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 591871 582031 721 1205 0 590662 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 2367484

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/506 4422
/proc/meminfo: memFree=25020896/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2367484 CPUtime=1122.3 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 607659 0 0 0 112139 91 0 0 25 0 1 0 823391602 2424303616 582031 33554432000 4194304 9128323 140734374848448 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 591871 582031 721 1205 0 590662 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 2367484

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/506 4424
/proc/meminfo: memFree=24943220/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2367484 CPUtime=1182.3 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 607659 0 0 0 118139 91 0 0 25 0 1 0 823391602 2424303616 582031 33554432000 4194304 9128323 140734374848448 18446744073709551615 6243307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 591871 582031 721 1205 0 590662 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 2367484

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/506 4425
/proc/meminfo: memFree=24792156/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2440004 CPUtime=1242.3 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 625642 0 0 0 124137 93 0 0 25 0 1 0 823391602 2498564096 600014 33554432000 4194304 9128323 140734374848448 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 610001 600014 721 1205 0 608792 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 2440004

[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/506 4427
/proc/meminfo: memFree=24566568/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2592680 CPUtime=1302.31 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 661910 0 0 0 130133 98 0 0 25 0 1 0 823391602 2654904320 636280 33554432000 4194304 9128323 140734374848448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 648170 636280 733 1205 0 646961 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 2592680

[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 1.98 4/506 4428
/proc/meminfo: memFree=24467060/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2597908 CPUtime=1362.31 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 671491 0 0 0 136130 101 0 0 25 0 1 0 823391602 2660257792 639724 33554432000 4194304 9128323 140734374848448 18446744073709551615 7285023 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 649477 639724 1242 1205 0 648268 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 2597908

[startup+1422.32 s]
/proc/loadavg: 2.16 2.06 2.00 3/506 4430
/proc/meminfo: memFree=24389752/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2614940 CPUtime=1422.33 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 679278 0 0 0 142127 106 0 0 25 0 1 0 823391602 2677698560 640850 33554432000 4194304 9128323 140734374848448 18446744073709551615 7284410 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 653735 640850 733 1205 0 652526 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2614940

[startup+1482.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/506 4432
/proc/meminfo: memFree=24169340/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2731164 CPUtime=1482.31 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 714765 0 0 0 148115 116 0 0 25 0 1 0 823391602 2796711936 671251 33554432000 4194304 9128323 140734374848448 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 682791 671251 741 1205 0 681582 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 2731164

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/506 4433
/proc/meminfo: memFree=24184044/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2596220 CPUtime=1542.31 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 815329 0 0 0 154093 138 0 0 25 0 1 0 823391602 2658529280 636650 33554432000 4194304 9128323 140734374848448 18446744073709551615 7315106 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 649055 636650 761 1205 0 647846 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2596220

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/506 4435
/proc/meminfo: memFree=24170728/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2606064 CPUtime=1602.32 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 886118 0 0 0 160080 152 0 0 25 0 1 0 823391602 2668609536 639778 33554432000 4194304 9128323 140734374848448 18446744073709551615 7312746 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 651516 639778 761 1205 0 650307 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2606064

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4436
/proc/meminfo: memFree=24163224/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2606064 CPUtime=1662.32 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 888192 0 0 0 166076 156 0 0 25 0 1 0 823391602 2668609536 641845 33554432000 4194304 9128323 140734374848448 18446744073709551615 7315234 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 651516 641845 1168 1205 0 650307 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2606064

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/506 4438
/proc/meminfo: memFree=24163184/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2606064 CPUtime=1722.32 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 888214 0 0 0 172072 160 0 0 25 0 1 0 823391602 2668609536 641845 33554432000 4194304 9128323 140734374848448 18446744073709551615 7312779 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 651516 641845 1146 1205 0 650307 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2606064

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/506 4440
/proc/meminfo: memFree=24160908/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2606064 CPUtime=1782.32 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 888271 0 0 0 178068 164 0 0 25 0 1 0 823391602 2668609536 641845 33554432000 4194304 9128323 140734374848448 18446744073709551615 7285023 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 651516 641845 1089 1205 0 650307 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2606064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/507 4441
/proc/meminfo: memFree=24160752/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2606064 CPUtime=1800.02 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 888331 0 0 0 179837 165 0 0 25 0 1 0 823391602 2668609536 641845 33554432000 4194304 9128323 140734374848448 18446744073709551615 7326934 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 651516 641845 1029 1205 0 650307 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 2606064

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -4391

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

[startup+1801.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/508 4442
/proc/meminfo: memFree=24159008/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2606064 CPUtime=1801.42 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 888331 0 0 0 179976 166 0 0 25 0 1 0 823391602 2668609536 641845 33554432000 4194304 9128323 140734374848448 18446744073709551615 7081523 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 651516 641845 1029 1205 0 650307 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 2606064

[startup+1801.82 s]
/proc/loadavg: 2.00 2.01 2.00 3/508 4442
/proc/meminfo: memFree=24159008/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2606064 CPUtime=1801.84 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 888331 0 0 0 180018 166 0 0 25 0 1 0 823391602 2668609536 641845 33554432000 4194304 9128323 140734374848448 18446744073709551615 8012674 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 651516 641845 1029 1205 0 650307 0
Current children cumulated CPU time (s) 1801.84
Current children cumulated vsize (KiB) 2606064

[startup+1802 s]
/proc/loadavg: 2.00 2.01 2.00 3/508 4442
/proc/meminfo: memFree=24159008/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=2606064 CPUtime=1802.02 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4202496 888331 0 0 0 180036 166 0 0 25 0 1 0 823391602 2668609536 641845 33554432000 4194304 9128323 140734374848448 18446744073709551615 7312704 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/4391/statm: 651516 641845 1029 1205 0 650307 0
Current children cumulated CPU time (s) 1802.02
Current children cumulated vsize (KiB) 2606064

[startup+1802.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/508 4442
/proc/meminfo: memFree=24159008/32951124 swapFree=51712236/67111528
[pid=4391] ppid=4389 vsize=0 CPUtime=1802.12 cores=0,2,4,6
/proc/4391/stat : 4391 (scip-2.0.1.4.li) R 4389 4391 2157 0 -1 4203524 888331 0 0 0 180038 174 0 0 25 0 1 0 823391602 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/4391/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.13
CPU time (s): 1802.15
CPU user time (s): 1800.38
CPU system time (s): 1.77173
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2732336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.38
system time used= 1.77173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 888331
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= 2781

runsolver used 9.63753 second user time and 19.902 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-03 18:18:10
IDJOB=3453522
IDBENCH=76768
IDSOLVER=1949
FILE ID=node103/3453522-1307117890
RUNJOBID= node103-1307117890-4371
PBS_JOBID= 13497971
Free space on /tmp= 73864 MiB

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

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

MD5SUM BENCH= 9f43ce7d8da05ae87c5a54d1850b38ce
RANDOM SEED=1875981514

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.77
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.858
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.858
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.858
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.83
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.858
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:      30376924 kB
Buffers:        289896 kB
Cached:         453384 kB
SwapCached:      23760 kB
Active:        1901228 kB
Inactive:       380632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30376924 kB
SwapTotal:    67111528 kB
SwapFree:     51712236 kB
Dirty:           31860 kB
Writeback:           0 kB
AnonPages:     1535152 kB
Mapped:          24172 kB
Slab:           149572 kB
PageTables:      73764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 162066868 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= 73852 MiB
End job on node103 at 2011-06-03 18:48:12