Trace number 3694902

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.01 1800.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_11.opb
MD5SUMc19ad978a977652a94fc03b8ce63204a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables1288
Total number of constraints2431
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2430
Minimum length of a constraint1
Maximum length of a constraint29
Number of terms in the objective function 8
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 182
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 175
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 802
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 

13.38/13.40	c model valid
13.38/13.40	c current solution ok
17.16/17.32	o 176
33.96/34.07	c model valid
33.96/34.07	c current solution ok
34.05/34.19	o 137
82.86/82.90	c model valid
82.86/82.90	c current solution ok
82.86/83.02	o 134
90.05/90.16	c model valid
90.05/90.16	c current solution ok
90.11/90.28	o 132
100.27/100.30	c model valid
100.27/100.30	c current solution ok
100.28/100.42	o 117
117.46/117.50	c model valid
117.46/117.50	c current solution ok
117.56/117.62	o 115
128.94/129.00	c model valid
128.94/129.00	c current solution ok
128.95/129.13	o 112
149.02/149.16	c model valid
149.02/149.16	c current solution ok
149.11/149.29	o 111
169.44/169.54	c model valid
169.44/169.54	c current solution ok
169.48/169.66	o 107
179.93/180.02	c model valid
179.93/180.02	c current solution ok
179.96/180.14	o 106
193.11/193.26	c model valid
193.11/193.26	c current solution ok
193.18/193.38	o 105
243.12/243.22	c model valid
243.12/243.22	c current solution ok
243.14/243.34	o 104
252.71/252.85	c model valid
252.71/252.85	c current solution ok
252.81/252.98	o 103
357.99/358.12	c model valid
357.99/358.12	c current solution ok
358.02/358.24	o 102
403.40/403.50	c model valid
403.40/403.50	c current solution ok
403.50/403.62	o 87
445.88/446.01	c model valid
445.88/446.01	c current solution ok
445.90/446.14	o 86
777.90/778.12	c model valid
777.90/778.12	c current solution ok
777.93/778.25	o 85
1295.22/1295.53	c model valid
1295.22/1295.53	c current solution ok
1295.27/1295.66	o 84
1549.15/1549.52	c model valid
1549.15/1549.52	c current solution ok
1549.18/1549.64	o 83
1800.01/1800.41	c error: unexpected solver exit code
1800.01/1800.41	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-3694902-1338073973/watcher-3694902-1338073973 -o /tmp/evaluation-result-3694902-1338073973/solver-3694902-1338073973 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694902-1338073973.opb 1902798039 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.92 1.98 1.99 3/177 20550
/proc/meminfo: memFree=28006184/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0

[startup+0.0691891 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20550
/proc/meminfo: memFree=28006184/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10026 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20550
/proc/meminfo: memFree=28006184/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30023 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20550
/proc/meminfo: memFree=28006184/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700227 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 20550
/proc/meminfo: memFree=28006184/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50026 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 20552
/proc/meminfo: memFree=27990540/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=35748 CPUtime=1.49 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) R 20550 20550 18174 0 -1 4202496 3454 0 0 0 148 1 0 0 20 0 1 0 273523212 36605952 5501 33554432000 4194304 5873084 140733373336960 140733373334328 4728230 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 8937 5501 146 410 0 8519 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44896

[startup+3.10026 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 20552
/proc/meminfo: memFree=27975700/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=69216 CPUtime=3.08 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) R 20550 20550 18174 0 -1 4202496 4151 0 0 0 307 1 0 0 20 0 1 0 273523212 70877184 10736 33554432000 4194304 5873084 140733373336960 140733373333256 4995864 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 17304 10736 146 410 0 16886 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 78364

[startup+6.30041 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 20554
/proc/meminfo: memFree=27676496/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=164180 CPUtime=4.46 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 12606 0 0 0 432 14 0 0 20 0 1 0 273523212 168120320 26349 33554432000 4194304 5873084 140733373336960 140733373333384 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 41045 26349 162 410 0 40627 0
[pid=20553] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20553/stat : 20553 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 273523660 9367552 266 33554432000 4194304 5064252 140736666004240 140736666003152 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20553/statm: 2287 266 226 213 0 72 0
[pid=20554] ppid=20553 vsize=256288 CPUtime=1.81 cores=0,2,4,6
/proc/20554/stat : 20554 (glucose_static) R 20553 20550 18174 0 -1 4202496 31095 0 0 0 173 8 0 0 20 0 1 0 273523660 262438912 49067 33554432000 4194304 4896791 140735729235584 140735729233288 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20554/statm: 64072 49067 76 172 0 63898 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 438764

[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 20554
/proc/meminfo: memFree=27603324/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=164180 CPUtime=4.46 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 12606 0 0 0 432 14 0 0 20 0 1 0 273523212 168120320 26349 33554432000 4194304 5873084 140733373336960 140733373333384 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 41045 26349 162 410 0 40627 0
[pid=20553] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20553/stat : 20553 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 273523660 9367552 266 33554432000 4194304 5064252 140736666004240 140736666003152 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20553/statm: 2287 266 226 213 0 72 0
[pid=20554] ppid=20553 vsize=286136 CPUtime=8.2 cores=0,2,4,6
/proc/20554/stat : 20554 (glucose_static) R 20553 20550 18174 0 -1 4202496 37833 0 0 0 811 9 0 0 20 0 1 0 273523660 293003264 55727 33554432000 4194304 4896791 140735729235584 140735729233016 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20554/statm: 71534 55727 78 172 0 71360 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 468612

[startup+25.5004 s]
/proc/loadavg: 2.09 2.02 2.00 3/181 20557
/proc/meminfo: memFree=27524836/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=174692 CPUtime=17.3 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 13222 39371 0 0 504 325 875 26 20 0 1 0 273523212 178884608 28969 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 43673 28969 173 410 0 43255 0
[pid=20556] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20556/stat : 20556 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273524945 9367552 266 33554432000 4194304 5064252 140733476557584 140733476556496 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20556/statm: 2287 266 226 213 0 72 0
[pid=20557] ppid=20556 vsize=287020 CPUtime=8.15 cores=0,2,4,6
/proc/20557/stat : 20557 (glucose_static) R 20556 20550 18174 0 -1 4202496 37602 0 0 0 806 9 0 0 20 0 1 0 273524945 293908480 56009 33554432000 4194304 4896791 140736867242560 140736867239816 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20557/statm: 71755 56009 78 172 0 71581 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 480008

[startup+51.1004 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 20561
/proc/meminfo: memFree=27515284/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=34.16 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 14325 79565 0 0 508 326 2532 50 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20559] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20559/stat : 20559 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273526631 9367552 267 33554432000 4194304 5064252 140734706075088 140734706074000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20559/statm: 2287 267 226 213 0 72 0
[pid=20560] ppid=20559 vsize=290448 CPUtime=16.89 cores=0,2,4,6
/proc/20560/stat : 20560 (glucose_static) R 20559 20550 18174 0 -1 4202496 39348 0 0 0 1678 11 0 0 20 0 1 0 273526632 297418752 57159 33554432000 4194304 4896791 140734113415456 140734113412888 4224975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20560/statm: 72612 57159 78 172 0 72438 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 487532

[startup+102.307 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 20570
/proc/meminfo: memFree=27533064/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=100.4 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 17137 200101 0 0 523 327 9066 124 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20569] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20569/stat : 20569 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273533255 9367552 267 33554432000 4194304 5064252 140734940555024 140734940553936 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20569/statm: 2287 267 226 213 0 72 0
[pid=20570] ppid=20569 vsize=260564 CPUtime=1.86 cores=0,2,4,6
/proc/20570/stat : 20570 (glucose_static) R 20569 20550 18174 0 -1 4202496 32991 0 0 0 178 8 0 0 20 0 1 0 273533255 266817536 50951 33554432000 4194304 4896791 140735052033072 140735052030504 4223833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20570/statm: 65141 50951 76 172 0 64967 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 457648

[startup+162.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/181 20679
/proc/meminfo: memFree=26831188/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=149.23 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 20454 320569 0 0 537 328 13859 199 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20678] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20678/stat : 20678 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273538141 9367552 267 33554432000 4194304 5064252 140736468887424 140736468886336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20678/statm: 2287 267 226 213 0 72 0
[pid=20679] ppid=20678 vsize=286712 CPUtime=12.99 cores=0,2,4,6
/proc/20679/stat : 20679 (glucose_static) R 20678 20550 18174 0 -1 4202496 38523 0 0 0 1287 12 0 0 20 0 1 0 273538142 293593088 56353 33554432000 4194304 4896791 140733423724288 140733423721720 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20679/statm: 71678 56353 78 172 0 71504 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 483796

[startup+222.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/181 20688
/proc/meminfo: memFree=26826584/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/20719/stat : 20719 (glucose_static) R 20718 20550 18174 0 -1 4202496 37318 0 0 0 6651 10 0 0 20 0 1 0 273652779 295677952 57398 33554432000 4194304 4896791 140734088762928 140734088760136 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20719/statm: 72187 57398 78 172 0 72013 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 485832

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 20719
/proc/meminfo: memFree=26794744/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=1295.39 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 29503 727534 0 0 585 331 128166 457 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20718] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20718/stat : 20718 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273652779 9367552 267 33554432000 4194304 5064252 140736833427168 140736833426080 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20718/statm: 2287 267 226 213 0 72 0
[pid=20719] ppid=20718 vsize=290624 CPUtime=126.59 cores=0,2,4,6
/proc/20719/stat : 20719 (glucose_static) R 20718 20550 18174 0 -1 4202496 38505 0 0 0 12649 10 0 0 20 0 1 0 273652779 297598976 58317 33554432000 4194304 4896791 140734088762928 140734088760184 4224983 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20719/statm: 72656 58317 78 172 0 72482 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 487708

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 20719
/proc/meminfo: memFree=26791592/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=1295.39 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 29503 727534 0 0 585 331 128166 457 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20718] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20718/stat : 20718 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273652779 9367552 267 33554432000 4194304 5064252 140736833427168 140736833426080 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20718/statm: 2287 267 226 213 0 72 0
[pid=20719] ppid=20718 vsize=291836 CPUtime=186.56 cores=0,2,4,6
/proc/20719/stat : 20719 (glucose_static) R 20718 20550 18174 0 -1 4202496 38760 0 0 0 18646 10 0 0 20 0 1 0 273652779 298840064 59070 33554432000 4194304 4896791 140734088762928 140734088760360 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20719/statm: 72959 59070 78 172 0 72785 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 488920

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 20719
/proc/meminfo: memFree=26806960/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=1295.39 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 29503 727534 0 0 585 331 128166 457 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20718] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20718/stat : 20718 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273652779 9367552 267 33554432000 4194304 5064252 140736833427168 140736833426080 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20718/statm: 2287 267 226 213 0 72 0
[pid=20719] ppid=20718 vsize=242540 CPUtime=246.55 cores=0,2,4,6
/proc/20719/stat : 20719 (glucose_static) R 20718 20550 18174 0 -1 4202496 40166 0 0 0 24643 12 0 0 20 0 1 0 273652779 248360960 54185 33554432000 4194304 4896791 140734088762928 140734088758664 4223862 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/20719/statm: 60635 54185 78 172 0 60461 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 439624

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20724
/proc/meminfo: memFree=26794812/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=1549.3 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 30608 769257 0 0 590 331 153526 483 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20721] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20721/stat : 20721 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273678177 9367552 266 33554432000 4194304 5064252 140733258574976 140733258573888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20721/statm: 2287 266 226 213 0 72 0
[pid=20722] ppid=20721 vsize=289236 CPUtime=52.62 cores=0,2,4,6
/proc/20722/stat : 20722 (glucose_static) R 20721 20550 18174 0 -1 4202496 39420 0 0 0 5251 11 0 0 20 0 1 0 273678177 296177664 57791 33554432000 4194304 4896791 140734307269984 140734307267416 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20722/statm: 72309 57791 78 172 0 72135 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 486320

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20726
/proc/meminfo: memFree=26809256/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=1549.3 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 30608 769257 0 0 590 331 153526 483 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20721] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20721/stat : 20721 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273678177 9367552 266 33554432000 4194304 5064252 140733258574976 140733258573888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20721/statm: 2287 266 226 213 0 72 0
[pid=20722] ppid=20721 vsize=240248 CPUtime=112.62 cores=0,2,4,6
/proc/20722/stat : 20722 (glucose_static) R 20721 20550 18174 0 -1 4202496 41785 0 0 0 11248 14 0 0 20 0 1 0 273678177 246013952 54056 33554432000 4194304 4896791 140734307269984 140734307265720 4225029 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20722/statm: 60062 54056 78 172 0 59888 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 437332

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20726
/proc/meminfo: memFree=26805168/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=1549.3 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 30608 769257 0 0 590 331 153526 483 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20721] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20721/stat : 20721 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273678177 9367552 266 33554432000 4194304 5064252 140733258574976 140733258573888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20721/statm: 2287 266 226 213 0 72 0
[pid=20722] ppid=20721 vsize=240392 CPUtime=172.61 cores=0,2,4,6
/proc/20722/stat : 20722 (glucose_static) R 20721 20550 18174 0 -1 4202496 41821 0 0 0 17247 14 0 0 20 0 1 0 273678177 246161408 54603 33554432000 4194304 4896791 140734307269984 140734307265720 4225344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20722/statm: 60098 54603 78 172 0 59924 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 437476

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20726
/proc/meminfo: memFree=26818264/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=1549.3 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 30608 769257 0 0 590 331 153526 483 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20721] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20721/stat : 20721 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273678177 9367552 266 33554432000 4194304 5064252 140733258574976 140733258573888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20721/statm: 2287 266 226 213 0 72 0
[pid=20722] ppid=20721 vsize=240584 CPUtime=232.6 cores=0,2,4,6
/proc/20722/stat : 20722 (glucose_static) R 20721 20550 18174 0 -1 4202496 42366 0 0 0 23245 15 0 0 20 0 1 0 273678177 246358016 51414 33554432000 4194304 4896791 140734307269984 140734307267560 4223833 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20722/statm: 60146 51414 78 172 0 59972 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 437668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 20726
/proc/meminfo: memFree=26818140/32873852 swapFree=6848/6848
[pid=20550] ppid=20548 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20550/stat : 20550 (runPb2satCp2.sh) S 20548 20550 18174 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273523212 9367552 275 33554432000 4194304 5064252 140735787428464 140735787427376 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20550/statm: 2287 275 233 213 0 72 0
[pid=20551] ppid=20550 vsize=178788 CPUtime=1549.3 cores=0,2,4,6
/proc/20551/stat : 20551 (pb2sat) S 20550 20550 18174 0 -1 4202496 30608 769257 0 0 590 331 153526 483 20 0 1 0 273523212 183078912 29978 33554432000 4194304 5873084 140733373336960 140733373330776 5124602 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/20551/statm: 44697 29978 173 410 0 44279 0
[pid=20721] ppid=20551 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20721/stat : 20721 (satsolver.sh) S 20551 20550 18174 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273678177 9367552 266 33554432000 4194304 5064252 140733258574976 140733258573888 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20721/statm: 2287 266 226 213 0 72 0
[pid=20722] ppid=20721 vsize=240584 CPUtime=250.71 cores=0,2,4,6
/proc/20722/stat : 20722 (glucose_static) R 20721 20550 18174 0 -1 4202496 42366 0 0 0 25056 15 0 0 20 0 1 0 273678177 246358016 51414 33554432000 4194304 4896791 140734307269984 140734307267560 4224924 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20722/statm: 60146 51414 78 172 0 59972 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 437668

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 20550 and gives
#  childrusage.ru_utime.tv_sec=1541
#  childrusage.ru_utime.tv_usec=164707
#  childrusage.ru_stime.tv_sec=8
#  childrusage.ru_stime.tv_usec=159759
# CPU time returned by wait4() is 1549.32
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.42
CPU time (s): 1800.01
CPU user time (s): 1791.72
CPU system time (s): 8.29
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 569756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1541.16
system time used= 8.15976
maximum resident set size= 305948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 800841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3197144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 314
involuntary context switches= 1742

runsolver used 3.17652 second user time and 9.06462 second system time

The end

Launcher Data 

Begin job on node128 at 2012-05-27 01:12:53
IDJOB=3694902
IDBENCH=2940
IDSOLVER=2273
FILE ID=node128/3694902-1338073973
RUNJOBID= node128-1338053110-18190
PBS_JOBID= 14624418
Free space on /tmp= 71176 MiB

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

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

MD5SUM BENCH= c19ad978a977652a94fc03b8ce63204a
RANDOM SEED=1902798039

node128.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		: 2666.389
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	: 5332.77
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		: 2666.389
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		: 2666.389
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	: 5438.56
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		: 2666.389
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		: 2666.389
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		: 2666.389
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		: 2666.389
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.91
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		: 2666.389
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:       32873852 kB
MemFree:        28006828 kB
Buffers:          337884 kB
Cached:          3587196 kB
SwapCached:            0 kB
Active:          1118064 kB
Inactive:        2932468 kB
Active(anon):     127696 kB
Inactive(anon):        0 kB
Active(file):     990368 kB
Inactive(file):  2932468 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8944 kB
Writeback:             0 kB
AnonPages:        227988 kB
Mapped:            15492 kB
Shmem:               204 kB
Slab:             678132 kB
SReclaimable:     120768 kB
SUnreclaim:       557364 kB
KernelStack:        1504 kB
PageTables:         4496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     250280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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= 70904 MiB
End job on node128 at 2012-05-27 01:42:53