Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 104.486 | 104.485 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo |
MD5SUM | 765d2479315862ebcb627a16e181d11d |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.005998 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 110 |
Total number of constraints | 21 |
Number of soft constraints | 21 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 11 |
Top cost | 827 |
Min constraint cost | 1 |
Max constraint cost | 88 |
Sum of constraints costs | 826 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 12 |
Number of bits of the biggest sum of numbers | 4 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690012-1277921739.wbo. 0.00/0.00 c Instance file HOME/instance-2690012-1277921739.wbo 0.00/0.00 c File size is 2059 bytes. 0.00/0.00 c Highest Coefficient sum: 12 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 110 | 0.00/0.00 c | Number Clauses: 11 | 0.00/0.00 c | Number Cardinality: 10 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 110 21 220 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 110 21 220 | 5500 100 28 | 0.008 % | 0.00/0.00 c | 252 | 110 21 220 | 6050 252 37 | 0.008 % | 0.00/0.01 c | 478 | 110 21 220 | 6655 478 44 | 0.008 % | 0.00/0.02 c | 817 | 110 21 220 | 7320 817 49 | 0.008 % | 0.00/0.05 c | 1323 | 110 21 220 | 8052 1323 52 | 0.008 % | 0.09/0.11 c | 2083 | 110 21 220 | 8857 2083 53 | 0.008 % | 0.19/0.20 c | 3222 | 110 21 220 | 9743 3222 53 | 0.008 % | 0.39/0.44 c | 4931 | 110 21 220 | 10717 4931 54 | 0.008 % | 0.69/0.78 c | 7495 | 110 21 220 | 11789 7495 54 | 0.008 % | 1.29/1.36 c | 11339 | 110 21 220 | 12968 11339 54 | 0.008 % | 2.49/2.50 c | 17106 | 110 21 220 | 14265 10589 51 | 0.008 % | 3.99/4.03 c | 25757 | 110 21 220 | 15692 12071 48 | 0.008 % | 7.19/7.29 c | 38735 | 110 21 220 | 17261 9288 49 | 0.008 % | 12.19/12.25 c | 58197 | 110 21 220 | 18987 11421 48 | 0.008 % | 19.79/19.88 c | 87389 | 110 21 220 | 20886 12035 45 | 0.008 % | 31.29/31.34 c | 131179 | 110 21 220 | 22974 13923 42 | 0.008 % | 51.40/51.46 c | 196865 | 110 21 220 | 25272 22025 42 | 0.008 % | 75.80/75.90 c | 295392 | 110 21 220 | 27799 18442 39 | 0.008 % | 101.89/101.98 c =============================================================================== 104.39/104.44 c core #1 104.39/104.44 c ============================[ Search Statistics ]============================== 104.39/104.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.39/104.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.39/104.44 c =============================================================================== 104.39/104.44 c | 0 | 131 42 472 | 5000 0 nan | 0.000 % | 104.39/104.47 c | 100 | 131 42 472 | 5500 100 29 | 0.006 % | 104.39/104.47 c | 251 | 131 42 472 | 6050 251 33 | 0.006 % | 104.39/104.48 c =============================================================================== 104.39/104.48 c #cores: 1 104.39/104.48 c Final Weight: 1 104.39/104.48 o 1 104.39/104.48 s OPTIMUM FOUND 104.39/104.48 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 104.39/104.48 c Total CPU time: 103.65 s
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690012-1277921739/watcher-2690012-1277921739 -o /tmp/evaluation-result-2690012-1277921739/solver-2690012-1277921739 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690012-1277921739.wbo 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.01 2.00 4/196 25705 /proc/meminfo: memFree=31095520/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=2572 CPUtime=0 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 290 0 0 0 0 0 0 0 20 0 1 0 165813498 2633728 207 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 643 207 143 303 0 338 0 [startup+0.0674859 s] /proc/loadavg: 2.01 2.01 2.00 4/196 25705 /proc/meminfo: memFree=31095520/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=3100 CPUtime=0.06 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 415 0 0 0 6 0 0 0 20 0 1 0 165813498 3174400 332 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 775 332 143 303 0 470 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3100 [startup+0.100485 s] /proc/loadavg: 2.01 2.01 2.00 4/196 25705 /proc/meminfo: memFree=31095520/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=3232 CPUtime=0.09 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 465 0 0 0 9 0 0 0 20 0 1 0 165813498 3309568 382 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 808 382 143 303 0 503 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3232 [startup+0.300443 s] /proc/loadavg: 2.01 2.01 2.00 4/196 25705 /proc/meminfo: memFree=31095520/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=4156 CPUtime=0.29 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 684 0 0 0 29 0 0 0 20 0 1 0 165813498 4255744 601 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 1039 601 143 303 0 734 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4156 [startup+0.700374 s] /proc/loadavg: 2.01 2.01 2.00 4/196 25705 /proc/meminfo: memFree=31095520/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=5344 CPUtime=0.69 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 969 0 0 0 68 1 0 0 21 0 1 0 165813498 5472256 886 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 1336 886 143 303 0 1031 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5344 [startup+1.50024 s] /proc/loadavg: 2.01 2.01 2.00 3/197 25706 /proc/meminfo: memFree=31092040/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=7464 CPUtime=1.49 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 1502 0 0 0 147 2 0 0 23 0 1 0 165813498 7643136 1419 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 1866 1419 143 303 0 1561 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7464 [startup+3.10095 s] /proc/loadavg: 2.01 2.01 2.00 3/197 25706 /proc/meminfo: memFree=31089480/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=10696 CPUtime=3.09 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 2301 0 0 0 306 3 0 0 25 0 1 0 165813498 10952704 2218 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 2674 2218 143 303 0 2369 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10696 [startup+6.30044 s] /proc/loadavg: 2.01 2.01 2.00 3/197 25706 /proc/meminfo: memFree=31084312/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=15992 CPUtime=6.29 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 3649 0 0 0 622 7 0 0 25 0 1 0 165813498 16375808 3566 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 3998 3566 143 303 0 3693 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15992 [startup+12.7004 s] /proc/loadavg: 2.01 2.00 2.00 3/197 25706 /proc/meminfo: memFree=31074012/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=25796 CPUtime=12.69 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 6066 0 0 0 1256 13 0 0 25 0 1 0 165813498 26415104 5983 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 6449 5983 143 303 0 6144 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25796 [startup+25.5002 s] /proc/loadavg: 2.01 2.00 2.00 3/197 25706 /proc/meminfo: memFree=31058204/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=41524 CPUtime=25.49 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 9982 0 0 0 2526 23 0 0 25 0 1 0 165813498 42520576 9899 4089446400 134512640 135751879 4291022432 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 10381 9899 143 303 0 10076 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41524 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25706 /proc/meminfo: memFree=31029764/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=70292 CPUtime=51.09 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 17151 0 0 0 5069 40 0 0 25 0 1 0 165813498 71979008 17068 4089446400 134512640 135751879 4291022432 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 17573 17068 143 303 0 17268 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 70292 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25708 /proc/meminfo: memFree=30962624/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=137188 CPUtime=102.29 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 33831 0 0 0 10147 82 0 0 25 0 1 0 165813498 140480512 33748 4089446400 134512640 135751879 4291022432 18446744073709551615 134516403 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 34297 33748 143 303 0 33992 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 137188 Solver just ended. Dumping a history of the last processes samples [startup+103.1 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25708 /proc/meminfo: memFree=30962624/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=144052 CPUtime=103.09 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 35526 0 0 0 10227 82 0 0 25 0 1 0 165813498 147509248 35443 4089446400 134512640 135751879 4291022432 18446744073709551615 134521512 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 36013 35443 143 303 0 35708 0 Current children cumulated CPU time (s) 103.09 Current children cumulated vsize (KiB) 144052 [startup+103.901 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25708 /proc/meminfo: memFree=30953448/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=145240 CPUtime=103.89 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 35828 0 0 0 10307 82 0 0 25 0 1 0 165813498 148725760 35745 4089446400 134512640 135751879 4291022432 18446744073709551615 135204032 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 36310 35745 143 303 0 36005 0 Current children cumulated CPU time (s) 103.89 Current children cumulated vsize (KiB) 145240 [startup+104.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25708 /proc/meminfo: memFree=30953448/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=145240 CPUtime=104.29 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 35830 0 0 0 10347 82 0 0 25 0 1 0 165813498 148725760 35747 4089446400 134512640 135751879 4291022432 18446744073709551615 135220911 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 36310 35747 145 303 0 36005 0 Current children cumulated CPU time (s) 104.29 Current children cumulated vsize (KiB) 145240 [startup+104.401 s] /proc/loadavg: 2.00 2.00 2.00 3/197 25708 /proc/meminfo: memFree=30953324/32951124 swapFree=67111528/67111528 [pid=25705] ppid=25703 vsize=145240 CPUtime=104.39 /proc/25705/stat : 25705 (wbo1.4a) R 25703 25705 24474 0 -1 4202496 35831 0 0 0 10357 82 0 0 25 0 1 0 165813498 148725760 35748 4089446400 134512640 135751879 4291022432 18446744073709551615 135200193 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25705/statm: 36310 35748 146 303 0 36005 0 Current children cumulated CPU time (s) 104.39 Current children cumulated vsize (KiB) 145240 Child status: 0 Real time (s): 104.485 CPU time (s): 104.486 CPU user time (s): 103.65 CPU system time (s): 0.835872 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 145240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 103.65 system time used= 0.835872 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35831 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= 1 involuntary context switches= 89 runsolver used 0.213967 second user time and 0.363944 second system time The end
Begin job on node118 at 2010-06-30 20:15:39 IDJOB=2690012 IDBENCH=79175 IDSOLVER=1200 FILE ID=node118/2690012-1277921739 PBS_JOBID= 11197260 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690012-1277921739/watcher-2690012-1277921739 -o /tmp/evaluation-result-2690012-1277921739/solver-2690012-1277921739 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2690012-1277921739.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 765d2479315862ebcb627a16e181d11d RANDOM SEED=626379434 node118.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.791 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.58 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.791 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.791 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.76 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.791 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.83 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.791 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.75 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.791 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.791 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.791 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 : 5448.09 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31095924 kB Buffers: 205680 kB Cached: 1300196 kB SwapCached: 0 kB Active: 677088 kB Inactive: 1034632 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31095924 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 205756 kB Mapped: 20480 kB Slab: 79504 kB PageTables: 5152 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1641332 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= 74208 MiB End job on node118 at 2010-06-30 20:17:24