Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 110.378 | 110.375 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-33-100-0.wbo |
MD5SUM | b6831e02f19f517e205ea45f0a3f162b |
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 | 2 |
Best CPU time to get the best result obtained on this benchmark | 159.195 |
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 | 1839 |
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 | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 745 |
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-2690629-1277900978.wbo. 0.00/0.00 c Instance file HOME/instance-2690629-1277900978.wbo 0.00/0.00 c File size is 92500 bytes. 0.00/0.00 c Highest Coefficient sum: 745 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 | 100 | 231 2707 8338 | 5500 100 23 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 28 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 28 | 0.002 % | 0.00/0.03 c | 814 | 231 2707 8338 | 7320 814 27 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 28 | 0.002 % | 0.00/0.06 c | 2081 | 231 2707 8338 | 8857 2081 30 | 0.002 % | 0.09/0.10 c | 3221 | 231 2707 8338 | 9743 3221 30 | 0.002 % | 0.09/0.16 c | 4931 | 231 2707 8338 | 10717 4931 31 | 0.002 % | 0.19/0.26 c | 7493 | 231 2707 8338 | 11789 7493 30 | 0.002 % | 0.39/0.44 c | 11340 | 231 2707 8338 | 12968 11340 31 | 0.002 % | 0.69/0.78 c | 17106 | 231 2707 8338 | 14265 10581 35 | 0.002 % | 1.29/1.34 c | 25755 | 231 2707 8338 | 15692 12034 36 | 0.002 % | 2.19/2.29 c | 38729 | 231 2707 8338 | 17261 9211 35 | 0.002 % | 3.79/3.88 c | 58192 | 231 2707 8338 | 18987 11299 38 | 0.002 % | 6.19/6.27 c | 87385 | 231 2707 8338 | 20886 11863 36 | 0.002 % | 9.79/9.86 c | 131174 | 231 2707 8338 | 22974 13675 35 | 0.002 % | 15.50/15.52 c | 196859 | 231 2707 8338 | 25272 21665 35 | 0.002 % | 26.09/26.17 c | 295385 | 231 2707 8338 | 27799 16065 38 | 0.002 % | 43.19/43.21 c | 443174 | 231 2707 8338 | 30579 26842 39 | 0.002 % | 67.29/67.35 c | 664857 | 231 2707 8338 | 33637 29712 36 | 0.002 % | 105.19/105.27 c | 997383 | 230 2707 8338 | 37001 30166 37 | 0.435 % | 110.30/110.36 s UNSATISFIABLE 110.30/110.36 c Total CPU time: 109.274 s 110.30/110.36 c =============================================================================== 110.30/110.36 c 110.30/110.36 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-2690629-1277900978/watcher-2690629-1277900978 -o /tmp/evaluation-result-2690629-1277900978/solver-2690629-1277900978 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690629-1277900978.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.03 2.06 2.01 4/182 12097 /proc/meminfo: memFree=31094888/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=2792 CPUtime=0 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 310 0 0 0 0 0 0 0 25 0 1 0 131393384 2859008 229 4089446400 134512640 135752675 4294422896 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 698 229 148 303 0 370 0 [startup+0.00757891 s] /proc/loadavg: 2.03 2.06 2.01 4/182 12097 /proc/meminfo: memFree=31094888/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=2700 CPUtime=0 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 356 0 0 0 0 0 0 0 25 0 1 0 131393384 2764800 252 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 675 253 141 303 0 370 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2700 [startup+0.100555 s] /proc/loadavg: 2.03 2.06 2.01 4/182 12097 /proc/meminfo: memFree=31094888/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=3624 CPUtime=0.09 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 567 0 0 0 9 0 0 0 25 0 1 0 131393384 3710976 463 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 906 463 144 303 0 601 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3624 [startup+0.300527 s] /proc/loadavg: 2.03 2.06 2.01 4/182 12097 /proc/meminfo: memFree=31094888/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=5104 CPUtime=0.29 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 929 0 0 0 29 0 0 0 25 0 1 0 131393384 5226496 825 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 1276 825 144 303 0 971 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5104 [startup+0.70044 s] /proc/loadavg: 2.03 2.06 2.01 4/182 12097 /proc/meminfo: memFree=31094888/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=7348 CPUtime=0.69 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 1493 0 0 0 68 1 0 0 25 0 1 0 131393384 7524352 1389 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 1837 1389 144 303 0 1532 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7348 [startup+1.5003 s] /proc/loadavg: 2.03 2.06 2.01 3/183 12098 /proc/meminfo: memFree=31088432/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=10912 CPUtime=1.49 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 2392 0 0 0 147 2 0 0 25 0 1 0 131393384 11173888 2288 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 2728 2288 144 303 0 2423 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10912 [startup+3.10101 s] /proc/loadavg: 2.03 2.06 2.01 3/183 12098 /proc/meminfo: memFree=31083968/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=17248 CPUtime=3.09 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 3979 0 0 0 304 5 0 0 25 0 1 0 131393384 17661952 3875 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 4312 3875 144 303 0 4007 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17248 [startup+6.30044 s] /proc/loadavg: 2.03 2.06 2.01 3/183 12098 /proc/meminfo: memFree=31071764/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=29004 CPUtime=6.29 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 6923 0 0 0 621 8 0 0 25 0 1 0 131393384 29700096 6819 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 7251 6819 144 303 0 6946 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29004 [startup+12.7003 s] /proc/loadavg: 2.03 2.05 2.01 3/183 12099 /proc/meminfo: memFree=31048444/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=51324 CPUtime=12.7 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 12509 0 0 0 1254 16 0 0 25 0 1 0 131393384 52555776 12405 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 12831 12405 144 303 0 12526 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 51324 [startup+25.5009 s] /proc/loadavg: 2.02 2.05 2.01 3/183 12099 /proc/meminfo: memFree=31008264/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=90204 CPUtime=25.49 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 22200 0 0 0 2520 29 0 0 25 0 1 0 131393384 92368896 22096 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 22551 22096 144 303 0 22246 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90204 [startup+51.1003 s] /proc/loadavg: 2.01 2.05 2.00 3/183 12099 /proc/meminfo: memFree=30936992/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=161984 CPUtime=51.09 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 40148 0 0 0 5058 51 0 0 25 0 1 0 131393384 165871616 40044 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 40496 40044 144 303 0 40191 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 161984 [startup+102.307 s] /proc/loadavg: 2.14 2.07 2.01 3/183 12101 /proc/meminfo: memFree=30799076/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=298392 CPUtime=102.3 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 74218 0 0 0 10128 102 0 0 25 0 1 0 131393384 305553408 74114 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 74598 74114 144 303 0 74293 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 298392 Solver just ended. Dumping a history of the last processes samples [startup+105.5 s] /proc/loadavg: 2.14 2.07 2.01 3/183 12101 /proc/meminfo: memFree=30790272/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=306976 CPUtime=105.5 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 76375 0 0 0 10445 105 0 0 25 0 1 0 131393384 314343424 76271 4089446400 134512640 135752675 4294422896 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 76744 76271 144 303 0 76439 0 Current children cumulated CPU time (s) 105.5 Current children cumulated vsize (KiB) 306976 [startup+108.701 s] /proc/loadavg: 2.13 2.07 2.01 3/183 12101 /proc/meminfo: memFree=30784568/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=314764 CPUtime=108.7 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 78331 0 0 0 10762 108 0 0 25 0 1 0 131393384 322318336 78227 4089446400 134512640 135752675 4294422896 18446744073709551615 134611571 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 78691 78227 144 303 0 78386 0 Current children cumulated CPU time (s) 108.7 Current children cumulated vsize (KiB) 314764 [startup+109.501 s] /proc/loadavg: 2.13 2.07 2.01 3/183 12101 /proc/meminfo: memFree=30783824/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=316620 CPUtime=109.49 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 78787 0 0 0 10841 108 0 0 25 0 1 0 131393384 324218880 78683 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 79155 78683 144 303 0 78850 0 Current children cumulated CPU time (s) 109.49 Current children cumulated vsize (KiB) 316620 [startup+109.901 s] /proc/loadavg: 2.13 2.07 2.01 3/183 12101 /proc/meminfo: memFree=30785556/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=317940 CPUtime=109.9 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 79113 0 0 0 10882 108 0 0 25 0 1 0 131393384 325570560 79009 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 79485 79009 144 303 0 79180 0 Current children cumulated CPU time (s) 109.9 Current children cumulated vsize (KiB) 317940 [startup+110.301 s] /proc/loadavg: 2.13 2.07 2.01 3/183 12101 /proc/meminfo: memFree=30785556/32951124 swapFree=67111528/67111528 [pid=12097] ppid=12095 vsize=319392 CPUtime=110.3 /proc/12097/stat : 12097 (wbo1.4b) R 12095 12097 11750 0 -1 4202496 79498 0 0 0 10921 109 0 0 25 0 1 0 131393384 327057408 79394 4089446400 134512640 135752675 4294422896 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/12097/statm: 79848 79394 144 303 0 79543 0 Current children cumulated CPU time (s) 110.3 Current children cumulated vsize (KiB) 319392 Child status: 0 Real time (s): 110.375 CPU time (s): 110.378 CPU user time (s): 109.274 CPU system time (s): 1.10383 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 319392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 109.274 system time used= 1.10383 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 79564 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= 58 runsolver used 0.19697 second user time and 0.410937 second system time The end
Begin job on node133 at 2010-06-30 14:29:38 IDJOB=2690629 IDBENCH=78887 IDSOLVER=1201 FILE ID=node133/2690629-1277900978 PBS_JOBID= 11197188 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.1900551347--soft-33-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690629-1277900978/watcher-2690629-1277900978 -o /tmp/evaluation-result-2690629-1277900978/solver-2690629-1277900978 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690629-1277900978.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b6831e02f19f517e205ea45f0a3f162b RANDOM SEED=993013174 node133.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.821 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.64 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.821 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.821 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.821 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 : 7296.74 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.821 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.821 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.74 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.821 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.74 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.821 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: 32951124 kB MemFree: 31095036 kB Buffers: 181180 kB Cached: 978444 kB SwapCached: 0 kB Active: 1079508 kB Inactive: 634716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31095036 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 555208 kB Mapped: 16184 kB Slab: 78088 kB PageTables: 5540 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 705748 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 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 node133 at 2010-06-30 14:31:28