Trace number 3704716

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
wbo 1.7? 1799.62 1800.01

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
MD5SUMf8964c43535341fcc69e672675167b77
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark23.1595
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables490
Total number of constraints1085
Number of constraints which are clauses738
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints345
Minimum length of a constraint1
Maximum length of a constraint169
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 193
Number of bits of the biggest sum of numbers8
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 |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3704716-1338075158.opb.
0.00/0.00	c Instance file HOME/instance-3704716-1338075158.opb
0.00/0.00	c File size is 55178 bytes.
0.00/0.00	c Highest Coefficient sum: 193
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      490                                                 |
0.00/0.00	c |  Number Clauses:        738                                                 |
0.00/0.00	c |  Number Cardinality:    2                                                   |
0.00/0.00	c |  Number PB Constraints: 345                                                 |
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Problem Type:          Decision                                            |
0.00/0.00	c |  Objective Function:    None                                                |
0.00/0.00	c |                                                                             |
0.00/0.00	c ===============================================================================
1799.62/1800.00	c ===============================================================================
1799.62/1800.00	c Wall Clock Time: 1800.00 s
1799.62/1800.00	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-3704716-1338075158/watcher-3704716-1338075158 -o /tmp/evaluation-result-3704716-1338075158/solver-3704716-1338075158 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704716-1338075158.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28323
/proc/meminfo: memFree=28849400/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=3584 CPUtime=0 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) R 28321 28323 27916 0 -1 4202496 387 0 0 0 0 0 0 0 20 0 1 0 273641660 3670016 325 33554432000 4194304 5963574 140734644865184 140736971181032 4296686 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 896 338 170 432 0 461 0

[startup+0.0524961 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28323
/proc/meminfo: memFree=28849400/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=83976 CPUtime=0.04 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 1073 0 0 0 4 0 0 0 20 0 2 0 273641660 85991424 1011 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 20994 1011 188 432 0 20559 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 83976

[startup+0.100153 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28323
/proc/meminfo: memFree=28849400/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=83976 CPUtime=0.09 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 1225 0 0 0 9 0 0 0 20 0 2 0 273641660 85991424 1163 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 20994 1163 188 432 0 20559 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83976

[startup+0.300114 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28323
/proc/meminfo: memFree=28849400/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=83976 CPUtime=0.29 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 1668 0 0 0 29 0 0 0 20 0 2 0 273641660 85991424 1606 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 20994 1606 188 432 0 20559 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83976

[startup+0.700112 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 28323
/proc/meminfo: memFree=28849400/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=83976 CPUtime=0.69 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 2273 0 0 0 69 0 0 0 20 0 2 0 273641660 85991424 2211 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 20994 2211 188 432 0 20559 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83976

[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28325
/proc/meminfo: memFree=28838844/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=83976 CPUtime=1.49 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 3082 0 0 0 148 1 0 0 20 0 2 0 273641660 85991424 3020 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 20994 3020 188 432 0 20559 0
[pid=28323/tid=28325] ppid=28321 vsize=83976 CPUtime=1.47 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 2282 0 0 0 147 0 0 0 20 0 2 0 273641661 85991424 3020 33554432000 4194304 5963574 140734644865184 140476365719544 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83976

[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28325
/proc/meminfo: memFree=28836008/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=84120 CPUtime=3.09 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 3583 0 0 0 308 1 0 0 20 0 2 0 273641660 86138880 3521 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 21030 3521 188 432 0 20595 0
[pid=28323/tid=28325] ppid=28321 vsize=84120 CPUtime=3.07 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 2783 0 0 0 306 1 0 0 20 0 2 0 273641661 86138880 3521 33554432000 4194304 5963574 140734644865184 140476365719544 5178767 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84120

[startup+6.30106 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28325
/proc/meminfo: memFree=28830844/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=84336 CPUtime=6.28 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 4832 0 0 0 627 1 0 0 20 0 2 0 273641660 86360064 4770 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 21084 4770 188 432 0 20649 0
[pid=28323/tid=28325] ppid=28321 vsize=84336 CPUtime=6.26 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 4032 0 0 0 625 1 0 0 20 0 2 0 273641661 86360064 4770 33554432000 4194304 5963574 140734644865184 140476365719064 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84336

[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28325
/proc/meminfo: memFree=28821724/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=85128 CPUtime=12.69 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 6669 0 0 0 1267 2 0 0 20 0 2 0 273641660 87171072 6607 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 21282 6607 188 432 0 20847 0
[pid=28323/tid=28325] ppid=28321 vsize=85128 CPUtime=12.64 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 5869 0 0 0 1262 2 0 0 20 0 2 0 273641661 87171072 6607 33554432000 4194304 5963574 140734644865184 140476365719352 4400040 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85128

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28325
/proc/meminfo: memFree=28802880/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=87468 CPUtime=25.47 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 9594 0 0 0 2543 4 0 0 20 0 2 0 273641660 89567232 9562 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 21867 9562 188 432 0 21432 0
[pid=28323/tid=28325] ppid=28321 vsize=87468 CPUtime=25.4 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 8794 0 0 0 2536 4 0 0 20 0 2 0 273641661 89567232 9562 33554432000 4194304 5963574 140734644865184 140476365719544 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 87468

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28325
/proc/meminfo: memFree=28773200/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=92200 CPUtime=51.06 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 14875 0 0 0 5101 5 0 0 20 0 2 0 273641660 94412800 15037 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 23050 15037 188 432 0 22615 0
[pid=28323/tid=28325] ppid=28321 vsize=92200 CPUtime=50.93 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 14075 0 0 0 5088 5 0 0 20 0 2 0 273641661 94412800 15037 33554432000 4194304 5963574 140734644865184 140476365719544 4399488 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 92200

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28325
/proc/meminfo: memFree=28745656/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=94384 CPUtime=102.26 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 19187 0 0 0 10219 7 0 0 20 0 2 0 273641660 96649216 19349 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 23596 19349 188 432 0 23161 0
[pid=28323/tid=28325] ppid=28321 vsize=94384 CPUtime=102.01 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 18387 0 0 0 10193 8 0 0 20 0 2 0 273641661 96649216 19349 33554432000 4194304 5963574 140734644865184 140476365719592 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 94384

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28325
/proc/meminfo: memFree=28713416/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=163852 CPUtime=162.25 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 25804 0 0 0 16214 11 0 0 20 0 2 0 273641660 167784448 25966 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 40963 25966 188 432 0 40528 0
[pid=28323/tid=28325] ppid=28321 vsize=163852 CPUtime=161.84 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 25004 0 0 0 16171 13 0 0 20 0 2 0 273641661 167784448 25966 33554432000 4194304 5963574 140734644865184 140476365719352 4400064 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 163852

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28325
/proc/meminfo: memFree=28678156/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=170768 CPUtime=222.23 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 30134 0 0 0 22208 15 0 0 20 0 2 0 273641660 174866432 30283 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 42692 30283 188 432 0 42257 0
[pid=28323/tid=28325] ppid=28321 vsize=170768 CPUtime=221.67 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 29334 0 0 0 22149 18 0 0 20 0 2 0 273641661 174866432 30283 33554432000 4194304 5963574 140734644865184 140476365719544 4399651 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 170768

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28326
/proc/meminfo: memFree=28656248/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=172884 CPUtime=282.21 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 35812 0 0 0 28202 19 0 0 20 0 2 0 273641660 177033216 35965 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 43221 35965 188 432 0 42786 0
[pid=28323/tid=28325] ppid=28321 vsize=172884 CPUtime=281.51 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 35012 0 0 0 28129 22 0 0 20 0 2 0 273641661 177033216 35965 33554432000 4194304 5963574 140734644865184 140476365719592 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 172884

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28326
/proc/meminfo: memFree=28647684/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=174300 CPUtime=342.2 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 37553 0 0 0 34199 21 0 0 20 0 2 0 273641660 178483200 37706 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 43575 37706 188 432 0 43140 0
[pid=28323/tid=28325] ppid=28321 vsize=174300 CPUtime=341.35 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 36753 0 0 0 34109 26 0 0 20 0 2 0 273641661 178483200 37706 33554432000 4194304 5963574 140734644865184 140476365719352 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 174300

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28326
/proc/meminfo: memFree=28633424/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=244168 CPUtime=402.19 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 39634 0 0 0 40197 22 0 0 20 0 2 0 273641660 250028032 39782 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 61042 39782 188 432 0 60607 0
[pid=28323/tid=28325] ppid=28321 vsize=244168 CPUtime=401.2 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 38834 0 0 0 40092 28 0 0 20 0 2 0 273641661 250028032 39782 33554432000 4194304 5963574 140734644865184 140476365719544 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 244168

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28329
/proc/meminfo: memFree=28602116/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=245240 CPUtime=462.16 cores=1,3,5,7

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


[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28374
/proc/meminfo: memFree=28622004/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=326740 CPUtime=1361.99 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 72813 0 0 0 136137 62 0 0 20 0 2 0 273641660 334581760 73446 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 81685 73446 188 432 0 81250 0
[pid=28323/tid=28325] ppid=28321 vsize=326740 CPUtime=1358.66 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 72013 0 0 0 135784 82 0 0 20 0 2 0 273641661 334581760 73446 33554432000 4194304 5963574 140734644865184 140476365719592 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 326740

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28374
/proc/meminfo: memFree=28603420/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=327568 CPUtime=1422 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 72955 0 0 0 142137 63 0 0 20 0 2 0 273641660 335429632 73588 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 81892 73588 188 432 0 81457 0
[pid=28323/tid=28325] ppid=28321 vsize=327568 CPUtime=1418.51 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 72155 0 0 0 141768 83 0 0 20 0 2 0 273641661 335429632 73588 33554432000 4194304 5963574 140734644865184 140476365719592 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 327568

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28374
/proc/meminfo: memFree=28580736/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=394464 CPUtime=1481.98 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 76718 0 0 0 148130 68 0 0 20 0 2 0 273641660 403931136 77351 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 98616 77351 188 432 0 98181 0
[pid=28323/tid=28325] ppid=28321 vsize=394464 CPUtime=1478.35 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 75918 0 0 0 147745 90 0 0 20 0 2 0 273641661 403931136 77351 33554432000 4194304 5963574 140734644865184 140476365719544 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 394464

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28375
/proc/meminfo: memFree=28549000/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=394948 CPUtime=1541.97 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 79592 0 0 0 154127 70 0 0 20 0 2 0 273641660 404426752 80225 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 98737 80225 188 432 0 98302 0
[pid=28323/tid=28325] ppid=28321 vsize=394948 CPUtime=1538.2 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 78792 0 0 0 153727 93 0 0 20 0 2 0 273641661 404426752 80225 33554432000 4194304 5963574 140734644865184 140476365719352 4399468 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 394948

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28375
/proc/meminfo: memFree=28543916/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=395780 CPUtime=1601.96 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 79761 0 0 0 160126 70 0 0 20 0 2 0 273641660 405278720 80394 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 98945 80394 188 432 0 98510 0
[pid=28323/tid=28325] ppid=28321 vsize=395780 CPUtime=1598.04 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 78961 0 0 0 159710 94 0 0 20 0 2 0 273641661 405278720 80394 33554432000 4194304 5963574 140734644865184 140476365719592 4381793 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 395780

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 28378
/proc/meminfo: memFree=28523076/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=396588 CPUtime=1661.94 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 80980 0 0 0 166121 73 0 0 20 0 2 0 273641660 406106112 81603 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 99147 81603 188 432 0 98712 0
[pid=28323/tid=28325] ppid=28321 vsize=396588 CPUtime=1657.87 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 80180 0 0 0 165689 98 0 0 20 0 2 0 273641661 406106112 81603 33554432000 4194304 5963574 140734644865184 140476365719544 4400168 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 396588

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 28400
/proc/meminfo: memFree=28505932/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=396964 CPUtime=1721.93 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 84872 0 0 0 172114 79 0 0 20 0 2 0 273641660 406491136 85495 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 99241 85495 188 432 0 98806 0
[pid=28323/tid=28325] ppid=28321 vsize=396964 CPUtime=1717.72 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 84072 0 0 0 171667 105 0 0 20 0 2 0 273641661 406491136 85495 33554432000 4194304 5963574 140734644865184 140476365719544 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 396964

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28400
/proc/meminfo: memFree=28489124/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=398760 CPUtime=1781.92 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 87057 0 0 0 178110 82 0 0 20 0 2 0 273641660 408330240 87680 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 99690 87680 188 432 0 99255 0
[pid=28323/tid=28325] ppid=28321 vsize=398760 CPUtime=1777.56 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 86257 0 0 0 177647 109 0 0 20 0 2 0 273641661 408330240 87680 33554432000 4194304 5963574 140734644865184 140476365719352 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 398760

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

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28401
/proc/meminfo: memFree=28488628/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=399160 CPUtime=1791.63 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 87125 0 0 0 179081 82 0 0 20 0 2 0 273641660 408739840 87748 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 99790 87748 188 432 0 99355 0
[pid=28323/tid=28325] ppid=28321 vsize=399160 CPUtime=1787.24 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 86325 0 0 0 178615 109 0 0 20 0 2 0 273641661 408739840 87748 33554432000 4194304 5963574 140734644865184 140476365719592 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (KiB) 399160

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28401
/proc/meminfo: memFree=28488564/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=399160 CPUtime=1794.83 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 87125 0 0 0 179401 82 0 0 20 0 2 0 273641660 408739840 87748 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 99790 87748 188 432 0 99355 0
[pid=28323/tid=28325] ppid=28321 vsize=399160 CPUtime=1790.44 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 86325 0 0 0 178935 109 0 0 20 0 2 0 273641661 408739840 87748 33554432000 4194304 5963574 140734644865184 140476365719592 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.83
Current children cumulated vsize (KiB) 399160

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28401
/proc/meminfo: memFree=28488564/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=399160 CPUtime=1798.02 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 87125 0 0 0 179720 82 0 0 20 0 2 0 273641660 408739840 87748 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 99790 87748 188 432 0 99355 0
[pid=28323/tid=28325] ppid=28321 vsize=399160 CPUtime=1793.62 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 86325 0 0 0 179253 109 0 0 20 0 2 0 273641661 408739840 87748 33554432000 4194304 5963574 140734644865184 140476365719592 4378784 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 399160

[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28401
/proc/meminfo: memFree=28488564/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=399160 CPUtime=1798.82 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 87125 0 0 0 179800 82 0 0 20 0 2 0 273641660 408739840 87748 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 99790 87748 188 432 0 99355 0
[pid=28323/tid=28325] ppid=28321 vsize=399160 CPUtime=1794.42 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 86325 0 0 0 179333 109 0 0 20 0 2 0 273641661 408739840 87748 33554432000 4194304 5963574 140734644865184 140476365719592 4378528 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.82
Current children cumulated vsize (KiB) 399160

[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28401
/proc/meminfo: memFree=28488564/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=399160 CPUtime=1799.23 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 87125 0 0 0 179841 82 0 0 20 0 2 0 273641660 408739840 87748 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 99790 87748 188 432 0 99355 0
[pid=28323/tid=28325] ppid=28321 vsize=399160 CPUtime=1794.82 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 86325 0 0 0 179373 109 0 0 20 0 2 0 273641661 408739840 87748 33554432000 4194304 5963574 140734644865184 140476365719592 4378768 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.23
Current children cumulated vsize (KiB) 399160

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28401
/proc/meminfo: memFree=28488564/32873648 swapFree=6844/6844
[pid=28323] ppid=28321 vsize=399160 CPUtime=1799.62 cores=1,3,5,7
/proc/28323/stat : 28323 (wbo1.7) S 28321 28323 27916 0 -1 4202496 87125 0 0 0 179880 82 0 0 20 0 2 0 273641660 408739840 87748 33554432000 4194304 5963574 140734644865184 140734644864704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28323/statm: 99790 87748 188 432 0 99355 0
[pid=28323/tid=28325] ppid=28321 vsize=399160 CPUtime=1795.22 cores=1,3,5,7
/proc/28323/task/28325/stat : 28325 (wbo1.7) R 28321 28323 27916 0 -1 4202560 86325 0 0 0 179413 109 0 0 20 0 2 0 273641661 408739840 87748 33554432000 4194304 5963574 140734644865184 140476365719592 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 399160

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28323 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=142248
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=106831
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1799.62
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.62
CPU user time (s): 1798.8
CPU system time (s): 0.82
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 399160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.14
system time used= 1.10683
maximum resident set size= 350996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87126
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= 122
involuntary context switches= 5392

runsolver used 2.6256 second user time and 7.52486 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-27 01:32:38
IDJOB=3704716
IDBENCH=1160
IDSOLVER=2283
FILE ID=node124/3704716-1338075158
RUNJOBID= node124-1338072365-27933
PBS_JOBID= 14624420
Free space on /tmp= 71372 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3704716-1338075158/watcher-3704716-1338075158 -o /tmp/evaluation-result-3704716-1338075158/solver-3704716-1338075158 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3704716-1338075158.opb

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

MD5SUM BENCH= f8964c43535341fcc69e672675167b77
RANDOM SEED=223879867

node124.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		: 2667.325
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	: 5334.65
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5357.53
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.04
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		: 2667.325
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	: 5385.03
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		: 2667.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28849556 kB
Buffers:          321836 kB
Cached:          2701224 kB
SwapCached:            0 kB
Active:          1120532 kB
Inactive:        2095836 kB
Active(anon):     195292 kB
Inactive(anon):        0 kB
Active(file):     925240 kB
Inactive(file):  2095836 kB
Unevictable:        6844 kB
Mlocked:            6844 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              5520 kB
Writeback:             4 kB
AnonPages:        201080 kB
Mapped:            15124 kB
Shmem:               200 kB
Slab:             667172 kB
SReclaimable:     111628 kB
SUnreclaim:       555544 kB
KernelStack:        1456 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     174660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71368 MiB
End job on node124 at 2012-05-27 02:02:38