Trace number 3264307

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
UmSat 2011-02-25SAT 32.2971 32.2983

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 

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

running on 2 cores: 4,6

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.95 2.97 3.21 5/193 27516
/proc/meminfo: memFree=18620136/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=11644 CPUtime=0 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4194304 353 0 0 0 0 0 0 0 25 0 1 0 468703604 11923456 293 33554432000 4194304 4263880 140733264564000 18446744073709551615 4232288 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 2911 293 240 17 0 84 0

[startup+0.0380699 s]
/proc/loadavg: 3.95 2.97 3.21 5/193 27516
/proc/meminfo: memFree=18620136/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=12352 CPUtime=0.03 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 521 0 0 0 3 0 0 0 25 0 1 0 468703604 12648448 461 33554432000 4194304 4263880 140733264564000 18446744073709551615 4211804 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 3088 461 246 17 0 261 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 12352

[startup+0.101071 s]
/proc/loadavg: 3.95 2.97 3.21 5/193 27516
/proc/meminfo: memFree=18620136/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=12776 CPUtime=0.09 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 614 0 0 0 9 0 0 0 25 0 1 0 468703604 13082624 554 33554432000 4194304 4263880 140733264564000 18446744073709551615 4215123 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 3194 554 246 17 0 367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12776

[startup+0.301015 s]
/proc/loadavg: 3.95 2.97 3.21 5/193 27516
/proc/meminfo: memFree=18620136/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=13436 CPUtime=0.29 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 780 0 0 0 29 0 0 0 25 0 1 0 468703604 13758464 720 33554432000 4194304 4263880 140733264564000 18446744073709551615 4205828 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 3359 720 247 17 0 532 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13436

[startup+0.700937 s]
/proc/loadavg: 3.95 2.97 3.21 5/193 27516
/proc/meminfo: memFree=18620136/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=13792 CPUtime=0.69 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 893 0 0 0 69 0 0 0 25 0 1 0 468703604 14123008 833 33554432000 4194304 4263880 140733264564000 18446744073709551615 4207872 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 3448 833 247 17 0 621 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13792

[startup+1.50082 s]
/proc/loadavg: 3.95 2.97 3.21 5/194 27517
/proc/meminfo: memFree=18614424/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=14720 CPUtime=1.49 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 1119 0 0 0 149 0 0 0 25 0 1 0 468703604 15073280 1059 33554432000 4194304 4263880 140733264564000 18446744073709551615 4207634 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 3680 1059 247 17 0 853 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14720

[startup+3.10053 s]
/proc/loadavg: 3.95 2.98 3.22 5/194 27517
/proc/meminfo: memFree=18610460/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=15844 CPUtime=3.09 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 1397 0 0 0 309 0 0 0 25 0 1 0 468703604 16224256 1337 33554432000 4194304 4263880 140733264564000 18446744073709551615 4215110 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 3961 1337 248 17 0 1134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15844

[startup+6.30094 s]
/proc/loadavg: 3.95 2.98 3.22 5/194 27519
/proc/meminfo: memFree=18602272/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=17552 CPUtime=6.29 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 1830 0 0 0 629 0 0 0 25 0 1 0 468703604 17973248 1770 33554432000 4194304 4263880 140733264564000 18446744073709551615 4207674 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 4388 1770 248 17 0 1561 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17552

[startup+12.7008 s]
/proc/loadavg: 3.96 3.02 3.23 5/194 27521
/proc/meminfo: memFree=18586992/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=19096 CPUtime=12.69 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 2227 0 0 0 1268 1 0 0 25 0 1 0 468703604 19554304 2099 33554432000 4194304 4263880 140733264564000 18446744073709551615 4205634 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 4774 2099 248 17 0 1947 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19096

[startup+25.5004 s]
/proc/loadavg: 3.97 3.05 3.23 5/194 27521
/proc/meminfo: memFree=18562800/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=21356 CPUtime=25.49 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 2936 0 0 0 2548 1 0 0 25 0 1 0 468703604 21868544 2682 33554432000 4194304 4263880 140733264564000 18446744073709551615 4206480 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 5339 2682 248 17 0 2512 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21356

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

[startup+28.7008 s]
/proc/loadavg: 3.97 3.06 3.24 5/194 27521
/proc/meminfo: memFree=18556108/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=21884 CPUtime=28.69 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 3136 0 0 0 2868 1 0 0 25 0 1 0 468703604 22409216 2831 33554432000 4194304 4263880 140733264564000 18446744073709551615 4205824 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 5471 2831 248 17 0 2644 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 21884

[startup+30.3006 s]
/proc/loadavg: 3.97 3.06 3.24 5/194 27521
/proc/meminfo: memFree=18554248/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=22044 CPUtime=30.29 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 3162 0 0 0 3028 1 0 0 25 0 1 0 468703604 22573056 2857 33554432000 4194304 4263880 140733264564000 18446744073709551615 4205668 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 5511 2857 248 17 0 2684 0
Current children cumulated CPU time (s) 30.29
Current children cumulated vsize (KiB) 22044

[startup+31.1004 s]
/proc/loadavg: 3.97 3.06 3.24 5/194 27521
/proc/meminfo: memFree=18552140/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=22612 CPUtime=31.09 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 3264 0 0 0 3108 1 0 0 25 0 1 0 468703604 23154688 2959 33554432000 4194304 4263880 140733264564000 18446744073709551615 4207753 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 5653 2959 248 17 0 2826 0
Current children cumulated CPU time (s) 31.09
Current children cumulated vsize (KiB) 22612

[startup+31.9073 s]
/proc/loadavg: 3.97 3.08 3.24 5/194 27521
/proc/meminfo: memFree=18550280/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=22612 CPUtime=31.9 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 3266 0 0 0 3189 1 0 0 25 0 1 0 468703604 23154688 2961 33554432000 4194304 4263880 140733264564000 18446744073709551615 4207772 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 5653 2961 248 17 0 2826 0
Current children cumulated CPU time (s) 31.9
Current children cumulated vsize (KiB) 22612

[startup+32.1002 s]
/proc/loadavg: 3.97 3.08 3.24 5/194 27521
/proc/meminfo: memFree=18550280/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=22612 CPUtime=32.09 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 3266 0 0 0 3208 1 0 0 25 0 1 0 468703604 23154688 2961 33554432000 4194304 4263880 140733264564000 18446744073709551615 4205634 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 5653 2961 248 17 0 2826 0
Current children cumulated CPU time (s) 32.09
Current children cumulated vsize (KiB) 22612

[startup+32.2002 s]
/proc/loadavg: 3.97 3.08 3.24 5/194 27521
/proc/meminfo: memFree=18550280/32951124 swapFree=67111416/67111528
[pid=27516] ppid=27514 vsize=22612 CPUtime=32.19 cores=4,6
/proc/27516/stat : 27516 (umsat) R 27514 27516 27040 0 -1 4202496 3266 0 0 0 3218 1 0 0 25 0 1 0 468703604 23154688 2961 33554432000 4194304 4263880 140733264564000 18446744073709551615 4205584 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27516/statm: 5653 2961 248 17 0 2826 0
Current children cumulated CPU time (s) 32.19
Current children cumulated vsize (KiB) 22612

Child status: 0
Real time (s): 32.2983
CPU time (s): 32.2971
CPU user time (s): 32.2841
CPU system time (s): 0.012998
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 22612

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.2841
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3275
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= 8
involuntary context switches= 29

runsolver used 0.055991 second user time and 0.123981 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-23 17:04:14
IDJOB=3264307
IDBENCH=84572
IDSOLVER=1582
FILE ID=node134/3264307-1303571054
RUNJOBID= node134-1303570890-27444
PBS_JOBID= 13150295
Free space on /tmp= 71088 MiB

SOLVER NAME= UmSat 2011-02-25
BENCH NAME= SAT04/handmade/anton/l5k3/lksat-n900-m3357-k3-l5-s950595579.used-as.sat04-938.cnf
COMMAND LINE= umsat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264307-1303571054/watcher-3264307-1303571054 -o /tmp/evaluation-result-3264307-1303571054/solver-3264307-1303571054 -C 2400 -W 1300 -M 7680  umsat HOME/instance-3264307-1303571054.cnf

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

MD5SUM BENCH= f7a218f6e4ba6f28584266f788a5d6da
RANDOM SEED=1859179986

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18620416 kB
Buffers:       2332852 kB
Cached:       10719564 kB
SwapCached:        108 kB
Active:        9506976 kB
Inactive:      4277008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18620416 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            2376 kB
Writeback:           4 kB
AnonPages:      731128 kB
Mapped:          15424 kB
Slab:           482896 kB
PageTables:       6808 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   924360 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71088 MiB
End job on node134 at 2011-04-23 17:04:46