Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 102.584 | 102.581 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo |
MD5SUM | 4e22340b84333f0476155fff0e8b142d |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 4 |
Best CPU time to get the best result obtained on this benchmark | 0.290954 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 101 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 4944 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 4943 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1228 |
Number of bits of the biggest sum of numbers | 11 |
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 PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 0/71 clauses 0/30 units 0 0.00/0.00 c vars 169 0.00/0.04 c 0.037994 7.61719 111 998 0.00/0.04 o 689 0.00/0.04 c 0.038994 7.75 111 1131 0.00/0.04 o 565 0.00/0.04 c 0.040993 7.75 113 1180 0.00/0.04 o 552 0.00/0.04 c 0.041993 7.75 117 1241 0.00/0.04 o 524 0.00/0.05 c 0.043993 7.75 147 1346 0.00/0.05 o 482 0.00/0.06 c 0.052991 7.75 263 1583 0.00/0.06 o 473 0.00/0.07 c 0.06199 7.75 343 1747 0.00/0.07 o 466 0.00/0.08 c 0.070989 7.75 431 1941 0.00/0.08 o 459 0.09/0.12 c 0.106983 7.87891 494 2675 0.09/0.12 o 451 0.09/0.12 c 0.106983 7.87891 506 2705 0.09/0.12 o 447 0.09/0.13 c 0.115982 7.87891 581 2855 0.09/0.13 o 444 0.09/0.14 c 0.118981 7.87891 610 2918 0.09/0.14 o 443 0.09/0.14 c 0.12698 7.87891 675 3025 0.09/0.14 o 429 0.09/0.15 c 0.12898 7.87891 367 3130 0.09/0.15 o 412 0.29/0.32 c 0.273958 8.00391 755 5906 0.29/0.32 o 373 0.29/0.32 c 0.275958 8.00391 383 5965 0.29/0.32 o 362 0.79/0.81 c 0.682896 8.00391 731 13088 0.79/0.81 o 335 1.09/1.17 c 0.98385 8.13281 702 18523 1.09/1.17 o 333 1.19/1.27 c 1.07684 8.13281 1020 19874 1.19/1.27 o 329 1.59/1.68 c 1.41578 8.13281 951 24750 1.59/1.68 o 326 3.89/3.90 c 3.33749 8.13281 610 55841 3.89/3.90 o 324 3.99/4.03 c 3.44948 8.13281 1228 57929 3.99/4.03 o 317 3.99/4.05 c 3.46547 8.13281 397 58295 3.99/4.05 o 302 4.79/4.84 c 4.12637 8.13281 482 68039 4.79/4.84 o 296 4.90/4.90 c 4.17237 8.13281 907 68873 4.90/4.90 o 285 5.40/5.49 c 4.68529 8.13281 537 76908 5.40/5.49 o 259 5.69/5.71 c 4.87126 8.13281 655 79801 5.69/5.71 o 255 5.69/5.75 c 4.89926 8.13281 545 80266 5.69/5.75 o 247 5.99/6.03 c 5.13322 8.13281 584 83975 5.99/6.03 o 241 5.99/6.03 c 5.13422 8.13281 586 84010 5.99/6.03 o 237 5.99/6.04 c 5.14322 8.13281 652 84174 5.99/6.04 o 209 5.99/6.05 c 5.15822 8.13281 423 84403 5.99/6.05 o 188 6.79/6.85 c 5.82511 8.13281 492 93279 6.79/6.85 o 181 6.79/6.87 c 5.84211 8.13281 641 93633 6.79/6.87 o 164 7.09/7.17 c 6.09907 8.13281 422 97118 7.09/7.17 o 163 7.09/7.17 c 6.10007 8.13281 434 97160 7.09/7.17 o 160 7.70/7.74 c 6.575 8.13281 449 104527 7.70/7.74 o 158 7.79/7.80 c 6.62699 8.13281 436 105450 7.79/7.80 o 145 7.79/7.82 c 6.63699 8.13281 512 105738 7.79/7.82 o 123 7.79/7.87 c 6.68198 8.13281 457 106528 7.79/7.87 o 120 7.79/7.88 c 6.69198 8.13281 550 106819 7.79/7.88 o 95 7.89/7.98 c 6.77697 8.13281 814 108094 7.89/7.98 o 90 8.59/8.68 c 7.40187 8.13281 775 116284 8.59/8.68 o 86 8.69/8.80 c 7.49486 8.13281 595 117719 8.69/8.80 o 62 9.40/9.45 c 8.06677 8.25781 757 125544 9.40/9.45 o 61 9.40/9.48 c 8.09177 8.25781 599 125978 9.40/9.48 o 40 12.29/12.36 c 10.6334 8.37891 1005 162616 12.29/12.36 o 32 12.79/12.85 c 11.0653 8.37891 506 168593 12.79/12.85 o 20 12.89/12.91 c 11.1183 8.37891 519 169422 12.89/12.91 o 16 13.10/13.19 c 11.3813 8.37891 961 172983 13.10/13.19 o 14 18.09/18.12 c 15.7936 8.37891 748 237455 18.09/18.12 o 6 21.30/21.32 c 18.7062 8.50391 876 280091 21.30/21.32 o 5 97.50/97.59 c 87.9866 8.59766 1426 1295942 97.50/97.59 o 4 102.50/102.57 c 92.5489 8.59766 768 1362410 102.50/102.57 s OPTIMUM FOUND 102.50/102.57 v -x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 -x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699446-1278464407/watcher-2699446-1278464407 -o /tmp/evaluation-result-2699446-1278464407/solver-2699446-1278464407 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699446-1278464407.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 2.00 1.93 3/178 13611 /proc/meminfo: memFree=28595928/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=3836 CPUtime=0 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 673 0 0 0 0 0 0 0 25 0 1 0 14655435 3928064 593 4089446400 134512640 136422188 4288846352 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/13611/statm: 959 594 193 467 0 490 0 [startup+0.082981 s] /proc/loadavg: 1.99 2.00 1.93 3/178 13611 /proc/meminfo: memFree=28595928/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=7932 CPUtime=0.08 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1710 0 0 0 7 1 0 0 25 0 1 0 14655435 8122368 1622 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 1983 1622 236 467 0 1514 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 7932 [startup+0.100876 s] /proc/loadavg: 1.99 2.00 1.93 3/178 13611 /proc/meminfo: memFree=28595928/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8064 CPUtime=0.09 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1721 0 0 0 8 1 0 0 25 0 1 0 14655435 8257536 1633 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2016 1633 236 467 0 1547 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8064 [startup+0.300838 s] /proc/loadavg: 1.99 2.00 1.93 3/178 13611 /proc/meminfo: memFree=28595928/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8064 CPUtime=0.29 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1753 0 0 0 25 4 0 0 25 0 1 0 14655435 8257536 1659 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2016 1659 236 467 0 1547 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8064 [startup+0.700762 s] /proc/loadavg: 1.99 2.00 1.93 3/178 13611 /proc/meminfo: memFree=28595928/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8192 CPUtime=0.69 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1770 0 0 0 58 11 0 0 25 0 1 0 14655435 8388608 1674 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2048 1674 236 467 0 1579 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8192 [startup+1.50061 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13612 /proc/meminfo: memFree=28590236/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8324 CPUtime=1.49 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1792 0 0 0 126 23 0 0 25 0 1 0 14655435 8523776 1693 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2081 1693 236 467 0 1612 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8324 [startup+3.10031 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13612 /proc/meminfo: memFree=28590236/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8324 CPUtime=3.09 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1794 0 0 0 264 45 0 0 25 0 1 0 14655435 8523776 1694 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2081 1694 236 467 0 1612 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8324 [startup+6.3007 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13612 /proc/meminfo: memFree=28590360/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8324 CPUtime=6.29 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1822 0 0 0 536 93 0 0 25 0 1 0 14655435 8523776 1710 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2081 1710 237 467 0 1612 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8324 [startup+12.7005 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13612 /proc/meminfo: memFree=28590096/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8576 CPUtime=12.69 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1914 0 0 0 1093 176 0 0 25 0 1 0 14655435 8781824 1787 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2144 1787 237 467 0 1675 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8576 [startup+25.5011 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13612 /proc/meminfo: memFree=28584700/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8704 CPUtime=25.49 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1928 0 0 0 2249 300 0 0 25 0 1 0 14655435 8912896 1796 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2176 1796 237 467 0 1707 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8704 [startup+51.1002 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13613 /proc/meminfo: memFree=28580152/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8704 CPUtime=51.09 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1941 0 0 0 4580 529 0 0 25 0 1 0 14655435 8912896 1809 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2176 1809 237 467 0 1707 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8704 [startup+102.307 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13623 /proc/meminfo: memFree=28580072/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8800 CPUtime=102.3 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1967 0 0 0 9230 1000 0 0 25 0 1 0 14655435 9011200 1834 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2200 1834 237 467 0 1731 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 8800 Solver just ended. Dumping a history of the last processes samples [startup+102.501 s] /proc/loadavg: 1.99 2.00 1.93 3/179 13623 /proc/meminfo: memFree=28580072/32950928 swapFree=67111528/67111528 [pid=13611] ppid=13609 vsize=8800 CPUtime=102.5 /proc/13611/stat : 13611 (pbct) R 13609 13611 12651 0 -1 4202496 1967 0 0 0 9248 1002 0 0 25 0 1 0 14655435 9011200 1834 4089446400 134512640 136422188 4288846352 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 2 0 0 0 /proc/13611/statm: 2200 1834 237 467 0 1731 0 Current children cumulated CPU time (s) 102.5 Current children cumulated vsize (KiB) 8800 Child status: 0 Real time (s): 102.581 CPU time (s): 102.584 CPU user time (s): 92.5539 CPU system time (s): 10.0305 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 8832 getrusage(RUSAGE_CHILDREN,...) data: user time used= 92.5539 system time used= 10.0305 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1972 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= 4 involuntary context switches= 160 runsolver used 0.171973 second user time and 0.300954 second system time The end
Begin job on node114 at 2010-07-07 03:00:07 IDJOB=2699446 IDBENCH=79239 IDSOLVER=1212 FILE ID=node114/2699446-1278464407 PBS_JOBID= 11233764 Free space on /tmp= 73376 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110971363--soft-0-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699446-1278464407/watcher-2699446-1278464407 -o /tmp/evaluation-result-2699446-1278464407/solver-2699446-1278464407 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699446-1278464407.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4e22340b84333f0476155fff0e8b142d RANDOM SEED=1466771045 node114.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.824 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.64 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.824 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.824 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.83 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.824 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.81 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.824 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.824 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.824 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.824 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28596332 kB Buffers: 111788 kB Cached: 3438168 kB SwapCached: 0 kB Active: 1637980 kB Inactive: 2563796 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28596332 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1948 kB Writeback: 0 kB AnonPages: 652364 kB Mapped: 15624 kB Slab: 87176 kB PageTables: 6396 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 814292 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= 73376 MiB End job on node114 at 2010-07-07 03:01:49