Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 90.9302 | 90.9289 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.rwmem1.ucl--soft-66-100-0.wbo |
MD5SUM | 73f5efaaf4b0b2b131ed195e877aa8fc |
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.25596 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 7578 |
Total number of constraints | 21401 |
Number of soft constraints | 7353 |
Number of constraints which are clauses | 20501 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 900 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 376186 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 376185 |
Biggest number in a constraint | 33 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 126 |
Number of bits of the biggest sum of numbers | 7 |
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-2690197-1277912737.wbo. 0.00/0.00 c Instance file HOME/instance-2690197-1277912737.wbo 0.00/0.00 c File size is 698090 bytes. 0.00/0.04 c Highest Coefficient sum: 126 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 7578 | 0.00/0.05 c | Number Clauses: 20501 | 0.00/0.05 c | Number Cardinality: 0 | 0.00/0.05 c | Number PB Constraints: 900 | 90.80/90.81 c ============================[ Search Statistics ]============================== 90.80/90.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.80/90.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.80/90.81 c =============================================================================== 90.80/90.81 c | 0 | 5739 22476 52226 | 7133 0 nan | 0.000 % | 90.80/90.83 c | 101 | 5739 22476 52226 | 7847 101 12 | 24.268 % | 90.80/90.84 c | 251 | 5739 22476 52226 | 8631 251 11 | 24.269 % | 90.80/90.86 c | 476 | 5739 22476 52226 | 9494 476 18 | 24.268 % | 90.80/90.89 c | 813 | 5739 22476 52226 | 10444 813 25 | 24.269 % | 90.89/90.92 s UNSATISFIABLE 90.89/90.92 c Total CPU time: 90.8942 s 90.89/90.92 c =============================================================================== 90.89/90.92 c 90.89/90.92 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-2690197-1277912737/watcher-2690197-1277912737 -o /tmp/evaluation-result-2690197-1277912737/solver-2690197-1277912737 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690197-1277912737.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.92 1.98 1.99 4/178 12550 /proc/meminfo: memFree=30392904/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=3516 CPUtime=0 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 351 0 0 0 0 0 0 0 25 0 1 0 132570090 3600384 269 4089446400 134512640 135752675 4291826288 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 879 269 148 303 0 403 0 [startup+0.056638 s] /proc/loadavg: 1.92 1.98 1.99 4/178 12550 /proc/meminfo: memFree=30392904/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=7420 CPUtime=0.05 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 1620 0 0 0 5 0 0 0 25 0 1 0 132570090 7598080 1367 4089446400 134512640 135752675 4291826288 18446744073709551615 135221488 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 1855 1367 141 303 0 1550 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7420 [startup+0.100632 s] /proc/loadavg: 1.92 1.98 1.99 4/178 12550 /proc/meminfo: memFree=30392904/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=9796 CPUtime=0.09 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 2210 0 0 0 9 0 0 0 25 0 1 0 132570090 10031104 1957 4089446400 134512640 135752675 4291826288 18446744073709551615 134595139 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 2449 1957 141 303 0 2144 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9796 [startup+0.300599 s] /proc/loadavg: 1.92 1.98 1.99 4/178 12550 /proc/meminfo: memFree=30392904/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=14548 CPUtime=0.29 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 3407 0 0 0 29 0 0 0 25 0 1 0 132570090 14897152 3154 4089446400 134512640 135752675 4291826288 18446744073709551615 134583316 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 3637 3154 141 303 0 3332 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14548 [startup+0.700532 s] /proc/loadavg: 1.92 1.98 1.99 4/178 12550 /proc/meminfo: memFree=30392904/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=14548 CPUtime=0.69 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 3408 0 0 0 69 0 0 0 25 0 1 0 132570090 14897152 3155 4089446400 134512640 135752675 4291826288 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 3637 3155 141 303 0 3332 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14548 [startup+1.5004 s] /proc/loadavg: 1.93 1.98 1.99 3/179 12551 /proc/meminfo: memFree=30375412/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=26032 CPUtime=1.49 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 6281 0 0 0 149 0 0 0 25 0 1 0 132570090 26656768 6028 4089446400 134512640 135752675 4291826288 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 6508 6028 141 303 0 6203 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 26032 [startup+3.10013 s] /proc/loadavg: 1.93 1.98 1.99 3/179 12551 /proc/meminfo: memFree=30365764/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=29332 CPUtime=3.09 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 7115 0 0 0 309 0 0 0 25 0 1 0 132570090 30035968 6862 4089446400 134512640 135752675 4291826288 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 7333 6862 141 303 0 7028 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29332 [startup+6.30059 s] /proc/loadavg: 1.93 1.98 1.99 3/179 12551 /proc/meminfo: memFree=30362788/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=30388 CPUtime=6.29 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 7353 0 0 0 629 0 0 0 25 0 1 0 132570090 31117312 7100 4089446400 134512640 135752675 4291826288 18446744073709551615 134697866 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 7597 7100 141 303 0 7292 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30388 [startup+12.7005 s] /proc/loadavg: 1.94 1.98 1.99 3/179 12551 /proc/meminfo: memFree=30358628/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=33424 CPUtime=12.69 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 8140 0 0 0 1268 1 0 0 25 0 1 0 132570090 34226176 7887 4089446400 134512640 135752675 4291826288 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 8356 7887 141 303 0 8051 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 33424 [startup+25.5004 s] /proc/loadavg: 1.95 1.98 1.99 3/179 12551 /proc/meminfo: memFree=30347424/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=41212 CPUtime=25.49 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 10070 0 0 0 2548 1 0 0 25 0 1 0 132570090 42201088 9817 4089446400 134512640 135752675 4291826288 18446744073709551615 134524021 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 10303 9817 141 303 0 9998 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41212 [startup+51.1011 s] /proc/loadavg: 1.97 1.98 1.99 3/179 12551 /proc/meminfo: memFree=30326212/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=57712 CPUtime=51.09 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 14214 0 0 0 5107 2 0 0 25 0 1 0 132570090 59097088 13961 4089446400 134512640 135752675 4291826288 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 14428 13961 141 303 0 14123 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 57712 Solver just ended. Dumping a history of the last processes samples [startup+76.7007 s] /proc/loadavg: 1.98 1.98 1.99 3/179 12553 /proc/meminfo: memFree=30308100/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=69988 CPUtime=76.69 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 17277 0 0 0 7667 2 0 0 25 0 1 0 132570090 71667712 17024 4089446400 134512640 135752675 4291826288 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 17497 17024 141 303 0 17192 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 69988 [startup+83.1006 s] /proc/loadavg: 1.98 1.98 1.99 3/179 12553 /proc/meminfo: memFree=30302640/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=72628 CPUtime=83.1 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 17922 0 0 0 8307 3 0 0 25 0 1 0 132570090 74371072 17669 4089446400 134512640 135752675 4291826288 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 18157 17669 141 303 0 17852 0 Current children cumulated CPU time (s) 83.1 Current children cumulated vsize (KiB) 72628 [startup+86.3011 s] /proc/loadavg: 1.98 1.98 1.99 3/179 12553 /proc/meminfo: memFree=30301648/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=73288 CPUtime=86.3 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 18084 0 0 0 8627 3 0 0 25 0 1 0 132570090 75046912 17831 4089446400 134512640 135752675 4291826288 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 18322 17831 141 303 0 18017 0 Current children cumulated CPU time (s) 86.3 Current children cumulated vsize (KiB) 73288 [startup+89.5006 s] /proc/loadavg: 1.98 1.98 1.99 3/179 12553 /proc/meminfo: memFree=30298792/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=73816 CPUtime=89.5 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 18230 0 0 0 8947 3 0 0 25 0 1 0 132570090 75587584 17977 4089446400 134512640 135752675 4291826288 18446744073709551615 134697668 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 18454 17977 141 303 0 18149 0 Current children cumulated CPU time (s) 89.5 Current children cumulated vsize (KiB) 73816 [startup+90.3004 s] /proc/loadavg: 1.98 1.98 1.99 3/179 12553 /proc/meminfo: memFree=30297548/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=73948 CPUtime=90.3 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 18251 0 0 0 9027 3 0 0 25 0 1 0 132570090 75722752 17998 4089446400 134512640 135752675 4291826288 18446744073709551615 134527636 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 18487 17998 141 303 0 18182 0 Current children cumulated CPU time (s) 90.3 Current children cumulated vsize (KiB) 73948 [startup+90.7004 s] /proc/loadavg: 1.98 1.98 1.99 3/179 12553 /proc/meminfo: memFree=30297548/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=73948 CPUtime=90.7 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 18251 0 0 0 9067 3 0 0 25 0 1 0 132570090 75722752 17998 4089446400 134512640 135752675 4291826288 18446744073709551615 135201342 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 18487 17998 141 303 0 18182 0 Current children cumulated CPU time (s) 90.7 Current children cumulated vsize (KiB) 73948 [startup+90.9004 s] /proc/loadavg: 1.98 1.98 1.99 3/179 12553 /proc/meminfo: memFree=30297548/32950928 swapFree=67111528/67111528 [pid=12550] ppid=12548 vsize=73948 CPUtime=90.89 /proc/12550/stat : 12550 (wbo1.4b) R 12548 12550 12498 0 -1 4202496 18256 0 0 0 9086 3 0 0 25 0 1 0 132570090 75722752 18003 4089446400 134512640 135752675 4291826288 18446744073709551615 134616054 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/12550/statm: 18487 18003 144 303 0 18182 0 Current children cumulated CPU time (s) 90.89 Current children cumulated vsize (KiB) 73948 Child status: 0 Real time (s): 90.9289 CPU time (s): 90.9302 CPU user time (s): 90.8942 CPU system time (s): 0.035994 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 73948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 90.8942 system time used= 0.035994 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18257 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= 198 runsolver used 0.166974 second user time and 0.331949 second system time The end
Begin job on node126 at 2010-06-30 17:45:37 IDJOB=2690197 IDBENCH=79000 IDSOLVER=1201 FILE ID=node126/2690197-1277912737 PBS_JOBID= 11197300 Free space on /tmp= 74188 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl--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-2690197-1277912737/watcher-2690197-1277912737 -o /tmp/evaluation-result-2690197-1277912737/solver-2690197-1277912737 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690197-1277912737.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 73f5efaaf4b0b2b131ed195e877aa8fc RANDOM SEED=1865263613 node126.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.835 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.67 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.835 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.83 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.835 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.835 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.835 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.72 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.835 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.835 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.835 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: 32950928 kB MemFree: 30393556 kB Buffers: 195320 kB Cached: 924428 kB SwapCached: 0 kB Active: 1757488 kB Inactive: 655956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30393556 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3596 kB Writeback: 0 kB AnonPages: 1293684 kB Mapped: 16096 kB Slab: 78332 kB PageTables: 7268 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1462776 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= 74184 MiB End job on node126 at 2010-06-30 17:47:08