Trace number 3460868

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
wbo 1.6? (TO) 1800.1 1800.13

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
bounded_golomb_rulers/normalized-bogr_12.opb
MD5SUMd262db503fd284bdfe2b43790fda8490
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark93
Best CPU time to get the best result obtained on this benchmark1800.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 91
Optimality of the best value was proved NO
Number of variables1807
Total number of constraints3444
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 constraints3443
Minimum length of a constraint1
Maximum length of a constraint33
Number of terms in the objective function 8
Biggest coefficient in the objective function 66
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 193
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 1320
Number of bits of the biggest sum of numbers11
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3460868-1307107430.opb.
0.00/0.00	c Instance file HOME/instance-3460868-1307107430.opb
0.00/0.00	c File size is 746274 bytes.
0.03/0.05	c Highest Coefficient sum: 1320
0.03/0.05	c ============================[ Problem Statistics ]=============================
0.03/0.05	c |                                                                             |
0.03/0.05	c |  Parsing time:          0.05         s                                      |
0.03/0.05	c |  Number Variables:      1807                                                |
0.03/0.05	c |  Number Clauses:        1                                                   |
0.03/0.05	c |  Number Cardinality:    0                                                   |
0.03/0.05	c |  Number PB Constraints: 3443                                                |
0.03/0.05	c ============================[ Search Statistics ]==============================
0.03/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.03/0.05	c ===============================================================================
0.03/0.05	c |         0 |    1806     3444    94677 |     5000        0   -nan |  0.000 % |
0.03/0.07	c ============================[ Search Statistics ]==============================
0.03/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.03/0.07	c ===============================================================================
0.03/0.07	c |         0 |    1762     3451    94322 |     5000        0   -nan |  0.000 % |
0.09/0.19	c |       103 |    1762     3451    94322 |     5500      103     42 |  2.490 % |
0.29/0.33	c |       253 |    1762     3451    94322 |     6050      253     40 |  2.490 % |
0.39/0.43	c |       478 |    1762     3451    94322 |     6655      478     37 |  2.490 % |
0.49/0.58	c |       815 |    1762     3451    94322 |     7320      815     34 |  2.490 % |
0.79/0.82	c |      1323 |    1762     3451    94322 |     8052     1323     32 |  2.490 % |
1.11/1.18	c |      2084 |    1762     3451    94322 |     8857     2084     32 |  2.490 % |
1.69/1.77	c |      3223 |    1762     3451    94322 |     9743     3223     32 |  2.490 % |
2.59/2.61	c |      4932 |    1762     3451    94322 |    10717     4932     32 |  2.490 % |
3.79/3.87	c |      7494 |    1762     3451    94322 |    11789     7494     31 |  2.490 % |
5.89/5.92	c |     11338 |    1762     3451    94322 |    12968    11338     32 |  2.490 % |
8.89/8.96	c |     17106 |    1762     3451    94322 |    14265    10570     32 |  2.490 % |
13.39/13.46	c |     25757 |    1762     3451    94322 |    15692    11597     32 |  2.490 % |
21.09/21.12	c |     38731 |    1762     3451    94322 |    17261     8560     33 |  2.490 % |
30.81/30.82	c |     58193 |    1760     3451    94322 |    18987    10439     32 |  2.601 % |
47.42/47.56	c |     87385 |    1758     3451    94322 |    20886    10242     33 |  2.712 % |
71.02/71.11	c |    131175 |    1758     3451    94322 |    22974    12013     32 |  2.712 % |
108.93/109.02	c |    196862 |    1758     3451    94322 |    25272    19040     33 |  2.712 % |
168.43/168.51	c |    295389 |    1758     3451    94322 |    27799    22183     33 |  2.712 % |
254.23/254.40	c |    443179 |    1757     3451    94322 |    30579    26290     32 |  2.767 % |
378.03/378.11	c |    664862 |    1757     3451    94322 |    33637    22753     32 |  2.767 % |
565.24/565.33	c |    997388 |    1757     3451    94322 |    37001    16173     32 |  2.767 % |
847.84/847.98	c |   1496178 |    1757     3451    94322 |    40701    24746     34 |  2.767 % |
1296.05/1296.13	c |   2244361 |    1752     3451    94322 |    44771    12838     33 |  3.044 % |
1453.96/1454.07	c ===============================================================================
1454.95/1455.06	c core #1
1454.95/1455.06	c 
1454.95/1455.06	c 
1454.95/1455.06	c Core size: 26	Core Weight: 1	Total Weight: 67
1454.95/1455.06	c Current CPU time: 1449.31 s
1454.95/1455.06	c
1454.95/1455.06	c ============================[ Search Statistics ]==============================
1454.95/1455.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1454.95/1455.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1454.95/1455.06	c ===============================================================================
1454.95/1455.06	c |         0 |    1772     3458    94331 |     5000        0   -nan |  0.000 % |
1455.05/1455.17	c |       100 |    1772     3458    94331 |     5500      100     29 |  2.315 % |
1455.16/1455.29	c |       251 |    1772     3458    94331 |     6050      251     29 |  2.315 % |
1455.35/1455.41	c |       476 |    1772     3458    94331 |     6655      476     31 |  2.315 % |
1455.45/1455.57	c |       813 |    1772     3458    94331 |     7320      813     33 |  2.315 % |
1455.75/1455.85	c |      1320 |    1772     3458    94331 |     8052     1320     34 |  2.315 % |
1456.15/1456.24	c |      2079 |    1772     3458    94331 |     8857     2079     33 |  2.315 % |
1456.76/1456.85	c |      3220 |    1772     3458    94331 |     9743     3220     32 |  2.315 % |
1457.95/1458.02	c |      4928 |    1769     3458    94331 |    10717     4928     33 |  2.481 % |
1459.56/1459.64	c |      7490 |    1769     3458    94331 |    11789     7490     33 |  2.481 % |
1461.56/1461.62	c |     11334 |    1769     3458    94331 |    12968    11334     33 |  2.481 % |
1464.85/1464.96	c |     17101 |    1769     3458    94331 |    14265    10424     32 |  2.481 % |
1469.85/1469.98	c |     25751 |    1769     3458    94331 |    15692    11809     30 |  2.481 % |
1477.85/1477.96	c |     38726 |    1769     3458    94331 |    17261     8630     34 |  2.481 % |
1488.17/1488.27	c |     58188 |    1769     3458    94331 |    18987    10674     32 |  2.481 % |
1504.86/1504.91	c |     87380 |    1769     3458    94331 |    20886    10481     32 |  2.481 % |
1529.96/1530.04	c |    131170 |    1769     3458    94331 |    22974    11745     30 |  2.481 % |
1567.47/1567.56	c |    196854 |    1769     3458    94331 |    25272    18786     30 |  2.481 % |
1624.57/1624.68	c |    295383 |    1769     3458    94331 |    27799    19910     32 |  2.481 % |
1714.77/1714.91	c |    443172 |    1769     3458    94331 |    30579    24191     31 |  2.481 % |

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-3460868-1307107430/watcher-3460868-1307107430 -o /tmp/evaluation-result-3460868-1307107430/solver-3460868-1307107430 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460868-1307107430.opb 

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.84 1.99 1.99 1/486 11754
/proc/meminfo: memFree=21522844/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=3236 CPUtime=0 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 1 0 554934234 3313664 365 33554432000 4194304 5714214 140737290007312 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 809 367 183 372 0 251 0

[startup+0.0349131 s]
/proc/loadavg: 1.84 1.99 1.99 1/486 11754
/proc/meminfo: memFree=21522844/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=6060 CPUtime=0.03 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 1224 0 0 0 3 0 0 0 25 0 1 0 554934234 6205440 1177 33554432000 4194304 5714214 140737290007312 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 1515 1178 277 372 0 957 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6060

[startup+0.100904 s]
/proc/loadavg: 1.84 1.99 1.99 1/486 11754
/proc/meminfo: memFree=21522844/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=13228 CPUtime=0.09 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 3279 0 0 0 9 0 0 0 25 0 1 0 554934234 13545472 3049 33554432000 4194304 5714214 140737290007312 18446744073709551615 4322737 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 3307 3049 179 372 0 2932 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13228

[startup+0.300867 s]
/proc/loadavg: 1.84 1.99 1.99 1/486 11754
/proc/meminfo: memFree=21522844/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=13228 CPUtime=0.29 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 3280 0 0 0 29 0 0 0 25 0 1 0 554934234 13545472 3050 33554432000 4194304 5714214 140737290007312 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 3307 3050 180 372 0 2932 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13228

[startup+0.700793 s]
/proc/loadavg: 1.84 1.99 1.99 1/486 11754
/proc/meminfo: memFree=21522844/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=13228 CPUtime=0.69 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 3280 0 0 0 69 0 0 0 25 0 1 0 554934234 13545472 3050 33554432000 4194304 5714214 140737290007312 18446744073709551615 4200637 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 3307 3050 180 372 0 2932 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13228

[startup+1.50066 s]
/proc/loadavg: 1.84 1.99 1.99 3/489 11782
/proc/meminfo: memFree=21498548/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=13228 CPUtime=1.49 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 3280 0 0 0 149 0 0 0 25 0 1 0 554934234 13545472 3050 33554432000 4194304 5714214 140737290007312 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 3307 3050 180 372 0 2932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13228

[startup+3.10037 s]
/proc/loadavg: 1.84 1.99 1.99 3/489 11782
/proc/meminfo: memFree=21401580/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=13228 CPUtime=3.09 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 3281 0 0 0 308 1 0 0 25 0 1 0 554934234 13545472 3051 33554432000 4194304 5714214 140737290007312 18446744073709551615 4323016 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 3307 3051 180 372 0 2932 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13228

[startup+6.30081 s]
/proc/loadavg: 1.85 1.99 1.99 3/489 11782
/proc/meminfo: memFree=21400652/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=13228 CPUtime=6.29 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 3286 0 0 0 627 2 0 0 25 0 1 0 554934234 13545472 3056 33554432000 4194304 5714214 140737290007312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 3307 3056 180 372 0 2932 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13228

[startup+12.7007 s]
/proc/loadavg: 1.86 1.99 1.99 3/489 11783
/proc/meminfo: memFree=21399452/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=14152 CPUtime=12.69 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 3504 0 0 0 1265 4 0 0 25 0 1 0 554934234 14491648 3274 33554432000 4194304 5714214 140737290007312 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 3538 3274 180 372 0 3163 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14152

[startup+25.5004 s]
/proc/loadavg: 2.04 2.02 2.00 3/489 11783
/proc/meminfo: memFree=21395940/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=17248 CPUtime=25.49 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 4267 0 0 0 2541 8 0 0 25 0 1 0 554934234 17661952 4037 33554432000 4194304 5714214 140737290007312 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/11754/statm: 4312 4037 180 372 0 3937 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17248

[startup+51.1009 s]
/proc/loadavg: 2.03 2.02 2.00 3/489 11784
/proc/meminfo: memFree=21390892/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=22468 CPUtime=51.03 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 5549 0 0 0 5087 16 0 0 25 0 1 0 554934234 23007232 5319 33554432000 4194304 5714214 140737290007312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 5617 5319 180 372 0 5242 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 22468

[startup+102.318 s]
/proc/loadavg: 2.06 2.03 2.00 3/489 11785
/proc/meminfo: memFree=21379576/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=32588 CPUtime=102.24 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 8076 0 0 0 10191 33 0 0 25 0 1 0 554934234 33370112 7846 33554432000 4194304 5714214 140737290007312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 8147 7846 180 372 0 7772 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 32588

[startup+162.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/489 11787
/proc/meminfo: memFree=21366904/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=44160 CPUtime=162.23 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 10938 0 0 0 16170 53 0 0 25 0 1 0 554934234 45219840 10708 33554432000 4194304 5714214 140737290007312 18446744073709551615 4323050 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 11040 10708 180 372 0 10665 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 44160

[startup+222.301 s]
/proc/loadavg: 2.06 2.04 2.00 3/489 11788
/proc/meminfo: memFree=21358028/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=54232 CPUtime=222.22 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 13432 0 0 0 22149 73 0 0 25 0 1 0 554934234 55533568 13202 33554432000 4194304 5714214 140737290007312 18446744073709551615 4323061 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 13558 13202 180 372 0 13183 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 54232

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/489 11790
/proc/meminfo: memFree=21348196/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=65548 CPUtime=282.23 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 16236 0 0 0 28127 96 0 0 25 0 1 0 554934234 67121152 16006 33554432000 4194304 5714214 140737290007312 18446744073709551615 4305219 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 16387 16006 180 372 0 16012 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 65548

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11791
/proc/meminfo: memFree=21336720/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=76984 CPUtime=342.23 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 19105 0 0 0 34107 116 0 0 25 0 1 0 554934234 78831616 18875 33554432000 4194304 5714214 140737290007312 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 19246 18875 180 372 0 18871 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 76984

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11793
/proc/meminfo: memFree=21325628/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=88060 CPUtime=402.23 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 21878 0 0 0 40089 134 0 0 25 0 1 0 554934234 90173440 21648 33554432000 4194304 5714214 140737290007312 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 22015 21648 180 372 0 21640 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 88060

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11795
/proc/meminfo: memFree=21315540/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=98380 CPUtime=462.23 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 24433 0 0 0 46070 153 0 0 25 0 1 0 554934234 100741120 24203 33554432000 4194304 5714214 140737290007312 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 24595 24203 180 372 0 24220 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 98380

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 4/489 11796
/proc/meminfo: memFree=21304480/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=109700 CPUtime=522.24 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 27265 0 0 0 52048 176 0 0 25 0 1 0 554934234 112332800 27035 33554432000 4194304 5714214 140737290007312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 27425 27035 180 372 0 27050 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 109700

[startup+582.3 s]
/proc/loadavg: 2.16 2.03 2.01 3/489 11798
/proc/meminfo: memFree=21292924/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=121036 CPUtime=582.24 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 30068 0 0 0 58029 195 0 0 25 0 1 0 554934234 123940864 29838 33554432000 4194304 5714214 140737290007312 18446744073709551615 4323074 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 30259 29838 180 372 0 29884 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 121036

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/489 11806
/proc/meminfo: memFree=21238768/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=174744 CPUtime=882.24 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 43410 0 0 0 87933 291 0 0 25 0 1 0 554934234 178937856 43180 33554432000 4194304 5714214 140737290007312 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 43686 43180 180 372 0 43311 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 174744

[startup+942.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 11807
/proc/meminfo: memFree=21229800/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=184684 CPUtime=942.24 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 45848 0 0 0 93916 308 0 0 25 0 1 0 554934234 189116416 45618 33554432000 4194304 5714214 140737290007312 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 46171 45618 180 372 0 45796 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 184684

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11809
/proc/meminfo: memFree=21219116/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=194972 CPUtime=1002.25 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 48416 0 0 0 99896 329 0 0 25 0 1 0 554934234 199651328 48186 33554432000 4194304 5714214 140737290007312 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 48743 48186 180 372 0 48368 0
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (KiB) 194972

[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11811
/proc/meminfo: memFree=21210780/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=204476 CPUtime=1062.25 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 50812 0 0 0 105877 348 0 0 25 0 1 0 554934234 209383424 50582 33554432000 4194304 5714214 140737290007312 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 51119 50582 180 372 0 50744 0
Current children cumulated CPU time (s) 1062.25
Current children cumulated vsize (KiB) 204476

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11812
/proc/meminfo: memFree=21200196/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=214800 CPUtime=1122.25 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 53387 0 0 0 111858 367 0 0 25 0 1 0 554934234 219955200 53157 33554432000 4194304 5714214 140737290007312 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 53700 53157 180 372 0 53325 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 214800

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11814
/proc/meminfo: memFree=21187636/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=225452 CPUtime=1182.25 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 56055 0 0 0 117841 384 0 0 25 0 1 0 554934234 230862848 55825 33554432000 4194304 5714214 140737290007312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 56363 55825 180 372 0 55988 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 225452

[startup+1242.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/489 11815
/proc/meminfo: memFree=21176820/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=235028 CPUtime=1242.25 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 58418 0 0 0 123823 402 0 0 25 0 1 0 554934234 240668672 58188 33554432000 4194304 5714214 140737290007312 18446744073709551615 4200544 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 58757 58188 180 372 0 58382 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 235028

[startup+1302.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/489 11817
/proc/meminfo: memFree=21164252/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=244940 CPUtime=1302.26 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 60879 0 0 0 129805 421 0 0 25 0 1 0 554934234 250818560 60649 33554432000 4194304 5714214 140737290007312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 61235 60649 180 372 0 60860 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 244940

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/489 11819
/proc/meminfo: memFree=21156156/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=255512 CPUtime=1362.25 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 63517 0 0 0 135785 440 0 0 25 0 1 0 554934234 261644288 63287 33554432000 4194304 5714214 140737290007312 18446744073709551615 4200612 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 63878 63287 180 372 0 63503 0
Current children cumulated CPU time (s) 1362.25
Current children cumulated vsize (KiB) 255512

[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/489 11820
/proc/meminfo: memFree=21140360/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=267052 CPUtime=1422.27 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 66396 0 0 0 141766 461 0 0 25 0 1 0 554934234 273461248 66166 33554432000 4194304 5714214 140737290007312 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 66763 66166 180 372 0 66388 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 267052

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/489 11822
/proc/meminfo: memFree=21132604/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=271608 CPUtime=1482.25 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 68556 0 0 0 147744 481 0 0 25 0 1 0 554934234 278126592 67577 33554432000 4194304 5714214 140737290007312 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 67902 67577 180 372 0 67527 0
Current children cumulated CPU time (s) 1482.25
Current children cumulated vsize (KiB) 271608

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11823
/proc/meminfo: memFree=21133048/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=271608 CPUtime=1542.26 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 68557 0 0 0 153726 500 0 0 25 0 1 0 554934234 278126592 67578 33554432000 4194304 5714214 140737290007312 18446744073709551615 4323082 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 67902 67578 180 372 0 67527 0
Current children cumulated CPU time (s) 1542.26
Current children cumulated vsize (KiB) 271608

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11825
/proc/meminfo: memFree=21129900/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=271608 CPUtime=1602.26 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 68557 0 0 0 159707 519 0 0 25 0 1 0 554934234 278126592 67578 33554432000 4194304 5714214 140737290007312 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 67902 67578 180 372 0 67527 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 271608

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11827
/proc/meminfo: memFree=21129948/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=271608 CPUtime=1662.26 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 68572 0 0 0 165689 537 0 0 25 0 1 0 554934234 278126592 67593 33554432000 4194304 5714214 140737290007312 18446744073709551615 4322994 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 67902 67593 180 372 0 67527 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 271608

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 11828
/proc/meminfo: memFree=21126292/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=271608 CPUtime=1722.26 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 68573 0 0 0 171672 554 0 0 25 0 1 0 554934234 278126592 67594 33554432000 4194304 5714214 140737290007312 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 67902 67594 180 372 0 67527 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 271608

[startup+1782.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/489 11830
/proc/meminfo: memFree=21123400/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=271608 CPUtime=1782.26 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 68584 0 0 0 177656 570 0 0 25 0 1 0 554934234 278126592 67605 33554432000 4194304 5714214 140737290007312 18446744073709551615 4319912 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 67902 67605 180 372 0 67527 0
Current children cumulated CPU time (s) 1782.26
Current children cumulated vsize (KiB) 271608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.07 2.03 2.01 3/489 11830
/proc/meminfo: memFree=21124128/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=271608 CPUtime=1800.07 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 68584 0 0 0 179432 575 0 0 25 0 1 0 554934234 278126592 67605 33554432000 4194304 5714214 140737290007312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 67902 67605 180 372 0 67527 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 271608

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

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

[startup+1800.1 s]
/proc/loadavg: 2.07 2.03 2.01 3/489 11830
/proc/meminfo: memFree=21124128/32951124 swapFree=46575304/67111528
[pid=11754] ppid=11752 vsize=271608 CPUtime=1800.07 cores=1,3,5,7
/proc/11754/stat : 11754 (wbo1.6) R 11752 11754 5006 0 -1 4202496 68584 0 0 0 179432 575 0 0 25 0 1 0 554934234 278126592 67605 33554432000 4194304 5714214 140737290007312 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/11754/statm: 67902 67605 180 372 0 67527 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 271608

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.13
CPU time (s): 1800.1
CPU user time (s): 1794.34
CPU system time (s): 5.76812
CPU usage (%): 99.9985
Max. virtual memory (cumulated for all children) (KiB): 275620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.34
system time used= 5.76812
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68584
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= 9
involuntary context switches= 1878

runsolver used 7.96879 second user time and 19.944 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-03 15:23:50
IDJOB=3460868
IDBENCH=2946
IDSOLVER=1953
FILE ID=node107/3460868-1307107430
RUNJOBID= node107-1307093011-10828
PBS_JOBID= 13497967
Free space on /tmp= 73860 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_12.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460868-1307107430/watcher-3460868-1307107430 -o /tmp/evaluation-result-3460868-1307107430/solver-3460868-1307107430 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460868-1307107430.opb

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

MD5SUM BENCH= d262db503fd284bdfe2b43790fda8490
RANDOM SEED=322932649

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21523124 kB
Buffers:        310824 kB
Cached:        2060996 kB
SwapCached:      22548 kB
Active:        9128664 kB
Inactive:      1949876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21523124 kB
SwapTotal:    67111528 kB
SwapFree:     46575304 kB
Dirty:            5064 kB
Writeback:           0 kB
AnonPages:     8701940 kB
Mapped:          32664 kB
Slab:           185744 kB
PageTables:      94944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 145112892 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= 73848 MiB
End job on node107 at 2011-06-03 15:53:52