Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 166.508 | 166.504 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900571761--soft-66-100-0.wbo |
MD5SUM | e6a38cb3cbe3360d46534c568351a60a |
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 | 377.992 |
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 | 900 |
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 | 45741 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 45740 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 713 |
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-2690673-1277903942.wbo. 0.00/0.00 c Instance file HOME/instance-2690673-1277903942.wbo 0.00/0.00 c File size is 87857 bytes. 0.00/0.00 c Highest Coefficient sum: 713 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 21 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 27 | 0.002 % | 0.00/0.02 c | 479 | 231 2707 8338 | 6655 479 27 | 0.002 % | 0.00/0.03 c | 818 | 231 2707 8338 | 7320 818 27 | 0.002 % | 0.00/0.04 c | 1326 | 231 2707 8338 | 8052 1326 26 | 0.002 % | 0.00/0.07 c | 2085 | 231 2707 8338 | 8857 2085 29 | 0.002 % | 0.09/0.11 c | 3224 | 231 2707 8338 | 9743 3224 31 | 0.002 % | 0.09/0.17 c | 4933 | 231 2707 8338 | 10717 4933 32 | 0.002 % | 0.19/0.28 c | 7495 | 231 2707 8338 | 11789 7495 34 | 0.002 % | 0.49/0.51 c | 11341 | 231 2707 8338 | 12968 11341 35 | 0.002 % | 0.89/0.92 c | 17107 | 231 2707 8338 | 14265 10570 39 | 0.002 % | 1.49/1.54 c | 25757 | 231 2707 8338 | 15692 12019 36 | 0.002 % | 2.49/2.56 c | 38733 | 231 2707 8338 | 17261 9188 36 | 0.002 % | 3.99/4.04 c | 58194 | 231 2707 8338 | 18987 11267 34 | 0.002 % | 6.29/6.39 c | 87386 | 231 2707 8338 | 20886 11850 41 | 0.002 % | 10.49/10.54 c | 131178 | 231 2707 8338 | 22974 13635 40 | 0.002 % | 17.29/17.36 c | 196863 | 231 2707 8338 | 25272 21612 39 | 0.002 % | 28.19/28.23 c | 295389 | 231 2707 8338 | 27799 13461 41 | 0.002 % | 44.99/45.04 c | 443178 | 231 2707 8338 | 30579 21623 37 | 0.002 % | 71.60/71.65 c | 664863 | 231 2707 8338 | 33637 22678 41 | 0.002 % | 113.10/113.17 c | 997389 | 231 2707 8338 | 37001 14418 40 | 0.002 % | 166.40/166.48 s UNSATISFIABLE 166.40/166.48 c Total CPU time: 164.951 s 166.40/166.48 c =============================================================================== 166.40/166.48 c 166.40/166.48 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-2690673-1277903942/watcher-2690673-1277903942 -o /tmp/evaluation-result-2690673-1277903942/solver-2690673-1277903942 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690673-1277903942.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: 1.99 1.98 1.99 4/178 24036 /proc/meminfo: memFree=31643484/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=2792 CPUtime=0 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 312 0 0 0 0 0 0 0 25 0 1 0 163985958 2859008 230 4089446400 134512640 135752675 4290012560 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 698 230 147 303 0 371 0 [startup+0.10018 s] /proc/loadavg: 1.99 1.98 1.99 4/178 24036 /proc/meminfo: memFree=31643484/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=3496 CPUtime=0.09 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 540 0 0 0 9 0 0 0 25 0 1 0 163985958 3579904 436 4089446400 134512640 135752675 4290012560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 874 436 144 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.201162 s] /proc/loadavg: 1.99 1.98 1.99 4/178 24036 /proc/meminfo: memFree=31643484/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=4156 CPUtime=0.19 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 722 0 0 0 19 0 0 0 25 0 1 0 163985958 4255744 618 4089446400 134512640 135752675 4290012560 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 1039 618 144 303 0 734 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4156 [startup+0.301144 s] /proc/loadavg: 1.99 1.98 1.99 4/178 24036 /proc/meminfo: memFree=31643484/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=4816 CPUtime=0.29 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 878 0 0 0 29 0 0 0 25 0 1 0 163985958 4931584 774 4089446400 134512640 135752675 4290012560 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 1204 774 144 303 0 899 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4816 [startup+0.701074 s] /proc/loadavg: 1.99 1.98 1.99 4/178 24036 /proc/meminfo: memFree=31643484/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=6696 CPUtime=0.69 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 1334 0 0 0 68 1 0 0 25 0 1 0 163985958 6856704 1230 4089446400 134512640 135752675 4290012560 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 1674 1230 144 303 0 1369 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6696 [startup+1.50093 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24037 /proc/meminfo: memFree=31637276/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=9864 CPUtime=1.49 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 2136 0 0 0 147 2 0 0 25 0 1 0 163985958 10100736 2032 4089446400 134512640 135752675 4290012560 18446744073709551615 134641577 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 2466 2032 144 303 0 2161 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9864 [startup+3.10071 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24037 /proc/meminfo: memFree=31633060/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=15804 CPUtime=3.09 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 3618 0 0 0 305 4 0 0 25 0 1 0 163985958 16183296 3514 4089446400 134512640 135752675 4290012560 18446744073709551615 134611978 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 3951 3514 144 303 0 3646 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15804 [startup+6.30109 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24037 /proc/meminfo: memFree=31620992/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=27352 CPUtime=6.29 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 6516 0 0 0 621 8 0 0 25 0 1 0 163985958 28008448 6412 4089446400 134512640 135752675 4290012560 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 6838 6412 144 303 0 6533 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27352 [startup+12.701 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24037 /proc/meminfo: memFree=31600832/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=46636 CPUtime=12.69 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 11338 0 0 0 1254 15 0 0 25 0 1 0 163985958 47755264 11234 4089446400 134512640 135752675 4290012560 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 11659 11234 144 303 0 11354 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46636 [startup+25.5007 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24038 /proc/meminfo: memFree=31565624/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=80856 CPUtime=25.5 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 19888 0 0 0 2519 31 0 0 25 0 1 0 163985958 82796544 19784 4089446400 134512640 135752675 4290012560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 20214 19784 144 303 0 19909 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 80856 [startup+51.1002 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24039 /proc/meminfo: memFree=31499508/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=146408 CPUtime=51.09 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 36255 0 0 0 5055 54 0 0 25 0 1 0 163985958 149921792 36151 4089446400 134512640 135752675 4290012560 18446744073709551615 134639032 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 36602 36151 144 303 0 36297 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 146408 [startup+102.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24040 /proc/meminfo: memFree=31373860/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=267812 CPUtime=102.3 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 66587 0 0 0 10132 98 0 0 25 0 1 0 163985958 274239488 66483 4089446400 134512640 135752675 4290012560 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 66953 66483 144 303 0 66648 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 267812 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24041 /proc/meminfo: memFree=31236792/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=399944 CPUtime=162.3 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 99631 0 0 0 16080 150 0 0 25 0 1 0 163985958 409542656 99527 4089446400 134512640 135752675 4290012560 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 99986 99527 144 303 0 99681 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 399944 Solver just ended. Dumping a history of the last processes samples [startup+163.201 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24041 /proc/meminfo: memFree=31234436/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=402056 CPUtime=163.19 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 100131 0 0 0 16169 150 0 0 25 0 1 0 163985958 411705344 100027 4089446400 134512640 135752675 4290012560 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 100514 100028 144 303 0 100209 0 Current children cumulated CPU time (s) 163.19 Current children cumulated vsize (KiB) 402056 [startup+164.8 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24041 /proc/meminfo: memFree=31232080/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=405644 CPUtime=164.79 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 101050 0 0 0 16327 152 0 0 25 0 1 0 163985958 415379456 100946 4089446400 134512640 135752675 4290012560 18446744073709551615 134643742 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 101411 100946 144 303 0 101106 0 Current children cumulated CPU time (s) 164.79 Current children cumulated vsize (KiB) 405644 [startup+165.6 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24041 /proc/meminfo: memFree=31229724/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=406832 CPUtime=165.59 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 101354 0 0 0 16406 153 0 0 25 0 1 0 163985958 416595968 101250 4089446400 134512640 135752675 4290012560 18446744073709551615 134602979 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 101708 101250 144 303 0 101403 0 Current children cumulated CPU time (s) 165.59 Current children cumulated vsize (KiB) 406832 [startup+166.001 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24041 /proc/meminfo: memFree=31229724/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=407888 CPUtime=165.99 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 101605 0 0 0 16446 153 0 0 25 0 1 0 163985958 417677312 101501 4089446400 134512640 135752675 4290012560 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 101972 101501 144 303 0 101667 0 Current children cumulated CPU time (s) 165.99 Current children cumulated vsize (KiB) 407888 [startup+166.401 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24041 /proc/meminfo: memFree=31227616/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=408812 CPUtime=166.4 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202496 101839 0 0 0 16486 154 0 0 25 0 1 0 163985958 418623488 101735 4089446400 134512640 135752675 4290012560 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/24036/statm: 102203 101735 144 303 0 101898 0 Current children cumulated CPU time (s) 166.4 Current children cumulated vsize (KiB) 408812 [startup+166.501 s] /proc/loadavg: 1.99 1.98 1.99 3/179 24041 /proc/meminfo: memFree=31227616/32950940 swapFree=67111528/67111528 [pid=24036] ppid=24034 vsize=0 CPUtime=166.5 /proc/24036/stat : 24036 (wbo1.4b) R 24034 24036 22746 0 -1 4202500 101873 0 0 0 16495 155 0 0 25 0 1 0 163985958 0 0 4089446400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/24036/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 166.5 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 166.504 CPU time (s): 166.508 CPU user time (s): 164.951 CPU system time (s): 1.55676 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 408812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 164.951 system time used= 1.55676 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101873 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= 505 runsolver used 0.228965 second user time and 0.543917 second system time The end
Begin job on node117 at 2010-06-30 15:19:02 IDJOB=2690673 IDBENCH=78916 IDSOLVER=1201 FILE ID=node117/2690673-1277903942 PBS_JOBID= 11197155 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.1900571761--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-2690673-1277903942/watcher-2690673-1277903942 -o /tmp/evaluation-result-2690673-1277903942/solver-2690673-1277903942 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690673-1277903942.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e6a38cb3cbe3360d46534c568351a60a RANDOM SEED=49423290 node117.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.799 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.59 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.799 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.799 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.799 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.75 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.799 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.85 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.799 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.799 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.82 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.799 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: 32950940 kB MemFree: 31644012 kB Buffers: 187728 kB Cached: 853048 kB SwapCached: 0 kB Active: 583888 kB Inactive: 582344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31644012 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 125960 kB Mapped: 16984 kB Slab: 77560 kB PageTables: 5032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 272024 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= 74204 MiB End job on node117 at 2010-06-30 15:21:49