Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 61.3877 | 61.3857 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo |
MD5SUM | af1f4aa986dfaf7d995a788abb35be25 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 526.527 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 961 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 46411 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46410 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 737 |
Number of bits of the biggest sum of numbers | 10 |
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 - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690628-1277900896.wbo. 0.00/0.00 c Instance file HOME/instance-2690628-1277900896.wbo 0.00/0.00 c File size is 88172 bytes. 0.00/0.00 c Highest Coefficient sum: 737 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 102 | 231 2707 8338 | 5500 102 26 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 23 | 0.002 % | 0.00/0.02 c | 478 | 231 2707 8338 | 6655 478 28 | 0.002 % | 0.00/0.03 c | 818 | 231 2707 8338 | 7320 818 27 | 0.002 % | 0.00/0.04 c | 1324 | 231 2707 8338 | 8052 1324 28 | 0.002 % | 0.00/0.07 c | 2086 | 231 2707 8338 | 8857 2086 29 | 0.002 % | 0.09/0.10 c | 3225 | 231 2707 8338 | 9743 3225 30 | 0.002 % | 0.09/0.17 c | 4935 | 231 2707 8338 | 10717 4935 30 | 0.002 % | 0.19/0.29 c | 7498 | 231 2707 8338 | 11789 7498 31 | 0.002 % | 0.49/0.53 c | 11345 | 231 2707 8338 | 12968 11345 33 | 0.002 % | 0.89/0.94 c | 17111 | 231 2707 8338 | 14265 10568 36 | 0.002 % | 1.49/1.53 c | 25761 | 231 2707 8338 | 15692 12028 36 | 0.002 % | 2.39/2.48 c | 38736 | 231 2707 8338 | 17261 9200 38 | 0.002 % | 3.90/3.96 c | 58198 | 231 2707 8338 | 18987 11312 32 | 0.002 % | 6.19/6.28 c | 87390 | 231 2707 8338 | 20886 11857 34 | 0.002 % | 9.99/10.08 c | 131181 | 231 2707 8338 | 22974 13666 34 | 0.002 % | 16.40/16.42 c | 196866 | 231 2707 8338 | 25272 21533 36 | 0.002 % | 26.10/26.17 c | 295392 | 231 2707 8338 | 27799 15583 34 | 0.002 % | 41.39/41.43 c | 443184 | 231 2707 8338 | 30579 24527 35 | 0.002 % | 61.30/61.37 s UNSATISFIABLE 61.30/61.37 c Total CPU time: 60.6978 s 61.30/61.37 c =============================================================================== 61.30/61.37 c 61.30/61.37 s UNSATISFIABLE
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690628-1277900896/watcher-2690628-1277900896 -o /tmp/evaluation-result-2690628-1277900896/solver-2690628-1277900896 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690628-1277900896.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.07 2.02 2.00 4/178 13734 /proc/meminfo: memFree=31156868/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=2796 CPUtime=0 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 131384794 2863104 230 4089446400 134512640 135752675 4293782048 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 699 231 147 303 0 372 0 [startup+0.0715541 s] /proc/loadavg: 2.07 2.02 2.00 4/178 13734 /proc/meminfo: memFree=31156868/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=3236 CPUtime=0.06 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 475 0 0 0 6 0 0 0 25 0 1 0 131384794 3313664 371 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 809 371 144 303 0 504 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3236 [startup+0.100552 s] /proc/loadavg: 2.07 2.02 2.00 4/178 13734 /proc/meminfo: memFree=31156868/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=3368 CPUtime=0.09 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 528 0 0 0 9 0 0 0 25 0 1 0 131384794 3448832 424 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 842 424 144 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.300524 s] /proc/loadavg: 2.07 2.02 2.00 4/178 13734 /proc/meminfo: memFree=31156868/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=4688 CPUtime=0.29 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 829 0 0 0 29 0 0 0 25 0 1 0 131384794 4800512 725 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 1172 725 144 303 0 867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.700443 s] /proc/loadavg: 2.07 2.02 2.00 4/178 13734 /proc/meminfo: memFree=31156868/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=6296 CPUtime=0.69 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 1232 0 0 0 68 1 0 0 25 0 1 0 131384794 6447104 1128 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 1574 1129 144 303 0 1269 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6296 [startup+1.5003 s] /proc/loadavg: 2.07 2.02 2.00 3/179 13735 /proc/meminfo: memFree=31151528/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=9464 CPUtime=1.49 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 2018 0 0 0 147 2 0 0 25 0 1 0 131384794 9691136 1914 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 2366 1914 144 303 0 2061 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9464 [startup+3.10102 s] /proc/loadavg: 2.06 2.02 2.00 3/179 13735 /proc/meminfo: memFree=31146568/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=15016 CPUtime=3.09 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 3432 0 0 0 306 3 0 0 25 0 1 0 131384794 15376384 3328 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 3754 3328 144 303 0 3449 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15016 [startup+6.30044 s] /proc/loadavg: 2.06 2.02 2.00 3/179 13735 /proc/meminfo: memFree=31135912/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=25340 CPUtime=6.29 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 5982 0 0 0 621 8 0 0 25 0 1 0 131384794 25948160 5878 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 6335 5878 144 303 0 6030 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25340 [startup+12.7003 s] /proc/loadavg: 2.05 2.01 2.00 3/179 13735 /proc/meminfo: memFree=31116812/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=43452 CPUtime=12.69 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 10540 0 0 0 1253 16 0 0 25 0 1 0 131384794 44494848 10436 4089446400 134512640 135752675 4293782048 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 10863 10436 144 303 0 10558 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43452 [startup+25.501 s] /proc/loadavg: 2.04 2.01 2.00 3/179 13735 /proc/meminfo: memFree=31082332/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=76628 CPUtime=25.49 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 18815 0 0 0 2519 30 0 0 25 0 1 0 131384794 78467072 18711 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 19157 18711 144 303 0 18852 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 76628 [startup+51.1004 s] /proc/loadavg: 2.03 2.01 2.00 3/179 13735 /proc/meminfo: memFree=31019000/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=139684 CPUtime=51.09 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 34578 0 0 0 5053 56 0 0 25 0 1 0 131384794 143036416 34474 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 34921 34474 144 303 0 34616 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 139684 Solver just ended. Dumping a history of the last processes samples [startup+57.5003 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13736 /proc/meminfo: memFree=31001136/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=156976 CPUtime=57.49 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 38889 0 0 0 5686 63 0 0 25 0 1 0 131384794 160743424 38785 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 39244 38785 144 303 0 38939 0 Current children cumulated CPU time (s) 57.49 Current children cumulated vsize (KiB) 156976 [startup+59.101 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13736 /proc/meminfo: memFree=30997664/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=161608 CPUtime=59.09 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 40039 0 0 0 5844 65 0 0 25 0 1 0 131384794 165486592 39935 4089446400 134512640 135752675 4293782048 18446744073709551615 134650395 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 40402 39935 144 303 0 40097 0 Current children cumulated CPU time (s) 59.09 Current children cumulated vsize (KiB) 161608 [startup+60.7007 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13736 /proc/meminfo: memFree=30991832/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=165832 CPUtime=60.69 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 41099 0 0 0 6002 67 0 0 25 0 1 0 131384794 169811968 40995 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 41458 40995 144 303 0 41153 0 Current children cumulated CPU time (s) 60.69 Current children cumulated vsize (KiB) 165832 [startup+61.1006 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13736 /proc/meminfo: memFree=30991832/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=166624 CPUtime=61.09 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 41295 0 0 0 6042 67 0 0 25 0 1 0 131384794 170622976 41191 4089446400 134512640 135752675 4293782048 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 41656 41191 144 303 0 41351 0 Current children cumulated CPU time (s) 61.09 Current children cumulated vsize (KiB) 166624 [startup+61.3006 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13736 /proc/meminfo: memFree=30991832/32951124 swapFree=67111528/67111528 [pid=13734] ppid=13732 vsize=167152 CPUtime=61.3 /proc/13734/stat : 13734 (wbo1.4b) R 13732 13734 12955 0 -1 4202496 41437 0 0 0 6062 68 0 0 25 0 1 0 131384794 171163648 41333 4089446400 134512640 135752675 4293782048 18446744073709551615 134603331 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13734/statm: 41788 41333 144 303 0 41483 0 Current children cumulated CPU time (s) 61.3 Current children cumulated vsize (KiB) 167152 Child status: 0 Real time (s): 61.3857 CPU time (s): 61.3877 CPU user time (s): 60.6978 CPU system time (s): 0.689895 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 167152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 60.6978 system time used= 0.689895 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41489 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= 32 runsolver used 0.076988 second user time and 0.206968 second system time The end
Begin job on node145 at 2010-06-30 14:28:16 IDJOB=2690628 IDBENCH=78886 IDSOLVER=1201 FILE ID=node145/2690628-1277900896 PBS_JOBID= 11197171 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584106--soft-66-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690628-1277900896/watcher-2690628-1277900896 -o /tmp/evaluation-result-2690628-1277900896/solver-2690628-1277900896 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690628-1277900896.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= af1f4aa986dfaf7d995a788abb35be25 RANDOM SEED=1697280591 node145.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.851 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.70 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.851 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.851 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.82 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.851 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.75 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.851 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.851 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.67 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.851 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.851 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31157396 kB Buffers: 185808 kB Cached: 1266184 kB SwapCached: 0 kB Active: 682944 kB Inactive: 968272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31157396 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2728 kB Writeback: 0 kB AnonPages: 199540 kB Mapped: 16932 kB Slab: 79520 kB PageTables: 5056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 347284 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= 74204 MiB End job on node145 at 2010-06-30 14:29:18