Trace number 3694918

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
pb2satCp2 2012-05-19? (TO) 1800.02 1801.01

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/golomb-rulers/normalized-OGR_10.opb
MD5SUM26699ac56f0d58d8261ff4eb58d81611
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark55
Best CPU time to get the best result obtained on this benchmark350.209
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 55
Optimality of the best value was proved YES
Number of variables895
Total number of constraints1659
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1659
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 707
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

8.47/8.55	c model valid
8.47/8.55	c current solution ok
11.18/11.30	o 116
20.71/20.94	c model valid
20.71/20.94	c current solution ok
20.82/21.04	o 115
30.80/31.09	c model valid
30.80/31.09	c current solution ok
30.91/31.19	o 112
59.31/59.58	c model valid
59.31/59.58	c current solution ok
59.39/59.68	o 108
88.29/88.57	c model valid
88.29/88.57	c current solution ok
88.37/88.67	o 107
117.09/117.33	c model valid
117.09/117.33	c current solution ok
117.12/117.43	o 106
159.87/160.16	c model valid
159.87/160.16	c current solution ok
159.96/160.26	o 103
203.67/203.99	c model valid
203.67/203.99	c current solution ok
203.77/204.08	o 99
232.37/232.68	c model valid
232.37/232.68	c current solution ok
232.45/232.78	o 98
261.67/261.92	c model valid
261.67/261.92	c current solution ok
261.68/262.04	o 97
294.34/294.69	c model valid
294.34/294.69	c current solution ok
294.45/294.80	o 96
337.65/337.92	c model valid
337.65/337.92	c current solution ok
337.67/338.04	o 95
382.02/382.34	c model valid
382.02/382.34	c current solution ok
382.08/382.46	o 79
394.42/394.79	c model valid
394.42/394.79	c current solution ok
394.53/394.90	o 75
421.13/421.48	c model valid
421.13/421.48	c current solution ok
421.20/421.58	o 68
507.21/507.50	c model valid
507.21/507.50	c current solution ok
507.21/507.61	o 67
620.96/621.38	c model valid
620.96/621.38	c current solution ok
621.05/621.48	o 66
766.70/767.19	c model valid
766.70/767.19	c current solution ok
766.81/767.30	o 65
1023.35/1024.26	c model valid
1023.35/1024.26	c current solution ok
1023.43/1024.36	o 62
1526.66/1527.64	c model valid
1526.66/1527.64	c current solution ok
1526.71/1527.74	o 60
1800.02/1801.01	c error: unexpected solver exit code
1800.02/1801.01	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3694918-1338067427/watcher-3694918-1338067427 -o /tmp/evaluation-result-3694918-1338067427/solver-3694918-1338067427 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694918-1338067427.opb 940999823 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 8918
/proc/meminfo: memFree=28706084/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0

[startup+0.102866 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 8918
/proc/meminfo: memFree=28706084/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200274 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 8918
/proc/meminfo: memFree=28706084/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300269 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 8918
/proc/meminfo: memFree=28706084/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700269 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 8918
/proc/meminfo: memFree=28706084/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 1.93 1.99 1.99 3/181 8920
/proc/meminfo: memFree=28689740/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=35676 CPUtime=1.48 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) R 8918 8918 7219 0 -1 4202496 3084 0 0 0 148 0 0 0 20 0 1 0 272867785 36532224 6153 33554432000 4194304 5873084 140734773508480 140734773505848 4708086 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 8919 6153 146 410 0 8501 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 44824

[startup+3.10028 s]
/proc/loadavg: 1.93 1.99 1.99 3/181 8920
/proc/meminfo: memFree=28673000/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=68444 CPUtime=3.09 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) R 8918 8918 7219 0 -1 4202496 3626 0 0 0 308 1 0 0 20 0 1 0 272867785 70086656 11789 33554432000 4194304 5873084 140734773508480 140734773505384 4420220 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 17111 11789 146 410 0 16693 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 77592

[startup+6.30036 s]
/proc/loadavg: 1.93 1.99 1.99 3/183 8922
/proc/meminfo: memFree=28403256/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=84596 CPUtime=3.65 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 8441 0 0 0 354 11 0 0 20 0 1 0 272867785 86626304 19959 33554432000 4194304 5873084 140734773508480 140734773504904 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8919/statm: 21149 19959 162 410 0 20731 0
[pid=8921] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8921/stat : 8921 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272868150 9367552 267 33554432000 4194304 5064252 140737313177296 140737313176208 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/8921/statm: 2287 267 226 213 0 72 0
[pid=8922] ppid=8921 vsize=186300 CPUtime=2.62 cores=0,2,4,6
/proc/8922/stat : 8922 (glucose_static) R 8921 8918 7219 0 -1 4202496 25595 0 0 0 255 7 0 0 20 0 1 0 272868151 190771200 40285 33554432000 4194304 4896791 140736164886768 140736164884200 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8922/statm: 46575 40285 76 172 0 46401 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 289192

[startup+12.7004 s]
/proc/loadavg: 1.94 1.99 1.99 3/183 8925
/proc/meminfo: memFree=28417692/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=89992 CPUtime=11.27 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 9815 28373 0 0 408 225 475 19 20 0 1 0 272867785 92151808 21291 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/8919/statm: 22498 21291 173 410 0 22080 0
[pid=8924] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8924/stat : 8924 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272868929 9367552 267 33554432000 4194304 5064252 140735703086144 140735703085056 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8924/statm: 2287 267 226 213 0 72 0
[pid=8925] ppid=8924 vsize=174136 CPUtime=1.24 cores=0,2,4,6
/proc/8925/stat : 8925 (glucose_static) R 8924 8918 7219 0 -1 4202496 22997 0 0 0 117 7 0 0 20 0 1 0 272868930 178315264 37661 33554432000 4194304 4896791 140735735748992 140735734698040 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8925/statm: 43534 37661 76 172 0 43360 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 282424

[startup+25.5066 s]
/proc/loadavg: 2.09 2.02 2.00 3/183 8928
/proc/meminfo: memFree=28326372/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=92040 CPUtime=20.86 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 11264 57236 0 0 411 225 1411 39 20 0 1 0 272867785 94248960 21686 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/8919/statm: 23010 21686 173 410 0 22592 0
[pid=8927] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8927/stat : 8927 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272869889 9367552 267 33554432000 4194304 5064252 140734689731600 140734689730512 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8927/statm: 2287 267 226 213 0 72 0
[pid=8928] ppid=8927 vsize=193628 CPUtime=4.45 cores=0,2,4,6
/proc/8928/stat : 8928 (glucose_static) R 8927 8918 7219 0 -1 4202496 27165 0 0 0 438 7 0 0 20 0 1 0 272869889 198275072 42233 33554432000 4194304 4896791 140734397792704 140734397790136 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8928/statm: 48407 42233 78 172 0 48233 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 303964

[startup+51.1004 s]
/proc/loadavg: 2.18 2.05 2.01 3/182 8931
/proc/meminfo: memFree=28329748/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=92040 CPUtime=31.01 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 12711 85963 0 0 414 226 2403 58 20 0 1 0 272867785 94248960 21687 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/8919/statm: 23010 21687 173 410 0 22592 0
[pid=8930] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8930/stat : 8930 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272870904 9367552 266 33554432000 4194304 5064252 140735297023824 140735297022736 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8930/statm: 2287 266 226 213 0 72 0
[pid=8931] ppid=8930 vsize=190208 CPUtime=19.89 cores=0,2,4,6
/proc/8931/stat : 8931 (glucose_static) R 8930 8918 7219 0 -1 4202496 25544 0 0 0 1982 7 0 0 20 0 1 0 272870904 194772992 41717 33554432000 4194304 4896791 140733739537424 140733739534856 4225417 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8931/statm: 47552 41717 76 172 0 47378 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 300544

[startup+102.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 8938
/proc/meminfo: memFree=28330592/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=92040 CPUtime=88.47 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 15598 142526 0 0 420 226 8106 95 20 0 1 0 272867785 94248960 21687 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/8919/statm: 23010 21687 173 410 0 22592 0
[pid=8937] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8937/stat : 8937 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272876652 9367552 267 33554432000 4194304 5064252 140736860300576 140736860299488 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8937/statm: 2287 267 226 213 0 72 0
[pid=8938] ppid=8937 vsize=190072 CPUtime=13.61 cores=0,2,4,6
/proc/8938/stat : 8938 (glucose_static) R 8937 8918 7219 0 -1 4202496 25006 0 0 0 1353 8 0 0 20 0 1 0 272876653 194633728 41205 33554432000 4194304 4896791 140735362827776 140735362825208 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8938/statm: 47518 41205 76 172 0 47344 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 300408

[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/183 8944
/proc/meminfo: memFree=28337524/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=92040 CPUtime=160.05 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 18487 198696 0 0 427 227 15218 133 20 0 1 0 272867785 94248960 21687 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 14 0 0
/proc/8919/statm: 23010 21687 173 410 0 22592 0
[pid=8943] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8943/stat : 8943 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272883811 9367552 267 33554432000 4194304 5064252 140735310080336 140735310079248 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8943/statm: 2287 267 226 213 0 72 0
[pid=8944] ppid=8943 vsize=185432 CPUtime=2.02 cores=0,2,4,6
/proc/8944/stat : 8944 (glucose_static) R 8943 8918 7219 0 -1 4202496 26488 0 0 0 195 7 0 0 20 0 1 0 272883811 189882368 40502 33554432000 4194304 4896791 140735958726224 140735958723656 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8944/statm: 46358 40502 76 172 0 46184 0
Current children cumulated CPU time (s) 162.07
Current children cumulated vsize (KiB) 295768

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 8947
/proc/meminfo: memFree=28329032/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/8990/stat : 8990 (glucose_static) R 8989 8918 7219 0 -1 4202496 33282 0 0 0 33772 12 0 0 20 0 1 0 272970222 175247360 36779 33554432000 4194304 4896791 140733901909040 140733901906296 4225148 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8990/statm: 42785 36779 78 172 0 42611 0
Current children cumulated CPU time (s) 1361.37
Current children cumulated vsize (KiB) 282500

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8991
/proc/meminfo: memFree=28317996/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=93064 CPUtime=1023.53 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 36134 570261 0 0 461 230 101282 380 20 0 1 0 272867785 95297536 21688 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 55 0 0
/proc/8919/statm: 23266 21688 173 410 0 22848 0
[pid=8989] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8989/stat : 8989 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272970221 9367552 267 33554432000 4194304 5064252 140734247397664 140734247396576 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8989/statm: 2287 267 226 213 0 72 0
[pid=8990] ppid=8989 vsize=171248 CPUtime=397.84 cores=0,2,4,6
/proc/8990/stat : 8990 (glucose_static) R 8989 8918 7219 0 -1 4202496 33291 0 0 0 39771 13 0 0 20 0 1 0 272970222 175357952 37299 33554432000 4194304 4896791 140733901909040 140733901906584 4224913 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8990/statm: 42812 37299 78 172 0 42638 0
Current children cumulated CPU time (s) 1421.37
Current children cumulated vsize (KiB) 282608

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 8991
/proc/meminfo: memFree=28326312/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=93064 CPUtime=1023.53 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 36134 570261 0 0 461 230 101282 380 20 0 1 0 272867785 95297536 21688 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 55 0 0
/proc/8919/statm: 23266 21688 173 410 0 22848 0
[pid=8989] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8989/stat : 8989 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272970221 9367552 267 33554432000 4194304 5064252 140734247397664 140734247396576 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/8989/statm: 2287 267 226 213 0 72 0
[pid=8990] ppid=8989 vsize=171440 CPUtime=457.83 cores=0,2,4,6
/proc/8990/stat : 8990 (glucose_static) R 8989 8918 7219 0 -1 4202496 33785 0 0 0 45770 13 0 0 20 0 1 0 272970222 175554560 35286 33554432000 4194304 4896791 140733901909040 140733901906296 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8990/statm: 42860 35286 78 172 0 42686 0
Current children cumulated CPU time (s) 1481.36
Current children cumulated vsize (KiB) 282800

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 8994
/proc/meminfo: memFree=28297816/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=93064 CPUtime=1526.81 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 37888 605402 0 0 464 231 151582 404 20 0 1 0 272867785 95297536 21688 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 55 0 0
/proc/8919/statm: 23266 21688 173 410 0 22848 0
[pid=8993] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8993/stat : 8993 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273020559 9367552 267 33554432000 4194304 5064252 140735862607456 140735862606368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8993/statm: 2287 267 226 213 0 72 0
[pid=8994] ppid=8993 vsize=196312 CPUtime=14.54 cores=0,2,4,6
/proc/8994/stat : 8994 (glucose_static) R 8993 8918 7219 0 -1 4202496 28522 0 0 0 1447 7 0 0 20 0 1 0 273020560 201023488 42493 33554432000 4194304 4896791 140735838258320 140735838255576 4224684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8994/statm: 49078 42493 78 172 0 48904 0
Current children cumulated CPU time (s) 1541.35
Current children cumulated vsize (KiB) 307672

[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/184 8998
/proc/meminfo: memFree=28309864/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=93064 CPUtime=1526.81 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 37888 605402 0 0 464 231 151582 404 20 0 1 0 272867785 95297536 21688 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 55 0 0
/proc/8919/statm: 23266 21688 173 410 0 22848 0
[pid=8993] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8993/stat : 8993 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273020559 9367552 267 33554432000 4194304 5064252 140735862607456 140735862606368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8993/statm: 2287 267 226 213 0 72 0
[pid=8994] ppid=8993 vsize=199892 CPUtime=74.52 cores=0,2,4,6
/proc/8994/stat : 8994 (glucose_static) R 8993 8918 7219 0 -1 4202496 31015 0 0 0 7444 8 0 0 20 0 1 0 273020560 204689408 39401 33554432000 4194304 4896791 140735838258320 140735838255576 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8994/statm: 49973 39401 78 172 0 49799 0
Current children cumulated CPU time (s) 1601.33
Current children cumulated vsize (KiB) 311252

[startup+1662.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 8998
/proc/meminfo: memFree=28307452/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=93064 CPUtime=1526.81 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 37888 605402 0 0 464 231 151582 404 20 0 1 0 272867785 95297536 21688 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 55 0 0
/proc/8919/statm: 23266 21688 173 410 0 22848 0
[pid=8993] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8993/stat : 8993 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273020559 9367552 267 33554432000 4194304 5064252 140735862607456 140735862606368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8993/statm: 2287 267 226 213 0 72 0
[pid=8994] ppid=8993 vsize=200228 CPUtime=134.52 cores=0,2,4,6
/proc/8994/stat : 8994 (glucose_static) R 8993 8918 7219 0 -1 4202496 31533 0 0 0 13444 8 0 0 20 0 1 0 273020560 205033472 40002 33554432000 4194304 4896791 140735838258320 140735838255576 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8994/statm: 50057 40002 78 172 0 49883 0
Current children cumulated CPU time (s) 1661.33
Current children cumulated vsize (KiB) 311588

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 8998
/proc/meminfo: memFree=28302612/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=93064 CPUtime=1526.81 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 37888 605402 0 0 464 231 151582 404 20 0 1 0 272867785 95297536 21688 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 55 0 0
/proc/8919/statm: 23266 21688 173 410 0 22848 0
[pid=8993] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8993/stat : 8993 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273020559 9367552 267 33554432000 4194304 5064252 140735862607456 140735862606368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8993/statm: 2287 267 226 213 0 72 0
[pid=8994] ppid=8993 vsize=200300 CPUtime=194.5 cores=0,2,4,6
/proc/8994/stat : 8994 (glucose_static) R 8993 8918 7219 0 -1 4202496 31549 0 0 0 19442 8 0 0 20 0 1 0 273020560 205107200 41040 33554432000 4194304 4896791 140735838258320 140735838255864 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8994/statm: 50075 41040 78 172 0 49901 0
Current children cumulated CPU time (s) 1721.31
Current children cumulated vsize (KiB) 311660

[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/184 9054
/proc/meminfo: memFree=29115244/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=93064 CPUtime=1526.81 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 37888 605402 0 0 464 231 151582 404 20 0 1 0 272867785 95297536 21688 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 55 0 0
/proc/8919/statm: 23266 21688 173 410 0 22848 0
[pid=8993] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8993/stat : 8993 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273020559 9367552 267 33554432000 4194304 5064252 140735862607456 140735862606368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8993/statm: 2287 267 226 213 0 72 0
[pid=8994] ppid=8993 vsize=200588 CPUtime=254.5 cores=0,2,4,6
/proc/8994/stat : 8994 (glucose_static) R 8993 8918 7219 0 -1 4202496 32517 0 0 0 25439 11 0 0 20 0 1 0 273020560 205402112 38414 33554432000 4194304 4896791 140735838258320 140735838255848 4225008 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8994/statm: 50147 38414 78 172 0 49973 0
Current children cumulated CPU time (s) 1781.31
Current children cumulated vsize (KiB) 311948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 2.04 2.02 2.00 3/184 9054
/proc/meminfo: memFree=29113876/32873844 swapFree=7116/7116
[pid=8918] ppid=8916 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8918/stat : 8918 (runPb2satCp2.sh) S 8916 8918 7219 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272867784 9367552 275 33554432000 4194304 5064252 140733535250960 140733535249872 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/8918/statm: 2287 275 233 213 0 72 0
[pid=8919] ppid=8918 vsize=93064 CPUtime=1526.81 cores=0,2,4,6
/proc/8919/stat : 8919 (pb2sat) S 8918 8918 7219 0 -1 4202496 37888 605402 0 0 464 231 151582 404 20 0 1 0 272867785 95297536 21688 33554432000 4194304 5873084 140734773508480 140734773502296 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 55 0 0
/proc/8919/statm: 23266 21688 173 410 0 22848 0
[pid=8993] ppid=8919 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/8993/stat : 8993 (satsolver.sh) S 8919 8918 7219 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273020559 9367552 267 33554432000 4194304 5064252 140735862607456 140735862606368 227141117518 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/8993/statm: 2287 267 226 213 0 72 0
[pid=8994] ppid=8993 vsize=200588 CPUtime=273.21 cores=0,2,4,6
/proc/8994/stat : 8994 (glucose_static) R 8993 8918 7219 0 -1 4202496 32523 0 0 0 27310 11 0 0 20 0 1 0 273020560 205402112 38420 33554432000 4194304 4896791 140735838258320 140735838255848 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/8994/statm: 50147 38420 78 172 0 49973 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 311948

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8918 and gives
#  childrusage.ru_utime.tv_sec=1520
#  childrusage.ru_utime.tv_usec=468853
#  childrusage.ru_stime.tv_sec=6
#  childrusage.ru_stime.tv_usec=363032
# CPU time returned by wait4() is 1526.83
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.01
CPU time (s): 1800.02
CPU user time (s): 1793.56
CPU system time (s): 6.46
CPU usage (%): 99.9448
Max. virtual memory (cumulated for all children) (KiB): 398972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1520.47
system time used= 6.36303
maximum resident set size= 243708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 644268
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2703872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 352
involuntary context switches= 2012

runsolver used 4.95925 second user time and 15.9766 second system time

The end

Launcher Data 

Begin job on node138 at 2012-05-26 23:23:47
IDJOB=3694918
IDBENCH=2637
IDSOLVER=2273
FILE ID=node138/3694918-1338067427
RUNJOBID= node138-1338052933-7235
PBS_JOBID= 14624399
Free space on /tmp= 71408 MiB

SOLVER NAME= pb2satCp2 2012-05-19
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_10.opb
COMMAND LINE= DIR/runPb2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3694918-1338067427/watcher-3694918-1338067427 -o /tmp/evaluation-result-3694918-1338067427/solver-3694918-1338067427 -C 1800 -W 1900 -M 15500  HOME/runPb2satCp2.sh HOME/instance-3694918-1338067427.opb 940999823 HOME HOME

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

MD5SUM BENCH= 26699ac56f0d58d8261ff4eb58d81611
RANDOM SEED=940999823

node138.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.347
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28706348 kB
Buffers:          298940 kB
Cached:          2323324 kB
SwapCached:          232 kB
Active:          1555624 kB
Inactive:        1794940 kB
Active(anon):     717448 kB
Inactive(anon):    13416 kB
Active(file):     838176 kB
Inactive(file):  1781524 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67108624 kB
Dirty:              8956 kB
Writeback:            20 kB
AnonPages:        735136 kB
Mapped:            15252 kB
Shmem:               200 kB
Slab:             678628 kB
SReclaimable:     120952 kB
SUnreclaim:       557676 kB
KernelStack:        1472 kB
PageTables:         5436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     970612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71384 MiB
End job on node138 at 2012-05-26 23:53:48