Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 136.993 | 136.989 |
Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo |
MD5SUM | 51de4f9a349da19d6e38b7104085cf7d |
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 | 38.1792 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 20605 |
Total number of constraints | 59851 |
Number of soft constraints | 20266 |
Number of constraints which are clauses | 58675 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1176 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 1021972 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 1021971 |
Biggest number in a constraint | 41 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 134 |
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-2690232-1277913561.wbo. 0.00/0.00 c Instance file HOME/instance-2690232-1277913561.wbo 0.00/0.00 c File size is 1934094 bytes. 0.10/0.14 c Highest Coefficient sum: 134 0.10/0.15 c ============================[ Problem Statistics ]============================= 0.10/0.15 c | | 0.10/0.15 c | Parsing time: 0.15 s | 0.10/0.15 c | Number Variables: 20605 | 0.10/0.15 c | Number Clauses: 58675 | 0.10/0.15 c | Number Cardinality: 0 | 0.10/0.15 c | Number PB Constraints: 1176 | 110.69/110.73 c ============================[ Search Statistics ]============================== 110.69/110.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 110.69/110.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 110.69/110.73 c =============================================================================== 110.69/110.73 c | 0 | 19562 60726 145805 | 19950 0 nan | 0.000 % | 110.69/110.75 c | 101 | 19562 60726 145805 | 21945 101 25 | 5.062 % | 110.69/110.76 c | 251 | 19562 60726 145805 | 24139 251 19 | 5.062 % | 110.79/110.89 c | 476 | 19562 60726 145805 | 26553 476 36 | 5.062 % | 111.00/111.04 c | 815 | 19562 60726 145805 | 29209 815 44 | 5.062 % | 111.19/111.26 c | 1321 | 19562 60726 145805 | 32130 1321 51 | 5.062 % | 111.50/111.57 c | 2080 | 19562 60726 145805 | 35343 2080 65 | 5.062 % | 111.99/112.07 c | 3221 | 19562 60726 145805 | 38877 3221 62 | 5.062 % | 112.79/112.87 c | 4933 | 19560 60726 145805 | 42765 4892 67 | 5.072 % | 113.90/113.97 c | 7495 | 19560 60726 145805 | 47041 7454 72 | 5.072 % | 115.59/115.61 c | 11339 | 19560 60726 145805 | 51746 11298 75 | 5.072 % | 118.29/118.39 c | 17107 | 19560 60726 145805 | 56920 17066 84 | 5.072 % | 123.00/123.08 c | 25760 | 19560 60726 145805 | 62612 25719 90 | 5.072 % | 130.10/130.15 c | 38734 | 19560 60726 145805 | 68873 38693 100 | 5.072 % | 136.90/136.98 s UNSATISFIABLE 136.90/136.98 c Total CPU time: 136.823 s 136.90/136.98 c =============================================================================== 136.90/136.98 c 136.90/136.98 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-2690232-1277913561/watcher-2690232-1277913561 -o /tmp/evaluation-result-2690232-1277913561/solver-2690232-1277913561 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690232-1277913561.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.98 1.99 4/178 25044 /proc/meminfo: memFree=30605300/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=4604 CPUtime=0 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 339 0 0 0 0 0 0 0 25 0 1 0 166959174 4714496 257 4089446400 134512640 135752675 4291553120 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 1184 260 146 303 0 406 0 [startup+0.0895959 s] /proc/loadavg: 1.94 1.98 1.99 4/178 25044 /proc/meminfo: memFree=30605300/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=9456 CPUtime=0.08 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 1694 0 0 0 8 0 0 0 25 0 1 0 166959174 9682944 1612 4089446400 134512640 135752675 4291553120 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 2364 1613 414 303 0 1586 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9456 [startup+0.100588 s] /proc/loadavg: 1.94 1.98 1.99 4/178 25044 /proc/meminfo: memFree=30605300/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=9800 CPUtime=0.1 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 1823 0 0 0 10 0 0 0 25 0 1 0 166959174 10035200 1741 4089446400 134512640 135752675 4291553120 18446744073709551615 134577144 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 2450 1741 449 303 0 1672 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 9800 [startup+0.300561 s] /proc/loadavg: 1.94 1.98 1.99 4/178 25044 /proc/meminfo: memFree=30605300/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=27200 CPUtime=0.29 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 6701 0 0 0 29 0 0 0 25 0 1 0 166959174 27852800 6113 4089446400 134512640 135752675 4291553120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 6800 6113 141 303 0 6495 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 27200 [startup+0.700484 s] /proc/loadavg: 1.94 1.98 1.99 4/178 25044 /proc/meminfo: memFree=30605300/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=60068 CPUtime=0.69 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 14915 0 0 0 68 1 0 0 25 0 1 0 166959174 61509632 14327 4089446400 134512640 135752675 4291553120 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 15017 14330 141 303 0 14712 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 60068 [startup+1.50032 s] /proc/loadavg: 1.94 1.98 1.99 3/179 25045 /proc/meminfo: memFree=30535604/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=72344 CPUtime=1.49 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 17983 0 0 0 147 2 0 0 25 0 1 0 166959174 74080256 17395 4089446400 134512640 135752675 4291553120 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 18086 17395 141 303 0 17781 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 72344 [startup+3.10103 s] /proc/loadavg: 1.94 1.98 1.99 3/179 25045 /proc/meminfo: memFree=30534860/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=72344 CPUtime=3.09 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 17983 0 0 0 307 2 0 0 25 0 1 0 166959174 74080256 17395 4089446400 134512640 135752675 4291553120 18446744073709551615 134595135 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 18086 17395 141 303 0 17781 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72344 [startup+6.30042 s] /proc/loadavg: 1.95 1.98 1.99 3/179 25045 /proc/meminfo: memFree=30519524/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=96104 CPUtime=6.29 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 23945 0 0 0 626 3 0 0 25 0 1 0 166959174 98410496 23357 4089446400 134512640 135752675 4291553120 18446744073709551615 134524021 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 24026 23357 141 303 0 23721 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 96104 [startup+12.7012 s] /proc/loadavg: 1.95 1.98 1.99 3/179 25045 /proc/meminfo: memFree=30465108/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=143756 CPUtime=12.69 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 35864 0 0 0 1265 4 0 0 25 0 1 0 166959174 147206144 35276 4089446400 134512640 135752675 4291553120 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 35939 35276 141 303 0 35634 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 143756 [startup+25.5007 s] /proc/loadavg: 1.96 1.98 1.99 3/179 25045 /proc/meminfo: memFree=30400548/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=193652 CPUtime=25.49 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 48315 0 0 0 2543 6 0 0 25 0 1 0 166959174 198299648 47727 4089446400 134512640 135752675 4291553120 18446744073709551615 134523933 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/25044/statm: 48413 47727 141 303 0 48108 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 193652 [startup+51.1009 s] /proc/loadavg: 1.97 1.98 1.99 3/179 25046 /proc/meminfo: memFree=30349164/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=228236 CPUtime=51.09 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 56986 0 0 0 5101 8 0 0 25 0 1 0 166959174 233713664 56398 4089446400 134512640 135752675 4291553120 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/25044/statm: 57059 56398 141 303 0 56754 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 228236 [startup+102.306 s] /proc/loadavg: 1.99 1.98 1.99 3/179 25057 /proc/meminfo: memFree=30312552/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=228236 CPUtime=102.3 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 56987 0 0 0 10222 8 0 0 25 0 1 0 166959174 233713664 56399 4089446400 134512640 135752675 4291553120 18446744073709551615 134583314 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/25044/statm: 57059 56399 141 303 0 56754 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 228236 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 1.99 1.98 1.99 3/179 25057 /proc/meminfo: memFree=30308908/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=226596 CPUtime=115.09 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 56991 0 0 0 11499 10 0 0 25 0 1 0 166959174 232034304 56023 4089446400 134512640 135752675 4291553120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/25044/statm: 56649 56023 144 303 0 56344 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 226596 [startup+127.9 s] /proc/loadavg: 1.99 1.98 1.99 3/179 25057 /proc/meminfo: memFree=30302628/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=226596 CPUtime=127.89 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 56991 0 0 0 12776 13 0 0 25 0 1 0 166959174 232034304 56023 4089446400 134512640 135752675 4291553120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/25044/statm: 56649 56023 144 303 0 56344 0 Current children cumulated CPU time (s) 127.89 Current children cumulated vsize (KiB) 226596 [startup+131.101 s] /proc/loadavg: 1.99 1.98 1.99 3/179 25057 /proc/meminfo: memFree=30300892/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=226596 CPUtime=131.09 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 56991 0 0 0 13095 14 0 0 25 0 1 0 166959174 232034304 56023 4089446400 134512640 135752675 4291553120 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/25044/statm: 56649 56023 144 303 0 56344 0 Current children cumulated CPU time (s) 131.09 Current children cumulated vsize (KiB) 226596 [startup+134.301 s] /proc/loadavg: 1.99 1.98 1.99 3/179 25057 /proc/meminfo: memFree=30299032/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=226596 CPUtime=134.29 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 56991 0 0 0 13414 15 0 0 25 0 1 0 166959174 232034304 56023 4089446400 134512640 135752675 4291553120 18446744073709551615 134611488 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/25044/statm: 56649 56023 144 303 0 56344 0 Current children cumulated CPU time (s) 134.29 Current children cumulated vsize (KiB) 226596 [startup+135.901 s] /proc/loadavg: 1.99 1.98 1.99 3/179 25057 /proc/meminfo: memFree=30298876/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=226596 CPUtime=135.9 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 56991 0 0 0 13574 16 0 0 25 0 1 0 166959174 232034304 56023 4089446400 134512640 135752675 4291553120 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/25044/statm: 56649 56023 144 303 0 56344 0 Current children cumulated CPU time (s) 135.9 Current children cumulated vsize (KiB) 226596 [startup+136.701 s] /proc/loadavg: 1.99 1.98 1.99 3/179 25058 /proc/meminfo: memFree=30298380/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=226596 CPUtime=136.7 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 56991 0 0 0 13654 16 0 0 25 0 1 0 166959174 232034304 56023 4089446400 134512640 135752675 4291553120 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/25044/statm: 56649 56023 144 303 0 56344 0 Current children cumulated CPU time (s) 136.7 Current children cumulated vsize (KiB) 226596 [startup+136.901 s] /proc/loadavg: 1.99 1.98 1.99 3/179 25058 /proc/meminfo: memFree=30298380/32950928 swapFree=67111528/67111528 [pid=25044] ppid=25042 vsize=226596 CPUtime=136.9 /proc/25044/stat : 25044 (wbo1.4b) R 25042 25044 24945 0 -1 4202496 56991 0 0 0 13674 16 0 0 25 0 1 0 166959174 232034304 56023 4089446400 134512640 135752675 4291553120 18446744073709551615 134604970 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/25044/statm: 56649 56023 144 303 0 56344 0 Current children cumulated CPU time (s) 136.9 Current children cumulated vsize (KiB) 226596 Child status: 0 Real time (s): 136.989 CPU time (s): 136.993 CPU user time (s): 136.823 CPU system time (s): 0.169974 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 228236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 136.823 system time used= 0.169974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56992 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= 246 runsolver used 0.218966 second user time and 0.45693 second system time The end
Begin job on node115 at 2010-06-30 17:59:21 IDJOB=2690232 IDBENCH=79019 IDSOLVER=1201 FILE ID=node115/2690232-1277913561 PBS_JOBID= 11197319 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.tag12.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-2690232-1277913561/watcher-2690232-1277913561 -o /tmp/evaluation-result-2690232-1277913561/solver-2690232-1277913561 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690232-1277913561.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 51de4f9a349da19d6e38b7104085cf7d RANDOM SEED=1971648957 node115.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.796 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.59 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.796 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.08 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.796 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.796 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.76 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.796 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.796 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.796 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.796 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: 32950928 kB MemFree: 30605820 kB Buffers: 199452 kB Cached: 936252 kB SwapCached: 0 kB Active: 1531620 kB Inactive: 670720 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30605820 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4388 kB Writeback: 0 kB AnonPages: 1066452 kB Mapped: 16372 kB Slab: 78304 kB PageTables: 6940 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1252488 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 node115 at 2010-06-30 18:01:38