Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | OPT | 3 | 46.214 | 46.2286 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=6-P0=59-P1=37-P2=37-P3=53-P4=11-P5=7-P6=13-B.opb |
MD5SUM | 337bfe939508532505172ec5c27d5fd3 |
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.84772 |
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 | 108 |
Total number of constraints | 13 |
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 | 13 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 6 |
Biggest coefficient in the objective function | 32 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 63 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 2048 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 8064 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 216 |
Sum of products size (including duplicates) | 432 |
Number of different products | 216 |
Sum of products size | 432 |
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: Generic Pseudo-Boolean 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-1879465-1245244020.opb 0.00/0.00 c File size is 16140 bytes. 0.00/0.00 c Highest Coefficient sum: 8064 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: 324 Constr: 451 216/0/235 Lit: 1902 Watch. Lit: 1190 0.00/0.00 c Obj. Vars: 6 (1.85185 % 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 324 451 1902 4 1628 2579 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 1.19/1.29 c 101 324 639 8818 13 3278 2837 188 5315 0.02 1.19/1.29 c 253 324 884 22924 25 4908 3121 433 3418 0.07 1.19/1.29 c 478 324 1279 40387 31 7447 3434 828 3793 0.13 1.19/1.29 c 817 324 1903 65033 34 10863 3778 1452 3334 0.24 1.19/1.29 c 1325 324 2836 103259 36 16995 4156 2385 2795 0.47 1.19/1.29 c 2088 324 4259 157416 36 26565 4572 3808 2007 1.04 1.19/1.29 o 3 46.18/46.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 46.18/46.22 c 2711 324 2749 93860 34 15272 2591 2298 2096 1.29 46.18/46.22 c 2811 283 2944 102941 34 17734 2851 2493 2044 1.38 46.18/46.22 c 3062 283 1880 60624 32 11123 3137 1429 2067 1.48 46.18/46.22 c 3537 283 2803 101326 36 21036 3451 2352 2003 1.76 46.18/46.22 c 4350 283 2250 75585 33 9757 3797 1799 2007 2.17 46.18/46.22 c 5670 283 2788 91800 32 17610 4177 2337 1856 3.05 46.18/46.22 c 7751 283 4346 156315 35 28893 4595 3895 1731 4.48 46.18/46.22 c 10976 282 2755 111639 40 14412 5055 2304 1399 7.84 46.18/46.22 c 15913 280 3736 132933 35 33047 5561 3285 1070 14.86 46.18/46.22 c 23420 280 4948 181778 36 21701 6118 4497 889 26.34 46.18/46.22 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 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 x43 -x44 -x45 -x46 -x47 x48 -x73 -x74 -x75 -x76 -x77 -x78 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 x49 -x50 -x51 -x52 -x53 -x54 x79 -x80 -x81 -x82 x83 -x84 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 x55 -x56 x57 -x58 -x59 -x60 -x85 -x86 -x87 -x88 -x89 -x90 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 x61 -x62 -x63 -x64 -x65 -x66 x91 -x92 -x93 -x94 -x95 -x96 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 x67 -x68 x69 -x70 -x71 -x72 -x97 -x98 -x99 -x100 -x101 -x102 x289 -x290 x291 -x292 -x293 -x294 x295 -x296 x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x103 -x104 -x105 -x106 -x107 -x108 46.18/46.22 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 46.18/46.22 c 16 34381 1016 38904 5796 198010 5345 744 46.21 46.18/46.22 c Objective: 3 46.18/46.22 s OPTIMUM FOUND 46.18/46.22 c Total time: 46.211 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-1879465-1245244020/watcher-1879465-1245244020 -o /tmp/evaluation-result-1879465-1245244020/solver-1879465-1245244020 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879465-1245244020.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 14192 /proc/meminfo: memFree=1852968/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=10712 CPUtime=0 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 279 0 0 0 0 0 0 0 18 0 1 0 191999191 10969088 259 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 2678 259 189 640 0 2034 0 [startup+0.0568091 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14192 /proc/meminfo: memFree=1852968/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=10972 CPUtime=0.05 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 363 0 0 0 5 0 0 0 18 0 1 0 191999191 11235328 343 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 2743 343 198 640 0 2099 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 10972 [startup+0.101849 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14192 /proc/meminfo: memFree=1852968/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=11232 CPUtime=0.09 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 427 0 0 0 9 0 0 0 18 0 1 0 191999191 11501568 407 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 2808 407 198 640 0 2164 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11232 [startup+0.301836 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14192 /proc/meminfo: memFree=1852968/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=12008 CPUtime=0.29 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 612 0 0 0 29 0 0 0 19 0 1 0 191999191 12296192 592 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3002 592 198 640 0 2358 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12008 [startup+0.70188 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14192 /proc/meminfo: memFree=1852968/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=13176 CPUtime=0.69 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 887 0 0 0 69 0 0 0 22 0 1 0 191999191 13492224 867 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3294 867 198 640 0 2650 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13176 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1849824/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=14480 CPUtime=1.49 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1237 0 0 0 148 1 0 0 25 0 1 0 191999191 14827520 1217 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3620 1217 198 640 0 2976 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14480 [startup+3.10115 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1848672/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=14480 CPUtime=3.09 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1237 0 0 0 308 1 0 0 25 0 1 0 191999191 14827520 1217 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3620 1217 198 640 0 2976 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14480 [startup+6.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1848544/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=14480 CPUtime=6.28 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1237 0 0 0 627 1 0 0 25 0 1 0 191999191 14827520 1217 1992294400 134512640 137136520 4294956256 18446744073709551615 134544036 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3620 1217 198 640 0 2976 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 14480 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1847648/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=15384 CPUtime=12.68 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1446 0 0 0 1266 2 0 0 25 0 1 0 191999191 15753216 1426 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3846 1426 198 640 0 3202 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15384 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1847456/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=15520 CPUtime=25.48 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1490 0 0 0 2545 3 0 0 25 0 1 0 191999191 15892480 1470 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3880 1470 198 640 0 3236 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15520 Solver just ended. Dumping a history of the last processes samples [startup+38.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1847328/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=15768 CPUtime=38.28 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1537 0 0 0 3824 4 0 0 25 0 1 0 191999191 16146432 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3942 1517 198 640 0 3298 0 Current children cumulated CPU time (s) 38.28 Current children cumulated vsize (KiB) 15768 [startup+41.5024 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1847328/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=15768 CPUtime=41.48 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1537 0 0 0 4144 4 0 0 25 0 1 0 191999191 16146432 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3942 1517 198 640 0 3298 0 Current children cumulated CPU time (s) 41.48 Current children cumulated vsize (KiB) 15768 [startup+44.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1847328/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=15768 CPUtime=44.68 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1537 0 0 0 4463 5 0 0 25 0 1 0 191999191 16146432 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 135982528 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3942 1517 198 640 0 3298 0 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (KiB) 15768 [startup+45.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1847328/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=15768 CPUtime=45.48 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1537 0 0 0 4543 5 0 0 25 0 1 0 191999191 16146432 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3942 1517 198 640 0 3298 0 Current children cumulated CPU time (s) 45.48 Current children cumulated vsize (KiB) 15768 [startup+45.9019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1847328/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=15768 CPUtime=45.88 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1537 0 0 0 4583 5 0 0 25 0 1 0 191999191 16146432 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3942 1517 198 640 0 3298 0 Current children cumulated CPU time (s) 45.88 Current children cumulated vsize (KiB) 15768 [startup+46.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1847328/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=15768 CPUtime=46.08 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1537 0 0 0 4603 5 0 0 25 0 1 0 191999191 16146432 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 134573706 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3942 1517 198 640 0 3298 0 Current children cumulated CPU time (s) 46.08 Current children cumulated vsize (KiB) 15768 [startup+46.2059 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14193 /proc/meminfo: memFree=1847328/2055920 swapFree=4181976/4192956 [pid=14192] ppid=14190 vsize=15768 CPUtime=46.18 /proc/14192/stat : 14192 (bsolo) R 14190 14192 13655 0 -1 4194304 1537 0 0 0 4613 5 0 0 25 0 1 0 191999191 16146432 1517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14192/statm: 3942 1517 198 640 0 3298 0 Current children cumulated CPU time (s) 46.18 Current children cumulated vsize (KiB) 15768 Child status: 0 Real time (s): 46.2286 CPU time (s): 46.214 CPU user time (s): 46.16 CPU system time (s): 0.053991 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 15768 getrusage(RUSAGE_CHILDREN,...) data: user time used= 46.16 system time used= 0.053991 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1539 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= 81 runsolver used 0.044993 second user time and 0.096985 second system time The end
Begin job on node38 at 2009-06-17 15:07:00 IDJOB=1879465 IDBENCH=48015 IDSOLVER=701 FILE ID=node38/1879465-1245244020 PBS_JOBID= 9372301 Free space on /tmp= 66232 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=6-P0=59-P1=37-P2=37-P3=53-P4=11-P5=7-P6=13-B.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1879465-1245244020/watcher-1879465-1245244020 -o /tmp/evaluation-result-1879465-1245244020/solver-1879465-1245244020 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1879465-1245244020.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 337bfe939508532505172ec5c27d5fd3 RANDOM SEED=804509986 node38.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.232 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.232 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: 1853448 kB Buffers: 17380 kB Cached: 111860 kB SwapCached: 4992 kB Active: 28672 kB Inactive: 108640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1853448 kB SwapTotal: 4192956 kB SwapFree: 4181976 kB Dirty: 3944 kB Writeback: 0 kB Mapped: 14396 kB Slab: 51088 kB Committed_AS: 180172 kB PageTables: 1456 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-1879465-1245244020.opb Free space on /tmp at the end= 66228 MiB End job on node38 at 2009-06-17 15:07:46