Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 83.9462 | 83.9435 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo |
MD5SUM | a9e19d6176a708e2234c09caf532f5b0 |
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 | 22.7805 |
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 | 2707 |
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 | 137245 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 137244 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 719 |
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-2690245-1277928376.wbo. 0.00/0.00 c Instance file HOME/instance-2690245-1277928376.wbo 0.00/0.00 c File size is 96765 bytes. 0.00/0.00 c Highest Coefficient sum: 719 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 20 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 21 | 0.002 % | 0.00/0.02 c | 479 | 231 2707 8338 | 6655 479 21 | 0.002 % | 0.00/0.03 c | 816 | 231 2707 8338 | 7320 816 25 | 0.002 % | 0.04/0.05 c | 1322 | 231 2707 8338 | 8052 1322 27 | 0.002 % | 0.04/0.07 c | 2082 | 231 2707 8338 | 8857 2082 27 | 0.002 % | 0.10/0.12 c | 3223 | 231 2707 8338 | 9743 3223 29 | 0.002 % | 0.10/0.19 c | 4933 | 231 2707 8338 | 10717 4933 31 | 0.002 % | 0.29/0.34 c | 7497 | 231 2707 8338 | 11789 7497 32 | 0.002 % | 0.59/0.62 c | 11341 | 231 2707 8338 | 12968 11341 33 | 0.002 % | 1.00/1.01 c | 17107 | 231 2707 8338 | 14265 10587 34 | 0.002 % | 1.59/1.66 c | 25756 | 231 2707 8338 | 15692 12041 36 | 0.002 % | 2.69/2.74 c | 38731 | 231 2707 8338 | 17261 9221 36 | 0.002 % | 4.40/4.46 c | 58195 | 231 2707 8338 | 18987 11333 35 | 0.002 % | 7.09/7.10 c | 87388 | 231 2707 8338 | 20886 11906 36 | 0.002 % | 11.69/11.76 c | 131178 | 231 2707 8338 | 22974 13750 35 | 0.002 % | 19.09/19.15 c | 196862 | 231 2707 8338 | 25272 21758 38 | 0.002 % | 29.89/29.90 c | 295388 | 231 2707 8338 | 27799 13581 38 | 0.002 % | 47.79/47.88 c | 443179 | 231 2707 8338 | 30579 21647 37 | 0.002 % | 76.00/76.07 c | 664862 | 231 2707 8338 | 33637 24689 38 | 0.041 % | 83.90/83.93 s UNSATISFIABLE 83.90/83.93 c Total CPU time: 83.0914 s 83.90/83.93 c =============================================================================== 83.90/83.93 c 83.90/83.93 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-2690245-1277928376/watcher-2690245-1277928376 -o /tmp/evaluation-result-2690245-1277928376/solver-2690245-1277928376 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690245-1277928376.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.67 2.80 2.54 3/178 27207 /proc/meminfo: memFree=31016972/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=2668 CPUtime=0 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 305 0 0 0 0 0 0 0 25 0 1 0 168441142 2732032 224 4089446400 134512640 135752675 4292656272 18446744073709551615 134559808 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 667 224 147 303 0 338 0 [startup+0.0470859 s] /proc/loadavg: 2.67 2.80 2.54 3/178 27207 /proc/meminfo: memFree=31016972/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=3100 CPUtime=0.04 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 437 0 0 0 4 0 0 0 25 0 1 0 168441142 3174400 332 4089446400 134512640 135752675 4292656272 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 775 332 144 303 0 470 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3100 [startup+0.101074 s] /proc/loadavg: 2.67 2.80 2.54 3/178 27207 /proc/meminfo: memFree=31016972/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=3496 CPUtime=0.1 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 552 0 0 0 10 0 0 0 25 0 1 0 168441142 3579904 447 4089446400 134512640 135752675 4292656272 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 874 447 144 303 0 569 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3496 [startup+0.301035 s] /proc/loadavg: 2.67 2.80 2.54 3/178 27207 /proc/meminfo: memFree=31016972/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=4816 CPUtime=0.29 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 879 0 0 0 29 0 0 0 25 0 1 0 168441142 4931584 774 4089446400 134512640 135752675 4292656272 18446744073709551615 134601148 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 1204 774 144 303 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4816 [startup+0.700961 s] /proc/loadavg: 2.67 2.80 2.54 3/178 27207 /proc/meminfo: memFree=31016972/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=6712 CPUtime=0.69 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 1345 0 0 0 69 0 0 0 25 0 1 0 168441142 6873088 1240 4089446400 134512640 135752675 4292656272 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 1678 1240 144 303 0 1373 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6712 [startup+1.50082 s] /proc/loadavg: 2.67 2.80 2.54 3/179 27208 /proc/meminfo: memFree=31011892/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=10144 CPUtime=1.49 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 2218 0 0 0 147 2 0 0 25 0 1 0 168441142 10387456 2113 4089446400 134512640 135752675 4292656272 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 2536 2113 144 303 0 2231 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10144 [startup+3.10051 s] /proc/loadavg: 2.67 2.80 2.54 3/179 27208 /proc/meminfo: memFree=31006808/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=16620 CPUtime=3.09 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 3813 0 0 0 305 4 0 0 25 0 1 0 168441142 17018880 3708 4089446400 134512640 135752675 4292656272 18446744073709551615 134601164 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 4155 3708 144 303 0 3850 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16620 [startup+6.30093 s] /proc/loadavg: 2.62 2.78 2.54 3/179 27208 /proc/meminfo: memFree=30994992/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=27724 CPUtime=6.29 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 6606 0 0 0 621 8 0 0 25 0 1 0 168441142 28389376 6501 4089446400 134512640 135752675 4292656272 18446744073709551615 134518948 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 6931 6501 144 303 0 6626 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27724 [startup+12.7007 s] /proc/loadavg: 2.57 2.77 2.54 3/179 27208 /proc/meminfo: memFree=30970640/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=47556 CPUtime=12.69 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 11563 0 0 0 1255 14 0 0 25 0 1 0 168441142 48697344 11458 4089446400 134512640 135752675 4292656272 18446744073709551615 135222030 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 11889 11458 144 303 0 11584 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47556 [startup+25.5004 s] /proc/loadavg: 2.44 2.73 2.53 3/179 27209 /proc/meminfo: memFree=30921744/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=85084 CPUtime=25.49 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 20938 0 0 0 2521 28 0 0 25 0 1 0 168441142 87126016 20833 4089446400 134512640 135752675 4292656272 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 21271 20833 144 303 0 20966 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85084 [startup+51.1006 s] /proc/loadavg: 2.29 2.67 2.51 3/179 27210 /proc/meminfo: memFree=30809616/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=154764 CPUtime=51.09 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 38326 0 0 0 5055 54 0 0 25 0 1 0 168441142 158478336 38221 4089446400 134512640 135752675 4292656272 18446744073709551615 134611576 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 38691 38221 144 303 0 38386 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 154764 Solver just ended. Dumping a history of the last processes samples [startup+63.9002 s] /proc/loadavg: 2.24 2.65 2.51 3/179 27210 /proc/meminfo: memFree=30751952/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=189632 CPUtime=63.89 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 47046 0 0 0 6322 67 0 0 25 0 1 0 168441142 194183168 46941 4089446400 134512640 135752675 4292656272 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 47408 46941 144 303 0 47103 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 189632 [startup+76.7009 s] /proc/loadavg: 2.19 2.62 2.50 3/179 27210 /proc/meminfo: memFree=30704332/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=220964 CPUtime=76.7 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 54887 0 0 0 7591 79 0 0 25 0 1 0 168441142 226267136 54782 4089446400 134512640 135752675 4292656272 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 55241 54782 144 303 0 54936 0 Current children cumulated CPU time (s) 76.7 Current children cumulated vsize (KiB) 220964 [startup+79.9003 s] /proc/loadavg: 2.19 2.62 2.50 3/179 27210 /proc/meminfo: memFree=30692428/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=228636 CPUtime=79.89 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 56787 0 0 0 7908 81 0 0 25 0 1 0 168441142 234123264 56682 4089446400 134512640 135752675 4292656272 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 57159 56682 144 303 0 56854 0 Current children cumulated CPU time (s) 79.89 Current children cumulated vsize (KiB) 228636 [startup+81.501 s] /proc/loadavg: 2.17 2.61 2.49 3/179 27210 /proc/meminfo: memFree=30685112/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=232332 CPUtime=81.5 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 57716 0 0 0 8067 83 0 0 25 0 1 0 168441142 237907968 57611 4089446400 134512640 135752675 4292656272 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 58083 57611 144 303 0 57778 0 Current children cumulated CPU time (s) 81.5 Current children cumulated vsize (KiB) 232332 [startup+83.1007 s] /proc/loadavg: 2.17 2.61 2.49 3/179 27210 /proc/meminfo: memFree=30681764/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=235644 CPUtime=83.09 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 58567 0 0 0 8226 83 0 0 25 0 1 0 168441142 241299456 58462 4089446400 134512640 135752675 4292656272 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 58911 58462 144 303 0 58606 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 235644 [startup+83.5006 s] /proc/loadavg: 2.17 2.61 2.49 3/179 27210 /proc/meminfo: memFree=30666016/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=236832 CPUtime=83.5 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 58836 0 0 0 8267 83 0 0 25 0 1 0 168441142 242515968 58731 4089446400 134512640 135752675 4292656272 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 59208 58731 144 303 0 58903 0 Current children cumulated CPU time (s) 83.5 Current children cumulated vsize (KiB) 236832 [startup+83.9005 s] /proc/loadavg: 2.17 2.61 2.49 3/179 27210 /proc/meminfo: memFree=30666016/32950928 swapFree=67111528/67111528 [pid=27207] ppid=27205 vsize=238020 CPUtime=83.9 /proc/27207/stat : 27207 (wbo1.4b) R 27205 27207 27182 0 -1 4202496 59149 0 0 0 8306 84 0 0 25 0 1 0 168441142 243732480 59044 4089446400 134512640 135752675 4292656272 18446744073709551615 134597942 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/27207/statm: 59505 59044 144 303 0 59200 0 Current children cumulated CPU time (s) 83.9 Current children cumulated vsize (KiB) 238020 Child status: 0 Real time (s): 83.9435 CPU time (s): 83.9462 CPU user time (s): 83.0914 CPU system time (s): 0.85487 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 238020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 83.0914 system time used= 0.85487 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59178 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= 108 runsolver used 0.12798 second user time and 0.278957 second system time The end
Begin job on node113 at 2010-06-30 22:06:16 IDJOB=2690245 IDBENCH=79288 IDSOLVER=1201 FILE ID=node113/2690245-1277928376 PBS_JOBID= 11197420 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900563801--soft-0-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690245-1277928376/watcher-2690245-1277928376 -o /tmp/evaluation-result-2690245-1277928376/solver-2690245-1277928376 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690245-1277928376.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a9e19d6176a708e2234c09caf532f5b0 RANDOM SEED=572225820 node113.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.812 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.62 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.812 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.812 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.75 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.812 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.812 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.812 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.812 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.812 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31017376 kB Buffers: 211460 kB Cached: 1038364 kB SwapCached: 0 kB Active: 1083968 kB Inactive: 705400 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31017376 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 539996 kB Mapped: 14692 kB Slab: 79820 kB PageTables: 5608 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 689824 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 node113 at 2010-06-30 22:07:40