Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4b | Wrong UNSAT | 91.5291 | 91.5262 |
Name | /SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-dlx1c.ucl--soft-0-100-0.wbo |
MD5SUM | 25ae7044365e399485d04cd072582b8a |
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.148976 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 6392 |
Total number of constraints | 18058 |
Number of soft constraints | 18058 |
Number of constraints which are clauses | 17278 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 780 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 11 |
Top cost | 911376 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 911375 |
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-2690462-1277931776.wbo. 0.00/0.00 c Instance file HOME/instance-2690462-1277931776.wbo 0.00/0.00 c File size is 648975 bytes. 0.02/0.04 c Highest Coefficient sum: 126 0.02/0.04 c ============================[ Problem Statistics ]============================= 0.02/0.04 c | | 0.02/0.04 c | Parsing time: 0.04 s | 0.02/0.04 c | Number Variables: 6392 | 0.02/0.04 c | Number Clauses: 17278 | 0.02/0.04 c | Number Cardinality: 0 | 0.02/0.04 c | Number PB Constraints: 780 | 91.39/91.47 c ============================[ Search Statistics ]============================== 91.39/91.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.39/91.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.39/91.47 c =============================================================================== 91.39/91.47 c | 0 | 4691 19043 44147 | 6019 0 nan | 0.000 % | 91.39/91.48 c | 100 | 4691 19043 44147 | 6621 100 14 | 26.611 % | 91.39/91.49 c | 251 | 3870 19043 44147 | 7283 201 19 | 39.456 % | 91.49/91.51 c | 476 | 3870 19043 44147 | 8011 426 30 | 39.457 % | 91.49/91.52 s UNSATISFIABLE 91.49/91.52 c Total CPU time: 91.5061 s 91.49/91.52 c =============================================================================== 91.49/91.52 c 91.49/91.52 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-2690462-1277931776/watcher-2690462-1277931776 -o /tmp/evaluation-result-2690462-1277931776/solver-2690462-1277931776 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690462-1277931776.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.89 2.38 2.46 4/178 7352 /proc/meminfo: memFree=31531916/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=3468 CPUtime=0 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 349 0 0 0 0 0 0 0 25 0 1 0 134605958 3551232 268 4089446400 134512640 135752675 4292305408 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 867 268 149 303 0 403 0 [startup+0.0283201 s] /proc/loadavg: 1.89 2.38 2.46 4/178 7352 /proc/meminfo: memFree=31531916/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=4812 CPUtime=0.02 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 743 0 0 0 2 0 0 0 25 0 1 0 134605958 4927488 662 4089446400 134512640 135752675 4292305408 18446744073709551615 134564635 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 1203 662 233 303 0 739 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4812 [startup+0.100296 s] /proc/loadavg: 1.89 2.38 2.46 4/178 7352 /proc/meminfo: memFree=31531916/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=8808 CPUtime=0.09 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 1950 0 0 0 9 0 0 0 25 0 1 0 134605958 9019392 1710 4089446400 134512640 135752675 4292305408 18446744073709551615 134595045 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 2202 1710 141 303 0 1897 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8808 [startup+0.300258 s] /proc/loadavg: 1.89 2.38 2.46 4/178 7352 /proc/meminfo: memFree=31531916/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=12768 CPUtime=0.29 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 2935 0 0 0 29 0 0 0 25 0 1 0 134605958 13074432 2695 4089446400 134512640 135752675 4292305408 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 3192 2695 141 303 0 2887 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12768 [startup+0.70018 s] /proc/loadavg: 1.89 2.38 2.46 4/178 7352 /proc/meminfo: memFree=31531916/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=15540 CPUtime=0.69 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 3631 0 0 0 69 0 0 0 25 0 1 0 134605958 15912960 3391 4089446400 134512640 135752675 4292305408 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 3885 3391 141 303 0 3580 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15540 [startup+1.50104 s] /proc/loadavg: 1.89 2.38 2.46 3/179 7353 /proc/meminfo: memFree=31518524/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=19500 CPUtime=1.49 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 4619 0 0 0 149 0 0 0 25 0 1 0 134605958 19968000 4379 4089446400 134512640 135752675 4292305408 18446744073709551615 134697865 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 4875 4379 141 303 0 4570 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19500 [startup+3.10074 s] /proc/loadavg: 1.89 2.38 2.46 3/179 7353 /proc/meminfo: memFree=31507736/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=28740 CPUtime=3.09 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 6917 0 0 0 309 0 0 0 25 0 1 0 134605958 29429760 6677 4089446400 134512640 135752675 4292305408 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 7185 6677 141 303 0 6880 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 28740 [startup+6.30114 s] /proc/loadavg: 1.90 2.37 2.46 3/179 7353 /proc/meminfo: memFree=31504396/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=29268 CPUtime=6.29 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 7055 0 0 0 629 0 0 0 25 0 1 0 134605958 29970432 6815 4089446400 134512640 135752675 4292305408 18446744073709551615 134524619 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 7317 6815 141 303 0 7012 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 29268 [startup+12.701 s] /proc/loadavg: 1.91 2.37 2.46 3/179 7353 /proc/meminfo: memFree=31498476/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=32040 CPUtime=12.69 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 7760 0 0 0 1269 0 0 0 25 0 1 0 134605958 32808960 7520 4089446400 134512640 135752675 4292305408 18446744073709551615 134697724 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 8010 7520 141 303 0 7705 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32040 [startup+25.5006 s] /proc/loadavg: 1.93 2.35 2.45 3/179 7353 /proc/meminfo: memFree=31484396/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=41016 CPUtime=25.49 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 9992 0 0 0 2549 0 0 0 25 0 1 0 134605958 42000384 9752 4089446400 134512640 135752675 4292305408 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 10254 9752 141 303 0 9949 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 41016 [startup+51.1008 s] /proc/loadavg: 1.95 2.32 2.44 3/179 7354 /proc/meminfo: memFree=31454788/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=57120 CPUtime=51.09 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 14023 0 0 0 5108 1 0 0 25 0 1 0 134605958 58490880 13783 4089446400 134512640 135752675 4292305408 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 14280 13783 141 303 0 13975 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 57120 Solver just ended. Dumping a history of the last processes samples [startup+76.7011 s] /proc/loadavg: 1.97 2.29 2.42 3/179 7355 /proc/meminfo: memFree=31432056/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=67152 CPUtime=76.69 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 16542 0 0 0 7668 1 0 0 25 0 1 0 134605958 68763648 16302 4089446400 134512640 135752675 4292305408 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 16788 16302 141 303 0 16483 0 Current children cumulated CPU time (s) 76.69 Current children cumulated vsize (KiB) 67152 [startup+83.1009 s] /proc/loadavg: 1.97 2.29 2.42 3/179 7355 /proc/meminfo: memFree=31426972/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=67416 CPUtime=83.09 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 16585 0 0 0 8308 1 0 0 25 0 1 0 134605958 69033984 16345 4089446400 134512640 135752675 4292305408 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 16854 16345 141 303 0 16549 0 Current children cumulated CPU time (s) 83.09 Current children cumulated vsize (KiB) 67416 [startup+86.3003 s] /proc/loadavg: 1.97 2.28 2.42 3/179 7355 /proc/meminfo: memFree=31425732/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=67812 CPUtime=86.29 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 16690 0 0 0 8628 1 0 0 25 0 1 0 134605958 69439488 16450 4089446400 134512640 135752675 4292305408 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 16953 16450 141 303 0 16648 0 Current children cumulated CPU time (s) 86.29 Current children cumulated vsize (KiB) 67812 [startup+89.5007 s] /proc/loadavg: 1.97 2.28 2.42 3/179 7355 /proc/meminfo: memFree=31424356/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=67812 CPUtime=89.49 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 16690 0 0 0 8948 1 0 0 25 0 1 0 134605958 69439488 16450 4089446400 134512640 135752675 4292305408 18446744073709551615 134526076 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 16953 16450 141 303 0 16648 0 Current children cumulated CPU time (s) 89.49 Current children cumulated vsize (KiB) 67812 [startup+90.3005 s] /proc/loadavg: 1.97 2.28 2.42 3/179 7355 /proc/meminfo: memFree=31423364/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=67812 CPUtime=90.29 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 16690 0 0 0 9028 1 0 0 25 0 1 0 134605958 69439488 16450 4089446400 134512640 135752675 4292305408 18446744073709551615 134524019 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 16953 16450 141 303 0 16648 0 Current children cumulated CPU time (s) 90.29 Current children cumulated vsize (KiB) 67812 [startup+91.1004 s] /proc/loadavg: 1.97 2.28 2.42 3/179 7355 /proc/meminfo: memFree=31423364/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=67972 CPUtime=91.09 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 16709 0 0 0 9108 1 0 0 25 0 1 0 134605958 69603328 16469 4089446400 134512640 135752675 4292305408 18446744073709551615 135200730 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 16993 16469 141 303 0 16688 0 Current children cumulated CPU time (s) 91.09 Current children cumulated vsize (KiB) 67972 [startup+91.5003 s] /proc/loadavg: 1.97 2.28 2.42 3/179 7355 /proc/meminfo: memFree=31423116/32951124 swapFree=67111528/67111528 [pid=7352] ppid=7350 vsize=67972 CPUtime=91.49 /proc/7352/stat : 7352 (wbo1.4b) R 7350 7352 6759 0 -1 4202496 16712 0 0 0 9148 1 0 0 25 0 1 0 134605958 69603328 16472 4089446400 134512640 135752675 4292305408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/7352/statm: 16993 16472 144 303 0 16688 0 Current children cumulated CPU time (s) 91.49 Current children cumulated vsize (KiB) 67972 Child status: 0 Real time (s): 91.5262 CPU time (s): 91.5291 CPU user time (s): 91.5061 CPU system time (s): 0.022996 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 67972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 91.5061 system time used= 0.022996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16713 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= 2 involuntary context switches= 94 runsolver used 0.140978 second user time and 0.340948 second system time The end
Begin job on node111 at 2010-06-30 23:02:57 IDJOB=2690462 IDBENCH=79325 IDSOLVER=1201 FILE ID=node111/2690462-1277931776 PBS_JOBID= 11197429 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-dlx1c.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-2690462-1277931776/watcher-2690462-1277931776 -o /tmp/evaluation-result-2690462-1277931776/solver-2690462-1277931776 -C 1800 -W 2000 -M 3800 wbo1.4b -file-format=wbo -time-limit=1800 HOME/instance-2690462-1277931776.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 25ae7044365e399485d04cd072582b8a RANDOM SEED=1892146192 node111.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.850 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.70 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.850 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.82 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.850 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.850 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.85 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.850 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.850 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.850 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.850 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: 31532568 kB Buffers: 216960 kB Cached: 797988 kB SwapCached: 0 kB Active: 669600 kB Inactive: 603836 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31532568 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3360 kB Writeback: 0 kB AnonPages: 258604 kB Mapped: 17080 kB Slab: 79244 kB PageTables: 4924 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 408940 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 node111 at 2010-06-30 23:04:28