Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Cl | OPT | 3 | 28.4137 | 28.4225 |
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 | 0.452931 |
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-2670330-1276700662.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.002 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.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 264 394 1648 4 1416 2207 0 0 0.01 0.00/0.00 c Switching off lower bounding mode. 0.04/0.05 c 103 264 497 7406 14 1575 2428 103 7357 0.01 0.04/0.05 c 253 264 647 21516 33 1869 2671 253 7666 0.03 0.04/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 7936 0.06 0.09/0.12 c 751 264 1146 52256 45 2870 2691 752 7989 0.09 0.09/0.12 o 105 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 969 264 1365 65239 47 3311 2223 971 7878 0.12 0.29/0.33 c 1069 254 1465 71345 48 3534 2446 1071 7802 0.14 0.29/0.33 c 1319 254 1715 86428 50 4058 2691 1321 7580 0.17 0.29/0.33 c 1794 254 2190 115927 52 4999 2961 1796 7204 0.25 0.29/0.33 o 41 1.10/1.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.10/1.17 c 2329 254 2726 147900 54 6087 2221 2332 6952 0.34 1.10/1.17 c 2430 244 1608 74394 46 3782 2444 1214 6883 0.35 1.10/1.17 c 2681 244 1859 89382 48 4289 2689 1465 6839 0.39 1.10/1.17 c 3157 244 2335 121824 52 5237 2958 1941 6893 0.46 1.10/1.17 c 3970 244 3148 177227 56 6907 3254 2754 6382 0.62 1.10/1.17 c 5291 244 2755 149851 54 6106 3580 2361 5640 0.94 1.10/1.17 o 17 16.88/16.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 16.88/16.90 c 6665 244 2187 108397 49 4962 2219 1793 5624 1.19 16.88/16.90 c 6765 244 2287 115642 50 5136 2441 1893 5567 1.22 16.88/16.90 c 7016 244 2538 129875 51 5661 2686 2144 5546 1.26 16.88/16.90 c 7492 244 3014 161729 53 6632 2955 2620 5603 1.34 16.88/16.90 c 8305 244 2273 112362 49 5143 3251 1879 5510 1.51 16.88/16.90 c 9625 244 3593 183463 51 7788 3577 3199 5197 1.85 16.88/16.90 c 11707 244 3815 193697 50 8233 3935 3421 5007 2.34 16.88/16.90 c 14930 234 2844 148676 52 6275 4329 2450 4797 3.11 16.88/16.90 c 19866 234 3291 167511 50 7180 4762 2897 4498 4.42 16.88/16.90 c 27372 234 3405 175027 51 7397 5239 3011 4214 6.50 16.88/16.90 c 38734 231 3734 218192 58 8005 5763 3340 3901 9.93 16.88/16.90 o 9 17.19/17.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 17.19/17.22 c 54680 231 4815 281195 58 10236 2217 4421 3235 16.90 17.19/17.22 c 54781 231 1610 68451 42 3811 2439 1216 3234 16.94 17.19/17.22 c 55031 231 1860 85172 45 4315 2683 1466 3239 16.99 17.19/17.22 c 55507 231 2336 117031 50 5242 2952 1942 3247 17.09 17.19/17.22 o 3 28.38/28.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 28.38/28.42 c 56024 231 2854 149627 52 6311 2217 2460 3254 17.22 28.38/28.42 c 56124 190 1609 79456 49 3821 2439 1215 3256 17.23 28.38/28.42 c 56382 190 1867 94620 50 4317 2683 1473 3261 17.29 28.38/28.42 c 56857 190 2342 123393 52 5289 2952 1948 3266 17.41 28.38/28.42 c 57671 190 3156 166615 52 6938 3248 2762 3272 17.62 28.38/28.42 c 58991 190 2714 135597 49 6048 3573 2320 3274 18.02 28.38/28.42 c 61073 190 2875 157972 54 6336 3931 2481 3247 18.81 28.38/28.42 c 64297 190 3997 233724 58 8613 4325 3603 3258 19.73 28.38/28.42 c 69234 190 4332 245359 56 9264 4758 3938 3190 21.70 28.38/28.42 c 76740 190 4322 236270 54 9241 5234 3928 3162 24.27 28.38/28.42 c 88101 189 4768 267063 56 10122 5758 4374 3103 28.39 28.38/28.42 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.38/28.42 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 28.38/28.42 c 41 88228 566 91740 4895 267955 4501 3105 28.41 28.38/28.42 c Objective: 3 28.38/28.42 s OPTIMUM FOUND 28.38/28.42 c Total time: 28.411 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-2670330-1276700662/watcher-2670330-1276700662 -o /tmp/evaluation-result-2670330-1276700662/solver-2670330-1276700662 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670330-1276700662.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.05 1.03 0.88 3/106 18202 /proc/meminfo: memFree=1758652/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=10792 CPUtime=0 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 349 0 0 0 0 0 0 0 19 0 1 0 11361242 11051008 263 1992294400 134512640 137138936 4294933696 18446744073709551615 134541969 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 2698 263 190 642 0 2054 0 [startup+0.044375 s] /proc/loadavg: 1.05 1.03 0.88 3/106 18202 /proc/meminfo: memFree=1758652/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=11176 CPUtime=0.04 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 431 0 0 0 4 0 0 0 19 0 1 0 11361242 11444224 345 1992294400 134512640 137138936 4294933696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 2794 346 190 642 0 2150 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 11176 [startup+0.101381 s] /proc/loadavg: 1.05 1.03 0.88 3/106 18202 /proc/meminfo: memFree=1758652/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=11564 CPUtime=0.09 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 534 0 0 0 9 0 0 0 20 0 1 0 11361242 11841536 448 1992294400 134512640 137138936 4294933696 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 2891 448 191 642 0 2247 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11564 [startup+0.301402 s] /proc/loadavg: 1.05 1.03 0.88 3/106 18202 /proc/meminfo: memFree=1758652/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=12720 CPUtime=0.29 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 820 0 0 0 29 0 0 0 20 0 1 0 11361242 13025280 734 1992294400 134512640 137138936 4294933696 18446744073709551615 134623849 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 3180 734 191 642 0 2536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12720 [startup+0.701445 s] /proc/loadavg: 1.05 1.03 0.88 3/106 18202 /proc/meminfo: memFree=1758652/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=13620 CPUtime=0.69 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1049 0 0 0 68 1 0 0 21 0 1 0 11361242 13946880 963 1992294400 134512640 137138936 4294933696 18446744073709551615 134543403 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 3405 963 191 642 0 2761 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13620 [startup+1.50153 s] /proc/loadavg: 1.05 1.03 0.88 2/107 18203 /proc/meminfo: memFree=1755296/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=14256 CPUtime=1.49 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1196 0 0 0 148 1 0 0 23 0 1 0 11361242 14598144 1110 1992294400 134512640 137138936 4294933696 18446744073709551615 134603287 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 3564 1110 191 642 0 2920 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14256 [startup+3.1017 s] /proc/loadavg: 1.04 1.03 0.88 2/107 18203 /proc/meminfo: memFree=1754800/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=14384 CPUtime=3.09 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1252 0 0 0 307 2 0 0 25 0 1 0 11361242 14729216 1166 1992294400 134512640 137138936 4294933696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 3596 1166 191 642 0 2952 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14384 [startup+6.30104 s] /proc/loadavg: 1.04 1.03 0.88 2/107 18203 /proc/meminfo: memFree=1753932/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=14900 CPUtime=6.29 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1381 0 0 0 625 4 0 0 25 0 1 0 11361242 15257600 1295 1992294400 134512640 137138936 4294933696 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 3725 1295 191 642 0 3081 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14900 [startup+12.7007 s] /proc/loadavg: 1.04 1.03 0.88 2/107 18203 /proc/meminfo: memFree=1752444/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=16440 CPUtime=12.69 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1748 0 0 0 1262 7 0 0 25 0 1 0 11361242 16834560 1662 1992294400 134512640 137138936 4294933696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 4110 1662 191 642 0 3466 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 16440 [startup+25.5011 s] /proc/loadavg: 1.03 1.03 0.88 2/107 18203 /proc/meminfo: memFree=1752444/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=16372 CPUtime=25.48 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1748 0 0 0 2538 10 0 0 25 0 1 0 11361242 16764928 1662 1992294400 134512640 137138936 4294933696 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 4093 1662 191 642 0 3449 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16372 Solver just ended. Dumping a history of the last processes samples [startup+27.1013 s] /proc/loadavg: 1.03 1.03 0.88 2/107 18203 /proc/meminfo: memFree=1752444/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=16368 CPUtime=27.08 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1748 0 0 0 2697 11 0 0 25 0 1 0 11361242 16760832 1662 1992294400 134512640 137138936 4294933696 18446744073709551615 134603239 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 4092 1662 191 642 0 3448 0 Current children cumulated CPU time (s) 27.08 Current children cumulated vsize (KiB) 16368 [startup+27.9014 s] /proc/loadavg: 1.03 1.03 0.88 3/107 18203 /proc/meminfo: memFree=1752444/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=16364 CPUtime=27.88 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1748 0 0 0 2777 11 0 0 25 0 1 0 11361242 16756736 1662 1992294400 134512640 137138936 4294933696 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 4091 1662 191 642 0 3447 0 Current children cumulated CPU time (s) 27.88 Current children cumulated vsize (KiB) 16364 [startup+28.3014 s] /proc/loadavg: 1.03 1.03 0.88 3/107 18203 /proc/meminfo: memFree=1752444/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=16364 CPUtime=28.28 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1748 0 0 0 2817 11 0 0 25 0 1 0 11361242 16756736 1662 1992294400 134512640 137138936 4294933696 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 4091 1662 191 642 0 3447 0 Current children cumulated CPU time (s) 28.28 Current children cumulated vsize (KiB) 16364 [startup+28.4014 s] /proc/loadavg: 1.03 1.03 0.88 3/107 18203 /proc/meminfo: memFree=1752444/2059040 swapFree=4152912/4192956 [pid=18202] ppid=18200 vsize=16364 CPUtime=28.38 /proc/18202/stat : 18202 (bsolo_pb10) R 18200 18202 17981 0 -1 4202496 1748 0 0 0 2827 11 0 0 25 0 1 0 11361242 16756736 1662 1992294400 134512640 137138936 4294933696 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/18202/statm: 4091 1662 191 642 0 3447 0 Current children cumulated CPU time (s) 28.38 Current children cumulated vsize (KiB) 16364 Child status: 0 Real time (s): 28.4225 CPU time (s): 28.4137 CPU user time (s): 28.2927 CPU system time (s): 0.120981 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 16440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 28.2927 system time used= 0.120981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1749 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= 42 runsolver used 0.049992 second user time and 0.145977 second system time The end
Begin job on node035 at 2010-06-16 17:04:22 IDJOB=2670330 IDBENCH=47881 IDSOLVER=1163 FILE ID=node035/2670330-1276700662 PBS_JOBID= 11174107 Free space on /tmp= 62460 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=157-P1=211-P2=97-P3=71-B.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670330-1276700662/watcher-2670330-1276700662 -o /tmp/evaluation-result-2670330-1276700662/solver-2670330-1276700662 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670330-1276700662.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 85ac83bf4a556e0f3edfff4036eff461 RANDOM SEED=1888487366 node035.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.219 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.43 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.219 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1761484 kB Buffers: 76588 kB Cached: 121076 kB SwapCached: 2400 kB Active: 94652 kB Inactive: 125144 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1761484 kB SwapTotal: 4192956 kB SwapFree: 4152912 kB Dirty: 3860 kB Writeback: 0 kB AnonPages: 19956 kB Mapped: 13700 kB Slab: 55996 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183228 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-2670330-1276700662.opb Free space on /tmp at the end= 62456 MiB End job on node035 at 2010-06-16 17:04:51