Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 92.068 | 92.0652 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf9.ucl--soft-66-100-0.wbo |
MD5SUM | b9fa744ec68633cb4114d71740485b31 |
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 | 1.20882 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 11476 |
Total number of constraints | 33090 |
Number of soft constraints | 11224 |
Number of constraints which are clauses | 32382 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 708 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 569299 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 569298 |
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-2690274-1277914680.wbo. 0.00/0.00 c Instance file HOME/instance-2690274-1277914680.wbo 0.00/0.00 c File size is 1041505 bytes. 0.04/0.07 c Highest Coefficient sum: 126 0.04/0.07 c ============================[ Problem Statistics ]============================= 0.04/0.07 c | | 0.04/0.07 c | Parsing time: 0.07 s | 0.04/0.07 c | Number Variables: 11476 | 0.04/0.07 c | Number Clauses: 32382 | 0.04/0.07 c | Number Cardinality: 0 | 0.04/0.07 c | Number PB Constraints: 708 | 91.00/91.00 c ============================[ Search Statistics ]============================== 91.00/91.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.00/91.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.00/91.00 c =============================================================================== 91.00/91.00 c | 0 | 10397 33886 79542 | 11030 0 nan | 0.000 % | 91.00/91.03 c | 100 | 10397 33886 79542 | 12133 100 24 | 9.402 % | 91.00/91.06 c | 250 | 10397 33886 79542 | 13346 250 32 | 9.402 % | 91.10/91.12 c | 478 | 10397 33886 79542 | 14680 478 38 | 9.402 % | 91.10/91.19 c | 817 | 10349 33886 79542 | 16149 816 49 | 9.822 % | 91.20/91.29 c | 1324 | 10347 33886 79542 | 17763 1322 62 | 10.023 % | 91.39/91.46 c | 2084 | 10326 33886 79542 | 19540 2080 65 | 10.022 % | 91.69/91.73 c | 3223 | 9256 33886 79542 | 21494 2660 75 | 19.423 % | 91.99/92.06 s UNSATISFIABLE 91.99/92.06 c Total CPU time: 92.038 s 91.99/92.06 c =============================================================================== 91.99/92.06 c 91.99/92.06 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-2690274-1277914680/watcher-2690274-1277914680 -o /tmp/evaluation-result-2690274-1277914680/solver-2690274-1277914680 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690274-1277914680.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.09 2.03 2.00 4/178 10948 /proc/meminfo: memFree=30861808/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=3860 CPUtime=0 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 352 0 0 0 0 0 0 0 25 0 1 0 132765349 3952640 270 4089446400 134512640 135752675 4288829440 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 965 270 148 303 0 405 0 [startup+0.0446391 s] /proc/loadavg: 2.09 2.03 2.00 4/178 10948 /proc/meminfo: memFree=30861808/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=6064 CPUtime=0.04 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 1026 0 0 0 4 0 0 0 25 0 1 0 132765349 6209536 944 4089446400 134512640 135752675 4288829440 18446744073709551615 135378766 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 1516 944 285 303 0 956 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6064 [startup+0.10064 s] /proc/loadavg: 2.09 2.03 2.00 4/178 10948 /proc/meminfo: memFree=30861808/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=10644 CPUtime=0.09 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 2511 0 0 0 9 0 0 0 25 0 1 0 132765349 10899456 2141 4089446400 134512640 135752675 4288829440 18446744073709551615 135203236 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 2661 2141 141 303 0 2356 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10644 [startup+0.300593 s] /proc/loadavg: 2.09 2.03 2.00 4/178 10948 /proc/meminfo: memFree=30861808/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=18300 CPUtime=0.29 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 4402 0 0 0 29 0 0 0 25 0 1 0 132765349 18739200 4032 4089446400 134512640 135752675 4288829440 18446744073709551615 135010910 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 4575 4032 141 303 0 4270 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18300 [startup+0.70052 s] /proc/loadavg: 2.09 2.03 2.00 4/178 10948 /proc/meminfo: memFree=30861808/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=23052 CPUtime=0.69 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 5610 0 0 0 69 0 0 0 25 0 1 0 132765349 23605248 5240 4089446400 134512640 135752675 4288829440 18446744073709551615 134595139 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 5763 5240 141 303 0 5458 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23052 [startup+1.50037 s] /proc/loadavg: 2.09 2.03 2.00 3/179 10949 /proc/meminfo: memFree=30835884/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=35064 CPUtime=1.49 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 8593 0 0 0 149 0 0 0 25 0 1 0 132765349 35905536 8223 4089446400 134512640 135752675 4288829440 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 8766 8223 141 303 0 8461 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 35064 [startup+3.10109 s] /proc/loadavg: 2.09 2.03 2.00 3/179 10949 /proc/meminfo: memFree=30828200/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=43908 CPUtime=3.09 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 10833 0 0 0 309 0 0 0 25 0 1 0 132765349 44961792 10463 4089446400 134512640 135752675 4288829440 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 10977 10463 141 303 0 10672 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 43908 [startup+6.30049 s] /proc/loadavg: 2.08 2.03 2.00 3/179 10949 /proc/meminfo: memFree=30805136/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=55656 CPUtime=6.29 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 13745 0 0 0 629 0 0 0 25 0 1 0 132765349 56991744 13375 4089446400 134512640 135752675 4288829440 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 13914 13375 141 303 0 13609 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55656 [startup+12.7003 s] /proc/loadavg: 2.08 2.03 2.00 3/179 10950 /proc/meminfo: memFree=30785072/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=72288 CPUtime=12.69 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 17903 0 0 0 1268 1 0 0 25 0 1 0 132765349 74022912 17533 4089446400 134512640 135752675 4288829440 18446744073709551615 134523912 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 18072 17533 141 303 0 17767 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72288 [startup+25.501 s] /proc/loadavg: 2.06 2.03 2.00 3/179 10950 /proc/meminfo: memFree=30777164/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=72288 CPUtime=25.49 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 17903 0 0 0 2548 1 0 0 25 0 1 0 132765349 74022912 17533 4089446400 134512640 135752675 4288829440 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 18072 17533 141 303 0 17767 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 72288 [startup+51.1003 s] /proc/loadavg: 2.04 2.03 2.00 3/179 10951 /proc/meminfo: memFree=30747244/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=86280 CPUtime=51.09 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 21403 0 0 0 5108 1 0 0 25 0 1 0 132765349 88350720 21033 4089446400 134512640 135752675 4288829440 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 21570 21033 141 303 0 21265 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 86280 Solver just ended. Dumping a history of the last processes samples [startup+76.7006 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10951 /proc/meminfo: memFree=30716848/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=99744 CPUtime=76.7 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 24790 0 0 0 7668 2 0 0 25 0 1 0 132765349 102137856 24420 4089446400 134512640 135752675 4288829440 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 24936 24420 141 303 0 24631 0 Current children cumulated CPU time (s) 76.7 Current children cumulated vsize (KiB) 99744 [startup+83.1004 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10951 /proc/meminfo: memFree=30709028/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=102516 CPUtime=83.1 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 25462 0 0 0 8308 2 0 0 25 0 1 0 132765349 104976384 25092 4089446400 134512640 135752675 4288829440 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 25629 25092 141 303 0 25324 0 Current children cumulated CPU time (s) 83.1 Current children cumulated vsize (KiB) 102516 [startup+86.3008 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10952 /proc/meminfo: memFree=30705428/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=103968 CPUtime=86.3 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 25829 0 0 0 8628 2 0 0 25 0 1 0 132765349 106463232 25459 4089446400 134512640 135752675 4288829440 18446744073709551615 134611975 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 25992 25459 141 303 0 25687 0 Current children cumulated CPU time (s) 86.3 Current children cumulated vsize (KiB) 103968 [startup+89.5003 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10952 /proc/meminfo: memFree=30702080/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=104628 CPUtime=89.5 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 25988 0 0 0 8948 2 0 0 25 0 1 0 132765349 107139072 25618 4089446400 134512640 135752675 4288829440 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 26157 25618 141 303 0 25852 0 Current children cumulated CPU time (s) 89.5 Current children cumulated vsize (KiB) 104628 [startup+91.101 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10952 /proc/meminfo: memFree=30700964/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=104628 CPUtime=91.1 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 26014 0 0 0 9108 2 0 0 25 0 1 0 132765349 107139072 25644 4089446400 134512640 135752675 4288829440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 26157 25644 144 303 0 25852 0 Current children cumulated CPU time (s) 91.1 Current children cumulated vsize (KiB) 104628 [startup+91.5009 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10952 /proc/meminfo: memFree=30700716/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=104628 CPUtime=91.49 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 26014 0 0 0 9147 2 0 0 25 0 1 0 132765349 107139072 25644 4089446400 134512640 135752675 4288829440 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 26157 25644 144 303 0 25852 0 Current children cumulated CPU time (s) 91.49 Current children cumulated vsize (KiB) 104628 [startup+91.9008 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10952 /proc/meminfo: memFree=30700716/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=104628 CPUtime=91.89 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 26014 0 0 0 9187 2 0 0 25 0 1 0 132765349 107139072 25644 4089446400 134512640 135752675 4288829440 18446744073709551615 134517428 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 26157 25644 144 303 0 25852 0 Current children cumulated CPU time (s) 91.89 Current children cumulated vsize (KiB) 104628 [startup+92.0008 s] /proc/loadavg: 2.02 2.02 2.00 3/179 10952 /proc/meminfo: memFree=30700716/32951124 swapFree=67111528/67111528 [pid=10948] ppid=10946 vsize=104628 CPUtime=91.99 /proc/10948/stat : 10948 (wbo1.4b) R 10946 10948 10814 0 -1 4202496 26014 0 0 0 9197 2 0 0 25 0 1 0 132765349 107139072 25644 4089446400 134512640 135752675 4288829440 18446744073709551615 134605038 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/10948/statm: 26157 25644 144 303 0 25852 0 Current children cumulated CPU time (s) 91.99 Current children cumulated vsize (KiB) 104628 Child status: 0 Real time (s): 92.0652 CPU time (s): 92.068 CPU user time (s): 92.038 CPU system time (s): 0.029995 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 104628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 92.038 system time used= 0.029995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26015 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= 92 runsolver used 0.109983 second user time and 0.312952 second system time The end
Begin job on node109 at 2010-06-30 18:18:00 IDJOB=2690274 IDBENCH=79038 IDSOLVER=1201 FILE ID=node109/2690274-1277914680 PBS_JOBID= 11197334 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf9.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-2690274-1277914680/watcher-2690274-1277914680 -o /tmp/evaluation-result-2690274-1277914680/solver-2690274-1277914680 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690274-1277914680.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b9fa744ec68633cb4114d71740485b31 RANDOM SEED=48818384 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.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.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.82 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.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.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.82 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.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.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.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.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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30862328 kB Buffers: 196368 kB Cached: 1047188 kB SwapCached: 0 kB Active: 1209740 kB Inactive: 731808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30862328 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4008 kB Writeback: 0 kB AnonPages: 698076 kB Mapped: 16252 kB Slab: 81252 kB PageTables: 5972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 852404 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= 74204 MiB End job on node109 at 2010-06-30 18:19:32