Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 183.323 | 183.398 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb |
MD5SUM | 016a6113efb9500350327fbbc3111675 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 15.5106 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 17 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702118-1278546512.opb. 0.00/0.00 c Instance file HOME/instance-2702118-1278546512.opb 0.00/0.00 c File size is 48923 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 864 | 0.00/0.00 c | Number Clauses: 648 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 673 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 864 1321 5535 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 102 | 864 1321 5535 | 5500 102 66 | 0.001 % | 0.00/0.02 c | 253 | 864 1321 5535 | 6050 253 77 | 0.001 % | 0.00/0.04 c | 478 | 864 1321 5535 | 6655 478 80 | 0.000 % | 0.06/0.06 c | 815 | 864 1321 5535 | 7320 815 70 | 0.000 % | 0.09/0.10 c | 1323 | 864 1321 5535 | 8052 1323 75 | 0.000 % | 0.09/0.18 c | 2082 | 864 1321 5535 | 8857 2082 78 | 0.001 % | 0.29/0.30 c | 3221 | 864 1321 5535 | 9743 3221 69 | 0.000 % | 0.39/0.46 c | 4929 | 864 1321 5535 | 10717 4929 69 | 0.000 % | 0.79/0.87 c | 7492 | 864 1321 5535 | 11789 7492 64 | 0.000 % | 1.39/1.41 c | 11336 | 864 1321 5535 | 12968 11336 60 | 0.000 % | 1.89/1.96 c | 17103 | 864 1321 5535 | 14265 10511 66 | 0.000 % | 3.09/3.12 c | 25752 | 864 1321 5535 | 15692 11817 56 | 0.000 % | 5.09/5.19 c | 38726 | 864 1321 5535 | 17261 8707 45 | 0.000 % | 7.69/7.79 c | 58188 | 864 1321 5535 | 18987 10229 63 | 0.000 % | 14.20/14.26 c | 87380 | 864 1321 5535 | 20886 10053 32 | 0.001 % | 22.39/22.48 c | 131169 | 864 1321 5535 | 22974 21464 62 | 0.000 % | 39.38/39.42 c | 196853 | 864 1321 5535 | 25272 11952 28 | 0.000 % | 50.48/50.55 c =============================================================================== 50.48/50.55 c New solution: 3 50.48/50.55 o 3 50.48/50.55 c Elapsed CPU time: 49.8304 s Remaining CPU time: 130.17 s 50.48/50.55 c =============================================================================== 50.48/50.55 c | 242762 | 864 1322 5544 | 5000 14442 69 | 0.000 % | 50.58/50.64 c | 242863 | 775 1322 5544 | 5500 3710 83 | 10.302 % | 50.58/50.65 c | 243014 | 775 1322 5544 | 6050 3861 82 | 10.301 % | 50.58/50.67 c | 243240 | 775 1322 5544 | 6655 4087 82 | 10.301 % | 50.68/50.70 c | 243582 | 775 1322 5544 | 7320 4429 81 | 10.301 % | 50.68/50.75 c | 244088 | 775 1322 5544 | 8052 4935 80 | 10.301 % | 50.78/50.82 c | 244847 | 775 1322 5544 | 8857 5694 79 | 10.301 % | 50.88/50.97 c | 245986 | 775 1322 5544 | 9743 6833 77 | 10.301 % | 51.18/51.21 c | 247695 | 775 1322 5544 | 10717 8542 75 | 10.301 % | 51.59/51.63 c | 250259 | 775 1322 5544 | 11789 11106 70 | 10.301 % | 52.37/52.41 c | 254103 | 775 1322 5544 | 12968 8812 62 | 10.301 % | 53.08/53.12 c | 259870 | 775 1322 5544 | 14265 7960 61 | 10.301 % | 54.18/54.25 c | 268520 | 775 1322 5544 | 15692 9378 57 | 10.301 % | 55.88/55.92 c | 281494 | 775 1322 5544 | 17261 14196 64 | 10.301 % | 58.88/58.98 c | 300955 | 775 1322 5544 | 18987 15827 65 | 10.301 % | 64.78/64.88 c | 330147 | 775 1322 5544 | 20886 15367 81 | 10.301 % | 74.57/74.63 c | 373936 | 775 1322 5544 | 22974 16448 35 | 10.301 % | 90.27/90.35 c | 439621 | 775 1322 5544 | 25272 21066 32 | 10.301 % | 117.96/118.09 c | 538148 | 775 1322 5544 | 27799 16331 52 | 10.301 % | 149.85/149.91 c | 685938 | 775 1322 5544 | 30579 27981 78 | 10.301 % | 182.35/182.40 c There are 89 assigned variables. 9 in cost function.
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-2702118-1278546512/watcher-2702118-1278546512 -o /tmp/evaluation-result-2702118-1278546512/solver-2702118-1278546512 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702118-1278546512.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.11 0.62 0.25 3/106 27977 /proc/meminfo: memFree=1734368/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=2764 CPUtime=0 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 335 0 0 0 0 0 0 0 18 0 1 0 22864866 2830336 253 1992294400 134512640 135751879 4290190032 18446744073709551615 135379708 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 691 254 146 303 0 374 0 [startup+0.066814 s] /proc/loadavg: 1.11 0.62 0.25 3/106 27977 /proc/meminfo: memFree=1734368/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=3108 CPUtime=0.06 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 437 0 0 0 6 0 0 0 20 0 1 0 22864866 3182592 343 1992294400 134512640 135751879 4290190032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 777 343 147 303 0 472 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3108 [startup+0.100818 s] /proc/loadavg: 1.11 0.62 0.25 3/106 27977 /proc/meminfo: memFree=1734368/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=3368 CPUtime=0.09 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 491 0 0 0 9 0 0 0 20 0 1 0 22864866 3448832 397 1992294400 134512640 135751879 4290190032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 842 397 147 303 0 537 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3368 [startup+0.30084 s] /proc/loadavg: 1.11 0.62 0.25 3/106 27977 /proc/meminfo: memFree=1734368/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=4008 CPUtime=0.29 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 668 0 0 0 28 1 0 0 20 0 1 0 22864866 4104192 574 1992294400 134512640 135751879 4290190032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 1002 574 147 303 0 697 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4008 [startup+0.700884 s] /proc/loadavg: 1.11 0.62 0.25 3/106 27977 /proc/meminfo: memFree=1734368/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=5304 CPUtime=0.69 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 992 0 0 0 67 2 0 0 21 0 1 0 22864866 5431296 898 1992294400 134512640 135751879 4290190032 18446744073709551615 134616332 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 1326 898 147 303 0 1021 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5304 [startup+1.50097 s] /proc/loadavg: 1.11 0.62 0.25 2/107 27978 /proc/meminfo: memFree=1731136/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=7500 CPUtime=1.49 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 1516 0 0 0 145 4 0 0 23 0 1 0 22864866 7680000 1422 1992294400 134512640 135751879 4290190032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 1875 1423 147 303 0 1570 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7500 [startup+3.10115 s] /proc/loadavg: 1.11 0.62 0.25 2/107 27978 /proc/meminfo: memFree=1727292/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=12016 CPUtime=3.09 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 2668 0 0 0 302 7 0 0 25 0 1 0 22864866 12304384 2574 1992294400 134512640 135751879 4290190032 18446744073709551615 134616374 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 3004 2574 148 303 0 2699 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12016 [startup+6.30051 s] /proc/loadavg: 1.11 0.62 0.25 2/107 27978 /proc/meminfo: memFree=1720224/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=18988 CPUtime=6.29 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 4404 0 0 0 615 14 0 0 25 0 1 0 22864866 19443712 4310 1992294400 134512640 135751879 4290190032 18446744073709551615 134649755 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 4747 4310 148 303 0 4442 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18988 [startup+12.7012 s] /proc/loadavg: 1.10 0.63 0.26 2/107 27978 /proc/meminfo: memFree=1709188/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=28720 CPUtime=12.69 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 6827 0 0 0 1246 23 0 0 25 0 1 0 22864866 29409280 6733 1992294400 134512640 135751879 4290190032 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 7180 6733 148 303 0 6875 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28720 [startup+25.5006 s] /proc/loadavg: 1.07 0.65 0.27 2/107 27978 /proc/meminfo: memFree=1688232/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=48972 CPUtime=25.48 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 11899 0 0 0 2505 43 0 0 25 0 1 0 22864866 50147328 11805 1992294400 134512640 135751879 4290190032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 12243 11805 148 303 0 11938 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48972 [startup+51.1015 s] /proc/loadavg: 1.05 0.67 0.29 2/107 27978 /proc/meminfo: memFree=1665044/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=73708 CPUtime=51.08 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 18033 0 0 0 5036 72 0 0 25 0 1 0 22864866 75476992 17939 1992294400 134512640 135751879 4290190032 18446744073709551615 134616317 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 18427 17939 148 303 0 18122 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 73708 [startup+102.308 s] /proc/loadavg: 1.02 0.72 0.32 2/107 27980 /proc/meminfo: memFree=1595728/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=141240 CPUtime=102.27 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 34903 0 0 0 10086 141 0 0 25 0 1 0 22864866 144629760 34809 1992294400 134512640 135751879 4290190032 18446744073709551615 134606331 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 35310 34809 148 303 0 35005 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 141240 [startup+162.301 s] /proc/loadavg: 1.00 0.77 0.36 2/107 27982 /proc/meminfo: memFree=1515872/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=221492 CPUtime=162.25 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 54913 0 0 0 16010 215 0 0 25 0 1 0 22864866 226807808 54819 1992294400 134512640 135751879 4290190032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 55373 54819 148 303 0 55068 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 221492 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.00 0.77 0.37 2/107 27982 /proc/meminfo: memFree=1511160/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=225888 CPUtime=166.25 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 56025 0 0 0 16407 218 0 0 25 0 1 0 22864866 231309312 55931 1992294400 134512640 135751879 4290190032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 56472 55931 148 303 0 56167 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 225888 [startup+172.709 s] /proc/loadavg: 1.00 0.78 0.37 2/107 27982 /proc/meminfo: memFree=1505332/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=231720 CPUtime=172.65 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 57449 0 0 0 17041 224 0 0 25 0 1 0 22864866 237281280 57355 1992294400 134512640 135751879 4290190032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 57930 57355 148 303 0 57625 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 231720 [startup+179.101 s] /proc/loadavg: 1.00 0.78 0.37 2/107 27982 /proc/meminfo: memFree=1498140/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=239572 CPUtime=179.05 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 59423 0 0 0 17672 233 0 0 25 0 1 0 22864866 245321728 59329 1992294400 134512640 135751879 4290190032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 59893 59329 148 303 0 59588 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 239572 [startup+180.701 s] /proc/loadavg: 1.00 0.78 0.37 2/107 27982 /proc/meminfo: memFree=1496776/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=240600 CPUtime=180.64 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 59669 0 0 0 17831 233 0 0 25 0 1 0 22864866 246374400 59575 1992294400 134512640 135751879 4290190032 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 60150 59575 148 303 0 59845 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 240600 [startup+182.301 s] /proc/loadavg: 1.00 0.78 0.37 2/107 27982 /proc/meminfo: memFree=1495908/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=241496 CPUtime=182.25 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4202496 59893 0 0 0 17990 235 0 0 25 0 1 0 22864866 247291904 59799 1992294400 134512640 135751879 4290190032 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 60374 59799 148 303 0 60069 0 Current children cumulated CPU time (s) 182.25 Current children cumulated vsize (KiB) 241496 [startup+183.101 s] /proc/loadavg: 1.00 0.78 0.37 2/107 27982 /proc/meminfo: memFree=1469000/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=241636 CPUtime=183.05 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4204032 59952 0 0 0 18000 305 0 0 25 0 1 0 22864866 247435264 59858 1992294400 134512640 135751879 4290190032 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27977/statm: 60409 59858 148 303 0 60104 0 Current children cumulated CPU time (s) 183.05 Current children cumulated vsize (KiB) 241636 [startup+183.301 s] /proc/loadavg: 1.00 0.78 0.37 2/107 27982 /proc/meminfo: memFree=1469000/2059040 swapFree=4139412/4192956 [pid=27977] ppid=27975 vsize=241636 CPUtime=183.22 /proc/27977/stat : 27977 (wbo1.4b) R 27975 27977 27473 0 -1 4204032 59952 0 0 0 18000 322 0 0 18 0 1 0 22864866 247435264 59858 1992294400 134512640 135751879 4290190032 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 1 /proc/27977/statm: 60409 59858 148 303 0 60104 0 Current children cumulated CPU time (s) 183.22 Current children cumulated vsize (KiB) 241636 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 183.398 CPU time (s): 183.323 CPU user time (s): 180.001 CPU system time (s): 3.32249 CPU usage (%): 99.959 Max. virtual memory (cumulated for all children) (KiB): 241636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.001 system time used= 3.32249 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 59953 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= 4 involuntary context switches= 2012 runsolver used 0.298954 second user time and 0.876866 second system time The end
Begin job on node005 at 2010-07-08 01:48:33 IDJOB=2702118 IDBENCH=47994 IDSOLVER=1161 FILE ID=node005/2702118-1278546512 PBS_JOBID= 11239525 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702118-1278546512/watcher-2702118-1278546512 -o /tmp/evaluation-result-2702118-1278546512/solver-2702118-1278546512 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702118-1278546512.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 016a6113efb9500350327fbbc3111675 RANDOM SEED=1711608180 node005.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1735516 kB Buffers: 56572 kB Cached: 179504 kB SwapCached: 6884 kB Active: 125756 kB Inactive: 123980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1735516 kB SwapTotal: 4192956 kB SwapFree: 4139412 kB Dirty: 2796 kB Writeback: 0 kB AnonPages: 11452 kB Mapped: 11896 kB Slab: 51832 kB PageTables: 4232 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181984 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702118-1278546512.opb Free space on /tmp at the end= 62304 MiB End job on node005 at 2010-07-08 01:51:36