Trace number 3264325

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
Sol 2011-04-04SAT 0.136979 0.205208

General information on the benchmark

NameSAT04/handmade/anton/l5k3/
lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
MD5SUMf7a218f6e4ba6f28584266f788a5d6da
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables895
Number of clauses3357
Sum of the clauses size10071
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33357
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.08/0.14	s SATISFIABLE
0.08/0.14	v 703 -573 850 -137 393 -417 -831 128 -851 28 216 -385 -462 -239 157 -120 -841 -104 428 215 100 -895 -736 -862 763 -529 -718 -849 -502 -705 -560 465 -699 304 -666 -284 44 -480 177 823 520 775 475 -121 -787 -586 -461 -441 -446 629 67 527 -791 159 -212 469 789 33 -631 869 300 -866 305 665 348 -727 -202 415 -680 -636 -15 -612 195 -837 490 493 412 695 526 75 -601 -291 -260 536 -392 758 -608 -129 73 449 -126 318 -883 -874 -30 -369 649 349 16 13 541 134 -431 -648 -846 -867 -125 528 -478 -148 81 -231 138 472 -710 578 -315 -864 18 -634 455 266 471 458 654 563 -64 746 643 -182 -757 -203 -9 -687 -398 -80 399 879 880 -244 -794 -795 -488 -124 772 87 -734 -762 -35 -4 61 715 -552 -748 -224 103 402 -871 -113 689 -605 627 -54 -283 -519 -824 -765 -515 -330 -165 696 -411 786 88 -171 -875 -344 -122 -856 -692 833 114 233 618 227 -139 511 -248 -821 334 694 -219 501 -661 282 211 68 813 12 611 -819 -796 -676 894 -381 -647 191 688 -802 878 -178 -379 -664 -706 -422 466 163 -141 26 406 -617 750 97 -496 197 -892 -299 -751 483 -53 -621 -161 312 328 -685 857 -452 206 451 57 -776 -682 223 -547 229 -342 683 785 401 -567 -243 686 185 659 723 -639 383 -352 -553 -106 -55 591 -641 571 -158 -724 839 -430 792 -884 663 -370 847 667 -36 230 355 812 -797 583 597 517 186 -8 -708 697 -37 510 302 -303 -335 720 -714 254 658 -886 -815 -773 -416 95 280 752 -278 83 745 -140 71 829 731 -523 359 587 -419 156 -604 -887 -836 -693 707 162 -607 274 -554 722 84 288 678 -130 -78 -396 -207 414 164 296 -332 337 285 615 799 5 -152 650 -351 297 27 -777 885 549 -679 -323 56 -619 -606 420 -582 -854 -445 -513 160 716 267 -60 326 79 123 -825 744 -811 535 635 46 572 485 -646 569 770 -47 711 -382 -208 242 101 -21 -298 508 -623 702 43 360 -747 378 -119 838 -818 470 -287 116 -364 684 -99 -273 -844 -238 -805 -418 -440 -317 322 -166 111 170 20 -374 -258 256 889 -368 209 -200 768 487 234 -642 -754 -19 -341 546 719 339 -616 585 391 -433 459 -464 38 386 23 -358 574 -876 338 86 -670 250 -423 -767 592 -822 814 110 -740 766 149 832 -614 154 497 -600 -11 268 -90 324 868 -835 -834 -437 640 -228 -194 -222 -201 -367 -562 118 -691 -753 277 259 890 -456 -179 453 -518 262 210 732 70 377 783 308 852 632 -397 729 -840 -17 436 733 -845 -249 -741 -509 891 637 801 395 246 -421 -443 -782 409 -861 -269 577 -108 -593 -373 779 -525 -633 -217 -329 -424 -524 -293 -115 -295 91 400 -146 -447 -39 366 307 -726 -668 566 -769 -193 -327 -609 -690 313 626 877 -749 -807 -172 -530 681 -45 62 -356 -289 309 151 281 196 484 -221 331 652 -316 98 -588 -306 477 -531 809 -301 -390 -426 145 817 77 40 -504 32 657 743 755 -107 -489 598 371 858 544 -50 -365 -500 213 31 -82 135 294 270 -557 -1 -870 -189 -133 474 -173 613 190 788 630 142 -539 -804 700 537 595 -69 -579 363 407 -479 -235 52 -610 361 276 105 798 -457 -147 -225 -516 253 507 -674 241 354 345 860 -413 -22 -737 -820 251 -596 279 570 671 463 -434 325 717 -827 336 -34 263 482 92 656 -132 538 236 -620 559 41 -725 372 -388 252 556 -521 721 -343 -759 -514 506 -584 -701 -192 -350 72 -384 -738 533 320 -590 150 -826 -96 51 -735 292 226 -460 -540 602 555 756 59 882 232 -131 644 468 859 85 183 790 -321 427 109 534 543 7 784 237 3 848 -405 -865 117 -581 532 810 -29 -800 778 780 181 -669 -272 42 -473 -728 438 220 -76 651 -713 -65 -340 -247 -806 271 -245 450 -6 -853 255 660 -89 -394 -333 -486 2 429 653 -204 808 380 10 842 -432 63 444 -168 -127 -742 -545 828 -655 -603 -353 803 175 -709 347 -568 -176 599 -375 -14 -174 561 346 -816 -275 580 199 -855 893 -153 -872 167 180 448 -576 24 -793 -495 257 673 -712 48 261 625 565 -93 25 863 739 764 542 -499 492 -564 -589 548 286 -512 503 -435 319 -205 -102 265 -505 -49 774 -389 -481 645 136 439 -771 -184 830 -144 387 558 -311 -551 675 -888 476 240 -594 310 -760 425 314 622 -94 -188 74 112 143 761 404 357 -624 662 187 550 -881 -66 -575 198 -677 -522 781 214 -638 672 491 843 442 873 155 -494 498 -169 58 -730 410 -403 -454 467 -290 -408 -698 628 376 362 264 -704 -218  0

Verifier Data 

OK

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-3264325-1303573249/watcher-3264325-1303573249 -o /tmp/evaluation-result-3264325-1303573249/solver-3264325-1303573249 -C 2400 -W 1300 -M 7680 mono Main.exe HOME/instance-3264325-1303573249.cnf 

running on 2 cores: 1,3

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: 3.68 3.93 3.91 2/186 6813
/proc/meminfo: memFree=14572448/32950928 swapFree=67087032/67111528
[pid=6813] ppid=6811 vsize=102404 CPUtime=0 cores=1,3
/proc/6813/stat : 6813 (mono) S 6811 6813 5983 0 -1 4202496 697 0 0 0 0 0 0 0 21 0 8 0 468922012 104861696 605 33554432000 4194304 7232020 140735781701312 18446744073709551615 239476715078 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/6813/statm: 25601 605 473 742 0 18172 0
[pid=6813/tid=6814] ppid=6811 vsize=102404 CPUtime=0 cores=1,3
/proc/6813/task/6814/stat : 6814 (mono) S 6811 6813 5983 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 8 0 468922012 104861696 605 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6815] ppid=6811 vsize=102404 CPUtime=0 cores=1,3
/proc/6813/task/6815/stat : 6815 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 8 0 468922012 104861696 605 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6816] ppid=6811 vsize=102404 CPUtime=0 cores=1,3
/proc/6813/task/6816/stat : 6816 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 8 0 468922012 104861696 605 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6817] ppid=6811 vsize=102404 CPUtime=0 cores=1,3
/proc/6813/task/6817/stat : 6817 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 8 0 468922012 104861696 605 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6818] ppid=6811 vsize=102404 CPUtime=0 cores=1,3
/proc/6813/task/6818/stat : 6818 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 8 0 468922012 104861696 605 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6819] ppid=6811 vsize=102404 CPUtime=0 cores=1,3
/proc/6813/task/6819/stat : 6819 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 8 0 468922012 104861696 605 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6820] ppid=6811 vsize=102404 CPUtime=0 cores=1,3
/proc/6813/task/6820/stat : 6820 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 8 0 468922012 104861696 605 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0

[startup+0.104503 s]
/proc/loadavg: 3.68 3.93 3.91 2/186 6813
/proc/meminfo: memFree=14572448/32950928 swapFree=67087032/67111528
[pid=6813] ppid=6811 vsize=112480 CPUtime=0.08 cores=1,3
/proc/6813/stat : 6813 (mono) R 6811 6813 5983 0 -1 4202496 2909 0 0 0 8 0 0 0 18 0 9 0 468922012 115179520 2811 33554432000 4194304 7232020 140735781701312 18446744073709551615 6182104 0 0 4096 545260780 18446744073709551615 0 0 17 1 0 0 0
/proc/6813/statm: 28120 2811 1024 742 0 20691 0
[pid=6813/tid=6814] ppid=6811 vsize=112480 CPUtime=0 cores=1,3
/proc/6813/task/6814/stat : 6814 (mono) S 6811 6813 5983 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 9 0 468922012 115179520 2811 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6815] ppid=6811 vsize=112480 CPUtime=0 cores=1,3
/proc/6813/task/6815/stat : 6815 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 468922012 115179520 2811 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 3 0 0 0
[pid=6813/tid=6816] ppid=6811 vsize=112480 CPUtime=0 cores=1,3
/proc/6813/task/6816/stat : 6816 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 468922012 115179520 2811 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6817] ppid=6811 vsize=112480 CPUtime=0 cores=1,3
/proc/6813/task/6817/stat : 6817 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 468922012 115179520 2811 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6818] ppid=6811 vsize=112480 CPUtime=0 cores=1,3
/proc/6813/task/6818/stat : 6818 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 468922012 115179520 2811 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 3 0 0 0
[pid=6813/tid=6819] ppid=6811 vsize=112480 CPUtime=0 cores=1,3
/proc/6813/task/6819/stat : 6819 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 468922012 115179520 2811 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 3 0 0 0
[pid=6813/tid=6820] ppid=6811 vsize=112480 CPUtime=0 cores=1,3
/proc/6813/task/6820/stat : 6820 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 9 0 468922012 115179520 2811 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545260780 18446604471134148800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 112480

[startup+0.200512 s]
/proc/loadavg: 3.68 3.93 3.91 2/186 6813
/proc/meminfo: memFree=14572448/32950928 swapFree=67087032/67111528
[pid=6813] ppid=6811 vsize=112440 CPUtime=0.12 cores=1,3
/proc/6813/stat : 6813 (mono) D 6811 6813 5983 0 -1 4202496 3005 0 1 0 12 0 0 0 18 0 9 0 468922012 115138560 2877 33554432000 4194304 7232020 140735781701312 18446744073709551615 239476738183 0 0 4096 545259520 18446744073709551615 0 0 17 1 0 0 0
/proc/6813/statm: 28110 2877 1076 742 0 20681 0
[pid=6813/tid=6814] ppid=6811 vsize=112440 CPUtime=0 cores=1,3
/proc/6813/task/6814/stat : 6814 (mono) S 6811 6813 5983 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 9 0 468922012 115138560 2877 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545259520 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6815] ppid=6811 vsize=112440 CPUtime=0 cores=1,3
/proc/6813/task/6815/stat : 6815 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 17 0 9 0 468922012 115138560 2877 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545259520 18446604471134148800 0 0 -1 3 0 0 0
[pid=6813/tid=6816] ppid=6811 vsize=112440 CPUtime=0 cores=1,3
/proc/6813/task/6816/stat : 6816 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 9 0 468922012 115138560 2877 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545259520 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6817] ppid=6811 vsize=112440 CPUtime=0 cores=1,3
/proc/6813/task/6817/stat : 6817 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 468922012 115138560 2877 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545259520 18446604471134148800 0 0 -1 1 0 0 0
[pid=6813/tid=6818] ppid=6811 vsize=112440 CPUtime=0 cores=1,3
/proc/6813/task/6818/stat : 6818 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 468922012 115138560 2877 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545259520 18446604471134148800 0 0 -1 3 0 0 0
[pid=6813/tid=6819] ppid=6811 vsize=112440 CPUtime=0 cores=1,3
/proc/6813/task/6819/stat : 6819 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 468922012 115138560 2877 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545259520 18446604471134148800 0 0 -1 3 0 0 0
[pid=6813/tid=6820] ppid=6811 vsize=112440 CPUtime=0 cores=1,3
/proc/6813/task/6820/stat : 6820 (mono) S 6811 6813 5983 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 9 0 468922012 115138560 2877 33554432000 4194304 7232020 140735781701312 18446744073709551615 239488510873 0 0 4096 545259520 18446604471134148800 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 112440

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

Child status: 0
Real time (s): 0.205208
CPU time (s): 0.136979
CPU user time (s): 0.13098
CPU system time (s): 0.005999
CPU usage (%): 66.7513
Max. virtual memory (cumulated for all children) (KiB): 112480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.13098
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3044
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 53

runsolver used 0.000999 second user time and 0.005999 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-23 17:40:49
IDJOB=3264325
IDBENCH=84572
IDSOLVER=1608
FILE ID=node148/3264325-1303573249
RUNJOBID= node148-1303573249-6786
PBS_JOBID= 13150285
Free space on /tmp= 70596 MiB

SOLVER NAME= Sol 2011-04-04
BENCH NAME= SAT04/handmade/anton/l5k3/lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
COMMAND LINE= mono Main.exe BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264325-1303573249/watcher-3264325-1303573249 -o /tmp/evaluation-result-3264325-1303573249/solver-3264325-1303573249 -C 2400 -W 1300 -M 7680  mono Main.exe HOME/instance-3264325-1303573249.cnf

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

MD5SUM BENCH= f7a218f6e4ba6f28584266f788a5d6da
RANDOM SEED=978608025

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.82
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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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:     32950928 kB
MemFree:      14572852 kB
Buffers:       2044276 kB
Cached:       15728520 kB
SwapCached:       5264 kB
Active:        8872632 kB
Inactive:      8945948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14572852 kB
SwapTotal:    67111528 kB
SwapFree:     67087032 kB
Dirty:               0 kB
Writeback:          16 kB
AnonPages:       41804 kB
Mapped:          14552 kB
Slab:           494384 kB
PageTables:       5676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   284560 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= 70596 MiB
End job on node148 at 2011-04-23 17:40:50