Trace number 3726371

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.46 902.024

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb
MD5SUMcf9128b870ef9b100d6538eb54f0c456
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-451
Best CPU time to get the best result obtained on this benchmark1800.75
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 512
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 6807
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 65956
Number of bits of the biggest sum of numbers17
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-3726371-1338668405.opb.
0.00/0.00	c Instance file HOME/instance-3726371-1338668405.opb
0.00/0.00	c File size is 28230531 bytes.
3.08/3.33	c Cost Offset: -6807
3.08/3.33	c Highest Coefficient sum: 65956
3.08/4.14	c ============================[ Problem Statistics ]=============================
3.08/4.14	c |                                                                             |
3.08/4.14	c |  Parsing time:          3.33         s                                      |
3.08/4.14	c |  Number Variables:      400896                                              |
3.08/4.14	c |  Number Clauses:        400785                                              |
3.08/4.14	c |  Number Cardinality:    1977                                                |
3.08/4.14	c |  Number PB Constraints: 1                                                   |
3.08/4.14	c |                                                                             |
3.08/4.14	c |  Problem Type:          Optimization                                        |
3.08/4.14	c |  Objective Function:    PB Constraint                                       |
3.08/4.14	c |                                                                             |
3.08/4.14	c ===============================================================================
1800.06/902.01	c ===============================================================================
1800.06/902.01	c Wall Clock Time: 902.01 s
1800.06/902.01	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-3726371-1338668405/watcher-3726371-1338668405 -o /tmp/evaluation-result-3726371-1338668405/solver-3726371-1338668405 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726371-1338668405.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: 4.00 3.90 3.22 2/172 17641
/proc/meminfo: memFree=27970292/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=32812 CPUtime=0 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) R 17639 17641 17516 0 -1 4202496 616 0 0 0 0 0 0 0 20 0 1 0 332966466 33599488 568 33554432000 4194304 5964478 140733842644512 140734789769224 4395339 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 8203 569 167 433 0 874 0

[startup+0.00999407 s]
/proc/loadavg: 4.00 3.90 3.22 2/172 17641
/proc/meminfo: memFree=27970292/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=33924 CPUtime=0 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) R 17639 17641 17516 0 -1 4202496 910 0 0 0 0 0 0 0 20 0 1 0 332966466 34738176 862 33554432000 4194304 5964478 140733842644512 140734789769224 4339381 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 8481 869 176 433 0 1152 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 33924

[startup+0.100215 s]
/proc/loadavg: 4.00 3.90 3.22 2/172 17641
/proc/meminfo: memFree=27970292/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=47972 CPUtime=0.09 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) R 17639 17641 17516 0 -1 4202496 4458 0 0 0 9 0 0 0 20 0 1 0 332966466 49123328 4328 33554432000 4194304 5964478 140733842644512 140733842642808 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 11993 4328 412 433 0 4664 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 47972

[startup+0.300222 s]
/proc/loadavg: 4.00 3.90 3.22 2/172 17641
/proc/meminfo: memFree=27970292/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=68532 CPUtime=0.29 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) R 17639 17641 17516 0 -1 4202496 10289 0 0 0 28 1 0 0 20 0 1 0 332966466 70176768 9892 33554432000 4194304 5964478 140733842644512 140733842642808 4339377 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 17133 9892 927 433 0 9804 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68532

[startup+0.700219 s]
/proc/loadavg: 4.00 3.90 3.22 2/172 17641
/proc/meminfo: memFree=27970292/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=113628 CPUtime=0.68 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) R 17639 17641 17516 0 -1 4202496 21746 0 0 0 65 3 0 0 20 0 1 0 332966466 116355072 20815 33554432000 4194304 5964478 140733842644512 140733842643000 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 28407 20817 1884 433 0 21078 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 113628

[startup+1.50022 s]
/proc/loadavg: 4.00 3.90 3.22 3/176 17652
/proc/meminfo: memFree=27758124/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=209072 CPUtime=1.48 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) R 17639 17641 17516 0 -1 4202496 44628 0 0 0 141 7 0 0 20 0 1 0 332966466 214089728 44681 33554432000 4194304 5964478 140733842644512 140733842642856 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 52268 44682 3665 433 0 44939 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 209072

[startup+3.10022 s]
/proc/loadavg: 3.84 3.86 3.21 3/176 17652
/proc/meminfo: memFree=27553472/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=330408 CPUtime=3.08 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) R 17639 17641 17516 0 -1 4202496 74168 0 0 0 294 14 0 0 20 0 1 0 332966466 338337792 76205 33554432000 4194304 5964478 140733842644512 140733842642920 4339172 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 82602 76205 6667 433 0 75273 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 330408

[startup+6.30036 s]
/proc/loadavg: 3.84 3.86 3.21 5/180 17656
/proc/meminfo: memFree=26612944/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=820160 CPUtime=9.02 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 160491 0 0 0 855 47 0 0 20 0 3 0 332966466 839843840 172872 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 205040 172872 196 433 0 204604 0
[pid=17641/tid=17653] ppid=17639 vsize=820160 CPUtime=2.92 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 59672 0 0 0 271 21 0 0 20 0 3 0 332966799 839843840 172872 33554432000 4194304 5964478 140733842644512 140557662444056 4389164 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=820160 CPUtime=2.87 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 23023 0 0 0 276 11 0 0 20 0 3 0 332966799 839843840 172872 33554432000 4194304 5964478 140733842644512 140557651953976 4392882 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 9.02
Current children cumulated vsize (KiB) 820160

[startup+12.7004 s]
/proc/loadavg: 3.86 3.87 3.22 5/180 17656
/proc/meminfo: memFree=26480040/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=885696 CPUtime=21.82 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 165322 0 0 0 2133 49 0 0 20 0 3 0 332966466 906952704 183566 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 221424 183566 197 433 0 220988 0
[pid=17641/tid=17653] ppid=17639 vsize=885696 CPUtime=9.32 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 63492 0 0 0 909 23 0 0 20 0 3 0 332966799 906952704 183566 33554432000 4194304 5964478 140733842644512 140557662443864 4389164 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=885696 CPUtime=9.27 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 24034 0 0 0 916 11 0 0 20 0 3 0 332966799 906952704 183566 33554432000 4194304 5964478 140733842644512 140557651953784 4403343 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 21.82
Current children cumulated vsize (KiB) 885696

[startup+25.5003 s]
/proc/loadavg: 3.88 3.87 3.23 5/180 17657
/proc/meminfo: memFree=26389656/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=885696 CPUtime=47.42 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 169423 0 0 0 4691 51 0 0 20 0 3 0 332966466 906952704 192012 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 221424 192012 197 433 0 220988 0
[pid=17641/tid=17653] ppid=17639 vsize=885696 CPUtime=22.12 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 67260 0 0 0 2188 24 0 0 20 0 3 0 332966799 906952704 192012 33554432000 4194304 5964478 140733842644512 140557662444056 4389170 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=885696 CPUtime=22.07 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 24367 0 0 0 2195 12 0 0 20 0 3 0 332966799 906952704 192012 33554432000 4194304 5964478 140733842644512 140557651953976 4409238 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 47.42
Current children cumulated vsize (KiB) 885696

[startup+51.1003 s]
/proc/loadavg: 3.92 3.88 3.25 5/180 17657
/proc/meminfo: memFree=26285128/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=951232 CPUtime=98.59 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 177340 0 0 0 9805 54 0 0 20 0 3 0 332966466 974061568 198372 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 237808 198372 197 433 0 237372 0
[pid=17641/tid=17653] ppid=17639 vsize=951232 CPUtime=47.71 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 74553 0 0 0 4744 27 0 0 20 0 3 0 332966799 974061568 198372 33554432000 4194304 5964478 140733842644512 140557662443864 4392738 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=951232 CPUtime=47.66 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 24991 0 0 0 4754 12 0 0 20 0 3 0 332966799 974061568 198372 33554432000 4194304 5964478 140733842644512 140557651953976 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 98.59
Current children cumulated vsize (KiB) 951232

[startup+102.3 s]
/proc/loadavg: 3.97 3.90 3.29 5/179 17657
/proc/meminfo: memFree=26165352/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=951232 CPUtime=200.95 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 181462 0 0 0 20038 57 0 0 20 0 3 0 332966466 974061568 197905 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 237808 197905 197 433 0 237372 0
[pid=17641/tid=17653] ppid=17639 vsize=951232 CPUtime=98.9 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 76851 0 0 0 9861 29 0 0 20 0 3 0 332966799 974061568 197905 33554432000 4194304 5964478 140733842644512 140557662444360 4392863 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=951232 CPUtime=98.84 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 26815 0 0 0 9869 15 0 0 20 0 3 0 332966799 974061568 197905 33554432000 4194304 5964478 140733842644512 140557651953976 4392805 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 200.95
Current children cumulated vsize (KiB) 951232

[startup+162.3 s]
/proc/loadavg: 3.99 3.91 3.33 5/179 17657
/proc/meminfo: memFree=25931384/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=951232 CPUtime=320.94 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 183077 0 0 0 32034 60 0 0 20 0 3 0 332966466 974061568 207026 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 237808 207026 197 433 0 237372 0
[pid=17641/tid=17653] ppid=17639 vsize=951232 CPUtime=158.89 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 77368 0 0 0 15858 31 0 0 20 0 3 0 332966799 974061568 207026 33554432000 4194304 5964478 140733842644512 140557662443864 4389160 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=951232 CPUtime=158.85 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 27913 0 0 0 15867 18 0 0 20 0 3 0 332966799 974061568 207026 33554432000 4194304 5964478 140733842644512 140557651953976 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 320.94
Current children cumulated vsize (KiB) 951232

[startup+222.3 s]
/proc/loadavg: 3.99 3.93 3.37 5/179 17657
/proc/meminfo: memFree=25759580/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=951232 CPUtime=440.91 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 185213 0 0 0 44029 62 0 0 20 0 3 0 332966466 974061568 210392 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 237808 210392 198 433 0 237372 0
[pid=17641/tid=17653] ppid=17639 vsize=951232 CPUtime=218.87 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 78899 0 0 0 21855 32 0 0 20 0 3 0 332966799 974061568 210392 33554432000 4194304 5964478 140733842644512 140557662443864 4410739 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=951232 CPUtime=218.85 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 28518 0 0 0 21864 21 0 0 20 0 3 0 332966799 974061568 210392 33554432000 4194304 5964478 140733842644512 140557651954024 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 440.91
Current children cumulated vsize (KiB) 951232

[startup+282.3 s]
/proc/loadavg: 3.99 3.94 3.41 5/179 17657
/proc/meminfo: memFree=25668744/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=951232 CPUtime=560.87 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 186433 0 0 0 56022 65 0 0 20 0 3 0 332966466 974061568 211660 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 237808 211660 198 433 0 237372 0
[pid=17641/tid=17653] ppid=17639 vsize=951232 CPUtime=278.85 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 78914 0 0 0 27851 34 0 0 20 0 3 0 332966799 974061568 211660 33554432000 4194304 5964478 140733842644512 140557662443864 4389170 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=951232 CPUtime=278.85 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 29723 0 0 0 27861 24 0 0 20 0 3 0 332966799 974061568 211660 33554432000 4194304 5964478 140733842644512 140557651953976 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 560.87
Current children cumulated vsize (KiB) 951232

[startup+342.3 s]
/proc/loadavg: 4.04 3.96 3.45 5/179 17658
/proc/meminfo: memFree=25532508/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=951232 CPUtime=680.83 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 186914 0 0 0 68017 66 0 0 20 0 3 0 332966466 974061568 212133 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 237808 212133 198 433 0 237372 0
[pid=17641/tid=17653] ppid=17639 vsize=951232 CPUtime=338.82 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 78931 0 0 0 33847 35 0 0 20 0 3 0 332966799 974061568 212133 33554432000 4194304 5964478 140733842644512 140557662443864 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=951232 CPUtime=338.85 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 30187 0 0 0 33858 27 0 0 20 0 3 0 332966799 974061568 212133 33554432000 4194304 5964478 140733842644512 140557651954024 4390859 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 680.83
Current children cumulated vsize (KiB) 951232

[startup+402.3 s]
/proc/loadavg: 4.07 3.98 3.48 5/179 17658
/proc/meminfo: memFree=25398700/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=951232 CPUtime=800.81 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 187504 0 0 0 80014 67 0 0 20 0 3 0 332966466 974061568 212818 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 237808 212818 198 433 0 237372 0
[pid=17641/tid=17653] ppid=17639 vsize=951232 CPUtime=398.82 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 78932 0 0 0 39846 36 0 0 20 0 3 0 332966799 974061568 212818 33554432000 4194304 5964478 140733842644512 140557662443864 4222416 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=951232 CPUtime=398.85 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 30776 0 0 0 39856 29 0 0 20 0 3 0 332966799 974061568 212818 33554432000 4194304 5964478 140733842644512 140557651953912 4399854 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 800.81
Current children cumulated vsize (KiB) 951232

[startup+462.3 s]
/proc/loadavg: 4.02 3.98 3.51 5/179 17658
/proc/meminfo: memFree=25320064/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=951232 CPUtime=920.79 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 188053 0 0 0 92011 68 0 0 20 0 3 0 332966466 974061568 213363 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 237808 213363 198 433 0 237372 0
[pid=17641/tid=17653] ppid=17639 vsize=951232 CPUtime=458.82 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 78936 0 0 0 45846 36 0 0 20 0 3 0 332966799 974061568 213363 33554432000 4194304 5964478 140733842644512 140557662443864 4392765 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=951232 CPUtime=458.85 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 31321 0 0 0 45856 29 0 0 20 0 3 0 332966799 974061568 213363 33554432000 4194304 5964478 140733842644512 140557651953976 4381996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 920.79
Current children cumulated vsize (KiB) 951232

[startup+522.3 s]
/proc/loadavg: 4.01 3.98 3.54 5/179 17658
/proc/meminfo: memFree=25174504/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=951232 CPUtime=1040.78 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 188911 0 0 0 104008 70 0 0 20 0 3 0 332966466 974061568 214884 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 237808 214884 198 433 0 237372 0
[pid=17641/tid=17653] ppid=17639 vsize=951232 CPUtime=518.82 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 78937 0 0 0 51845 37 0 0 20 0 3 0 332966799 974061568 214884 33554432000 4194304 5964478 140733842644512 140557662443864 4400033 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=951232 CPUtime=518.86 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 32178 0 0 0 51854 32 0 0 20 0 3 0 332966799 974061568 214884 33554432000 4194304 5964478 140733842644512 140557651953976 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1040.78
Current children cumulated vsize (KiB) 951232

[startup+582.3 s]
/proc/loadavg: 4.00 3.98 3.57 5/179 17658
/proc/meminfo: memFree=24950184/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=1082304 CPUtime=1160.75 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 201413 0 0 0 116000 75 0 0 20 0 3 0 332966466 1108279296 239139 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 270576 239139 198 433 0 270140 0
[pid=17641/tid=17653] ppid=17639 vsize=1082304 CPUtime=578.82 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 90613 0 0 0 57841 41 0 0 20 0 3 0 332966799 1108279296 239139 33554432000 4194304 5964478 140733842644512 140557662443880 4392863 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=1082304 CPUtime=578.86 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 33004 0 0 0 57852 34 0 0 20 0 3 0 332966799 1108279296 239139 33554432000 4194304 5964478 140733842644512 140557651954024 4392863 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1160.75
Current children cumulated vsize (KiB) 1082304

[startup+642.306 s]
/proc/loadavg: 4.00 3.98 3.59 5/180 17662
/proc/meminfo: memFree=24847044/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=1082304 CPUtime=1280.74 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 202511 0 0 0 127998 76 0 0 20 0 3 0 332966466 1108279296 243814 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 270576 243814 198 433 0 270140 0
[pid=17641/tid=17653] ppid=17639 vsize=1082304 CPUtime=638.82 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 90953 0 0 0 63839 43 0 0 20 0 3 0 332966799 1108279296 243814 33554432000 4194304 5964478 140733842644512 140557662443864 4403729 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=1082304 CPUtime=638.86 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 33762 0 0 0 63849 37 0 0 20 0 3 0 332966799 1108279296 243814 33554432000 4194304 5964478 140733842644512 140557651953976 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1280.74
Current children cumulated vsize (KiB) 1082304

[startup+702.3 s]
/proc/loadavg: 4.00 3.98 3.61 5/179 17662
/proc/meminfo: memFree=24727464/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=1082304 CPUtime=1400.72 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 203509 0 0 0 139994 78 0 0 20 0 3 0 332966466 1108279296 244812 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 270576 244812 198 433 0 270140 0
[pid=17641/tid=17653] ppid=17639 vsize=1082304 CPUtime=698.82 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 90953 0 0 0 69838 44 0 0 20 0 3 0 332966799 1108279296 244812 33554432000 4194304 5964478 140733842644512 140557662443864 4389164 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=1082304 CPUtime=698.86 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 34760 0 0 0 69847 39 0 0 20 0 3 0 332966799 1108279296 244812 33554432000 4194304 5964478 140733842644512 140557651953976 4389085 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1400.72
Current children cumulated vsize (KiB) 1082304

[startup+762.3 s]
/proc/loadavg: 4.00 3.98 3.64 5/179 17662
/proc/meminfo: memFree=24605456/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=1082304 CPUtime=1520.7 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 204195 0 0 0 151991 79 0 0 20 0 3 0 332966466 1108279296 245498 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 270576 245498 198 433 0 270140 0
[pid=17641/tid=17653] ppid=17639 vsize=1082304 CPUtime=758.81 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 90953 0 0 0 75836 45 0 0 20 0 3 0 332966799 1108279296 245498 33554432000 4194304 5964478 140733842644512 140557662443864 4222464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=1082304 CPUtime=758.86 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 35446 0 0 0 75845 41 0 0 20 0 3 0 332966799 1108279296 245498 33554432000 4194304 5964478 140733842644512 140557651953976 4381601 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1520.7
Current children cumulated vsize (KiB) 1082304

[startup+822.3 s]
/proc/loadavg: 4.00 3.98 3.65 5/179 17662
/proc/meminfo: memFree=24499092/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=1082304 CPUtime=1640.68 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 204903 0 0 0 163987 81 0 0 20 0 3 0 332966466 1108279296 246206 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 270576 246206 198 433 0 270140 0
[pid=17641/tid=17653] ppid=17639 vsize=1082304 CPUtime=818.81 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 90953 0 0 0 81835 46 0 0 20 0 3 0 332966799 1108279296 246206 33554432000 4194304 5964478 140733842644512 140557662443864 4222464 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=1082304 CPUtime=818.86 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 36154 0 0 0 81842 44 0 0 20 0 3 0 332966799 1108279296 246206 33554432000 4194304 5964478 140733842644512 140557651953976 4381996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1640.68
Current children cumulated vsize (KiB) 1082304

[startup+882.3 s]
/proc/loadavg: 4.00 3.98 3.67 5/179 17662
/proc/meminfo: memFree=24372412/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=1147840 CPUtime=1760.65 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 206327 0 0 0 175983 82 0 0 20 0 3 0 332966466 1175388160 248141 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 286960 248141 198 433 0 286524 0
[pid=17641/tid=17653] ppid=17639 vsize=1147840 CPUtime=878.81 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 91143 0 0 0 87834 47 0 0 20 0 3 0 332966799 1175388160 248141 33554432000 4194304 5964478 140733842644512 140557662443864 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=1147840 CPUtime=878.87 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 37388 0 0 0 87841 46 0 0 20 0 3 0 332966799 1175388160 248141 33554432000 4194304 5964478 140733842644512 140557651953976 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1760.65
Current children cumulated vsize (KiB) 1147840



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+902 s]
/proc/loadavg: 4.00 3.98 3.68 5/179 17662
/proc/meminfo: memFree=24345856/32873852 swapFree=6856/6856
[pid=17641] ppid=17639 vsize=1147840 CPUtime=1800.06 cores=0,2,4,6
/proc/17641/stat : 17641 (pwbo2.02) S 17639 17641 17516 0 -1 4202496 206848 0 0 0 179923 83 0 0 20 0 3 0 332966466 1175388160 248662 33554432000 4194304 5964478 140733842644512 140733842644032 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17641/statm: 286960 248662 198 433 0 286524 0
[pid=17641/tid=17653] ppid=17639 vsize=1147840 CPUtime=898.52 cores=0,2,4,6
/proc/17641/task/17653/stat : 17653 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 91143 0 0 0 89805 47 0 0 20 0 3 0 332966799 1175388160 248662 33554432000 4194304 5964478 140733842644512 140557662443864 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17641/tid=17654] ppid=17639 vsize=1147840 CPUtime=898.57 cores=0,2,4,6
/proc/17641/task/17654/stat : 17654 (pwbo2.02) R 17639 17641 17516 0 -1 4202560 37909 0 0 0 89810 47 0 0 20 0 3 0 332966799 1175388160 248662 33554432000 4194304 5964478 140733842644512 140557651953976 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1147840

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

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

Child status: 0
Real time (s): 902.024
CPU time (s): 1800.46
CPU user time (s): 1799.33
CPU system time (s): 1.13083
CPU usage (%): 199.602
Max. virtual memory (cumulated for all children) (KiB): 1147840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 1.13083
maximum resident set size= 994652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206849
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= 6889
involuntary context switches= 2494

runsolver used 2.00069 second user time and 4.77527 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-02 22:20:06
IDJOB=3726371
IDBENCH=91092
IDSOLVER=2309
FILE ID=node128/3726371-1338668405
RUNJOBID= node128-1338667500-17532
PBS_JOBID= 14636502
Free space on /tmp= 70388 MiB

SOLVER NAME= pwbo 2.02
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null0mast_rapportOE2.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-3726371-1338668405/watcher-3726371-1338668405 -o /tmp/evaluation-result-3726371-1338668405/solver-3726371-1338668405 -C 1800 -W 1900 -M 15500  pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726371-1338668405.opb

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

MD5SUM BENCH= cf9128b870ef9b100d6538eb54f0c456
RANDOM SEED=833288131

node128.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.389
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	: 5332.77
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.389
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.389
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	: 5438.56
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.389
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.389
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.91
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.389
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.389
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.389
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:       32873852 kB
MemFree:        27971400 kB
Buffers:          524512 kB
Cached:          3467408 kB
SwapCached:          784 kB
Active:          1833420 kB
Inactive:        2174884 kB
Active(anon):       6404 kB
Inactive(anon):    11368 kB
Active(file):    1827016 kB
Inactive(file):  2163516 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106552 kB
Dirty:             59392 kB
Writeback:             0 kB
AnonPages:         21216 kB
Mapped:            14000 kB
Shmem:               200 kB
Slab:             754028 kB
SReclaimable:     196248 kB
SUnreclaim:       557780 kB
KernelStack:        1432 kB
PageTables:         4384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     108088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 70372 MiB
End job on node128 at 2012-06-02 22:35:10