Trace number 3495761

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
MoUsSaka 2011-03-26UNSAT 2.06569 2.06899

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E13N10.cnf
MD5SUM24b68353f542825626827e24a24f7240
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.62575
Satisfiable
(Un)Satisfiability was proved
Number of variables1610
Number of clauses6923
Sum of the clauses size18987
Maximum clause length15
Minimum clause length1
Number of clauses of size 112
Number of clauses of size 23901
Number of clauses of size 32400
Number of clauses of size 4230
Number of clauses of size 5140
Number of clauses of size over 5240

Solver Data 

0.00/0.00	c MoUsSaka vegetarian
0.00/0.07	
0.00/0.07	s UNSATISFIABLE
1.99/2.06	c Core is minimal
1.99/2.06	
1.99/2.06	v 845 879 874 932 923 933 924 795 949 6624 3344 3328 3353 4537 3350 3356 3341 944 3338 3347 4295 4449 4273 4339 934 2816 2804 2807 2810 2801 2813 2695 2686 2683 2689 2798 2795 938 2680 2677 2692 3335 2617 2788 6754 2792 2669 4317 2794 4581 2699 4306 956 2639 2674 4284 945 2719 2713 2716 2725 2710 2722 2644 2647 2656 2659 2650 2665 2653 2662 2704 2614 2624 2636 2630 2621 2627 2633 928 2623 2626 2632 2620 2635 2629 2615 2618 2608 2609 513 2641 507 2671 508 514 2701 511 510 512 509 2611 2791 4427 3209 2638 2797 4262 2581 2584 2728 4482 2744 2753 2741 2750 2756 2747 2678 652 653 658 655 657 654 656 2668 2687 2684 2681 2693 2690 2696 2675 3091 4548 3184 3187 3451 4493 3208 2651 2654 2666 2663 2657 2660 2648 2645 3029 3361 2672 3034 651 3055 3040 3052 3043 3049 3046 957 4504 3239 616 3097 3109 3100 3106 3103 3115 3112 3211 3236 3233 3230 3221 3224 3227 2642 3241 898 841 857 855 860 897 3037 515 3215 520 517 521 518 519 516 3379 3376 3373 3370 3089 3367 3385 3382 3359 3094 3364 623 3218 922 840 854 908 3245 579 2612 584 582 585 586 583 581 3181 580 3098 2702 4515 5471 5470 3491 3500 3497 3494 3503 3506 3488 3287 3290 3296 3281 3278 4592 3293 3284 687 691 693 694 689 688 690 692 4636 3238 3478 3248 3251 3266 3263 3260 3254 3257 3092 701 699 697 696 695 698 700 3598 3484 3620 3611 3626 3614 3623 3617 3607 6574 3242 3551 3563 3548 955 3545 3542 3554 3560 3557 4614 3566 3538 2720 2726 2711 2717 2723 2714 3605 2705 2708 3454 3457 3487 2698 525 526 522 524 527 523 3608 2737 2740 2752 2743 2749 2755 2746 708 710 712 709 711 707 705 702 704 703 706 2729 5522 5523 3269 810 3602 5767 5766 3104 3110 3377 3113 3107 3383 3386 3380 3358 3116 3374 3088 3101 3371 5593 5348 6085 5947 5696 5960 5361 6089 5697 3475 3463 3460 3469 3472 3466 3449 4416 3002 5973 811 815 814 813 812 3005 796 798 797 3332 802 800 799 5349 543 5702 5703 6087 5354 3212 5297 5529 5355 3280 3289 3283 3295 3286 3292 5296 615 618 621 620 619 622 617 3028 3031 3331 3334 3274 3396 6755 3271 3277 3265 3259 3262 3244 3250 3256 3253 3032 662 665 661 663 664 660 3268 659 3496 3499 3505 3490 3502 3493 3479 3275 3485 6625 6575 3362 598 596 595 599 597 594 2732 728 729 727 726 724 725 730 3482 3272 5581 5580 3216 931 3481 2738 4419 885 884 843 861 869 890 867 866 4541 3366 3096 4441 4485 4540 3036 588 589 593 592 591 590 587 2731 2578 3126 3190 2707 3193 3205 3179 3199 3196 3202 3182 3616 3613 3619 3610 3625 3622 4309 3599 3247 3452 5407 3369 2734 3099 4442 4420 3039 4629 3609 2739 4310 3448 640 639 636 638 637 767 5715 6091 820 819 816 818 817 5772 5773 557 555 760 556 553 554 552 5425 3178 2999 3010 3019 3025 3016 3013 3022 3004 528 532 530 529 531 5367 3368 5541 4447 2603 2597 2600 2594 2606 2591 3229 3235 3226 3232 3223 644 3384 4546 3056 647 3220 3044 643 646 648 3050 3047 3053 6628 3041 2907 3111 4446 2862 3381 4543 3375 4545 719 3105 4489 716 4444 713 3114 641 3378 642 4544 4423 3051 4424 4445 649 3048 717 714 3045 4422 2934 645 720 2847 3231 4490 718 2928 3228 2931 722 3225 2865 4488 721 715 3108 3219 4486 2735 3214 631 624 626 627 625 628 629 3604 736 732 735 737 733 734 731 5302 5308 2588 2859 6758 634 633 630 3217 3038 632 635 5760 809 803 805 804 806 5761 807 808 3007 5977 903 858 5592 2856 5419 5708 743 739 742 740 738 741 5639 5413 5239 2585 5586 5587 5251 5233 5598 5599 5482 3458 5709 5535 759 5528 5245 551 544 674 5540 672 676 673 675 600 603 601 5424 604 5360 602 5238 5244 479 472 471 5232 745 746 744 747 748 3188 5983 5309 5303 3095 8 22 5657 24 32 26 28 30 34 5651 58 56 50 14 12 16 18 54 52 60 10 667 671 669 666 670 668 5645 5406 5412 3365 3467 3476 3470 3473 3461 3464 3601 3197 3194 3200 3203 3206 3191 2582 5476 5477 5465 5464 5483 5418 5534 3596 770 3590 771 769 768 772 4625 4647 3634 3587 3581 3578 773 3593 3652 920 3655 3643 3649 3584 3629 3640 3646 3632 3568 3637 3571 3574 40 44 42 48 46 38 5291 5290 5638 889 902 6002 6054 5986 6038 6051 6028 6012 101 6041 6015 5999 5989 6025 4628 3606 2736 5644 4551 5650 5656 6768 6638 6865 3035 870 863 4452 4349 4356 4355 4353 4354 4371 801 5755 5754 941 848 849 850 851 852 856 862 952 865 4380 4381 872 847 4379 844 842 904 909 910 911 912 913  0
1.99/2.06	
1.99/2.06	c Core has size 890

Verifier Data 

OK	890

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

running on 2 cores: 0,2

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: 3.69 3.93 3.84 4/189 26963
/proc/meminfo: memFree=31403360/32950928 swapFree=67053888/67111528
[pid=26963] ppid=26961 vsize=12080 CPUtime=0 cores=0,2
/proc/26963/stat : 26963 (MoUsSaka) R 26961 26963 26001 0 -1 4202496 457 0 0 0 0 0 0 0 25 0 1 0 892257962 12369920 386 33554432000 4194304 4365125 140735389701952 18446744073709551615 254500691712 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26963/statm: 3020 386 254 42 0 168 0

[startup+0.0931549 s]
/proc/loadavg: 3.69 3.93 3.84 4/189 26963
/proc/meminfo: memFree=31403360/32950928 swapFree=67053888/67111528
[pid=26963] ppid=26961 vsize=15820 CPUtime=0.08 cores=0,2
/proc/26963/stat : 26963 (MoUsSaka) R 26961 26963 26001 0 -1 4202496 3335 0 0 0 8 0 0 0 25 0 1 0 892257962 16199680 1129 33554432000 4194304 4365125 140735389701952 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26963/statm: 3955 1129 264 42 0 1103 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15820

[startup+0.1012 s]
/proc/loadavg: 3.69 3.93 3.84 4/189 26963
/proc/meminfo: memFree=31403360/32950928 swapFree=67053888/67111528
[pid=26963] ppid=26961 vsize=16352 CPUtime=0.09 cores=0,2
/proc/26963/stat : 26963 (MoUsSaka) R 26961 26963 26001 0 -1 4202496 3558 0 0 0 9 0 0 0 25 0 1 0 892257962 16744448 1290 33554432000 4194304 4365125 140735389701952 18446744073709551615 4306849 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26963/statm: 4088 1293 264 42 0 1236 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16352

[startup+0.301124 s]
/proc/loadavg: 3.69 3.93 3.84 4/189 26963
/proc/meminfo: memFree=31403360/32950928 swapFree=67053888/67111528
[pid=26963] ppid=26961 vsize=19932 CPUtime=0.29 cores=0,2
/proc/26963/stat : 26963 (MoUsSaka) R 26961 26963 26001 0 -1 4202496 4227 0 0 0 29 0 0 0 25 0 1 0 892257962 20410368 1947 33554432000 4194304 4365125 140735389701952 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26963/statm: 4983 1947 264 42 0 2131 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19932

[startup+0.701092 s]
/proc/loadavg: 3.69 3.93 3.84 4/189 26963
/proc/meminfo: memFree=31403360/32950928 swapFree=67053888/67111528
[pid=26963] ppid=26961 vsize=19932 CPUtime=0.69 cores=0,2
/proc/26963/stat : 26963 (MoUsSaka) R 26961 26963 26001 0 -1 4202496 4227 0 0 0 69 0 0 0 25 0 1 0 892257962 20410368 1947 33554432000 4194304 4365125 140735389701952 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26963/statm: 4983 1947 264 42 0 2131 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19932

[startup+1.50094 s]
/proc/loadavg: 3.69 3.93 3.84 5/190 27040
/proc/meminfo: memFree=31355508/32950928 swapFree=67053888/67111528
[pid=26963] ppid=26961 vsize=19932 CPUtime=1.49 cores=0,2
/proc/26963/stat : 26963 (MoUsSaka) R 26961 26963 26001 0 -1 4202496 4227 0 0 0 149 0 0 0 25 0 1 0 892257962 20410368 1947 33554432000 4194304 4365125 140735389701952 18446744073709551615 4244608 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26963/statm: 4983 1947 264 42 0 2131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19932

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

[startup+1.90085 s]
/proc/loadavg: 3.69 3.93 3.84 5/190 27040
/proc/meminfo: memFree=31355508/32950928 swapFree=67053888/67111528
[pid=26963] ppid=26961 vsize=19932 CPUtime=1.89 cores=0,2
/proc/26963/stat : 26963 (MoUsSaka) R 26961 26963 26001 0 -1 4202496 4227 0 0 0 189 0 0 0 25 0 1 0 892257962 20410368 1947 33554432000 4194304 4365125 140735389701952 18446744073709551615 4257403 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26963/statm: 4983 1947 264 42 0 2131 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 19932

[startup+2.00083 s]
/proc/loadavg: 3.69 3.93 3.84 5/190 27040
/proc/meminfo: memFree=31355508/32950928 swapFree=67053888/67111528
[pid=26963] ppid=26961 vsize=19932 CPUtime=1.99 cores=0,2
/proc/26963/stat : 26963 (MoUsSaka) R 26961 26963 26001 0 -1 4202496 4227 0 0 0 199 0 0 0 25 0 1 0 892257962 20410368 1947 33554432000 4194304 4365125 140735389701952 18446744073709551615 4262060 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26963/statm: 4983 1947 264 42 0 2131 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 19932

Child status: 20
Real time (s): 2.06899
CPU time (s): 2.06569
CPU user time (s): 2.05969
CPU system time (s): 0.005999
CPU usage (%): 99.8404
Max. virtual memory (cumulated for all children) (KiB): 19932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.05969
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= 4232
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= 4
involuntary context switches= 26

runsolver used 0.002999 second user time and 0.015997 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-11 17:36:53
IDJOB=3495761
IDBENCH=83444
IDSOLVER=1989
FILE ID=node149/3495761-1307806613
RUNJOBID= node149-1307806612-26829
PBS_JOBID= 13551043
Free space on /tmp= 73968 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E13N10.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495761-1307806613/watcher-3495761-1307806613 -o /tmp/evaluation-result-3495761-1307806613/solver-3495761-1307806613 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3495761-1307806613.cnf

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

MD5SUM BENCH= 24b68353f542825626827e24a24f7240
RANDOM SEED=1700410551

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31406368 kB
Buffers:        159828 kB
Cached:        1160516 kB
SwapCached:      23736 kB
Active:         357356 kB
Inactive:      1027308 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31406368 kB
SwapTotal:    67111528 kB
SwapFree:     67053888 kB
Dirty:            2292 kB
Writeback:           0 kB
AnonPages:       60208 kB
Mapped:           9808 kB
Slab:            94484 kB
PageTables:       5332 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   290144 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= 73964 MiB
End job on node149 at 2011-06-11 17:36:55