Trace number 3460670

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.12 1800.07

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_005_area_delay.opb
MD5SUM1a8b297a620c2a2aaf0a7beca79ff945
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark85.482
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 33
Optimality of the best value was proved NO
Number of variables17114
Total number of constraints123451
Number of constraints which are clauses123451
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 constraint1
Maximum length of a constraint254
Number of terms in the objective function 8405
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 8405
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 8405
Number of bits of the biggest sum of numbers14
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.02	c wbo 1.6 beta - 20110321
0.00/0.02	c Parsing opb file format. File HOME/instance-3460670-1307107749.opb.
0.00/0.02	c Instance file HOME/instance-3460670-1307107749.opb
0.00/0.02	c File size is 4198421 bytes.
0.28/0.30	c Highest Coefficient sum: 255
0.28/0.30	c ============================[ Problem Statistics ]=============================
0.28/0.30	c |                                                                             |
0.28/0.30	c |  Parsing time:          0.29         s                                      |
0.28/0.30	c |  Number Variables:      17114                                               |
0.28/0.30	c |  Number Clauses:        123451                                              |
0.28/0.30	c |  Number Cardinality:    0                                                   |
0.28/0.30	c |  Number PB Constraints: 0                                                   |
0.28/0.34	c ============================[ Search Statistics ]==============================
0.28/0.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.28/0.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.28/0.34	c ===============================================================================
0.28/0.34	c |         0 |   17109   123451   340895 |    41150        0   -nan |  0.000 % |
1.69/1.73	c core #1
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 488	Core Weight: 1	Total Weight: 3
1.69/1.73	c Current CPU time: 0.368943 s
1.69/1.73	c
1.69/1.73	c core #2
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 63	Core Weight: 1	Total Weight: 4
1.69/1.73	c Current CPU time: 0.406938 s
1.69/1.73	c
1.69/1.73	c core #3
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 126	Core Weight: 1	Total Weight: 5
1.69/1.73	c Current CPU time: 0.445932 s
1.69/1.73	c
1.69/1.73	c core #4
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 31	Core Weight: 1	Total Weight: 6
1.69/1.73	c Current CPU time: 0.482926 s
1.69/1.73	c
1.69/1.73	c core #5
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 63	Core Weight: 1	Total Weight: 7
1.69/1.73	c Current CPU time: 0.52192 s
1.69/1.73	c
1.69/1.73	c core #6
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 31	Core Weight: 1	Total Weight: 8
1.69/1.73	c Current CPU time: 0.559914 s
1.69/1.73	c
1.69/1.73	c core #7
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 15	Core Weight: 1	Total Weight: 9
1.69/1.73	c Current CPU time: 0.598908 s
1.69/1.73	c
1.69/1.73	c core #8
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 61	Core Weight: 1	Total Weight: 10
1.69/1.73	c Current CPU time: 0.636903 s
1.69/1.73	c
1.69/1.73	c core #9
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 31	Core Weight: 1	Total Weight: 11
1.69/1.73	c Current CPU time: 0.676897 s
1.69/1.73	c
1.69/1.73	c core #10
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 63	Core Weight: 1	Total Weight: 12
1.69/1.73	c Current CPU time: 0.714891 s
1.69/1.73	c
1.69/1.73	c core #11
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 61	Core Weight: 1	Total Weight: 13
1.69/1.73	c Current CPU time: 0.755885 s
1.69/1.73	c
1.69/1.73	c core #12
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 61	Core Weight: 1	Total Weight: 14
1.69/1.73	c Current CPU time: 0.794879 s
1.69/1.73	c
1.69/1.73	c core #13
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 62	Core Weight: 1	Total Weight: 15
1.69/1.73	c Current CPU time: 0.835872 s
1.69/1.73	c
1.69/1.73	c core #14
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 31	Core Weight: 1	Total Weight: 16
1.69/1.73	c Current CPU time: 0.875866 s
1.69/1.73	c
1.69/1.73	c core #15
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 30	Core Weight: 1	Total Weight: 17
1.69/1.73	c Current CPU time: 0.91686 s
1.69/1.73	c
1.69/1.73	c core #16
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 15	Core Weight: 1	Total Weight: 18
1.69/1.73	c Current CPU time: 0.955854 s
1.69/1.73	c
1.69/1.73	c core #17
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 31	Core Weight: 1	Total Weight: 19
1.69/1.73	c Current CPU time: 0.996848 s
1.69/1.73	c
1.69/1.73	c core #18
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 15	Core Weight: 1	Total Weight: 20
1.69/1.73	c Current CPU time: 1.03684 s
1.69/1.73	c
1.69/1.73	c core #19
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 502	Core Weight: 1	Total Weight: 21
1.69/1.73	c Current CPU time: 1.07883 s
1.69/1.73	c
1.69/1.73	c core #20
1.69/1.73	c 
1.69/1.73	c 
1.69/1.73	c Core size: 10861	Core Weight: 1	Total Weight: 22
1.69/1.73	c Current CPU time: 1.65775 s
1.69/1.73	c
1.69/1.73	c ============================[ Search Statistics ]==============================
1.69/1.73	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.73	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.69/1.73	c ===============================================================================
1.69/1.73	c |         0 |   16489   129884   210740 |    43294        0   -nan |  0.000 % |
1.99/2.04	c ===============================================================================
2.09/2.10	c core #21
2.09/2.10	c 
2.09/2.10	c 
2.09/2.10	c Core size: 7658	Core Weight: 1	Total Weight: 23
2.09/2.10	c Current CPU time: 2.02669 s
2.09/2.10	c
2.09/2.10	c ============================[ Search Statistics ]==============================
2.09/2.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.09/2.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.09/2.10	c ===============================================================================
2.09/2.10	c |         0 |   26894   129885   361166 |    43295        0   -nan |  0.000 % |
2.20/2.26	c |       100 |   26894   129885   361166 |    47624      100    198 |  1.750 % |
2.38/2.44	c |       251 |   26889   129885   361166 |    52386      251    256 |  1.772 % |
2.59/2.68	c |       478 |   26888   129885   361166 |    57625      478    266 |  1.772 % |
3.89/3.90	c |       815 |   26888   129885   361166 |    63388      815    256 |  1.772 % |
6.60/6.70	c |      1321 |   26888   129885   361166 |    69727     1321    300 |  1.772 % |
10.89/10.97	c ===============================================================================
11.01/11.07	c core #22
11.01/11.07	c 
11.01/11.07	c 
11.01/11.07	c Core size: 9186	Core Weight: 1	Total Weight: 24
11.01/11.07	c Current CPU time: 10.9663 s
11.01/11.07	c
11.01/11.07	c ============================[ Search Statistics ]==============================
11.01/11.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.01/11.07	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.01/11.07	c ===============================================================================
11.01/11.07	c |         0 |   34467   129886   376312 |    43295        0   -nan |  0.000 % |
11.48/11.59	c |       103 |   34467   129886   376312 |    47624      103    903 |  1.371 % |
11.98/12.00	c |       256 |   34467   129886   376312 |    52387      256    430 |  1.371 % |
12.49/12.56	c |       481 |   34467   129886   376312 |    57626      481    387 |  1.371 % |
14.08/14.19	c |       819 |   34467   129886   376312 |    63388      819    581 |  1.371 % |
15.99/16.06	c |      1326 |   34467   129886   376312 |    69727     1326    638 |  1.371 % |
19.58/19.69	c |      2085 |   34466   129886   376312 |    76700     2085    549 |  1.374 % |
25.69/25.79	c |      3224 |   34465   129886   376312 |    84370     3224    574 |  1.376 % |
32.01/32.09	c |      4935 |   34465   129886   376312 |    92807     4935    560 |  1.376 % |
43.19/43.23	c |      7497 |   34464   129886   376312 |   102088     7497    759 |  1.379 % |
54.79/54.81	c |     11342 |   34464   129886   376312 |   112296    11342    692 |  1.379 % |
71.89/71.97	c |     17108 |   34464   129886   376312 |   123526    17108    572 |  1.379 % |
101.48/101.55	c |     25759 |   34463   129886   376312 |   135879    25759    604 |  1.382 % |
157.69/157.74	c |     38738 |   34462   129886   376312 |   149467    38738    685 |  1.385 % |
263.50/263.56	c |     58200 |   34455   129886   376312 |   164413    58200    693 |  1.405 % |
454.32/454.32	c |     87394 |   34447   129886   376312 |   180855    87394    707 |  1.428 % |
525.60/525.68	c ===============================================================================
527.20/527.24	c core #23
527.20/527.24	c 
527.20/527.24	c 
527.20/527.24	c Core size: 10043	Core Weight: 1	Total Weight: 25
527.20/527.24	c Current CPU time: 526.607 s
527.20/527.24	c
527.20/527.24	c ============================[ Search Statistics ]==============================
527.20/527.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
527.20/527.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
527.20/527.24	c ===============================================================================
527.20/527.24	c |         0 |   42271   129926   392009 |    43308        0   -nan |  0.000 % |
529.70/529.74	c |       100 |   42271   129926   392009 |    47639      100   1905 |  1.169 % |
530.10/530.18	c |       250 |   42271   129926   392009 |    52403      250    908 |  1.169 % |
530.50/530.57	c |       476 |   42271   129926   392009 |    57643      476    585 |  1.169 % |
531.00/531.03	c |       814 |   42271   129926   392009 |    63408      814    395 |  1.169 % |
533.52/533.59	c |      1320 |   42271   129926   392009 |    69749     1320    553 |  1.169 % |
536.50/536.53	c |      2082 |   42271   129926   392009 |    76723     2082    489 |  1.169 % |
540.50/540.51	c |      3221 |   42271   129926   392009 |    84396     3221    623 |  1.169 % |
547.82/547.88	c |      4929 |   42271   129926   392009 |    92835     4929    766 |  1.169 % |
553.50/553.57	c |      7492 |   42271   129926   392009 |   102119     7492    644 |  1.169 % |
566.00/566.05	c |     11336 |   42271   129926   392009 |   112331    11336    813 |  1.169 % |
581.50/581.53	c |     17102 |   42271   129926   392009 |   123564    17102    811 |  1.169 % |
611.10/611.14	c |     25754 |   42271   129926   392009 |   135921    25754    797 |  1.169 % |
654.40/654.41	c |     38729 |   42271   129926   392009 |   149513    38729    974 |  1.169 % |
756.41/756.49	c |     58194 |   42271   129926   392009 |   164464    58194   1078 |  1.169 % |
886.81/886.85	c |     87386 |   42271   129926   392009 |   180911    87386   1053 |  1.169 % |
1083.42/1083.44	c |    131176 |   42271   129926   392009 |   199002   131176    991 |  1.169 % |
1367.62/1367.60	c |    196862 |   42271   129926   392009 |   218902   196862    856 |  1.169 % |

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-3460670-1307107749/watcher-3460670-1307107749 -o /tmp/evaluation-result-3460670-1307107749/solver-3460670-1307107749 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460670-1307107749.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.09 2.05 2.01 3/550 22819
/proc/meminfo: memFree=21092476/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=9128 CPUtime=0.01 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 1038 0 0 0 1 0 0 0 25 0 1 0 822375349 9347072 991 33554432000 4194304 5714214 140734621670800 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 2282 993 205 372 0 881 0

[startup+0.105941 s]
/proc/loadavg: 2.09 2.05 2.01 3/550 22819
/proc/meminfo: memFree=21092476/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=14344 CPUtime=0.09 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 2545 0 0 0 9 0 0 0 25 0 1 0 822375349 14688256 2465 33554432000 4194304 5714214 140734621670800 18446744073709551615 4223098 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 3586 2466 487 372 0 2185 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14344

[startup+0.200925 s]
/proc/loadavg: 2.09 2.05 2.01 3/550 22819
/proc/meminfo: memFree=21092476/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=17612 CPUtime=0.18 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 3764 0 0 0 18 0 0 0 25 0 1 0 822375349 18034688 3619 33554432000 4194304 5714214 140734621670800 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 4403 3619 815 372 0 3002 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 17612

[startup+0.300918 s]
/proc/loadavg: 2.09 2.05 2.01 3/550 22819
/proc/meminfo: memFree=21092476/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=20876 CPUtime=0.28 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 4952 0 0 0 28 0 0 0 25 0 1 0 822375349 21377024 4807 33554432000 4194304 5714214 140734621670800 18446744073709551615 4223086 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 5219 4807 1174 372 0 3818 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20876

[startup+0.700842 s]
/proc/loadavg: 2.09 2.05 2.01 3/550 22819
/proc/meminfo: memFree=21092476/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=34584 CPUtime=0.69 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 11357 0 0 0 68 1 0 0 25 0 1 0 822375349 35414016 8307 33554432000 4194304 5714214 140734621670800 18446744073709551615 4967681 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 8646 8307 175 372 0 8271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34584

[startup+1.50072 s]
/proc/loadavg: 2.09 2.05 2.01 3/551 22820
/proc/meminfo: memFree=21058740/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=36664 CPUtime=1.49 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 12248 0 0 0 148 1 0 0 25 0 1 0 822375349 37543936 8667 33554432000 4194304 5714214 140734621670800 18446744073709551615 4327563 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 9166 8667 176 372 0 8791 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36664

[startup+3.1004 s]
/proc/loadavg: 2.09 2.05 2.01 3/551 22821
/proc/meminfo: memFree=21050556/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=42256 CPUtime=3.09 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 13728 0 0 0 307 2 0 0 25 0 1 0 822375349 43270144 10147 33554432000 4194304 5714214 140734621670800 18446744073709551615 4330771 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 10564 10147 180 372 0 10189 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42256

[startup+6.30081 s]
/proc/loadavg: 2.17 2.06 2.01 3/551 22821
/proc/meminfo: memFree=21049940/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=42256 CPUtime=6.28 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 13728 0 0 0 626 2 0 0 25 0 1 0 822375349 43270144 10147 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 10564 10147 180 372 0 10189 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 42256

[startup+12.7007 s]
/proc/loadavg: 2.31 2.10 2.02 3/551 22821
/proc/meminfo: memFree=21041196/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=51372 CPUtime=12.69 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 15877 0 0 0 1265 4 0 0 25 0 1 0 822375349 52604928 12296 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 12843 12296 180 372 0 12468 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51372

[startup+25.5014 s]
/proc/loadavg: 2.24 2.09 2.02 3/551 22821
/proc/meminfo: memFree=21041076/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=51372 CPUtime=25.49 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 15877 0 0 0 2543 6 0 0 25 0 1 0 822375349 52604928 12296 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 12843 12296 180 372 0 12468 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51372

[startup+51.1008 s]
/proc/loadavg: 2.16 2.08 2.02 3/551 22822
/proc/meminfo: memFree=21027528/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=64752 CPUtime=51.09 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 19297 0 0 0 5100 9 0 0 25 0 1 0 822375349 66306048 15716 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 16188 15716 180 372 0 15813 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 64752

[startup+102.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/551 22823
/proc/meminfo: memFree=20987092/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=104460 CPUtime=102.3 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 29215 0 0 0 10216 14 0 0 25 0 1 0 822375349 106967040 25634 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 26115 25634 180 372 0 25740 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 104460

[startup+162.301 s]
/proc/loadavg: 2.04 2.06 2.01 3/551 22825
/proc/meminfo: memFree=20933128/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=155804 CPUtime=162.29 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 42030 0 0 0 16207 22 0 0 25 0 1 0 822375349 159543296 38449 33554432000 4194304 5714214 140734621670800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 38951 38449 180 372 0 38576 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 155804

[startup+222.322 s]
/proc/loadavg: 2.01 2.05 2.01 3/551 22826
/proc/meminfo: memFree=20905076/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=180872 CPUtime=222.31 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 48244 0 0 0 22206 25 0 0 25 0 1 0 822375349 185212928 44663 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 45218 44663 180 372 0 44843 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 180872

[startup+282.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/551 22828
/proc/meminfo: memFree=20853840/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=227332 CPUtime=282.29 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 59777 0 0 0 28199 30 0 0 25 0 1 0 822375349 232787968 56196 33554432000 4194304 5714214 140734621670800 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 56833 56196 180 372 0 56458 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 227332

[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 22830
/proc/meminfo: memFree=20827168/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=253068 CPUtime=342.3 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 66225 0 0 0 34195 35 0 0 25 0 1 0 822375349 259141632 62644 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 63267 62644 180 372 0 62892 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 253068

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22831
/proc/meminfo: memFree=20793920/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=283880 CPUtime=402.3 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 73933 0 0 0 40190 40 0 0 25 0 1 0 822375349 290693120 70352 33554432000 4194304 5714214 140734621670800 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 70970 70352 180 372 0 70595 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 283880

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22833
/proc/meminfo: memFree=20752360/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=323616 CPUtime=462.3 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 83819 0 0 0 46185 45 0 0 25 0 1 0 822375349 331382784 80238 33554432000 4194304 5714214 140734621670800 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 80904 80238 180 372 0 80529 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 323616

[startup+522.301 s]
/proc/loadavg: 2.13 2.04 2.01 3/551 22834
/proc/meminfo: memFree=20706332/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=369600 CPUtime=522.3 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 95213 0 0 0 52179 51 0 0 25 0 1 0 822375349 378470400 91632 33554432000 4194304 5714214 140734621670800 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 92400 91632 180 372 0 92025 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 369600

[startup+582.301 s]
/proc/loadavg: 2.25 2.08 2.02 3/551 22836
/proc/meminfo: memFree=20678168/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=391400 CPUtime=582.3 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 101374 0 0 0 58171 59 0 0 25 0 1 0 822375349 400793600 97245 33554432000 4194304 5714214 140734621670800 18446744073709551615 4319375 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 97850 97245 180 372 0 97475 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 391400

[startup+642.3 s]

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

[startup+882.321 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 22844
/proc/meminfo: memFree=20632820/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=427028 CPUtime=882.33 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 110515 0 0 0 88149 84 0 0 25 0 1 0 822375349 437276672 106386 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 106757 106386 180 372 0 106382 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 427028

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22846
/proc/meminfo: memFree=20569568/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=490892 CPUtime=942.31 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 126363 0 0 0 94139 92 0 0 25 0 1 0 822375349 502673408 122234 33554432000 4194304 5714214 140734621670800 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 122723 122234 180 372 0 122348 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 490892

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 22847
/proc/meminfo: memFree=20509532/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=547748 CPUtime=1002.31 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 140529 0 0 0 100133 98 0 0 25 0 1 0 822375349 560893952 136400 33554432000 4194304 5714214 140734621670800 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 136937 136400 180 372 0 136562 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 547748

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 22849
/proc/meminfo: memFree=20471584/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=584324 CPUtime=1062.32 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 149646 0 0 0 106129 103 0 0 25 0 1 0 822375349 598347776 145517 33554432000 4194304 5714214 140734621670800 18446744073709551615 4319260 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 146081 145517 180 372 0 145706 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 584324

[startup+1122.3 s]
/proc/loadavg: 1.95 2.00 2.00 2/545 22868
/proc/meminfo: memFree=20571196/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=616508 CPUtime=1122.32 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 157522 0 0 0 112123 109 0 0 25 0 1 0 822375349 631304192 153393 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 154127 153393 180 372 0 153752 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 616508

[startup+1182.3 s]
/proc/loadavg: 1.38 1.83 1.94 2/545 22870
/proc/meminfo: memFree=20534520/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=653740 CPUtime=1182.32 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 166745 0 0 0 118118 114 0 0 25 0 1 0 822375349 669429760 162616 33554432000 4194304 5714214 140734621670800 18446744073709551615 4322750 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 163435 162616 180 372 0 163060 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 653740

[startup+1242.3 s]
/proc/loadavg: 1.17 1.69 1.88 2/545 22872
/proc/meminfo: memFree=20488376/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=699680 CPUtime=1242.32 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 178219 0 0 0 124108 124 0 0 25 0 1 0 822375349 716472320 174090 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311876 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 174920 174090 180 372 0 174545 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 699680

[startup+1302.3 s]
/proc/loadavg: 1.06 1.56 1.82 2/545 22873
/proc/meminfo: memFree=20455504/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=732984 CPUtime=1302.32 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 186538 0 0 0 130100 132 0 0 25 0 1 0 822375349 750575616 182409 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 183246 182409 180 372 0 182871 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 732984

[startup+1362.3 s]
/proc/loadavg: 1.02 1.46 1.77 2/545 22875
/proc/meminfo: memFree=20423740/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=764888 CPUtime=1362.33 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 194498 0 0 0 136095 138 0 0 25 0 1 0 822375349 783245312 190369 33554432000 4194304 5714214 140734621670800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 191222 190369 180 372 0 190847 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 764888

[startup+1422.3 s]
/proc/loadavg: 1.01 1.37 1.72 2/545 22876
/proc/meminfo: memFree=20366204/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=822536 CPUtime=1422.35 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 208778 0 0 0 142089 146 0 0 25 0 1 0 822375349 842276864 204649 33554432000 4194304 5714214 140734621670800 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 205634 204649 180 372 0 205259 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 822536

[startup+1482.3 s]
/proc/loadavg: 1.00 1.30 1.67 2/545 22878
/proc/meminfo: memFree=20320320/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=868948 CPUtime=1482.33 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 220170 0 0 0 148082 151 0 0 25 0 1 0 822375349 889802752 216041 33554432000 4194304 5714214 140734621670800 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 217237 216041 180 372 0 216862 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 868948

[startup+1542.32 s]
/proc/loadavg: 1.00 1.24 1.62 2/545 22880
/proc/meminfo: memFree=20265120/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=924396 CPUtime=1542.35 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 234020 0 0 0 154077 158 0 0 25 0 1 0 822375349 946581504 229891 33554432000 4194304 5714214 140734621670800 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 231099 229891 180 372 0 230724 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 924396

[startup+1602.3 s]
/proc/loadavg: 1.00 1.20 1.58 2/545 22881
/proc/meminfo: memFree=20214388/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=975364 CPUtime=1602.33 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 246752 0 0 0 160068 165 0 0 25 0 1 0 822375349 998772736 242623 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 243841 242623 180 372 0 243466 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 975364

[startup+1662.3 s]
/proc/loadavg: 1.00 1.16 1.54 2/545 22883
/proc/meminfo: memFree=20193416/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=995772 CPUtime=1662.34 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 251848 0 0 0 166064 170 0 0 25 0 1 0 822375349 1019670528 247719 33554432000 4194304 5714214 140734621670800 18446744073709551615 4330771 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 248943 247719 180 372 0 248568 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 995772

[startup+1722.3 s]
/proc/loadavg: 1.10 1.16 1.52 2/545 22884
/proc/meminfo: memFree=20193520/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=995772 CPUtime=1722.34 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 251848 0 0 0 172061 173 0 0 25 0 1 0 822375349 1019670528 247719 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 248943 247719 180 372 0 248568 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 995772

[startup+1782.3 s]
/proc/loadavg: 1.08 1.14 1.49 2/545 22886
/proc/meminfo: memFree=20192144/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=995772 CPUtime=1782.34 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 251856 0 0 0 178057 177 0 0 25 0 1 0 822375349 1019670528 247727 33554432000 4194304 5714214 140734621670800 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 248943 247727 180 372 0 248568 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 995772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.06 1.13 1.48 2/545 22886
/proc/meminfo: memFree=20192756/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=995772 CPUtime=1800.05 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 251856 0 0 0 179827 178 0 0 25 0 1 0 822375349 1019670528 247727 33554432000 4194304 5714214 140734621670800 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 248943 247727 180 372 0 248568 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 995772

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

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

[startup+1800 s]
/proc/loadavg: 1.06 1.13 1.48 2/545 22886
/proc/meminfo: memFree=20192756/32951124 swapFree=53733252/67111528
[pid=22819] ppid=22817 vsize=995772 CPUtime=1800.05 cores=0,2,4,6
/proc/22819/stat : 22819 (wbo1.6) R 22817 22819 21496 0 -1 4202496 251856 0 0 0 179827 178 0 0 25 0 1 0 822375349 1019670528 247727 33554432000 4194304 5714214 140734621670800 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 0 0 0 0
/proc/22819/statm: 248943 247727 180 372 0 248568 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 995772

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.12
CPU user time (s): 1798.28
CPU system time (s): 1.83772
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 995772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.28
system time used= 1.83772
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 251856
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= 2713

runsolver used 10.3974 second user time and 22.3606 second system time

The end

Launcher Data 

Begin job on node106 at 2011-06-03 15:29:10
IDJOB=3460670
IDBENCH=24980
IDSOLVER=1953
FILE ID=node106/3460670-1307107749
RUNJOBID= node106-1307092297-21514
PBS_JOBID= 13497969
Free space on /tmp= 73732 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_005_area_delay.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460670-1307107749/watcher-3460670-1307107749 -o /tmp/evaluation-result-3460670-1307107749/solver-3460670-1307107749 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460670-1307107749.opb

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

MD5SUM BENCH= 1a8b297a620c2a2aaf0a7beca79ff945
RANDOM SEED=815325862

node106.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.830
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.66
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.830
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	: 5226.20
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.830
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.830
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.830
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.830
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.830
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.830
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:      21092632 kB
Buffers:        391660 kB
Cached:        5983332 kB
SwapCached:      22744 kB
Active:        5961020 kB
Inactive:      5556556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21092632 kB
SwapTotal:    67111528 kB
SwapFree:     53733252 kB
Dirty:            8548 kB
Writeback:           0 kB
AnonPages:     5138812 kB
Mapped:          26828 kB
Slab:           191560 kB
PageTables:      78208 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 167623660 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= 73736 MiB
End job on node106 at 2011-06-03 15:59:12