Trace number 3726383

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
pwbo 2.02? (TO) 1800.07 901.99

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null0mast_rapportOE1.0_TMAX300_K192_cod2.opb
MD5SUMbf80427a5518f65f2c0be5c955ae4146
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-78535
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1427
Biggest coefficient in the objective function 998
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 712416
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 998
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 712416
Number of bits of the biggest sum of numbers20
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 ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  pwbo:                     2.02 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3726383-1338659866.opb.
0.00/0.00	c Instance file HOME/instance-3726383-1338659866.opb
0.00/0.00	c File size is 28233150 bytes.
3.09/3.15	c Cost Offset: -712416
3.09/3.15	c Highest Coefficient sum: 62753
3.09/3.15	c ============================[ Problem Statistics ]=============================
3.09/3.15	c |                                                                             |
3.09/3.15	c |  Parsing time:          3.16         s                                      |
3.09/3.15	c |  Number Variables:      400896                                              |
3.09/3.15	c |  Number Clauses:        400785                                              |
3.09/3.15	c |  Number Cardinality:    1977                                                |
3.09/3.15	c |  Number PB Constraints: 1                                                   |
3.09/3.15	c |                                                                             |
3.58/3.49	c |  Problem Type:          Optimization                                        |
3.58/3.49	c |  Objective Function:    PB Constraint                                       |
3.58/3.49	c |                                                                             |
3.58/3.49	c ===============================================================================
1800.07/901.91	c ===============================================================================
1800.07/901.91	c Wall Clock Time: 901.92 s
1800.07/901.91	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3726383-1338659866/watcher-3726383-1338659866 -o /tmp/evaluation-result-3726383-1338659866/solver-3726383-1338659866 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726383-1338659866.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: 3.12 3.63 3.79 4/178 13902
/proc/meminfo: memFree=27519532/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=33172 CPUtime=0 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) R 13900 13902 10982 0 -1 4202496 683 0 0 0 0 0 0 0 20 0 1 0 332111277 33968128 635 33554432000 4194304 5964478 140735687846144 140736334153784 5179243 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 8293 648 170 433 0 964 0

[startup+0.0555791 s]
/proc/loadavg: 3.12 3.63 3.79 4/178 13902
/proc/meminfo: memFree=27519532/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=44052 CPUtime=0.05 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) R 13900 13902 10982 0 -1 4202496 3213 0 0 0 5 0 0 0 20 0 1 0 332111277 45109248 3132 33554432000 4194304 5964478 140735687846144 140736334153784 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 11013 3132 314 433 0 3684 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 44052

[startup+0.100349 s]
/proc/loadavg: 3.12 3.63 3.79 4/178 13902
/proc/meminfo: memFree=27519532/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=50924 CPUtime=0.09 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) R 13900 13902 10982 0 -1 4202496 4870 0 0 0 9 0 0 0 20 0 1 0 332111277 52146176 4740 33554432000 4194304 5964478 140735687846144 140736334153784 4395406 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 12731 4742 440 433 0 5402 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 50924

[startup+0.300252 s]
/proc/loadavg: 3.12 3.63 3.79 4/178 13902
/proc/meminfo: memFree=27519532/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=70248 CPUtime=0.29 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) R 13900 13902 10982 0 -1 4202496 10760 0 0 0 27 2 0 0 20 0 1 0 332111277 71933952 10363 33554432000 4194304 5964478 140735687846144 140736334153784 5131026 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 17562 10363 987 433 0 10233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 70248

[startup+0.700249 s]
/proc/loadavg: 3.12 3.63 3.79 4/178 13902
/proc/meminfo: memFree=27519532/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=118980 CPUtime=0.69 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) R 13900 13902 10982 0 -1 4202496 23942 0 0 0 65 4 0 0 20 0 1 0 332111277 121835520 22501 33554432000 4194304 5964478 140735687846144 140736334153784 4344768 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 29745 22502 2026 433 0 22416 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 118980

[startup+1.50025 s]
/proc/loadavg: 3.12 3.63 3.79 4/179 13903
/proc/meminfo: memFree=27397808/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=213164 CPUtime=1.49 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) R 13900 13902 10982 0 -1 4202496 47004 0 0 0 142 7 0 0 20 0 1 0 332111277 218279936 46550 33554432000 4194304 5964478 140735687846144 140735687844232 5136490 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 53291 46550 3847 433 0 45962 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 213164

[startup+3.10025 s]
/proc/loadavg: 3.11 3.62 3.79 4/179 13903
/proc/meminfo: memFree=27283336/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=336744 CPUtime=3.09 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) R 13900 13902 10982 0 -1 4202496 76915 0 0 0 297 12 0 0 20 0 1 0 332111277 344825856 78446 33554432000 4194304 5964478 140735687846144 140735687844520 5156222 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 84186 78446 6950 433 0 76857 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 336744

[startup+6.30032 s]
/proc/loadavg: 3.11 3.62 3.79 5/181 13905
/proc/meminfo: memFree=26794540/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=877712 CPUtime=9.3 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 166827 0 0 0 882 48 0 0 20 0 3 0 332111277 898777088 186754 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 219428 186756 197 433 0 218992 0
[pid=13902/tid=13904] ppid=13900 vsize=877712 CPUtime=3.1 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 61139 0 0 0 295 15 0 0 20 0 3 0 332111593 898777088 186757 33554432000 4194304 5964478 140735687846144 140066601371976 4445424 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=877712 CPUtime=3.03 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 27049 0 0 0 283 20 0 0 20 0 3 0 332111593 898777088 186757 33554432000 4194304 5964478 140735687846144 140066590882104 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (KiB) 877712

[startup+12.7003 s]
/proc/loadavg: 3.25 3.63 3.79 5/181 13905
/proc/meminfo: memFree=26714996/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=894036 CPUtime=22.09 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 173170 0 0 0 2156 53 0 0 20 0 3 0 332111277 915492864 195491 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 223509 195491 197 433 0 223073 0
[pid=13902/tid=13904] ppid=13900 vsize=894036 CPUtime=9.48 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 66860 0 0 0 930 18 0 0 20 0 3 0 332111593 915492864 195491 33554432000 4194304 5964478 140735687846144 140066601372488 5133904 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=894036 CPUtime=9.42 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 27668 0 0 0 920 22 0 0 20 0 3 0 332111593 915492864 195491 33554432000 4194304 5964478 140735687846144 140066590882104 4403613 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 22.09
Current children cumulated vsize (KiB) 894036

[startup+25.5004 s]
/proc/loadavg: 3.37 3.64 3.79 5/181 13905
/proc/meminfo: memFree=26640212/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=959572 CPUtime=47.68 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 191092 0 0 0 4705 63 0 0 20 0 3 0 332111277 982601728 209871 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 239893 209871 197 433 0 239457 0
[pid=13902/tid=13904] ppid=13900 vsize=959572 CPUtime=22.24 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 84426 0 0 0 2197 27 0 0 20 0 3 0 332111593 982601728 209871 33554432000 4194304 5964478 140735687846144 140066601371992 5133904 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=959572 CPUtime=22.18 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 28024 0 0 0 2196 22 0 0 20 0 3 0 332111593 982601728 209871 33554432000 4194304 5964478 140735687846144 140066590882104 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 47.68
Current children cumulated vsize (KiB) 959572

[startup+51.1003 s]
/proc/loadavg: 3.58 3.67 3.80 5/181 13905
/proc/meminfo: memFree=26429256/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=1221716 CPUtime=98.87 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 226394 0 0 0 9808 79 0 0 20 0 3 0 332111277 1251037184 254371 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 305429 254371 197 433 0 304993 0
[pid=13902/tid=13904] ppid=13900 vsize=1221716 CPUtime=47.78 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 119009 0 0 0 4736 42 0 0 20 0 3 0 332111593 1251037184 254371 33554432000 4194304 5964478 140735687846144 140066601371992 5122301 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=1221716 CPUtime=47.71 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 28743 0 0 0 4747 24 0 0 20 0 3 0 332111593 1251037184 254371 33554432000 4194304 5964478 140735687846144 140066590882104 4389110 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 98.87
Current children cumulated vsize (KiB) 1221716

[startup+102.307 s]
/proc/loadavg: 3.83 3.72 3.81 5/181 13905
/proc/meminfo: memFree=26118844/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=1574004 CPUtime=201.27 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 249612 0 0 0 20024 103 0 0 20 0 3 0 332111277 1611780096 331445 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 393501 331445 197 433 0 393065 0
[pid=13902/tid=13904] ppid=13900 vsize=1574004 CPUtime=98.85 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 140629 0 0 0 9824 61 0 0 20 0 3 0 332111593 1611780096 331445 33554432000 4194304 5964478 140735687846144 140066601372184 5142509 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=1574004 CPUtime=98.78 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 30341 0 0 0 9848 30 0 0 20 0 3 0 332111593 1611780096 331445 33554432000 4194304 5964478 140735687846144 140066590881624 4392863 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 201.27
Current children cumulated vsize (KiB) 1574004

[startup+162.3 s]
/proc/loadavg: 3.94 3.77 3.82 5/182 13908
/proc/meminfo: memFree=25777704/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=1967220 CPUtime=321.23 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 277918 0 0 0 31987 136 0 0 20 0 3 0 332111277 2014433280 412790 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 491805 412790 197 433 0 491369 0
[pid=13902/tid=13904] ppid=13900 vsize=1967220 CPUtime=158.69 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 167449 0 0 0 15777 92 0 0 20 0 3 0 332111593 2014433280 412790 33554432000 4194304 5964478 140735687846144 140066601372056 5143662 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=1967220 CPUtime=158.62 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 31827 0 0 0 15827 35 0 0 20 0 3 0 332111593 2014433280 412790 33554432000 4194304 5964478 140735687846144 140066590882104 4389100 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 321.23
Current children cumulated vsize (KiB) 1967220

[startup+222.3 s]
/proc/loadavg: 3.97 3.81 3.82 5/182 13932
/proc/meminfo: memFree=25432692/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=2381028 CPUtime=441.2 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 359551 0 0 0 43911 209 0 0 20 0 3 0 332111277 2438172672 496970 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 595257 496970 197 433 0 594821 0
[pid=13902/tid=13904] ppid=13900 vsize=2381028 CPUtime=218.54 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 247465 0 0 0 21695 159 0 0 20 0 3 0 332111593 2438172672 496970 33554432000 4194304 5964478 140735687846144 140066601371992 4419188 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=2381028 CPUtime=218.44 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 33444 0 0 0 21802 42 0 0 20 0 3 0 332111593 2438172672 496970 33554432000 4194304 5964478 140735687846144 140066590882104 4392918 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 441.2
Current children cumulated vsize (KiB) 2381028

[startup+282.3 s]
/proc/loadavg: 3.99 3.84 3.83 5/181 13932
/proc/meminfo: memFree=25114684/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=2606260 CPUtime=561.16 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 524224 0 0 0 55761 355 0 0 20 0 3 0 332111277 2668810240 557734 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 651565 557734 197 433 0 651129 0
[pid=13902/tid=13904] ppid=13900 vsize=2606260 CPUtime=278.38 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 410976 0 0 0 27534 304 0 0 20 0 3 0 332111593 2668810240 557734 33554432000 4194304 5964478 140735687846144 140066601372056 5122424 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=2606260 CPUtime=278.28 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 34606 0 0 0 27782 46 0 0 20 0 3 0 332111593 2668810240 557734 33554432000 4194304 5964478 140735687846144 140066590882104 4403708 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 561.16
Current children cumulated vsize (KiB) 2606260

[startup+342.3 s]
/proc/loadavg: 3.99 3.87 3.84 5/181 13932
/proc/meminfo: memFree=24814584/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=2905316 CPUtime=681.12 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 659310 0 0 0 67614 498 0 0 20 0 3 0 332111277 2975043584 634268 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 726329 634268 197 433 0 725893 0
[pid=13902/tid=13904] ppid=13900 vsize=2905316 CPUtime=338.22 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 544663 0 0 0 33380 442 0 0 20 0 3 0 332111593 2975043584 634268 33554432000 4194304 5964478 140735687846144 140066601372056 4376257 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=2905316 CPUtime=338.1 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 36005 0 0 0 33759 51 0 0 20 0 3 0 332111593 2975043584 634268 33554432000 4194304 5964478 140735687846144 140066590882104 4389129 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 681.12
Current children cumulated vsize (KiB) 2905316

[startup+402.3 s]
/proc/loadavg: 3.99 3.89 3.84 5/181 13932
/proc/meminfo: memFree=24481596/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=3323140 CPUtime=801.08 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 800159 0 0 0 79470 638 0 0 20 0 3 0 332111277 3402895360 725072 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 830785 725072 197 433 0 830349 0
[pid=13902/tid=13904] ppid=13900 vsize=3323140 CPUtime=398.06 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 684325 0 0 0 39227 579 0 0 20 0 3 0 332111593 3402895360 725072 33554432000 4194304 5964478 140735687846144 140066601372056 4445550 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=3323140 CPUtime=397.94 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 37192 0 0 0 39738 56 0 0 20 0 3 0 332111593 3402895360 725072 33554432000 4194304 5964478 140735687846144 140066590882152 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 801.08
Current children cumulated vsize (KiB) 3323140

[startup+462.3 s]
/proc/loadavg: 4.03 3.92 3.85 5/181 13932
/proc/meminfo: memFree=24171816/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=3613908 CPUtime=921 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 926848 0 0 0 91321 779 0 0 20 0 3 0 332111277 3700641792 800256 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 903477 800256 197 433 0 903041 0
[pid=13902/tid=13904] ppid=13900 vsize=3613908 CPUtime=457.9 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 809885 0 0 0 45072 718 0 0 20 0 3 0 332111593 3700641792 800256 33554432000 4194304 5964478 140735687846144 140066601372056 5130994 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=3613908 CPUtime=457.73 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 38321 0 0 0 45714 59 0 0 20 0 3 0 332111593 3700641792 800256 33554432000 4194304 5964478 140735687846144 140066590882152 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 921
Current children cumulated vsize (KiB) 3613908

[startup+522.3 s]
/proc/loadavg: 4.01 3.93 3.86 5/181 13933
/proc/meminfo: memFree=23985768/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=3814532 CPUtime=1040.98 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 979345 0 0 0 103240 858 0 0 20 0 3 0 332111277 3906080768 846642 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 953633 846642 197 433 0 953197 0
[pid=13902/tid=13904] ppid=13900 vsize=3814532 CPUtime=517.74 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 861043 0 0 0 50980 794 0 0 20 0 3 0 332111593 3906080768 846642 33554432000 4194304 5964478 140735687846144 140066601372600 4422474 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=3814532 CPUtime=517.57 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 39660 0 0 0 51693 64 0 0 20 0 3 0 332111593 3906080768 846642 33554432000 4194304 5964478 140735687846144 140066590882104 4389147 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1040.98
Current children cumulated vsize (KiB) 3814532

[startup+582.3 s]
/proc/loadavg: 4.00 3.94 3.86 5/181 13933
/proc/meminfo: memFree=23935828/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=3851444 CPUtime=1160.96 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 1003502 0 0 0 115203 893 0 0 20 0 3 0 332111277 3943878656 859149 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 962861 859149 197 433 0 962425 0
[pid=13902/tid=13904] ppid=13900 vsize=3851444 CPUtime=577.59 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 884279 0 0 0 56933 826 0 0 20 0 3 0 332111593 3943878656 859149 33554432000 4194304 5964478 140735687846144 140066601372600 4407163 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=3851444 CPUtime=577.41 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 40581 0 0 0 57673 68 0 0 20 0 3 0 332111593 3943878656 859149 33554432000 4194304 5964478 140735687846144 140066590882104 4389164 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1160.96
Current children cumulated vsize (KiB) 3851444

[startup+642.3 s]
/proc/loadavg: 4.00 3.95 3.87 5/181 13933
/proc/meminfo: memFree=23862524/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=4007124 CPUtime=1280.95 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 1029420 0 0 0 127169 926 0 0 20 0 3 0 332111277 4103294976 876237 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 1001781 876237 197 433 0 1001345 0
[pid=13902/tid=13904] ppid=13900 vsize=4007124 CPUtime=637.44 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 909295 0 0 0 62887 857 0 0 20 0 3 0 332111593 4103294976 876237 33554432000 4194304 5964478 140735687846144 140066601372600 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=4007124 CPUtime=637.26 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 41483 0 0 0 63655 71 0 0 20 0 3 0 332111593 4103294976 876237 33554432000 4194304 5964478 140735687846144 140066590882104 4403370 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1280.95
Current children cumulated vsize (KiB) 4007124

[startup+702.3 s]
/proc/loadavg: 4.00 3.95 3.88 5/181 13933
/proc/meminfo: memFree=23759016/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=4146484 CPUtime=1400.91 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 1047536 0 0 0 139141 950 0 0 20 0 3 0 332111277 4245999616 913629 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 1036621 913629 197 433 0 1036185 0
[pid=13902/tid=13904] ppid=13900 vsize=4146484 CPUtime=697.28 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 926284 0 0 0 68849 879 0 0 20 0 3 0 332111593 4245999616 913629 33554432000 4194304 5964478 140735687846144 140066601372600 5143908 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=4146484 CPUtime=697.09 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 42610 0 0 0 69633 76 0 0 20 0 3 0 332111593 4245999616 913629 33554432000 4194304 5964478 140735687846144 140066590882104 4389129 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1400.91
Current children cumulated vsize (KiB) 4146484

[startup+762.307 s]
/proc/loadavg: 2.73 3.59 3.76 3/174 13961
/proc/meminfo: memFree=24630988/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=4076756 CPUtime=1520.9 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 1056254 0 0 0 151123 967 0 0 20 0 3 0 332111277 4174598144 901101 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 1019189 901101 197 433 0 1018753 0
[pid=13902/tid=13904] ppid=13900 vsize=4076756 CPUtime=757.13 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 933698 0 0 0 74819 894 0 0 20 0 3 0 332111593 4174598144 901101 33554432000 4194304 5964478 140735687846144 140066601372600 4409255 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=4076756 CPUtime=756.93 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 43914 0 0 0 75614 79 0 0 20 0 3 0 332111593 4174598144 901101 33554432000 4194304 5964478 140735687846144 140066590882104 4381993 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1520.9
Current children cumulated vsize (KiB) 4076756

[startup+822.3 s]
/proc/loadavg: 2.27 3.30 3.64 3/173 13962
/proc/meminfo: memFree=24460388/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=4216032 CPUtime=1640.87 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 1078090 0 0 0 163095 992 0 0 20 0 3 0 332111277 4317216768 926296 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 1054008 926296 197 433 0 1053572 0
[pid=13902/tid=13904] ppid=13900 vsize=4216032 CPUtime=816.97 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 954465 0 0 0 80781 916 0 0 20 0 3 0 332111593 4317216768 926296 33554432000 4194304 5964478 140735687846144 140066601372600 4400401 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=4216032 CPUtime=816.76 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 44983 0 0 0 81592 84 0 0 20 0 3 0 332111593 4317216768 926296 33554432000 4194304 5964478 140735687846144 140066590882104 4403343 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1640.87
Current children cumulated vsize (KiB) 4216032

[startup+882.3 s]
/proc/loadavg: 2.10 3.06 3.54 3/173 13962
/proc/meminfo: memFree=24499296/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=4216032 CPUtime=1760.84 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 1106349 0 0 0 175066 1018 0 0 20 0 3 0 332111277 4317216768 933905 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 1054008 933905 197 433 0 1053572 0
[pid=13902/tid=13904] ppid=13900 vsize=4216032 CPUtime=876.81 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 980466 0 0 0 86743 938 0 0 20 0 3 0 332111593 4317216768 933905 33554432000 4194304 5964478 140735687846144 140066601372600 4387939 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=4216032 CPUtime=876.61 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 47241 0 0 0 87570 91 0 0 20 0 3 0 332111593 4317216768 933905 33554432000 4194304 5964478 140735687846144 140066590882104 4222464 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1760.84
Current children cumulated vsize (KiB) 4216032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+901.9 s]
/proc/loadavg: 2.13 3.01 3.51 3/173 13962
/proc/meminfo: memFree=24489428/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=4216032 CPUtime=1800.07 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 1114768 0 0 0 178982 1025 0 0 20 0 3 0 332111277 4317216768 936337 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 1054008 936337 197 433 0 1053572 0
[pid=13902/tid=13904] ppid=13900 vsize=4216032 CPUtime=896.38 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 988514 0 0 0 88694 944 0 0 20 0 3 0 332111593 4317216768 936337 33554432000 4194304 5964478 140735687846144 140066601371544 4400010 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=4216032 CPUtime=896.17 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 47612 0 0 0 89526 91 0 0 20 0 3 0 332111593 4317216768 936337 33554432000 4194304 5964478 140735687846144 140066590882104 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4216032

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

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

[startup+901.9 s]
/proc/loadavg: 2.13 3.01 3.51 3/173 13962
/proc/meminfo: memFree=24489428/32873844 swapFree=7108/7108
[pid=13902] ppid=13900 vsize=4216032 CPUtime=1800.07 cores=0,2,4,6
/proc/13902/stat : 13902 (pwbo2.02) S 13900 13902 10982 0 -1 4202496 1114768 0 0 0 178982 1025 0 0 20 0 3 0 332111277 4317216768 936337 33554432000 4194304 5964478 140735687846144 140735687845664 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13902/statm: 1054008 936337 197 433 0 1053572 0
[pid=13902/tid=13904] ppid=13900 vsize=4216032 CPUtime=896.38 cores=0,2,4,6
/proc/13902/task/13904/stat : 13904 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 988514 0 0 0 88694 944 0 0 20 0 3 0 332111593 4317216768 936337 33554432000 4194304 5964478 140735687846144 140066601371544 4400010 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=13902/tid=13905] ppid=13900 vsize=4216032 CPUtime=896.17 cores=0,2,4,6
/proc/13902/task/13905/stat : 13905 (pwbo2.02) R 13900 13902 10982 0 -1 4202560 47612 0 0 0 89526 91 0 0 20 0 3 0 332111593 4317216768 936337 33554432000 4194304 5964478 140735687846144 140066590882104 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 4216032

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13902 and gives
#  childrusage.ru_utime.tv_sec=1785
#  childrusage.ru_utime.tv_usec=236602
#  childrusage.ru_stime.tv_sec=10
#  childrusage.ru_stime.tv_usec=570393
# CPU time returned by wait4() is 1795.81
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 901.99
CPU time (s): 1800.07
CPU user time (s): 1789.82
CPU system time (s): 10.25
CPU usage (%): 199.567
Max. virtual memory (cumulated for all children) (KiB): 4355392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.24
system time used= 10.5704
maximum resident set size= 3852452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1114770
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= 7208
involuntary context switches= 1895

runsolver used 1.87071 second user time and 5.06523 second system time

The end

Launcher Data 

Begin job on node139 at 2012-06-02 19:57:47
IDJOB=3726383
IDBENCH=90862
IDSOLVER=2309
FILE ID=node139/3726383-1338659866
RUNJOBID= node139-1338651500-12375
PBS_JOBID= 14636441
Free space on /tmp= 71064 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null0mast_rapportOE1.0_TMAX300_K192_cod2.opb
COMMAND LINE= pwbo2.02 -file-format=opb -verbosity=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3726383-1338659866/watcher-3726383-1338659866 -o /tmp/evaluation-result-3726383-1338659866/solver-3726383-1338659866 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726383-1338659866.opb

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

MD5SUM BENCH= bf80427a5518f65f2c0be5c955ae4146
RANDOM SEED=1325359893

node139.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.750
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27519928 kB
Buffers:          485276 kB
Cached:          3272212 kB
SwapCached:          828 kB
Active:          2403060 kB
Inactive:        2075876 kB
Active(anon):     715204 kB
Inactive(anon):     7964 kB
Active(file):    1687856 kB
Inactive(file):  2067912 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67104688 kB
Dirty:             33004 kB
Writeback:             0 kB
AnonPages:        730692 kB
Mapped:            12348 kB
Shmem:                 8 kB
Slab:             732708 kB
SReclaimable:     174816 kB
SUnreclaim:       557892 kB
KernelStack:        1448 kB
PageTables:         5256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     197616 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    251904 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71068 MiB
End job on node139 at 2012-06-02 20:12:51