Trace number 3258170

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

General information on the benchmark

NameCRAFTED/rbsat/random/unforced/
rbsat-v2100c215164g4.cnf
MD5SUM399c54da7337981a88a374a67e87ba30
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 variables2100
Number of clauses215164
Sum of the clauses size432288
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2215094
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 570

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) 5
0.00/0.00	Starting clasp 1.3.6 on core(s) 5
0.00/0.00	Starting TNM 2009 on core(s) 5

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

running on 2 cores: 5,7

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: 11.62 11.84 10.20 10/198 7367
/proc/meminfo: memFree=20825080/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) R 7365 7367 6230 0 -1 4202496 484 0 0 0 0 0 0 0 22 0 1 0 537361404 18763776 392 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284746133 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/7367/statm: 4581 392 343 23 0 91 0

[startup+0.0323 s]
/proc/loadavg: 11.62 11.84 10.20 10/198 7367
/proc/meminfo: memFree=20825080/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 498 0 0 0 0 0 0 0 22 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 4372705246279860484 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.10029 s]
/proc/loadavg: 11.62 11.84 10.20 10/198 7367
/proc/meminfo: memFree=20825080/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 498 0 0 0 0 0 0 0 22 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 4372705246279860484 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300268 s]
/proc/loadavg: 11.62 11.84 10.20 10/198 7367
/proc/meminfo: memFree=20825080/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 21 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845250602737598464 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.70019 s]
/proc/loadavg: 11.62 11.84 10.20 10/198 7367
/proc/meminfo: memFree=20825080/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 19 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845250740176551936 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50106 s]
/proc/loadavg: 11.62 11.84 10.20 13/202 7371
/proc/meminfo: memFree=20766520/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 18 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845250877615505408 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=67988 CPUtime=0.49 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 13436 0 0 0 48 1 0 0 24 0 1 0 537361405 69619712 10325 33554432000 4194304 4587354 140736444769120 18446744073709551615 4303701 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 16997 10325 319 96 0 13559 0
[pid=7369] ppid=7367 vsize=27196 CPUtime=0.44 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 5105 0 0 0 44 0 0 0 25 0 1 0 537361405 27848704 3828 33554432000 4194304 4785740 140736250936528 18446744073709551615 4495633 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 6799 3828 314 145 0 3844 0
[pid=7370] ppid=7367 vsize=461896 CPUtime=0.54 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 3615 0 0 0 54 0 0 0 25 0 1 0 537361405 472981504 3512 33554432000 134512640 134534564 4291341056 18446744073709551615 134524469 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 115474 3512 91 6 0 114140 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 575404

[startup+3.10079 s]
/proc/loadavg: 11.65 11.84 10.21 13/202 7371
/proc/meminfo: memFree=20758212/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251702249226240 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=58748 CPUtime=1.54 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 14299 0 0 0 153 1 0 0 19 0 1 0 537361405 60157952 9666 33554432000 4194304 4587354 140736444769120 18446744073709551615 4239054 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 14687 9666 326 96 0 11249 0
[pid=7369] ppid=7367 vsize=27724 CPUtime=0.69 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 5248 0 0 0 69 0 0 0 25 0 1 0 537361405 28389376 3971 33554432000 4194304 4785740 140736250936528 18446744073709551615 4482898 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 6931 3971 316 145 0 3976 0
[pid=7370] ppid=7367 vsize=461896 CPUtime=0.84 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 3615 0 0 0 84 0 0 0 25 0 1 0 537361405 472981504 3512 33554432000 134512640 134534564 4291341056 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 115474 3512 91 6 0 114140 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 566692

[startup+6.30026 s]
/proc/loadavg: 11.65 11.84 10.21 13/202 7373
/proc/meminfo: memFree=20747540/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845250052981784576 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1632856 CPUtime=2.59 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 15695 0 0 0 258 1 0 0 21 0 1 0 537361405 1672044544 9611 33554432000 4194304 4587354 140736444769120 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 408214 9611 331 96 0 404776 0
[pid=7369] ppid=7367 vsize=26780 CPUtime=1.79 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 5656 0 0 0 179 0 0 0 25 0 1 0 537361405 27422720 3958 33554432000 4194304 4785740 140736250936528 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 6695 3958 340 145 0 3740 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=1.89 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 189 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134530582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 2145440

[startup+12.7012 s]
/proc/loadavg: 11.68 11.85 10.22 13/202 7373
/proc/meminfo: memFree=20746892/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251427371319296 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1642408 CPUtime=4.74 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 17537 0 0 0 472 2 0 0 25 0 1 0 537361405 1681825792 11448 33554432000 4194304 4587354 140736444769120 18446744073709551615 4365336 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 410602 11448 337 96 0 407164 0
[pid=7369] ppid=7367 vsize=30508 CPUtime=3.89 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 6663 0 0 0 389 0 0 0 25 0 1 0 537361405 31240192 4965 33554432000 4194304 4785740 140736250936528 18446744073709551615 4549029 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 7627 4965 340 145 0 4672 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=4.04 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 404 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 2158720

[startup+25.501 s]
/proc/loadavg: 11.75 11.85 10.25 13/202 7373
/proc/meminfo: memFree=20704984/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251702249226240 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1657884 CPUtime=8.99 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 21428 0 0 0 897 2 0 0 25 0 1 0 537361405 1697673216 15337 33554432000 4194304 4587354 140736444769120 18446744073709551615 4238766 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 414471 15337 337 96 0 411033 0
[pid=7369] ppid=7367 vsize=43044 CPUtime=8.19 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 9772 0 0 0 818 1 0 0 25 0 1 0 537361405 44077056 8074 33554432000 4194304 4785740 140736250936528 18446744073709551615 4287038 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 10761 8074 340 145 0 7806 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=8.29 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 829 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2186732

[startup+51.1008 s]
/proc/loadavg: 11.84 11.86 10.29 13/202 7373
/proc/meminfo: memFree=20697388/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845250327859691520 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1660672 CPUtime=17.55 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 25231 0 0 0 1751 4 0 0 25 0 1 0 537361405 1700528128 16932 33554432000 4194304 4587354 140736444769120 18446744073709551615 224284622526 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 415168 16932 337 96 0 411730 0
[pid=7369] ppid=7367 vsize=56520 CPUtime=16.69 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 13126 0 0 0 1667 2 0 0 25 0 1 0 537361405 57876480 11428 33554432000 4194304 4785740 140736250936528 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 14130 11428 340 145 0 11175 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=16.84 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 1684 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2202996

[startup+102.307 s]
/proc/loadavg: 11.93 11.88 10.39 13/202 7375
/proc/meminfo: memFree=20676768/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251289932365824 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1649008 CPUtime=34.59 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 35448 0 0 0 3454 5 0 0 25 0 1 0 537361405 1688584192 17246 33554432000 4194304 4587354 140736444769120 18446744073709551615 4238149 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 412252 17246 337 96 0 408814 0
[pid=7369] ppid=7367 vsize=63712 CPUtime=33.78 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 14865 0 0 0 3376 2 0 0 25 0 1 0 537361405 65241088 13167 33554432000 4194304 4785740 140736250936528 18446744073709551615 4549029 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 15928 13167 340 145 0 12973 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=33.9 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 3390 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134530582 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2198524

[startup+162.301 s]
/proc/loadavg: 10.95 11.66 10.40 10/193 7425
/proc/meminfo: memFree=20774932/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251152493412352 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1686396 CPUtime=54.58 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 45281 0 0 0 5452 6 0 0 25 0 1 0 537361405 1726869504 27075 33554432000 4194304 4587354 140736444769120 18446744073709551615 4364784 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 421599 27075 337 96 0 418161 0
[pid=7369] ppid=7367 vsize=70544 CPUtime=53.78 cores=5

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

/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 2290820

[startup+882.301 s]
/proc/loadavg: 9.02 9.24 9.63 10/193 7443
/proc/meminfo: memFree=20576916/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251152493412352 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1701512 CPUtime=294.64 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 65012 0 0 0 29453 11 0 0 25 0 1 0 537361405 1742348288 26405 33554432000 4194304 4587354 140736444769120 18446744073709551615 4236378 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 425378 26405 337 96 0 421940 0
[pid=7369] ppid=7367 vsize=116128 CPUtime=293.74 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 27359 0 0 0 29368 6 0 0 25 0 1 0 537361405 118915072 25661 33554432000 4194304 4785740 140736250936528 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 29032 25661 340 145 0 26077 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=293.9 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 29390 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 2303444

[startup+942.301 s]
/proc/loadavg: 9.00 9.20 9.59 10/193 7445
/proc/meminfo: memFree=20578224/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251289932365824 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1677048 CPUtime=314.64 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 68637 0 0 0 31453 11 0 0 25 0 1 0 537361405 1717297152 26405 33554432000 4194304 4587354 140736444769120 18446744073709551615 4239240 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 419262 26405 337 96 0 415824 0
[pid=7369] ppid=7367 vsize=117432 CPUtime=313.74 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 27649 0 0 0 31368 6 0 0 25 0 1 0 537361405 120250368 25951 33554432000 4194304 4785740 140736250936528 18446744073709551615 4287011 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 29358 25951 340 145 0 26403 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=313.89 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 31389 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 942.27
Current children cumulated vsize (KiB) 2280284

[startup+1002.3 s]
/proc/loadavg: 7.20 8.65 9.37 7/184 7465
/proc/meminfo: memFree=20877228/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251427371319296 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1675860 CPUtime=334.64 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 71331 0 0 0 33452 12 0 0 25 0 1 0 537361405 1716080640 26538 33554432000 4194304 4587354 140736444769120 18446744073709551615 4238576 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 418965 26538 337 96 0 415527 0
[pid=7369] ppid=7367 vsize=119056 CPUtime=333.75 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 28017 0 0 0 33369 6 0 0 25 0 1 0 537361405 121913344 26319 33554432000 4194304 4785740 140736250936528 18446744073709551615 4549029 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 29764 26319 340 145 0 26809 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=333.89 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 33389 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 2280720

[startup+1062.3 s]
/proc/loadavg: 6.48 8.20 9.18 7/184 7470
/proc/meminfo: memFree=20887100/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251702249226240 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1688828 CPUtime=354.64 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 75273 0 0 0 35451 13 0 0 25 0 1 0 537361405 1729359872 26405 33554432000 4194304 4587354 140736444769120 18446744073709551615 4249152 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 422207 26405 337 96 0 418769 0
[pid=7369] ppid=7367 vsize=119972 CPUtime=353.75 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 28234 0 0 0 35369 6 0 0 25 0 1 0 537361405 122851328 26536 33554432000 4194304 4785740 140736250936528 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 29993 26536 340 145 0 27038 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=353.89 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 35389 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 2294604

[startup+1122.3 s]
/proc/loadavg: 6.16 7.77 8.96 7/184 7470
/proc/meminfo: memFree=20869276/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251427371319296 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1691512 CPUtime=374.64 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 81550 0 0 0 37449 15 0 0 25 0 1 0 537361405 1732108288 31065 33554432000 4194304 4587354 140736444769120 18446744073709551615 4230288 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 422878 31065 337 96 0 419440 0
[pid=7369] ppid=7367 vsize=121012 CPUtime=373.77 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 28459 0 0 0 37370 7 0 0 25 0 1 0 537361405 123916288 26761 33554432000 4194304 4785740 140736250936528 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 30253 26761 340 145 0 27298 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=373.88 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 37388 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 2298328

[startup+1182.3 s]
/proc/loadavg: 6.06 7.47 8.79 7/184 7472
/proc/meminfo: memFree=20863156/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251564810272768 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1698592 CPUtime=394.63 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 85709 0 0 0 39447 16 0 0 25 0 1 0 537361405 1739358208 28000 33554432000 4194304 4587354 140736444769120 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 424648 28000 337 96 0 421210 0
[pid=7369] ppid=7367 vsize=123672 CPUtime=393.77 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 29099 0 0 0 39370 7 0 0 25 0 1 0 537361405 126640128 27401 33554432000 4194304 4785740 140736250936528 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 30918 27401 340 145 0 27963 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=393.88 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 39388 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134529651 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 2308068

[startup+1242.3 s]
/proc/loadavg: 6.02 7.20 8.61 7/184 7474
/proc/meminfo: memFree=20879968/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251702249226240 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1686804 CPUtime=414.63 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 93379 0 0 0 41445 18 0 0 25 0 1 0 537361405 1727287296 26443 33554432000 4194304 4587354 140736444769120 18446744073709551615 4238578 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 421701 26443 337 96 0 418263 0
[pid=7369] ppid=7367 vsize=125072 CPUtime=413.77 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 29438 0 0 0 41370 7 0 0 25 0 1 0 537361405 128073728 27740 33554432000 4194304 4785740 140736250936528 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 31268 27740 340 145 0 28313 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=413.88 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 41388 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134528993 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 2297680



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 6.01 6.98 8.44 7/184 7476
/proc/meminfo: memFree=20873112/32951124 swapFree=67110396/67111528
[pid=7367] ppid=7365 vsize=18324 CPUtime=0 cores=5,7
/proc/7367/stat : 7367 (ppfolio) S 7365 7367 6230 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 537361404 18763776 394 33554432000 4194304 4287625 140735416408816 18446744073709551615 224284945935 0 0 4096 65536 17845251702249226240 0 0 17 7 0 0 0
/proc/7367/statm: 4581 394 345 23 0 91 0
[pid=7368] ppid=7367 vsize=1683312 CPUtime=433.83 cores=5
/proc/7368/stat : 7368 (cryptominisat) R 7367 7367 6230 0 -1 4202496 101137 0 0 0 43363 20 0 0 25 0 1 0 537361405 1723711488 26443 33554432000 4194304 4587354 140736444769120 18446744073709551615 4244064 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/7368/statm: 420828 26443 337 96 0 417390 0
[pid=7369] ppid=7367 vsize=130924 CPUtime=433.02 cores=5
/proc/7369/stat : 7369 (clasp) R 7367 7367 6230 0 -1 4202496 30859 0 0 0 43294 8 0 0 25 0 1 0 537361405 134066176 29161 33554432000 4194304 4785740 140736250936528 18446744073709551615 4287038 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/7369/statm: 32731 29161 340 145 0 29776 0
[pid=7370] ppid=7367 vsize=467480 CPUtime=433.14 cores=5
/proc/7370/stat : 7370 (TNM) R 7367 7367 6230 0 -1 4202496 5159 0 0 0 43314 0 0 0 25 0 1 0 537361405 478699520 5056 33554432000 134512640 134534564 4291341056 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/7370/statm: 116870 5056 95 6 0 115536 0
Current children cumulated CPU time (s) 1299.99
Current children cumulated vsize (KiB) 2300040

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 7367 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=4999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=3999
# CPU time returned by wait4() is 0.008998
# while last known CPU time is 1299.99
#
# 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): 1299.99
CPU user time (s): 1299.71
CPU system time (s): 0.28
CPU usage (%): 99.9977
Max. virtual memory (cumulated for all children) (KiB): 3876148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.004999
system time used= 0.003999
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= 262
involuntary context switches= 4

runsolver used 1.9667 second user time and 5.13822 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-22 13:21:47
IDJOB=3258170
IDBENCH=71308
IDSOLVER=1613
FILE ID=node118/3258170-1303471307
RUNJOBID= node118-1303469778-6936
PBS_JOBID= 13107181
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= 399c54da7337981a88a374a67e87ba30
RANDOM SEED=1298172973

node118.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.842
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.68
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.842
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.75
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.842
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.842
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.842
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.68
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.842
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.842
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.75
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20825236 kB
Buffers:       1153464 kB
Cached:        9960524 kB
SwapCached:        600 kB
Active:        7944728 kB
Inactive:      3676360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20825236 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           12996 kB
Writeback:           0 kB
AnonPages:      506664 kB
Mapped:          18008 kB
Slab:           438600 kB
PageTables:       7156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2369592 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= 71708 MiB
End job on node118 at 2011-04-22 13:43:29