Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | UNSAT | 56.1255 | 56.1283 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/academics/ normalized-langford-3-11_wcsp.wbo |
MD5SUM | 69dbc7406636817ba2a44752a9d60525 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best cost obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 63.9493 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 1089 |
Total number of constraints | 40843 |
Number of soft constraints | 40810 |
Number of constraints which are clauses | 40810 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 33 |
Top cost | 1 |
Min constraint cost | 1 |
Max constraint cost | 1 |
Sum of constraints costs | 40810 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 34 |
Number of bits of the biggest sum of numbers | 6 |
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-2699621-1278533798.wbo. 0.00/0.00 c Instance file HOME/instance-2699621-1278533798.wbo 0.00/0.00 c File size is 1150701 bytes. 0.05/0.07 c Highest Coefficient sum: 34 0.05/0.07 c ============================[ Problem Statistics ]============================= 0.05/0.07 c | | 0.05/0.07 c | Parsing time: 0.07 s | 0.05/0.07 c | Number Variables: 1089 | 0.05/0.07 c | Number Clauses: 40843 | 0.05/0.07 c | Number Cardinality: 33 | 0.05/0.07 c | Number PB Constraints: 0 | 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 209 41756 83766 | 13625 0 nan | 0.000 % | 1.29/1.33 c | 101 | 209 41756 83766 | 14987 101 122 | 80.808 % | 1.29/1.34 c | 251 | 209 41756 83766 | 16486 251 157 | 80.808 % | 1.29/1.36 c | 477 | 209 41756 83766 | 18135 477 202 | 80.808 % | 1.39/1.40 c | 814 | 209 41756 83766 | 19948 814 234 | 80.808 % | 1.39/1.47 c | 1322 | 209 41756 83766 | 21943 1322 254 | 80.808 % | 1.59/1.60 c | 2081 | 209 41756 83766 | 24138 2081 272 | 80.808 % | 1.89/1.93 c | 3221 | 209 41756 83766 | 26551 3221 299 | 80.808 % | 2.58/2.60 c | 4930 | 209 41756 83766 | 29207 4930 320 | 80.808 % | 3.88/3.93 c | 7492 | 209 41756 83766 | 32127 7492 332 | 80.808 % | 6.29/6.39 c | 11338 | 209 41756 83766 | 35340 11338 336 | 80.808 % | 11.39/11.44 c | 17107 | 209 41756 83766 | 38874 17107 357 | 80.808 % | 24.28/24.32 c | 25757 | 209 41756 83766 | 42762 25757 373 | 80.808 % | 56.09/56.12 s UNSATISFIABLE 56.09/56.12 c Total CPU time: 56.0415 s 56.09/56.12 c =============================================================================== 56.09/56.12 c 56.09/56.12 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-2699621-1278533798/watcher-2699621-1278533798 -o /tmp/evaluation-result-2699621-1278533798/solver-2699621-1278533798 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2699621-1278533798.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: 0.15 0.03 0.01 3/179 20298 /proc/meminfo: memFree=29260332/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=3980 CPUtime=0 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 354 0 0 0 0 0 0 0 21 0 1 0 21593916 4075520 272 4089446400 134512640 135752675 4292435744 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/20298/statm: 995 272 149 303 0 409 0 [startup+0.0555699 s] /proc/loadavg: 0.15 0.03 0.01 3/179 20298 /proc/meminfo: memFree=29260332/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=5784 CPUtime=0.05 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 1014 0 0 0 5 0 0 0 21 0 1 0 21593916 5922816 932 4089446400 134512640 135752675 4292435744 18446744073709551615 134559922 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 1446 932 349 303 0 860 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 5784 [startup+0.100563 s] /proc/loadavg: 0.15 0.03 0.01 3/179 20298 /proc/meminfo: memFree=29260332/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=8344 CPUtime=0.09 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 2011 0 0 0 9 0 0 0 21 0 1 0 21593916 8544256 1615 4089446400 134512640 135752675 4292435744 18446744073709551615 135010156 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 2086 1615 141 303 0 1781 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8344 [startup+0.300525 s] /proc/loadavg: 0.15 0.03 0.01 3/179 20298 /proc/meminfo: memFree=29260332/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=8476 CPUtime=0.29 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 2062 0 0 0 29 0 0 0 22 0 1 0 21593916 8679424 1666 4089446400 134512640 135752675 4292435744 18446744073709551615 134580243 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 2119 1666 141 303 0 1814 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8476 [startup+0.700474 s] /proc/loadavg: 0.15 0.03 0.01 3/179 20298 /proc/meminfo: memFree=29260332/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=8952 CPUtime=0.69 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 2161 0 0 0 69 0 0 0 24 0 1 0 21593916 9166848 1765 4089446400 134512640 135752675 4292435744 18446744073709551615 134528674 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 2238 1765 141 303 0 1933 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8952 [startup+1.50034 s] /proc/loadavg: 0.15 0.03 0.01 9/187 20306 /proc/meminfo: memFree=29231004/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=9348 CPUtime=1.49 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 2253 0 0 0 149 0 0 0 25 0 1 0 21593916 9572352 1857 4089446400 134512640 135752675 4292435744 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 2337 1857 144 303 0 2032 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9348 [startup+3.10102 s] /proc/loadavg: 0.54 0.11 0.04 2/174 20330 /proc/meminfo: memFree=29290976/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=15024 CPUtime=3.08 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 3682 0 0 0 308 0 0 0 25 0 1 0 21593916 15384576 3286 4089446400 134512640 135752675 4292435744 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 3756 3286 144 303 0 3451 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15024 [startup+6.30041 s] /proc/loadavg: 0.54 0.11 0.04 2/174 20330 /proc/meminfo: memFree=29281432/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=23516 CPUtime=6.29 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 5802 0 0 0 628 1 0 0 25 0 1 0 21593916 24080384 5406 4089446400 134512640 135752675 4292435744 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 5879 5406 144 303 0 5574 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 23516 [startup+12.7003 s] /proc/loadavg: 0.61 0.14 0.05 2/174 20330 /proc/meminfo: memFree=29268656/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=35964 CPUtime=12.69 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 8911 0 0 0 1267 2 0 0 25 0 1 0 21593916 36827136 8515 4089446400 134512640 135752675 4292435744 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 8991 8515 144 303 0 8686 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35964 [startup+25.5009 s] /proc/loadavg: 0.67 0.17 0.06 2/174 20403 /proc/meminfo: memFree=29250560/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=51532 CPUtime=25.49 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 12796 0 0 0 2545 4 0 0 25 0 1 0 21593916 52768768 12400 4089446400 134512640 135752675 4292435744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 12883 12400 144 303 0 12578 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 51532 [startup+51.1002 s] /proc/loadavg: 0.78 0.24 0.08 2/174 20505 /proc/meminfo: memFree=29230804/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=72336 CPUtime=51.09 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 17944 0 0 0 5102 7 0 0 25 0 1 0 21593916 74072064 17548 4089446400 134512640 135752675 4292435744 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 18084 17548 144 303 0 17779 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 72336 Solver just ended. Dumping a history of the last processes samples [startup+54.3006 s] /proc/loadavg: 0.80 0.25 0.09 2/174 20551 /proc/meminfo: memFree=29226960/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=74316 CPUtime=54.29 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 18446 0 0 0 5422 7 0 0 25 0 1 0 21593916 76099584 18050 4089446400 134512640 135752675 4292435744 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 18579 18050 144 303 0 18274 0 Current children cumulated CPU time (s) 54.29 Current children cumulated vsize (KiB) 74316 [startup+55.1005 s] /proc/loadavg: 0.80 0.25 0.09 2/174 20551 /proc/meminfo: memFree=29226092/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=74844 CPUtime=55.08 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 18583 0 0 0 5501 7 0 0 25 0 1 0 21593916 76640256 18187 4089446400 134512640 135752675 4292435744 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 18711 18187 144 303 0 18406 0 Current children cumulated CPU time (s) 55.08 Current children cumulated vsize (KiB) 74844 [startup+55.9003 s] /proc/loadavg: 0.80 0.25 0.09 2/174 20551 /proc/meminfo: memFree=29226092/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=75768 CPUtime=55.88 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 18817 0 0 0 5581 7 0 0 25 0 1 0 21593916 77586432 18421 4089446400 134512640 135752675 4292435744 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 18942 18421 144 303 0 18637 0 Current children cumulated CPU time (s) 55.88 Current children cumulated vsize (KiB) 75768 [startup+56.1063 s] /proc/loadavg: 0.80 0.25 0.09 2/174 20551 /proc/meminfo: memFree=29225584/32951124 swapFree=67111528/67111528 [pid=20298] ppid=20296 vsize=76164 CPUtime=56.09 /proc/20298/stat : 20298 (wbo1.4b) R 20296 20298 20215 0 -1 4202496 18899 0 0 0 5602 7 0 0 25 0 1 0 21593916 77991936 18503 4089446400 134512640 135752675 4292435744 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/20298/statm: 19041 18503 144 303 0 18736 0 Current children cumulated CPU time (s) 56.09 Current children cumulated vsize (KiB) 76164 Child status: 0 Real time (s): 56.1283 CPU time (s): 56.1255 CPU user time (s): 56.0425 CPU system time (s): 0.082987 CPU usage (%): 99.9949 Max. virtual memory (cumulated for all children) (KiB): 76164 getrusage(RUSAGE_CHILDREN,...) data: user time used= 56.0425 system time used= 0.082987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18909 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= 87 runsolver used 0.087986 second user time and 0.217966 second system time The end
Begin job on node109 at 2010-07-07 22:16:39 IDJOB=2699621 IDBENCH=79360 IDSOLVER=1201 FILE ID=node109/2699621-1278533798 PBS_JOBID= 11239259 Free space on /tmp= 73752 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/academics/normalized-langford-3-11_wcsp.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2699621-1278533798/watcher-2699621-1278533798 -o /tmp/evaluation-result-2699621-1278533798/solver-2699621-1278533798 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2699621-1278533798.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 69dbc7406636817ba2a44752a9d60525 RANDOM SEED=1449012560 node109.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 : 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.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.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.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.83 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.75 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.82 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.75 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.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29260860 kB Buffers: 135760 kB Cached: 3325108 kB SwapCached: 0 kB Active: 1978160 kB Inactive: 1567572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29260860 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 21024 kB Writeback: 0 kB AnonPages: 84476 kB Mapped: 18548 kB Slab: 80912 kB PageTables: 4788 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 233524 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= 73768 MiB End job on node109 at 2010-07-07 22:17:35