Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 91.903 | 91.8995 |
Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.rf8.ucl--soft-0-100-0.wbo |
MD5SUM | daa4650c03ccc8f8b44e19f0217c9b39 |
Bench Category | SOFT-SMALLINT-LIN (only soft 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.323949 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 6832 |
Total number of constraints | 19477 |
Number of soft constraints | 19477 |
Number of constraints which are clauses | 18953 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 524 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 989271 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 989270 |
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-2690481-1277931897.wbo. 0.00/0.00 c Instance file HOME/instance-2690481-1277931897.wbo 0.00/0.00 c File size is 673351 bytes. 0.01/0.04 c Highest Coefficient sum: 126 0.01/0.04 c ============================[ Problem Statistics ]============================= 0.01/0.04 c | | 0.01/0.04 c | Parsing time: 0.04 s | 0.01/0.04 c | Number Variables: 6832 | 0.01/0.04 c | Number Clauses: 18953 | 0.01/0.04 c | Number Cardinality: 0 | 0.01/0.04 c | Number PB Constraints: 524 | 91.60/91.69 c ============================[ Search Statistics ]============================== 91.60/91.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.60/91.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.60/91.69 c =============================================================================== 91.60/91.69 c | 0 | 5734 20295 46494 | 6492 0 nan | 0.000 % | 91.70/91.70 c | 101 | 5704 20295 46494 | 7141 100 11 | 16.511 % | 91.70/91.73 c | 254 | 5704 20295 46494 | 7855 253 26 | 16.511 % | 91.70/91.77 c | 481 | 5704 20295 46494 | 8641 480 29 | 16.511 % | 91.80/91.82 c | 818 | 5099 20295 46494 | 9505 436 22 | 25.366 % | 91.80/91.89 s UNSATISFIABLE 91.80/91.89 c Total CPU time: 91.874 s 91.80/91.89 c =============================================================================== 91.80/91.89 c 91.80/91.89 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-2690481-1277931897/watcher-2690481-1277931897 -o /tmp/evaluation-result-2690481-1277931897/solver-2690481-1277931897 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690481-1277931897.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 2.01 2.06 3/178 15677 /proc/meminfo: memFree=31501944/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=3372 CPUtime=0 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 342 0 0 0 0 0 0 0 25 0 1 0 134335334 3452928 260 4089446400 134512640 135752675 4287146160 18446744073709551615 135193057 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 843 260 148 303 0 373 0 [startup+0.0158541 s] /proc/loadavg: 1.92 2.01 2.06 3/178 15677 /proc/meminfo: memFree=31501944/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=4148 CPUtime=0.01 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 532 0 0 0 1 0 0 0 25 0 1 0 134335334 4247552 450 4089446400 134512640 135752675 4287146160 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 1037 469 186 303 0 567 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4148 [startup+0.100841 s] /proc/loadavg: 1.92 2.01 2.06 3/178 15677 /proc/meminfo: memFree=31501944/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=9684 CPUtime=0.09 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 2167 0 0 0 9 0 0 0 25 0 1 0 134335334 9916416 1920 4089446400 134512640 135752675 4287146160 18446744073709551615 134526294 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 2421 1920 141 303 0 2116 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9684 [startup+0.300805 s] /proc/loadavg: 1.92 2.01 2.06 3/178 15677 /proc/meminfo: memFree=31501944/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=13380 CPUtime=0.29 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 3080 0 0 0 29 0 0 0 25 0 1 0 134335334 13701120 2833 4089446400 134512640 135752675 4287146160 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 3345 2833 141 303 0 3040 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13380 [startup+0.700728 s] /proc/loadavg: 1.92 2.01 2.06 3/178 15677 /proc/meminfo: memFree=31501944/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=21432 CPUtime=0.69 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 5112 0 0 0 69 0 0 0 25 0 1 0 134335334 21946368 4865 4089446400 134512640 135752675 4287146160 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 5358 4868 141 303 0 5053 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21432 [startup+1.50063 s] /proc/loadavg: 1.92 2.01 2.06 3/179 15678 /proc/meminfo: memFree=31481600/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=27912 CPUtime=1.49 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 6722 0 0 0 149 0 0 0 25 0 1 0 134335334 28581888 6475 4089446400 134512640 135752675 4287146160 18446744073709551615 134526073 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 6978 6475 141 303 0 6673 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 27912 [startup+3.10027 s] /proc/loadavg: 1.92 2.01 2.06 3/179 15678 /proc/meminfo: memFree=31475524/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=35832 CPUtime=3.09 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 8712 0 0 0 309 0 0 0 25 0 1 0 134335334 36691968 8465 4089446400 134512640 135752675 4287146160 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 8958 8465 141 303 0 8653 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35832 [startup+6.30066 s] /proc/loadavg: 1.92 2.01 2.06 3/179 15679 /proc/meminfo: memFree=31468124/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=35832 CPUtime=6.29 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 8712 0 0 0 629 0 0 0 25 0 1 0 134335334 36691968 8465 4089446400 134512640 135752675 4287146160 18446744073709551615 134583314 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 8958 8465 141 303 0 8653 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35832 [startup+12.7004 s] /proc/loadavg: 1.93 2.01 2.06 3/179 15679 /proc/meminfo: memFree=31464500/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=38736 CPUtime=12.69 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 9448 0 0 0 1269 0 0 0 25 0 1 0 134335334 39665664 9201 4089446400 134512640 135752675 4287146160 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 9684 9201 141 303 0 9379 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38736 [startup+25.501 s] /proc/loadavg: 1.94 2.01 2.05 3/179 15679 /proc/meminfo: memFree=31455560/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=48768 CPUtime=25.49 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 11941 0 0 0 2548 1 0 0 25 0 1 0 134335334 49938432 11694 4089446400 134512640 135752675 4287146160 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 12192 11694 141 303 0 11887 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48768 [startup+51.1011 s] /proc/loadavg: 1.96 2.01 2.05 3/179 15680 /proc/meminfo: memFree=31449192/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=54312 CPUtime=51.09 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 13329 0 0 0 5108 1 0 0 25 0 1 0 134335334 55615488 13082 4089446400 134512640 135752675 4287146160 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 13578 13082 141 303 0 13273 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 54312 Solver just ended. Dumping a history of the last processes samples [startup+76.7002 s] /proc/loadavg: 1.97 2.00 2.05 3/179 15680 /proc/meminfo: memFree=31439256/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=65004 CPUtime=76.69 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 16002 0 0 0 7668 1 0 0 25 0 1 0 134335334 66564096 15755 4089446400 134512640 135752675 4287146160 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 16251 15755 141 303 0 15946 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 65004 [startup+83.101 s] /proc/loadavg: 1.98 2.00 2.05 3/179 15681 /proc/meminfo: memFree=31430204/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=73584 CPUtime=83.1 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 18133 0 0 0 8308 2 0 0 25 0 1 0 134335334 75350016 17886 4089446400 134512640 135752675 4287146160 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 18396 17886 141 303 0 18091 0 Current children cumulated CPU time (s) 83.1 Current children cumulated vsize (KiB) 73584 [startup+86.3003 s] /proc/loadavg: 1.98 2.00 2.05 3/179 15681 /proc/meminfo: memFree=31426728/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=75960 CPUtime=86.3 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 18752 0 0 0 8628 2 0 0 25 0 1 0 134335334 77783040 18505 4089446400 134512640 135752675 4287146160 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 18990 18505 141 303 0 18685 0 Current children cumulated CPU time (s) 86.3 Current children cumulated vsize (KiB) 75960 [startup+89.5008 s] /proc/loadavg: 1.98 2.00 2.05 3/179 15681 /proc/meminfo: memFree=31426728/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=75960 CPUtime=89.5 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 18753 0 0 0 8948 2 0 0 25 0 1 0 134335334 77783040 18506 4089446400 134512640 135752675 4287146160 18446744073709551615 134524028 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 18990 18506 141 303 0 18685 0 Current children cumulated CPU time (s) 89.5 Current children cumulated vsize (KiB) 75960 [startup+91.1004 s] /proc/loadavg: 1.98 2.00 2.05 3/179 15681 /proc/meminfo: memFree=31425736/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=78336 CPUtime=91.1 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 19334 0 0 0 9108 2 0 0 25 0 1 0 134335334 80216064 19087 4089446400 134512640 135752675 4287146160 18446744073709551615 134527636 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 19584 19087 141 303 0 19279 0 Current children cumulated CPU time (s) 91.1 Current children cumulated vsize (KiB) 78336 [startup+91.5003 s] /proc/loadavg: 1.98 2.00 2.05 3/179 15681 /proc/meminfo: memFree=31424372/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=78336 CPUtime=91.5 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 19334 0 0 0 9148 2 0 0 25 0 1 0 134335334 80216064 19087 4089446400 134512640 135752675 4287146160 18446744073709551615 135201333 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 19584 19087 141 303 0 19279 0 Current children cumulated CPU time (s) 91.5 Current children cumulated vsize (KiB) 78336 [startup+91.7003 s] /proc/loadavg: 1.98 2.00 2.05 3/179 15681 /proc/meminfo: memFree=31424372/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=78336 CPUtime=91.7 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 19337 0 0 0 9168 2 0 0 25 0 1 0 134335334 80216064 19090 4089446400 134512640 135752675 4287146160 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 19584 19090 143 303 0 19279 0 Current children cumulated CPU time (s) 91.7 Current children cumulated vsize (KiB) 78336 [startup+91.8003 s] /proc/loadavg: 1.98 2.00 2.05 3/179 15681 /proc/meminfo: memFree=31424372/32950928 swapFree=67111528/67111528 [pid=15677] ppid=15675 vsize=78336 CPUtime=91.8 /proc/15677/stat : 15677 (wbo1.4b) R 15675 15677 15024 0 -1 4202496 19338 0 0 0 9178 2 0 0 25 0 1 0 134335334 80216064 19091 4089446400 134512640 135752675 4287146160 18446744073709551615 134642689 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/15677/statm: 19584 19091 144 303 0 19279 0 Current children cumulated CPU time (s) 91.8 Current children cumulated vsize (KiB) 78336 Child status: 0 Real time (s): 91.8995 CPU time (s): 91.903 CPU user time (s): 91.874 CPU system time (s): 0.028995 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 78336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 91.874 system time used= 0.028995 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19339 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= 137 runsolver used 0.147977 second user time and 0.356945 second system time The end
Begin job on node127 at 2010-06-30 23:04:57 IDJOB=2690481 IDBENCH=79329 IDSOLVER=1201 FILE ID=node127/2690481-1277931897 PBS_JOBID= 11197393 Free space on /tmp= 74200 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.rf8.ucl--soft-0-100-0.wbo COMMAND LINE= wbo1.4b -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690481-1277931897/watcher-2690481-1277931897 -o /tmp/evaluation-result-2690481-1277931897/solver-2690481-1277931897 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690481-1277931897.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= daa4650c03ccc8f8b44e19f0217c9b39 RANDOM SEED=1237994927 node127.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.828 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.65 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.828 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.828 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.828 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.72 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.828 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.74 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.828 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.828 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.82 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.828 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: 32950928 kB MemFree: 31502720 kB Buffers: 217624 kB Cached: 722184 kB SwapCached: 0 kB Active: 786480 kB Inactive: 517976 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31502720 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3528 kB Writeback: 0 kB AnonPages: 365060 kB Mapped: 17548 kB Slab: 79180 kB PageTables: 4972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 513736 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= 74196 MiB End job on node127 at 2010-06-30 23:06:29