Trace number 3379055

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-05-12 (fixed)SAT 29.8475 29.8515

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 

29.79/29.83	s SATISFIABLE
29.79/29.83	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: 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-3379055-1305460990/watcher-3379055-1305460990 -o /tmp/evaluation-result-3379055-1305460990/solver-3379055-1305460990 -C 2400 -W 1300 -M 7680 umsat HOME/instance-3379055-1305460990.cnf 

running on 2 cores: 5,7

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.86 3.27 3.26 5/348 20948
/proc/meminfo: memFree=26062752/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=11644 CPUtime=0 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4194304 343 0 0 0 0 0 0 0 25 0 1 0 390290242 11923456 284 33554432000 4194304 4263832 140734739713168 18446744073709551615 47657195917629 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 2911 284 240 17 0 84 0

[startup+0.0156381 s]
/proc/loadavg: 3.86 3.27 3.26 5/348 20948
/proc/meminfo: memFree=26062752/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=11908 CPUtime=0.01 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4194304 393 0 0 0 1 0 0 0 25 0 1 0 390290242 12193792 334 33554432000 4194304 4263832 140734739713168 18446744073709551615 47657195903455 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 2977 334 240 17 0 150 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11908

[startup+0.100652 s]
/proc/loadavg: 3.86 3.27 3.26 5/348 20948
/proc/meminfo: memFree=26062752/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=12776 CPUtime=0.09 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 608 0 0 0 9 0 0 0 25 0 1 0 390290242 13082624 549 33554432000 4194304 4263832 140734739713168 18446744073709551615 268660323013 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 3194 549 246 17 0 367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12776

[startup+0.300616 s]
/proc/loadavg: 3.86 3.27 3.26 5/348 20948
/proc/meminfo: memFree=26062752/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=13436 CPUtime=0.29 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 779 0 0 0 29 0 0 0 25 0 1 0 390290242 13758464 720 33554432000 4194304 4263832 140734739713168 18446744073709551615 4205595 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 3359 720 247 17 0 532 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13436

[startup+0.700557 s]
/proc/loadavg: 3.86 3.27 3.26 5/348 20948
/proc/meminfo: memFree=26062752/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=13792 CPUtime=0.69 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 892 0 0 0 69 0 0 0 25 0 1 0 390290242 14123008 833 33554432000 4194304 4263832 140734739713168 18446744073709551615 4205647 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 3448 833 247 17 0 621 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13792

[startup+1.50042 s]
/proc/loadavg: 3.86 3.27 3.26 5/349 20949
/proc/meminfo: memFree=26059520/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=14720 CPUtime=1.49 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 1118 0 0 0 149 0 0 0 25 0 1 0 390290242 15073280 1059 33554432000 4194304 4263832 140734739713168 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 3680 1059 247 17 0 853 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14720

[startup+3.10113 s]
/proc/loadavg: 3.86 3.27 3.26 5/349 20950
/proc/meminfo: memFree=26057164/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=15844 CPUtime=3.09 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 1397 0 0 0 309 0 0 0 25 0 1 0 390290242 16224256 1338 33554432000 4194304 4263832 140734739713168 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 3961 1338 248 17 0 1134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15844

[startup+6.30056 s]
/proc/loadavg: 3.87 3.29 3.27 5/349 20950
/proc/meminfo: memFree=26055540/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=17552 CPUtime=6.29 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 1829 0 0 0 629 0 0 0 25 0 1 0 390290242 17973248 1770 33554432000 4194304 4263832 140734739713168 18446744073709551615 4207780 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 4388 1770 248 17 0 1561 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17552

[startup+12.7004 s]
/proc/loadavg: 3.88 3.30 3.27 5/349 20950
/proc/meminfo: memFree=26052932/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=19228 CPUtime=12.69 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 2327 0 0 0 1269 0 0 0 25 0 1 0 390290242 19689472 2162 33554432000 4194304 4263832 140734739713168 18446744073709551615 4242448 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 4807 2162 248 17 0 1980 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19228

[startup+25.5002 s]
/proc/loadavg: 3.91 3.33 3.28 5/349 20950
/proc/meminfo: memFree=26049312/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=21356 CPUtime=25.49 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 2935 0 0 0 2549 0 0 0 25 0 1 0 390290242 21868544 2682 33554432000 4194304 4263832 140734739713168 18446744073709551615 4215062 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/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+27.1009 s]
/proc/loadavg: 3.91 3.33 3.28 5/349 20950
/proc/meminfo: memFree=26047948/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=21884 CPUtime=27.09 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 3135 0 0 0 2709 0 0 0 25 0 1 0 390290242 22409216 2831 33554432000 4194304 4263832 140734739713168 18446744073709551615 4209440 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 5471 2831 248 17 0 2644 0
Current children cumulated CPU time (s) 27.09
Current children cumulated vsize (KiB) 21884

[startup+28.7006 s]
/proc/loadavg: 3.91 3.33 3.28 5/349 20950
/proc/meminfo: memFree=26047576/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=22612 CPUtime=28.69 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 3263 0 0 0 2869 0 0 0 25 0 1 0 390290242 23154688 2959 33554432000 4194304 4263832 140734739713168 18446744073709551615 4205591 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 5653 2959 248 17 0 2826 0
Current children cumulated CPU time (s) 28.69
Current children cumulated vsize (KiB) 22612

[startup+29.5005 s]
/proc/loadavg: 3.91 3.33 3.28 5/349 20950
/proc/meminfo: memFree=26047576/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=22612 CPUtime=29.49 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 3265 0 0 0 2949 0 0 0 25 0 1 0 390290242 23154688 2961 33554432000 4194304 4263832 140734739713168 18446744073709551615 4207705 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 5653 2961 248 17 0 2826 0
Current children cumulated CPU time (s) 29.49
Current children cumulated vsize (KiB) 22612

[startup+29.7134 s]
/proc/loadavg: 3.91 3.33 3.28 5/349 20950
/proc/meminfo: memFree=26047576/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=22612 CPUtime=29.7 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 3265 0 0 0 2970 0 0 0 25 0 1 0 390290242 23154688 2961 33554432000 4194304 4263832 140734739713168 18446744073709551615 4207650 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 5653 2961 248 17 0 2826 0
Current children cumulated CPU time (s) 29.7
Current children cumulated vsize (KiB) 22612

[startup+29.8004 s]
/proc/loadavg: 3.91 3.33 3.28 5/349 20950
/proc/meminfo: memFree=26047576/32951124 swapFree=46575252/67111528
[pid=20948] ppid=20946 vsize=22612 CPUtime=29.79 cores=5,7
/proc/20948/stat : 20948 (umsat) R 20946 20948 20792 0 -1 4202496 3265 0 0 0 2979 0 0 0 25 0 1 0 390290242 23154688 2961 33554432000 4194304 4263832 140734739713168 18446744073709551615 4207643 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20948/statm: 5653 2961 248 17 0 2826 0
Current children cumulated CPU time (s) 29.79
Current children cumulated vsize (KiB) 22612

Child status: 0
Real time (s): 29.8515
CPU time (s): 29.8475
CPU user time (s): 29.8425
CPU system time (s): 0.004999
CPU usage (%): 99.9864
Max. virtual memory (cumulated for all children) (KiB): 22612

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

runsolver used 0.093985 second user time and 0.242963 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-15 14:03:10
IDJOB=3379055
IDBENCH=84572
IDSOLVER=1861
FILE ID=node107/3379055-1305460990
RUNJOBID= node107-1305460764-20813
PBS_JOBID= 13324922
Free space on /tmp= 73468 MiB

SOLVER NAME= UmSat 2011-05-12 (fixed)
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-3379055-1305460990/watcher-3379055-1305460990 -o /tmp/evaluation-result-3379055-1305460990/solver-3379055-1305460990 -C 2400 -W 1300 -M 7680  umsat HOME/instance-3379055-1305460990.cnf

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

MD5SUM BENCH= f7a218f6e4ba6f28584266f788a5d6da
RANDOM SEED=1873288293

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      26062900 kB
Buffers:        179776 kB
Cached:        1389516 kB
SwapCached:       9832 kB
Active:        6078036 kB
Inactive:       521388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26062900 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:            2352 kB
Writeback:           0 kB
AnonPages:     5028148 kB
Mapped:          22916 kB
Slab:           149628 kB
PageTables:      72608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76794404 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= 73468 MiB
End job on node107 at 2011-05-15 14:03:40