Trace number 3220558

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
ppfolio seq? (TO) 5000.06 4999.91

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf
MD5SUM57404773f78439bca79cfbdcb4a4a71b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
Number of clauses of size over 50

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 1 processing units
0.00/0.00	This portfolio uses the following solvers:
0.00/0.00	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00	Starting clasp 1.3.6 on core(s) 0
0.00/0.00	Starting TNM 2009 on core(s) 0

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3220558-1303274701/watcher-3220558-1303274701 -o /tmp/evaluation-result-3220558-1303274701/solver-3220558-1303274701 -C 5000 -W 5000 -M 15500 ppfolio --nbcore=1 HOME/instance-3220558-1303274701.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 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: 5.91 5.98 5.99 5/180 28825
/proc/meminfo: memFree=23372264/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18240 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) R 28823 28825 27519 0 -1 4194304 287 0 0 0 0 0 0 0 25 0 1 0 439069751 18677760 235 33554432000 4194304 4287625 140735632903632 18446744073709551615 208075269608 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/28825/statm: 4560 238 201 23 0 57 0

[startup+0.082639 s]
/proc/loadavg: 5.91 5.98 5.99 5/180 28825
/proc/meminfo: memFree=23372264/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 17 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.826416 s]
/proc/loadavg: 5.91 5.98 5.99 5/180 28825
/proc/meminfo: memFree=23372264/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093781132250710016 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.900479 s]
/proc/loadavg: 5.91 5.98 5.99 5/180 28825
/proc/meminfo: memFree=23372264/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093781132250710016 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.00046 s]
/proc/loadavg: 5.91 5.98 5.99 5/180 28825
/proc/meminfo: memFree=23372264/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093781132250710016 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50036 s]
/proc/loadavg: 5.91 5.98 5.99 5/180 28825
/proc/meminfo: memFree=23372264/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093781407128616960 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+3.10106 s]
/proc/loadavg: 5.91 5.98 5.99 7/184 28829
/proc/meminfo: memFree=23358964/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782781518151680 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=7552328 CPUtime=1.59 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 4463 0 0 0 159 0 0 0 20 0 1 0 439069752 7733583872 2972 33554432000 4194304 4587354 140734609872464 18446744073709551615 4365216 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 1888082 2972 337 96 0 1884644 0
[pid=28828] ppid=28825 vsize=13668 CPUtime=0.7 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 893 0 0 0 70 0 0 0 25 0 1 0 439069752 13996032 784 33554432000 4194304 4785740 140734541203328 18446744073709551615 4287254 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 3417 784 340 145 0 462 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=0.79 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 79 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134528955 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8040408

[startup+6.30045 s]
/proc/loadavg: 5.99 6.00 6.00 7/184 28829
/proc/meminfo: memFree=23356008/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093781269689663488 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=753308 CPUtime=2.69 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 5490 0 0 0 269 0 0 0 23 0 1 0 439069752 771387392 2928 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238606 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 188327 2928 337 96 0 184889 0
[pid=28828] ppid=28825 vsize=14212 CPUtime=1.74 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 1024 0 0 0 174 0 0 0 25 0 1 0 439069752 14553088 915 33554432000 4194304 4785740 140734541203328 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 3553 915 340 145 0 598 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=1.84 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 184 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134528523 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1241932

[startup+12.7012 s]
/proc/loadavg: 5.99 6.00 6.00 7/184 28829
/proc/meminfo: memFree=23350212/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093781132250710016 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=757568 CPUtime=4.79 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 7318 0 0 0 479 0 0 0 25 0 1 0 439069752 775749632 4108 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 189392 4108 337 96 0 185954 0
[pid=28828] ppid=28825 vsize=15208 CPUtime=3.9 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 1257 0 0 0 390 0 0 0 25 0 1 0 439069752 15572992 1148 33554432000 4194304 4785740 140734541203328 18446744073709551615 4549029 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 3802 1148 340 145 0 847 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=3.99 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 399 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1247188

[startup+25.5007 s]
/proc/loadavg: 5.99 6.00 6.00 7/184 28829
/proc/meminfo: memFree=23347972/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093781407128616960 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=757548 CPUtime=9.09 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 10306 0 0 0 908 1 0 0 25 0 1 0 439069752 775729152 4250 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238591 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 189387 4250 337 96 0 185949 0
[pid=28828] ppid=28825 vsize=16328 CPUtime=8.14 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 1522 0 0 0 814 0 0 0 25 0 1 0 439069752 16719872 1413 33554432000 4194304 4785740 140734541203328 18446744073709551615 4549865 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 4082 1413 340 145 0 1127 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=8.24 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 824 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134528864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1248288

[startup+51.1008 s]
/proc/loadavg: 5.99 6.00 6.00 7/184 28830
/proc/meminfo: memFree=23354436/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093781407128616960 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=760224 CPUtime=17.59 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 15628 0 0 0 1757 2 0 0 25 0 1 0 439069752 778469376 4929 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 190056 4929 337 96 0 186618 0
[pid=28828] ppid=28825 vsize=17912 CPUtime=16.69 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 1885 0 0 0 1669 0 0 0 25 0 1 0 439069752 18341888 1776 33554432000 4194304 4785740 140734541203328 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 4478 1776 340 145 0 1523 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=16.79 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 1679 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134529880 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1252548

[startup+102.301 s]
/proc/loadavg: 5.99 6.00 6.00 7/184 28831
/proc/meminfo: memFree=23328620/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782781518151680 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=7574156 CPUtime=34.69 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 26833 0 0 0 3465 4 0 0 25 0 1 0 439069752 7755935744 8891 33554432000 4194304 4587354 140734609872464 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 1893539 8891 337 96 0 1890101 0
[pid=28828] ppid=28825 vsize=19464 CPUtime=33.75 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 2265 0 0 0 3375 0 0 0 25 0 1 0 439069752 19931136 2156 33554432000 4194304 4785740 140734541203328 18446744073709551615 4278121 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 4866 2156 341 145 0 1911 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=33.84 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 3384 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134528913 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 8068032

[startup+162.301 s]
/proc/loadavg: 5.99 6.00 6.00 7/184 28833
/proc/meminfo: memFree=23313960/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093781407128616960 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=788896 CPUtime=54.69 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 33463 0 0 0 5464 5 0 0 25 0 1 0 439069752 807829504 9467 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238578 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 197224 9467 337 96 0 193786 0
[pid=28828] ppid=28825 vsize=21428 CPUtime=53.76 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 2680 0 0 0 5376 0 0 0 25 0 1 0 439069752 21942272 2571 33554432000 4194304 4785740 140734541203328 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 5357 2571 341 145 0 2402 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=53.84 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 5384 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1284736

[startup+222.301 s]

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

/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 4542.43
Current children cumulated vsize (KiB) 1370268

[startup+4602.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 29063
/proc/meminfo: memFree=23265916/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782231762337792 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=823288 CPUtime=1534.76 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 212484 0 0 0 153429 47 0 0 25 0 1 0 439069752 843046912 22344 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238616 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 205822 22344 337 96 0 202384 0
[pid=28828] ppid=28825 vsize=38552 CPUtime=1533.77 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 6690 0 0 0 153377 0 0 0 25 0 1 0 439069752 39477248 6581 33554432000 4194304 4785740 140734541203328 18446744073709551615 4286964 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 9638 6581 341 145 0 6683 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=1533.91 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 153391 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134528988 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 4602.44
Current children cumulated vsize (KiB) 1336252

[startup+4662.3 s]
/proc/loadavg: 6.03 6.01 6.00 7/184 29065
/proc/meminfo: memFree=23274440/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782231762337792 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=823288 CPUtime=1554.76 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 212861 0 0 0 155429 47 0 0 25 0 1 0 439069752 843046912 22710 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238591 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 205822 22710 337 96 0 202384 0
[pid=28828] ppid=28825 vsize=38552 CPUtime=1553.78 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 6693 0 0 0 155378 0 0 0 25 0 1 0 439069752 39477248 6584 33554432000 4194304 4785740 140734541203328 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 9638 6584 341 145 0 6683 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=1553.91 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 155391 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 7937251 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 4662.45
Current children cumulated vsize (KiB) 1336252

[startup+4722.3 s]
/proc/loadavg: 6.01 6.01 6.00 7/184 29067
/proc/meminfo: memFree=23252220/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782231762337792 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=857452 CPUtime=1574.75 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 216694 0 0 0 157427 48 0 0 25 0 1 0 439069752 878030848 25505 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238639 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 214363 25505 337 96 0 210925 0
[pid=28828] ppid=28825 vsize=38552 CPUtime=1573.79 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 6695 0 0 0 157379 0 0 0 25 0 1 0 439069752 39477248 6586 33554432000 4194304 4785740 140734541203328 18446744073709551615 4287088 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 9638 6586 341 145 0 6683 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=1573.9 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 157390 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134528404 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 1370416

[startup+4782.3 s]
/proc/loadavg: 6.06 6.02 6.00 7/184 29071
/proc/meminfo: memFree=23253576/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782231762337792 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=857452 CPUtime=1594.74 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 218835 0 0 0 159425 49 0 0 25 0 1 0 439069752 878030848 27600 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 214363 27600 337 96 0 210925 0
[pid=28828] ppid=28825 vsize=38552 CPUtime=1593.8 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 6695 0 0 0 159380 0 0 0 25 0 1 0 439069752 39477248 6586 33554432000 4194304 4785740 140734541203328 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 9638 6586 341 145 0 6683 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=1593.9 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 159390 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134530630 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 4782.44
Current children cumulated vsize (KiB) 1370416

[startup+4842.3 s]
/proc/loadavg: 6.02 6.01 6.00 7/184 29073
/proc/meminfo: memFree=23262596/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782231762337792 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=823288 CPUtime=1614.75 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 218967 0 0 0 161425 50 0 0 25 0 1 0 439069752 843046912 22361 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 205822 22361 337 96 0 202384 0
[pid=28828] ppid=28825 vsize=38552 CPUtime=1613.8 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 6696 0 0 0 161380 0 0 0 25 0 1 0 439069752 39477248 6587 33554432000 4194304 4785740 140734541203328 18446744073709551615 4553366 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 9638 6587 341 145 0 6683 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=1613.9 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 161390 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134528486 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 4842.45
Current children cumulated vsize (KiB) 1336252

[startup+4902.31 s]
/proc/loadavg: 6.01 6.00 6.00 7/184 29074
/proc/meminfo: memFree=23266424/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782231762337792 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=857600 CPUtime=1634.75 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 221916 0 0 0 163424 51 0 0 25 0 1 0 439069752 878182400 24210 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238392 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 214400 24210 337 96 0 210962 0
[pid=28828] ppid=28825 vsize=39060 CPUtime=1633.82 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 6766 0 0 0 163382 0 0 0 25 0 1 0 439069752 39997440 6657 33554432000 4194304 4785740 140734541203328 18446744073709551615 4278129 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 9765 6657 341 145 0 6810 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=1633.9 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 163390 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134529675 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 4902.47
Current children cumulated vsize (KiB) 1371072

[startup+4962.3 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 29076
/proc/meminfo: memFree=23246812/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782231762337792 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=857600 CPUtime=1654.74 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 224573 0 0 0 165422 52 0 0 25 0 1 0 439069752 878182400 26797 33554432000 4194304 4587354 140734609872464 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 214400 26797 337 96 0 210962 0
[pid=28828] ppid=28825 vsize=39312 CPUtime=1653.82 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 6812 0 0 0 165382 0 0 0 25 0 1 0 439069752 40255488 6703 33554432000 4194304 4785740 140734541203328 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 9828 6703 341 145 0 6873 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=1653.89 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 165389 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134529777 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 4962.45
Current children cumulated vsize (KiB) 1371324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 6.00 6.00 6.00 7/184 29077
/proc/meminfo: memFree=23251140/32950928 swapFree=67111524/67111528
[pid=28825] ppid=28823 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/28825/stat : 28825 (ppfolio) S 28823 28825 27519 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 439069751 18763776 394 33554432000 4194304 4287625 140735632903632 18446744073709551615 208080252431 0 0 4096 65536 4093782231762337792 0 0 17 2 0 0 0
/proc/28825/statm: 4581 394 345 23 0 91 0
[pid=28827] ppid=28825 vsize=857600 CPUtime=1667.24 cores=0
/proc/28827/stat : 28827 (cryptominisat) R 28825 28825 27519 0 -1 4202496 225653 0 0 0 166672 52 0 0 25 0 1 0 439069752 878182400 27850 33554432000 4194304 4587354 140734609872464 18446744073709551615 4232088 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/28827/statm: 214400 27850 337 96 0 210962 0
[pid=28828] ppid=28825 vsize=39312 CPUtime=1666.33 cores=0
/proc/28828/stat : 28828 (clasp) R 28825 28825 27519 0 -1 4202496 6835 0 0 0 166633 0 0 0 25 0 1 0 439069752 40255488 6726 33554432000 4194304 4785740 140734541203328 18446744073709551615 4287579 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/28828/statm: 9828 6726 341 145 0 6873 0
[pid=28829] ppid=28825 vsize=456088 CPUtime=1666.49 cores=0
/proc/28829/stat : 28829 (TNM) R 28825 28825 27519 0 -1 4202496 387 0 0 0 166649 0 0 0 25 0 1 0 439069752 467034112 284 33554432000 134512640 134534564 4289381840 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/28829/statm: 114022 284 95 6 0 112688 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 1371324

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28825 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 5000.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 4999.91
CPU time (s): 5000.06
CPU user time (s): 4999.54
CPU system time (s): 0.52
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 8951064

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

runsolver used 8.78366 second user time and 18.1632 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-20 06:45:01
IDJOB=3220558
IDBENCH=82776
IDSOLVER=1639
FILE ID=node127/3220558-1303274701
RUNJOBID= node127-1303259272-27537
PBS_JOBID= 13049501
Free space on /tmp= 72008 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3220558-1303274701/watcher-3220558-1303274701 -o /tmp/evaluation-result-3220558-1303274701/solver-3220558-1303274701 -C 5000 -W 5000 -M 15500  ppfolio --nbcore=1 HOME/instance-3220558-1303274701.cnf

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

MD5SUM BENCH= 57404773f78439bca79cfbdcb4a4a71b
RANDOM SEED=411084919

node127.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23372544 kB
Buffers:        812760 kB
Cached:        8251868 kB
SwapCached:          4 kB
Active:        4729736 kB
Inactive:      4497572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23372544 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           10128 kB
Writeback:           0 kB
AnonPages:      162148 kB
Mapped:          16440 kB
Slab:           286852 kB
PageTables:       4852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   766976 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72000 MiB
End job on node127 at 2011-04-20 08:08:23