Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 51.7691 | 51.7676 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo |
MD5SUM | 92e9d82ea45c04735bed18ced94c3392 |
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 | 0.276957 |
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 | 64 |
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 | 2925 |
Min constraint cost | 1 |
Max constraint cost | 96 |
Sum of constraints costs | 2924 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1248 |
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 25/46 clauses 12/18 units 0 0.00/0.00 c vars 169 0.00/0.04 c 0.041993 7.46094 182 843 0.00/0.04 o 781 0.05/0.06 c 0.057991 7.60156 339 1150 0.05/0.06 o 761 0.05/0.06 c 0.058991 7.60156 340 1231 0.05/0.06 o 621 0.05/0.06 c 0.05999 7.60156 341 1282 0.05/0.06 o 572 0.09/0.12 c 0.101984 7.60156 711 2092 0.09/0.12 o 461 0.09/0.16 c 0.131979 7.60156 617 2616 0.09/0.16 o 450 0.09/0.16 c 0.135979 7.60156 642 2732 0.09/0.16 o 407 0.29/0.34 c 0.252961 7.73047 584 4614 0.29/0.34 o 404 0.29/0.35 c 0.25796 7.73047 650 4797 0.29/0.35 o 376 0.29/0.35 c 0.25896 7.73047 331 4852 0.29/0.35 o 369 0.29/0.35 c 0.25996 7.73047 335 4883 0.29/0.35 o 366 0.29/0.35 c 0.26296 7.73047 350 4998 0.29/0.35 o 273 0.29/0.38 c 0.279957 7.73047 563 5433 0.29/0.38 o 231 0.29/0.38 c 0.279957 7.73047 569 5481 0.29/0.38 o 218 0.79/0.81 c 0.601908 7.85547 726 10902 0.79/0.81 o 213 0.79/0.84 c 0.626904 7.85547 699 11535 0.79/0.84 o 170 0.89/0.93 c 0.692894 7.85547 709 12836 0.89/0.93 o 149 0.89/0.93 c 0.695894 7.85547 379 12930 0.89/0.93 o 117 1.99/2.02 c 1.52377 7.98047 930 27476 1.99/2.02 o 50 2.59/2.65 c 2.00169 7.98047 452 36269 2.59/2.65 o 30 2.59/2.68 c 2.02269 7.98047 697 36685 2.59/2.68 o 27 2.59/2.68 c 2.02669 7.98047 724 36734 2.59/2.68 o 25 4.30/4.37 c 3.35849 7.98047 600 58389 4.30/4.37 o 12 4.30/4.37 c 3.35849 7.98047 153 58407 4.30/4.37 o 9 4.30/4.37 c 3.35949 7.98047 161 58434 4.30/4.37 o 6 14.69/14.76 c 11.8912 8.10547 1006 195099 14.69/14.76 o 2 51.69/51.76 c 42.3196 8.29297 627 674796 51.69/51.76 s OPTIMUM FOUND 51.69/51.76 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 2
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2699237-1278459529/watcher-2699237-1278459529 -o /tmp/evaluation-result-2699237-1278459529/solver-2699237-1278459529 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699237-1278459529.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.97 1.75 3/178 12444 /proc/meminfo: memFree=29927424/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=3708 CPUtime=0 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 642 0 0 0 0 0 0 0 21 0 1 0 14165684 3796992 562 4089446400 134512640 136422188 4286692096 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 927 563 193 467 0 458 0 [startup+0.063217 s] /proc/loadavg: 1.99 1.97 1.75 3/178 12444 /proc/meminfo: memFree=29927424/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=7780 CPUtime=0.05 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1646 0 0 0 5 0 0 0 22 0 1 0 14165684 7966720 1565 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 1945 1565 236 467 0 1476 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7780 [startup+0.100202 s] /proc/loadavg: 1.99 1.97 1.75 3/178 12444 /proc/meminfo: memFree=29927424/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=7780 CPUtime=0.09 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1650 0 0 0 8 1 0 0 22 0 1 0 14165684 7966720 1566 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 1945 1566 236 467 0 1476 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7780 [startup+0.300176 s] /proc/loadavg: 1.99 1.97 1.75 3/178 12444 /proc/meminfo: memFree=29927424/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=7912 CPUtime=0.29 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1670 0 0 0 22 7 0 0 22 0 1 0 14165684 8101888 1583 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 1978 1583 236 467 0 1509 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7912 [startup+0.701091 s] /proc/loadavg: 1.99 1.97 1.75 3/178 12444 /proc/meminfo: memFree=29927424/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=8040 CPUtime=0.69 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1717 0 0 0 51 18 0 0 24 0 1 0 14165684 8232960 1623 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 2010 1623 236 467 0 1541 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8040 [startup+1.50095 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12445 /proc/meminfo: memFree=29922140/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=8040 CPUtime=1.49 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1732 0 0 0 112 37 0 0 25 0 1 0 14165684 8232960 1634 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 2010 1634 236 467 0 1541 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8040 [startup+3.10067 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12445 /proc/meminfo: memFree=29921768/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=8168 CPUtime=3.09 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1770 0 0 0 235 74 0 0 25 0 1 0 14165684 8364032 1668 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 2042 1668 236 467 0 1573 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8168 [startup+6.30011 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12445 /proc/meminfo: memFree=29916824/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=8168 CPUtime=6.29 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1786 0 0 0 494 135 0 0 25 0 1 0 14165684 8364032 1681 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 2042 1681 236 467 0 1573 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8168 [startup+12.701 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12445 /proc/meminfo: memFree=29916928/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=8296 CPUtime=12.69 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1805 0 0 0 1018 251 0 0 25 0 1 0 14165684 8495104 1700 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 2074 1700 236 467 0 1605 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8296 [startup+25.5007 s] /proc/loadavg: 1.99 1.97 1.75 3/179 12445 /proc/meminfo: memFree=29910040/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=8400 CPUtime=25.49 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1827 0 0 0 2069 480 0 0 25 0 1 0 14165684 8601600 1721 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 2100 1721 236 467 0 1631 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 8400 [startup+51.1002 s] /proc/loadavg: 1.99 1.97 1.76 3/179 12446 /proc/meminfo: memFree=29909348/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=8488 CPUtime=51.09 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1852 0 0 0 4175 934 0 0 25 0 1 0 14165684 8691712 1746 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 2122 1746 236 467 0 1653 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 8488 Solver just ended. Dumping a history of the last processes samples [startup+51.5001 s] /proc/loadavg: 1.99 1.97 1.76 3/179 12446 /proc/meminfo: memFree=29909348/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=8488 CPUtime=51.49 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1852 0 0 0 4209 940 0 0 25 0 1 0 14165684 8691712 1746 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 2122 1746 236 467 0 1653 0 Current children cumulated CPU time (s) 51.49 Current children cumulated vsize (KiB) 8488 [startup+51.7061 s] /proc/loadavg: 1.99 1.97 1.76 3/179 12446 /proc/meminfo: memFree=29909348/32951124 swapFree=67111528/67111528 [pid=12444] ppid=12442 vsize=8488 CPUtime=51.69 /proc/12444/stat : 12444 (pbct) R 12442 12444 12183 0 -1 4202496 1852 0 0 0 4226 943 0 0 25 0 1 0 14165684 8691712 1746 4089446400 134512640 136422188 4286692096 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/12444/statm: 2122 1746 236 467 0 1653 0 Current children cumulated CPU time (s) 51.69 Current children cumulated vsize (KiB) 8488 Child status: 0 Real time (s): 51.7676 CPU time (s): 51.7691 CPU user time (s): 42.3246 CPU system time (s): 9.44456 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 8528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 42.3246 system time used= 9.44456 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1857 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= 67 runsolver used 0.078987 second user time and 0.162975 second system time The end
Begin job on node140 at 2010-07-07 01:38:49 IDJOB=2699237 IDBENCH=78847 IDSOLVER=1212 FILE ID=node140/2699237-1278459529 PBS_JOBID= 11233713 Free space on /tmp= 73856 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220546--soft-33-100-0.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699237-1278459529/watcher-2699237-1278459529 -o /tmp/evaluation-result-2699237-1278459529/solver-2699237-1278459529 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2699237-1278459529.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 92e9d82ea45c04735bed18ced94c3392 RANDOM SEED=1297783455 node140.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.817 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.63 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.817 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 : 5261.06 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.817 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.817 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.817 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.80 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.817 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.74 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.817 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.817 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: 32951124 kB MemFree: 29928316 kB Buffers: 99436 kB Cached: 2606108 kB SwapCached: 0 kB Active: 940476 kB Inactive: 1946716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29928316 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1956 kB Writeback: 0 kB AnonPages: 181480 kB Mapped: 15616 kB Slab: 71824 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 321588 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= 73852 MiB End job on node140 at 2010-07-07 01:39:41