Trace number 3495458

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
OptimuS x100_sourceUNSAT 3.02854 3.02875

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E07N10.cnf
MD5SUM9221c4eb6c807704f36e7a0ab318c2cb
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.368943
Satisfiable
(Un)Satisfiability was proved
Number of variables1610
Number of clauses6978
Sum of the clauses size19039
Maximum clause length15
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 23941
Number of clauses of size 32488
Number of clauses of size 4120
Number of clauses of size 5200
Number of clauses of size over 5213

Solver Data 

2.99/3.02	c - Reading the instance.. OK! Totally clauses:     6978; Vars:     1610; Time: 0.01
2.99/3.02	c - Unit propagation..     OK! Removed clauses:     1031;                 Time: 0.00
2.99/3.02	c - Delete by resolution.. OK! Removed clauses:      806;                 Time: 0.00
2.99/3.02	c   - Solving the original instance..
2.99/3.02	c     - OK - UNSAT! Continue to clause elimination..
2.99/3.02	c   - round:    1;   Skips in previous round:    0
2.99/3.02	c     - clauses done:  1%; among them skipped: 0.00%;
2.99/3.02	c     - clauses done: 10%; among them skipped: 0.00%;
2.99/3.02	c     - clauses done: 20%; among them skipped: 0.00%;
2.99/3.02	c - Finish! Unsat core size: 727 / 6978; Time: 3.02 s
2.99/3.02	c - ---------------------------------------------------------------------------
2.99/3.02	c - Statistics: |    unit   |    BCE    | sat-saved | sat-check | unsat-check |
2.99/3.02	c -             |    1031   |    3818   |     290   |     437   |    1402     |
2.99/3.02	c - ---------------------------------------------------------------------------
2.99/3.02	s UNSATISFIABLE
2.99/3.02	v 479 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 573 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 645 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 696 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 827 829 831 833 835 838 839 841 843 846 847 856 857 858 859 860 867 868 869 870 871 872 873 874 875 886 887 893 898 900 905 912 914 915 920 932 934 935 939 943 944 951 952 953 954 957 958 959 960 961 962 2314 2316 2317 2319 2320 2322 2323 2325 2326 2328 2329 2331 2332 2335 2338 2341 2393 2534 2537 2540 2613 2614 2616 2617 2619 2620 2622 2623 2625 2626 2628 2629 2631 2632 2634 2635 2637 2638 2640 2641 2675 2684 2687 2733 2734 2736 2737 2739 2740 2742 2743 2745 2746 2748 2749 2751 2752 2754 2755 2757 2758 2760 2761 2974 2977 2980 2983 2985 2988 2991 2994 2997 3000 3071 3074 3077 3080 3083 3183 3184 3186 3187 3189 3190 3192 3193 3195 3196 3198 3199 3201 3202 3204 3205 3207 3208 3210 3211 3274 3277 3280 3283 3285 3288 3291 3294 3297 3300 3334 3337 3340 3343 3346 3348 3351 3354 3357 3361 3393 3394 3396 3397 3399 3400 3402 3403 3405 3406 3408 3409 3411 3412 3414 3415 3417 3418 3420 3421 3423 3424 3426 3427 3429 3430 3432 3433 3435 3436 3438 3439 3441 3442 3444 3445 3447 3448 3450 3451 3484 3487 3490 3493 3495 3496 3498 3499 3501 3502 3504 3507 3510 3544 3547 3550 3552 3553 3555 3556 3559 3561 3562 3564 3565 3567 3568 3570 3571 3608 3611 3614 3620 3623 3633 3634 3636 3637 3639 3640 3642 3643 3645 3646 3648 3649 3651 3652 3654 3655 3657 3658 3660 3661 4168 4186 4238 4239 4240 4278 4290 4293 4294 4322 4410 4435 4436 4437 4438 4439 4487 4520 4542 4564 4575 4597 4619 4632 4633 4634 4636 4637 4652 5243 5244 5249 5250 5256 5261 5262 5268 5270 5274 5301 5302 5307 5308 5313 5314 5319 5320 5325 5326 5329 5331 5332 5359 5360 5365 5366 5371 5372 5377 5378 5383 5384 5386 5389 5390 5417 5418 5423 5424 5429 5430 5435 5436 5441 5442 5444 5447 5448 5475 5476 5481 5482 5487 5488 5493 5494 5499 5500 5502 5505 5506 5534 5539 5540 5545 5546 5551 5552 5558 5560 5564 5591 5592 5597 5598 5603 5604 5609 5610 5615 5616 5618 5621 5622 5649 5650 5655 5656 5661 5662 5667 5668 5673 5674 5677 5679 5680 5707 5708 5713 5714 5719 5720 5725 5726 5731 5732 5735 5737 5738 5766 5771 5772 5777 5778 5783 5784 5790 5792 5796 5966 5979 5992 6005 6018 6031 6038 6044 6049 6051 6057 6062 6064 6092 6094 6096 6098 6100 6102 6103 6680 6681 6685 6686 6690 6691 6753 6801 6802 6803 6804 6805 6809 6810 6811 6812 6815 6816 6818 6821 6822 6870 6940 6941 6944 6945 6946 6957 6961 6962 6969 6973 6976 6978 0

Verifier Data 

OK	727

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3495458-1307806549/watcher-3495458-1307806549 -o /tmp/evaluation-result-3495458-1307806549/solver-3495458-1307806549 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495458-1307806549.cnf 

running on 2 cores: 4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 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: 1.00 1.53 2.58 6/189 23316
/proc/meminfo: memFree=31902936/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=20536 CPUtime=0 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 697 0 0 0 0 0 0 0 22 0 1 0 624846126 21028864 631 33554432000 4194304 4280283 140737093811312 18446744073709551615 268660358923 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 5134 642 240 21 0 1771 0

[startup+0.0460401 s]
/proc/loadavg: 1.00 1.53 2.58 6/189 23316
/proc/meminfo: memFree=31902936/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=21496 CPUtime=0.04 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 1112 0 0 0 4 0 0 0 22 0 1 0 624846126 22011904 1045 33554432000 4194304 4280283 140737093811312 18446744073709551615 4237247 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 5374 1045 270 21 0 2011 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21496

[startup+0.101056 s]
/proc/loadavg: 1.00 1.53 2.58 6/189 23316
/proc/meminfo: memFree=31902936/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=21496 CPUtime=0.09 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 1112 0 0 0 9 0 0 0 22 0 1 0 624846126 22011904 1045 33554432000 4194304 4280283 140737093811312 18446744073709551615 4261284 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 5374 1045 270 21 0 2011 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21496

[startup+0.30102 s]
/proc/loadavg: 1.00 1.53 2.58 6/189 23316
/proc/meminfo: memFree=31902936/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=21684 CPUtime=0.29 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 2706 0 0 0 29 0 0 0 23 0 1 0 624846126 22204416 1357 33554432000 4194304 4280283 140737093811312 18446744073709551615 4243050 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 5421 1357 270 21 0 2058 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 21684

[startup+0.70095 s]
/proc/loadavg: 1.00 1.53 2.58 6/189 23316
/proc/meminfo: memFree=31902936/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=24400 CPUtime=0.69 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 3984 0 0 0 69 0 0 0 25 0 1 0 624846126 24985600 2633 33554432000 4194304 4280283 140737093811312 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 6100 2633 270 21 0 2737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24400

[startup+1.50081 s]
/proc/loadavg: 1.00 1.53 2.58 5/190 23317
/proc/meminfo: memFree=31825576/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=26048 CPUtime=1.49 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 4403 0 0 0 149 0 0 0 25 0 1 0 624846126 26673152 3045 33554432000 4194304 4280283 140737093811312 18446744073709551615 4257508 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 6512 3045 270 21 0 3149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26048

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

[startup+2.30067 s]
/proc/loadavg: 1.00 1.53 2.58 5/190 23317
/proc/meminfo: memFree=31812276/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=26048 CPUtime=2.29 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 4403 0 0 0 229 0 0 0 25 0 1 0 624846126 26673152 3045 33554432000 4194304 4280283 140737093811312 18446744073709551615 268664121746 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 6512 3045 270 21 0 3149 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 26048

[startup+2.7006 s]
/proc/loadavg: 1.00 1.53 2.58 5/190 23317
/proc/meminfo: memFree=31812276/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=26048 CPUtime=2.69 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 4403 0 0 0 269 0 0 0 25 0 1 0 624846126 26673152 3045 33554432000 4194304 4280283 140737093811312 18446744073709551615 4243332 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 6512 3045 270 21 0 3149 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 26048

[startup+2.90056 s]
/proc/loadavg: 1.00 1.53 2.58 5/190 23317
/proc/meminfo: memFree=31812276/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=26048 CPUtime=2.89 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 4403 0 0 0 289 0 0 0 25 0 1 0 624846126 26673152 3045 33554432000 4194304 4280283 140737093811312 18446744073709551615 4238781 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 6512 3045 270 21 0 3149 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 26048

[startup+3.00056 s]
/proc/loadavg: 1.00 1.53 2.58 5/190 23317
/proc/meminfo: memFree=31812276/32951124 swapFree=67055708/67111528
[pid=23316] ppid=23314 vsize=26048 CPUtime=2.99 cores=4,6
/proc/23316/stat : 23316 (OptimuS_release) R 23314 23316 22467 0 -1 4202496 4403 0 0 0 299 0 0 0 25 0 1 0 624846126 26673152 3045 33554432000 4194304 4280283 140737093811312 18446744073709551615 4238760 0 0 4096 8388610 0 0 0 17 4 0 0 0
/proc/23316/statm: 6512 3045 270 21 0 3149 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 26048

Child status: 20
Real time (s): 3.02875
CPU time (s): 3.02854
CPU user time (s): 3.02354
CPU system time (s): 0.004999
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 26048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.02354
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= 4404
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= 5
involuntary context switches= 9

runsolver used 0.005999 second user time and 0.010998 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-11 17:35:49
IDJOB=3495458
IDBENCH=83439
IDSOLVER=1988
FILE ID=node107/3495458-1307806549
RUNJOBID= node107-1307806548-23259
PBS_JOBID= 13551069
Free space on /tmp= 74128 MiB

SOLVER NAME= OptimuS x100_source
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E07N10.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495458-1307806549/watcher-3495458-1307806549 -o /tmp/evaluation-result-3495458-1307806549/solver-3495458-1307806549 -C 1800 -W 1850 -M 7680  OptimuS_release HOME/instance-3495458-1307806549.cnf

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

MD5SUM BENCH= 9221c4eb6c807704f36e7a0ab318c2cb
RANDOM SEED=927201203

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:      31909292 kB
Buffers:        170944 kB
Cached:         625956 kB
SwapCached:      19468 kB
Active:         291000 kB
Inactive:       562768 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31909292 kB
SwapTotal:    67111528 kB
SwapFree:     67055708 kB
Dirty:            5556 kB
Writeback:           0 kB
AnonPages:       54588 kB
Mapped:          12988 kB
Slab:           122792 kB
PageTables:       5040 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   291424 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= 74128 MiB
End job on node107 at 2011-06-11 17:35:52