Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 94.5406 | 94.5376 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag10.ucl--soft-66-100-0.wbo |
MD5SUM | 23f33b7daf9bba45fd16a95912abcbbc |
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 | 10.0925 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 9071 |
Total number of constraints | 25914 |
Number of soft constraints | 8807 |
Number of constraints which are clauses | 25190 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 724 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 449050 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 449049 |
Biggest number in a constraint | 39 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 132 |
Number of bits of the biggest sum of numbers | 8 |
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-2690335-1277915524.wbo. 0.00/0.00 c Instance file HOME/instance-2690335-1277915524.wbo 0.00/0.00 c File size is 818605 bytes. 0.05/0.05 c Highest Coefficient sum: 132 0.05/0.05 c ============================[ Problem Statistics ]============================= 0.05/0.05 c | | 0.05/0.05 c | Parsing time: 0.06 s | 0.05/0.05 c | Number Variables: 9071 | 0.05/0.05 c | Number Clauses: 25190 | 0.05/0.05 c | Number Cardinality: 0 | 0.05/0.05 c | Number PB Constraints: 724 | 90.99/91.00 c ============================[ Search Statistics ]============================== 90.99/91.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.99/91.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.99/91.00 c =============================================================================== 90.99/91.00 c | 0 | 7946 26670 63612 | 8638 0 nan | 0.000 % | 90.99/91.02 c | 100 | 7946 26670 63612 | 9501 100 24 | 12.402 % | 90.99/91.03 c | 250 | 7946 26670 63612 | 10451 250 22 | 12.402 % | 90.99/91.08 c | 475 | 7944 26670 63612 | 11497 420 41 | 12.424 % | 91.09/91.17 c | 812 | 7944 26670 63612 | 12646 757 46 | 12.424 % | 91.20/91.29 c | 1318 | 7944 26670 63612 | 13911 1263 44 | 12.424 % | 91.49/91.50 c | 2077 | 7944 26670 63612 | 15302 2022 51 | 12.424 % | 91.69/91.77 c | 3217 | 7944 26670 63612 | 16833 3162 50 | 12.424 % | 92.09/92.15 c | 4925 | 7944 26670 63612 | 18516 4870 51 | 12.424 % | 92.69/92.79 c | 7488 | 7944 26670 63612 | 20367 7433 52 | 12.424 % | 93.69/93.70 c | 11332 | 7943 26670 63612 | 22404 4394 44 | 12.435 % | 94.50/94.53 s UNSATISFIABLE 94.50/94.53 c Total CPU time: 94.4946 s 94.50/94.53 c =============================================================================== 94.50/94.53 c 94.50/94.53 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-2690335-1277915524/watcher-2690335-1277915524 -o /tmp/evaluation-result-2690335-1277915524/solver-2690335-1277915524 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690335-1277915524.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.96 1.96 1.98 4/178 18498 /proc/meminfo: memFree=30820680/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=3644 CPUtime=0 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 351 0 0 0 0 0 0 0 25 0 1 0 132847099 3731456 269 4089446400 134512640 135752675 4288064336 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 911 269 147 303 0 406 0 [startup+0.0544589 s] /proc/loadavg: 1.96 1.96 1.98 4/178 18498 /proc/meminfo: memFree=30820680/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=6432 CPUtime=0.05 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 1205 0 0 0 5 0 0 0 25 0 1 0 132847099 6586368 1123 4089446400 134512640 135752675 4288064336 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 1608 1124 321 303 0 1103 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 6432 [startup+0.100464 s] /proc/loadavg: 1.96 1.96 1.98 4/178 18498 /proc/meminfo: memFree=30820680/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=11736 CPUtime=0.09 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 2762 0 0 0 9 0 0 0 25 0 1 0 132847099 12017664 2480 4089446400 134512640 135752675 4288064336 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 2967 2482 141 303 0 2662 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11736 [startup+0.300419 s] /proc/loadavg: 1.96 1.96 1.98 4/178 18498 /proc/meminfo: memFree=30820680/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=26280 CPUtime=0.29 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 6393 0 0 0 29 0 0 0 25 0 1 0 132847099 26910720 6111 4089446400 134512640 135752675 4288064336 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 6570 6111 141 303 0 6265 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 26280 [startup+0.700347 s] /proc/loadavg: 1.96 1.96 1.98 4/178 18498 /proc/meminfo: memFree=30820680/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=26280 CPUtime=0.69 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 6393 0 0 0 69 0 0 0 25 0 1 0 132847099 26910720 6111 4089446400 134512640 135752675 4288064336 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 6570 6111 141 303 0 6265 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26280 [startup+1.5002 s] /proc/loadavg: 1.96 1.96 1.98 3/179 18499 /proc/meminfo: memFree=30794508/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=37632 CPUtime=1.49 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 9220 0 0 0 148 1 0 0 25 0 1 0 132847099 38535168 8938 4089446400 134512640 135752675 4288064336 18446744073709551615 134523936 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 9408 8938 141 303 0 9103 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 37632 [startup+3.10092 s] /proc/loadavg: 1.96 1.96 1.98 3/179 18499 /proc/meminfo: memFree=30779784/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=52416 CPUtime=3.09 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 12904 0 0 0 308 1 0 0 25 0 1 0 132847099 53673984 12622 4089446400 134512640 135752675 4288064336 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 13104 12622 141 303 0 12799 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 52416 [startup+6.30034 s] /proc/loadavg: 1.96 1.96 1.98 3/179 18499 /proc/meminfo: memFree=30757216/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=66936 CPUtime=6.29 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 16551 0 0 0 628 1 0 0 25 0 1 0 132847099 68542464 16269 4089446400 134512640 135752675 4288064336 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 16734 16269 141 303 0 16429 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 66936 [startup+12.7002 s] /proc/loadavg: 1.97 1.97 1.98 3/179 18499 /proc/meminfo: memFree=30754496/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=66936 CPUtime=12.7 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 16551 0 0 0 1268 2 0 0 25 0 1 0 132847099 68542464 16269 4089446400 134512640 135752675 4288064336 18446744073709551615 134595292 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 16734 16269 141 303 0 16429 0 Current children cumulated CPU time (s) 12.7 Current children cumulated vsize (KiB) 66936 [startup+25.5009 s] /proc/loadavg: 1.97 1.97 1.98 3/179 18499 /proc/meminfo: memFree=30751400/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=66936 CPUtime=25.5 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 16551 0 0 0 2548 2 0 0 25 0 1 0 132847099 68542464 16269 4089446400 134512640 135752675 4288064336 18446744073709551615 134583314 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 16734 16269 141 303 0 16429 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 66936 [startup+51.1003 s] /proc/loadavg: 1.98 1.97 1.98 3/179 18500 /proc/meminfo: memFree=30746284/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=66936 CPUtime=51.09 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 16552 0 0 0 5107 2 0 0 25 0 1 0 132847099 68542464 16270 4089446400 134512640 135752675 4288064336 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 16734 16270 141 303 0 16429 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 66936 Solver just ended. Dumping a history of the last processes samples [startup+76.7008 s] /proc/loadavg: 1.99 1.97 1.98 3/179 18501 /proc/meminfo: memFree=30720976/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=83436 CPUtime=76.7 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 20660 0 0 0 7668 2 0 0 25 0 1 0 132847099 85438464 20378 4089446400 134512640 135752675 4288064336 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 20859 20378 141 303 0 20554 0 Current children cumulated CPU time (s) 76.7 Current children cumulated vsize (KiB) 83436 [startup+83.1006 s] /proc/loadavg: 1.99 1.97 1.98 3/179 18501 /proc/meminfo: memFree=30718496/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=86076 CPUtime=83.09 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 21343 0 0 0 8307 2 0 0 25 0 1 0 132847099 88141824 21061 4089446400 134512640 135752675 4288064336 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 21519 21061 141 303 0 21214 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 86076 [startup+89.5005 s] /proc/loadavg: 1.99 1.97 1.98 3/179 18501 /proc/meminfo: memFree=30709692/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=90564 CPUtime=89.49 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 22454 0 0 0 8947 2 0 0 25 0 1 0 132847099 92737536 22172 4089446400 134512640 135752675 4288064336 18446744073709551615 134528757 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 22641 22172 141 303 0 22336 0 Current children cumulated CPU time (s) 89.49 Current children cumulated vsize (KiB) 90564 [startup+92.7009 s] /proc/loadavg: 1.99 1.97 1.98 3/179 18501 /proc/meminfo: memFree=30708316/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=90564 CPUtime=92.69 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 22468 0 0 0 9266 3 0 0 25 0 1 0 132847099 92737536 22186 4089446400 134512640 135752675 4288064336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 22641 22186 144 303 0 22336 0 Current children cumulated CPU time (s) 92.69 Current children cumulated vsize (KiB) 90564 [startup+93.5068 s] /proc/loadavg: 1.99 1.97 1.98 3/179 18501 /proc/meminfo: memFree=30708316/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=90564 CPUtime=93.5 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 22468 0 0 0 9347 3 0 0 25 0 1 0 132847099 92737536 22186 4089446400 134512640 135752675 4288064336 18446744073709551615 134642629 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 22641 22186 144 303 0 22336 0 Current children cumulated CPU time (s) 93.5 Current children cumulated vsize (KiB) 90564 [startup+94.3006 s] /proc/loadavg: 1.99 1.97 1.98 3/179 18501 /proc/meminfo: memFree=30708316/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=90564 CPUtime=94.3 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 22468 0 0 0 9426 4 0 0 25 0 1 0 132847099 92737536 22186 4089446400 134512640 135752675 4288064336 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 22641 22186 144 303 0 22336 0 Current children cumulated CPU time (s) 94.3 Current children cumulated vsize (KiB) 90564 [startup+94.5006 s] /proc/loadavg: 1.99 1.97 1.98 4/179 18501 /proc/meminfo: memFree=30704844/32951124 swapFree=67111528/67111528 [pid=18498] ppid=18496 vsize=90564 CPUtime=94.5 /proc/18498/stat : 18498 (wbo1.4b) R 18496 18498 17925 0 -1 4202496 22468 0 0 0 9446 4 0 0 25 0 1 0 132847099 92737536 22186 4089446400 134512640 135752675 4288064336 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/18498/statm: 22641 22186 144 303 0 22336 0 Current children cumulated CPU time (s) 94.5 Current children cumulated vsize (KiB) 90564 Child status: 0 Real time (s): 94.5376 CPU time (s): 94.5406 CPU user time (s): 94.4946 CPU system time (s): 0.045993 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 90564 getrusage(RUSAGE_CHILDREN,...) data: user time used= 94.4946 system time used= 0.045993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22469 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= 1057 runsolver used 0.147977 second user time and 0.302953 second system time The end
Begin job on node146 at 2010-06-30 18:32:04 IDJOB=2690335 IDBENCH=79057 IDSOLVER=1201 FILE ID=node146/2690335-1277915524 PBS_JOBID= 11197345 Free space on /tmp= 74172 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.tag10.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-2690335-1277915524/watcher-2690335-1277915524 -o /tmp/evaluation-result-2690335-1277915524/solver-2690335-1277915524 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690335-1277915524.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 23f33b7daf9bba45fd16a95912abcbbc RANDOM SEED=963798803 node146.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.839 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.839 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.839 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.839 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.839 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.67 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.839 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.839 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.839 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: 32951124 kB MemFree: 30823936 kB Buffers: 204476 kB Cached: 1334328 kB SwapCached: 0 kB Active: 863172 kB Inactive: 1115804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30823936 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5052 kB Writeback: 0 kB AnonPages: 440664 kB Mapped: 17516 kB Slab: 83860 kB PageTables: 5976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 600140 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= 74168 MiB End job on node146 at 2010-06-30 18:33:39