Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 173.72 | 173.736 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900553647--soft-33-100-0.wbo |
MD5SUM | 207bc6a3a4e34084510bb36853631f6d |
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 | 136.044 |
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 | 1830 |
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 | 92327 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 92326 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 715 |
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-2690671-1277903858.wbo. 0.00/0.00 c Instance file HOME/instance-2690671-1277903858.wbo 0.00/0.00 c File size is 92440 bytes. 0.00/0.00 c Highest Coefficient sum: 715 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 23 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 25 | 0.002 % | 0.00/0.02 c | 477 | 231 2707 8338 | 6655 477 27 | 0.002 % | 0.00/0.03 c | 814 | 231 2707 8338 | 7320 814 29 | 0.002 % | 0.00/0.05 c | 1321 | 231 2707 8338 | 8052 1321 31 | 0.002 % | 0.07/0.08 c | 2081 | 231 2707 8338 | 8857 2081 30 | 0.002 % | 0.09/0.11 c | 3223 | 231 2707 8338 | 9743 3223 31 | 0.002 % | 0.09/0.18 c | 4932 | 231 2707 8338 | 10717 4932 31 | 0.002 % | 0.19/0.28 c | 7494 | 231 2707 8338 | 11789 7494 30 | 0.002 % | 0.39/0.47 c | 11341 | 231 2707 8338 | 12968 11341 31 | 0.002 % | 0.68/0.79 c | 17108 | 231 2707 8338 | 14265 10552 32 | 0.002 % | 1.28/1.35 c | 25759 | 231 2707 8338 | 15692 12013 33 | 0.002 % | 2.18/2.24 c | 38734 | 231 2707 8338 | 17261 9167 37 | 0.002 % | 3.87/3.98 c | 58196 | 231 2707 8338 | 18987 11273 42 | 0.002 % | 6.48/6.55 c | 87390 | 231 2707 8338 | 20886 11815 40 | 0.002 % | 10.98/11.04 c | 131181 | 231 2707 8338 | 22974 13607 38 | 0.002 % | 17.48/17.58 c | 196865 | 231 2707 8338 | 25272 21575 39 | 0.002 % | 28.27/28.35 c | 295391 | 231 2707 8338 | 27799 14728 40 | 0.002 % | 45.78/45.87 c | 443182 | 231 2707 8338 | 30579 23936 42 | 0.002 % | 70.38/70.42 c | 664870 | 231 2707 8338 | 33637 26111 38 | 0.002 % | 110.38/110.42 c | 997396 | 231 2707 8338 | 37001 18625 41 | 0.002 % | 173.68/173.72 s UNSATISFIABLE 173.68/173.72 c Total CPU time: 170.445 s 173.68/173.72 c =============================================================================== 173.68/173.72 c 173.68/173.72 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-2690671-1277903858/watcher-2690671-1277903858 -o /tmp/evaluation-result-2690671-1277903858/solver-2690671-1277903858 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690671-1277903858.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.92 2.55 2.23 4/199 25252 /proc/meminfo: memFree=30415276/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=2660 CPUtime=0 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 302 0 0 0 0 0 0 0 23 0 1 0 165989271 2723840 221 4089446400 134512640 135752675 4291900416 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25252/statm: 665 221 146 303 0 337 0 [startup+0.0769879 s] /proc/loadavg: 2.92 2.55 2.23 4/199 25252 /proc/meminfo: memFree=30415276/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=3236 CPUtime=0.07 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 489 0 0 0 7 0 0 0 25 0 1 0 165989271 3313664 385 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25252/statm: 809 385 144 303 0 504 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3236 [startup+0.100975 s] /proc/loadavg: 2.92 2.55 2.23 4/199 25252 /proc/meminfo: memFree=30415276/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=3500 CPUtime=0.09 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 543 0 0 0 9 0 0 0 25 0 1 0 165989271 3584000 439 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25252/statm: 875 439 144 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.300924 s] /proc/loadavg: 2.92 2.55 2.23 4/199 25252 /proc/meminfo: memFree=30415276/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=4952 CPUtime=0.28 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 906 0 0 0 28 0 0 0 25 0 1 0 165989271 5070848 802 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25252/statm: 1238 802 144 303 0 933 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 4952 [startup+0.700849 s] /proc/loadavg: 2.92 2.55 2.23 4/199 25252 /proc/meminfo: memFree=30415276/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=7096 CPUtime=0.68 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 1446 0 0 0 67 1 0 0 25 0 1 0 165989271 7266304 1342 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25252/statm: 1774 1343 144 303 0 1469 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7096 [startup+1.50071 s] /proc/loadavg: 2.92 2.55 2.23 4/200 25253 /proc/meminfo: memFree=30409688/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=10792 CPUtime=1.48 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 2358 0 0 0 143 5 0 0 25 0 1 0 165989271 11051008 2254 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/25252/statm: 2698 2254 144 303 0 2393 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10792 [startup+3.10044 s] /proc/loadavg: 2.84 2.54 2.22 3/200 25253 /proc/meminfo: memFree=30405184/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=17132 CPUtime=3.07 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 3948 0 0 0 298 9 0 0 25 0 1 0 165989271 17543168 3844 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/25252/statm: 4283 3844 144 303 0 3978 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 17132 [startup+6.30086 s] /proc/loadavg: 2.84 2.54 2.22 4/200 25253 /proc/meminfo: memFree=30393156/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=28624 CPUtime=6.27 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 6816 0 0 0 610 17 0 0 25 0 1 0 165989271 29310976 6712 4089446400 134512640 135752675 4291900416 18446744073709551615 134611663 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 7156 6712 144 303 0 6851 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 28624 [startup+12.7007 s] /proc/loadavg: 2.78 2.53 2.22 4/200 25254 /proc/meminfo: memFree=30372220/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=49284 CPUtime=12.67 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 11971 0 0 0 1237 30 0 0 25 0 1 0 165989271 50466816 11867 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 12321 11867 144 303 0 12016 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 49284 [startup+25.5005 s] /proc/loadavg: 2.76 2.54 2.23 4/200 25254 /proc/meminfo: memFree=30330628/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=88792 CPUtime=25.47 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 21868 0 0 0 2491 56 0 0 25 0 1 0 165989271 90923008 21764 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 22198 21764 144 303 0 21893 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 88792 [startup+51.1009 s] /proc/loadavg: 3.18 2.65 2.28 4/200 25255 /proc/meminfo: memFree=30259980/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=158248 CPUtime=51.07 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 39195 0 0 0 5001 106 0 0 25 0 1 0 165989271 162045952 39091 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 39562 39091 144 303 0 39257 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 158248 [startup+102.307 s] /proc/loadavg: 2.95 2.68 2.30 3/200 25256 /proc/meminfo: memFree=30115972/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=296152 CPUtime=102.28 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 73654 0 0 0 10023 205 0 0 25 0 1 0 165989271 303259648 73550 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 74038 73550 144 303 0 73733 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 296152 [startup+162.301 s] /proc/loadavg: 2.93 2.71 2.33 4/200 25258 /proc/meminfo: memFree=29966236/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=444096 CPUtime=162.28 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 110649 0 0 0 15918 310 0 0 25 0 1 0 165989271 454754304 110545 4089446400 134512640 135752675 4291900416 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 111024 110545 144 303 0 110719 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 444096 Solver just ended. Dumping a history of the last processes samples [startup+166.3 s] /proc/loadavg: 2.93 2.72 2.34 3/200 25258 /proc/meminfo: memFree=29957304/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=452280 CPUtime=166.27 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 112696 0 0 0 16313 314 0 0 25 0 1 0 165989271 463134720 112592 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 113070 112592 144 303 0 112765 0 Current children cumulated CPU time (s) 166.27 Current children cumulated vsize (KiB) 452280 [startup+169.501 s] /proc/loadavg: 2.86 2.71 2.34 3/200 25258 /proc/meminfo: memFree=29950236/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=459276 CPUtime=169.48 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 114422 0 0 0 16629 319 0 0 25 0 1 0 165989271 470298624 114318 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 114819 114318 144 303 0 114514 0 Current children cumulated CPU time (s) 169.48 Current children cumulated vsize (KiB) 459276 [startup+171.101 s] /proc/loadavg: 2.86 2.71 2.34 4/200 25258 /proc/meminfo: memFree=29948004/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=462312 CPUtime=171.07 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 115191 0 0 0 16787 320 0 0 25 0 1 0 165989271 473407488 115087 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 115578 115088 144 303 0 115273 0 Current children cumulated CPU time (s) 171.07 Current children cumulated vsize (KiB) 462312 [startup+172.706 s] /proc/loadavg: 2.87 2.71 2.34 4/200 25258 /proc/meminfo: memFree=29943044/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=466140 CPUtime=172.68 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 116148 0 0 0 16945 323 0 0 25 0 1 0 165989271 477327360 116044 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 116535 116044 144 303 0 116230 0 Current children cumulated CPU time (s) 172.68 Current children cumulated vsize (KiB) 466140 [startup+173.501 s] /proc/loadavg: 2.87 2.71 2.34 4/200 25258 /proc/meminfo: memFree=29943044/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=467992 CPUtime=173.48 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 116604 0 0 0 17023 325 0 0 25 0 1 0 165989271 479223808 116500 4089446400 134512640 135752675 4291900416 18446744073709551615 134612074 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 116998 116500 144 303 0 116693 0 Current children cumulated CPU time (s) 173.48 Current children cumulated vsize (KiB) 467992 [startup+173.701 s] /proc/loadavg: 2.87 2.71 2.34 4/200 25258 /proc/meminfo: memFree=29940808/32950928 swapFree=67111528/67111528 [pid=25252] ppid=25250 vsize=468388 CPUtime=173.68 /proc/25252/stat : 25252 (wbo1.4b) R 25250 25252 24554 0 -1 4202496 116704 0 0 0 17043 325 0 0 25 0 1 0 165989271 479629312 116600 4089446400 134512640 135752675 4291900416 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/25252/statm: 117097 116600 144 303 0 116792 0 Current children cumulated CPU time (s) 173.68 Current children cumulated vsize (KiB) 468388 Child status: 0 Real time (s): 173.736 CPU time (s): 173.72 CPU user time (s): 170.446 CPU system time (s): 3.2735 CPU usage (%): 99.9903 Max. virtual memory (cumulated for all children) (KiB): 468388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 170.446 system time used= 3.2735 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 116713 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= 2 involuntary context switches= 133 runsolver used 0.315951 second user time and 0.639902 second system time The end
Begin job on node112 at 2010-06-30 15:17:38 IDJOB=2690671 IDBENCH=78915 IDSOLVER=1201 FILE ID=node112/2690671-1277903858 PBS_JOBID= 11197214 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.1900553647--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-2690671-1277903858/watcher-2690671-1277903858 -o /tmp/evaluation-result-2690671-1277903858/solver-2690671-1277903858 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690671-1277903858.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 207bc6a3a4e34084510bb36853631f6d RANDOM SEED=1038078178 node112.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.827 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.65 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.827 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.827 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.827 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.73 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.827 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.82 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.827 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.827 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.827 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: 32950928 kB MemFree: 30415556 kB Buffers: 184484 kB Cached: 1890668 kB SwapCached: 0 kB Active: 839400 kB Inactive: 1549636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30415556 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 314224 kB Mapped: 20308 kB Slab: 80336 kB PageTables: 5732 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1653948 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 node112 at 2010-06-30 15:20:31