Trace number 3451860

Some explanations

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

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

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

Solver answer on this benchmark

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

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.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3451860-1307116933.opb>
0.79/0.82	c original problem has 36722 variables (36722 bin, 0 int, 0 impl, 0 cont) and 129108 constraints
0.79/0.82	c problem read
0.79/0.82	c presolving settings loaded
1.00/1.04	c presolving:
4.19/4.26	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
4.89/4.96	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.09/5.14	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.19/5.24	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.29/5.31	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
5.29/5.36	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
5.29/5.40	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
5.40/5.43	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
5.40/5.46	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
5.40/5.49	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
305.00/305.09	c    (305.1s) probing: 1000/28200 (3.5%) - 1 fixings, 1 aggregations, 8057378 implications, 0 bound changes
537.50/537.52	c    (537.5s) probing: 2000/28200 (7.1%) - 1 fixings, 1 aggregations, 14039981 implications, 0 bound changes
564.22/564.22	c    (564.2s) probing: 2113/28200 (7.5%) - 1 fixings, 1 aggregations, 14742925 implications, 0 bound changes
564.22/564.22	c    (564.2s) probing aborted: 2000/2000 successive useless probings
564.22/564.22	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
564.32/564.35	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
564.71/564.78	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
565.32/565.32	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
760.91/760.91	c    (760.9s) probing: 3000/28200 (10.6%) - 4 fixings, 4 aggregations, 19751739 implications, 0 bound changes
1028.43/1028.42	c    (1028.4s) probing: 4000/28200 (14.2%) - 7 fixings, 7 aggregations, 29673493 implications, 0 bound changes
1274.32/1274.38	c    (1274.4s) probing: 5000/28200 (17.7%) - 7 fixings, 7 aggregations, 37826347 implications, 0 bound changes
1426.13/1426.10	c    (1426.1s) probing: 5687/28200 (20.2%) - 7 fixings, 7 aggregations, 42539262 implications, 0 bound changes
1426.13/1426.10	c    (1426.1s) probing aborted: 2000/2000 successive useless probings
1426.13/1426.11	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
1426.64/1426.67	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
1459.53/1459.58	c    (1459.6s) probing: 5887/28200 (20.9%) - 7 fixings, 7 aggregations, 43376390 implications, 0 bound changes
1459.53/1459.58	c    (1459.6s) probing aborted: 2000/2000 successive useless probings
1459.53/1459.58	c presolving (17 rounds):
1459.53/1459.58	c  8536 deleted vars, 31943 deleted constraints, 19 added constraints, 6620 tightened bounds, 0 added holes, 208 changed sides, 1297 changed coefficients
1459.53/1459.58	c  122682738 implications, 305 cliques
1459.53/1459.58	c presolved problem has 28186 variables (28186 bin, 0 int, 0 impl, 0 cont) and 97184 constraints
1459.53/1459.58	c    1036 constraints of type <knapsack>
1459.53/1459.58	c   82189 constraints of type <setppc>
1459.53/1459.58	c   13959 constraints of type <logicor>
1459.53/1459.58	c transformed objective value is always integral (scale: 1)
1459.53/1459.58	c Presolving Time: 1458.60
1459.53/1459.58	c - non default parameters ----------------------------------------------------------------------
1459.53/1459.58	c # SCIP version 2.0.1.5
1459.53/1459.58	c 
1459.53/1459.58	c # frequency for displaying node information lines
1459.53/1459.58	c # [type: int, range: [-1,2147483647], default: 100]
1459.53/1459.58	c display/freq = 10000
1459.53/1459.58	c 
1459.53/1459.58	c # maximal time in seconds to run
1459.53/1459.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1459.53/1459.58	c limits/time = 1800
1459.53/1459.58	c 
1459.53/1459.58	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1459.53/1459.58	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1459.53/1459.58	c limits/memory = 13950
1459.53/1459.58	c 
1459.53/1459.58	c # default clock type (1: CPU user seconds, 2: wall clock time)
1459.53/1459.58	c # [type: int, range: [1,2], default: 1]
1459.53/1459.58	c timing/clocktype = 2
1459.53/1459.58	c 
1459.53/1459.58	c # belongs reading time to solving time?
1459.53/1459.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1459.53/1459.58	c timing/reading = TRUE
1459.53/1459.58	c 
1459.53/1459.58	c # should presolving try to simplify inequalities
1459.53/1459.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1459.53/1459.58	c constraints/linear/simplifyinequalities = TRUE
1459.53/1459.58	c 
1459.53/1459.58	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1459.53/1459.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1459.53/1459.58	c constraints/indicator/addCouplingCons = TRUE
1459.53/1459.58	c 
1459.53/1459.58	c # should presolving try to simplify knapsacks
1459.53/1459.58	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1459.53/1459.58	c constraints/knapsack/simplifyinequalities = TRUE
1459.53/1459.58	c 
1459.53/1459.58	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1459.53/1459.58	c # [type: int, range: [-1,2147483647], default: -1]
1459.53/1459.58	c separating/rapidlearning/freq = 0
1459.53/1459.58	c 
1459.53/1459.58	c -----------------------------------------------------------------------------------------------
1459.53/1459.58	c start solving
1459.53/1459.60	c 
1493.33/1493.32	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1493.33/1493.32	c  1493s|     1 |     0 | 22134 |     - |3375M|   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-3451860-1307116933/watcher-3451860-1307116933 -o /tmp/evaluation-result-3451860-1307116933/solver-3451860-1307116933 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3451860-1307116933.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.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=14980 CPUtime=0.01 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 2716 0 0 0 1 0 0 0 23 0 1 0 823296042 15339520 2669 33554432000 4194304 9163163 140734137902336 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 3745 2669 395 1214 0 2527 0

[startup+0.0258599 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=17112 CPUtime=0.02 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 3275 0 0 0 2 0 0 0 23 0 1 0 823296042 17522688 3228 33554432000 4194304 9163163 140734137902336 18446744073709551615 8031320 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 4278 3228 395 1214 0 3060 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 17112

[startup+0.100849 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=30076 CPUtime=0.09 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 6520 0 0 0 8 1 0 0 23 0 1 0 823296042 30797824 6473 33554432000 4194304 9163163 140734137902336 18446744073709551615 6166864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 7519 6473 395 1214 0 6301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30076

[startup+0.300825 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=45332 CPUtime=0.29 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 10322 0 0 0 28 1 0 0 23 0 1 0 823296042 46419968 10275 33554432000 4194304 9163163 140734137902336 18446744073709551615 6163650 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 11333 10275 395 1214 0 10115 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45332

[startup+0.700742 s]
/proc/loadavg: 2.01 2.02 2.00 2/386 30165
/proc/meminfo: memFree=23332216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=77816 CPUtime=0.69 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 18401 0 0 0 67 2 0 0 25 0 1 0 823296042 79683584 18354 33554432000 4194304 9163163 140734137902336 18446744073709551615 8090512 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30165/statm: 19454 18354 395 1214 0 18236 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77816

[startup+1.5006 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=23143852/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=265960 CPUtime=1.49 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 64796 0 0 0 143 6 0 0 25 0 1 0 823296042 272343040 64738 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 66490 64738 506 1214 0 65272 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 265960

[startup+3.10032 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=23006100/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=408716 CPUtime=3.09 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 100234 0 0 0 299 10 0 0 25 0 1 0 823296042 418525184 100176 33554432000 4194304 9163163 140734137902336 18446744073709551615 8045195 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 102179 100176 506 1214 0 100961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 408716

[startup+6.30075 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=22861432/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=510540 CPUtime=6.29 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 123794 0 0 0 616 13 0 0 25 0 1 0 823296042 522792960 123361 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 127635 123361 534 1214 0 126417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 510540

[startup+12.7006 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=22784552/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=565020 CPUtime=12.69 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 136649 0 0 0 1254 15 0 0 25 0 1 0 823296042 578580480 136216 33554432000 4194304 9163163 140734137902336 18446744073709551615 5150168 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 141255 136216 534 1214 0 140037 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 565020

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 30166
/proc/meminfo: memFree=22736604/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=610072 CPUtime=25.49 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 147920 0 0 0 2533 16 0 0 25 0 1 0 823296042 624713728 147487 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567500 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 152518 147487 534 1214 0 151300 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 610072

[startup+51.1008 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 30167
/proc/meminfo: memFree=22653420/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=692100 CPUtime=51.1 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 168569 0 0 0 5091 19 0 0 25 0 1 0 823296042 708710400 168136 33554432000 4194304 9163163 140734137902336 18446744073709551615 4793348 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 173025 168136 534 1214 0 171807 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 692100

[startup+102.315 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 30172
/proc/meminfo: memFree=22403528/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=944336 CPUtime=102.31 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 230347 0 0 0 10204 27 0 0 25 0 1 0 823296042 967000064 229914 33554432000 4194304 9163163 140734137902336 18446744073709551615 5176888 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 236084 229914 534 1214 0 234866 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 944336

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 30173
/proc/meminfo: memFree=22211596/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1139832 CPUtime=162.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 278976 0 0 0 16197 33 0 0 25 0 1 0 823296042 1167187968 278543 33554432000 4194304 9163163 140734137902336 18446744073709551615 5183150 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 284958 278543 534 1214 0 283740 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1139832

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 30175
/proc/meminfo: memFree=21967760/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1381760 CPUtime=222.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 339922 0 0 0 22186 44 0 0 25 0 1 0 823296042 1414922240 339489 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567491 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 345440 339489 534 1214 0 344222 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1381760

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 30176
/proc/meminfo: memFree=21805404/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1545392 CPUtime=282.29 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 379860 0 0 0 28180 49 0 0 25 0 1 0 823296042 1582481408 379427 33554432000 4194304 9163163 140734137902336 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 386348 379427 534 1214 0 385130 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1545392

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 30178
/proc/meminfo: memFree=21711216/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1638336 CPUtime=342.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 403330 0 0 0 34177 53 0 0 25 0 1 0 823296042 1677656064 402897 33554432000 4194304 9163163 140734137902336 18446744073709551615 5183107 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 409584 402897 538 1214 0 408366 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1638336

[startup+402.3 s]
/proc/loadavg: 2.15 2.04 2.01 3/387 30179
/proc/meminfo: memFree=21616980/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1739156 CPUtime=402.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 428868 0 0 0 40173 57 0 0 25 0 1 0 823296042 1780895744 428435 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567814 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 434789 428435 538 1214 0 433571 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1739156

[startup+462.301 s]
/proc/loadavg: 2.09 2.05 2.01 3/387 30181
/proc/meminfo: memFree=21493920/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1864664 CPUtime=462.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 459338 0 0 0 46168 62 0 0 25 0 1 0 823296042 1909415936 458905 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567807 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 466166 458905 538 1214 0 464948 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1864664

[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/387 30183
/proc/meminfo: memFree=21392944/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=1960912 CPUtime=522.31 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 483444 0 0 0 52165 66 0 0 25 0 1 0 823296042 2007973888 483011 33554432000 4194304 9163163 140734137902336 18446744073709551615 5183100 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 490228 483011 538 1214 0 489010 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1960912

[startup+582.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 30184
/proc/meminfo: memFree=21283904/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=2079700 CPUtime=582.3 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 522137 0 0 0 58159 71 0 0 25 0 1 0 823296042 2129612800 513376 33554432000 4194304 9163163 140734137902336 18446744073709551615 6922256 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 519925 513376 565 1214 0 518707 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2079700

[startup+642.301 s]

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

/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 813837 0 0 0 100115 117 0 0 25 0 1 0 823296042 3336933376 805038 33554432000 4194304 9163163 140734137902336 18446744073709551615 5459281 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 814681 805038 565 1214 0 813463 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 3258724

[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/387 30197
/proc/meminfo: memFree=19940844/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=3427724 CPUtime=1062.31 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 855571 0 0 0 106109 122 0 0 25 0 1 0 823296042 3509989376 846772 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567797 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 856931 846772 565 1214 0 855713 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3427724

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/387 30199
/proc/meminfo: memFree=19751588/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=3618440 CPUtime=1122.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 903454 0 0 0 112103 129 0 0 25 0 1 0 823296042 3705282560 894655 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567530 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 904610 894655 565 1214 0 903392 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3618440

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 30200
/proc/meminfo: memFree=19595912/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=3784160 CPUtime=1182.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 944163 0 0 0 118098 134 0 0 25 0 1 0 823296042 3874979840 935364 33554432000 4194304 9163163 140734137902336 18446744073709551615 4782790 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 946040 935364 565 1214 0 944822 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3784160

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 30202
/proc/meminfo: memFree=19391532/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=3981332 CPUtime=1242.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 993287 0 0 0 124090 142 0 0 25 0 1 0 823296042 4076883968 984488 33554432000 4194304 9163163 140734137902336 18446744073709551615 6555954 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 995333 984488 565 1214 0 994115 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 3981332

[startup+1302.3 s]
/proc/loadavg: 1.47 1.87 1.95 2/381 30222
/proc/meminfo: memFree=19716700/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4126380 CPUtime=1302.33 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1028973 0 0 0 130086 147 0 0 25 0 1 0 823296042 4225413120 1020174 33554432000 4194304 9163163 140734137902336 18446744073709551615 5458912 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1031595 1020174 565 1214 0 1030377 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 4126380

[startup+1362.3 s]
/proc/loadavg: 1.17 1.71 1.89 2/381 30223
/proc/meminfo: memFree=19527700/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4320432 CPUtime=1362.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1076382 0 0 0 136078 154 0 0 25 0 1 0 823296042 4424122368 1067583 33554432000 4194304 9163163 140734137902336 18446744073709551615 5459267 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1080108 1067583 565 1214 0 1078890 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 4320432

[startup+1422.31 s]
/proc/loadavg: 1.06 1.58 1.83 2/381 30225
/proc/meminfo: memFree=19358632/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4486000 CPUtime=1422.34 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1118205 0 0 0 142074 160 0 0 25 0 1 0 823296042 4593664000 1109406 33554432000 4194304 9163163 140734137902336 18446744073709551615 6567805 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1121500 1109406 565 1214 0 1120282 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 4486000

[startup+1482.3 s]
/proc/loadavg: 1.02 1.47 1.78 2/381 30226
/proc/meminfo: memFree=19151128/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4706956 CPUtime=1482.32 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1172609 0 0 0 148055 177 0 0 25 0 1 0 823296042 4819922944 1161742 33554432000 4194304 9163163 140734137902336 18446744073709551615 7347256 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1176739 1161742 919 1214 0 1175521 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 4706956

[startup+1542.3 s]
/proc/loadavg: 1.06 1.40 1.73 2/381 30228
/proc/meminfo: memFree=19131484/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1542.33 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 154035 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 4714356

[startup+1602.3 s]
/proc/loadavg: 1.02 1.32 1.68 2/381 30229
/proc/meminfo: memFree=19131468/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1602.33 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 160035 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 6217772 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 4714356

[startup+1662.3 s]
/proc/loadavg: 1.01 1.26 1.63 2/381 30231
/proc/meminfo: memFree=19131648/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1662.34 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 166036 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 4714356

[startup+1722.3 s]
/proc/loadavg: 1.00 1.21 1.59 2/381 30233
/proc/meminfo: memFree=19131488/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1722.34 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 172036 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 18446744073699065863 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 4714356

[startup+1782.3 s]
/proc/loadavg: 1.00 1.17 1.55 2/381 30234
/proc/meminfo: memFree=19130580/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1782.34 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178217 0 0 0 178036 198 0 0 25 0 1 0 823296042 4827500544 1166514 33554432000 4194304 9163163 140734137902336 18446744073709551615 6217691 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166514 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 4714356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.16 1.54 2/381 30235
/proc/meminfo: memFree=19131312/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1800.05 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178218 0 0 0 179807 198 0 0 25 0 1 0 823296042 4827500544 1166515 33554432000 4194304 9163163 140734137902336 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166515 769 1214 0 1177371 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 4714356

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -30165

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.16 1.54 2/382 30236
/proc/meminfo: memFree=19130436/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1801.44 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178232 0 0 0 179946 198 0 0 25 0 1 0 823296042 4827500544 1166515 33554432000 4194304 9163163 140734137902336 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166515 755 1214 0 1177371 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 4714356

[startup+1801.81 s]
/proc/loadavg: 1.00 1.16 1.54 2/382 30236
/proc/meminfo: memFree=19130560/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=4714356 CPUtime=1801.85 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4202496 1178232 0 0 0 179987 198 0 0 25 0 1 0 823296042 4827500544 1166515 33554432000 4194304 9163163 140734137902336 18446744073709551615 6219328 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30165/statm: 1178589 1166515 755 1214 0 1177371 0
Current children cumulated CPU time (s) 1801.85
Current children cumulated vsize (KiB) 4714356

[startup+1802.2 s]
/proc/loadavg: 1.00 1.16 1.54 2/382 30236
/proc/meminfo: memFree=19130560/32951124 swapFree=49244120/67111528
[pid=30165] ppid=30163 vsize=0 CPUtime=1802.23 cores=1,3,5,7
/proc/30165/stat : 30165 (scip-2.0.1.4b.l) R 30163 30165 27315 0 -1 4203524 1178232 0 0 0 180007 216 0 0 25 0 1 0 823296042 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/30165/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.2
CPU time (s): 1802.25
CPU user time (s): 1800.08
CPU system time (s): 2.16867
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 4714356

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

runsolver used 6.49201 second user time and 16.3645 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-03 18:02:13
IDJOB=3451860
IDBENCH=76942
IDSOLVER=1948
FILE ID=node101/3451860-1307116933
RUNJOBID= node101-1307108815-28458
PBS_JOBID= 13497974
Free space on /tmp= 73936 MiB

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

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

MD5SUM BENCH= 5c066885a5dc7aa42baae564c5305e8c
RANDOM SEED=1823420531

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23332496 kB
Buffers:        244356 kB
Cached:         503436 kB
SwapCached:      27120 kB
Active:        8915540 kB
Inactive:       425532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23332496 kB
SwapTotal:    67111528 kB
SwapFree:     49244120 kB
Dirty:           15548 kB
Writeback:           0 kB
AnonPages:     8588060 kB
Mapped:          20900 kB
Slab:           135080 kB
PageTables:      75812 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79068756 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= 73940 MiB
End job on node101 at 2011-06-03 18:32:15