Trace number 3446718

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 NameAnswerCPU timeWall clock time
wbo 1.6OPTIMUM 1099.85 1099.85

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
MD5SUMf8d5ed276152247cc0d8dd0253710bfc
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.034994
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables150
Total number of constraints25
Number of soft constraints21
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)10
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Top cost 877
Min constraint cost 1
Max constraint cost 83
Sum of constraints costs 876
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 16
Number of bits of the biggest sum of numbers5
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 wbo file format. File HOME/instance-3446718-1307904040.wbo.
0.00/0.00	c Instance file HOME/instance-3446718-1307904040.wbo
0.00/0.00	c File size is 2731 bytes.
0.00/0.00	c Highest Coefficient sum: 16
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      150                                                 |
0.00/0.00	c |  Number Clauses:        15                                                  |
0.00/0.00	c |  Number Cardinality:    10                                                  |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |     150       25      300 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       101 |     150       25      300 |     5500      101     37 |  0.004 % |
0.00/0.00	c |       252 |     150       25      300 |     6050      252     37 |  0.004 % |
0.00/0.00	c |       477 |     150       25      300 |     6655      477     45 |  0.004 % |
0.00/0.01	c |       815 |     150       25      300 |     7320      815     46 |  0.004 % |
0.00/0.03	c |      1322 |     150       25      300 |     8052     1322     51 |  0.004 % |
0.00/0.06	c |      2086 |     150       25      300 |     8857     2086     54 |  0.004 % |
0.09/0.15	c |      3227 |     150       25      300 |     9743     3227     56 |  0.004 % |
0.28/0.31	c |      4937 |     150       25      300 |    10717     4937     58 |  0.004 % |
0.59/0.69	c |      7499 |     150       25      300 |    11789     7499     58 |  0.004 % |
1.09/1.13	c |     11347 |     150       25      300 |    12968    11347     59 |  0.004 % |
1.89/1.97	c |     17114 |     150       25      300 |    14265    10590     55 |  0.004 % |
3.49/3.56	c |     25763 |     150       25      300 |    15692    12065     54 |  0.004 % |
5.89/5.93	c |     38737 |     150       25      300 |    17261     9263     50 |  0.004 % |
8.70/8.72	c |     58199 |     150       25      300 |    18987    11370     47 |  0.004 % |
13.89/13.94	c |     87392 |     150       25      300 |    20886    11928     52 |  0.004 % |
22.48/22.52	c |    131181 |     150       25      300 |    22974    13782     50 |  0.004 % |
36.49/36.56	c |    196865 |     150       25      300 |    25272    21843     45 |  0.004 % |
63.39/63.46	c |    295395 |     150       25      300 |    27799    16428     51 |  0.004 % |
99.59/99.62	c |    443184 |     150       25      300 |    30579    17123     54 |  0.004 % |
162.79/162.83	c |    664869 |     150       25      300 |    33637    26436     55 |  0.004 % |
262.09/262.11	c |    997399 |     149       25      300 |    37001    33482     58 |  0.671 % |
409.39/409.42	c ===============================================================================
420.28/420.39	c core #1
420.28/420.39	c 
420.28/420.39	c 
420.28/420.39	c Core size: 24	Core Weight: 1	Total Weight: 1
420.28/420.39	c Current CPU time: 417.674 s
420.28/420.39	c
420.28/420.39	c ============================[ Search Statistics ]==============================
420.28/420.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
420.28/420.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
420.28/420.39	c ===============================================================================
420.28/420.39	c |         0 |     171       46      572 |     5000        0   -nan |  0.000 % |
420.28/420.39	c |       102 |     171       46      572 |     5500      102     33 |  0.003 % |
420.28/420.39	c |       252 |     171       46      572 |     6050      252     35 |  0.003 % |
420.38/420.40	c |       478 |     171       46      572 |     6655      478     42 |  0.003 % |
420.38/420.41	c |       818 |     171       46      572 |     7320      818     50 |  0.003 % |
420.38/420.42	c |      1327 |     171       46      572 |     8052     1327     51 |  0.003 % |
420.38/420.45	c |      2087 |     171       46      572 |     8857     2087     53 |  0.003 % |
420.49/420.51	c |      3229 |     171       46      572 |     9743     3229     53 |  0.003 % |
420.69/420.70	c |      4937 |     171       46      572 |    10717     4937     53 |  0.003 % |
420.88/420.97	c |      7500 |     171       46      572 |    11789     7500     56 |  0.003 % |
421.49/421.54	c |     11347 |     171       46      572 |    12968    11347     55 |  0.003 % |
422.29/422.33	c |     17113 |     171       46      572 |    14265    10590     50 |  0.003 % |
423.98/424.02	c |     25763 |     171       46      572 |    15692    12081     48 |  0.003 % |
427.08/427.12	c |     38738 |     171       46      572 |    17261     9291     47 |  0.003 % |
430.89/430.99	c |     58204 |     171       46      572 |    18987    11420     46 |  0.003 % |
438.08/438.10	c |     87396 |     171       46      572 |    20886    12012     51 |  0.003 % |
449.69/449.77	c |    131186 |     171       46      572 |    22974    13852     56 |  0.003 % |
466.59/466.62	c |    196874 |     171       46      572 |    25272    21871     51 |  0.003 % |
492.48/492.50	c |    295401 |     171       46      572 |    27799    16546     46 |  0.003 % |
530.28/530.35	c |    443190 |     170       46      572 |    30579    14615     48 |  0.588 % |
596.99/597.04	c |    664873 |     170       46      572 |    33637    25677     47 |  0.588 % |
684.29/684.38	c |    997399 |     170       46      572 |    37001    17589     53 |  0.588 % |
823.49/823.59	c |   1496190 |     169       46      572 |    40701    36264     53 |  1.173 % |
1053.99/1054.00	c |   2244373 |     168       46      572 |    44771    30249     50 |  1.761 % |
1082.00/1082.07	c ===============================================================================
1099.79/1099.82	c core #2
1099.79/1099.82	c 
1099.79/1099.82	c 
1099.79/1099.82	c Core size: 23	Core Weight: 1	Total Weight: 2
1099.79/1099.82	c Current CPU time: 1093.69 s
1099.79/1099.82	c
1099.79/1099.82	c ============================[ Search Statistics ]==============================
1099.79/1099.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1099.79/1099.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1099.79/1099.82	c ===============================================================================
1099.79/1099.82	c |         0 |     191       66      827 |     5000        0   -nan |  0.000 % |
1099.79/1099.82	c |       102 |     191       66      827 |     5500      102     36 |  0.003 % |
1099.79/1099.82	c ===============================================================================
1099.79/1099.82	c #cores: 2
1099.79/1099.82	o 2
1099.79/1099.82	s OPTIMUM FOUND
1099.79/1099.82	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150
1099.79/1099.82	c Total CPU time: 1094.89 s

Verifier Data 

OK	2

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-3446718-1307904040/watcher-3446718-1307904040 -o /tmp/evaluation-result-3446718-1307904040/solver-3446718-1307904040 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446718-1307904040.wbo 

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: 0.94 1.43 1.72 2/174 10750
/proc/meminfo: memFree=32425220/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=1972 CPUtime=0 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 306 0 0 0 0 0 0 0 23 0 1 0 902001939 2019328 257 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 493 257 177 372 0 118 0

[startup+0.0662331 s]
/proc/loadavg: 0.94 1.43 1.72 2/174 10750
/proc/meminfo: memFree=32425220/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=2896 CPUtime=0.06 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 534 0 0 0 6 0 0 0 23 0 1 0 902001939 2965504 485 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 724 485 177 372 0 349 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2896

[startup+0.100237 s]
/proc/loadavg: 0.94 1.43 1.72 2/174 10750
/proc/meminfo: memFree=32425220/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=3164 CPUtime=0.09 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 593 0 0 0 9 0 0 0 23 0 1 0 902001939 3239936 544 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 791 544 177 372 0 416 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3164

[startup+0.300202 s]
/proc/loadavg: 0.94 1.43 1.72 2/174 10750
/proc/meminfo: memFree=32425220/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=4360 CPUtime=0.28 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 874 0 0 0 28 0 0 0 25 0 1 0 902001939 4464640 825 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 1090 825 177 372 0 715 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 4360

[startup+0.700132 s]
/proc/loadavg: 0.94 1.43 1.72 2/174 10750
/proc/meminfo: memFree=32425220/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=5744 CPUtime=0.69 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 1225 0 0 0 68 1 0 0 25 0 1 0 902001939 5881856 1176 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 1436 1176 177 372 0 1061 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5744

[startup+1.50098 s]
/proc/loadavg: 0.94 1.43 1.72 3/178 10761
/proc/meminfo: memFree=32398300/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=8808 CPUtime=1.49 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 1977 0 0 0 147 2 0 0 25 0 1 0 902001939 9019392 1928 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 2202 1928 177 372 0 1827 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8808

[startup+3.1007 s]
/proc/loadavg: 0.94 1.43 1.72 3/178 10761
/proc/meminfo: memFree=32387016/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=10852 CPUtime=3.09 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 2484 0 0 0 306 3 0 0 25 0 1 0 902001939 11112448 2435 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 2713 2435 177 372 0 2338 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10852

[startup+6.30014 s]
/proc/loadavg: 1.02 1.44 1.72 3/178 10761
/proc/meminfo: memFree=32360504/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=14524 CPUtime=6.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 3384 0 0 0 624 5 0 0 25 0 1 0 902001939 14872576 3335 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 3631 3335 177 372 0 3256 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14524

[startup+12.701 s]
/proc/loadavg: 1.10 1.45 1.72 3/178 10761
/proc/meminfo: memFree=32346812/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=22832 CPUtime=12.69 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 5393 0 0 0 1259 10 0 0 25 0 1 0 902001939 23379968 5344 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 5708 5344 177 372 0 5333 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22832

[startup+25.5008 s]
/proc/loadavg: 1.30 1.48 1.73 3/178 10762
/proc/meminfo: memFree=32262248/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=34640 CPUtime=25.49 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 8319 0 0 0 2531 18 0 0 25 0 1 0 902001939 35471360 8270 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 8660 8270 177 372 0 8285 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34640

[startup+51.1003 s]
/proc/loadavg: 1.54 1.52 1.73 3/178 10762
/proc/meminfo: memFree=32130272/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=50572 CPUtime=51.09 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 12244 0 0 0 5077 32 0 0 25 0 1 0 902001939 51785728 12195 33554432000 4194304 5714214 140734472455440 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 12643 12195 177 372 0 12268 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 50572

[startup+102.306 s]
/proc/loadavg: 1.80 1.59 1.74 3/178 10764
/proc/meminfo: memFree=32067236/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=83304 CPUtime=102.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 20246 0 0 0 10172 57 0 0 25 0 1 0 902001939 85303296 20197 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319437 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 20826 20197 177 372 0 20451 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 83304

[startup+162.301 s]
/proc/loadavg: 1.92 1.66 1.75 3/178 10765
/proc/meminfo: memFree=32036060/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=114604 CPUtime=162.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 27942 0 0 0 16143 86 0 0 25 0 1 0 902001939 117354496 27893 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 28651 27893 177 372 0 28276 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 114604

[startup+222.3 s]
/proc/loadavg: 2.00 1.74 1.77 3/178 10767
/proc/meminfo: memFree=32006120/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=145056 CPUtime=222.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 35401 0 0 0 22116 113 0 0 25 0 1 0 902001939 148537344 35352 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 36264 35352 177 372 0 35889 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 145056

[startup+282.301 s]
/proc/loadavg: 2.00 1.78 1.78 3/178 10768
/proc/meminfo: memFree=31934888/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=172012 CPUtime=282.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 42182 0 0 0 28089 140 0 0 25 0 1 0 902001939 176140288 42133 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 43003 42133 177 372 0 42628 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 172012

[startup+342.301 s]
/proc/loadavg: 2.00 1.82 1.79 3/178 10770
/proc/meminfo: memFree=31906312/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=201108 CPUtime=342.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 49353 0 0 0 34063 166 0 0 25 0 1 0 902001939 205934592 49304 33554432000 4194304 5714214 140734472455440 18446744073709551615 4299768 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 50277 49304 177 372 0 49902 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 201108

[startup+402.301 s]
/proc/loadavg: 2.00 1.85 1.81 3/178 10772
/proc/meminfo: memFree=31878744/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=228828 CPUtime=402.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 56196 0 0 0 40039 190 0 0 25 0 1 0 902001939 234319872 56147 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0
/proc/10750/statm: 57207 56147 177 372 0 56832 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 228828

[startup+462.301 s]
/proc/loadavg: 2.00 1.87 1.82 3/178 10773
/proc/meminfo: memFree=31819416/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=284364 CPUtime=462.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 73969 0 0 0 46015 214 0 0 25 0 1 0 902001939 291188736 70768 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 71091 70768 178 372 0 70716 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 284364

[startup+522.3 s]
/proc/loadavg: 2.00 1.89 1.82 3/178 10775
/proc/meminfo: memFree=31819360/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=284364 CPUtime=522.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 73969 0 0 0 51984 245 0 0 25 0 1 0 902001939 291188736 70768 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 71091 70768 178 372 0 70716 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 284364

[startup+582.301 s]
/proc/loadavg: 2.00 1.91 1.83 3/178 10776
/proc/meminfo: memFree=31819308/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=284364 CPUtime=582.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 73969 0 0 0 57959 270 0 0 25 0 1 0 902001939 291188736 70768 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 71091 70768 178 372 0 70716 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 284364

[startup+642.3 s]
/proc/loadavg: 2.00 1.92 1.84 3/178 10778
/proc/meminfo: memFree=31819244/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=284364 CPUtime=642.3 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 73994 0 0 0 63936 294 0 0 25 0 1 0 902001939 291188736 70793 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 71091 70793 178 372 0 70716 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 284364

[startup+702.301 s]
/proc/loadavg: 2.00 1.93 1.84 3/178 10780
/proc/meminfo: memFree=31818956/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=284364 CPUtime=702.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 74015 0 0 0 69911 318 0 0 25 0 1 0 902001939 291188736 70814 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 71091 70814 178 372 0 70716 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 284364

[startup+762.306 s]
/proc/loadavg: 2.00 1.94 1.85 3/178 10781
/proc/meminfo: memFree=31818784/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=284364 CPUtime=762.3 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 74023 0 0 0 75884 346 0 0 25 0 1 0 902001939 291188736 70822 33554432000 4194304 5714214 140734472455440 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 71091 70822 178 372 0 70716 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 284364

[startup+822.301 s]
/proc/loadavg: 2.00 1.95 1.85 3/178 10783
/proc/meminfo: memFree=31811412/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=284364 CPUtime=822.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 74032 0 0 0 81854 375 0 0 25 0 1 0 902001939 291188736 70831 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 71091 70831 178 372 0 70716 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 284364

[startup+882.301 s]
/proc/loadavg: 2.00 1.96 1.86 3/178 10784
/proc/meminfo: memFree=31741428/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=284364 CPUtime=882.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 74035 0 0 0 87827 402 0 0 25 0 1 0 902001939 291188736 70834 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 71091 70834 178 372 0 70716 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 284364

[startup+942.301 s]
/proc/loadavg: 2.00 1.96 1.86 3/178 10786
/proc/meminfo: memFree=31613420/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=307168 CPUtime=942.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 79664 0 0 0 93802 427 0 0 25 0 1 0 902001939 314540032 76463 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 76792 76463 178 372 0 76417 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 307168

[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/178 10788
/proc/meminfo: memFree=31518380/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=334604 CPUtime=1002.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 86450 0 0 0 99775 454 0 0 25 0 1 0 902001939 342634496 83249 33554432000 4194304 5714214 140734472455440 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 83651 83249 178 372 0 83276 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 334604

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 10789
/proc/meminfo: memFree=31492180/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=361108 CPUtime=1062.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 92936 0 0 0 105750 479 0 0 25 0 1 0 902001939 369774592 89735 33554432000 4194304 5714214 140734472455440 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 90277 89735 178 372 0 89902 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 361108

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

[startup+1075.1 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 10789
/proc/meminfo: memFree=31488436/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=365232 CPUtime=1075.1 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 93922 0 0 0 107025 485 0 0 25 0 1 0 902001939 373997568 90721 33554432000 4194304 5714214 140734472455440 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 91308 90721 178 372 0 90933 0
Current children cumulated CPU time (s) 1075.1
Current children cumulated vsize (KiB) 365232

[startup+1087.91 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 10790
/proc/meminfo: memFree=31410316/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=443772 CPUtime=1087.9 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 113574 0 0 0 108298 492 0 0 25 0 1 0 902001939 454422528 110373 33554432000 4194304 5714214 140734472455440 18446744073709551615 4198396 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 110943 110373 178 372 0 110568 0
Current children cumulated CPU time (s) 1087.9
Current children cumulated vsize (KiB) 443772

[startup+1094.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 10790
/proc/meminfo: memFree=31380300/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=473076 CPUtime=1094.29 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 120890 0 0 0 108936 493 0 0 25 0 1 0 902001939 484429824 117689 33554432000 4194304 5714214 140734472455440 18446744073709551615 4324692 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 118269 117689 178 372 0 117894 0
Current children cumulated CPU time (s) 1094.29
Current children cumulated vsize (KiB) 473076

[startup+1097.5 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 10790
/proc/meminfo: memFree=31380296/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=473076 CPUtime=1097.49 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 120890 0 0 0 109256 493 0 0 25 0 1 0 902001939 484429824 117689 33554432000 4194304 5714214 140734472455440 18446744073709551615 4324948 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 118269 117689 178 372 0 117894 0
Current children cumulated CPU time (s) 1097.49
Current children cumulated vsize (KiB) 473076

[startup+1099.1 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 10790
/proc/meminfo: memFree=31380292/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=473076 CPUtime=1099.09 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 120893 0 0 0 109416 493 0 0 25 0 1 0 902001939 484429824 117692 33554432000 4194304 5714214 140734472455440 18446744073709551615 4203583 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 118269 117692 178 372 0 117894 0
Current children cumulated CPU time (s) 1099.09
Current children cumulated vsize (KiB) 473076

[startup+1099.5 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 10790
/proc/meminfo: memFree=31380292/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=473076 CPUtime=1099.49 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 120893 0 0 0 109456 493 0 0 25 0 1 0 902001939 484429824 117692 33554432000 4194304 5714214 140734472455440 18446744073709551615 4956175 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 118269 117692 178 372 0 117894 0
Current children cumulated CPU time (s) 1099.49
Current children cumulated vsize (KiB) 473076

[startup+1099.7 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 10790
/proc/meminfo: memFree=31380292/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=473076 CPUtime=1099.69 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 120893 0 0 0 109476 493 0 0 25 0 1 0 902001939 484429824 117692 33554432000 4194304 5714214 140734472455440 18446744073709551615 4956350 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 118269 117692 178 372 0 117894 0
Current children cumulated CPU time (s) 1099.69
Current children cumulated vsize (KiB) 473076

[startup+1099.8 s]
/proc/loadavg: 2.00 1.97 1.88 3/178 10790
/proc/meminfo: memFree=31380292/32951124 swapFree=67056676/67111528
[pid=10750] ppid=10748 vsize=473076 CPUtime=1099.79 cores=1,3,5,7
/proc/10750/stat : 10750 (wbo1.6) R 10748 10750 9967 0 -1 4202496 120893 0 0 0 109486 493 0 0 25 0 1 0 902001939 484429824 117692 33554432000 4194304 5714214 140734472455440 18446744073709551615 4956350 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/10750/statm: 118269 117692 178 372 0 117894 0
Current children cumulated CPU time (s) 1099.79
Current children cumulated vsize (KiB) 473076

Child status: 0
Real time (s): 1099.85
CPU time (s): 1099.85
CPU user time (s): 1094.89
CPU system time (s): 4.95325
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 473076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1094.89
system time used= 4.95325
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120896
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= 5
involuntary context switches= 1553

runsolver used 1.52777 second user time and 3.52546 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-12 20:40:40
IDJOB=3446718
IDBENCH=78712
IDSOLVER=1943
FILE ID=node136/3446718-1307904040
RUNJOBID= node136-1307904040-10733
PBS_JOBID= 13559606
Free space on /tmp= 74060 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-15-10--soft-33-100-0.wbo
COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3446718-1307904040/watcher-3446718-1307904040 -o /tmp/evaluation-result-3446718-1307904040/solver-3446718-1307904040 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446718-1307904040.wbo

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

MD5SUM BENCH= f8d5ed276152247cc0d8dd0253710bfc
RANDOM SEED=1257905660

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32426564 kB
Buffers:        118472 kB
Cached:         200528 kB
SwapCached:       8452 kB
Active:         232908 kB
Inactive:       104344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32426564 kB
SwapTotal:    67111528 kB
SwapFree:     67056676 kB
Dirty:            4304 kB
Writeback:           0 kB
AnonPages:       15568 kB
Mapped:          12840 kB
Slab:           122532 kB
PageTables:       4828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190032 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= 74052 MiB
End job on node136 at 2011-06-12 20:59:00