Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 97 | 1800.04 | 1800.51 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb |
MD5SUM | 9a8d1e3e59dfd2cd811494ddb4a3c92a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1802.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 230 |
Total number of constraints | 6 |
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 | 6 |
Minimum length of a constraint | 80 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 180 |
Biggest coefficient in the objective function | 43691 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524412 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261310 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524412 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/432779-1177949470/instance-432779-1177949470.opb 0.00/0.00 c File size is 6067 bytes. 0.00/0.00 c Highest Coefficient sum: 524412 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: 230 Constr: 12 0/0/12 Lit: 960 Watch. Lit: 492 0.00/0.00 c Obj. Vars: 180 (78.2609 % 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 176 12 960 80 551 1920 0 0 0.00 0.00/0.00 c Switching off LPR mode. 0.00/0.00 o 677 0.004 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 176 13 1086 83 753 2172 1 0 0.00 0.00/0.00 o 676 0.005 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 1 176 15 1352 90 856 2172 3 200 0.01 0.00/0.01 o 457 0.005 0.29/0.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.39 c 2 176 17 1531 90 920 2172 5 400 0.01 0.29/0.39 c 102 176 117 6920 59 1099 2390 105 7846 0.01 0.29/0.39 c 352 176 367 31713 86 1521 2630 355 10057 0.04 0.29/0.39 c 827 176 842 73623 87 2460 2894 830 8438 0.10 0.29/0.39 c 1640 176 1655 153158 92 4070 3184 1643 8541 0.19 0.29/0.39 c 2963 176 2978 256914 86 6759 3503 2966 7880 0.38 0.29/0.39 o 292 0.392 0.89/0.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.92 c 3069 176 3085 262465 85 7040 2172 3073 7809 0.39 0.89/0.92 c 3171 176 1201 93113 77 3187 2390 1189 7715 0.41 0.89/0.92 c 3421 176 1451 111828 77 3681 2630 1439 7900 0.43 0.89/0.92 c 3896 176 1926 149145 77 4631 2894 1914 7983 0.49 0.89/0.92 c 4709 176 2739 206233 75 6258 3184 2727 7669 0.61 0.89/0.92 c 6030 176 2313 176256 76 5406 3503 2301 6590 0.92 0.89/0.92 o 186 0.921 3.59/3.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.60 c 6074 176 2358 178117 75 5590 2172 2346 6595 0.92 3.59/3.60 c 6175 176 1200 90463 75 3210 2390 1188 6486 0.95 3.59/3.60 c 6426 176 1451 107950 74 3708 2630 1439 6550 0.98 3.59/3.60 c 6902 176 1927 131106 68 4664 2894 1915 6567 1.05 3.59/3.60 c 7715 176 2740 192821 70 6286 3184 2728 6702 1.15 3.59/3.60 c 9035 176 2344 142352 60 5505 3503 2332 6697 1.35 3.59/3.60 c 11117 176 2531 152565 60 5876 3854 2519 6837 1.63 3.59/3.60 c 14340 176 3664 290877 79 8140 4240 3652 5301 2.71 3.59/3.60 c 19276 176 4004 260936 65 8844 4665 3992 5363 3.59 3.59/3.60 o 142 3.597 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 19278 176 4007 261183 65 8943 2172 3995 5359 3.60 3.69/3.73 c 19378 176 1199 80946 67 3235 2390 1187 5248 3.69 3.69/3.73 c 19628 176 1449 95570 65 3690 2630 1437 5263 3.73 3.69/3.73 o 118 3.73 3.69/3.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.73 c 19630 176 1452 95810 65 3850 2172 1440 5262 3.73 3.69/3.73 o 117 3.732 41.88/41.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.88/41.95 c 19647 176 1470 97244 66 4008 2172 1458 5264 3.73 41.88/41.95 c 19747 176 1570 102404 65 4205 2390 1558 5274 3.74 41.88/41.95 c 19997 176 1820 119200 65 4711 2630 1808 5302 3.77 41.88/41.95 c 20472 176 2295 141040 61 5655 2894 2283 5324 3.85 41.88/41.95 c 21286 176 1499 83022 55 3823 3184 1487 5354 3.98 41.88/41.95 c 22606 176 2819 166926 59 6462 3503 2807 5465 4.14 41.88/41.95 c 24688 176 3028 162250 53 6891 3854 3016 5489 4.50 41.88/41.95 c 27911 176 2067 142059 68 4955 4240 2055 5547 5.03 41.88/41.95 c 32847 176 2440 171591 70 5701 4665 2428 4910 6.69 41.88/41.95 c 40354 176 2352 202677 86 5542 5132 2340 4759 8.48 41.88/41.95 c 51715 176 2760 230374 83 6346 5646 2748 4388 11.78 41.88/41.95 c 68859 176 4742 374974 79 10304 6211 4730 3781 18.21 41.88/41.95 c 94679 176 4388 273757 62 9602 6833 4376 3611 26.22 41.88/41.95 c 133511 176 3750 330360 88 8321 7517 3738 3301 40.44 41.88/41.95 o 104 41.938 42.88/42.91 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.88/42.91 c 138735 176 5097 275055 53 11117 2172 5085 3308 41.94 42.88/42.91 c 138836 176 1200 62760 52 3224 2390 1188 3304 42.01 42.88/42.91 c 139088 176 1452 73588 50 3735 2630 1440 3308 42.04 42.88/42.91 c 139565 176 1929 96003 49 4696 2894 1917 3315 42.10 42.88/42.91 c 140378 176 2742 140076 51 6322 3184 2730 3327 42.19 42.88/42.91 c 141699 176 2359 119237 50 5556 3503 2347 3340 42.42 42.88/42.91 c 143780 176 2534 158600 62 5906 3854 2522 3364 42.74 42.88/42.91 o 99 42.901 573.44/573.64 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 573.44/573.64 c 144981 176 3736 223519 59 8454 2172 3724 3379 42.90 573.44/573.64 c 145085 176 1203 62991 52 3242 2390 1191 3378 42.95 573.44/573.64 c 145336 176 1454 79178 54 3745 2630 1442 3381 42.97 573.44/573.64 c 145813 176 1931 109159 56 4696 2894 1919 3388 43.03 573.44/573.64 c 146626 176 2744 154019 56 6324 3184 2732 3396 43.17 573.44/573.64 c 147947 176 2319 140620 60 5474 3503 2307 3413 43.35 573.44/573.64 c 150028 176 2452 155890 63 5749 3854 2440 3440 43.61 573.44/573.64 c 153257 176 3578 226715 63 7978 4240 3566 3462 44.26 573.44/573.64 c 158193 176 3979 289016 72 8785 4665 3967 3463 45.67 573.44/573.64 c 165699 176 4069 254532 62 8959 5132 4057 3500 47.34 573.44/573.64 c 177060 176 4321 390019 90 9462 5646 4309 3426 51.68 573.44/573.64 c 194204 176 3317 289580 87 7449 6211 3305 3212 60.45 573.44/573.64 c 220023 176 6163 402089 65 13145 6833 6151 2974 73.97 573.44/573.64 c 258855 176 5332 450926 84 11494 7517 5320 2726 94.93 573.44/573.64 c 317207 176 4971 334365 67 10764 8269 4959 2687 118.04 573.44/573.64 c 404840 176 5810 497858 85 12434 9096 5798 1769 228.75 573.44/573.64 c 536392 176 5587 399439 71 12000 10006 5575 1845 290.57 573.44/573.64 c 733824 176 5986 474655 79 12803 11007 5974 1418 517.17 573.44/573.64 o 98 573.493 573.94/574.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 573.94/574.16 c 814731 176 7296 647586 88 15534 2172 7284 1420 573.49 573.94/574.16 c 814831 176 1199 99488 82 3198 2390 1187 1420 573.62 573.94/574.16 c 815083 176 1451 114622 78 3730 2630 1439 1420 573.65 573.94/574.16 c 815558 176 1926 139296 72 4682 2894 1914 1421 573.71 573.94/574.16 c 816371 176 2739 204020 74 6305 3184 2727 1422 573.79 573.94/574.16 c 817691 176 2297 151535 65 5412 3503 2285 1424 573.98 573.94/574.16 o 97 574.01 1800.02/1800.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.02/1800.50 c 817850 176 2457 160472 65 5865 2172 2445 1424 574.01 1800.02/1800.50 c 817951 176 1200 68393 56 3220 2390 1188 1424 574.05 1800.02/1800.50 c 818201 176 1450 79903 55 3729 2630 1438 1425 574.09 1800.02/1800.50 c 818679 176 1928 119313 61 4686 2894 1916 1425 574.13 1800.02/1800.50 c 819492 176 2741 169814 61 6299 3184 2729 1427 574.25 1800.02/1800.50 c 820812 176 2259 165808 73 5338 3503 2247 1428 574.42 1800.02/1800.50 c 822893 176 2419 153648 63 5648 3854 2407 1431 574.68 1800.02/1800.50 c 826116 176 3517 272144 77 7856 4240 3505 1435 575.37 1800.02/1800.50 c 831053 176 3978 212787 53 8777 4665 3966 1441 576.69 1800.02/1800.50 c 838559 176 3956 254416 64 8751 5132 3944 1449 578.69 1800.02/1800.50 c 849921 176 4286 340726 79 9396 5646 4274 1462 581.34 1800.02/1800.50 c 867065 176 3478 218376 62 7774 6211 3466 1481 585.22 1800.02/1800.50 c 892884 176 6118 558869 91 13062 6833 6106 1492 598.21 1800.02/1800.50 c 931716 176 5537 369876 66 11887 7517 5525 1530 608.92 1800.02/1800.50 c 990068 176 5010 364211 72 10843 8269 4998 1512 654.38 1800.02/1800.50 c 1077701 176 5971 509069 85 12794 9096 5959 1513 712.16 1800.02/1800.50 c 1209253 176 4877 389096 79 10568 10006 4865 1495 808.48 1800.02/1800.50 c 1406685 176 5355 418180 78 11532 11007 5343 1543 911.41 1800.02/1800.50 c 1702937 176 5517 454505 82 11854 12108 5505 1364 1247.87 1800.02/1800.50 c Caught signal: 15 1800.02/1800.50 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 1800.02/1800.50 v -x30 -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 1800.02/1800.50 v -x103 -x104 -x105 -x106 -x107 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 1800.02/1800.50 v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x171 x172 x173 x174 x175 -x176 x177 x178 1800.02/1800.50 v x179 x180 x181 x182 x183 -x184 x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1800.02/1800.50 v x201 -x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 -x214 -x215 x216 x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 1800.02/1800.50 v -x225 -x226 -x227 -x228 -x229 -x230 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 x46 -x47 -x48 -x49 1800.02/1800.50 v -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 x62 -x63 -x64 x65 x66 -x67 x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 1800.02/1800.50 v x77 -x108 -x109 x110 x111 x112 x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 x125 -x126 x127 -x158 x159 1800.02/1800.50 v x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 1800.02/1800.50 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.02/1800.50 c 91 2115125 543155 3389106 8464 677654 8452 1175 1800.03 1800.02/1800.50 c Objective: 97 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 c Total time: 1800.03 s
OK 97
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node47/watcher-432779-1177949470 -o ROOT/results/node47/solver-432779-1177949470 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432779-1177949470/instance-432779-1177949470.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.87 0.97 0.96 3/77 27655 /proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=11744 CPUtime=0 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 365 0 0 0 0 0 0 0 18 0 1 0 149792372 12025856 335 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 2936 335 280 324 0 2004 0 [startup+0.02295 s] /proc/loadavg: 0.87 0.97 0.96 3/77 27655 /proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=4184 CPUtime=0.01 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 453 0 0 0 1 0 0 0 18 0 1 0 149792372 4284416 421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 1046 421 310 324 0 116 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4184 [startup+0.102958 s] /proc/loadavg: 0.87 0.97 0.96 3/77 27655 /proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=5088 CPUtime=0.09 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 665 0 0 0 9 0 0 0 18 0 1 0 149792372 5210112 633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 1272 633 310 324 0 342 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5088 [startup+0.301979 s] /proc/loadavg: 0.87 0.97 0.96 3/77 27655 /proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=7148 CPUtime=0.29 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1181 0 0 0 29 0 0 0 19 0 1 0 149792372 7319552 1149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10954363 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 1787 1150 310 324 0 857 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7148 [startup+0.703022 s] /proc/loadavg: 0.87 0.97 0.96 3/77 27655 /proc/meminfo: memFree=1582344/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=7664 CPUtime=0.69 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1333 0 0 0 69 0 0 0 23 0 1 0 149792372 7847936 1301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 1916 1301 310 324 0 986 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7664 [startup+1.50111 s] /proc/loadavg: 0.87 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1578240/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=7664 CPUtime=1.48 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1333 0 0 0 148 0 0 0 25 0 1 0 149792372 7847936 1301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 1916 1301 310 324 0 986 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7664 [startup+3.10128 s] /proc/loadavg: 0.87 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1577920/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=8840 CPUtime=3.09 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1615 0 0 0 308 1 0 0 25 0 1 0 149792372 9052160 1583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 2210 1583 310 324 0 1280 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8840 [startup+6.30163 s] /proc/loadavg: 0.88 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1576768/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=8840 CPUtime=6.29 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 1615 0 0 0 628 1 0 0 25 0 1 0 149792372 9052160 1583 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 2210 1583 310 324 0 1280 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8840 [startup+12.7013 s] /proc/loadavg: 0.89 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1575360/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=10764 CPUtime=12.69 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 2108 0 0 0 1268 1 0 0 25 0 1 0 149792372 11022336 2076 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 2691 2076 310 324 0 1761 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10764 [startup+25.5017 s] /proc/loadavg: 0.91 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1574912/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=10768 CPUtime=25.48 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 2109 0 0 0 2547 1 0 0 25 0 1 0 149792372 11026432 2077 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 2692 2077 310 324 0 1762 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10768 [startup+51.1015 s] /proc/loadavg: 0.94 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1573632/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=11900 CPUtime=51.08 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 2802 0 0 0 5106 2 0 0 25 0 1 0 149792372 12185600 2367 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 2975 2367 310 324 0 2045 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 11900 [startup+102.306 s] /proc/loadavg: 0.97 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1573760/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=11748 CPUtime=102.27 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 2983 0 0 0 10225 2 0 0 25 0 1 0 149792372 12029952 2329 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 2937 2329 310 324 0 2007 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 11748 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1572096/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=13704 CPUtime=162.25 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 3453 0 0 0 16222 3 0 0 25 0 1 0 149792372 14032896 2797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 3426 2797 310 324 0 2496 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13704 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1571520/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=14292 CPUtime=222.23 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 3621 0 0 0 22219 4 0 0 25 0 1 0 149792372 14635008 2942 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 3573 2942 310 324 0 2643 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 14292 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1571968/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=13664 CPUtime=282.21 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 3802 0 0 0 28217 4 0 0 25 0 1 0 149792372 13991936 2808 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 3416 2808 310 324 0 2486 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 13664 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1569728/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=16008 CPUtime=342.2 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4382 0 0 0 34215 5 0 0 25 0 1 0 149792372 16392192 3371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551114 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4002 3371 310 324 0 3072 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 16008 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1569728/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=15900 CPUtime=402.19 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4382 0 0 0 40213 6 0 0 25 0 1 0 149792372 16281600 3366 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 3975 3366 310 324 0 3045 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 15900 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1569728/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=15868 CPUtime=462.17 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4382 0 0 0 46211 6 0 0 25 0 1 0 149792372 16248832 3358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 3967 3358 310 324 0 3037 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 15868 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1569728/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=15856 CPUtime=522.15 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4383 0 0 0 52209 6 0 0 25 0 1 0 149792372 16236544 3355 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 3964 3355 310 324 0 3034 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 15856 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1567872/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=17616 CPUtime=582.14 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4958 0 0 0 58206 8 0 0 25 0 1 0 149792372 18038784 3795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4404 3795 310 324 0 3474 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 17616 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1569600/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=15848 CPUtime=642.13 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4958 0 0 0 64205 8 0 0 25 0 1 0 149792372 16228352 3353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 3962 3353 310 324 0 3032 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 15848 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1569536/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=15848 CPUtime=882.06 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 4958 0 0 0 88196 10 0 0 25 0 1 0 149792372 16228352 3353 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 3962 3353 310 324 0 3032 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 15848 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1568512/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=17024 CPUtime=942.04 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5256 0 0 0 94193 11 0 0 25 0 1 0 149792372 17432576 3647 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4256 3647 310 324 0 3326 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 17024 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1568512/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=16996 CPUtime=1002.03 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5272 0 0 0 100191 12 0 0 25 0 1 0 149792372 17403904 3640 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10960626 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4249 3640 310 324 0 3319 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 16996 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1568000/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=17608 CPUtime=1062.02 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5598 0 0 0 106189 13 0 0 25 0 1 0 149792372 18030592 3778 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4402 3778 310 324 0 3472 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 17608 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1568256/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=17152 CPUtime=1122 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5694 0 0 0 112187 13 0 0 25 0 1 0 149792372 17563648 3679 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4288 3679 310 324 0 3358 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 17152 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1567808/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=17616 CPUtime=1181.98 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5931 0 0 0 118184 14 0 0 25 0 1 0 149792372 18038784 3795 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4404 3795 310 324 0 3474 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 17616 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1567744/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=17688 CPUtime=1241.97 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5978 0 0 0 124182 15 0 0 25 0 1 0 149792372 18112512 3813 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10954396 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4422 3813 310 324 0 3492 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 17688 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1568064/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=17292 CPUtime=1301.95 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 5980 0 0 0 130180 15 0 0 25 0 1 0 149792372 17707008 3715 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4323 3715 310 324 0 3393 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 17292 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1567040/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18576 CPUtime=1361.94 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6354 0 0 0 136178 16 0 0 25 0 1 0 149792372 19021824 4016 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4644 4016 310 324 0 3714 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 18576 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1567040/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18448 CPUtime=1421.92 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6354 0 0 0 142176 16 0 0 25 0 1 0 149792372 18890752 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10952637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4612 4004 310 324 0 3682 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 18448 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1567040/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18448 CPUtime=1481.91 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6354 0 0 0 148174 17 0 0 25 0 1 0 149792372 18890752 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4612 4004 310 324 0 3682 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 18448 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18684 CPUtime=1541.88 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6393 0 0 0 154171 17 0 0 25 0 1 0 149792372 19132416 4043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4671 4043 310 324 0 3741 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 18684 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18624 CPUtime=1601.87 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6393 0 0 0 160169 18 0 0 25 0 1 0 149792372 19070976 4043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4656 4043 310 324 0 3726 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 18624 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18624 CPUtime=1661.85 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6393 0 0 0 166167 18 0 0 25 0 1 0 149792372 19070976 4043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4656 4043 310 324 0 3726 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 18624 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18624 CPUtime=1721.84 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6395 0 0 0 172165 19 0 0 25 0 1 0 149792372 19070976 4045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4656 4045 310 324 0 3726 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 18624 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18584 CPUtime=1781.82 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6395 0 0 0 178163 19 0 0 25 0 1 0 149792372 19030016 4038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4646 4038 310 324 0 3716 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 18584 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18584 CPUtime=1800.02 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6395 0 0 0 179983 19 0 0 25 0 1 0 149792372 19030016 4038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4646 4038 310 324 0 3716 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 18584 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.96 2/78 27656 /proc/meminfo: memFree=1566912/2055920 swapFree=4158036/4192956 [pid=27655] ppid=27653 vsize=18584 CPUtime=1800.02 /proc/27655/stat : 27655 (bsolo3.0.17) R 27653 27655 26220 0 -1 4194304 6395 0 0 0 179983 19 0 0 25 0 1 0 149792372 19030016 4038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/27655/statm: 4646 4038 310 324 0 3716 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 18584 Child status: 15 Real time (s): 1800.51 CPU time (s): 1800.04 CPU user time (s): 1799.84 CPU system time (s): 0.202969 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 18732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.202969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6399 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= 12 involuntary context switches= 5848 runsolver used 1.2978 second user time and 4.08938 second system time The end
Begin job on node47 on Mon Apr 30 16:11:10 UTC 2007 IDJOB= 432779 IDBENCH= 1786 IDSOLVER= 199 FILE ID= node47/432779-1177949470 PBS_JOBID= 4727548 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-markshare1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432779-1177949470/instance-432779-1177949470.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-432779-1177949470 -o ROOT/results/node47/solver-432779-1177949470 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432779-1177949470/instance-432779-1177949470.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 9a8d1e3e59dfd2cd811494ddb4a3c92a RANDOM SEED= 758134302 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node47.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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 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.221 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: 1582752 kB Buffers: 41700 kB Cached: 337172 kB SwapCached: 3492 kB Active: 230076 kB Inactive: 172652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1582752 kB SwapTotal: 4192956 kB SwapFree: 4158036 kB Dirty: 6664 kB Writeback: 0 kB Mapped: 30968 kB Slab: 56052 kB Committed_AS: 4052864 kB PageTables: 1780 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node47 on Mon Apr 30 16:41:13 UTC 2007