Trace number 3461516

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) 1801.47 1801.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_14.r.opb
MD5SUMf1b978cb920387bc2a07b8b1a528a68d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark2.5976
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables297
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint14
Number of terms in the objective function 297
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 297
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 297
Number of bits of the biggest sum of numbers9
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-3461516-1307102614.opb.
0.00/0.00	c Instance file HOME/instance-3461516-1307102614.opb
0.00/0.00	c File size is 12077 bytes.
0.00/0.00	c Highest Coefficient sum: 15
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:      297                                                 |
0.00/0.00	c |  Number Clauses:        100                                                 |
0.00/0.00	c |  Number Cardinality:    0                                                   |
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 |     297      100     1176 |     5000        0   -nan |  0.000 % |
0.00/0.00	c core #1
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 14	Core Weight: 1	Total Weight: 1
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #2
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 15	Core Weight: 1	Total Weight: 2
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #3
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 15	Core Weight: 1	Total Weight: 3
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #4
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 15	Core Weight: 1	Total Weight: 4
0.00/0.00	c Current CPU time: 0.001999 s
0.00/0.00	c
0.00/0.00	c core #5
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 11	Core Weight: 1	Total Weight: 5
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c core #6
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 13	Core Weight: 1	Total Weight: 6
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c core #7
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 11	Core Weight: 1	Total Weight: 7
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c core #8
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 26	Core Weight: 1	Total Weight: 8
0.00/0.00	c Current CPU time: 0.002999 s
0.00/0.00	c
0.00/0.00	c core #9
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 24	Core Weight: 1	Total Weight: 9
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
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 |     255      406     1562 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ===============================================================================
0.00/0.00	c core #10
0.00/0.00	c 
0.00/0.00	c 
0.00/0.00	c Core size: 106	Core Weight: 1	Total Weight: 10
0.00/0.00	c Current CPU time: 0.003999 s
0.00/0.00	c
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 |     427      407     1832 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       101 |     427      407     1832 |     5500      101     72 | 18.822 % |
0.00/0.01	c |       261 |     427      407     1832 |     6050      261     57 | 18.822 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #11
0.00/0.01	c 
0.00/0.01	c 
0.00/0.01	c Core size: 269	Core Weight: 1	Total Weight: 11
0.00/0.01	c Current CPU time: 0.016997 s
0.00/0.01	c
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     758      408     2420 |     5000        0   -nan |  0.000 % |
0.00/0.02	c |       101 |     758      408     2420 |     5500      101     90 |  3.193 % |
0.00/0.02	c |       251 |     758      408     2420 |     6050      251     92 |  3.193 % |
0.00/0.04	c |       478 |     758      408     2420 |     6655      478     98 |  3.193 % |
0.00/0.06	c |       818 |     758      408     2420 |     7320      818     98 |  3.193 % |
0.09/0.10	c |      1325 |     758      408     2420 |     8052     1325     94 |  3.193 % |
0.09/0.16	c |      2085 |     758      408     2420 |     8857     2085     94 |  3.193 % |
0.19/0.27	c |      3225 |     758      408     2420 |     9743     3225     90 |  3.193 % |
0.39/0.46	c |      4933 |     758      408     2420 |    10717     4933     81 |  3.193 % |
0.69/0.72	c |      7495 |     758      408     2420 |    11789     7495     78 |  3.193 % |
1.19/1.22	c |     11341 |     758      408     2420 |    12968    11341     81 |  3.193 % |
1.82/1.99	c |     17107 |     758      408     2420 |    14265    10531     85 |  3.193 % |
2.21/2.33	c ===============================================================================
2.21/2.41	c core #12
2.21/2.41	c 
2.21/2.41	c 
2.21/2.41	c Core size: 281	Core Weight: 1	Total Weight: 12
2.21/2.41	c Current CPU time: 2.38464 s
2.21/2.41	c
2.21/2.41	c ============================[ Search Statistics ]==============================
2.21/2.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.21/2.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.21/2.41	c ===============================================================================
2.21/2.41	c |         0 |    1050      409     2988 |     5000        0   -nan |  0.000 % |
2.21/2.42	c |       103 |    1050      409     2988 |     5500      103    212 |  0.850 % |
2.21/2.42	c |       254 |    1050      409     2988 |     6050      254    148 |  0.850 % |
2.21/2.43	c |       479 |    1050      409     2988 |     6655      479    121 |  0.850 % |
2.21/2.45	c |       817 |    1050      409     2988 |     7320      817     99 |  0.850 % |
2.21/2.49	c |      1323 |    1050      409     2988 |     8052     1323    107 |  0.850 % |
2.21/2.53	c |      2083 |    1050      409     2988 |     8857     2083     99 |  0.850 % |
2.21/2.63	c |      3223 |    1050      409     2988 |     9743     3223     98 |  0.850 % |
2.21/2.76	c |      4932 |    1050      409     2988 |    10717     4932     94 |  0.850 % |
2.21/2.96	c |      7494 |    1050      409     2988 |    11789     7494     88 |  0.850 % |
3.29/3.36	c |     11339 |    1050      409     2988 |    12968    11339     88 |  0.850 % |
4.21/4.25	c |     17108 |    1050      409     2988 |    14265    10517    111 |  0.850 % |
5.59/5.64	c |     25762 |    1050      409     2988 |    15692    11960    102 |  0.850 % |
7.69/7.73	c |     38738 |    1050      409     2988 |    17261     9051    120 |  0.850 % |
10.49/10.50	c |     58199 |    1050      409     2988 |    18987    11170    124 |  0.850 % |
15.58/15.60	c |     87393 |    1050      409     2988 |    20886    11349    151 |  0.850 % |
23.91/23.93	c |    131182 |    1050      409     2988 |    22974    12757    144 |  0.850 % |
37.49/37.52	c |    196871 |    1050      409     2988 |    25272    19988    179 |  0.850 % |
61.41/61.49	c |    295397 |    1050      409     2988 |    27799    12993    185 |  0.850 % |
98.09/98.19	c |    443187 |    1050      409     2988 |    30579    26973    173 |  0.850 % |
164.58/164.61	c |    664871 |    1050      409     2988 |    33637    17360    162 |  0.850 % |
260.69/260.75	c |    997399 |    1050      409     2988 |    37001    18033    219 |  0.850 % |
341.69/341.75	c ===============================================================================
351.81/351.82	c core #13
351.81/351.82	c 
351.81/351.82	c 
351.81/351.82	c Core size: 299	Core Weight: 1	Total Weight: 13
351.81/351.82	c Current CPU time: 349.611 s
351.81/351.82	c
351.81/351.82	c ============================[ Search Statistics ]==============================
351.81/351.82	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
351.81/351.82	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
351.81/351.82	c ===============================================================================
351.81/351.82	c |         0 |    1353      410     3586 |     5000        0   -nan |  0.000 % |
351.81/351.82	c |       108 |    1353      410     3586 |     5500      108    230 |  0.074 % |
351.81/351.83	c |       259 |    1353      410     3586 |     6050      259    150 |  0.074 % |
351.81/351.84	c |       485 |    1353      410     3586 |     6655      485    114 |  0.074 % |
351.81/351.86	c |       822 |    1353      410     3586 |     7320      822     97 |  0.074 % |
351.81/351.89	c |      1329 |    1353      410     3586 |     8052     1329    108 |  0.074 % |
351.91/351.94	c |      2088 |    1353      410     3586 |     8857     2088    112 |  0.074 % |
351.99/352.03	c |      3227 |    1353      410     3586 |     9743     3227    109 |  0.074 % |
352.09/352.18	c |      4938 |    1353      410     3586 |    10717     4938    108 |  0.074 % |
352.39/352.43	c |      7500 |    1353      410     3586 |    11789     7500    118 |  0.074 % |
352.90/352.96	c |     11344 |    1353      410     3586 |    12968    11344    127 |  0.074 % |
353.89/354.01	c |     17110 |    1353      410     3586 |    14265    10503    154 |  0.074 % |
355.21/355.23	c |     25759 |    1353      410     3586 |    15692    12006    148 |  0.074 % |
357.58/357.62	c |     38733 |    1353      410     3586 |    17261     9205    166 |  0.074 % |
361.81/361.86	c |     58196 |    1353      410     3586 |    18987    11399    147 |  0.074 % |
367.20/367.25	c |     87393 |    1353      410     3586 |    20886    11998    153 |  0.074 % |
375.49/375.56	c |    131182 |    1353      410     3586 |    22974    13726    159 |  0.074 % |
388.89/388.95	c |    196867 |    1353      410     3586 |    25272    21109    222 |  0.074 % |
412.49/412.56	c |    295393 |    1353      410     3586 |    27799    16146    177 |  0.074 % |
447.89/447.90	c |    443182 |    1353      410     3586 |    30579    28202    200 |  0.074 % |
507.39/507.48	c |    664865 |    1353      410     3586 |    33637    22769    203 |  0.074 % |
601.39/601.41	c |    997393 |    1353      410     3586 |    37001    27306    195 |  0.074 % |
753.99/754.00	c |   1496181 |    1353      410     3586 |    40701    34819    188 |  0.074 % |
1016.00/1016.04	c |   2244363 |    1353      410     3586 |    44771    21841    229 |  0.074 % |
1442.60/1442.61	c |   3366639 |    1353      410     3586 |    49248    38721    226 |  0.074 % |

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

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: 2.12 2.06 2.01 2/530 29603
/proc/meminfo: memFree=15252012/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=2340 CPUtime=0.01 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 382 0 0 0 1 0 0 0 25 0 1 0 821860083 2396160 332 33554432000 4194304 5714214 140735390259584 18446744073709551615 4444352 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 585 332 180 372 0 210 0

[startup+0.0905949 s]
/proc/loadavg: 2.12 2.06 2.01 2/530 29603
/proc/meminfo: memFree=15252012/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=2872 CPUtime=0.08 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 535 0 0 0 8 0 0 0 18 0 1 0 821860083 2940928 485 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 718 485 180 372 0 343 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2872

[startup+0.100596 s]
/proc/loadavg: 2.12 2.06 2.01 2/530 29603
/proc/meminfo: memFree=15252012/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=3004 CPUtime=0.09 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 553 0 0 0 9 0 0 0 18 0 1 0 821860083 3076096 503 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 751 503 180 372 0 376 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3004

[startup+0.300565 s]
/proc/loadavg: 2.12 2.06 2.01 2/530 29603
/proc/meminfo: memFree=15252012/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=4460 CPUtime=0.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 932 0 0 0 29 0 0 0 18 0 1 0 821860083 4567040 882 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 1115 882 180 372 0 740 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4460

[startup+0.700508 s]
/proc/loadavg: 2.12 2.06 2.01 2/530 29603
/proc/meminfo: memFree=15252012/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=6820 CPUtime=0.69 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 1509 0 0 0 69 0 0 0 18 0 1 0 821860083 6983680 1459 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 1705 1459 180 372 0 1330 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6820

[startup+1.50033 s]
/proc/loadavg: 2.12 2.06 2.01 3/531 29604
/proc/meminfo: memFree=15243076/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=10920 CPUtime=1.49 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 2506 0 0 0 148 1 0 0 19 0 1 0 821860083 11182080 2456 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 2730 2456 180 372 0 2355 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10920

[startup+3.18202 s]
/proc/loadavg: 2.12 2.06 2.01 3/531 29604
/proc/meminfo: memFree=15233460/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=13800 CPUtime=3.17 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 3256 0 0 0 314 3 0 0 25 0 1 0 821860083 14131200 3180 33554432000 4194304 5714214 140735390259584 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 3450 3180 180 372 0 3075 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 13800

[startup+6.30053 s]
/proc/loadavg: 2.11 2.06 2.01 3/531 29604
/proc/meminfo: memFree=15228964/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=16676 CPUtime=6.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 3973 0 0 0 625 5 0 0 25 0 1 0 821860083 17076224 3897 33554432000 4194304 5714214 140735390259584 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 4169 3897 180 372 0 3794 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 16676

[startup+12.7004 s]
/proc/loadavg: 2.10 2.05 2.01 3/531 29604
/proc/meminfo: memFree=15213668/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=28000 CPUtime=12.69 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 6756 0 0 0 1259 10 0 0 25 0 1 0 821860083 28672000 6680 33554432000 4194304 5714214 140735390259584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 7000 6680 180 372 0 6625 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28000

[startup+25.5012 s]
/proc/loadavg: 2.15 2.07 2.01 3/531 29604
/proc/meminfo: memFree=15179360/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=46608 CPUtime=25.49 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 11375 0 0 0 2529 20 0 0 25 0 1 0 821860083 47726592 11299 33554432000 4194304 5714214 140735390259584 18446744073709551615 4299952 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 11652 11299 180 372 0 11277 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46608

[startup+51.1008 s]
/proc/loadavg: 2.16 2.08 2.01 3/531 29606
/proc/meminfo: memFree=15120260/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=76160 CPUtime=51.09 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 18634 0 0 0 5076 33 0 0 25 0 1 0 821860083 77987840 18558 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 19040 18558 180 372 0 18665 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 76160

[startup+102.301 s]
/proc/loadavg: 2.21 2.09 2.02 3/531 29608
/proc/meminfo: memFree=15028476/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=120904 CPUtime=102.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 29574 0 0 0 10170 59 0 0 25 0 1 0 821860083 123805696 29498 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 30226 29498 180 372 0 29851 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 120904

[startup+162.301 s]
/proc/loadavg: 2.14 2.09 2.02 3/531 29610
/proc/meminfo: memFree=14939192/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=165248 CPUtime=162.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 40451 0 0 0 16147 82 0 0 25 0 1 0 821860083 169213952 40375 33554432000 4194304 5714214 140735390259584 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 41312 40375 180 372 0 40937 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 165248

[startup+222.3 s]
/proc/loadavg: 2.34 2.14 2.04 3/531 29613
/proc/meminfo: memFree=14847696/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=218360 CPUtime=222.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 53492 0 0 0 22118 111 0 0 25 0 1 0 821860083 223600640 53416 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 54590 53416 180 372 0 54215 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 218360

[startup+282.301 s]
/proc/loadavg: 2.15 2.12 2.03 3/531 29615
/proc/meminfo: memFree=14753864/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=261564 CPUtime=282.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 64153 0 0 0 28096 133 0 0 25 0 1 0 821860083 267841536 64077 33554432000 4194304 5714214 140735390259584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 65391 64077 180 372 0 65016 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 261564

[startup+342.301 s]
/proc/loadavg: 2.13 2.11 2.03 3/531 29617
/proc/meminfo: memFree=14708968/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=306144 CPUtime=342.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 75566 0 0 0 34075 154 0 0 25 0 1 0 821860083 313491456 75154 33554432000 4194304 5714214 140735390259584 18446744073709551615 4197716 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 76536 75154 180 372 0 76161 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 306144

[startup+402.3 s]
/proc/loadavg: 2.21 2.14 2.04 3/531 29619
/proc/meminfo: memFree=14664812/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=347944 CPUtime=402.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 87112 0 0 0 40048 181 0 0 25 0 1 0 821860083 356294656 85973 33554432000 4194304 5714214 140735390259584 18446744073709551615 4322904 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 86986 85973 180 372 0 86611 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 347944

[startup+462.301 s]
/proc/loadavg: 2.51 2.23 2.08 3/531 29619
/proc/meminfo: memFree=14663924/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=347944 CPUtime=462.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 87229 0 0 0 46018 211 0 0 25 0 1 0 821860083 356294656 86090 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 86986 86090 180 372 0 86611 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 347944

[startup+522.301 s]
/proc/loadavg: 2.24 2.20 2.08 3/531 29621
/proc/meminfo: memFree=14662680/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=347944 CPUtime=522.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 87367 0 0 0 51996 234 0 0 25 0 1 0 821860083 356294656 86228 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 86986 86228 180 372 0 86611 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 347944

[startup+582.3 s]
/proc/loadavg: 2.09 2.16 2.08 3/531 29623
/proc/meminfo: memFree=14662060/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=347944 CPUtime=582.28 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 87419 0 0 0 57973 255 0 0 25 0 1 0 821860083 356294656 86280 33554432000 4194304 5714214 140735390259584 18446744073709551615 4319768 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 86986 86280 180 372 0 86611 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 347944

[startup+642.32 s]

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

[startup+822.301 s]
/proc/loadavg: 2.05 2.09 2.06 3/531 29629
/proc/meminfo: memFree=14585028/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=359228 CPUtime=822.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 90595 0 0 0 81884 346 0 0 25 0 1 0 821860083 367849472 89456 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 89807 89456 180 372 0 89432 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 359228

[startup+882.301 s]
/proc/loadavg: 2.02 2.07 2.06 3/531 29631
/proc/meminfo: memFree=14505916/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=398204 CPUtime=882.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 100193 0 0 0 87865 365 0 0 25 0 1 0 821860083 407760896 99054 33554432000 4194304 5714214 140735390259584 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 99551 99054 180 372 0 99176 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 398204

[startup+942.3 s]
/proc/loadavg: 2.00 2.06 2.05 3/531 29633
/proc/meminfo: memFree=14439076/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=430040 CPUtime=942.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 108008 0 0 0 93843 386 0 0 25 0 1 0 821860083 440360960 106869 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 107510 106869 180 372 0 107135 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 430040

[startup+1002.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/531 29635
/proc/meminfo: memFree=14373232/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=464832 CPUtime=1002.29 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 116619 0 0 0 99823 406 0 0 25 0 1 0 821860083 475987968 115480 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 116208 115480 180 372 0 115833 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 464832

[startup+1062.3 s]
/proc/loadavg: 2.08 2.06 2.05 3/531 29635
/proc/meminfo: memFree=14304904/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=500264 CPUtime=1062.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 125229 0 0 0 105804 426 0 0 25 0 1 0 821860083 512270336 124090 33554432000 4194304 5714214 140735390259584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 125066 124090 180 372 0 124691 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 500264

[startup+1122.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/531 29637
/proc/meminfo: memFree=14242884/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=536132 CPUtime=1122.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 134044 0 0 0 111785 445 0 0 25 0 1 0 821860083 548999168 132905 33554432000 4194304 5714214 140735390259584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 134033 132905 180 372 0 133658 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 536132

[startup+1182.3 s]
/proc/loadavg: 2.02 2.05 2.04 3/531 29639
/proc/meminfo: memFree=14200600/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=553588 CPUtime=1182.31 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 138282 0 0 0 117764 467 0 0 25 0 1 0 821860083 566874112 137143 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 138397 137143 180 372 0 138022 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 553588

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.04 3/531 29641
/proc/meminfo: memFree=14114292/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=592132 CPUtime=1242.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 147813 0 0 0 123743 487 0 0 25 0 1 0 821860083 606343168 146674 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 148033 146674 180 372 0 147658 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 592132

[startup+1302.32 s]
/proc/loadavg: 2.00 2.03 2.03 3/531 29643
/proc/meminfo: memFree=14074352/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=619124 CPUtime=1302.32 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 154434 0 0 0 129726 506 0 0 25 0 1 0 821860083 633982976 153295 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 154781 153295 180 372 0 154406 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 619124

[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.03 3/531 29643
/proc/meminfo: memFree=14028096/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=645380 CPUtime=1362.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 160947 0 0 0 135704 526 0 0 25 0 1 0 821860083 660869120 159808 33554432000 4194304 5714214 140735390259584 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 161345 159808 180 372 0 160970 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 645380

[startup+1422.3 s]
/proc/loadavg: 2.07 2.04 2.03 3/531 29645
/proc/meminfo: memFree=13990024/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=673152 CPUtime=1422.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 167752 0 0 0 141689 541 0 0 25 0 1 0 821860083 689307648 166613 33554432000 4194304 5714214 140735390259584 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 168288 166613 180 372 0 167913 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 673152

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/531 29647
/proc/meminfo: memFree=13951956/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=701980 CPUtime=1482.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 174865 0 0 0 147671 559 0 0 25 0 1 0 821860083 718827520 173726 33554432000 4194304 5714214 140735390259584 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 175495 173726 180 372 0 175120 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 701980

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/531 29649
/proc/meminfo: memFree=13877424/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=744084 CPUtime=1542.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 185243 0 0 0 153646 584 0 0 25 0 1 0 821860083 761942016 184104 33554432000 4194304 5714214 140735390259584 18446744073709551615 4319782 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 186021 184104 180 372 0 185646 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 744084

[startup+1602.3 s]
/proc/loadavg: 2.12 2.05 2.02 3/531 29651
/proc/meminfo: memFree=13797936/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=773432 CPUtime=1602.3 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 192573 0 0 0 159622 608 0 0 25 0 1 0 821860083 791994368 191434 33554432000 4194304 5714214 140735390259584 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 193358 191434 180 372 0 192983 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 773432

[startup+1662.3 s]
/proc/loadavg: 2.09 2.05 2.02 3/531 29651
/proc/meminfo: memFree=13749576/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=807408 CPUtime=1662.31 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 200881 0 0 0 165602 629 0 0 25 0 1 0 821860083 826785792 199742 33554432000 4194304 5714214 140735390259584 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 201852 199742 180 372 0 201477 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 807408

[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.02 3/531 29653
/proc/meminfo: memFree=13695628/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=827176 CPUtime=1722.31 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 205799 0 0 0 171582 649 0 0 25 0 1 0 821860083 847028224 204660 33554432000 4194304 5714214 140735390259584 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 206794 204660 180 372 0 206419 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 827176

[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.01 3/531 29655
/proc/meminfo: memFree=13651360/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=856432 CPUtime=1782.31 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 213069 0 0 0 177561 670 0 0 25 0 1 0 821860083 876986368 211930 33554432000 4194304 5714214 140735390259584 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 214108 211930 180 372 0 213733 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 856432



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.01 s]
/proc/loadavg: 2.01 2.03 2.01 3/531 29683
/proc/meminfo: memFree=14397556/32951132 swapFree=46579808/67111528
[pid=29603] ppid=29601 vsize=861028 CPUtime=1801.42 cores=0,2,4,6
/proc/29603/stat : 29603 (wbo1.6) R 29601 29603 28716 0 -1 4202496 214119 0 0 0 179466 676 0 0 25 0 1 0 821860083 881692672 212980 33554432000 4194304 5714214 140735390259584 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/29603/statm: 215257 212980 180 372 0 214882 0
Current children cumulated CPU time (s) 1801.42
Current children cumulated vsize (KiB) 861028

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.45
CPU time (s): 1801.47
CPU user time (s): 1794.66
CPU system time (s): 6.80296
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 861028

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.66
system time used= 6.80297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214119
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= 6
involuntary context switches= 2089

runsolver used 10.4004 second user time and 21.9127 second system time

The end

Launcher Data 

Begin job on node128 at 2011-06-03 14:03:34
IDJOB=3461516
IDBENCH=2859
IDSOLVER=1953
FILE ID=node128/3461516-1307102614
RUNJOBID= node128-1307091794-28734
PBS_JOBID= 13497962
Free space on /tmp= 73912 MiB

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

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

MD5SUM BENCH= f1b978cb920387bc2a07b8b1a528a68d
RANDOM SEED=608319655

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      15252292 kB
Buffers:        320864 kB
Cached:        3456240 kB
SwapCached:      35620 kB
Active:        9006136 kB
Inactive:      8377892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      15252292 kB
SwapTotal:    67111528 kB
SwapFree:     46579808 kB
Dirty:            8928 kB
Writeback:          16 kB
AnonPages:    13581060 kB
Mapped:          18088 kB
Slab:           134076 kB
PageTables:     112132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 174816424 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73908 MiB
End job on node128 at 2011-06-03 14:33:38