Trace number 3275097

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) 4999.99 5000.04

General information on the benchmark

NameCRAFTED/rbsat/random/forced/
rbsat-v2640c305320gyes10.cnf
MD5SUMe4e4b653016e98f210aa8da2214e783a
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 variables2640
Number of clauses305320
Sum of the clauses size613120
Maximum clause length33
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2305240
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 580

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

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

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

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


[startup+0 s]
/proc/loadavg: 5.08 1.88 0.68 4/180 2744
/proc/meminfo: memFree=13162208/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) R 2742 2744 2670 0 -1 4202496 484 0 0 0 0 0 0 0 22 0 1 0 475137059 18763776 391 33554432000 4194304 4287625 140736389776000 18446744073709551615 230808986005 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/2744/statm: 4581 391 343 23 0 91 0

[startup+0.0496989 s]
/proc/loadavg: 5.08 1.88 0.68 4/180 2744
/proc/meminfo: memFree=13162208/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 499 0 0 0 0 0 0 0 22 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 16263496065532002568 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.100689 s]
/proc/loadavg: 5.08 1.88 0.68 4/180 2744
/proc/meminfo: memFree=13162208/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 499 0 0 0 0 0 0 0 22 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 16263496065532002568 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300657 s]
/proc/loadavg: 5.08 1.88 0.68 4/180 2744
/proc/meminfo: memFree=13162208/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 21 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586292522505994240 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700582 s]
/proc/loadavg: 5.08 1.88 0.68 4/180 2744
/proc/meminfo: memFree=13162208/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 19 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586292797383901184 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50044 s]
/proc/loadavg: 5.08 1.88 0.68 7/184 2748
/proc/meminfo: memFree=13082816/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 19 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586292797383901184 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=67192 CPUtime=0.49 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 12566 0 0 0 48 1 0 0 24 0 1 0 475137059 68804608 10674 33554432000 4194304 4587354 140735651400944 18446744073709551615 4375168 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 16798 10674 315 96 0 13360 0
[pid=2746] ppid=2744 vsize=30948 CPUtime=0.43 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 6316 0 0 0 43 0 0 0 25 0 1 0 475137059 31690752 5033 33554432000 4194304 4785740 140736865444080 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 7737 5033 315 145 0 4782 0
[pid=2747] ppid=2744 vsize=466252 CPUtime=0.54 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 5032 0 0 0 53 1 0 0 25 0 1 0 475137059 477442048 4929 33554432000 134512640 134534564 4291325760 18446744073709551615 134524727 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 116563 4929 91 6 0 115229 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 582716

[startup+3.10114 s]
/proc/loadavg: 5.08 1.88 0.68 7/184 2749
/proc/meminfo: memFree=13068976/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=72172 CPUtime=0.99 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 19117 0 0 0 97 2 0 0 25 0 1 0 475137059 73904128 12474 33554432000 4194304 4587354 140735651400944 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 18043 12474 326 96 0 14605 0
[pid=2746] ppid=2744 vsize=32268 CPUtime=0.99 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 6649 0 0 0 99 0 0 0 25 0 1 0 475137059 33042432 5366 33554432000 4194304 4785740 140736865444080 18446744073709551615 4483194 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 8067 5366 317 145 0 5112 0
[pid=2747] ppid=2744 vsize=466252 CPUtime=1.09 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 5032 0 0 0 108 1 0 0 25 0 1 0 475137059 477442048 4929 33554432000 134512640 134534564 4291325760 18446744073709551615 134524508 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 116563 4929 91 6 0 115229 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 589016

[startup+6.30056 s]
/proc/loadavg: 5.15 1.95 0.71 7/184 2749
/proc/meminfo: memFree=13055996/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586293622017622016 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=72172 CPUtime=2.09 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 19997 0 0 0 207 2 0 0 25 0 1 0 475137059 73904128 13338 33554432000 4194304 4587354 140735651400944 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 18043 13338 326 96 0 14605 0
[pid=2746] ppid=2744 vsize=32544 CPUtime=2.03 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 7346 0 0 0 203 0 0 0 25 0 1 0 475137059 33325056 5466 33554432000 4194304 4785740 140736865444080 18446744073709551615 4416798 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 8136 5466 341 145 0 5181 0
[pid=2747] ppid=2744 vsize=468628 CPUtime=2.14 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7214 0 0 0 213 1 0 0 25 0 1 0 475137059 479875072 7111 33554432000 134512640 134534564 4291325760 18446744073709551615 134528944 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 117157 7111 95 6 0 115823 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 591668

[startup+12.7004 s]
/proc/loadavg: 5.22 2.02 0.74 7/184 2749
/proc/meminfo: memFree=13055128/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586292934822854656 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=1971456 CPUtime=4.19 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 21861 0 0 0 417 2 0 0 25 0 1 0 475137059 2018770944 13431 33554432000 4194304 4587354 140735651400944 18446744073709551615 4365336 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 492864 13431 337 96 0 489426 0
[pid=2746] ppid=2744 vsize=32676 CPUtime=4.19 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 7397 0 0 0 419 0 0 0 25 0 1 0 475137059 33460224 5517 33554432000 4194304 4785740 140736865444080 18446744073709551615 4287022 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 8169 5517 341 145 0 5214 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=4.29 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 428 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134528955 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 2494916

[startup+25.5011 s]
/proc/loadavg: 5.39 2.21 0.82 7/184 2749
/proc/meminfo: memFree=13030420/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586293347139715072 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=1985396 CPUtime=8.49 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 24188 0 0 0 847 2 0 0 25 0 1 0 475137059 2033045504 15758 33554432000 4194304 4587354 140735651400944 18446744073709551615 4365352 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 496349 15758 337 96 0 492911 0
[pid=2746] ppid=2744 vsize=47936 CPUtime=8.44 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 11177 0 0 0 843 1 0 0 25 0 1 0 475137059 49086464 9297 33554432000 4194304 4785740 140736865444080 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 11984 9297 341 145 0 9029 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=8.54 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 853 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2524116

[startup+51.1004 s]
/proc/loadavg: 5.60 2.51 0.96 7/184 2750
/proc/meminfo: memFree=12991412/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586293072261808128 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=1968420 CPUtime=16.99 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 30992 0 0 0 1696 3 0 0 25 0 1 0 475137059 2015662080 19821 33554432000 4194304 4587354 140735651400944 18446744073709551615 4365361 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 492105 19821 337 96 0 488667 0
[pid=2746] ppid=2744 vsize=70220 CPUtime=16.99 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 16733 0 0 0 1697 2 0 0 25 0 1 0 475137059 71905280 14853 33554432000 4194304 4785740 140736865444080 18446744073709551615 4287096 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 17555 14853 341 145 0 14600 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=17.09 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 1708 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2529424

[startup+102.307 s]
/proc/loadavg: 5.82 3.05 1.22 7/184 2751
/proc/meminfo: memFree=12941424/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586291972750180352 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2004720 CPUtime=34.09 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 37117 0 0 0 3405 4 0 0 25 0 1 0 475137059 2052833280 25944 33554432000 4194304 4587354 140735651400944 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 501180 25944 337 96 0 497742 0
[pid=2746] ppid=2744 vsize=88916 CPUtime=34.05 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 21357 0 0 0 3402 3 0 0 25 0 1 0 475137059 91049984 19477 33554432000 4194304 4785740 140736865444080 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 22229 19477 341 145 0 19274 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=34.14 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 3413 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134528302 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2584420

[startup+162.301 s]
/proc/loadavg: 5.93 3.58 1.52 7/184 2753
/proc/meminfo: memFree=12907292/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586293622017622016 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2008436 CPUtime=54.09 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 43862 0 0 0 5404 5 0 0 25 0 1 0 475137059 2056638464 26582 33554432000 4194304 4587354 140735651400944 18446744073709551615 4287466 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 502109 26582 337 96 0 498671 0
[pid=2746] ppid=2744 vsize=110564 CPUtime=54.06 cores=1

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

/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 4542.28
Current children cumulated vsize (KiB) 2992992

[startup+4602.3 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 2913
/proc/meminfo: memFree=12345824/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586292934822854656 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2187964 CPUtime=1534.05 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 547023 0 0 0 153298 107 0 0 25 0 1 0 475137059 2240475136 76725 33554432000 4194304 4587354 140735651400944 18446744073709551615 4236426 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 546991 76725 337 96 0 543553 0
[pid=2746] ppid=2744 vsize=310416 CPUtime=1534.05 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 74444 0 0 0 153385 20 0 0 25 0 1 0 475137059 317865984 72564 33554432000 4194304 4785740 140736865444080 18446744073709551615 4553366 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 77604 72564 341 145 0 74649 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=1534.17 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 153416 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134528957 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 4602.27
Current children cumulated vsize (KiB) 2989164

[startup+4662.3 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 2915
/proc/meminfo: memFree=12352988/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586292934822854656 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2192064 CPUtime=1554.06 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 553910 0 0 0 155297 109 0 0 25 0 1 0 475137059 2244673536 76419 33554432000 4194304 4587354 140735651400944 18446744073709551615 4238431 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 548016 76419 337 96 0 544578 0
[pid=2746] ppid=2744 vsize=310416 CPUtime=1554.05 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 74458 0 0 0 155385 20 0 0 25 0 1 0 475137059 317865984 72578 33554432000 4194304 4785740 140736865444080 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 77604 72578 341 145 0 74649 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=1554.18 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 155417 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134530273 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 4662.29
Current children cumulated vsize (KiB) 2993264

[startup+4722.31 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 2916
/proc/meminfo: memFree=12355448/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586292934822854656 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2193984 CPUtime=1574.05 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 560782 0 0 0 157295 110 0 0 25 0 1 0 475137059 2246639616 76023 33554432000 4194304 4587354 140735651400944 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 548496 76023 337 96 0 545058 0
[pid=2746] ppid=2744 vsize=311908 CPUtime=1574.05 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 74778 0 0 0 157385 20 0 0 25 0 1 0 475137059 319393792 72898 33554432000 4194304 4785740 140736865444080 18446744073709551615 4287053 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 77977 72898 341 145 0 75022 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=1574.19 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 157418 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134530360 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 4722.29
Current children cumulated vsize (KiB) 2996676

[startup+4782.3 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 2918
/proc/meminfo: memFree=12357780/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586293072261808128 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2181964 CPUtime=1594.05 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 567496 0 0 0 159294 111 0 0 25 0 1 0 475137059 2234331136 75301 33554432000 4194304 4587354 140735651400944 18446744073709551615 4238477 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 545491 75301 337 96 0 542053 0
[pid=2746] ppid=2744 vsize=312288 CPUtime=1594.05 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 74891 0 0 0 159385 20 0 0 25 0 1 0 475137059 319782912 73011 33554432000 4194304 4785740 140736865444080 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 78072 73011 341 145 0 75117 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=1594.19 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 159418 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134528966 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 4782.29
Current children cumulated vsize (KiB) 2985036

[startup+4842.3 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 2920
/proc/meminfo: memFree=12350312/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586293072261808128 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2178892 CPUtime=1614.05 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 574126 0 0 0 161292 113 0 0 25 0 1 0 475137059 2231185408 74654 33554432000 4194304 4587354 140735651400944 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 544723 74654 337 96 0 541285 0
[pid=2746] ppid=2744 vsize=316040 CPUtime=1614.04 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 75750 0 0 0 161384 20 0 0 25 0 1 0 475137059 323624960 73870 33554432000 4194304 4785740 140736865444080 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 79010 73870 341 145 0 76055 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=1614.19 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 161418 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 4842.28
Current children cumulated vsize (KiB) 2985716

[startup+4902.3 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 2955
/proc/meminfo: memFree=12567388/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586293072261808128 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2182428 CPUtime=1634.05 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 580793 0 0 0 163291 114 0 0 25 0 1 0 475137059 2234806272 73867 33554432000 4194304 4587354 140735651400944 18446744073709551615 4237620 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 545607 73867 337 96 0 542169 0
[pid=2746] ppid=2744 vsize=316040 CPUtime=1634.04 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 75750 0 0 0 163384 20 0 0 25 0 1 0 475137059 323624960 73870 33554432000 4194304 4785740 140736865444080 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 79010 73870 341 145 0 76055 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=1634.19 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 163418 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134530271 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 4902.28
Current children cumulated vsize (KiB) 2989252

[startup+4962.3 s]
/proc/loadavg: 6.00 6.00 5.91 7/184 2957
/proc/meminfo: memFree=12479228/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586293072261808128 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2180128 CPUtime=1654.06 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 587525 0 0 0 165290 116 0 0 25 0 1 0 475137059 2232451072 73068 33554432000 4194304 4587354 140735651400944 18446744073709551615 4238522 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 545032 73068 337 96 0 541594 0
[pid=2746] ppid=2744 vsize=316040 CPUtime=1654.04 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 75751 0 0 0 165384 20 0 0 25 0 1 0 475137059 323624960 73871 33554432000 4194304 4785740 140736865444080 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 79010 73871 341 145 0 76055 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=1654.19 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 165418 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134529896 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 4962.29
Current children cumulated vsize (KiB) 2986952



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5000 s]
/proc/loadavg: 6.07 6.02 5.91 7/184 2958
/proc/meminfo: memFree=12476620/32951124 swapFree=67111528/67111528
[pid=2744] ppid=2742 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/2744/stat : 2744 (ppfolio) S 2742 2744 2670 0 -1 4202496 500 0 0 0 0 0 0 0 15 0 1 0 475137059 18763776 393 33554432000 4194304 4287625 140736389776000 18446744073709551615 230809185807 0 0 4096 65536 4586293072261808128 0 0 17 5 0 0 0
/proc/2744/statm: 4581 393 345 23 0 91 0
[pid=2745] ppid=2744 vsize=2189180 CPUtime=1666.64 cores=1
/proc/2745/stat : 2745 (cryptominisat) R 2744 2744 2670 0 -1 4202496 592493 0 0 0 166547 117 0 0 25 0 1 0 475137059 2241720320 70549 33554432000 4194304 4587354 140735651400944 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/2745/statm: 547295 70549 337 96 0 543857 0
[pid=2746] ppid=2744 vsize=316040 CPUtime=1666.63 cores=1
/proc/2746/stat : 2746 (clasp) R 2744 2744 2670 0 -1 4202496 75751 0 0 0 166643 20 0 0 25 0 1 0 475137059 323624960 73871 33554432000 4194304 4785740 140736865444080 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/2746/statm: 79010 73871 341 145 0 76055 0
[pid=2747] ppid=2744 vsize=472460 CPUtime=1666.72 cores=1
/proc/2747/stat : 2747 (TNM) R 2744 2744 2670 0 -1 4202496 7215 0 0 0 166671 1 0 0 25 0 1 0 475137059 483799040 7112 33554432000 134512640 134534564 4291325760 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2747/statm: 118115 7112 95 6 0 116781 0
Current children cumulated CPU time (s) 4999.99
Current children cumulated vsize (KiB) 2996004

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

Real time (s): 5000.04
CPU time (s): 4999.99
CPU user time (s): 4998.61
CPU system time (s): 1.38
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 4882224

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

runsolver used 7.97079 second user time and 19.3091 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-24 10:56:06
IDJOB=3275097
IDBENCH=71425
IDSOLVER=1639
FILE ID=node104/3275097-1303635366
RUNJOBID= node104-1303635252-2689
PBS_JOBID= 13150744
Free space on /tmp= 71412 MiB

SOLVER NAME= ppfolio seq
BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2640c305320gyes10.cnf
COMMAND LINE= ppfolio --nbcore=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3275097-1303635366/watcher-3275097-1303635366 -o /tmp/evaluation-result-3275097-1303635366/solver-3275097-1303635366 -C 5000 -W 5000 -M 15500  ppfolio --nbcore=1 HOME/instance-3275097-1303635366.cnf

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

MD5SUM BENCH= e4e4b653016e98f210aa8da2214e783a
RANDOM SEED=1604343014

node104.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.855
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.71
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.855
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.855
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13162488 kB
Buffers:       2275448 kB
Cached:       16754984 kB
SwapCached:          0 kB
Active:       10798628 kB
Inactive:      8414932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13162488 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           13984 kB
Writeback:           0 kB
AnonPages:      182292 kB
Mapped:          16376 kB
Slab:           512000 kB
PageTables:       5464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1814576 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= 71400 MiB
End job on node104 at 2011-04-24 12:19:28