Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 102.865 | 102.867 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900557957--soft-66-100-0.wbo |
MD5SUM | cd9d62896ad241b3e0bc0c585d812475 |
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 | 7 |
Best CPU time to get the best result obtained on this benchmark | 664.98 |
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 | 930 |
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 | 46532 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 46531 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 717 |
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-2690669-1277903773.wbo. 0.00/0.00 c Instance file HOME/instance-2690669-1277903773.wbo 0.00/0.00 c File size is 88010 bytes. 0.00/0.00 c Highest Coefficient sum: 717 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 | 100 | 231 2707 8338 | 5500 100 25 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 23 | 0.002 % | 0.00/0.02 c | 475 | 231 2707 8338 | 6655 475 30 | 0.002 % | 0.00/0.03 c | 814 | 231 2707 8338 | 7320 814 34 | 0.002 % | 0.00/0.04 c | 1323 | 231 2707 8338 | 8052 1323 31 | 0.002 % | 0.00/0.07 c | 2083 | 231 2707 8338 | 8857 2083 31 | 0.002 % | 0.09/0.11 c | 3224 | 231 2707 8338 | 9743 3224 30 | 0.002 % | 0.09/0.17 c | 4932 | 231 2707 8338 | 10717 4932 30 | 0.002 % | 0.19/0.28 c | 7494 | 231 2707 8338 | 11789 7494 31 | 0.002 % | 0.39/0.48 c | 11341 | 231 2707 8338 | 12968 11341 31 | 0.002 % | 0.79/0.86 c | 17109 | 231 2707 8338 | 14265 10561 34 | 0.002 % | 1.39/1.45 c | 25758 | 231 2707 8338 | 15692 12024 37 | 0.002 % | 2.39/2.46 c | 38732 | 231 2707 8338 | 17261 9188 39 | 0.002 % | 3.98/4.02 c | 58193 | 231 2707 8338 | 18987 11301 41 | 0.002 % | 6.39/6.40 c | 87386 | 231 2707 8338 | 20886 11868 34 | 0.002 % | 10.19/10.25 c | 131175 | 231 2707 8338 | 22974 13648 38 | 0.002 % | 16.49/16.54 c | 196859 | 231 2707 8338 | 25272 21628 42 | 0.002 % | 26.40/26.48 c | 295385 | 231 2707 8338 | 27799 13438 34 | 0.002 % | 41.59/41.65 c | 443176 | 231 2707 8338 | 30579 19700 40 | 0.002 % | 66.89/66.97 c | 664859 | 231 2707 8338 | 33637 25496 39 | 0.002 % | 102.79/102.85 s UNSATISFIABLE 102.79/102.85 c Total CPU time: 100.721 s 102.79/102.85 c =============================================================================== 102.79/102.85 c 102.79/102.85 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-2690669-1277903773/watcher-2690669-1277903773 -o /tmp/evaluation-result-2690669-1277903773/solver-2690669-1277903773 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690669-1277903773.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.62 2.75 2.64 3/196 24363 /proc/meminfo: memFree=31268876/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=2664 CPUtime=0 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 307 0 0 0 0 0 0 0 22 0 1 0 164016787 2727936 225 4089446400 134512640 135752675 4287104960 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 666 225 146 303 0 339 0 [startup+0.0825141 s] /proc/loadavg: 2.62 2.75 2.64 3/196 24363 /proc/meminfo: memFree=31268876/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=3236 CPUtime=0.07 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 491 0 0 0 7 0 0 0 22 0 1 0 164016787 3313664 387 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 809 387 144 303 0 504 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3236 [startup+0.100518 s] /proc/loadavg: 2.62 2.75 2.64 3/196 24363 /proc/meminfo: memFree=31268876/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=3368 CPUtime=0.09 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 524 0 0 0 9 0 0 0 22 0 1 0 164016787 3448832 420 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 842 420 144 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.300482 s] /proc/loadavg: 2.62 2.75 2.64 3/196 24363 /proc/meminfo: memFree=31268876/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=4688 CPUtime=0.29 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 827 0 0 0 28 1 0 0 22 0 1 0 164016787 4800512 723 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 1172 723 144 303 0 867 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4688 [startup+0.700413 s] /proc/loadavg: 2.62 2.75 2.64 3/196 24363 /proc/meminfo: memFree=31268876/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=6412 CPUtime=0.69 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 1260 0 0 0 66 3 0 0 24 0 1 0 164016787 6565888 1156 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 1603 1156 144 303 0 1298 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6412 [startup+1.50027 s] /proc/loadavg: 2.62 2.75 2.64 3/197 24364 /proc/meminfo: memFree=31263536/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=9580 CPUtime=1.49 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 2064 0 0 0 144 5 0 0 25 0 1 0 164016787 9809920 1960 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 2395 1960 144 303 0 2090 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9580 [startup+3.10099 s] /proc/loadavg: 2.62 2.75 2.64 3/197 24364 /proc/meminfo: memFree=31260188/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=15388 CPUtime=3.08 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 3529 0 0 0 299 9 0 0 25 0 1 0 164016787 15757312 3425 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 3847 3425 144 303 0 3542 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 15388 [startup+6.30043 s] /proc/loadavg: 2.57 2.74 2.63 3/197 24364 /proc/meminfo: memFree=31248656/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=25960 CPUtime=6.29 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 6159 0 0 0 612 17 0 0 25 0 1 0 164016787 26583040 6055 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 6490 6055 144 303 0 6185 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 25960 [startup+12.7003 s] /proc/loadavg: 2.53 2.73 2.63 3/197 24364 /proc/meminfo: memFree=31229336/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=45376 CPUtime=12.69 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 11007 0 0 0 1237 32 0 0 25 0 1 0 164016787 46465024 10903 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 11344 10903 144 303 0 11039 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 45376 [startup+25.501 s] /proc/loadavg: 2.41 2.69 2.62 3/197 24364 /proc/meminfo: memFree=31194608/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=79708 CPUtime=25.49 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 19594 0 0 0 2488 61 0 0 25 0 1 0 164016787 81620992 19490 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 19927 19490 144 303 0 19622 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 79708 [startup+51.1006 s] /proc/loadavg: 2.27 2.63 2.60 3/197 24366 /proc/meminfo: memFree=31129132/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=145732 CPUtime=51.09 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 36095 0 0 0 4997 112 0 0 25 0 1 0 164016787 149229568 35991 4089446400 134512640 135752675 4287104960 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 36433 35991 144 303 0 36128 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 145732 [startup+102.307 s] /proc/loadavg: 2.11 2.53 2.57 3/197 24366 /proc/meminfo: memFree=31005228/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=265988 CPUtime=102.3 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 66118 0 0 0 10018 212 0 0 25 0 1 0 164016787 272371712 66014 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 66497 66014 144 303 0 66192 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 265988 Solver just ended. Dumping a history of the last processes samples [startup+102.704 s] /proc/loadavg: 2.11 2.53 2.57 3/197 24366 /proc/meminfo: memFree=31005228/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=266780 CPUtime=102.69 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 66331 0 0 0 10056 213 0 0 25 0 1 0 164016787 273182720 66227 4089446400 134512640 135752675 4287104960 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 66695 66227 144 303 0 66390 0 Current children cumulated CPU time (s) 102.69 Current children cumulated vsize (KiB) 266780 [startup+102.8 s] /proc/loadavg: 2.11 2.53 2.57 3/197 24366 /proc/meminfo: memFree=31005228/32951124 swapFree=67111528/67111528 [pid=24363] ppid=24361 vsize=267044 CPUtime=102.79 /proc/24363/stat : 24363 (wbo1.4b) R 24361 24363 23831 0 -1 4202496 66391 0 0 0 10066 213 0 0 25 0 1 0 164016787 273453056 66287 4089446400 134512640 135752675 4287104960 18446744073709551615 134603244 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/24363/statm: 66761 66287 144 303 0 66456 0 Current children cumulated CPU time (s) 102.79 Current children cumulated vsize (KiB) 267044 Child status: 0 Real time (s): 102.867 CPU time (s): 102.865 CPU user time (s): 100.721 CPU system time (s): 2.14467 CPU usage (%): 99.9987 Max. virtual memory (cumulated for all children) (KiB): 267044 getrusage(RUSAGE_CHILDREN,...) data: user time used= 100.721 system time used= 2.14467 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66399 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= 75 runsolver used 0.122981 second user time and 0.354946 second system time The end
Begin job on node119 at 2010-06-30 15:16:13 IDJOB=2690669 IDBENCH=78914 IDSOLVER=1201 FILE ID=node119/2690669-1277903773 PBS_JOBID= 11197241 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.1900557957--soft-66-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690669-1277903773/watcher-2690669-1277903773 -o /tmp/evaluation-result-2690669-1277903773/solver-2690669-1277903773 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690669-1277903773.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= cd9d62896ad241b3e0bc0c585d812475 RANDOM SEED=1451426296 node119.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.802 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.60 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.802 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.802 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.802 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.802 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.73 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.802 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.802 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.802 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: 31269528 kB Buffers: 188652 kB Cached: 951176 kB SwapCached: 0 kB Active: 909768 kB Inactive: 627984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31269528 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2792 kB Writeback: 0 kB AnonPages: 398020 kB Mapped: 20368 kB Slab: 78464 kB PageTables: 5604 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1654216 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 node119 at 2010-06-30 15:17:56