Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 58.4471 | 58.465 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/ factor-mod-B/factor-mod-size=8-P0=167-P1=131-P2=83-P3=109-B.opb |
MD5SUM | 814b8e94cfd87905bb7ea3866973cde4 |
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.10483 |
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.2 - 23/05/2010 : 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 Time Limit set to 1800 0.00/0.00 c Learning Strategy: Clause Learning 0.00/0.00 c Instance file HOME/instance-2670516-1276702294.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. 1.29/1.32 c 101 264 495 7890 15 1567 2428 101 7214 0.01 1.29/1.32 c 252 264 646 17458 27 1865 2671 252 9000 0.03 1.29/1.32 c 479 264 873 31708 36 2312 2939 479 9392 0.05 1.29/1.32 c 817 264 1211 52128 43 2964 3233 817 8784 0.09 1.29/1.32 c 1325 264 1719 82971 48 3970 3557 1325 7981 0.17 1.29/1.32 c 2088 264 2482 129176 52 5501 3913 2088 6735 0.31 1.29/1.32 c 3236 264 3630 198521 54 7793 4305 3236 5627 0.57 1.29/1.32 c 4957 264 3137 166488 53 6785 4736 2743 5017 0.99 1.29/1.32 o 33 1.59/1.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.59/1.70 c 7011 264 2763 158634 57 6080 2223 2369 5263 1.33 1.59/1.70 c 7114 254 1610 83412 51 3825 2446 1216 5273 1.35 1.59/1.70 c 7365 254 1861 98621 52 4331 2691 1467 5352 1.38 1.59/1.70 c 7842 254 2338 126200 53 5283 2961 1944 5438 1.44 1.59/1.70 c 8657 244 3153 177439 56 6882 3258 2759 5556 1.56 1.59/1.70 o 5 1.99/2.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.99/2.05 c 9371 244 2026 99139 48 4656 2219 1632 5499 1.70 1.99/2.05 c 9472 235 2127 105744 49 4879 2441 1733 5497 1.72 1.99/2.05 c 9722 225 2377 120312 50 5366 2686 1983 5505 1.77 1.99/2.05 c 10197 225 2852 148290 51 6322 2955 2458 5488 1.86 1.99/2.05 c 11011 214 2106 102838 48 4787 3251 1712 5426 2.03 1.99/2.05 o 3 58.38/58.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 58.38/58.46 c 11120 214 2216 109363 49 5020 2213 1822 5419 2.05 58.38/58.46 c 11222 193 2318 116354 50 5234 2435 1924 5429 2.07 58.38/58.46 c 11473 193 2569 135386 52 5766 2679 2175 5445 2.11 58.38/58.46 c 11949 193 3045 165944 54 6701 2947 2651 5414 2.21 58.38/58.46 c 12762 193 2243 118461 52 5090 3242 1849 5368 2.38 58.38/58.46 c 14082 193 3563 197428 55 7684 3567 3169 5344 2.63 58.38/58.46 c 16163 193 3738 196010 52 8043 3924 3344 5106 3.17 58.38/58.46 c 19387 193 2705 143998 53 5997 4317 2311 5040 3.85 58.38/58.46 c 24324 193 2965 178775 60 6528 4749 2571 4784 5.08 58.38/58.46 c 31831 193 2925 151551 51 6433 5224 2531 4658 6.83 58.38/58.46 c 43193 193 3013 169736 56 6627 5747 2619 4245 10.17 58.38/58.46 c 60338 193 4915 291810 59 10406 6322 4521 3687 16.36 58.38/58.46 c 86157 192 4067 231963 57 8661 6955 3673 3529 24.41 58.38/58.46 c 124989 192 6744 422169 62 14094 7651 6350 2984 41.87 58.38/58.46 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 58.38/58.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 58.38/58.46 c 32 160132 1216 165630 6267 302062 5873 2739 58.45 58.38/58.46 c Objective: 3 58.38/58.46 s OPTIMUM FOUND 58.38/58.46 c Total time: 58.445 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-2670516-1276702294/watcher-2670516-1276702294 -o /tmp/evaluation-result-2670516-1276702294/solver-2670516-1276702294 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670516-1276702294.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/105 19468 /proc/meminfo: memFree=1706788/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=10792 CPUtime=0 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 349 0 0 0 0 0 0 0 25 0 1 0 11523219 11051008 263 1992294400 134512640 137138936 4288813728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 2698 263 190 642 0 2054 0 [startup+0.104602 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19468 /proc/meminfo: memFree=1706788/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=11564 CPUtime=0.1 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 539 0 0 0 10 0 0 0 25 0 1 0 11523219 11841536 453 1992294400 134512640 137138936 4288813728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 2891 453 190 642 0 2247 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 11564 [startup+0.201612 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19468 /proc/meminfo: memFree=1706788/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=12204 CPUtime=0.19 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 686 0 0 0 19 0 0 0 25 0 1 0 11523219 12496896 600 1992294400 134512640 137138936 4288813728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 3051 600 190 642 0 2407 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 12204 [startup+0.301623 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19468 /proc/meminfo: memFree=1706788/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=12592 CPUtime=0.29 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 799 0 0 0 29 0 0 0 25 0 1 0 11523219 12894208 713 1992294400 134512640 137138936 4288813728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 3148 713 190 642 0 2504 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12592 [startup+0.701668 s] /proc/loadavg: 1.00 1.00 1.00 3/105 19468 /proc/meminfo: memFree=1706788/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=14136 CPUtime=0.69 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 1192 0 0 0 69 0 0 0 25 0 1 0 11523219 14475264 1106 1992294400 134512640 137138936 4288813728 18446744073709551615 136501980 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 3534 1106 190 642 0 2890 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14136 [startup+1.50176 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19469 /proc/meminfo: memFree=1702936/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=15292 CPUtime=1.49 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 1456 0 0 0 148 1 0 0 25 0 1 0 11523219 15659008 1370 1992294400 134512640 137138936 4288813728 18446744073709551615 134542289 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 3823 1370 191 642 0 3179 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15292 [startup+3.10094 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19469 /proc/meminfo: memFree=1702316/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=15292 CPUtime=3.09 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 1456 0 0 0 307 2 0 0 25 0 1 0 11523219 15659008 1370 1992294400 134512640 137138936 4288813728 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 3823 1370 191 642 0 3179 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15292 [startup+6.3013 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19469 /proc/meminfo: memFree=1701820/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=15412 CPUtime=6.29 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 1499 0 0 0 625 4 0 0 25 0 1 0 11523219 15781888 1413 1992294400 134512640 137138936 4288813728 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 3853 1413 191 642 0 3209 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 15412 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19469 /proc/meminfo: memFree=1700456/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=16824 CPUtime=12.69 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 1842 0 0 0 1263 6 0 0 25 0 1 0 11523219 17227776 1756 1992294400 134512640 137138936 4288813728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 4206 1756 191 642 0 3562 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16824 [startup+25.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19472 /proc/meminfo: memFree=1699960/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=17212 CPUtime=25.48 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 1947 0 0 0 2538 10 0 0 25 0 1 0 11523219 17625088 1861 1992294400 134512640 137138936 4288813728 18446744073709551615 134617548 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 4303 1861 191 642 0 3659 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 17212 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19472 /proc/meminfo: memFree=1698472/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=18364 CPUtime=51.07 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 2234 0 0 0 5088 19 0 0 25 0 1 0 11523219 18804736 2148 1992294400 134512640 137138936 4288813728 18446744073709551615 134542871 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 4591 2148 191 642 0 3947 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 18364 Solver just ended. Dumping a history of the last processes samples [startup+51.2014 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19472 /proc/meminfo: memFree=1698472/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=18364 CPUtime=51.17 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 2234 0 0 0 5098 19 0 0 25 0 1 0 11523219 18804736 2148 1992294400 134512640 137138936 4288813728 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 4591 2148 191 642 0 3947 0 Current children cumulated CPU time (s) 51.17 Current children cumulated vsize (KiB) 18364 [startup+54.4007 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19472 /proc/meminfo: memFree=1698472/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=18364 CPUtime=54.37 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 2234 0 0 0 5417 20 0 0 25 0 1 0 11523219 18804736 2148 1992294400 134512640 137138936 4288813728 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 4591 2148 191 642 0 3947 0 Current children cumulated CPU time (s) 54.37 Current children cumulated vsize (KiB) 18364 [startup+56.0009 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19472 /proc/meminfo: memFree=1698472/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=18364 CPUtime=55.98 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 2234 0 0 0 5577 21 0 0 25 0 1 0 11523219 18804736 2148 1992294400 134512640 137138936 4288813728 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 4591 2148 191 642 0 3947 0 Current children cumulated CPU time (s) 55.98 Current children cumulated vsize (KiB) 18364 [startup+57.6011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19472 /proc/meminfo: memFree=1698472/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=18364 CPUtime=57.57 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 2234 0 0 0 5736 21 0 0 25 0 1 0 11523219 18804736 2148 1992294400 134512640 137138936 4288813728 18446744073709551615 136500210 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 4591 2148 191 642 0 3947 0 Current children cumulated CPU time (s) 57.57 Current children cumulated vsize (KiB) 18364 [startup+58.0011 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19472 /proc/meminfo: memFree=1698472/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=18364 CPUtime=57.98 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 2234 0 0 0 5776 22 0 0 25 0 1 0 11523219 18804736 2148 1992294400 134512640 137138936 4288813728 18446744073709551615 134599946 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 4591 2148 191 642 0 3947 0 Current children cumulated CPU time (s) 57.98 Current children cumulated vsize (KiB) 18364 [startup+58.4082 s] /proc/loadavg: 1.00 1.00 1.00 2/106 19472 /proc/meminfo: memFree=1698472/2059040 swapFree=4192956/4192956 [pid=19468] ppid=19466 vsize=18364 CPUtime=58.38 /proc/19468/stat : 19468 (bsolo_pb10) R 19466 19468 19129 0 -1 4202496 2234 0 0 0 5816 22 0 0 25 0 1 0 11523219 18804736 2148 1992294400 134512640 137138936 4288813728 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/19468/statm: 4591 2148 191 642 0 3947 0 Current children cumulated CPU time (s) 58.38 Current children cumulated vsize (KiB) 18364 Child status: 0 Real time (s): 58.465 CPU time (s): 58.4471 CPU user time (s): 58.2241 CPU system time (s): 0.222966 CPU usage (%): 99.9695 Max. virtual memory (cumulated for all children) (KiB): 18364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 58.2241 system time used= 0.222966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2235 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= 1 involuntary context switches= 222 runsolver used 0.080987 second user time and 0.304953 second system time The end
Begin job on node085 at 2010-06-16 17:31:34 IDJOB=2670516 IDBENCH=47974 IDSOLVER=1163 FILE ID=node085/2670516-1276702294 PBS_JOBID= 11174081 Free space on /tmp= 121872 MiB SOLVER NAME= bsolo 3.2 Cl BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=167-P1=131-P2=83-P3=109-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670516-1276702294/watcher-2670516-1276702294 -o /tmp/evaluation-result-2670516-1276702294/solver-2670516-1276702294 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670516-1276702294.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 814b8e94cfd87905bb7ea3866973cde4 RANDOM SEED=1714571017 node085.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.221 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.44 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.221 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 : 5999.51 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1707812 kB Buffers: 83080 kB Cached: 129640 kB SwapCached: 0 kB Active: 130792 kB Inactive: 141372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1707812 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3844 kB Writeback: 0 kB AnonPages: 59492 kB Mapped: 15344 kB Slab: 57396 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180548 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-2670516-1276702294.opb Free space on /tmp at the end= 121868 MiB End job on node085 at 2010-06-16 17:32:32