Trace number 3258038

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) 1300.01 1300.02

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v945c61409g6.cnf
MD5SUM2094ee8d4e443e860293b947e469bd81
Bench CategoryCRAFTED (crafted 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 variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

Solver Data 

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

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-3258038-1303471028/watcher-3258038-1303471028 -o /tmp/evaluation-result-3258038-1303471028/solver-3258038-1303471028 -C 2400 -W 1300 -M 7680 ppfolio --nbcore=1 HOME/instance-3258038-1303471028.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 10.31 6.57 4.85 10/197 27145
/proc/meminfo: memFree=16956844/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) R 27143 27145 26646 0 -1 4202496 485 0 0 0 0 0 0 0 25 0 1 0 458703284 18763776 392 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446765461 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/27145/statm: 4581 392 343 23 0 91 0

[startup+0.065597 s]
/proc/loadavg: 10.31 6.57 4.85 10/197 27145
/proc/meminfo: memFree=16956844/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4129479805198369028 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100583 s]
/proc/loadavg: 10.31 6.57 4.85 10/197 27145
/proc/meminfo: memFree=16956844/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4129479805198369028 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300552 s]
/proc/loadavg: 10.31 6.57 4.85 10/197 27145
/proc/meminfo: memFree=16956844/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 18 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105432794409205760 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700476 s]
/proc/loadavg: 10.31 6.57 4.85 10/197 27145
/proc/meminfo: memFree=16956844/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 18 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105432794409205760 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50031 s]
/proc/loadavg: 10.31 6.57 4.85 12/201 27149
/proc/meminfo: memFree=16934120/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105433069287112704 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=33856 CPUtime=0.54 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 4596 0 0 0 54 0 0 0 25 0 1 0 458703284 34668544 3228 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 8464 3228 326 96 0 5026 0
[pid=27147] ppid=27145 vsize=16312 CPUtime=0.42 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 1819 0 0 0 42 0 0 0 25 0 1 0 458703284 16703488 1411 33554432000 4194304 4785740 140737108547488 18446744073709551615 4548952 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 4078 1411 340 145 0 1123 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=0.52 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 52 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134529084 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 527484

[startup+3.10103 s]
/proc/loadavg: 10.31 6.57 4.85 12/201 27149
/proc/meminfo: memFree=16931764/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105433344165019648 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=33856 CPUtime=1.03 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 4932 0 0 0 103 0 0 0 25 0 1 0 458703284 34668544 3554 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238752 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 8464 3554 326 96 0 5026 0
[pid=27147] ppid=27145 vsize=18296 CPUtime=0.93 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 2325 0 0 0 93 0 0 0 25 0 1 0 458703284 18735104 1917 33554432000 4194304 4785740 140737108547488 18446744073709551615 4278070 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 4574 1917 340 145 0 1619 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=1.11 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 111 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134530582 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 529468

[startup+6.30043 s]
/proc/loadavg: 10.37 6.64 4.88 12/201 27149
/proc/meminfo: memFree=16923856/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105432794409205760 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1789324 CPUtime=2.14 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 6451 0 0 0 213 1 0 0 25 0 1 0 458703284 1832267776 4298 33554432000 4194304 4587354 140735240883648 18446744073709551615 4365216 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 447331 4298 337 96 0 443893 0
[pid=27147] ppid=27145 vsize=21176 CPUtime=2.02 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 3047 0 0 0 202 0 0 0 25 0 1 0 458703284 21684224 2639 33554432000 4194304 4785740 140737108547488 18446744073709551615 4287186 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 5294 2639 340 145 0 2339 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=2.12 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 212 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 9771391 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 2287816

[startup+12.7013 s]
/proc/loadavg: 10.42 6.72 4.92 12/201 27149
/proc/meminfo: memFree=16903140/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105432519531298816 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1793740 CPUtime=4.24 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 10144 0 0 0 423 1 0 0 25 0 1 0 458703284 1836789760 6752 33554432000 4194304 4587354 140735240883648 18446744073709551615 4365136 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 448435 6752 337 96 0 444997 0
[pid=27147] ppid=27145 vsize=23360 CPUtime=4.13 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 3598 0 0 0 413 0 0 0 25 0 1 0 458703284 23920640 3190 33554432000 4194304 4785740 140737108547488 18446744073709551615 4287574 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 5840 3190 340 145 0 2885 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=4.31 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 431 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2294416

[startup+25.5009 s]
/proc/loadavg: 10.55 6.93 5.01 12/201 27149
/proc/meminfo: memFree=16857624/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105431969775484928 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1798416 CPUtime=8.54 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 13061 0 0 0 852 2 0 0 25 0 1 0 458703284 1841577984 8387 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238423 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 449604 8387 337 96 0 446166 0
[pid=27147] ppid=27145 vsize=26536 CPUtime=8.41 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 4325 0 0 0 841 0 0 0 25 0 1 0 458703284 27172864 3917 33554432000 4194304 4785740 140737108547488 18446744073709551615 4287050 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 6634 3917 340 145 0 3679 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=8.52 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 852 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2302268

[startup+51.1011 s]
/proc/loadavg: 10.70 7.25 5.17 12/201 27150
/proc/meminfo: memFree=16837088/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105433481603973120 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1813276 CPUtime=17.04 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 19516 0 0 0 1701 3 0 0 25 0 1 0 458703284 1856794624 11945 33554432000 4194304 4587354 140735240883648 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 453319 11945 337 96 0 449881 0
[pid=27147] ppid=27145 vsize=29868 CPUtime=16.93 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 5139 0 0 0 1693 0 0 0 25 0 1 0 458703284 30584832 4731 33554432000 4194304 4785740 140737108547488 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 7467 4731 340 145 0 4512 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=17.1 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 1710 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2320460

[startup+102.308 s]
/proc/loadavg: 10.87 7.83 5.47 12/201 27151
/proc/meminfo: memFree=16831972/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105431969775484928 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1797836 CPUtime=34.14 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 25284 0 0 0 3410 4 0 0 25 0 1 0 458703284 1840984064 9083 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238431 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 449459 9083 337 96 0 446021 0
[pid=27147] ppid=27145 vsize=34184 CPUtime=34 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 6176 0 0 0 3400 0 0 0 25 0 1 0 458703284 35004416 5768 33554432000 4194304 4785740 140737108547488 18446744073709551615 4287194 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 8546 5768 340 145 0 5591 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=34.14 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 3414 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134530606 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2309336

[startup+162.3 s]
/proc/loadavg: 10.95 8.40 5.82 12/201 27153
/proc/meminfo: memFree=16773416/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105432656970252288 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1831220 CPUtime=54.13 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 36069 0 0 0 5407 6 0 0 25 0 1 0 458703284 1875169280 16229 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 457805 16229 337 96 0 454367 0
[pid=27147] ppid=27145 vsize=38948 CPUtime=54.01 cores=4

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

/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 2365820

[startup+882.301 s]
/proc/loadavg: 11.01 10.78 8.60 12/201 27172
/proc/meminfo: memFree=16611932/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105432794409205760 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1828908 CPUtime=294.09 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 92113 0 0 0 29390 19 0 0 25 0 1 0 458703284 1872801792 15031 33554432000 4194304 4587354 140735240883648 18446744073709551615 4241080 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 457227 15031 337 96 0 453789 0
[pid=27147] ppid=27145 vsize=61516 CPUtime=294.05 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 12590 0 0 0 29403 2 0 0 25 0 1 0 458703284 62992384 12182 33554432000 4194304 4785740 140737108547488 18446744073709551615 4287076 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 15379 12182 340 145 0 12424 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=294.16 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 29416 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 2367740

[startup+942.301 s]
/proc/loadavg: 11.00 10.82 8.75 12/201 27174
/proc/meminfo: memFree=16583512/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105432931848159232 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1826300 CPUtime=314.09 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 99261 0 0 0 31388 21 0 0 25 0 1 0 458703284 1870131200 14979 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 456575 14979 337 96 0 453137 0
[pid=27147] ppid=27145 vsize=63624 CPUtime=314.05 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 13037 0 0 0 31403 2 0 0 25 0 1 0 458703284 65150976 12629 33554432000 4194304 4785740 140737108547488 18446744073709551615 4287153 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 15906 12629 340 145 0 12951 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=314.16 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 31416 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 2367240

[startup+1002.3 s]
/proc/loadavg: 11.00 10.85 8.89 12/201 27175
/proc/meminfo: memFree=16578036/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105433069287112704 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1825528 CPUtime=334.09 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 105319 0 0 0 33386 23 0 0 25 0 1 0 458703284 1869340672 17327 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238593 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 456382 17327 337 96 0 452944 0
[pid=27147] ppid=27145 vsize=64744 CPUtime=334.06 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 13309 0 0 0 33404 2 0 0 25 0 1 0 458703284 66297856 12901 33554432000 4194304 4785740 140737108547488 18446744073709551615 4287225 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 16186 12901 340 145 0 13231 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=334.15 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 33415 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2367588

[startup+1062.3 s]
/proc/loadavg: 11.00 10.87 9.02 12/201 27177
/proc/meminfo: memFree=16549736/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 0 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1845736 CPUtime=354.1 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 118040 0 0 0 35385 25 0 0 25 0 1 0 458703284 1890033664 22513 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238616 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 461434 22513 337 96 0 457996 0
[pid=27147] ppid=27145 vsize=65712 CPUtime=354.06 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 13518 0 0 0 35404 2 0 0 25 0 1 0 458703284 67289088 13110 33554432000 4194304 4785740 140737108547488 18446744073709551615 4286927 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 16428 13110 340 145 0 13473 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=354.15 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 35415 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134528966 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 2388764

[startup+1122.3 s]
/proc/loadavg: 11.00 10.89 9.14 12/201 27178
/proc/meminfo: memFree=16521940/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105432931848159232 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1848876 CPUtime=374.1 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 122182 0 0 0 37385 25 0 0 25 0 1 0 458703284 1893249024 22863 33554432000 4194304 4587354 140735240883648 18446744073709551615 4249405 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 462219 22863 337 96 0 458781 0
[pid=27147] ppid=27145 vsize=67128 CPUtime=374.06 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 13835 0 0 0 37404 2 0 0 25 0 1 0 458703284 68739072 13427 33554432000 4194304 4785740 140737108547488 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 16782 13427 340 145 0 13827 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=374.15 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 37415 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 2393320

[startup+1182.3 s]
/proc/loadavg: 10.61 10.81 9.22 13/202 27273
/proc/meminfo: memFree=17008184/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105432931848159232 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1864988 CPUtime=394.11 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 125641 0 0 0 39385 26 0 0 25 0 1 0 458703284 1909747712 26252 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 466247 26252 337 96 0 462809 0
[pid=27147] ppid=27145 vsize=67864 CPUtime=394.05 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 14004 0 0 0 39403 2 0 0 25 0 1 0 458703284 69492736 13596 33554432000 4194304 4785740 140737108547488 18446744073709551615 4287055 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 16966 13596 340 145 0 14011 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=394.14 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 39414 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 2410168

[startup+1242.3 s]
/proc/loadavg: 11.53 11.04 9.40 13/202 27275
/proc/meminfo: memFree=16837788/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105433069287112704 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=121180 CPUtime=414.12 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 128909 0 0 0 41385 27 0 0 25 0 1 0 458703284 124088320 25613 33554432000 4194304 4587354 140735240883648 18446744073709551615 4238431 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 30295 25613 337 96 0 26857 0
[pid=27147] ppid=27145 vsize=70312 CPUtime=414.05 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 14553 0 0 0 41403 2 0 0 25 0 1 0 458703284 71999488 14145 33554432000 4194304 4785740 140737108547488 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 17578 14145 340 145 0 14623 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=414.14 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 41414 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134530320 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 668808



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 11.83 11.21 9.56 13/202 27276
/proc/meminfo: memFree=16781468/32951124 swapFree=67111528/67111528
[pid=27145] ppid=27143 vsize=18324 CPUtime=0 cores=4,6
/proc/27145/stat : 27145 (ppfolio) S 27143 27145 26646 0 -1 4202496 501 0 0 0 0 0 0 0 15 0 1 0 458703284 18763776 394 33554432000 4194304 4287625 140736264271264 18446744073709551615 244446965263 0 0 4096 65536 4105433206726066176 0 0 17 6 0 0 0
/proc/27145/statm: 4581 394 345 23 0 91 0
[pid=27146] ppid=27145 vsize=1867500 CPUtime=433.37 cores=4
/proc/27146/stat : 27146 (cryptominisat) R 27145 27145 26646 0 -1 4202496 131830 0 0 0 43310 27 0 0 25 0 1 0 458703284 1912320000 24595 33554432000 4194304 4587354 140735240883648 18446744073709551615 4244360 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27146/statm: 466875 24595 337 96 0 463437 0
[pid=27147] ppid=27145 vsize=72424 CPUtime=433.25 cores=4
/proc/27147/stat : 27147 (clasp) R 27145 27145 26646 0 -1 4202496 15077 0 0 0 43323 2 0 0 25 0 1 0 458703284 74162176 14669 33554432000 4194304 4785740 140737108547488 18446744073709551615 4553380 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/27147/statm: 18106 14669 340 145 0 15151 0
[pid=27148] ppid=27145 vsize=458992 CPUtime=433.39 cores=4
/proc/27148/stat : 27148 (TNM) R 27145 27145 26646 0 -1 4202496 1660 0 0 0 43339 0 0 0 25 0 1 0 458703284 470007808 1556 33554432000 134512640 134534564 4291166400 18446744073709551615 134530582 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27148/statm: 114748 1556 95 6 0 113414 0
Current children cumulated CPU time (s) 1300.01
Current children cumulated vsize (KiB) 2417240

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 27145 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=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1300.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1300.02
CPU time (s): 1300.01
CPU user time (s): 1299.72
CPU system time (s): 0.29
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 4158488

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

runsolver used 2.19867 second user time and 4.90725 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-22 13:17:08
IDJOB=3258038
IDBENCH=71300
IDSOLVER=1613
FILE ID=node105/3258038-1303471028
RUNJOBID= node105-1303470894-27001
PBS_JOBID= 13107193
Free space on /tmp= 71520 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT09/CRAFTED/rbsat/random/unforced/rbsat-v945c61409g6.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258038-1303471028/watcher-3258038-1303471028 -o /tmp/evaluation-result-3258038-1303471028/solver-3258038-1303471028 -C 2400 -W 1300 -M 7680  ppfolio --nbcore=1 HOME/instance-3258038-1303471028.cnf

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 2094ee8d4e443e860293b947e469bd81
RANDOM SEED=731432890

node105.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.825
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.65
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.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
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.825
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.82
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.825
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.75
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.825
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	: 5410.70
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.825
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.74
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.825
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.82
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.825
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16957124 kB
Buffers:       1331188 kB
Cached:       13605800 kB
SwapCached:          0 kB
Active:        7755768 kB
Inactive:      7686452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16957124 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           10568 kB
Writeback:           0 kB
AnonPages:      504812 kB
Mapped:          17560 kB
Slab:           485412 kB
PageTables:       6952 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  5653980 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= 71516 MiB
End job on node105 at 2011-04-22 13:38:50