Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 151.642 | 151.639 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900584219--soft-33-100-0.wbo |
MD5SUM | 8d817301a4b1c2c9b4fea9d5d7fdc9d1 |
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 | 263.875 |
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 | 1868 |
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 | 94981 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 94980 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
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-2690627-1277900756.wbo. 0.00/0.00 c Instance file HOME/instance-2690627-1277900756.wbo 0.00/0.00 c File size is 92616 bytes. 0.00/0.00 c Highest Coefficient sum: 689 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 | 101 | 231 2707 8338 | 5500 101 25 | 0.002 % | 0.00/0.01 c | 251 | 231 2707 8338 | 6050 251 31 | 0.002 % | 0.00/0.02 c | 476 | 231 2707 8338 | 6655 476 32 | 0.002 % | 0.00/0.03 c | 814 | 231 2707 8338 | 7320 814 33 | 0.002 % | 0.00/0.04 c | 1320 | 231 2707 8338 | 8052 1320 33 | 0.002 % | 0.00/0.07 c | 2084 | 231 2707 8338 | 8857 2084 33 | 0.002 % | 0.09/0.11 c | 3223 | 231 2707 8338 | 9743 3223 34 | 0.002 % | 0.09/0.18 c | 4931 | 231 2707 8338 | 10717 4931 35 | 0.002 % | 0.29/0.32 c | 7494 | 231 2707 8338 | 11789 7494 37 | 0.002 % | 0.49/0.57 c | 11340 | 231 2707 8338 | 12968 11340 36 | 0.002 % | 0.89/0.95 c | 17106 | 231 2707 8338 | 14265 10575 35 | 0.002 % | 1.49/1.51 c | 25755 | 231 2707 8338 | 15692 12024 35 | 0.002 % | 2.39/2.45 c | 38729 | 231 2707 8338 | 17261 9206 36 | 0.002 % | 3.99/4.01 c | 58190 | 231 2707 8338 | 18987 11310 40 | 0.002 % | 6.49/6.53 c | 87383 | 231 2707 8338 | 20886 11864 38 | 0.002 % | 10.39/10.40 c | 131173 | 231 2707 8338 | 22974 13695 43 | 0.002 % | 16.99/17.02 c | 196858 | 231 2707 8338 | 25272 21664 40 | 0.002 % | 26.89/26.96 c | 295385 | 231 2707 8338 | 27799 14675 35 | 0.002 % | 41.09/41.11 c | 443174 | 231 2707 8338 | 30579 19039 37 | 0.002 % | 67.20/67.28 c | 664858 | 231 2707 8338 | 33637 24625 36 | 0.002 % | 106.79/106.86 c | 997384 | 231 2707 8338 | 37001 19291 38 | 0.002 % | 151.60/151.62 s UNSATISFIABLE 151.60/151.62 c Total CPU time: 148.996 s 151.60/151.62 c =============================================================================== 151.60/151.62 c 151.60/151.62 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-2690627-1277900756/watcher-2690627-1277900756 -o /tmp/evaluation-result-2690627-1277900756/solver-2690627-1277900756 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690627-1277900756.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.02 2.01 2.00 3/196 12951 /proc/meminfo: memFree=31064044/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=2668 CPUtime=0 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 307 0 0 0 0 0 0 0 23 0 1 0 131371938 2732032 225 4089446400 134512640 135752675 4286826912 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 667 225 147 303 0 339 0 [startup+0.0989589 s] /proc/loadavg: 2.02 2.01 2.00 3/196 12951 /proc/meminfo: memFree=31064044/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=3508 CPUtime=0.09 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 558 0 0 0 9 0 0 0 23 0 1 0 131371938 3592192 453 4089446400 134512640 135752675 4286826912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 877 453 144 303 0 572 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3508 [startup+0.100959 s] /proc/loadavg: 2.02 2.01 2.00 3/196 12951 /proc/meminfo: memFree=31064044/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=3640 CPUtime=0.09 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 563 0 0 0 9 0 0 0 23 0 1 0 131371938 3727360 458 4089446400 134512640 135752675 4286826912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 910 458 144 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300923 s] /proc/loadavg: 2.02 2.01 2.00 3/196 12951 /proc/meminfo: memFree=31064044/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=4960 CPUtime=0.29 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 912 0 0 0 28 1 0 0 23 0 1 0 131371938 5079040 807 4089446400 134512640 135752675 4286826912 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 1240 807 144 303 0 935 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4960 [startup+0.700852 s] /proc/loadavg: 2.02 2.01 2.00 3/196 12951 /proc/meminfo: memFree=31064044/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=6856 CPUtime=0.69 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 1387 0 0 0 67 2 0 0 25 0 1 0 131371938 7020544 1282 4089446400 134512640 135752675 4286826912 18446744073709551615 134650547 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 1714 1282 144 303 0 1409 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6856 [startup+1.50071 s] /proc/loadavg: 2.02 2.01 2.00 3/197 12952 /proc/meminfo: memFree=31057588/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=10684 CPUtime=1.49 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 2339 0 0 0 145 4 0 0 25 0 1 0 131371938 10940416 2234 4089446400 134512640 135752675 4286826912 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 2671 2234 144 303 0 2366 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10684 [startup+3.10048 s] /proc/loadavg: 2.02 2.01 2.00 3/197 12952 /proc/meminfo: memFree=31052256/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=17288 CPUtime=3.09 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 3994 0 0 0 302 7 0 0 25 0 1 0 131371938 17702912 3889 4089446400 134512640 135752675 4286826912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 4322 3889 144 303 0 4017 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17288 [startup+6.30086 s] /proc/loadavg: 2.02 2.01 2.00 3/197 12952 /proc/meminfo: memFree=31039788/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=29408 CPUtime=6.29 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 7000 0 0 0 615 14 0 0 25 0 1 0 131371938 30113792 6895 4089446400 134512640 135752675 4286826912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 7352 6895 144 303 0 7047 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29408 [startup+12.7007 s] /proc/loadavg: 2.02 2.01 2.00 3/197 12952 /proc/meminfo: memFree=31017416/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=50964 CPUtime=12.69 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 12400 0 0 0 1242 27 0 0 25 0 1 0 131371938 52187136 12295 4089446400 134512640 135752675 4286826912 18446744073709551615 134603093 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 12741 12295 144 303 0 12436 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 50964 [startup+25.5005 s] /proc/loadavg: 2.01 2.01 2.00 3/197 12952 /proc/meminfo: memFree=30976076/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=92196 CPUtime=25.49 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 22691 0 0 0 2497 52 0 0 25 0 1 0 131371938 94408704 22586 4089446400 134512640 135752675 4286826912 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 23049 22586 144 303 0 22744 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 92196 [startup+51.1009 s] /proc/loadavg: 2.01 2.00 2.00 3/197 12953 /proc/meminfo: memFree=30899476/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=167464 CPUtime=51.09 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 41489 0 0 0 5009 100 0 0 25 0 1 0 131371938 171483136 41384 4089446400 134512640 135752675 4286826912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 41866 41384 144 303 0 41561 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 167464 [startup+102.306 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12954 /proc/meminfo: memFree=30762072/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=298552 CPUtime=102.3 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 74254 0 0 0 10042 188 0 0 25 0 1 0 131371938 305717248 74149 4089446400 134512640 135752675 4286826912 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 74638 74149 144 303 0 74333 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 298552 Solver just ended. Dumping a history of the last processes samples [startup+127.9 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12955 /proc/meminfo: memFree=30697576/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=363172 CPUtime=127.89 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 90395 0 0 0 12565 224 0 0 25 0 1 0 131371938 371888128 90290 4089446400 134512640 135752675 4286826912 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 90793 90290 144 303 0 90488 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 363172 [startup+140.7 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12956 /proc/meminfo: memFree=30664088/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=395412 CPUtime=140.7 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 98461 0 0 0 13825 245 0 0 25 0 1 0 131371938 404901888 98356 4089446400 134512640 135752675 4286826912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 98853 98356 144 303 0 98548 0 Current children cumulated CPU time (s) 140.7 Current children cumulated vsize (KiB) 395412 [startup+147.101 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12956 /proc/meminfo: memFree=30650068/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=410868 CPUtime=147.09 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 102322 0 0 0 14455 254 0 0 25 0 1 0 131371938 420728832 102217 4089446400 134512640 135752675 4286826912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 102717 102217 144 303 0 102412 0 Current children cumulated CPU time (s) 147.09 Current children cumulated vsize (KiB) 410868 [startup+148.701 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12956 /proc/meminfo: memFree=30644484/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=415620 CPUtime=148.69 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 103514 0 0 0 14611 258 0 0 25 0 1 0 131371938 425594880 103409 4089446400 134512640 135752675 4286826912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 103905 103409 144 303 0 103600 0 Current children cumulated CPU time (s) 148.69 Current children cumulated vsize (KiB) 415620 [startup+150.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12956 /proc/meminfo: memFree=30642128/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=418920 CPUtime=150.29 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 104349 0 0 0 14769 260 0 0 25 0 1 0 131371938 428974080 104244 4089446400 134512640 135752675 4286826912 18446744073709551615 134611576 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 104730 104244 144 303 0 104425 0 Current children cumulated CPU time (s) 150.29 Current children cumulated vsize (KiB) 418920 [startup+151.1 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12956 /proc/meminfo: memFree=30639524/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=421164 CPUtime=151.09 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 104897 0 0 0 14847 262 0 0 25 0 1 0 131371938 431271936 104792 4089446400 134512640 135752675 4286826912 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 105291 104792 144 303 0 104986 0 Current children cumulated CPU time (s) 151.09 Current children cumulated vsize (KiB) 421164 [startup+151.5 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12956 /proc/meminfo: memFree=30639524/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=422088 CPUtime=151.5 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 105146 0 0 0 14887 263 0 0 25 0 1 0 131371938 432218112 105041 4089446400 134512640 135752675 4286826912 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 105522 105041 144 303 0 105217 0 Current children cumulated CPU time (s) 151.5 Current children cumulated vsize (KiB) 422088 [startup+151.6 s] /proc/loadavg: 2.00 2.00 2.00 3/197 12956 /proc/meminfo: memFree=30639524/32950928 swapFree=4192956/4192956 [pid=12951] ppid=12949 vsize=422352 CPUtime=151.6 /proc/12951/stat : 12951 (wbo1.4b) R 12949 12951 12709 0 -1 4202496 105201 0 0 0 14897 263 0 0 25 0 1 0 131371938 432488448 105096 4089446400 134512640 135752675 4286826912 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/12951/statm: 105588 105096 144 303 0 105283 0 Current children cumulated CPU time (s) 151.6 Current children cumulated vsize (KiB) 422352 Child status: 0 Real time (s): 151.639 CPU time (s): 151.642 CPU user time (s): 148.996 CPU system time (s): 2.6456 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 422352 getrusage(RUSAGE_CHILDREN,...) data: user time used= 148.996 system time used= 2.6456 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105213 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= 3022 runsolver used 0.207968 second user time and 0.493924 second system time The end
Begin job on node124 at 2010-06-30 14:25:56 IDJOB=2690627 IDBENCH=78885 IDSOLVER=1201 FILE ID=node124/2690627-1277900756 PBS_JOBID= 11197212 Free space on /tmp= 130620 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900584219--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-2690627-1277900756/watcher-2690627-1277900756 -o /tmp/evaluation-result-2690627-1277900756/solver-2690627-1277900756 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690627-1277900756.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d817301a4b1c2c9b4fea9d5d7fdc9d1 RANDOM SEED=69051387 node124.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.833 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.66 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.833 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 : 5226.07 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.833 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.833 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.77 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.833 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.833 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.82 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.833 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.833 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: 31064696 kB Buffers: 186448 kB Cached: 1116468 kB SwapCached: 0 kB Active: 955024 kB Inactive: 817844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31064696 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2772 kB Writeback: 0 kB AnonPages: 470456 kB Mapped: 20324 kB Slab: 79200 kB PageTables: 6120 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 1658132 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130620 MiB End job on node124 at 2010-06-30 14:28:28