Trace number 3495756

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 8.64968 8.65021

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04N18.cnf
MD5SUM070544eadaf1d78ec6f23d6f8a90e54a
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.21036
Satisfiable
(Un)Satisfiability was proved
Number of variables7794
Number of clauses120068
Sum of the clauses size708976
Maximum clause length78
Minimum clause length1
Number of clauses of size 147
Number of clauses of size 220831
Number of clauses of size 316128
Number of clauses of size 47506
Number of clauses of size 516290
Number of clauses of size over 559266

Solver Data 

0.00/0.00	c MoUsSaka vegetarian
0.19/0.29	
0.19/0.29	s UNSATISFIABLE
8.59/8.64	c Core is minimal
8.59/8.64	
8.59/8.64	v 5226 5227 5224 5228 5225 30503 9798 5223 30750 21479 22154 22157 22172 22175 22163 22166 22169 22160 22190 22205 22196 22202 22193 22199 22847 22844 30978 22841 22850 22834 22817 22820 22835 22838 22184 22811 22823 21473 22853 22802 22814 22808 22805 21497 21494 21458 21491 21500 22181 21502 20856 21503 22832 5217 21482 5211 22186 21540 21485 5238 22852 22195 5167 5197 5155 5178 5188 22829 22801 22178 5142 5128 5113 22198 22180 20001 76 46 5221 130 5222 5220 5219 108 86 90 96 82 78 74 72 70 84 80 88 92 94 68 58 50 48 62 66 56 60 54 52 64 29363 18254 18263 18251 18257 9874 18260 18245 18236 18230 18248 18239 18233 18242 22183 18218 22174 22201 22204 22192 21537 134 18215 22189 21519 329 20007 18224 22171 22831 18221 18227 22165 22177 22159 22162 22168 19998 184 188 180 20016 18223 18220 218 202 200 204 208 220 3170 3165 3168 3169 3166 3163 3164 3167 18232 3152 3162 3161 3158 3160 3155 3157 3159 3156 3076 3073 3068 3074 3069 3078 3077 3072 3075 3071 3070 3063 3067 3066 3064 3065 19995 154 166 160 158 3280 3270 19985 19970 19991 19979 19982 19964 29971 19967 19988 19976 19973 19939 3289 3287 3281 3283 19958 3288 3285 3286 3284 3282 19955 3269 20780 3254 3255 3252 3218 3250 3274 3279 3260 3251 3239 3277 3264 3263 3262 3272 3249 3265 3268 3266 3267 20771 20774 3235 20798 20789 3238 30256 3236 3237 20777 20795 3247 20752 20749 3258 3211 19949 3234 19961 3225 3278 3208 3213 3273 3271 3276 3256 3201 3200 3228 3222 3226 3204 3210 3203 3257 19952 3216 3202 3209 3240 3275 20756 3214 29420 18416 18425 20022 236 20013 18229 18226 20010 3149 3148 3150 3145 3146 3153 3151 3147 21464 21452 21455 21488 5118 5160 5147 21467 21470 21476 5177 5133 5166 5112 5158 22826 5144 5187 5127 5170 5191 5200 5196 5141 5154 5183 5193 5202 5172 5171 5182 5198 5189 21461 5181 5179 5168 5156 5132 5115 5114 5201 5192 5130 5117 5116 5159 5146 20019 18235 5213 5214 3173 3172 3174 3177 3176 3175 3126 3132 3128 3124 3130 3129 3131 3127 3125 3134 3139 3138 3136 3143 3142 3141 3140 3137 3135 20768 20765 44 20762 3123 36 38 20759 21513 18380 18379 20811 22843 21549 19945 19942 21466 21472 21463 18386 18410 18389 21454 5169 5199 18392 3100 3103 3101 3102 3106 3099 3098 3107 3097 3244 3105 3104 5237 5190 5157 5129 5131 5145 5236 22813 5143 5180 20755 5235 18383 5232 5212 20712 5215 104 22822 18395 114 98 124 100 102 118 106 112 122 110 120 116 3479 3499 3491 3496 3483 3488 3482 3475 3484 3476 3501 3498 3489 3477 3480 3485 22804 3494 18398 142 146 126 148 150 128 138 136 140 144 132 238 242 3191 3187 3182 226 222 3122 3091 3088 3093 3083 3084 3090 3086 3092 3087 3085 3089 18217 20709 20826 3118 3111 3120 3115 3116 3112 3119 3117 3110 3114 3113 20004 176 278 256 252 22153 20028 268 3190 3185 3180 18247 18244 20034 3188 3183 3195 3186 3194 3181 3192 3179 20025 18241 3246 18238 20031 5230 21534 22828 5216 192 190 5234 210 216 206 212 214 194 196 186 178 182 20715 3082 18214 3096 3095 3311 3304 3310 3309 3312 3313 32 4 18211 20 26 28 10 6 12 3307 19972 3303 3305 3302 3306 3300 19981 19978 19984 3297 3295 3292 3298 3294 3291 3290 19987 18382 3080 3081 18401 3109 3206 3481 3495 3500 3486 3474 3478 3493 3490 3473 3259 19946 3230 3243 3241 3232 3215 3224 3223 3227 18413 20703 3219 3233 3220 3231 3242 3221 3217 3245 3229 3261 19951 19954 20758 19957 21469 21478 21481 21484 21493 21487 21499 21496 21490 18385 18388 19948 21528 18397 18391 3582 3581 3585 3584 3583 18400 20761 42 40 3340 22187 5110 5125 5139 5108 5136 5107 5122 20706 20700 5162 5135 5121 5104 5106 5119 5164 5105 5111 5140 5126 21507 5161 5120 5134 5148 5103 3339 5218 3354 3356 3341 3338 18376 3580 5152 5194 5185 5175 5195 5186 5165 5176 5153 18377 21510 18394 22807 18422 18404 22819 18419 3507 21525 9865 2 21475 8 30 24 3293 18407 3212 3248 3207 3205 22 18 16 14 3492 3497 34 3253 20814 20783 3296 20808 20792 20786 20801 164 170 168 152 172 174 162 156 22816 22810 3509 3506 3503 3508 3511 3504 3505 3510 3512 3514 3513 3515 250 248 244 246 240 3380 20727 20718 296 280 282 198 284 20736 264 258 274 254 260 288 290 228 224 232 234 230 262 266 276 270 272 20040 20037 18250 18253 18256 3197 5231 20733 9864 9876 20748 286 20745 21460 21516 20820 20817 304 302 298 300 3595 3596 3598 3599 3593 3568 3559 3528 3527 3523 3549 3526 3525 3538 3524 3522 3534 3594 3600 3589 3591 3588 3587 3590 3575 3567 3564 3555 3558 3578 3566 3577 3569 3565 3570 3576 3560 3556 3557 3561 3545 21531 21457 3520 3521 3518 3519 3517 18373 294 292 3539 3540 3535 3537 3536 3548 3547 3551 20823 20764 20767 3546 3550 20835 20770 20829 21522 20773 20779 20782 20785 19960 20791 20788 22825 22846 3331 20850 3329 3330 20844 3572 3332 3574 3573 3308 19966 3301 19963 3333 20853 20841 20776 19969 20742 20739 19975 18403 21543 18409 18406 18418 21546 21552 18415 18412 3327 3318 3321 3315 3317 3319 20838 3325 22840 3326 3322 3324 3320 3316 3323 3328 20847 3334 21451 3299 3198 22837 20724 5233 3314 20730 3355 3353 3393 3381 3368 3369 3394 3382 3370 3405 3406 3395 3383 30230 30228 6652 5286 30229 3603 3602 3605 20832 3416 20721 5109 5229 5124 5138 5163 5174 5184 5151 5204 5205 5206 5207 5208 5210 5209 3199 18503 3367 29458 18533 18521 5150 5137 5149 5123 30232 30235 30233 30234 30231 21024 24899 24893 24875 24859 24853 24878 24902 31700 24866 24869 24881 24856 24872 24905 24896 24890 24884 24887 21027 24863 22371 18509 18512 23935 31377 23938 23947 5173 23944 23941 18500 3786 3781 3785 3783 3787 3784 3770 3772 3771 3768 3767 3769 3795 3779 3792 3780 3778 3791 3790 3797 3799 3794 3798 3777 3765 3764 3766 3803 3755 3757 3806 3752 3804 3805 3802 3807 3756 3758 3810 3812 3809 3808 3753 3748 18497 3818 3817 3819 3823 3822 3820 3750 3749 3814 5203 23978 18490 18515 9870 18527 18530 3811 18518 18493 18524 18506 3782 3754 3821 3751 23956 23953 3815 3816 3773 23950 3793 3800 3796 18487 18496 18481 18484 21633 21636 18499 3825 3830 3831 3829 3833 3828 3832 3826 3827 20937 23966 23960 23963 23969 23984 23975 23981 23987 23972 20934 21630 20931 22293 3839 20940 3836 23959 3838 3842 3837 3840 18502 3841 23957 3763 30236 30303 5290 7947 5316 5337 7643 5303 9438 18374 9875 18212 9880 9881 9861 9860 9859 9892 30258 30511 30510 30259 30508 30507 30273 30335 29986 29987 7996 7995 7994 5355 30549 30548 30547 30270 30269 30268 30267 30266 30264 30263 5243 30260 29978 30334 30506 30505 29980 7993 7691 30517 8301 30265 29985 29984 29983 29982 29981 5246 5277 5276 5291 5292 5275 5300 5274 5336 5327 5326 8302 30504 30274 8300 9891 9893 9894 5317 30780 5338 30304 9886 9648 9786 9890 7597 6828 8299 9877 5304 5314 5288 5305 30272 30271 30220 30221 30222 30223 5245 5244 29979 8298 5273 5302 5301 5278 5255 5272 5289 29977 5242 29976 30262 29975 29974 29973 29972 30227 5241 5315 30519 30808 30518 30516 30515 30514 30513 30512 30301 30302 5240 9788 30509 30261 30224 30226 30225 9789 9794 9801 9824  0
8.59/8.64	
8.59/8.64	c Core has size 1300

Verifier Data 

OK	1300

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

running on 2 cores: 5,7

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 5/189 27115
/proc/meminfo: memFree=31258724/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=16052 CPUtime=0 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 1045 0 0 0 0 0 0 0 25 0 1 0 892258239 16437248 957 33554432000 4194304 4365125 140736046553616 18446744073709551615 254500691712 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 4013 957 255 42 0 1161 0

[startup+0.0637831 s]
/proc/loadavg: 3.69 3.93 3.84 5/189 27115
/proc/meminfo: memFree=31258724/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=25140 CPUtime=0.05 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 6049 0 0 0 5 0 0 0 25 0 1 0 892258239 25743360 3077 33554432000 4194304 4365125 140736046553616 18446744073709551615 254500735111 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 6285 3077 255 42 0 3433 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25140

[startup+0.100777 s]
/proc/loadavg: 3.69 3.93 3.84 5/189 27115
/proc/meminfo: memFree=31258724/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=24600 CPUtime=0.09 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 7573 0 0 0 8 1 0 0 25 0 1 0 892258239 25190400 3039 33554432000 4194304 4365125 140736046553616 18446744073709551615 4261689 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 6150 3039 256 42 0 3298 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24600

[startup+0.300737 s]
/proc/loadavg: 3.69 3.93 3.84 5/189 27115
/proc/meminfo: memFree=31258724/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=32624 CPUtime=0.29 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 14570 0 0 0 28 1 0 0 25 0 1 0 892258239 33406976 4833 33554432000 4194304 4365125 140736046553616 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 8156 4833 264 42 0 5304 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32624

[startup+0.70065 s]
/proc/loadavg: 3.69 3.93 3.84 5/189 27115
/proc/meminfo: memFree=31258724/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=36588 CPUtime=0.69 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 15316 0 0 0 68 1 0 0 25 0 1 0 892258239 37466112 5579 33554432000 4194304 4365125 140736046553616 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 9147 5579 264 42 0 6295 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 36588

[startup+1.50049 s]
/proc/loadavg: 3.71 3.93 3.84 5/190 27116
/proc/meminfo: memFree=31191040/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=38636 CPUtime=1.49 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 15581 0 0 0 148 1 0 0 25 0 1 0 892258239 39563264 5844 33554432000 4194304 4365125 140736046553616 18446744073709551615 4248416 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 9659 5844 264 42 0 6807 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38636

[startup+3.10018 s]
/proc/loadavg: 3.71 3.93 3.84 5/190 27116
/proc/meminfo: memFree=31124912/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=38636 CPUtime=3.09 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 15581 0 0 0 308 1 0 0 25 0 1 0 892258239 39563264 5844 33554432000 4194304 4365125 140736046553616 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 9659 5844 264 42 0 6807 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38636

[startup+6.30054 s]
/proc/loadavg: 3.71 3.93 3.84 5/190 27116
/proc/meminfo: memFree=31037788/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=38636 CPUtime=6.29 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 15582 0 0 0 628 1 0 0 25 0 1 0 892258239 39563264 5845 33554432000 4194304 4365125 140736046553616 18446744073709551615 4258165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 9659 5845 264 42 0 6807 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38636

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

[startup+7.90022 s]
/proc/loadavg: 3.73 3.94 3.84 5/190 27116
/proc/meminfo: memFree=30910612/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=38636 CPUtime=7.89 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 15582 0 0 0 788 1 0 0 25 0 1 0 892258239 39563264 5845 33554432000 4194304 4365125 140736046553616 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 9659 5845 264 42 0 6807 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 38636

[startup+8.30114 s]
/proc/loadavg: 3.73 3.94 3.84 5/190 27116
/proc/meminfo: memFree=30910612/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=38636 CPUtime=8.29 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 15582 0 0 0 828 1 0 0 25 0 1 0 892258239 39563264 5845 33554432000 4194304 4365125 140736046553616 18446744073709551615 254500716439 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 9659 5845 264 42 0 6807 0
Current children cumulated CPU time (s) 8.29
Current children cumulated vsize (KiB) 38636

[startup+8.5011 s]
/proc/loadavg: 3.73 3.94 3.84 5/190 27116
/proc/meminfo: memFree=30910612/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=38636 CPUtime=8.49 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 15582 0 0 0 848 1 0 0 25 0 1 0 892258239 39563264 5845 33554432000 4194304 4365125 140736046553616 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 9659 5845 264 42 0 6807 0
Current children cumulated CPU time (s) 8.49
Current children cumulated vsize (KiB) 38636

[startup+8.60108 s]
/proc/loadavg: 3.73 3.94 3.84 5/190 27116
/proc/meminfo: memFree=30910612/32950928 swapFree=67053888/67111528
[pid=27115] ppid=27113 vsize=38636 CPUtime=8.59 cores=5,7
/proc/27115/stat : 27115 (MoUsSaka) R 27113 27115 26001 0 -1 4202496 15582 0 0 0 858 1 0 0 25 0 1 0 892258239 39563264 5845 33554432000 4194304 4365125 140736046553616 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/27115/statm: 9659 5845 264 42 0 6807 0
Current children cumulated CPU time (s) 8.59
Current children cumulated vsize (KiB) 38636

Child status: 20
Real time (s): 8.65021
CPU time (s): 8.64968
CPU user time (s): 8.62869
CPU system time (s): 0.020996
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 38636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.62869
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15587
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= 18

runsolver used 0.014997 second user time and 0.039993 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-11 17:36:56
IDJOB=3495756
IDBENCH=83457
IDSOLVER=1989
FILE ID=node149/3495756-1307806615
RUNJOBID= node149-1307806612-26832
PBS_JOBID= 13551043
Free space on /tmp= 73964 MiB

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

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

MD5SUM BENCH= 070544eadaf1d78ec6f23d6f8a90e54a
RANDOM SEED=880013935

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:      31259764 kB
Buffers:        159996 kB
Cached:        1164752 kB
SwapCached:      23736 kB
Active:         503992 kB
Inactive:      1027340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31259764 kB
SwapTotal:    67111528 kB
SwapFree:     67053888 kB
Dirty:            6652 kB
Writeback:           0 kB
AnonPages:      201740 kB
Mapped:          10268 kB
Slab:            94852 kB
PageTables:       4864 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   472096 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= 73960 MiB
End job on node149 at 2011-06-11 17:37:04