Trace number 3258830

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.8 1300.01

General information on the benchmark

NameCRAFTED/rbsat/random/
forced/rbsat-v2100c215164gyes2.cnf
MD5SUM5301921bbf5d6337937a0fa8d34aaf48
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.20	This is pico-portfolio, a naive parallel portfolio
0.00/0.20	Copyright (C) 2011 Olivier Roussel
0.00/0.20	Using 1 processing units
0.00/0.20	This portfolio uses the following solvers:
0.00/0.20	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.20	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.20	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.20	Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.20	Starting clasp 1.3.6 on core(s) 0
0.00/0.20	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-3258830-1303476168/watcher-3258830-1303476168 -o /tmp/evaluation-result-3258830-1303476168/solver-3258830-1303476168 -C 2400 -W 1300 -M 7680 ppfolio --nbcore=1 HOME/instance-3258830-1303476168.cnf 

running on 2 cores: 0,2

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.68 11.83 9.95 9/198 2434
/proc/meminfo: memFree=17487896/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=11800 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (runsolver) R 2432 2434 1007 0 -1 4202560 41 0 0 0 0 0 0 0 25 0 1 0 537847438 12083200 51 33554432000 4194304 5434984 140735772525984 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 2 0 0 0
/proc/2434/statm: 2950 51 31 303 0 2644 0

[startup+0.013445 s]
/proc/loadavg: 11.68 11.83 9.95 9/198 2434
/proc/meminfo: memFree=17487896/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=2712 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4194304 83 0 0 0 0 0 0 0 25 0 1 0 537847438 2777088 37 33554432000 4194304 4287625 140735641315024 18446744073709551615 260015472263 0 2147483391 4096 0 18446744071699945619 0 0 17 0 0 0 0
/proc/2434/statm: 678 37 27 23 0 23 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2712

[startup+0.100444 s]
/proc/loadavg: 11.68 11.83 9.95 9/198 2434
/proc/meminfo: memFree=17487896/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=2712 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4194304 83 0 0 0 0 0 0 0 25 0 1 0 537847438 2777088 37 33554432000 4194304 4287625 140735641315024 18446744073709551615 260015472263 0 2147483391 4096 0 18446744071699945619 0 0 17 0 0 0 0
/proc/2434/statm: 678 37 27 23 0 23 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2712

[startup+0.300406 s]
/proc/loadavg: 11.68 11.83 9.95 9/198 2434
/proc/meminfo: memFree=17487896/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 498 0 0 0 0 0 0 0 24 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 4370945477919604993 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700336 s]
/proc/loadavg: 11.68 11.83 9.95 9/198 2434
/proc/meminfo: memFree=17487896/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 23 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252277329635835904 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50119 s]
/proc/loadavg: 11.68 11.83 9.95 13/202 2438
/proc/meminfo: memFree=17344172/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 23 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252277329635835904 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=66372 CPUtime=0.44 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 11812 0 0 0 43 1 0 0 25 0 1 0 537847458 67964928 10444 33554432000 4194304 4587354 140734610171152 18446744073709551615 4388350 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 16593 10444 315 96 0 13155 0
[pid=2437] ppid=2434 vsize=27112 CPUtime=0.33 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 5085 0 0 0 33 0 0 0 25 0 1 0 537847458 27762688 3807 33554432000 4194304 4785740 140733758128400 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 6778 3807 314 145 0 3823 0
[pid=2438] ppid=2434 vsize=461896 CPUtime=0.5 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 3616 0 0 0 50 0 0 0 25 0 1 0 537847458 472981504 3512 33554432000 134512640 134534564 4292806144 18446744073709551615 134524672 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 115474 3512 91 6 0 114140 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 573704

[startup+3.1009 s]
/proc/loadavg: 11.68 11.83 9.95 13/202 2438
/proc/meminfo: memFree=17318008/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252277879391649792 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=67660 CPUtime=0.94 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 12323 0 0 0 93 1 0 0 25 0 1 0 537847458 69283840 10949 33554432000 4194304 4587354 140734610171152 18446744073709551615 4238593 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 16915 10949 326 96 0 13477 0
[pid=2437] ppid=2434 vsize=28300 CPUtime=0.92 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 5405 0 0 0 92 0 0 0 25 0 1 0 537847458 28979200 4127 33554432000 4194304 4785740 140733758128400 18446744073709551615 4482817 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 7075 4127 316 145 0 4120 0
[pid=2438] ppid=2434 vsize=461896 CPUtime=1.01 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 3616 0 0 0 101 0 0 0 25 0 1 0 537847458 472981504 3512 33554432000 134512640 134534564 4292806144 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 115474 3512 91 6 0 114140 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 576180

[startup+6.3013 s]
/proc/loadavg: 11.70 11.83 9.96 13/202 2438
/proc/meminfo: memFree=17282212/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252278429147463680 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=67660 CPUtime=2.04 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 13193 0 0 0 203 1 0 0 25 0 1 0 537847458 69283840 11803 33554432000 4194304 4587354 140734610171152 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 16915 11803 326 96 0 13477 0
[pid=2437] ppid=2434 vsize=26688 CPUtime=1.93 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 5628 0 0 0 193 0 0 0 25 0 1 0 537847458 27328512 3929 33554432000 4194304 4785740 140733758128400 18446744073709551615 4278121 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 6672 3929 340 145 0 3717 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=2.1 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 210 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 580152

[startup+12.7011 s]
/proc/loadavg: 11.73 11.83 9.97 13/202 2438
/proc/meminfo: memFree=17275740/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252277467074789376 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1569340 CPUtime=4.14 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 14631 0 0 0 413 1 0 0 25 0 1 0 537847458 1607004160 11720 33554432000 4194304 4587354 140734610171152 18446744073709551615 4365495 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 392335 11720 337 96 0 388897 0
[pid=2437] ppid=2434 vsize=30248 CPUtime=4.11 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 6600 0 0 0 411 0 0 0 25 0 1 0 537847458 30973952 4901 33554432000 4194304 4785740 140733758128400 18446744073709551615 4286912 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 7562 4901 340 145 0 4607 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=4.21 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 421 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134529855 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 2085392

[startup+25.5008 s]
/proc/loadavg: 11.79 11.84 10.01 13/202 2439
/proc/meminfo: memFree=17197872/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252278016830603264 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1586492 CPUtime=8.44 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 18583 0 0 0 842 2 0 0 25 0 1 0 537847458 1624567808 15668 33554432000 4194304 4587354 140734610171152 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 396623 15668 337 96 0 393185 0
[pid=2437] ppid=2434 vsize=42964 CPUtime=8.32 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 9769 0 0 0 831 1 0 0 25 0 1 0 537847458 43995136 8070 33554432000 4194304 4785740 140733758128400 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 10741 8070 340 145 0 7786 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=8.5 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 850 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134529033 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 2115260

[startup+51.1011 s]
/proc/loadavg: 11.86 11.85 10.06 13/202 2440
/proc/meminfo: memFree=17107468/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252278291708510208 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1578556 CPUtime=16.93 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 21936 0 0 0 1691 2 0 0 25 0 1 0 537847458 1616441344 16714 33554432000 4194304 4587354 140734610171152 18446744073709551615 4365216 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 394639 16714 337 96 0 391201 0
[pid=2437] ppid=2434 vsize=57896 CPUtime=16.91 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 13459 0 0 0 1689 2 0 0 25 0 1 0 537847458 59285504 11760 33554432000 4194304 4785740 140733758128400 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 14474 11760 340 145 0 11519 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=17.01 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 1701 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 2122256

[startup+102.308 s]
/proc/loadavg: 11.94 11.87 10.16 13/202 2472
/proc/meminfo: memFree=17167884/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252277192196882432 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1611644 CPUtime=34.03 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 33794 0 0 0 3399 4 0 0 25 0 1 0 537847458 1650323456 26289 33554432000 4194304 4587354 140734610171152 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 402911 26289 337 96 0 399473 0
[pid=2437] ppid=2434 vsize=65712 CPUtime=33.94 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 15396 0 0 0 3390 4 0 0 25 0 1 0 537847458 67289088 13697 33554432000 4194304 4785740 140733758128400 18446744073709551615 4287244 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 16428 13697 340 145 0 13473 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=34.09 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 3409 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134530796 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 102.06
Current children cumulated vsize (KiB) 2163160

[startup+162.301 s]
/proc/loadavg: 11.98 11.89 10.27 13/202 2473
/proc/meminfo: memFree=17134372/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252276642441068544 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1579436 CPUtime=54.03 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 33798 0 0 0 5399 4 0 0 25 0 1 0 537847458 1617342464 20997 33554432000 4194304 4587354 140734610171152 18446744073709551615 4238618 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 394859 20997 337 96 0 391421 0
[pid=2437] ppid=2434 vsize=67724 CPUtime=53.95 cores=0

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

/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 2211168

[startup+882.301 s]
/proc/loadavg: 9.01 9.45 9.82 10/193 2510
/proc/meminfo: memFree=16904252/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1615836 CPUtime=294 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 72719 0 0 0 29387 13 0 0 25 0 1 0 537847458 1654616064 30964 33554432000 4194304 4587354 140734610171152 18446744073709551615 4238406 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 403959 30964 337 96 0 400521 0
[pid=2437] ppid=2434 vsize=114140 CPUtime=293.97 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 26961 0 0 0 29388 9 0 0 25 0 1 0 537847458 116879360 25262 33554432000 4194304 4785740 140733758128400 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 28535 25262 340 145 0 25580 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=294.12 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 29412 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134530582 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 2215780

[startup+942.301 s]
/proc/loadavg: 9.00 9.36 9.77 10/193 2511
/proc/meminfo: memFree=16889564/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252277604513742848 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1621584 CPUtime=313.99 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 76707 0 0 0 31385 14 0 0 25 0 1 0 537847458 1660502016 30964 33554432000 4194304 4587354 140734610171152 18446744073709551615 4238421 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 405396 30964 337 96 0 401958 0
[pid=2437] ppid=2434 vsize=116664 CPUtime=313.97 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 27528 0 0 0 31388 9 0 0 25 0 1 0 537847458 119463936 25829 33554432000 4194304 4785740 140733758128400 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 29166 25829 340 145 0 26211 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=314.13 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 31413 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134530593 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 2224052

[startup+1002.3 s]
/proc/loadavg: 9.05 9.31 9.72 10/193 2513
/proc/meminfo: memFree=16861760/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252277741952696320 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1639960 CPUtime=333.99 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 79625 0 0 0 33384 15 0 0 25 0 1 0 537847458 1679319040 30964 33554432000 4194304 4587354 140734610171152 18446744073709551615 4238578 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 409990 30964 337 96 0 406552 0
[pid=2437] ppid=2434 vsize=130108 CPUtime=333.96 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 30834 0 0 0 33386 10 0 0 25 0 1 0 537847458 133230592 29135 33554432000 4194304 4785740 140733758128400 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 32527 29135 340 145 0 29572 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=334.14 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 33414 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 2255872

[startup+1062.3 s]
/proc/loadavg: 9.02 9.25 9.68 10/193 2514
/proc/meminfo: memFree=16836916/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252277879391649792 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1624076 CPUtime=353.99 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 83061 0 0 0 35383 16 0 0 25 0 1 0 537847458 1663053824 31304 33554432000 4194304 4587354 140734610171152 18446744073709551615 4243610 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 406019 31304 337 96 0 402581 0
[pid=2437] ppid=2434 vsize=130672 CPUtime=353.96 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 30954 0 0 0 35386 10 0 0 25 0 1 0 537847458 133808128 29255 33554432000 4194304 4785740 140733758128400 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 32668 29255 340 145 0 29713 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=354.14 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 35414 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 2240552

[startup+1122.3 s]
/proc/loadavg: 9.00 9.20 9.63 10/193 2525
/proc/meminfo: memFree=16842956/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252278016830603264 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1615148 CPUtime=373.99 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 87123 0 0 0 37382 17 0 0 25 0 1 0 537847458 1653911552 32182 33554432000 4194304 4587354 140734610171152 18446744073709551615 4238514 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 403787 32182 337 96 0 400349 0
[pid=2437] ppid=2434 vsize=131540 CPUtime=373.96 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 31154 0 0 0 37386 10 0 0 25 0 1 0 537847458 134696960 29455 33554432000 4194304 4785740 140733758128400 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 32885 29455 340 145 0 29930 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=374.14 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 37414 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 2232492

[startup+1182.3 s]
/proc/loadavg: 9.00 9.16 9.59 10/193 2527
/proc/meminfo: memFree=16832968/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252278154269556736 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1611028 CPUtime=394 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 91181 0 0 0 39382 18 0 0 25 0 1 0 537847458 1649692672 30964 33554432000 4194304 4587354 140734610171152 18446744073709551615 4238602 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 402757 30964 337 96 0 399319 0
[pid=2437] ppid=2434 vsize=132016 CPUtime=393.95 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 31258 0 0 0 39385 10 0 0 25 0 1 0 537847458 135184384 29559 33554432000 4194304 4785740 140733758128400 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 33004 29559 340 145 0 30049 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=394.14 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 39414 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 2228848

[startup+1242.3 s]
/proc/loadavg: 9.00 9.13 9.55 10/193 2528
/proc/meminfo: memFree=16798832/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 3252277467074789376 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1639200 CPUtime=414.01 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 100070 0 0 0 41381 20 0 0 25 0 1 0 537847458 1678540800 38153 33554432000 4194304 4587354 140734610171152 18446744073709551615 4388336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 409800 38153 337 96 0 406362 0
[pid=2437] ppid=2434 vsize=132016 CPUtime=413.95 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 31286 0 0 0 41385 10 0 0 25 0 1 0 537847458 135184384 29587 33554432000 4194304 4785740 140733758128400 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 33004 29587 340 145 0 30049 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=414.14 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 41414 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2257020



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.76 9.06 9.50 4/184 2532
/proc/meminfo: memFree=17560068/32951124 swapFree=67111528/67111528
[pid=2434] ppid=2432 vsize=18324 CPUtime=0 cores=0,2
/proc/2434/stat : 2434 (ppfolio) S 2432 2434 1007 0 -1 4202496 499 0 0 0 0 0 0 0 15 0 1 0 537847438 18763776 394 33554432000 4194304 4287625 140735641315024 18446744073709551615 260020416015 0 0 4096 65536 0 0 0 17 2 0 0 0
/proc/2434/statm: 4581 394 345 23 0 91 0
[pid=2436] ppid=2434 vsize=1626032 CPUtime=433.27 cores=0
/proc/2436/stat : 2436 (cryptominisat) R 2434 2434 1007 0 -1 4202496 103941 0 0 0 43306 21 0 0 25 0 1 0 537847458 1665056768 32820 33554432000 4194304 4587354 140734610171152 18446744073709551615 4238668 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/2436/statm: 406508 32820 337 96 0 403070 0
[pid=2437] ppid=2434 vsize=133848 CPUtime=433.2 cores=0
/proc/2437/stat : 2437 (clasp) R 2434 2434 1007 0 -1 4202496 31716 0 0 0 43309 11 0 0 25 0 1 0 537847458 137060352 30017 33554432000 4194304 4785740 140733758128400 18446744073709551615 4287158 0 0 4096 16386 0 0 0 17 0 0 0 0
/proc/2437/statm: 33462 30017 340 145 0 30507 0
[pid=2438] ppid=2434 vsize=467480 CPUtime=433.33 cores=0
/proc/2438/stat : 2438 (TNM) R 2434 2434 1007 0 -1 4202496 5158 0 0 0 43333 0 0 0 25 0 1 0 537847458 478699520 5054 33554432000 134512640 134534564 4292806144 18446744073709551615 134530353 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/2438/statm: 116870 5054 95 6 0 115536 0
Current children cumulated CPU time (s) 1299.8
Current children cumulated vsize (KiB) 2245684

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 2434 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1299.8
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1300.01
CPU time (s): 1299.8
CPU user time (s): 1299.48
CPU system time (s): 0.32
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 3755736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001999
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= 499
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= 263
involuntary context switches= 5

runsolver used 2.32265 second user time and 4.78027 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-22 14:42:49
IDJOB=3258830
IDBENCH=71428
IDSOLVER=1613
FILE ID=node110/3258830-1303476168
RUNJOBID= node110-1303474864-2211
PBS_JOBID= 13107186
Free space on /tmp= 71668 MiB

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

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

MD5SUM BENCH= 5301921bbf5d6337937a0fa8d34aaf48
RANDOM SEED=766922576

node110.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.830
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.66
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.830
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.830
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.75
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.830
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.83
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.830
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.76
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.830
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.83
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.830
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.74
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.830
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:     32951124 kB
MemFree:      17488052 kB
Buffers:       1266356 kB
Cached:       13248216 kB
SwapCached:          0 kB
Active:        7280328 kB
Inactive:      7632240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17488052 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           40792 kB
Writeback:           0 kB
AnonPages:      398000 kB
Mapped:          17216 kB
Slab:           483896 kB
PageTables:       6412 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2916760 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= 71688 MiB
End job on node110 at 2011-04-22 15:04:31