Trace number 3453520

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.28 1802.3

General information on the benchmark

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

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3453520-1307118122.opb>
0.79/0.89	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129108 constraints
0.79/0.89	c problem read
0.79/0.89	c presolving settings loaded
1.29/1.34	c presolving:
4.79/4.89	c (round 1) 3562 del vars, 10054 del conss, 0 add conss, 2773 chg bounds, 9 chg sides, 8 chg coeffs, 0 upgd conss, 8765014 impls, 0 clqs
5.61/5.68	c (round 2) 6587 del vars, 22787 del conss, 0 add conss, 5581 chg bounds, 24 chg sides, 21 chg coeffs, 0 upgd conss, 8782450 impls, 0 clqs
5.79/5.87	c (round 3) 7614 del vars, 27813 del conss, 0 add conss, 6135 chg bounds, 79 chg sides, 65 chg coeffs, 0 upgd conss, 8789356 impls, 0 clqs
5.89/5.98	c (round 4) 8041 del vars, 29721 del conss, 0 add conss, 6386 chg bounds, 104 chg sides, 93 chg coeffs, 0 upgd conss, 8792599 impls, 0 clqs
5.99/6.06	c (round 5) 8307 del vars, 30830 del conss, 0 add conss, 6527 chg bounds, 132 chg sides, 125 chg coeffs, 0 upgd conss, 8794682 impls, 0 clqs
6.09/6.12	c (round 6) 8447 del vars, 31423 del conss, 0 add conss, 6589 chg bounds, 164 chg sides, 157 chg coeffs, 0 upgd conss, 8795840 impls, 0 clqs
6.09/6.16	c (round 7) 8492 del vars, 31685 del conss, 0 add conss, 6607 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796342 impls, 0 clqs
6.09/6.19	c (round 8) 8512 del vars, 31784 del conss, 0 add conss, 6615 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796540 impls, 0 clqs
6.19/6.23	c (round 9) 8518 del vars, 31821 del conss, 0 add conss, 6618 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796608 impls, 0 clqs
6.19/6.26	c (round 10) 8520 del vars, 31832 del conss, 0 add conss, 6619 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 8796630 impls, 0 clqs
312.63/312.77	c    (312.8s) probing: 1000/28200 (3.5%) - 1 fixings, 1 aggregations, 8057378 implications, 0 bound changes
548.24/548.39	c    (548.4s) probing: 2000/28200 (7.1%) - 1 fixings, 1 aggregations, 14039981 implications, 0 bound changes
575.36/575.42	c    (575.4s) probing: 2113/28200 (7.5%) - 1 fixings, 1 aggregations, 14742925 implications, 0 bound changes
575.36/575.42	c    (575.4s) probing aborted: 2000/2000 successive useless probings
575.36/575.42	c (round 11) 8524 del vars, 31843 del conss, 0 add conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 55352178 impls, 0 clqs
575.44/575.56	c (round 12) 8524 del vars, 31907 del conss, 0 add conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 0 upgd conss, 55352178 impls, 0 clqs
575.94/576.00	c (round 13) 8524 del vars, 31907 del conss, 0 add conss, 6620 chg bounds, 174 chg sides, 167 chg coeffs, 97201 upgd conss, 55352178 impls, 0 clqs
576.45/576.54	c (round 14) 8524 del vars, 31907 del conss, 19 add conss, 6620 chg bounds, 208 chg sides, 1181 chg coeffs, 97201 upgd conss, 55354034 impls, 0 clqs
775.56/775.64	c    (775.6s) probing: 3000/28200 (10.6%) - 4 fixings, 4 aggregations, 19751739 implications, 0 bound changes
1053.25/1053.39	c    (1053.4s) probing: 4000/28200 (14.2%) - 7 fixings, 7 aggregations, 29673493 implications, 0 bound changes
1309.08/1309.14	c    (1309.1s) probing: 5000/28200 (17.7%) - 7 fixings, 7 aggregations, 37826347 implications, 0 bound changes
1467.17/1467.27	c    (1467.3s) probing: 5687/28200 (20.2%) - 7 fixings, 7 aggregations, 42539262 implications, 0 bound changes
1467.17/1467.27	c    (1467.3s) probing aborted: 2000/2000 successive useless probings
1467.17/1467.27	c (round 15) 8536 del vars, 31907 del conss, 19 add conss, 6620 chg bounds, 208 chg sides, 1261 chg coeffs, 97201 upgd conss, 120801712 impls, 289 clqs
1467.76/1467.83	c (round 16) 8536 del vars, 31943 del conss, 19 add conss, 6620 chg bounds, 208 chg sides, 1297 chg coeffs, 97201 upgd conss, 120801712 impls, 305 clqs
1501.37/1501.44	c    (1501.4s) probing: 5887/28200 (20.9%) - 7 fixings, 7 aggregations, 43376390 implications, 0 bound changes
1501.37/1501.44	c    (1501.4s) probing aborted: 2000/2000 successive useless probings
1501.37/1501.44	c presolving (17 rounds):
1501.37/1501.44	c  8536 deleted vars, 31943 deleted constraints, 19 added constraints, 6620 tightened bounds, 0 added holes, 208 changed sides, 1297 changed coefficients
1501.37/1501.44	c  122682738 implications, 305 cliques
1501.37/1501.44	c presolved problem has 28186 variables (28186 bin, 0 int, 0 impl, 0 cont) and 97184 constraints
1501.37/1501.44	c    1036 constraints of type <knapsack>
1501.37/1501.44	c   82189 constraints of type <setppc>
1501.37/1501.44	c   13959 constraints of type <logicor>
1501.37/1501.44	c transformed objective value is always integral (scale: 1)
1501.37/1501.44	c Presolving Time: 1500.43
1501.37/1501.44	c - non default parameters ----------------------------------------------------------------------
1501.37/1501.44	c # SCIP version 2.0.1.4
1501.37/1501.44	c 
1501.37/1501.44	c # frequency for displaying node information lines
1501.37/1501.44	c # [type: int, range: [-1,2147483647], default: 100]
1501.37/1501.44	c display/freq = 10000
1501.37/1501.44	c 
1501.37/1501.44	c # maximal time in seconds to run
1501.37/1501.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1501.37/1501.44	c limits/time = 1800
1501.37/1501.44	c 
1501.37/1501.44	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1501.37/1501.44	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1501.37/1501.44	c limits/memory = 13950
1501.37/1501.44	c 
1501.37/1501.44	c # default clock type (1: CPU user seconds, 2: wall clock time)
1501.37/1501.44	c # [type: int, range: [1,2], default: 1]
1501.37/1501.44	c timing/clocktype = 2
1501.37/1501.44	c 
1501.37/1501.44	c # belongs reading time to solving time?
1501.37/1501.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.37/1501.44	c timing/reading = TRUE
1501.37/1501.44	c 
1501.37/1501.44	c # should presolving try to simplify inequalities
1501.37/1501.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.37/1501.44	c constraints/linear/simplifyinequalities = TRUE
1501.37/1501.44	c 
1501.37/1501.44	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1501.37/1501.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.37/1501.44	c constraints/indicator/addCouplingCons = TRUE
1501.37/1501.44	c 
1501.37/1501.44	c # should presolving try to simplify knapsacks
1501.37/1501.44	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1501.37/1501.44	c constraints/knapsack/simplifyinequalities = TRUE
1501.37/1501.44	c 
1501.37/1501.44	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1501.37/1501.44	c # [type: int, range: [-1,2147483647], default: -1]
1501.37/1501.44	c separating/rapidlearning/freq = 0
1501.37/1501.44	c 
1501.37/1501.44	c -----------------------------------------------------------------------------------------------
1501.37/1501.44	c start solving
1501.37/1501.46	c 
1535.69/1535.77	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1535.69/1535.77	c  1536s|     1 |     0 | 22134 |     - |3365M|   0 | 175 |  28k|  97k|  28k|  97k|   0 |   2 |   0 | 7.600000e+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-3453520-1307118122/watcher-3453520-1307118122 -o /tmp/evaluation-result-3453520-1307118122/solver-3453520-1307118122 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453520-1307118122.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: 0.98 1.15 1.53 3/476 9563
/proc/meminfo: memFree=27026588/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=10656 CPUtime=0 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1656 0 0 0 0 0 0 0 21 0 1 0 823414600 10911744 1610 33554432000 4194304 9128323 140734621275472 18446744073709551615 6586694 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9563/statm: 2664 1610 400 1205 0 1455 0

[startup+0.115212 s]
/proc/loadavg: 0.98 1.15 1.53 3/476 9563
/proc/meminfo: memFree=27026588/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=27536 CPUtime=0.1 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 5921 0 0 0 10 0 0 0 22 0 1 0 823414600 28196864 5845 33554432000 4194304 9128323 140734621275472 18446744073709551615 4338656 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9563/statm: 6884 5845 400 1205 0 5675 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 27536

[startup+0.201193 s]
/proc/loadavg: 0.98 1.15 1.53 3/476 9563
/proc/meminfo: memFree=27026588/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=33852 CPUtime=0.18 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 7500 0 0 0 18 0 0 0 22 0 1 0 823414600 34664448 7422 33554432000 4194304 9128323 140734621275472 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9563/statm: 8463 7422 400 1205 0 7254 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 33852

[startup+0.30122 s]
/proc/loadavg: 0.98 1.15 1.53 3/476 9563
/proc/meminfo: memFree=27026588/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=38360 CPUtime=0.29 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 8632 0 0 0 28 1 0 0 22 0 1 0 823414600 39280640 8552 33554432000 4194304 9128323 140734621275472 18446744073709551615 6192682 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9563/statm: 9590 8552 400 1205 0 8381 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38360

[startup+0.701137 s]
/proc/loadavg: 0.98 1.15 1.53 3/476 9563
/proc/meminfo: memFree=27026588/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=61920 CPUtime=0.69 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 14516 0 0 0 67 2 0 0 23 0 1 0 823414600 63406080 14429 33554432000 4194304 9128323 140734621275472 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/9563/statm: 15480 14429 400 1205 0 14271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 61920

[startup+1.501 s]
/proc/loadavg: 0.98 1.15 1.53 3/482 9570
/proc/meminfo: memFree=26767628/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=228448 CPUtime=1.49 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 61585 0 0 0 142 7 0 0 25 0 1 0 823414600 233930752 55307 33554432000 4194304 9128323 140734621275472 18446744073709551615 4831331 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9563/statm: 57112 55307 501 1205 0 55903 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 228448

[startup+3.10067 s]
/proc/loadavg: 0.98 1.15 1.53 3/482 9570
/proc/meminfo: memFree=26369608/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=377132 CPUtime=3.09 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 98560 0 0 0 298 11 0 0 25 0 1 0 823414600 386183168 92282 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593438 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9563/statm: 94283 92282 510 1205 0 93074 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 377132

[startup+6.30105 s]
/proc/loadavg: 1.06 1.16 1.53 3/482 9570
/proc/meminfo: memFree=25858676/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=482592 CPUtime=6.29 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 123693 0 0 0 615 14 0 0 25 0 1 0 823414600 494174208 117011 33554432000 4194304 9128323 140734621275472 18446744073709551615 5222399 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9563/statm: 120648 117011 522 1205 0 119439 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 482592

[startup+12.7008 s]
/proc/loadavg: 1.14 1.18 1.53 3/482 9571
/proc/meminfo: memFree=25591372/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=559944 CPUtime=12.69 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 142111 0 0 0 1253 16 0 0 25 0 1 0 823414600 573382656 135304 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9563/statm: 139986 135304 532 1205 0 138777 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 559944

[startup+25.5004 s]
/proc/loadavg: 1.33 1.22 1.54 3/482 9571
/proc/meminfo: memFree=25476712/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=592656 CPUtime=25.49 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 149994 0 0 0 2532 17 0 0 25 0 1 0 823414600 606879744 143187 33554432000 4194304 9128323 140734621275472 18446744073709551615 4352218 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/9563/statm: 148164 143187 532 1205 0 146955 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 592656

[startup+51.1005 s]
/proc/loadavg: 1.56 1.28 1.55 3/482 9572
/proc/meminfo: memFree=25338996/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=679860 CPUtime=51.07 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 171765 0 0 0 5087 20 0 0 25 0 1 0 823414600 696176640 164958 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/9563/statm: 169965 164958 532 1205 0 168756 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 679860

[startup+102.301 s]
/proc/loadavg: 1.81 1.39 1.57 3/482 9573
/proc/meminfo: memFree=24947244/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=927928 CPUtime=102.23 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 232789 0 0 0 10196 27 0 0 25 0 1 0 823414600 950198272 225982 33554432000 4194304 9128323 140734621275472 18446744073709551615 4219723 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 231982 225982 532 1205 0 230773 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 927928

[startup+162.301 s]
/proc/loadavg: 1.96 1.51 1.60 3/482 9575
/proc/meminfo: memFree=24532064/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=1130644 CPUtime=162.22 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 283016 0 0 0 16189 33 0 0 25 0 1 0 823414600 1157779456 276209 33554432000 4194304 9128323 140734621275472 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 282661 276209 532 1205 0 281452 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 1130644

[startup+222.318 s]
/proc/loadavg: 2.02 1.61 1.63 3/482 9576
/proc/meminfo: memFree=24077948/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=1365352 CPUtime=222.24 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 342036 0 0 0 22184 40 0 0 25 0 1 0 823414600 1398120448 335229 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593033 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 341338 335229 532 1205 0 340129 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1365352

[startup+282.301 s]
/proc/loadavg: 2.01 1.68 1.65 3/482 9578
/proc/meminfo: memFree=23701936/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=1538136 CPUtime=282.23 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 384256 0 0 0 28177 46 0 0 25 0 1 0 823414600 1575051264 377449 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 384534 377449 532 1205 0 383325 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1538136

[startup+342.3 s]
/proc/loadavg: 2.00 1.73 1.66 3/482 9579
/proc/meminfo: memFree=23361520/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=1632260 CPUtime=342.22 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 408099 0 0 0 34174 48 0 0 25 0 1 0 823414600 1671434240 401292 33554432000 4194304 9128323 140734621275472 18446744073709551615 5240721 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 408065 401292 536 1205 0 406856 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1632260

[startup+402.301 s]
/proc/loadavg: 2.00 1.78 1.68 3/482 9581
/proc/meminfo: memFree=23075412/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=1732016 CPUtime=402.22 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 432810 0 0 0 40170 52 0 0 25 0 1 0 823414600 1773584384 426003 33554432000 4194304 9128323 140734621275472 18446744073709551615 5240706 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 433004 426003 536 1205 0 431795 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1732016

[startup+462.301 s]
/proc/loadavg: 2.15 1.85 1.71 3/482 9583
/proc/meminfo: memFree=22857528/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=1849628 CPUtime=462.23 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 462376 0 0 0 46167 56 0 0 25 0 1 0 823414600 1894019072 455569 33554432000 4194304 9128323 140734621275472 18446744073709551615 5201580 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 462407 455569 536 1205 0 461198 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 1849628

[startup+522.3 s]
/proc/loadavg: 2.12 1.89 1.73 3/482 9584
/proc/meminfo: memFree=22695032/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=1947852 CPUtime=522.24 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 487042 0 0 0 52164 60 0 0 25 0 1 0 823414600 1994600448 480235 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 486963 480235 536 1205 0 485754 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 1947852

[startup+582.301 s]
/proc/loadavg: 2.04 1.91 1.74 3/482 9586
/proc/meminfo: memFree=22533060/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=2062228 CPUtime=582.23 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 524305 0 0 0 58159 64 0 0 25 0 1 0 823414600 2111721472 509141 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 515557 509141 568 1205 0 514348 0
Current children cumulated CPU time (s) 582.23
Current children cumulated vsize (KiB) 2062228

[startup+642.301 s]

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

/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 845752 0 0 0 106120 106 0 0 25 0 1 0 823414600 3441881088 830550 33554432000 4194304 9128323 140734621275472 18446744073709551615 4792695 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 840303 830550 568 1205 0 839094 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 3361212

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 1.86 3/482 9600
/proc/meminfo: memFree=20173084/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=3532800 CPUtime=1122.25 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 887824 0 0 0 112114 111 0 0 25 0 1 0 823414600 3617587200 872622 33554432000 4194304 9128323 140734621275472 18446744073709551615 4793071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 883200 872622 568 1205 0 881991 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 3532800

[startup+1182.3 s]
/proc/loadavg: 2.17 2.03 1.87 3/482 9602
/proc/meminfo: memFree=19827108/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=3709556 CPUtime=1182.26 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 931988 0 0 0 118109 117 0 0 25 0 1 0 823414600 3798585344 916786 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 927389 916786 568 1205 0 926180 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 3709556

[startup+1242.3 s]
/proc/loadavg: 2.13 2.04 1.89 3/482 9603
/proc/meminfo: memFree=19558620/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=3876676 CPUtime=1242.26 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 973418 0 0 0 124105 121 0 0 25 0 1 0 823414600 3969716224 958216 33554432000 4194304 9128323 140734621275472 18446744073709551615 6581570 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 969169 958216 568 1205 0 967960 0
Current children cumulated CPU time (s) 1242.26
Current children cumulated vsize (KiB) 3876676

[startup+1302.3 s]
/proc/loadavg: 2.05 2.03 1.89 3/482 9605
/proc/meminfo: memFree=19290272/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4047792 CPUtime=1302.26 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1016269 0 0 0 130100 126 0 0 25 0 1 0 823414600 4144939008 1001067 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593413 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1011948 1001067 568 1205 0 1010739 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 4047792

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/482 9607
/proc/meminfo: memFree=19044608/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4195968 CPUtime=1362.27 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1052891 0 0 0 136096 131 0 0 25 0 1 0 823414600 4296671232 1037689 33554432000 4194304 9128323 140734621275472 18446744073709551615 6589183 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1048992 1037689 568 1205 0 1047783 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 4195968

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 1.90 3/482 9608
/proc/meminfo: memFree=18742528/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4392416 CPUtime=1422.27 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1100999 0 0 0 142092 135 0 0 25 0 1 0 823414600 4497833984 1085797 33554432000 4194304 9128323 140734621275472 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1098104 1085797 568 1205 0 1096895 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 4392416

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/482 9610
/proc/meminfo: memFree=18442284/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4508176 CPUtime=1482.27 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1131118 0 0 0 148088 139 0 0 25 0 1 0 823414600 4616372224 1115916 33554432000 4194304 9128323 140734621275472 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1127044 1115916 568 1205 0 1125835 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 4508176

[startup+1542.32 s]
/proc/loadavg: 2.11 2.04 1.92 3/482 9611
/proc/meminfo: memFree=18158048/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4718136 CPUtime=1542.29 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1183322 0 0 0 154080 149 0 0 25 0 1 0 823414600 4831371264 1166278 33554432000 4194304 9128323 140734621275472 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1179534 1166278 1003 1205 0 1178325 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 4718136

[startup+1602.3 s]
/proc/loadavg: 2.09 2.04 1.93 3/482 9613
/proc/meminfo: memFree=18080260/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4683748 CPUtime=1602.27 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1183837 0 0 0 160075 152 0 0 25 0 1 0 823414600 4796157952 1159607 33554432000 4194304 9128323 140734621275472 18446744073709551615 6243301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1170937 1159607 744 1205 0 1169728 0
Current children cumulated CPU time (s) 1602.27
Current children cumulated vsize (KiB) 4683748

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 1.93 3/482 9615
/proc/meminfo: memFree=17976464/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4683748 CPUtime=1662.27 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1183837 0 0 0 166075 152 0 0 25 0 1 0 823414600 4796157952 1159607 33554432000 4194304 9128323 140734621275472 18446744073709551615 6243296 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1170937 1159607 744 1205 0 1169728 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 4683748

[startup+1722.3 s]
/proc/loadavg: 2.10 2.05 1.94 3/482 9616
/proc/meminfo: memFree=17869420/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4683748 CPUtime=1722.28 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1183837 0 0 0 172076 152 0 0 25 0 1 0 823414600 4796157952 1159607 33554432000 4194304 9128323 140734621275472 18446744073709551615 6243588 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1170937 1159607 744 1205 0 1169728 0
Current children cumulated CPU time (s) 1722.28
Current children cumulated vsize (KiB) 4683748

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 1.94 3/482 9618
/proc/meminfo: memFree=17773924/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4683748 CPUtime=1782.28 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1183837 0 0 0 178076 152 0 0 25 0 1 0 823414600 4796157952 1159607 33554432000 4194304 9128323 140734621275472 18446744073709551615 6243216 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1170937 1159607 744 1205 0 1169728 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 4683748



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.05 2.05 1.94 3/483 9619
/proc/meminfo: memFree=17741172/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4683748 CPUtime=1800.09 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1183977 0 0 0 179857 152 0 0 25 0 1 0 823414600 4796157952 1159747 33554432000 4194304 9128323 140734621275472 18446744073709551615 6244950 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1170937 1159747 744 1205 0 1169728 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 4683748

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -9563

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

[startup+1801.5 s]
/proc/loadavg: 2.05 2.05 1.94 3/484 9620
/proc/meminfo: memFree=20440644/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4686472 CPUtime=1801.48 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1184663 0 0 0 179996 152 0 0 25 0 1 0 823414600 4798947328 1160433 33554432000 4194304 9128323 140734621275472 18446744073709551615 6244928 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1171618 1160434 744 1205 0 1170409 0
Current children cumulated CPU time (s) 1801.48
Current children cumulated vsize (KiB) 4686472

[startup+1801.92 s]
/proc/loadavg: 2.05 2.05 1.94 2/481 9620
/proc/meminfo: memFree=22359444/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4689740 CPUtime=1801.89 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1185014 0 0 0 180037 152 0 0 25 0 1 0 823414600 4802293760 1160784 33554432000 4194304 9128323 140734621275472 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1172435 1160784 744 1205 0 1171226 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 4689740

[startup+1802.1 s]
/proc/loadavg: 2.05 2.05 1.94 2/481 9620
/proc/meminfo: memFree=22359444/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=4689740 CPUtime=1802.08 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4202496 1185158 0 0 0 180056 152 0 0 25 0 1 0 823414600 4802293760 1160928 33554432000 4194304 9128323 140734621275472 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9563/statm: 1172435 1160928 744 1205 0 1171226 0
Current children cumulated CPU time (s) 1802.08
Current children cumulated vsize (KiB) 4689740

[startup+1802.2 s]
/proc/loadavg: 2.05 2.05 1.94 2/481 9620
/proc/meminfo: memFree=22359444/32951124 swapFree=38422276/67111528
[pid=9563] ppid=9561 vsize=0 CPUtime=1802.18 cores=0,2,4,6
/proc/9563/stat : 9563 (scip-2.0.1.4.li) R 9561 9563 7545 0 -1 4203524 1185171 0 0 0 180058 160 0 0 25 0 1 0 823414600 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/9563/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.3
CPU time (s): 1802.28
CPU user time (s): 1800.58
CPU system time (s): 1.70374
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 4718136

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

runsolver used 9.2236 second user time and 19.1641 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 5c066885a5dc7aa42baae564c5305e8c
RANDOM SEED=32961951

node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27026744 kB
Buffers:        309308 kB
Cached:        1585932 kB
SwapCached:      86940 kB
Active:         853684 kB
Inactive:      4766896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27026744 kB
SwapTotal:    67111528 kB
SwapFree:     38422276 kB
Dirty:           23688 kB
Writeback:           0 kB
AnonPages:     3660164 kB
Mapped:          13248 kB
Slab:           134248 kB
PageTables:      99612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135453952 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= 73900 MiB
End job on node102 at 2011-06-03 18:52:05