Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 71.7871 | 71.7847 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900564281--soft-33-100-0.wbo |
MD5SUM | e85c5d1e36fd64db247bc5be7351d7af |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 117.614 |
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 | 1785 |
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 | 88246 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 88245 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 705 |
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-2690174-1277911509.wbo. 0.00/0.00 c Instance file HOME/instance-2690174-1277911509.wbo 0.00/0.00 c File size is 92225 bytes. 0.00/0.00 c Highest Coefficient sum: 705 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 26 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 29 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 29 | 0.002 % | 0.00/0.03 c | 814 | 231 2707 8338 | 7320 814 30 | 0.002 % | 0.03/0.04 c | 1320 | 231 2707 8338 | 8052 1320 30 | 0.002 % | 0.03/0.06 c | 2080 | 231 2707 8338 | 8857 2080 29 | 0.002 % | 0.09/0.10 c | 3219 | 231 2707 8338 | 9743 3219 29 | 0.002 % | 0.09/0.16 c | 4928 | 231 2707 8338 | 10717 4928 30 | 0.002 % | 0.19/0.27 c | 7491 | 231 2707 8338 | 11789 7491 31 | 0.002 % | 0.39/0.46 c | 11336 | 231 2707 8338 | 12968 11336 31 | 0.002 % | 0.79/0.81 c | 17103 | 231 2707 8338 | 14265 10580 35 | 0.002 % | 1.29/1.38 c | 25753 | 231 2707 8338 | 15692 12036 35 | 0.002 % | 2.29/2.37 c | 38727 | 231 2707 8338 | 17261 9218 41 | 0.002 % | 3.60/3.68 c | 58189 | 231 2707 8338 | 18987 11323 37 | 0.002 % | 6.19/6.22 c | 87381 | 231 2707 8338 | 20886 11877 37 | 0.002 % | 9.80/9.86 c | 131170 | 231 2707 8338 | 22974 13684 37 | 0.002 % | 16.29/16.33 c | 196857 | 231 2707 8338 | 25272 21688 39 | 0.002 % | 26.50/26.57 c | 295383 | 231 2707 8338 | 27799 14610 38 | 0.002 % | 41.49/41.58 c | 443172 | 231 2707 8338 | 30579 23057 36 | 0.002 % | 64.89/64.90 c | 664856 | 231 2707 8338 | 33637 27639 37 | 0.099 % | 71.70/71.77 s UNSATISFIABLE 71.70/71.77 c Total CPU time: 70.1373 s 71.70/71.77 c =============================================================================== 71.70/71.77 c 71.70/71.77 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-2690174-1277911509/watcher-2690174-1277911509 -o /tmp/evaluation-result-2690174-1277911509/solver-2690174-1277911509 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690174-1277911509.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.07 2.17 3/196 25435 /proc/meminfo: memFree=31042904/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=2664 CPUtime=0 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 306 0 0 0 0 0 0 0 23 0 1 0 166754689 2727936 224 4089446400 134512640 135752675 4292479376 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 666 224 147 303 0 338 0 [startup+0.035538 s] /proc/loadavg: 2.07 2.07 2.17 3/196 25435 /proc/meminfo: memFree=31042904/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=2968 CPUtime=0.03 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 414 0 0 0 3 0 0 0 23 0 1 0 166754689 3039232 309 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 742 309 144 303 0 437 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2968 [startup+0.100517 s] /proc/loadavg: 2.07 2.07 2.17 3/196 25435 /proc/meminfo: memFree=31042904/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=3628 CPUtime=0.09 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 566 0 0 0 8 1 0 0 23 0 1 0 166754689 3715072 461 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 907 461 144 303 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3628 [startup+0.300484 s] /proc/loadavg: 2.07 2.07 2.17 3/196 25435 /proc/meminfo: memFree=31042904/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=4972 CPUtime=0.29 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 914 0 0 0 28 1 0 0 23 0 1 0 166754689 5091328 809 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 1243 809 144 303 0 938 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4972 [startup+0.700419 s] /proc/loadavg: 2.07 2.07 2.17 3/196 25435 /proc/meminfo: memFree=31042904/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=7124 CPUtime=0.69 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 1454 0 0 0 66 3 0 0 25 0 1 0 166754689 7294976 1349 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 1781 1349 144 303 0 1476 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7124 [startup+1.50026 s] /proc/loadavg: 2.07 2.07 2.17 3/197 25436 /proc/meminfo: memFree=31036696/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=10820 CPUtime=1.49 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 2360 0 0 0 145 4 0 0 25 0 1 0 166754689 11079680 2255 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 2705 2255 144 303 0 2400 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10820 [startup+3.10098 s] /proc/loadavg: 2.07 2.07 2.17 3/197 25436 /proc/meminfo: memFree=31031488/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=17692 CPUtime=3.09 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 4098 0 0 0 300 9 0 0 25 0 1 0 166754689 18116608 3993 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 4423 3993 144 303 0 4118 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17692 [startup+6.30039 s] /proc/loadavg: 2.07 2.07 2.17 3/197 25436 /proc/meminfo: memFree=31018216/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=29604 CPUtime=6.29 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 7048 0 0 0 611 18 0 0 25 0 1 0 166754689 30314496 6943 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 7401 6943 144 303 0 7096 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29604 [startup+12.7002 s] /proc/loadavg: 2.06 2.07 2.17 3/197 25436 /proc/meminfo: memFree=30995908/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=51536 CPUtime=12.69 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 12552 0 0 0 1236 33 0 0 25 0 1 0 166754689 52772864 12447 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 12884 12447 144 303 0 12579 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 51536 [startup+25.5009 s] /proc/loadavg: 2.39 2.14 2.19 3/197 25436 /proc/meminfo: memFree=30955132/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=90248 CPUtime=25.49 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 22218 0 0 0 2486 63 0 0 25 0 1 0 166754689 92413952 22113 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 22562 22113 144 303 0 22257 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 90248 [startup+51.1002 s] /proc/loadavg: 2.25 2.13 2.18 3/197 25437 /proc/meminfo: memFree=30877684/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=165328 CPUtime=51.09 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 40988 0 0 0 4988 121 0 0 25 0 1 0 166754689 169295872 40883 4089446400 134512640 135752675 4292479376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 41332 40884 144 303 0 41027 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 165328 Solver just ended. Dumping a history of the last processes samples [startup+63.9008 s] /proc/loadavg: 2.20 2.12 2.18 3/197 25438 /proc/meminfo: memFree=30840352/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=199948 CPUtime=63.89 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 49615 0 0 0 6239 150 0 0 25 0 1 0 166754689 204746752 49510 4089446400 134512640 135752675 4292479376 18446744073709551615 134605426 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 49987 49510 144 303 0 49682 0 Current children cumulated CPU time (s) 63.89 Current children cumulated vsize (KiB) 199948 [startup+67.1062 s] /proc/loadavg: 2.20 2.12 2.18 3/197 25438 /proc/meminfo: memFree=30831792/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=207868 CPUtime=67.1 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 51618 0 0 0 6554 156 0 0 25 0 1 0 166754689 212856832 51513 4089446400 134512640 135752675 4292479376 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 51967 51513 144 303 0 51662 0 Current children cumulated CPU time (s) 67.1 Current children cumulated vsize (KiB) 207868 [startup+70.3007 s] /proc/loadavg: 2.26 2.14 2.18 3/197 25438 /proc/meminfo: memFree=30822740/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=215788 CPUtime=70.29 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 53576 0 0 0 6868 161 0 0 25 0 1 0 166754689 220966912 53471 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 53947 53471 144 303 0 53642 0 Current children cumulated CPU time (s) 70.29 Current children cumulated vsize (KiB) 215788 [startup+71.1005 s] /proc/loadavg: 2.26 2.14 2.18 3/197 25438 /proc/meminfo: memFree=30822740/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=217636 CPUtime=71.09 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 54038 0 0 0 6946 163 0 0 25 0 1 0 166754689 222859264 53933 4089446400 134512640 135752675 4292479376 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 54409 53933 144 303 0 54104 0 Current children cumulated CPU time (s) 71.09 Current children cumulated vsize (KiB) 217636 [startup+71.5064 s] /proc/loadavg: 2.26 2.14 2.18 3/197 25438 /proc/meminfo: memFree=30820376/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=218296 CPUtime=71.49 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 54207 0 0 0 6986 163 0 0 25 0 1 0 166754689 223535104 54102 4089446400 134512640 135752675 4292479376 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 54574 54102 144 303 0 54269 0 Current children cumulated CPU time (s) 71.49 Current children cumulated vsize (KiB) 218296 [startup+71.7004 s] /proc/loadavg: 2.26 2.14 2.18 3/197 25438 /proc/meminfo: memFree=30820376/32951124 swapFree=67111528/67111528 [pid=25435] ppid=25433 vsize=218560 CPUtime=71.7 /proc/25435/stat : 25435 (wbo1.4b) R 25433 25435 23660 0 -1 4202496 54291 0 0 0 7006 164 0 0 25 0 1 0 166754689 223805440 54186 4089446400 134512640 135752675 4292479376 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25435/statm: 54640 54186 144 303 0 54335 0 Current children cumulated CPU time (s) 71.7 Current children cumulated vsize (KiB) 218560 Child status: 0 Real time (s): 71.7847 CPU time (s): 71.7871 CPU user time (s): 70.1373 CPU system time (s): 1.64975 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 218560 getrusage(RUSAGE_CHILDREN,...) data: user time used= 70.1373 system time used= 1.64975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54321 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= 3 involuntary context switches= 37 runsolver used 0.091986 second user time and 0.243962 second system time The end
Begin job on node110 at 2010-06-30 17:25:10 IDJOB=2690174 IDBENCH=78988 IDSOLVER=1201 FILE ID=node110/2690174-1277911509 PBS_JOBID= 11197210 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900564281--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-2690174-1277911509/watcher-2690174-1277911509 -o /tmp/evaluation-result-2690174-1277911509/solver-2690174-1277911509 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690174-1277911509.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e85c5d1e36fd64db247bc5be7351d7af RANDOM SEED=1860256324 node110.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.849 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.69 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.849 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.82 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.849 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.74 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.849 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.82 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.849 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.849 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.849 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.849 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: 31043804 kB Buffers: 198556 kB Cached: 990392 kB SwapCached: 0 kB Active: 1130444 kB Inactive: 633900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31043804 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2812 kB Writeback: 0 kB AnonPages: 575656 kB Mapped: 20492 kB Slab: 78536 kB PageTables: 5440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1658852 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 node110 at 2010-06-30 17:26:21