Trace number 3373484

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
claspmt 2.0-R4095-patched (fixed)UNSAT 1714.79 430.146

General information on the benchmark

Nameapplication/jarvisalo/AAAI2010-SATPlanning/
aaai10-planning-ipc5-pathways-13-step17.cnf
MD5SUMe7acb1f64be7eb3ff1367dad08444685
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark152.179
Satisfiable
(Un)Satisfiability was proved
Number of variables25631
Number of clauses142227
Sum of the clauses size317942
Maximum clause length49
Minimum clause length1
Number of clauses of size 1224
Number of clauses of size 2125320
Number of clauses of size 313034
Number of clauses of size 42438
Number of clauses of size 5163
Number of clauses of size over 51048

Solver Data 

0.00/0.00	c clasp version 2.0.0-RC2
0.00/0.00	c Reading from ...421379/instance-3373484-1305421379.cnf
0.09/0.17	c Solving...
1714.74/430.13	s UNSATISFIABLE
1714.74/430.13	
1714.74/430.13	c Models        : 0     
1714.74/430.13	c Time          : 430.082s (Solving: 429.91s 1st Model: 0.00s Unsat: 429.91s)
1714.74/430.13	c CPU Time      : 1714.720s

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3373484-1305421379/watcher-3373484-1305421379 -o /tmp/evaluation-result-3373484-1305421379/solver-3373484-1305421379 -C 4800 -W 1300 -M 15500 HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373484-1305421379.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 7.50 6.72 7.05 4/336 14840
/proc/meminfo: memFree=17933436/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=25700 CPUtime=0 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 1555 0 0 0 0 0 0 0 22 0 1 0 653735844 26316800 1424 33554432000 4194304 4964800 140735415972464 18446744073709551615 4679106 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14840/statm: 6425 1428 376 189 0 1299 0

[startup+0.0211221 s]
/proc/loadavg: 7.50 6.72 7.05 4/336 14840
/proc/meminfo: memFree=17933436/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=28384 CPUtime=0.01 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 2714 0 0 0 1 0 0 0 23 0 1 0 653735844 29065216 2274 33554432000 4194304 4964800 140735415972464 18446744073709551615 228244009669 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14840/statm: 7096 2275 388 189 0 1970 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28384

[startup+0.100152 s]
/proc/loadavg: 7.50 6.72 7.05 4/336 14840
/proc/meminfo: memFree=17933436/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=38140 CPUtime=0.09 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 5792 0 0 0 9 0 0 0 23 0 1 0 653735844 39055360 4530 33554432000 4194304 4964800 140735415972464 18446744073709551615 4607477 0 0 4096 18946 0 0 0 17 1 0 0 0
/proc/14840/statm: 9535 4530 402 189 0 4409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38140

[startup+0.951 s]
/proc/loadavg: 7.50 6.72 7.05 4/336 14840
/proc/meminfo: memFree=17933436/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=251680 CPUtime=3.3 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 11580 0 0 0 327 3 0 0 25 0 4 0 653735844 257720320 9435 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670346 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 62920 9526 458 189 0 57269 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 251680

[startup+1.05094 s]
/proc/loadavg: 7.50 6.72 7.05 4/336 14840
/proc/meminfo: memFree=17933436/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=251680 CPUtime=3.64 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 11924 0 0 0 360 4 0 0 18 0 4 0 653735844 257720320 9779 33554432000 4194304 4964800 140735415972464 18446744073709551615 228244392119 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 62920 9887 458 189 0 57269 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 251680

[startup+1.50087 s]
/proc/loadavg: 7.50 6.72 7.05 4/336 14840
/proc/meminfo: memFree=17933436/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=251680 CPUtime=5.43 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 13500 0 0 0 538 5 0 0 18 0 4 0 653735844 257720320 11355 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670151 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 62920 11355 458 189 0 57269 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 251680

[startup+3.10059 s]
/proc/loadavg: 7.30 6.69 7.03 6/340 14844
/proc/meminfo: memFree=17868668/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=252472 CPUtime=11.81 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 18632 0 0 0 1171 10 0 0 21 0 4 0 653735844 258531328 16487 33554432000 4194304 4964800 140735415972464 18446744073709551615 4313948 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 63118 16487 458 189 0 57467 0
[pid=14840/tid=14842] ppid=14838 vsize=252472 CPUtime=2.91 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 810 0 0 0 291 0 0 0 24 0 4 0 653735861 258531328 16487 33554432000 4194304 4964800 140735415972464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=252472 CPUtime=2.89 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 6458 0 0 0 284 5 0 0 25 0 4 0 653735861 258531328 16487 33554432000 4194304 4964800 140735415972464 18446744073709551615 4363327 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=252472 CPUtime=2.91 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 3796 0 0 0 288 3 0 0 21 0 4 0 653735861 258531328 16487 33554432000 4194304 4964800 140735415972464 18446744073709551615 4362960 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.81
Current children cumulated vsize (KiB) 252472

[startup+6.30104 s]
/proc/loadavg: 7.30 6.69 7.03 6/343 14868
/proc/meminfo: memFree=17798748/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=253736 CPUtime=24.56 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 27167 0 0 0 2436 20 0 0 25 0 4 0 653735844 259825664 25022 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670299 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 63434 25022 458 189 0 57783 0
[pid=14840/tid=14842] ppid=14838 vsize=253736 CPUtime=6.11 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 1122 0 0 0 611 0 0 0 25 0 4 0 653735861 259825664 25022 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320916 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=253736 CPUtime=6.04 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 11529 0 0 0 594 10 0 0 21 0 4 0 653735861 259825664 25022 33554432000 4194304 4964800 140735415972464 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=253736 CPUtime=6.11 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 6416 0 0 0 604 7 0 0 25 0 4 0 653735861 259825664 25022 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.56
Current children cumulated vsize (KiB) 253736

[startup+12.7129 s]
/proc/loadavg: 7.33 6.72 7.04 9/346 14871
/proc/meminfo: memFree=17656224/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=321648 CPUtime=50.14 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 39455 0 0 0 4986 28 0 0 25 0 4 0 653735844 329367552 37310 33554432000 4194304 4964800 140735415972464 18446744073709551615 4668715 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 80412 37310 460 189 0 74761 0
[pid=14840/tid=14842] ppid=14838 vsize=321648 CPUtime=12.52 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 1729 0 0 0 1252 0 0 0 25 0 4 0 653735861 329367552 37310 33554432000 4194304 4964800 140735415972464 18446744073709551615 4668698 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=321648 CPUtime=12.39 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 19601 0 0 0 1224 15 0 0 25 0 4 0 653735861 329367552 37310 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=321648 CPUtime=12.52 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 9071 0 0 0 1243 9 0 0 25 0 4 0 653735861 329367552 37310 33554432000 4194304 4964800 140735415972464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.14
Current children cumulated vsize (KiB) 321648

[startup+25.5007 s]
/proc/loadavg: 7.43 6.76 7.05 6/340 14893
/proc/meminfo: memFree=17866264/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=324708 CPUtime=101.16 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 42655 0 0 0 10084 32 0 0 25 0 4 0 653735844 332500992 40510 33554432000 4194304 4964800 140735415972464 18446744073709551615 4668801 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 81177 40510 460 189 0 75526 0
[pid=14840/tid=14842] ppid=14838 vsize=324708 CPUtime=25.31 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 2492 0 0 0 2531 0 0 0 25 0 4 0 653735861 332500992 40510 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670328 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=324708 CPUtime=25.04 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 20915 0 0 0 2487 17 0 0 25 0 4 0 653735861 332500992 40510 33554432000 4194304 4964800 140735415972464 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=324708 CPUtime=25.31 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 9995 0 0 0 2520 11 0 0 25 0 4 0 653735861 332500992 40510 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.16
Current children cumulated vsize (KiB) 324708

[startup+51.1012 s]
/proc/loadavg: 6.79 6.66 7.01 9/346 15022
/proc/meminfo: memFree=17453084/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=331604 CPUtime=203.3 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 53389 0 0 0 20277 53 0 0 25 0 4 0 653735844 339562496 51244 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 82901 51244 460 189 0 77250 0
[pid=14840/tid=14842] ppid=14838 vsize=331604 CPUtime=50.92 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 4189 0 0 0 5091 1 0 0 25 0 4 0 653735861 339562496 51244 33554432000 4194304 4964800 140735415972464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=331604 CPUtime=50.36 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 27055 0 0 0 5007 29 0 0 25 0 4 0 653735861 339562496 51244 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=331604 CPUtime=50.92 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 12343 0 0 0 5075 17 0 0 25 0 4 0 653735861 339562496 51244 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.3
Current children cumulated vsize (KiB) 331604

[startup+102.3 s]
/proc/loadavg: 7.76 6.93 7.08 10/347 15117
/proc/meminfo: memFree=17620752/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=415224 CPUtime=407.51 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 75886 0 0 0 40671 80 0 0 25 0 4 0 653735844 425189376 73741 33554432000 4194304 4964800 140735415972464 18446744073709551615 4342167 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 103806 73741 460 189 0 98155 0
[pid=14840/tid=14842] ppid=14838 vsize=415224 CPUtime=102.11 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 11447 0 0 0 10203 8 0 0 25 0 4 0 653735861 425189376 73741 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320944 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=415224 CPUtime=100.99 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 40461 0 0 0 10052 47 0 0 25 0 4 0 653735861 425189376 73741 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=415224 CPUtime=102.11 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 13472 0 0 0 10193 18 0 0 25 0 4 0 653735861 425189376 73741 33554432000 4194304 4964800 140735415972464 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.51
Current children cumulated vsize (KiB) 415224

[startup+162.313 s]
/proc/loadavg: 7.96 7.14 7.14 9/346 15118
/proc/meminfo: memFree=17538108/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=551608 CPUtime=646.9 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 100230 0 0 0 64580 110 0 0 25 0 4 0 653735844 564846592 98085 33554432000 4194304 4964800 140735415972464 18446744073709551615 4669011 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 137902 98085 460 189 0 132251 0
[pid=14840/tid=14842] ppid=14838 vsize=551608 CPUtime=162.12 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 18056 0 0 0 16197 15 0 0 25 0 4 0 653735861 564846592 98085 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670534 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=551608 CPUtime=160.35 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 50000 0 0 0 15974 61 0 0 25 0 4 0 653735861 564846592 98085 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=551608 CPUtime=162.12 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 17121 0 0 0 16189 23 0 0 25 0 4 0 653735861 564846592 98085 33554432000 4194304 4964800 140735415972464 18446744073709551615 4378499 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 646.9
Current children cumulated vsize (KiB) 551608

[startup+222.3 s]
/proc/loadavg: 8.03 7.31 7.19 9/346 15120
/proc/meminfo: memFree=17441368/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=695148 CPUtime=886.21 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 122555 0 0 0 88481 140 0 0 25 0 4 0 653735844 711831552 120410 33554432000 4194304 4964800 140735415972464 18446744073709551615 4668568 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 173787 120410 460 189 0 168136 0
[pid=14840/tid=14842] ppid=14838 vsize=695148 CPUtime=222.11 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 22022 0 0 0 22189 22 0 0 25 0 4 0 653735861 711831552 120410 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670180 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=695148 CPUtime=219.68 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 67048 0 0 0 21886 82 0 0 25 0 4 0 653735861 711831552 120410 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=695148 CPUtime=222.11 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 18294 0 0 0 22187 24 0 0 25 0 4 0 653735861 711831552 120410 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670340 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 886.21
Current children cumulated vsize (KiB) 695148

[startup+282.301 s]
/proc/loadavg: 8.11 7.46 7.25 9/346 15121
/proc/meminfo: memFree=17384184/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=714676 CPUtime=1125.56 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 136155 0 0 0 112403 153 0 0 25 0 4 0 653735844 731828224 133958 33554432000 4194304 4964800 140735415972464 18446744073709551615 4321079 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 178669 133958 460 189 0 173018 0
[pid=14840/tid=14842] ppid=14838 vsize=714676 CPUtime=282.11 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 28165 0 0 0 28182 29 0 0 25 0 4 0 653735861 731828224 133958 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=714676 CPUtime=279.03 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 70270 0 0 0 27819 84 0 0 25 0 4 0 653735861 731828224 133958 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=714676 CPUtime=282.11 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 18600 0 0 0 28187 24 0 0 25 0 4 0 653735861 731828224 133958 33554432000 4194304 4964800 140735415972464 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1125.56
Current children cumulated vsize (KiB) 714676

[startup+342.3 s]
/proc/loadavg: 8.13 7.59 7.31 9/346 15123
/proc/meminfo: memFree=17338040/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=724592 CPUtime=1364.9 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 147105 0 0 0 136326 164 0 0 25 0 4 0 653735844 741982208 144609 33554432000 4194304 4964800 140735415972464 18446744073709551615 4684107 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 181148 144609 460 189 0 175497 0
[pid=14840/tid=14842] ppid=14838 vsize=724592 CPUtime=342.1 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 29991 0 0 0 34179 31 0 0 25 0 4 0 653735861 741982208 144609 33554432000 4194304 4964800 140735415972464 18446744073709551615 4321102 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=724592 CPUtime=338.38 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 77350 0 0 0 33746 92 0 0 25 0 4 0 653735861 741982208 144609 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=724592 CPUtime=342.11 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 19493 0 0 0 34187 24 0 0 25 0 4 0 653735861 741982208 144609 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1364.9
Current children cumulated vsize (KiB) 724592

[startup+402.301 s]
/proc/loadavg: 8.08 7.67 7.35 9/346 15125
/proc/meminfo: memFree=17307988/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=734316 CPUtime=1604.24 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 152622 0 0 0 160253 171 0 0 25 0 4 0 653735844 751939584 150122 33554432000 4194304 4964800 140735415972464 18446744073709551615 4653507 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 183579 150122 460 189 0 177928 0
[pid=14840/tid=14842] ppid=14838 vsize=734316 CPUtime=402.1 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 31899 0 0 0 40176 34 0 0 25 0 4 0 653735861 751939584 150122 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=734316 CPUtime=397.73 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 78707 0 0 0 39680 93 0 0 25 0 4 0 653735861 751939584 150122 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=734316 CPUtime=402.11 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 21133 0 0 0 40184 27 0 0 25 0 4 0 653735861 751939584 150122 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670440 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1604.24
Current children cumulated vsize (KiB) 734316

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

[startup+410.1 s]
/proc/loadavg: 8.07 7.68 7.36 9/346 15125
/proc/meminfo: memFree=17306252/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=734316 CPUtime=1635.35 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 152646 0 0 0 163364 171 0 0 25 0 4 0 653735844 751939584 150146 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 183579 150146 460 189 0 177928 0
[pid=14840/tid=14842] ppid=14838 vsize=734316 CPUtime=409.9 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 31906 0 0 0 40956 34 0 0 25 0 4 0 653735861 751939584 150146 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=734316 CPUtime=405.44 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 78724 0 0 0 40451 93 0 0 25 0 4 0 653735861 751939584 150146 33554432000 4194304 4964800 140735415972464 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=734316 CPUtime=409.91 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 21133 0 0 0 40964 27 0 0 25 0 4 0 653735861 751939584 150146 33554432000 4194304 4964800 140735415972464 18446744073709551615 4653512 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1635.35
Current children cumulated vsize (KiB) 734316

[startup+422.901 s]
/proc/loadavg: 8.06 7.69 7.37 9/346 15125
/proc/meminfo: memFree=17306004/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=734316 CPUtime=1686.44 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 152704 0 0 0 168473 171 0 0 25 0 4 0 653735844 751939584 150204 33554432000 4194304 4964800 140735415972464 18446744073709551615 4669490 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 183579 150204 460 189 0 177928 0
[pid=14840/tid=14842] ppid=14838 vsize=734316 CPUtime=422.71 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 31914 0 0 0 42237 34 0 0 25 0 4 0 653735861 751939584 150204 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=734316 CPUtime=418.11 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 78766 0 0 0 41718 93 0 0 25 0 4 0 653735861 751939584 150204 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320939 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=734316 CPUtime=422.72 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 21141 0 0 0 42245 27 0 0 25 0 4 0 653735861 751939584 150204 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670190 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1686.44
Current children cumulated vsize (KiB) 734316

[startup+426.101 s]
/proc/loadavg: 8.06 7.69 7.37 9/346 15125
/proc/meminfo: memFree=17305880/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=734316 CPUtime=1699.18 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 152708 0 0 0 169747 171 0 0 25 0 4 0 653735844 751939584 150208 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320970 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 183579 150208 460 189 0 177928 0
[pid=14840/tid=14842] ppid=14838 vsize=734316 CPUtime=425.9 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 31915 0 0 0 42556 34 0 0 25 0 4 0 653735861 751939584 150208 33554432000 4194304 4964800 140735415972464 18446744073709551615 4668568 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=734316 CPUtime=421.27 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 78767 0 0 0 42034 93 0 0 25 0 4 0 653735861 751939584 150208 33554432000 4194304 4964800 140735415972464 18446744073709551615 4342204 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=734316 CPUtime=425.91 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 21143 0 0 0 42564 27 0 0 25 0 4 0 653735861 751939584 150208 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670378 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1699.18
Current children cumulated vsize (KiB) 734316

[startup+427.7 s]
/proc/loadavg: 8.13 7.72 7.37 9/346 15125
/proc/meminfo: memFree=17305756/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=734316 CPUtime=1705.56 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 152710 0 0 0 170385 171 0 0 25 0 4 0 653735844 751939584 150210 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 183579 150210 460 189 0 177928 0
[pid=14840/tid=14842] ppid=14838 vsize=734316 CPUtime=427.5 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 31916 0 0 0 42716 34 0 0 25 0 4 0 653735861 751939584 150210 33554432000 4194304 4964800 140735415972464 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=734316 CPUtime=422.85 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 78767 0 0 0 42192 93 0 0 25 0 4 0 653735861 751939584 150210 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=734316 CPUtime=427.51 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 21144 0 0 0 42724 27 0 0 25 0 4 0 653735861 751939584 150210 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1705.56
Current children cumulated vsize (KiB) 734316

[startup+429.301 s]
/proc/loadavg: 8.13 7.72 7.37 9/346 15125
/proc/meminfo: memFree=17305508/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=734316 CPUtime=1711.94 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 152711 0 0 0 171023 171 0 0 25 0 4 0 653735844 751939584 150211 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320909 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 183579 150211 460 189 0 177928 0
[pid=14840/tid=14842] ppid=14838 vsize=734316 CPUtime=429.1 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 31917 0 0 0 42876 34 0 0 25 0 4 0 653735861 751939584 150211 33554432000 4194304 4964800 140735415972464 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=734316 CPUtime=424.43 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 78767 0 0 0 42350 93 0 0 25 0 4 0 653735861 751939584 150211 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320909 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=734316 CPUtime=429.11 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 21144 0 0 0 42884 27 0 0 25 0 4 0 653735861 751939584 150211 33554432000 4194304 4964800 140735415972464 18446744073709551615 4668689 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1711.94
Current children cumulated vsize (KiB) 734316

[startup+429.701 s]
/proc/loadavg: 8.13 7.72 7.37 9/346 15125
/proc/meminfo: memFree=17305260/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=734316 CPUtime=1713.52 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 152711 0 0 0 171181 171 0 0 25 0 4 0 653735844 751939584 150211 33554432000 4194304 4964800 140735415972464 18446744073709551615 4320951 0 0 4096 18946 18446744073709551615 0 0 17 5 0 0 0
/proc/14840/statm: 183579 150211 460 189 0 177928 0
[pid=14840/tid=14842] ppid=14838 vsize=734316 CPUtime=429.5 cores=1,3,5,7
/proc/14840/task/14842/stat : 14842 (claspmt) R 14838 14840 13934 0 -1 4202560 31917 0 0 0 42916 34 0 0 25 0 4 0 653735861 751939584 150211 33554432000 4194304 4964800 140735415972464 18446744073709551615 4647728 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=14840/tid=14843] ppid=14838 vsize=734316 CPUtime=424.82 cores=1,3,5,7
/proc/14840/task/14843/stat : 14843 (claspmt) R 14838 14840 13934 0 -1 4202560 78767 0 0 0 42389 93 0 0 25 0 4 0 653735861 751939584 150211 33554432000 4194304 4964800 140735415972464 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=14840/tid=14844] ppid=14838 vsize=734316 CPUtime=429.51 cores=1,3,5,7
/proc/14840/task/14844/stat : 14844 (claspmt) R 14838 14840 13934 0 -1 4202560 21144 0 0 0 42924 27 0 0 25 0 4 0 653735861 751939584 150211 33554432000 4194304 4964800 140735415972464 18446744073709551615 4321016 0 0 4096 18946 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1713.52
Current children cumulated vsize (KiB) 734316

[startup+430.101 s]
/proc/loadavg: 8.13 7.72 7.37 9/346 15125
/proc/meminfo: memFree=17305260/32951124 swapFree=67082152/67111528
[pid=14840] ppid=14838 vsize=731108 CPUtime=1714.74 cores=1,3,5,7
/proc/14840/stat : 14840 (claspmt) R 14838 14840 13934 0 -1 4202496 152721 0 0 0 171303 171 0 0 16 0 1 0 653735844 748654592 149114 33554432000 4194304 4964800 140735415972464 18446744073709551615 228244005019 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/14840/statm: 182777 149114 470 189 0 177126 0
Current children cumulated CPU time (s) 1714.74
Current children cumulated vsize (KiB) 731108

Child status: 20
Real time (s): 430.146
CPU time (s): 1714.79
CPU user time (s): 1713.05
CPU system time (s): 1.74273
CPU usage (%): 398.653
Max. virtual memory (cumulated for all children) (KiB): 734316

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

runsolver used 1.38879 second user time and 3.3075 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-15 03:02:59
IDJOB=3373484
IDBENCH=82433
IDSOLVER=1853
FILE ID=node136/3373484-1305421379
RUNJOBID= node136-1305421074-14498
PBS_JOBID= 13324558
Free space on /tmp= 72912 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-13-step17.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3373484-1305421379/watcher-3373484-1305421379 -o /tmp/evaluation-result-3373484-1305421379/solver-3373484-1305421379 -C 4800 -W 1300 -M 15500  HOME/claspmt -t4 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3373484-1305421379.cnf

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

MD5SUM BENCH= e7acb1f64be7eb3ff1367dad08444685
RANDOM SEED=1907887985

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17933476 kB
Buffers:        300628 kB
Cached:        5232944 kB
SwapCached:       2740 kB
Active:       10700828 kB
Inactive:      3975196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17933476 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:            9996 kB
Writeback:           0 kB
AnonPages:     9141280 kB
Mapped:          28012 kB
Slab:           237052 kB
PageTables:      39548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69889336 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= 72988 MiB
End job on node136 at 2011-05-15 03:10:09