Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 83.1634 | 83.1612 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-66-100-0.wbo |
MD5SUM | 7129b2638275c1b1b14ce0a3da71735e |
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 | 323.561 |
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 | 927 |
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 | 45360 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45359 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 755 |
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-2690761-1277908577.wbo. 0.00/0.00 c Instance file HOME/instance-2690761-1277908577.wbo 0.00/0.00 c File size is 87999 bytes. 0.00/0.00 c Highest Coefficient sum: 755 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 20 | 0.002 % | 0.00/0.01 c | 253 | 231 2707 8338 | 6050 253 25 | 0.002 % | 0.00/0.02 c | 478 | 231 2707 8338 | 6655 478 25 | 0.002 % | 0.00/0.03 c | 816 | 231 2707 8338 | 7320 816 26 | 0.002 % | 0.00/0.04 c | 1324 | 231 2707 8338 | 8052 1324 27 | 0.002 % | 0.00/0.07 c | 2083 | 231 2707 8338 | 8857 2083 28 | 0.002 % | 0.10/0.11 c | 3222 | 231 2707 8338 | 9743 3222 30 | 0.002 % | 0.10/0.18 c | 4931 | 231 2707 8338 | 10717 4931 30 | 0.002 % | 0.29/0.31 c | 7494 | 231 2707 8338 | 11789 7494 30 | 0.002 % | 0.49/0.59 c | 11338 | 231 2707 8338 | 12968 11338 33 | 0.002 % | 0.99/1.04 c | 17104 | 231 2707 8338 | 14265 10576 36 | 0.002 % | 1.59/1.63 c | 25755 | 231 2707 8338 | 15692 12054 35 | 0.002 % | 2.59/2.61 c | 38729 | 231 2707 8338 | 17261 9239 37 | 0.002 % | 4.19/4.22 c | 58191 | 231 2707 8338 | 18987 11335 37 | 0.002 % | 6.89/6.96 c | 87384 | 231 2707 8338 | 20886 11922 37 | 0.002 % | 11.29/11.31 c | 131173 | 231 2707 8338 | 22974 13703 37 | 0.002 % | 18.49/18.59 c | 196862 | 231 2707 8338 | 25272 21685 39 | 0.002 % | 29.80/29.88 c | 295390 | 231 2707 8338 | 27799 15855 39 | 0.002 % | 49.79/49.81 c | 443179 | 231 2707 8338 | 30579 26408 40 | 0.002 % | 75.90/75.96 c | 664864 | 231 2707 8338 | 33637 13204 38 | 0.039 % | 83.09/83.15 s UNSATISFIABLE 83.09/83.15 c Total CPU time: 82.4115 s 83.09/83.15 c =============================================================================== 83.09/83.15 c 83.09/83.15 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-2690761-1277908577/watcher-2690761-1277908577 -o /tmp/evaluation-result-2690761-1277908577/solver-2690761-1277908577 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690761-1277908577.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.32 2.72 2.57 4/178 25051 /proc/meminfo: memFree=31433144/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=2660 CPUtime=0 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 166461416 2723840 222 4089446400 134512640 135752675 4292035856 18446744073709551615 135202249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 665 222 145 303 0 338 0 [startup+0.103849 s] /proc/loadavg: 2.32 2.72 2.57 4/178 25051 /proc/meminfo: memFree=31433144/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=3496 CPUtime=0.1 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 529 0 0 0 10 0 0 0 25 0 1 0 166461416 3579904 425 4089446400 134512640 135752675 4292035856 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 874 425 144 303 0 569 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3496 [startup+0.20083 s] /proc/loadavg: 2.32 2.72 2.57 4/178 25051 /proc/meminfo: memFree=31433144/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=4024 CPUtime=0.19 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 665 0 0 0 19 0 0 0 25 0 1 0 166461416 4120576 561 4089446400 134512640 135752675 4292035856 18446744073709551615 134612040 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 1006 561 144 303 0 701 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4024 [startup+0.30081 s] /proc/loadavg: 2.32 2.72 2.57 4/178 25051 /proc/meminfo: memFree=31433144/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=4420 CPUtime=0.29 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 790 0 0 0 29 0 0 0 25 0 1 0 166461416 4526080 686 4089446400 134512640 135752675 4292035856 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 1105 686 144 303 0 800 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4420 [startup+0.700735 s] /proc/loadavg: 2.32 2.72 2.57 4/178 25051 /proc/meminfo: memFree=31433144/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=6012 CPUtime=0.69 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 1156 0 0 0 68 1 0 0 25 0 1 0 166461416 6156288 1052 4089446400 134512640 135752675 4292035856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 1503 1052 144 303 0 1198 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6012 [startup+1.50059 s] /proc/loadavg: 2.32 2.72 2.57 3/179 25052 /proc/meminfo: memFree=31425076/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=8916 CPUtime=1.49 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 1882 0 0 0 147 2 0 0 25 0 1 0 166461416 9129984 1778 4089446400 134512640 135752675 4292035856 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 2229 1778 144 303 0 1924 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8916 [startup+3.1003 s] /proc/loadavg: 2.29 2.71 2.57 3/179 25052 /proc/meminfo: memFree=31418752/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=14332 CPUtime=3.08 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 3262 0 0 0 305 3 0 0 25 0 1 0 166461416 14675968 3158 4089446400 134512640 135752675 4292035856 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 3583 3158 144 303 0 3278 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14332 [startup+6.30071 s] /proc/loadavg: 2.29 2.71 2.57 3/179 25052 /proc/meminfo: memFree=31400888/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=23840 CPUtime=6.29 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 5635 0 0 0 622 7 0 0 25 0 1 0 166461416 24412160 5531 4089446400 134512640 135752675 4292035856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 5960 5531 144 303 0 5655 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23840 [startup+12.7005 s] /proc/loadavg: 2.25 2.69 2.56 3/179 25052 /proc/meminfo: memFree=31366300/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=41292 CPUtime=12.69 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 9975 0 0 0 1257 12 0 0 25 0 1 0 166461416 42283008 9871 4089446400 134512640 135752675 4292035856 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 10323 9871 144 303 0 10018 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41292 [startup+25.5002 s] /proc/loadavg: 2.21 2.66 2.56 3/179 25052 /proc/meminfo: memFree=31298604/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=71936 CPUtime=25.49 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 17659 0 0 0 2524 25 0 0 25 0 1 0 166461416 73662464 17555 4089446400 134512640 135752675 4292035856 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 17984 17555 144 303 0 17679 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 71936 [startup+51.1005 s] /proc/loadavg: 2.14 2.61 2.54 3/179 25053 /proc/meminfo: memFree=31226024/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=127504 CPUtime=51.09 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 31524 0 0 0 5063 46 0 0 25 0 1 0 166461416 130564096 31420 4089446400 134512640 135752675 4292035856 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 31876 31420 144 303 0 31571 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 127504 Solver just ended. Dumping a history of the last processes samples [startup+51.2005 s] /proc/loadavg: 2.14 2.61 2.54 3/179 25053 /proc/meminfo: memFree=31226024/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=127768 CPUtime=51.19 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 31591 0 0 0 5073 46 0 0 25 0 1 0 166461416 130834432 31487 4089446400 134512640 135752675 4292035856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 31942 31487 144 303 0 31637 0 Current children cumulated CPU time (s) 51.19 Current children cumulated vsize (KiB) 127768 [startup+64.0001 s] /proc/loadavg: 2.10 2.58 2.53 3/179 25053 /proc/meminfo: memFree=31177040/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=156684 CPUtime=64 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 38800 0 0 0 6340 60 0 0 25 0 1 0 166461416 160444416 38696 4089446400 134512640 135752675 4292035856 18446744073709551615 134605360 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 39171 38696 144 303 0 38866 0 Current children cumulated CPU time (s) 64 Current children cumulated vsize (KiB) 156684 [startup+76.8008 s] /proc/loadavg: 2.09 2.56 2.53 3/179 25054 /proc/meminfo: memFree=31118752/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=186140 CPUtime=76.79 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 46174 0 0 0 7608 71 0 0 25 0 1 0 166461416 190607360 46070 4089446400 134512640 135752675 4292035856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 46535 46070 144 303 0 46230 0 Current children cumulated CPU time (s) 76.79 Current children cumulated vsize (KiB) 186140 [startup+80.0002 s] /proc/loadavg: 2.08 2.55 2.52 3/179 25054 /proc/meminfo: memFree=31111436/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=192608 CPUtime=79.99 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 47811 0 0 0 7927 72 0 0 25 0 1 0 166461416 197230592 47707 4089446400 134512640 135752675 4292035856 18446744073709551615 134612127 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 48152 47707 144 303 0 47847 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (KiB) 192608 [startup+81.6009 s] /proc/loadavg: 2.07 2.54 2.52 3/179 25054 /proc/meminfo: memFree=31107092/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=195380 CPUtime=81.59 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 48474 0 0 0 8086 73 0 0 25 0 1 0 166461416 200069120 48370 4089446400 134512640 135752675 4292035856 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 48845 48370 144 303 0 48540 0 Current children cumulated CPU time (s) 81.59 Current children cumulated vsize (KiB) 195380 [startup+82.4008 s] /proc/loadavg: 2.07 2.54 2.52 3/179 25054 /proc/meminfo: memFree=31107092/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=196964 CPUtime=82.39 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 48885 0 0 0 8165 74 0 0 25 0 1 0 166461416 201691136 48781 4089446400 134512640 135752675 4292035856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 49241 48781 144 303 0 48936 0 Current children cumulated CPU time (s) 82.39 Current children cumulated vsize (KiB) 196964 [startup+82.8007 s] /proc/loadavg: 2.07 2.54 2.52 3/179 25054 /proc/meminfo: memFree=31104860/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=197624 CPUtime=82.79 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 49066 0 0 0 8205 74 0 0 25 0 1 0 166461416 202366976 48962 4089446400 134512640 135752675 4292035856 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 49406 48962 144 303 0 49101 0 Current children cumulated CPU time (s) 82.79 Current children cumulated vsize (KiB) 197624 [startup+83.0007 s] /proc/loadavg: 2.07 2.54 2.52 3/179 25054 /proc/meminfo: memFree=31104860/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=198020 CPUtime=82.99 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 49144 0 0 0 8225 74 0 0 25 0 1 0 166461416 202772480 49040 4089446400 134512640 135752675 4292035856 18446744073709551615 134640127 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 49505 49040 144 303 0 49200 0 Current children cumulated CPU time (s) 82.99 Current children cumulated vsize (KiB) 198020 [startup+83.1007 s] /proc/loadavg: 2.07 2.54 2.52 3/179 25054 /proc/meminfo: memFree=31104860/32951124 swapFree=67111528/67111528 [pid=25051] ppid=25049 vsize=198152 CPUtime=83.09 /proc/25051/stat : 25051 (wbo1.4b) R 25049 25051 23660 0 -1 4202496 49180 0 0 0 8235 74 0 0 25 0 1 0 166461416 202907648 49076 4089446400 134512640 135752675 4292035856 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25051/statm: 49538 49076 144 303 0 49233 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 198152 Child status: 0 Real time (s): 83.1612 CPU time (s): 83.1634 CPU user time (s): 82.4115 CPU system time (s): 0.751885 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 198152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 82.4115 system time used= 0.751885 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49201 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= 91 runsolver used 0.135979 second user time and 0.246962 second system time The end
Begin job on node110 at 2010-06-30 16:36:17 IDJOB=2690761 IDBENCH=78960 IDSOLVER=1201 FILE ID=node110/2690761-1277908577 PBS_JOBID= 11197210 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.1900567024--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-2690761-1277908577/watcher-2690761-1277908577 -o /tmp/evaluation-result-2690761-1277908577/solver-2690761-1277908577 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690761-1277908577.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7129b2638275c1b1b14ce0a3da71735e RANDOM SEED=456731567 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: 31433664 kB Buffers: 195660 kB Cached: 992344 kB SwapCached: 0 kB Active: 744732 kB Inactive: 631044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31433664 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2744 kB Writeback: 0 kB AnonPages: 187816 kB Mapped: 15072 kB Slab: 78852 kB PageTables: 4856 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 332056 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 16:37:40