Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 167.794 | 167.791 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/ normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo |
MD5SUM | db22d2262072f64184522c88a96a3bbb |
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 | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.005998 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 110 |
Total number of constraints | 21 |
Number of soft constraints | 4 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 10 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 11 |
Top cost | 193 |
Min constraint cost | 1 |
Max constraint cost | 93 |
Sum of constraints costs | 192 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 12 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing wbo file format. File HOME/instance-2690400-1277893393.wbo. 0.00/0.00 c Instance file HOME/instance-2690400-1277893393.wbo 0.00/0.00 c File size is 1979 bytes. 0.00/0.00 c Highest Coefficient sum: 12 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 110 | 0.00/0.00 c | Number Clauses: 11 | 0.00/0.00 c | Number Cardinality: 10 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 110 21 220 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 110 21 220 | 5500 100 28 | 0.008 % | 0.00/0.00 c | 252 | 110 21 220 | 6050 252 37 | 0.008 % | 0.00/0.01 c | 478 | 110 21 220 | 6655 478 44 | 0.008 % | 0.00/0.02 c | 817 | 110 21 220 | 7320 817 49 | 0.008 % | 0.00/0.05 c | 1323 | 110 21 220 | 8052 1323 52 | 0.008 % | 0.09/0.11 c | 2083 | 110 21 220 | 8857 2083 53 | 0.008 % | 0.19/0.20 c | 3222 | 110 21 220 | 9743 3222 53 | 0.008 % | 0.39/0.44 c | 4930 | 110 21 220 | 10717 4930 54 | 0.008 % | 0.79/0.87 c | 7493 | 110 21 220 | 11789 7493 53 | 0.008 % | 1.69/1.71 c | 11337 | 110 21 220 | 12968 11337 53 | 0.008 % | 3.19/3.21 c | 17103 | 110 21 220 | 14265 10587 51 | 0.008 % | 5.39/5.43 c | 25753 | 110 21 220 | 15692 12072 52 | 0.008 % | 7.70/7.76 c | 38730 | 110 21 220 | 17261 9282 48 | 0.008 % | 11.59/11.63 c | 58191 | 110 21 220 | 18987 11404 46 | 0.008 % | 17.09/17.16 c | 87389 | 110 21 220 | 20886 12030 45 | 0.008 % | 27.09/27.15 c | 131179 | 110 21 220 | 22974 13915 45 | 0.008 % | 46.10/46.19 c | 196865 | 110 21 220 | 25272 21988 46 | 0.008 % | 77.70/77.75 c | 295391 | 110 21 220 | 27799 18225 45 | 0.008 % | 119.49/119.57 c | 443180 | 110 21 220 | 30579 15485 40 | 0.008 % | 167.70/167.78 s UNSATISFIABLE 167.70/167.78 c Total CPU time: 166.525 s 167.70/167.78 c =============================================================================== 167.70/167.78 c 167.70/167.78 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-2690400-1277893393/watcher-2690400-1277893393 -o /tmp/evaluation-result-2690400-1277893393/solver-2690400-1277893393 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690400-1277893393.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.94 1.99 1.99 3/196 11334 /proc/meminfo: memFree=31447308/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=2576 CPUtime=0 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 283 0 0 0 0 0 0 0 24 0 1 0 130635655 2637824 201 4089446400 134512640 135752675 4294949088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 644 202 144 303 0 339 0 [startup+0.066702 s] /proc/loadavg: 1.94 1.99 1.99 3/196 11334 /proc/meminfo: memFree=31447308/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=2972 CPUtime=0.06 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 395 0 0 0 6 0 0 0 24 0 1 0 130635655 3043328 313 4089446400 134512640 135752675 4294949088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 743 313 144 303 0 438 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2972 [startup+0.100697 s] /proc/loadavg: 1.94 1.99 1.99 3/196 11334 /proc/meminfo: memFree=31447308/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=3236 CPUtime=0.09 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 440 0 0 0 9 0 0 0 24 0 1 0 130635655 3313664 358 4089446400 134512640 135752675 4294949088 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 809 358 144 303 0 504 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3236 [startup+0.300662 s] /proc/loadavg: 1.94 1.99 1.99 3/196 11334 /proc/meminfo: memFree=31447308/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=4028 CPUtime=0.29 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 635 0 0 0 29 0 0 0 25 0 1 0 130635655 4124672 553 4089446400 134512640 135752675 4294949088 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 1007 553 144 303 0 702 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4028 [startup+0.700625 s] /proc/loadavg: 1.94 1.99 1.99 3/196 11334 /proc/meminfo: memFree=31447308/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=4956 CPUtime=0.69 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 877 0 0 0 69 0 0 0 25 0 1 0 130635655 5074944 795 4089446400 134512640 135752675 4294949088 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 1239 795 144 303 0 934 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4956 [startup+1.50052 s] /proc/loadavg: 1.94 1.99 1.99 3/197 11335 /proc/meminfo: memFree=31443704/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=6424 CPUtime=1.49 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 1237 0 0 0 148 1 0 0 25 0 1 0 130635655 6578176 1155 4089446400 134512640 135752675 4294949088 18446744073709551615 134611636 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 1606 1155 144 303 0 1301 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6424 [startup+3.10022 s] /proc/loadavg: 1.94 1.99 1.99 3/197 11335 /proc/meminfo: memFree=31442092/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=8600 CPUtime=3.09 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 1773 0 0 0 306 3 0 0 25 0 1 0 130635655 8806400 1691 4089446400 134512640 135752675 4294949088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 2150 1691 144 303 0 1845 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8600 [startup+6.3006 s] /proc/loadavg: 1.94 1.99 1.99 3/197 11335 /proc/meminfo: memFree=31438372/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=12708 CPUtime=6.29 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 2803 0 0 0 623 6 0 0 25 0 1 0 130635655 13012992 2721 4089446400 134512640 135752675 4294949088 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 3177 2721 144 303 0 2872 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12708 [startup+12.7005 s] /proc/loadavg: 1.95 1.99 1.99 3/197 11335 /proc/meminfo: memFree=31428548/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=23724 CPUtime=12.69 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 5557 0 0 0 1254 15 0 0 25 0 1 0 130635655 24293376 5475 4089446400 134512640 135752675 4294949088 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 5931 5475 144 303 0 5626 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23724 [startup+25.5002 s] /proc/loadavg: 2.02 2.01 2.00 3/197 11335 /proc/meminfo: memFree=31410404/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=42448 CPUtime=25.49 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 10207 0 0 0 2520 29 0 0 25 0 1 0 130635655 43466752 10125 4089446400 134512640 135752675 4294949088 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 10612 10125 144 303 0 10307 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42448 [startup+51.1007 s] /proc/loadavg: 2.02 2.00 2.00 3/197 11335 /proc/meminfo: memFree=31384192/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=69060 CPUtime=51.09 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 16840 0 0 0 5063 46 0 0 25 0 1 0 130635655 70717440 16758 4089446400 134512640 135752675 4294949088 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 17265 16758 144 303 0 16960 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 69060 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11337 /proc/meminfo: memFree=31330824/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=121548 CPUtime=102.3 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 29916 0 0 0 10146 84 0 0 25 0 1 0 130635655 124465152 29834 4089446400 134512640 135752675 4294949088 18446744073709551615 134611784 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 30387 29834 144 303 0 30082 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 121548 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11339 /proc/meminfo: memFree=31275704/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=176928 CPUtime=162.3 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 43703 0 0 0 16107 123 0 0 25 0 1 0 130635655 181174272 43621 4089446400 134512640 135752675 4294949088 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 44232 43621 144 303 0 43927 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 176928 Solver just ended. Dumping a history of the last processes samples [startup+163.101 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11339 /proc/meminfo: memFree=31275076/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=177468 CPUtime=163.1 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 43825 0 0 0 16186 124 0 0 25 0 1 0 130635655 181727232 43743 4089446400 134512640 135752675 4294949088 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 44367 43743 144 303 0 44062 0 Current children cumulated CPU time (s) 163.1 Current children cumulated vsize (KiB) 177468 [startup+166.3 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11339 /proc/meminfo: memFree=31272348/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=179844 CPUtime=166.3 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 44433 0 0 0 16505 125 0 0 25 0 1 0 130635655 184160256 44351 4089446400 134512640 135752675 4294949088 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 44961 44351 144 303 0 44656 0 Current children cumulated CPU time (s) 166.3 Current children cumulated vsize (KiB) 179844 [startup+167.1 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11339 /proc/meminfo: memFree=31271608/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=180636 CPUtime=167.1 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 44604 0 0 0 16585 125 0 0 25 0 1 0 130635655 184971264 44522 4089446400 134512640 135752675 4294949088 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 45159 44522 144 303 0 44854 0 Current children cumulated CPU time (s) 167.1 Current children cumulated vsize (KiB) 180636 [startup+167.501 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11339 /proc/meminfo: memFree=31271608/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=181032 CPUtime=167.5 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 44716 0 0 0 16624 126 0 0 25 0 1 0 130635655 185376768 44634 4089446400 134512640 135752675 4294949088 18446744073709551615 134603244 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 45258 44634 144 303 0 44953 0 Current children cumulated CPU time (s) 167.5 Current children cumulated vsize (KiB) 181032 [startup+167.701 s] /proc/loadavg: 2.00 2.00 2.00 3/197 11339 /proc/meminfo: memFree=31271608/32950928 swapFree=4192956/4192956 [pid=11334] ppid=11332 vsize=181032 CPUtime=167.7 /proc/11334/stat : 11334 (wbo1.4b) R 11332 11334 9516 0 -1 4202496 44716 0 0 0 16644 126 0 0 25 0 1 0 130635655 185376768 44634 4089446400 134512640 135752675 4294949088 18446744073709551615 134602984 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/11334/statm: 45258 44634 144 303 0 44953 0 Current children cumulated CPU time (s) 167.7 Current children cumulated vsize (KiB) 181032 Child status: 0 Real time (s): 167.791 CPU time (s): 167.794 CPU user time (s): 166.525 CPU system time (s): 1.26981 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 181032 getrusage(RUSAGE_CHILDREN,...) data: user time used= 166.525 system time used= 1.26981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44737 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= 3 involuntary context switches= 119 runsolver used 0.215967 second user time and 0.555915 second system time The end
Begin job on node124 at 2010-06-30 12:23:13 IDJOB=2690400 IDBENCH=78725 IDSOLVER=1201 FILE ID=node124/2690400-1277893393 PBS_JOBID= 11197105 Free space on /tmp= 130620 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-11-10--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-2690400-1277893393/watcher-2690400-1277893393 -o /tmp/evaluation-result-2690400-1277893393/solver-2690400-1277893393 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690400-1277893393.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= db22d2262072f64184522c88a96a3bbb RANDOM SEED=1931058382 node124.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.833 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.66 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.833 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 : 5226.07 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.833 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.74 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.833 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.833 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.833 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.833 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.74 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.833 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: 31447836 kB Buffers: 178500 kB Cached: 1109052 kB SwapCached: 0 kB Active: 566052 kB Inactive: 823924 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31447836 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 102880 kB Mapped: 20340 kB Slab: 78836 kB PageTables: 5100 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 20668420 kB Committed_AS: 1637756 kB VmallocTotal: 34359738367 kB VmallocUsed: 265212 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 130620 MiB End job on node124 at 2010-06-30 12:26:01