Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | Wrong UNSAT | 137.37 | 137.367 |
Name | /PARTIAL-BIGINT-LIN/wcsp/pedigree/ normalized-pedck350_wcsp.wbo |
MD5SUM | e2757f2920d6e140e406742169823c41 |
Bench Category | PARTIAL-BIGINT-LIN (both soft and hard constraints, big 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 | 39.545 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 3500 |
Total number of constraints | 175982 |
Number of soft constraints | 175632 |
Number of constraints which are clauses | 175632 |
Number of constraints which are cardinality constraints (but not clauses) | 350 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 10 |
Top cost | 349 |
Min constraint cost | 1 |
Max constraint cost | 349 |
Sum of constraints costs | 60205632 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 11 |
Number of bits of the biggest sum of numbers | 4 |
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.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 137.19/137.25 c constraints 350/0 clauses 0/36 units 3132 137.19/137.25 c vars 3500 137.19/137.25 c Setting top cost 349 137.29/137.33 c 137.336 27.4219 1 52 137.29/137.36 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-2701675-1278541134/watcher-2701675-1278541134 -o /tmp/evaluation-result-2701675-1278541134/solver-2701675-1278541134 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701675-1278541134.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.07 2.02 1.95 4/178 19875 /proc/meminfo: memFree=28419084/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=2400 CPUtime=0 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 324 0 0 0 0 0 0 0 24 0 1 0 22326922 2457600 244 4089446400 134512640 136421960 4287831888 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 600 244 140 467 0 131 0 [startup+0.0413081 s] /proc/loadavg: 2.07 2.02 1.95 4/178 19875 /proc/meminfo: memFree=28419084/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=2844 CPUtime=0.04 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 426 0 0 0 4 0 0 0 24 0 1 0 22326922 2912256 346 4089446400 134512640 136421960 4287831888 18446744073709551615 135809586 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 711 346 144 467 0 242 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2844 [startup+0.100303 s] /proc/loadavg: 2.07 2.02 1.95 4/178 19875 /proc/meminfo: memFree=28419084/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=3368 CPUtime=0.1 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 594 0 0 0 10 0 0 0 24 0 1 0 22326922 3448832 481 4089446400 134512640 136421960 4287831888 18446744073709551615 135818295 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 842 481 144 467 0 373 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3368 [startup+0.300267 s] /proc/loadavg: 2.07 2.02 1.95 4/178 19875 /proc/meminfo: memFree=28419084/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=5720 CPUtime=0.3 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 1270 0 0 0 30 0 0 0 25 0 1 0 22326922 5857280 963 4089446400 134512640 136421960 4287831888 18446744073709551615 135806150 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 1430 963 144 467 0 961 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 5720 [startup+0.700193 s] /proc/loadavg: 2.07 2.02 1.95 4/178 19875 /proc/meminfo: memFree=28419084/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=9384 CPUtime=0.69 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 2430 0 0 0 69 0 0 0 25 0 1 0 22326922 9609216 1866 4089446400 134512640 136421960 4287831888 18446744073709551615 135652500 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 2346 1866 144 467 0 1877 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9384 [startup+1.50105 s] /proc/loadavg: 2.07 2.02 1.95 3/179 19876 /proc/meminfo: memFree=28407296/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=1.49 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 149 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14864 [startup+3.10077 s] /proc/loadavg: 2.06 2.02 1.95 3/179 19876 /proc/meminfo: memFree=28407184/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=3.09 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 309 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161817 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14864 [startup+6.30021 s] /proc/loadavg: 2.06 2.02 1.95 3/179 19876 /proc/meminfo: memFree=28406192/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=6.29 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 629 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14864 [startup+12.7001 s] /proc/loadavg: 2.05 2.01 1.95 3/179 19876 /proc/meminfo: memFree=28405300/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=12.69 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 1269 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161868 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14864 [startup+25.5008 s] /proc/loadavg: 2.04 2.01 1.95 3/179 19876 /proc/meminfo: memFree=28403232/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=25.49 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 2549 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161865 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14864 [startup+51.1003 s] /proc/loadavg: 2.03 2.01 1.95 3/179 19877 /proc/meminfo: memFree=28398736/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=51.09 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 5109 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 134545312 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 14864 [startup+102.306 s] /proc/loadavg: 2.01 2.01 1.95 3/179 19878 /proc/meminfo: memFree=28394212/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=102.3 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 10230 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161813 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 14864 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.01 2.00 1.95 3/179 19878 /proc/meminfo: memFree=28394208/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=115.09 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 11509 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161806 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 14864 [startup+127.901 s] /proc/loadavg: 2.00 2.00 1.95 3/179 19879 /proc/meminfo: memFree=28394076/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=127.89 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 12789 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 134545312 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 14864 [startup+134.301 s] /proc/loadavg: 2.00 2.00 1.95 3/179 19879 /proc/meminfo: memFree=28394196/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=134.29 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 13429 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161817 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 134.29 Current children cumulated vsize (KiB) 14864 [startup+135.9 s] /proc/loadavg: 2.00 2.00 1.95 3/179 19879 /proc/meminfo: memFree=28394196/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=135.89 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 13589 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 135.89 Current children cumulated vsize (KiB) 14864 [startup+136.7 s] /proc/loadavg: 2.00 2.00 1.95 3/179 19879 /proc/meminfo: memFree=28394196/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=136.69 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 13669 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161828 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 136.69 Current children cumulated vsize (KiB) 14864 [startup+137.1 s] /proc/loadavg: 2.00 2.00 1.95 3/179 19879 /proc/meminfo: memFree=28394196/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=14864 CPUtime=137.09 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 4086 0 0 0 13709 0 0 0 25 0 1 0 22326922 15220736 3009 4089446400 134512640 136421960 4287831888 18446744073709551615 135161837 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/19875/statm: 3716 3009 145 467 0 3247 0 Current children cumulated CPU time (s) 137.09 Current children cumulated vsize (KiB) 14864 [startup+137.3 s] /proc/loadavg: 2.00 2.00 1.95 3/179 19879 /proc/meminfo: memFree=28394196/32950928 swapFree=67111528/67111528 [pid=19875] ppid=19873 vsize=18336 CPUtime=137.29 /proc/19875/stat : 19875 (pbct) R 19873 19875 17922 0 -1 4202496 5434 0 0 0 13729 0 0 0 25 0 1 0 22326922 18776064 3877 4089446400 134512640 136421960 4287831888 18446744073709551615 135809580 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/19875/statm: 4584 3878 194 467 0 4115 0 Current children cumulated CPU time (s) 137.29 Current children cumulated vsize (KiB) 18336 Child status: 0 Real time (s): 137.367 CPU time (s): 137.37 CPU user time (s): 137.362 CPU system time (s): 0.007998 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 18336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 137.362 system time used= 0.007998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7803 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= 1770 runsolver used 0.205968 second user time and 0.45393 second system time The end
Begin job on node120 at 2010-07-08 00:18:54 IDJOB=2701675 IDBENCH=79618 IDSOLVER=1208 FILE ID=node120/2701675-1278541134 PBS_JOBID= 11239238 Free space on /tmp= 73448 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/pedigree/normalized-pedck350_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701675-1278541134/watcher-2701675-1278541134 -o /tmp/evaluation-result-2701675-1278541134/solver-2701675-1278541134 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701675-1278541134.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e2757f2920d6e140e406742169823c41 RANDOM SEED=1643432163 node120.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.813 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.62 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.813 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.813 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.75 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.813 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.813 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.78 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.813 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 : 5363.42 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.813 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.76 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.813 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 28419604 kB Buffers: 144508 kB Cached: 2729480 kB SwapCached: 0 kB Active: 3025524 kB Inactive: 1354692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28419604 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 10444 kB Writeback: 0 kB AnonPages: 1506196 kB Mapped: 15716 kB Slab: 86212 kB PageTables: 7604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1721772 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= 73448 MiB End job on node120 at 2010-07-08 00:21:12