Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 28.3777 | 28.3894 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=157-P1=211-P2=97-P3=71-B.opb |
MD5SUM | 85ac83bf4a556e0f3edfff4036eff461 |
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 | 1.3048 |
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 | 72 |
Total number of constraints | 7 |
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 | 7 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 192 |
Sum of products size (including duplicates) | 384 |
Number of different products | 192 |
Sum of products size | 384 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1877901-1245185764.opb 0.00/0.00 c File size is 14173 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 264 Constr: 394 192/0/202 Lit: 1648 Watch. Lit: 1016 0.00/0.00 c Obj. Vars: 8 (3.0303 % of total variables) 0.00/0.00 c Pre-processing Time: 0.004 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 264 394 1648 4 1416 2207 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.05 c 103 264 497 7406 14 1575 2428 103 7923 0.01 0.00/0.05 c 253 264 647 21516 33 1869 2671 253 7906 0.03 0.00/0.05 o 129 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 400 264 795 31206 39 2162 2223 401 7843 0.05 0.09/0.12 c 500 264 895 38444 42 2392 2446 501 7812 0.06 0.09/0.12 c 751 264 1146 52256 45 2870 2691 752 7905 0.10 0.09/0.12 o 105 0.29/0.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.34 c 969 264 1365 65239 47 3311 2223 971 7878 0.12 0.29/0.34 c 1069 254 1465 71345 48 3534 2446 1071 7802 0.14 0.29/0.34 c 1319 254 1715 86428 50 4058 2691 1321 7494 0.18 0.29/0.34 c 1794 254 2190 115927 52 4999 2961 1796 7147 0.25 0.29/0.34 o 41 1.10/1.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.18 c 2329 254 2726 147900 54 6087 2221 2332 6890 0.34 1.10/1.18 c 2430 244 1608 74394 46 3782 2444 1214 6845 0.35 1.10/1.18 c 2681 244 1859 89382 48 4289 2689 1465 6787 0.40 1.10/1.18 c 3157 244 2335 121824 52 5237 2958 1941 6848 0.46 1.10/1.18 c 3970 244 3148 177227 56 6907 3254 2754 6372 0.62 1.10/1.18 c 5291 244 2755 149851 54 6106 3580 2361 5628 0.94 1.10/1.18 o 17 16.88/16.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.88/16.91 c 6665 244 2187 108397 49 4962 2219 1793 5610 1.19 16.88/16.91 c 6765 244 2287 115642 50 5136 2441 1893 5558 1.22 16.88/16.91 c 7016 244 2538 129875 51 5661 2686 2144 5533 1.27 16.88/16.91 c 7492 244 3014 161729 53 6632 2955 2620 5591 1.34 16.88/16.91 c 8305 244 2273 112362 49 5143 3251 1879 5503 1.51 16.88/16.91 c 9625 244 3593 183463 51 7788 3577 3199 5185 1.86 16.88/16.91 c 11707 244 3815 193697 50 8233 3935 3421 4998 2.34 16.88/16.91 c 14930 234 2844 148676 52 6275 4329 2450 4792 3.12 16.88/16.91 c 19866 234 3291 167511 50 7180 4762 2897 4499 4.42 16.88/16.91 c 27372 234 3405 175027 51 7397 5239 3011 4220 6.49 16.88/16.91 c 38734 231 3734 218192 58 8005 5763 3340 3907 9.91 16.88/16.91 o 9 17.18/17.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.18/17.23 c 54680 231 4815 281195 58 10236 2217 4421 3233 16.91 17.18/17.23 c 54781 231 1610 68451 42 3811 2439 1216 3232 16.95 17.18/17.23 c 55031 231 1860 85172 45 4315 2683 1466 3237 17.00 17.18/17.23 c 55507 231 2336 117031 50 5242 2952 1942 3245 17.10 17.18/17.23 o 3 28.28/28.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.28/28.38 c 56024 231 2854 149627 52 6311 2217 2460 3251 17.23 28.28/28.38 c 56124 190 1609 79456 49 3821 2439 1215 3253 17.25 28.28/28.38 c 56382 190 1867 94620 50 4317 2683 1473 3259 17.30 28.28/28.38 c 56857 190 2342 123393 52 5289 2952 1948 3263 17.42 28.28/28.38 c 57671 190 3156 166615 52 6938 3248 2762 3268 17.64 28.28/28.38 c 58991 190 2714 135597 49 6048 3573 2320 3269 18.04 28.28/28.38 c 61073 190 2875 157972 54 6336 3931 2481 3242 18.83 28.28/28.38 c 64297 190 3997 233724 58 8613 4325 3603 3254 19.75 28.28/28.38 c 69234 190 4332 245359 56 9264 4758 3938 3190 21.70 28.28/28.38 c 76740 190 4322 236270 54 9241 5234 3928 3163 24.26 28.28/28.38 c 88101 189 4768 267063 56 10122 5758 4374 3107 28.35 28.28/28.38 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 x14 -x15 x16 x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28 x29 x30 -x31 x32 x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 x263 -x264 -x65 -x66 x67 x68 -x69 x70 -x71 -x72 28.28/28.38 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 28.28/28.38 c 41 88228 566 91740 4895 267955 4501 3109 28.38 28.28/28.38 c Objective: 3 28.28/28.38 s OPTIMUM FOUND 28.28/28.38 c Total time: 28.375 s
OK 3
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1877901-1245185764/watcher-1877901-1245185764 -o /tmp/evaluation-result-1877901-1245185764/solver-1877901-1245185764 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877901-1245185764.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: 0.95 0.99 0.99 3/64 3753 /proc/meminfo: memFree=1832752/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=10708 CPUtime=0 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 274 0 0 0 0 0 0 0 18 0 1 0 186177109 10964992 254 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 2677 257 191 640 0 2033 0 [startup+0.104655 s] /proc/loadavg: 0.95 0.99 0.99 3/64 3753 /proc/meminfo: memFree=1832752/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=11480 CPUtime=0.09 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 475 0 0 0 9 0 0 0 18 0 1 0 186177109 11755520 455 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 2870 455 197 640 0 2226 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11480 [startup+0.201676 s] /proc/loadavg: 0.95 0.99 0.99 3/64 3753 /proc/meminfo: memFree=1832752/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=12120 CPUtime=0.19 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 627 0 0 0 19 0 0 0 18 0 1 0 186177109 12410880 607 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 3030 607 197 640 0 2386 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12120 [startup+0.301696 s] /proc/loadavg: 0.95 0.99 0.99 3/64 3753 /proc/meminfo: memFree=1832752/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=12636 CPUtime=0.29 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 754 0 0 0 29 0 0 0 19 0 1 0 186177109 12939264 734 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 3159 734 197 640 0 2515 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12636 [startup+0.701782 s] /proc/loadavg: 0.95 0.99 0.99 3/64 3753 /proc/meminfo: memFree=1832752/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=13536 CPUtime=0.69 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 986 0 0 0 68 1 0 0 22 0 1 0 186177109 13860864 966 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 3384 966 197 640 0 2740 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13536 [startup+1.50195 s] /proc/loadavg: 0.96 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1829224/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=14172 CPUtime=1.49 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1134 0 0 0 148 1 0 0 25 0 1 0 186177109 14512128 1114 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 3543 1114 197 640 0 2899 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14172 [startup+3.1013 s] /proc/loadavg: 0.96 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1828776/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=14300 CPUtime=3.08 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1190 0 0 0 307 1 0 0 25 0 1 0 186177109 14643200 1170 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 3575 1170 197 640 0 2931 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 14300 [startup+6.30198 s] /proc/loadavg: 0.96 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1828072/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=14816 CPUtime=6.29 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1319 0 0 0 627 2 0 0 25 0 1 0 186177109 15171584 1299 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 3704 1299 197 640 0 3060 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14816 [startup+12.7014 s] /proc/loadavg: 0.96 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1826608/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=16356 CPUtime=12.68 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1686 0 0 0 1264 4 0 0 25 0 1 0 186177109 16748544 1666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 4089 1666 197 640 0 3445 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 16356 [startup+25.5011 s] /proc/loadavg: 0.97 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1826672/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=16288 CPUtime=25.48 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1686 0 0 0 2541 7 0 0 25 0 1 0 186177109 16678912 1666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 4072 1666 197 640 0 3428 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16288 Solver just ended. Dumping a history of the last processes samples [startup+25.6011 s] /proc/loadavg: 0.97 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1826672/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=16288 CPUtime=25.58 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1686 0 0 0 2551 7 0 0 25 0 1 0 186177109 16678912 1666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 4072 1666 197 640 0 3428 0 Current children cumulated CPU time (s) 25.58 Current children cumulated vsize (KiB) 16288 [startup+27.2015 s] /proc/loadavg: 0.97 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1826672/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=16284 CPUtime=27.18 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1686 0 0 0 2710 8 0 0 25 0 1 0 186177109 16674816 1666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 4071 1666 197 640 0 3427 0 Current children cumulated CPU time (s) 27.18 Current children cumulated vsize (KiB) 16284 [startup+28.0016 s] /proc/loadavg: 0.97 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1826672/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=16280 CPUtime=27.98 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1686 0 0 0 2790 8 0 0 25 0 1 0 186177109 16670720 1666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 4070 1666 197 640 0 3426 0 Current children cumulated CPU time (s) 27.98 Current children cumulated vsize (KiB) 16280 [startup+28.2017 s] /proc/loadavg: 0.97 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1826672/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=16280 CPUtime=28.18 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1686 0 0 0 2810 8 0 0 25 0 1 0 186177109 16670720 1666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 4070 1666 197 640 0 3426 0 Current children cumulated CPU time (s) 28.18 Current children cumulated vsize (KiB) 16280 [startup+28.3017 s] /proc/loadavg: 0.97 0.99 0.99 2/65 3754 /proc/meminfo: memFree=1826672/2055920 swapFree=4192812/4192956 [pid=3753] ppid=3751 vsize=16280 CPUtime=28.28 /proc/3753/stat : 3753 (bsolo) R 3751 3753 2685 0 -1 4194304 1686 0 0 0 2820 8 0 0 25 0 1 0 186177109 16670720 1666 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/3753/statm: 4070 1666 197 640 0 3426 0 Current children cumulated CPU time (s) 28.28 Current children cumulated vsize (KiB) 16280 Child status: 0 Real time (s): 28.3894 CPU time (s): 28.3777 CPU user time (s): 28.2927 CPU system time (s): 0.084987 CPU usage (%): 99.9588 Max. virtual memory (cumulated for all children) (KiB): 16356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.2927 system time used= 0.084987 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1688 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= 32 runsolver used 0.032994 second user time and 0.06399 second system time The end
Begin job on node10 at 2009-06-16 22:56:04 IDJOB=1877901 IDBENCH=47881 IDSOLVER=700 FILE ID=node10/1877901-1245185764 PBS_JOBID= 9363937 Free space on /tmp= 65988 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=157-P1=211-P2=97-P3=71-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1877901-1245185764/watcher-1877901-1245185764 -o /tmp/evaluation-result-1877901-1245185764/solver-1877901-1245185764 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1877901-1245185764.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 85ac83bf4a556e0f3edfff4036eff461 RANDOM SEED=322322859 node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1833104 kB Buffers: 49908 kB Cached: 106220 kB SwapCached: 0 kB Active: 55688 kB Inactive: 113840 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1833104 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 4424 kB Writeback: 0 kB Mapped: 23232 kB Slab: 39332 kB Committed_AS: 188444 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1877901-1245185764.opb Free space on /tmp at the end= 65984 MiB End job on node10 at 2009-06-16 22:56:33