Trace number 3453501

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.18 1802.14

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1209_1.std.opb
MD5SUM7659daf228cc7c2442c50ab8d9f96b57
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark88
Best CPU time to get the best result obtained on this benchmark1.00984
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234247
Number of constraints which are clauses233047
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 constraint63
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-3453501-1307118892.opb>
1.50/1.53	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234247 constraints
1.50/1.53	c problem read
1.50/1.53	c presolving settings loaded
2.29/2.32	c presolving:
8.29/8.38	c (round 1) 4823 del vars, 14368 del conss, 0 add conss, 3315 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16074536 impls, 0 clqs
11.01/11.03	c (round 2) 12131 del vars, 39386 del conss, 0 add conss, 10300 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16104519 impls, 0 clqs
11.69/11.73	c (round 3) 14469 del vars, 50671 del conss, 0 add conss, 11513 chg bounds, 50 chg sides, 50 chg coeffs, 0 upgd conss, 16118462 impls, 0 clqs
12.00/12.09	c (round 4) 15419 del vars, 54425 del conss, 0 add conss, 12063 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16125686 impls, 0 clqs
12.19/12.28	c (round 5) 15911 del vars, 56362 del conss, 0 add conss, 12319 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16129412 impls, 0 clqs
12.29/12.39	c (round 6) 16068 del vars, 57108 del conss, 0 add conss, 12400 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16130860 impls, 0 clqs
12.39/12.47	c (round 7) 16159 del vars, 57491 del conss, 0 add conss, 12439 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16131733 impls, 0 clqs
12.49/12.54	c (round 8) 16201 del vars, 57661 del conss, 0 add conss, 12460 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132061 impls, 0 clqs
12.59/12.60	c (round 9) 16224 del vars, 57759 del conss, 0 add conss, 12472 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132319 impls, 0 clqs
12.59/12.66	c (round 10) 16238 del vars, 57815 del conss, 0 add conss, 12479 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132473 impls, 0 clqs
12.69/12.72	c (round 11) 16246 del vars, 57849 del conss, 0 add conss, 12483 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132635 impls, 0 clqs
12.69/12.78	c (round 12) 16252 del vars, 57873 del conss, 0 add conss, 12486 chg bounds, 74 chg sides, 92 chg coeffs, 0 upgd conss, 16132671 impls, 0 clqs
13.39/13.47	c (round 13) 16252 del vars, 57882 del conss, 0 add conss, 12486 chg bounds, 74 chg sides, 92 chg coeffs, 176365 upgd conss, 16132671 impls, 0 clqs
567.62/567.68	c    (567.7s) probing: 1000/56590 (1.8%) - 0 fixings, 0 aggregations, 10303144 implications, 0 bound changes
1024.21/1024.28	c    (1024.3s) probing: 2000/56590 (3.5%) - 0 fixings, 0 aggregations, 15901059 implications, 0 bound changes
1024.71/1024.76	c    (1024.8s) probing: 2001/56590 (3.5%) - 0 fixings, 0 aggregations, 15913168 implications, 0 bound changes
1024.71/1024.76	c    (1024.8s) probing aborted: 2000/2000 successive useless probings
1024.71/1024.77	c presolving (14 rounds):
1024.71/1024.77	c  16252 deleted vars, 57882 deleted constraints, 2 added constraints, 12486 tightened bounds, 0 added holes, 85 changed sides, 199 changed coefficients
1024.71/1024.77	c  73905201 implications, 0 cliques
1024.71/1024.77	c presolved problem has 56590 variables (56590 bin, 0 int, 0 impl, 0 cont) and 176367 constraints
1024.71/1024.77	c    1127 constraints of type <knapsack>
1024.71/1024.77	c  147262 constraints of type <setppc>
1024.71/1024.77	c   27978 constraints of type <logicor>
1024.71/1024.77	c transformed objective value is always integral (scale: 1)
1024.71/1024.77	c Presolving Time: 1023.02
1024.71/1024.77	c - non default parameters ----------------------------------------------------------------------
1024.71/1024.77	c # SCIP version 2.0.1.4
1024.71/1024.77	c 
1024.71/1024.77	c # frequency for displaying node information lines
1024.71/1024.77	c # [type: int, range: [-1,2147483647], default: 100]
1024.71/1024.77	c display/freq = 10000
1024.71/1024.77	c 
1024.71/1024.77	c # maximal time in seconds to run
1024.71/1024.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1024.71/1024.77	c limits/time = 1800
1024.71/1024.77	c 
1024.71/1024.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1024.71/1024.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1024.71/1024.77	c limits/memory = 13950
1024.71/1024.77	c 
1024.71/1024.77	c # default clock type (1: CPU user seconds, 2: wall clock time)
1024.71/1024.77	c # [type: int, range: [1,2], default: 1]
1024.71/1024.77	c timing/clocktype = 2
1024.71/1024.77	c 
1024.71/1024.77	c # belongs reading time to solving time?
1024.71/1024.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1024.71/1024.77	c timing/reading = TRUE
1024.71/1024.77	c 
1024.71/1024.77	c # should presolving try to simplify inequalities
1024.71/1024.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1024.71/1024.77	c constraints/linear/simplifyinequalities = TRUE
1024.71/1024.77	c 
1024.71/1024.77	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1024.71/1024.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1024.71/1024.77	c constraints/indicator/addCouplingCons = TRUE
1024.71/1024.77	c 
1024.71/1024.77	c # should presolving try to simplify knapsacks
1024.71/1024.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1024.71/1024.77	c constraints/knapsack/simplifyinequalities = TRUE
1024.71/1024.77	c 
1024.71/1024.77	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1024.71/1024.77	c # [type: int, range: [-1,2147483647], default: -1]
1024.71/1024.77	c separating/rapidlearning/freq = 0
1024.71/1024.77	c 
1024.71/1024.77	c -----------------------------------------------------------------------------------------------
1024.71/1024.77	c start solving
1024.81/1024.81	c 
1342.92/1342.97	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1342.92/1342.97	c  1343s|     1 |     0 | 59448 |     - |2251M|   0 |2060 |  56k| 176k|  56k| 176k|   0 |  60 |   0 | 8.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-3453501-1307118892/watcher-3453501-1307118892 -o /tmp/evaluation-result-3453501-1307118892/solver-3453501-1307118892 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453501-1307118892.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: 1.20 1.09 1.36 3/493 22945
/proc/meminfo: memFree=26628892/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=11188 CPUtime=0 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 1780 0 0 0 0 0 0 0 22 0 1 0 902119853 11456512 1734 33554432000 4194304 9128323 140734025103312 18446744073709551615 7919103 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22945/statm: 2797 1734 400 1205 0 1588 0

[startup+0.0641351 s]
/proc/loadavg: 1.20 1.09 1.36 3/493 22945
/proc/meminfo: memFree=26628892/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=19976 CPUtime=0.06 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 3977 0 0 0 6 0 0 0 22 0 1 0 902119853 20455424 3930 33554432000 4194304 9128323 140734025103312 18446744073709551615 8133876 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22945/statm: 4994 3930 400 1205 0 3785 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 19976

[startup+0.101134 s]
/proc/loadavg: 1.20 1.09 1.36 3/493 22945
/proc/meminfo: memFree=26628892/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=27372 CPUtime=0.09 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 5858 0 0 0 9 0 0 0 22 0 1 0 902119853 28028928 5810 33554432000 4194304 9128323 140734025103312 18446744073709551615 6192957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22945/statm: 6843 5810 400 1205 0 5634 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27372

[startup+0.30109 s]
/proc/loadavg: 1.20 1.09 1.36 3/493 22945
/proc/meminfo: memFree=26628892/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=50220 CPUtime=0.29 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 11586 0 0 0 28 1 0 0 23 0 1 0 902119853 51425280 11506 33554432000 4194304 9128323 140734025103312 18446744073709551615 8120762 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22945/statm: 12555 11506 400 1205 0 11346 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50220

[startup+0.701029 s]
/proc/loadavg: 1.20 1.09 1.36 3/493 22945
/proc/meminfo: memFree=26628892/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=68580 CPUtime=0.69 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 16160 0 0 0 68 1 0 0 25 0 1 0 902119853 70225920 16072 33554432000 4194304 9128323 140734025103312 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22945/statm: 17145 16072 400 1205 0 15936 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68580

[startup+1.50088 s]
/proc/loadavg: 1.20 1.09 1.36 3/499 22951
/proc/meminfo: memFree=26460080/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=129716 CPUtime=1.5 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 31366 0 0 0 146 4 0 0 25 0 1 0 902119853 132829184 31263 33554432000 4194304 9128323 140734025103312 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/22945/statm: 32429 31263 400 1205 0 31220 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 129716

[startup+3.10058 s]
/proc/loadavg: 1.20 1.09 1.36 3/499 22951
/proc/meminfo: memFree=25943748/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=485740 CPUtime=3.09 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 128412 0 0 0 295 14 0 0 25 0 1 0 902119853 497397760 118128 33554432000 4194304 9128323 140734025103312 18446744073709551615 4837545 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 121435 118128 509 1205 0 120226 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 485740

[startup+6.30099 s]
/proc/loadavg: 1.27 1.10 1.36 3/499 22951
/proc/meminfo: memFree=25258944/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=775572 CPUtime=6.29 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 199311 0 0 0 607 22 0 0 25 0 1 0 902119853 794185728 189027 33554432000 4194304 9128323 140734025103312 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 193893 189065 510 1205 0 192684 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 775572

[startup+12.7008 s]
/proc/loadavg: 1.33 1.12 1.36 3/499 22951
/proc/meminfo: memFree=24903600/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=871384 CPUtime=12.69 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 223737 0 0 0 1243 26 0 0 25 0 1 0 902119853 892297216 212164 33554432000 4194304 9128323 140734025103312 18446744073709551615 5968065 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 217846 212164 523 1205 0 216637 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 871384

[startup+25.5004 s]
/proc/loadavg: 1.47 1.16 1.37 3/499 22951
/proc/meminfo: memFree=24696140/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=994108 CPUtime=25.49 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 270813 0 0 0 2517 32 0 0 25 0 1 0 902119853 1017966592 241059 33554432000 4194304 9128323 140734025103312 18446744073709551615 6593116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 248527 241059 624 1205 0 247318 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 994108

[startup+51.1007 s]
/proc/loadavg: 1.65 1.22 1.39 3/499 22952
/proc/meminfo: memFree=24602512/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=1038816 CPUtime=51.09 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 281473 0 0 0 5076 33 0 0 25 0 1 0 902119853 1063747584 251719 33554432000 4194304 9128323 140734025103312 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 259704 251719 624 1205 0 258495 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1038816

[startup+102.319 s]
/proc/loadavg: 1.85 1.34 1.42 3/499 22953
/proc/meminfo: memFree=24300412/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=1182000 CPUtime=102.3 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 316661 0 0 0 10194 36 0 0 25 0 1 0 902119853 1210368000 286907 33554432000 4194304 9128323 140734025103312 18446744073709551615 4352183 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 295500 286907 624 1205 0 294291 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1182000

[startup+162.301 s]
/proc/loadavg: 2.02 1.49 1.46 3/499 22955
/proc/meminfo: memFree=23936916/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=1319908 CPUtime=162.28 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 351091 0 0 0 16188 40 0 0 25 0 1 0 902119853 1351585792 321205 33554432000 4194304 9128323 140734025103312 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 329977 321205 624 1205 0 328768 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 1319908

[startup+222.301 s]
/proc/loadavg: 2.04 1.59 1.50 3/499 22956
/proc/meminfo: memFree=23468644/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=1572140 CPUtime=222.29 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 415196 0 0 0 22181 48 0 0 25 0 1 0 902119853 1609871360 384881 33554432000 4194304 9128323 140734025103312 18446744073709551615 6593403 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 393035 384881 624 1205 0 391826 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1572140

[startup+282.301 s]
/proc/loadavg: 2.01 1.66 1.52 3/499 22961
/proc/meminfo: memFree=23130472/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=1705256 CPUtime=282.29 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 447944 0 0 0 28177 52 0 0 25 0 1 0 902119853 1746182144 417464 33554432000 4194304 9128323 140734025103312 18446744073709551615 4782521 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 426314 417464 624 1205 0 425105 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1705256

[startup+342.301 s]
/proc/loadavg: 2.15 1.77 1.57 3/499 22963
/proc/meminfo: memFree=22808484/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=1842480 CPUtime=342.3 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 481961 0 0 0 34174 56 0 0 25 0 1 0 902119853 1886699520 451481 33554432000 4194304 9128323 140734025103312 18446744073709551615 5489966 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 460620 451481 624 1205 0 459411 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1842480

[startup+402.301 s]
/proc/loadavg: 2.05 1.81 1.59 3/499 22964
/proc/meminfo: memFree=22601492/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=1959004 CPUtime=402.29 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 510642 0 0 0 40170 59 0 0 25 0 1 0 902119853 2006020096 480162 33554432000 4194304 9128323 140734025103312 18446744073709551615 5488321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 489751 480162 624 1205 0 488542 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1959004

[startup+462.3 s]
/proc/loadavg: 2.02 1.84 1.61 3/499 22966
/proc/meminfo: memFree=22284004/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=2123508 CPUtime=462.29 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 551064 0 0 0 46165 64 0 0 25 0 1 0 902119853 2174472192 520584 33554432000 4194304 9128323 140734025103312 18446744073709551615 6593107 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 530877 520584 624 1205 0 529668 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2123508

[startup+522.3 s]
/proc/loadavg: 2.00 1.86 1.64 3/499 22967
/proc/meminfo: memFree=22106396/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=2205392 CPUtime=522.3 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 571437 0 0 0 52163 67 0 0 25 0 1 0 902119853 2258321408 540957 33554432000 4194304 9128323 140734025103312 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 551348 540957 624 1205 0 550139 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2205392

[startup+582.3 s]
/proc/loadavg: 2.00 1.89 1.65 3/499 22969
/proc/meminfo: memFree=21876448/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=2336956 CPUtime=582.3 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 603274 0 0 0 58159 71 0 0 25 0 1 0 902119853 2393042944 572794 33554432000 4194304 9128323 140734025103312 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 584239 572794 628 1205 0 583030 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2336956

[startup+642.301 s]

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

/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 771072 0 0 0 106131 100 0 0 25 0 1 0 902119853 3101585408 738082 33554432000 4194304 9128323 140734025103312 18446744073709551615 7316232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 757223 738082 831 1205 0 756014 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3028892

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/499 22983
/proc/meminfo: memFree=20363900/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3045592 CPUtime=1122.32 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 776107 0 0 0 112123 109 0 0 25 0 1 0 902119853 3118686208 742972 33554432000 4194304 9128323 140734025103312 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 761398 742972 946 1205 0 760189 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 3045592

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/499 22985
/proc/meminfo: memFree=20036520/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3060004 CPUtime=1182.32 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 783427 0 0 0 118113 119 0 0 25 0 1 0 902119853 3133444096 749990 33554432000 4194304 9128323 140734025103312 18446744073709551615 7316369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 765001 749990 1537 1205 0 763792 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 3060004

[startup+1242.3 s]
/proc/loadavg: 2.16 2.03 1.84 3/499 22987
/proc/meminfo: memFree=19988244/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1242.33 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 789122 0 0 0 124107 126 0 0 25 0 1 0 902119853 3161878528 754758 33554432000 4194304 9128323 140734025103312 18446744073709551615 7315934 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 754758 720 1205 0 770734 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 3087772

[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 1.84 3/499 22988
/proc/meminfo: memFree=19966752/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1302.33 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 790246 0 0 0 130101 132 0 0 25 0 1 0 902119853 3161878528 755882 33554432000 4194304 9128323 140734025103312 18446744073709551615 7316079 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 755882 753 1205 0 770734 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 3087772

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 1.85 3/499 22990
/proc/meminfo: memFree=19938176/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1362.32 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 794615 0 0 0 136095 137 0 0 25 0 1 0 902119853 3161878528 759547 33554432000 4194304 9128323 140734025103312 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 759547 1418 1205 0 770734 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3087772

[startup+1422.32 s]
/proc/loadavg: 2.07 2.03 1.86 3/499 22991
/proc/meminfo: memFree=19933788/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1422.35 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 794777 0 0 0 142092 143 0 0 25 0 1 0 902119853 3161878528 759552 33554432000 4194304 9128323 140734025103312 18446744073709551615 7312908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 759552 1261 1205 0 770734 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 3087772

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 1.87 3/499 22993
/proc/meminfo: memFree=19942432/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1482.33 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 794812 0 0 0 148088 145 0 0 25 0 1 0 902119853 3161878528 759552 33554432000 4194304 9128323 140734025103312 18446744073709551615 7328435 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 759552 1226 1205 0 770734 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 3087772

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.87 3/499 22995
/proc/meminfo: memFree=19942772/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1542.33 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 794834 0 0 0 154083 150 0 0 25 0 1 0 902119853 3161878528 759552 33554432000 4194304 9128323 140734025103312 18446744073709551615 7343020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 759552 1204 1205 0 770734 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 3087772

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/499 23005
/proc/meminfo: memFree=19942192/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1602.34 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 794845 0 0 0 160079 155 0 0 25 0 1 0 902119853 3161878528 759552 33554432000 4194304 9128323 140734025103312 18446744073709551615 7315311 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 759552 1193 1205 0 770734 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 3087772

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/499 23007
/proc/meminfo: memFree=19943268/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1662.34 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 794849 0 0 0 166073 161 0 0 25 0 1 0 902119853 3161878528 759552 33554432000 4194304 9128323 140734025103312 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 759552 1189 1205 0 770734 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 3087772

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/499 23008
/proc/meminfo: memFree=19941252/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1722.34 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 795121 0 0 0 172059 175 0 0 25 0 1 0 902119853 3161878528 759814 33554432000 4194304 9128323 140734025103312 18446744073709551615 6704226 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 759814 1196 1205 0 770734 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 3087772

[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 1.91 3/499 23010
/proc/meminfo: memFree=19937740/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1782.34 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 795383 0 0 0 178058 176 0 0 25 0 1 0 902119853 3161878528 760074 33554432000 4194304 9128323 140734025103312 18446744073709551615 6243438 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 760074 1393 1205 0 770734 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 3087772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.14 2.04 1.91 3/499 23011
/proc/meminfo: memFree=19986332/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1800.05 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 795438 0 0 0 179829 176 0 0 25 0 1 0 902119853 3161878528 760129 33554432000 4194304 9128323 140734025103312 18446744073709551615 6244944 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 760129 1393 1205 0 770734 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3087772

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -22945

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

[startup+1801.4 s]
/proc/loadavg: 2.14 2.04 1.91 3/501 23013
/proc/meminfo: memFree=20005288/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3087772 CPUtime=1801.44 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 795438 0 0 0 179968 176 0 0 25 0 1 0 902119853 3161878528 760129 33554432000 4194304 9128323 140734025103312 18446744073709551615 6244953 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 771943 760129 1393 1205 0 770734 0
Current children cumulated CPU time (s) 1801.44
Current children cumulated vsize (KiB) 3087772

[startup+1801.82 s]
/proc/loadavg: 2.14 2.04 1.91 2/498 23013
/proc/meminfo: memFree=23536212/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3138132 CPUtime=1801.86 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 807627 0 0 0 180008 178 0 0 25 0 1 0 902119853 3213447168 772318 33554432000 4194304 9128323 140734025103312 18446744073709551615 6244950 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 784533 772319 1393 1205 0 783324 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 3138132

[startup+1802 s]
/proc/loadavg: 2.14 2.04 1.91 2/498 23013
/proc/meminfo: memFree=23536212/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=3160292 CPUtime=1802.04 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4202496 811145 0 0 0 180026 178 0 0 25 0 1 0 902119853 3236139008 775836 33554432000 4194304 9128323 140734025103312 18446744073709551615 6244950 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/22945/statm: 790073 775837 1393 1205 0 788864 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3160292

[startup+1802.1 s]
/proc/loadavg: 2.14 2.04 1.91 2/498 23013
/proc/meminfo: memFree=23536212/32950928 swapFree=34421304/67111528
[pid=22945] ppid=22943 vsize=0 CPUtime=1802.14 cores=1,3,5,7
/proc/22945/stat : 22945 (scip-2.0.1.4.li) R 22943 22945 20254 0 -1 4203524 811478 0 0 0 180028 186 0 0 25 0 1 0 902119853 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 1 0 0 0
/proc/22945/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.14
CPU time (s): 1802.18
CPU user time (s): 1800.28
CPU system time (s): 1.90271
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 3160292

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

runsolver used 8.33073 second user time and 21.2458 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-03 18:34:52
IDJOB=3453501
IDBENCH=77300
IDSOLVER=1949
FILE ID=node113/3453501-1307118892
RUNJOBID= node113-1307118892-22931
PBS_JOBID= 13497976
Free space on /tmp= 73764 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/j120opt/normalized-j1209_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-3453501-1307118892/watcher-3453501-1307118892 -o /tmp/evaluation-result-3453501-1307118892/solver-3453501-1307118892 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453501-1307118892.opb -t 1800 -m 15500

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

MD5SUM BENCH= 7659daf228cc7c2442c50ab8d9f96b57
RANDOM SEED=2085500446

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26629296 kB
Buffers:        240840 kB
Cached:         732192 kB
SwapCached:      13476 kB
Active:        5381860 kB
Inactive:       618368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26629296 kB
SwapTotal:    67111528 kB
SwapFree:     34421304 kB
Dirty:           39492 kB
Writeback:           0 kB
AnonPages:     5024860 kB
Mapped:          20684 kB
Slab:           135312 kB
PageTables:     116528 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 154764068 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= 73756 MiB
End job on node113 at 2011-06-03 19:04:54