Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 cl | OPT | 3 | 31.4462 | 31.4556 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb |
MD5SUM | 8a0125b71bb37b2e2e8bfc178a3ff25d |
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 | 4.00539 |
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 | 105 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 245 |
Sum of products size (including duplicates) | 490 |
Number of different products | 245 |
Sum of products size | 490 |
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-1878111-1245189500.opb 0.00/0.00 c File size is 18218 bytes. 0.00/0.00 c Highest Coefficient sum: 32512 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 350 Constr: 506 245/0/261 Lit: 2128 Watch. Lit: 1317 0.00/0.00 c Obj. Vars: 7 (2 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 350 506 2128 4 1825 2867 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 16.99/17.07 c 102 350 608 7381 12 1978 3154 102 7285 0.01 16.99/17.07 c 253 350 759 15131 19 2247 3470 253 6657 0.04 16.99/17.07 c 478 350 984 28029 28 2683 3818 478 8101 0.06 16.99/17.07 c 816 350 1322 45879 34 3369 4200 816 9066 0.09 16.99/17.07 c 1325 350 1831 73181 39 4430 4621 1325 8952 0.15 16.99/17.07 c 2091 350 2597 111272 42 5994 5084 2091 8935 0.23 16.99/17.07 c 3237 350 3743 176563 47 8221 5593 3237 7992 0.41 16.99/17.07 c 4959 350 5465 270275 49 11671 6153 4959 6261 0.79 16.99/17.07 c 7544 350 4656 222278 47 10036 6769 4150 6011 1.25 16.99/17.07 c 11424 350 5029 220115 43 10781 7446 4523 5190 2.20 16.99/17.07 c 17248 350 6806 324289 47 14363 8191 6300 4515 3.82 16.99/17.07 c 25986 350 6980 342917 49 14706 9011 6474 4268 6.09 16.99/17.07 c 39097 350 5703 273849 48 12140 9913 5197 3406 11.48 16.99/17.07 o 49 26.48/26.55 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 26.48/26.55 c 58581 349 9460 470238 49 19624 2881 8954 3431 17.07 26.48/26.55 c 58681 349 2050 78719 38 4847 3170 1544 3418 17.17 26.48/26.55 c 58933 349 2302 91247 39 5348 3488 1796 3427 17.19 26.48/26.55 c 59409 349 2778 114746 41 6301 3837 2272 3441 17.26 26.48/26.55 c 60223 349 3592 154277 42 7923 4221 3086 3458 17.41 26.48/26.55 c 61543 349 2630 107991 41 5995 4644 2124 3488 17.64 26.48/26.55 c 63624 349 4711 212996 45 10154 5109 4205 3518 18.08 26.48/26.55 c 66847 349 5336 237774 44 11388 5620 4830 3502 19.09 26.48/26.55 c 71784 340 4357 200870 46 9437 6183 3851 3530 20.33 26.48/26.55 c 79291 340 5352 259989 48 11465 6802 4846 3547 22.35 26.48/26.55 o 9 27.98/28.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 27.98/28.07 c 88559 339 4089 171158 41 8974 2879 3583 3336 26.54 27.98/28.07 c 88661 331 2054 70483 34 4833 3167 1548 3337 26.57 27.98/28.07 c 88911 331 2304 83330 36 5348 3484 1798 3341 26.61 27.98/28.07 c 89386 331 2779 106211 38 6285 3833 2273 3347 26.70 27.98/28.07 c 90200 331 3593 144668 40 7924 4217 3087 3351 26.91 27.98/28.07 c 91520 331 2732 108357 39 6217 4639 2226 3358 27.25 27.98/28.07 c 93602 321 4814 213633 44 10372 5103 4308 3381 27.68 27.98/28.07 o 3 31.38/31.45 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 31.38/31.45 c 94940 318 3530 147455 41 7846 2875 3024 3382 28.07 31.38/31.45 c 95040 318 2052 72384 35 4878 3163 1546 3384 28.08 31.38/31.45 c 95291 318 2303 85987 37 5376 3480 1797 3388 28.12 31.38/31.45 c 95766 290 2778 107925 38 6329 3829 2272 3394 28.21 31.38/31.45 c 96579 290 3591 149020 41 7942 4212 3085 3401 28.39 31.38/31.45 c 97899 290 2711 105926 39 6177 4634 2205 3395 28.83 31.38/31.45 c 99980 290 4792 207445 43 10349 5098 4286 3391 29.48 31.38/31.45 c 103204 287 5380 237412 44 11550 5608 4874 3357 30.74 31.38/31.45 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 -x33 -x34 -x35 x36 x37 -x38 -x39 x40 -x41 x42 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 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 x149 -x150 -x151 -x152 -x153 -x154 x43 x44 -x45 x46 -x47 -x48 -x49 -x71 x72 -x73 -x74 -x75 -x76 -x77 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 -x201 -x202 -x203 x50 -x51 -x52 -x53 -x54 -x55 -x56 x78 x79 -x80 -x81 -x82 -x83 -x84 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 x57 x58 -x59 -x60 -x61 -x62 -x63 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x253 x254 -x255 -x256 -x257 -x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x64 -x65 -x66 x67 -x68 -x69 -x70 -x92 -x93 -x94 -x95 -x96 -x97 -x98 x302 -x303 -x304 x305 -x306 -x307 -x308 x309 -x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 x347 -x348 -x349 -x350 x99 -x100 x101 -x102 -x103 -x104 -x105 31.38/31.45 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 31.38/31.45 c 38 105432 1805 113329 4708 193485 4202 3353 31.44 31.38/31.45 c Objective: 3 31.38/31.45 s OPTIMUM FOUND 31.38/31.45 c Total time: 31.443 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-1878111-1245189500/watcher-1878111-1245189500 -o /tmp/evaluation-result-1878111-1245189500/solver-1878111-1245189500 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878111-1245189500.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.00 1.00 1.00 3/64 5807 /proc/meminfo: memFree=1847976/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=10712 CPUtime=0 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 186547123 10969088 260 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 2678 263 189 640 0 2034 0 [startup+0.0568239 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5807 /proc/meminfo: memFree=1847976/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=11100 CPUtime=0.05 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 378 0 0 0 5 0 0 0 18 0 1 0 186547123 11366400 357 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 2775 357 196 640 0 2131 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11100 [startup+0.10183 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5807 /proc/meminfo: memFree=1847976/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=11488 CPUtime=0.09 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 473 0 0 0 9 0 0 0 18 0 1 0 186547123 11763712 452 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 2872 452 196 640 0 2228 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11488 [startup+0.301859 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5807 /proc/meminfo: memFree=1847976/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=12780 CPUtime=0.29 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 786 0 0 0 29 0 0 0 19 0 1 0 186547123 13086720 765 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 3195 765 196 640 0 2551 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12780 [startup+0.701915 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5807 /proc/meminfo: memFree=1847976/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=14448 CPUtime=0.69 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 1221 0 0 0 68 1 0 0 22 0 1 0 186547123 14794752 1200 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 3612 1200 196 640 0 2968 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14448 [startup+1.50103 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1842784/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=15992 CPUtime=1.49 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 1591 0 0 0 148 1 0 0 25 0 1 0 186547123 16375808 1570 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 3998 1570 196 640 0 3354 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15992 [startup+3.10126 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1842208/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=16640 CPUtime=3.09 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 1774 0 0 0 307 2 0 0 25 0 1 0 186547123 17039360 1753 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 4160 1753 196 640 0 3516 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16640 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1841192/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=17152 CPUtime=6.29 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 1886 0 0 0 625 4 0 0 25 0 1 0 186547123 17563648 1865 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 4288 1865 196 640 0 3644 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17152 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1840040/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=18440 CPUtime=12.69 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 2228 0 0 0 1263 6 0 0 25 0 1 0 186547123 18882560 2207 1992294400 134512640 137136520 4294956256 18446744073709551615 136498238 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 4610 2207 196 640 0 3966 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18440 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1839528/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=18692 CPUtime=25.48 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 2291 0 0 0 2537 11 0 0 25 0 1 0 186547123 19140608 2270 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 4673 2270 197 640 0 4029 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18692 Solver just ended. Dumping a history of the last processes samples [startup+28.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1839528/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=18692 CPUtime=28.68 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 2291 0 0 0 2856 12 0 0 25 0 1 0 186547123 19140608 2270 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 4673 2270 197 640 0 4029 0 Current children cumulated CPU time (s) 28.68 Current children cumulated vsize (KiB) 18692 [startup+30.3012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1839528/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=18692 CPUtime=30.28 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 2291 0 0 0 3015 13 0 0 25 0 1 0 186547123 19140608 2270 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 4673 2270 197 640 0 4029 0 Current children cumulated CPU time (s) 30.28 Current children cumulated vsize (KiB) 18692 [startup+31.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1839528/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=18692 CPUtime=31.08 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 2291 0 0 0 3095 13 0 0 25 0 1 0 186547123 19140608 2270 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 4673 2270 197 640 0 4029 0 Current children cumulated CPU time (s) 31.08 Current children cumulated vsize (KiB) 18692 [startup+31.3013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1839528/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=18692 CPUtime=31.28 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 2291 0 0 0 3115 13 0 0 25 0 1 0 186547123 19140608 2270 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 4673 2270 197 640 0 4029 0 Current children cumulated CPU time (s) 31.28 Current children cumulated vsize (KiB) 18692 [startup+31.4013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5808 /proc/meminfo: memFree=1839528/2055920 swapFree=4182572/4192956 [pid=5807] ppid=5805 vsize=18692 CPUtime=31.38 /proc/5807/stat : 5807 (bsolo) R 5805 5807 5260 0 -1 4194304 2291 0 0 0 3125 13 0 0 25 0 1 0 186547123 19140608 2270 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5807/statm: 4673 2270 197 640 0 4029 0 Current children cumulated CPU time (s) 31.38 Current children cumulated vsize (KiB) 18692 Child status: 0 Real time (s): 31.4556 CPU time (s): 31.4462 CPU user time (s): 31.3102 CPU system time (s): 0.135979 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 18692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.3102 system time used= 0.135979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2293 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= 40 runsolver used 0.033994 second user time and 0.065989 second system time The end
Begin job on node39 at 2009-06-16 23:58:21 IDJOB=1878111 IDBENCH=48091 IDSOLVER=700 FILE ID=node39/1878111-1245189500 PBS_JOBID= 9368293 Free space on /tmp= 66128 MiB SOLVER NAME= bsolo 3.1 cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=5-P1=113-P2=107-P3=11-P4=43-P5=101-B.opb COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878111-1245189500/watcher-1878111-1245189500 -o /tmp/evaluation-result-1878111-1245189500/solver-1878111-1245189500 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878111-1245189500.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8a0125b71bb37b2e2e8bfc178a3ff25d RANDOM SEED=952138617 node39.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: 1848456 kB Buffers: 53032 kB Cached: 86504 kB SwapCached: 4216 kB Active: 50068 kB Inactive: 97288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848456 kB SwapTotal: 4192956 kB SwapFree: 4182572 kB Dirty: 4168 kB Writeback: 0 kB Mapped: 13604 kB Slab: 46156 kB Committed_AS: 142244 kB PageTables: 1384 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-1878111-1245189500.opb Free space on /tmp at the end= 66128 MiB End job on node39 at 2009-06-16 23:58:52