Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 97 | 1800.01 | 1800.6 |
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.16 - 04/04/2007 : 1458 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 Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/351642-1176608423/instance-351642-1176608423.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.006 0.29/0.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.40 c 2 176 17 1531 90 920 2172 5 333 0.01 0.29/0.40 c 102 176 117 6920 59 1099 2390 105 7846 0.01 0.29/0.40 c 352 176 367 31713 86 1521 2630 355 9777 0.04 0.29/0.40 c 827 176 842 73623 87 2460 2894 830 8353 0.10 0.29/0.40 c 1640 176 1655 153158 92 4070 3184 1643 8410 0.20 0.29/0.40 c 2963 176 2978 256914 86 6759 3503 2966 7776 0.38 0.29/0.40 o 292 0.397 0.89/0.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.89/0.93 c 3069 176 3085 262465 85 7040 2172 3073 7730 0.40 0.89/0.93 c 3171 176 1201 93113 77 3187 2390 1189 7640 0.41 0.89/0.93 c 3421 176 1451 111828 77 3681 2630 1439 7792 0.44 0.89/0.93 c 3896 176 1926 149145 77 4631 2894 1914 7886 0.49 0.89/0.93 c 4709 176 2739 206233 75 6258 3184 2727 7570 0.62 0.89/0.93 c 6030 176 2313 176256 76 5406 3503 2301 6504 0.93 0.89/0.93 o 186 0.933 3.59/3.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.59/3.62 c 6074 176 2358 178117 75 5590 2172 2346 6510 0.93 3.59/3.62 c 6175 176 1200 90463 75 3210 2390 1188 6405 0.96 3.59/3.62 c 6426 176 1451 107950 74 3708 2630 1439 6464 0.99 3.59/3.62 c 6902 176 1927 131106 68 4664 2894 1915 6486 1.06 3.59/3.62 c 7715 176 2740 192821 70 6286 3184 2728 6616 1.17 3.59/3.62 c 9035 176 2344 142352 60 5505 3503 2332 6619 1.36 3.59/3.62 c 11117 176 2531 152565 60 5876 3854 2519 6753 1.65 3.59/3.62 c 14340 176 3664 290877 79 8140 4240 3652 5262 2.73 3.59/3.62 c 19276 176 4004 260936 65 8844 4665 3992 5332 3.62 3.59/3.62 o 142 3.618 3.69/3.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.75 c 19278 176 4007 261183 65 8943 2172 3995 5328 3.62 3.69/3.75 c 19378 176 1199 80946 67 3235 2390 1187 5217 3.71 3.69/3.75 c 19628 176 1449 95570 65 3690 2630 1437 5232 3.75 3.69/3.75 o 118 3.752 3.69/3.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.69/3.75 c 19630 176 1452 95810 65 3850 2172 1440 5231 3.75 3.69/3.75 o 117 3.754 41.97/42.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 41.97/42.10 c 19647 176 1470 97244 66 4008 2172 1458 5233 3.75 41.97/42.10 c 19747 176 1570 102404 65 4205 2390 1558 5242 3.77 41.97/42.10 c 19997 176 1820 119200 65 4711 2630 1808 5269 3.79 41.97/42.10 c 20472 176 2295 141040 61 5655 2894 2283 5291 3.87 41.97/42.10 c 21286 176 1499 83022 55 3823 3184 1487 5321 4.00 41.97/42.10 c 22606 176 2819 166926 59 6462 3503 2807 5428 4.16 41.97/42.10 c 24688 176 3028 162250 53 6891 3854 3016 5454 4.53 41.97/42.10 c 27911 176 2067 142059 68 4955 4240 2055 5509 5.07 41.97/42.10 c 32847 176 2440 171591 70 5701 4665 2428 4876 6.74 41.97/42.10 c 40354 176 2352 202677 86 5542 5132 2340 4729 8.53 41.97/42.10 c 51715 176 2760 230374 83 6346 5646 2748 4367 11.84 41.97/42.10 c 68859 176 4742 374974 79 10304 6211 4730 3768 18.27 41.97/42.10 c 94679 176 4388 273757 62 9602 6833 4376 3592 26.36 41.97/42.10 c 133511 176 3750 330360 88 8321 7517 3738 3289 40.59 41.97/42.10 o 104 42.084 42.98/43.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 42.98/43.07 c 138735 176 5097 275055 53 11117 2172 5085 3296 42.09 42.98/43.07 c 138836 176 1200 62760 52 3224 2390 1188 3293 42.16 42.98/43.07 c 139088 176 1452 73588 50 3735 2630 1440 3296 42.19 42.98/43.07 c 139565 176 1929 96003 49 4696 2894 1917 3303 42.25 42.98/43.07 c 140378 176 2742 140076 51 6322 3184 2730 3315 42.34 42.98/43.07 c 141699 176 2359 119237 50 5556 3503 2347 3328 42.57 42.98/43.07 c 143780 176 2534 158600 62 5906 3854 2522 3352 42.89 42.98/43.07 o 99 43.057 574.24/574.41 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 574.24/574.41 c 144981 176 3736 223519 59 8454 2172 3724 3367 43.06 574.24/574.41 c 145085 176 1203 62991 52 3242 2390 1191 3366 43.10 574.24/574.41 c 145336 176 1454 79178 54 3745 2630 1442 3369 43.13 574.24/574.41 c 145813 176 1931 109159 56 4696 2894 1919 3376 43.19 574.24/574.41 c 146626 176 2744 154019 56 6324 3184 2732 3384 43.33 574.24/574.41 c 147947 176 2319 140620 60 5474 3503 2307 3400 43.51 574.24/574.41 c 150028 176 2452 155890 63 5749 3854 2440 3427 43.77 574.24/574.41 c 153257 176 3578 226715 63 7978 4240 3566 3449 44.43 574.24/574.41 c 158193 176 3979 289016 72 8785 4665 3967 3450 45.85 574.24/574.41 c 165699 176 4069 254532 62 8959 5132 4057 3486 47.53 574.24/574.41 c 177060 176 4321 390019 90 9462 5646 4309 3413 51.87 574.24/574.41 c 194204 176 3317 289580 87 7449 6211 3305 3202 60.65 574.24/574.41 c 220023 176 6163 402089 65 13145 6833 6151 2967 74.15 574.24/574.41 c 258855 176 5332 450926 84 11494 7517 5320 2721 95.13 574.24/574.41 c 317207 176 4971 334365 67 10764 8269 4959 2683 118.21 574.24/574.41 c 404840 176 5810 497858 85 12434 9096 5798 1766 229.14 574.24/574.41 c 536392 176 5587 399439 71 12000 10006 5575 1843 291.02 574.24/574.41 c 733824 176 5986 474655 79 12803 11007 5974 1416 517.91 574.24/574.41 o 98 574.254 574.73/574.93 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 574.73/574.93 c 814731 176 7296 647586 88 15534 2172 7284 1418 574.25 574.73/574.93 c 814831 176 1199 99488 82 3198 2390 1187 1418 574.38 574.73/574.93 c 815083 176 1451 114622 78 3730 2630 1439 1418 574.41 574.73/574.93 c 815558 176 1926 139296 72 4682 2894 1914 1419 574.48 574.73/574.93 c 816371 176 2739 204020 74 6305 3184 2727 1420 574.56 574.73/574.93 c 817691 176 2297 151535 65 5412 3503 2285 1422 574.75 574.73/574.93 o 97 574.777 1799.90/1800.59 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.90/1800.59 c 817850 176 2457 160472 65 5865 2172 2445 1422 574.78 1799.90/1800.59 c 817951 176 1200 68393 56 3220 2390 1188 1422 574.81 1799.90/1800.59 c 818201 176 1450 79903 55 3729 2630 1438 1423 574.85 1799.90/1800.59 c 818679 176 1928 119313 61 4686 2894 1916 1424 574.90 1799.90/1800.59 c 819492 176 2741 169814 61 6299 3184 2729 1425 575.02 1799.90/1800.59 c 820812 176 2259 165808 73 5338 3503 2247 1427 575.19 1799.90/1800.59 c 822893 176 2419 153648 63 5648 3854 2407 1429 575.45 1799.90/1800.59 c 826116 176 3517 272144 77 7856 4240 3505 1433 576.15 1799.90/1800.59 c 831053 176 3978 212787 53 8777 4665 3966 1439 577.47 1799.90/1800.59 c 838559 176 3956 254416 64 8751 5132 3944 1447 579.47 1799.90/1800.59 c 849921 176 4286 340726 79 9396 5646 4274 1460 582.12 1799.90/1800.59 c 867065 176 3478 218376 62 7774 6211 3466 1479 586.03 1799.90/1800.59 c 892884 176 6118 558869 91 13062 6833 6106 1490 599.01 1799.90/1800.59 c 931716 176 5537 369876 66 11887 7517 5525 1527 609.77 1799.90/1800.59 c 990068 176 5010 364211 72 10843 8269 4998 1511 655.07 1799.90/1800.59 c 1077701 176 5971 509069 85 12794 9096 5959 1511 712.81 1799.90/1800.59 c 1209253 176 4877 389096 79 10568 10006 4865 1494 808.92 1799.90/1800.59 c 1406685 176 5355 418180 78 11532 11007 5343 1543 911.18 1799.90/1800.59 c 1702937 176 5517 454505 82 11854 12108 5505 1364 1247.93 1799.90/1800.59 c Resources Exceeded 1799.90/1800.59 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 1799.90/1800.59 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 1799.90/1800.59 v -x103 -x104 -x105 -x106 -x107 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 1799.90/1800.59 v -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x171 x172 x173 x174 x175 -x176 x177 x178 1799.90/1800.59 v x179 x180 x181 x182 x183 -x184 x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1799.90/1800.59 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 1799.90/1800.59 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 1799.90/1800.59 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 1799.90/1800.59 v x77 -x108 -x109 x110 x111 x112 x113 -x114 -x115 -x116 -x117 x118 -x119 x120 -x121 x122 -x123 x124 x125 -x126 x127 -x158 x159 1799.90/1800.59 v x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 -x169 -x170 1799.90/1800.59 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.90/1800.59 c 91 2114193 543062 3388065 11397 912788 11385 1174 1800.00 1799.90/1800.59 c Objective: 97 1799.90/1800.59 s SATISFIABLE 1799.90/1800.59 c Total time: 1800 s
OK 97
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node14/watcher-351642-1176608423 -o ROOT/results/node14/solver-351642-1176608423 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351642-1176608423/instance-351642-1176608423.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.88 0.98 0.99 3/77 16024 /proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=11744 CPUtime=0 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 108760085 12025856 338 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 2936 338 282 324 0 2003 0 [startup+0.057764 s] /proc/loadavg: 0.88 0.98 0.99 3/77 16024 /proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=4576 CPUtime=0.05 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 568 0 0 0 5 0 0 0 18 0 1 0 108760085 4685824 534 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 1144 534 312 324 0 213 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4576 [startup+0.101768 s] /proc/loadavg: 0.88 0.98 0.99 3/77 16024 /proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=4960 CPUtime=0.09 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 666 0 0 0 9 0 0 0 18 0 1 0 108760085 5079040 632 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 1240 632 312 324 0 309 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4960 [startup+0.301786 s] /proc/loadavg: 0.88 0.98 0.99 3/77 16024 /proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=7020 CPUtime=0.29 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1178 0 0 0 29 0 0 0 19 0 1 0 108760085 7188480 1144 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 1755 1144 312 324 0 824 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7020 [startup+0.701824 s] /proc/loadavg: 0.88 0.98 0.99 3/77 16024 /proc/meminfo: memFree=1481208/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=7664 CPUtime=0.69 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1337 0 0 0 69 0 0 0 22 0 1 0 108760085 7847936 1303 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 1916 1303 312 324 0 985 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7664 [startup+1.5029 s] /proc/loadavg: 0.88 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1477168/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=7664 CPUtime=1.49 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1337 0 0 0 148 1 0 0 25 0 1 0 108760085 7847936 1303 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 1916 1303 312 324 0 985 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7664 [startup+3.10105 s] /proc/loadavg: 0.88 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1476848/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=8840 CPUtime=3.09 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1619 0 0 0 307 2 0 0 25 0 1 0 108760085 9052160 1585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 2210 1585 312 324 0 1279 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8840 [startup+6.30135 s] /proc/loadavg: 0.89 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1475760/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=8840 CPUtime=6.29 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 1619 0 0 0 625 4 0 0 25 0 1 0 108760085 9052160 1585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 2210 1585 312 324 0 1279 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8840 [startup+12.702 s] /proc/loadavg: 0.90 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1474528/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=10764 CPUtime=12.69 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 2112 0 0 0 1263 6 0 0 25 0 1 0 108760085 11022336 2078 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 2691 2078 312 324 0 1760 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10764 [startup+25.5012 s] /proc/loadavg: 0.92 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1474096/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=10768 CPUtime=25.48 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 2113 0 0 0 2538 10 0 0 25 0 1 0 108760085 11026432 2079 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 2692 2079 312 324 0 1761 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10768 [startup+51.1016 s] /proc/loadavg: 0.95 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1472816/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=11900 CPUtime=51.08 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 2806 0 0 0 5091 17 0 0 25 0 1 0 108760085 12185600 2369 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 2975 2369 312 324 0 2044 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 11900 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1473008/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=11748 CPUtime=102.26 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 2987 0 0 0 10196 30 0 0 25 0 1 0 108760085 12029952 2331 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 2937 2331 312 324 0 2006 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11748 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1471280/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=13704 CPUtime=162.25 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 3457 0 0 0 16184 41 0 0 25 0 1 0 108760085 14032896 2799 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 3426 2799 312 324 0 2495 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13704 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1470704/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=14292 CPUtime=222.23 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 3625 0 0 0 22172 51 0 0 25 0 1 0 108760085 14635008 2944 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 3573 2944 312 324 0 2642 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 14292 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1471152/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=13664 CPUtime=282.22 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 3806 0 0 0 28153 69 0 0 25 0 1 0 108760085 13991936 2810 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 3416 2810 312 324 0 2485 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 13664 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1468912/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=16008 CPUtime=342.2 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4386 0 0 0 34140 80 0 0 25 0 1 0 108760085 16392192 3373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4002 3373 312 324 0 3071 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 16008 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 16025 /proc/meminfo: memFree=1468976/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=15900 CPUtime=402.18 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4386 0 0 0 40128 90 0 0 25 0 1 0 108760085 16281600 3368 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 3975 3368 312 324 0 3044 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 15900 [startup+462.302 s] /proc/loadavg: 1.04 1.00 1.00 2/78 16025 /proc/meminfo: memFree=1469040/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=15868 CPUtime=462.16 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4386 0 0 0 46114 102 0 0 25 0 1 0 108760085 16248832 3360 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 3967 3360 312 324 0 3036 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 15868 [startup+522.301 s] /proc/loadavg: 1.01 1.00 1.00 2/78 16025 /proc/meminfo: memFree=1469040/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=15856 CPUtime=522.14 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4387 0 0 0 52098 116 0 0 25 0 1 0 108760085 16236544 3357 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 3964 3357 312 324 0 3033 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 15856 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16025 /proc/meminfo: memFree=1467056/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=17616 CPUtime=582.13 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4962 0 0 0 58084 129 0 0 25 0 1 0 108760085 18038784 3797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4404 3797 312 324 0 3473 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 17616 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16025 /proc/meminfo: memFree=1468848/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=15848 CPUtime=642.12 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 4962 0 0 0 64065 147 0 0 25 0 1 0 108760085 16228352 3355 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 3962 3355 312 324 0 3031 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 15848 ################ # More data... # ################ /proc/meminfo: memFree=1467440/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=17608 CPUtime=1062 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5602 0 0 0 105981 219 0 0 25 0 1 0 108760085 18030592 3780 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4402 3780 312 324 0 3471 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 17608 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16025 /proc/meminfo: memFree=1467568/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=17152 CPUtime=1121.99 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5698 0 0 0 111970 229 0 0 25 0 1 0 108760085 17563648 3681 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4288 3681 312 324 0 3357 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 17152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16025 /proc/meminfo: memFree=1467120/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=17616 CPUtime=1181.97 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5935 0 0 0 117959 238 0 0 25 0 1 0 108760085 18038784 3797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4404 3797 312 324 0 3473 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 17616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 16091 /proc/meminfo: memFree=1465792/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=17688 CPUtime=1241.93 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5982 0 0 0 123947 246 0 0 25 0 1 0 108760085 18112512 3815 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4422 3815 312 324 0 3491 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 17688 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1467240/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=17292 CPUtime=1301.84 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 5984 0 0 0 129919 265 0 0 25 0 1 0 108760085 17707008 3717 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4323 3717 312 324 0 3392 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 17292 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466224/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18576 CPUtime=1361.82 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6358 0 0 0 135906 276 0 0 25 0 1 0 108760085 19021824 4018 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4644 4018 312 324 0 3713 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 18576 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466224/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18448 CPUtime=1421.81 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6358 0 0 0 141899 282 0 0 25 0 1 0 108760085 18890752 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4612 4006 312 324 0 3681 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 18448 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466288/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18448 CPUtime=1481.79 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6358 0 0 0 147892 287 0 0 25 0 1 0 108760085 18890752 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4612 4006 312 324 0 3681 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 18448 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466096/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18684 CPUtime=1541.77 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6397 0 0 0 153883 294 0 0 25 0 1 0 108760085 19132416 4045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4671 4045 312 324 0 3740 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 18684 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466096/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18624 CPUtime=1601.75 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6397 0 0 0 159875 300 0 0 25 0 1 0 108760085 19070976 4045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4656 4045 312 324 0 3725 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 18624 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466224/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18624 CPUtime=1661.74 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6397 0 0 0 165868 306 0 0 25 0 1 0 108760085 19070976 4045 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4656 4045 312 324 0 3725 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 18624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18624 CPUtime=1721.72 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 171860 312 0 0 25 0 1 0 108760085 19070976 4047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4656 4047 312 324 0 3725 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 18624 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18624 CPUtime=1781.71 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 177853 318 0 0 25 0 1 0 108760085 19070976 4047 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4656 4047 312 324 0 3725 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 18624 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18584 CPUtime=1791.31 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 178812 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4646 4040 312 324 0 3715 0 Current children cumulated CPU time (s) 1791.31 Current children cumulated vsize (KiB) 18584 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18584 CPUtime=1794.51 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179132 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4646 4040 312 324 0 3715 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (KiB) 18584 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18584 CPUtime=1797.7 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179451 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4646 4040 312 324 0 3715 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (KiB) 18584 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18584 CPUtime=1799.3 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179611 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4646 4040 312 324 0 3715 0 Current children cumulated CPU time (s) 1799.3 Current children cumulated vsize (KiB) 18584 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18584 CPUtime=1799.7 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179651 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4646 4040 312 324 0 3715 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (KiB) 18584 [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 16223 /proc/meminfo: memFree=1466160/2055920 swapFree=4149088/4192956 [pid=16024] ppid=16022 vsize=18584 CPUtime=1799.9 /proc/16024/stat : 16024 (bsolo3.0.16) R 16022 16024 2882 0 -1 4194304 6399 0 0 0 179671 319 0 0 25 0 1 0 108760085 19030016 4040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/16024/statm: 4646 4040 312 324 0 3715 0 Current children cumulated CPU time (s) 1799.9 Current children cumulated vsize (KiB) 18584 Child status: 0 Real time (s): 1800.6 CPU time (s): 1800.01 CPU user time (s): 1796.81 CPU system time (s): 3.20251 CPU usage (%): 99.9672 Max. virtual memory (cumulated for all children) (KiB): 18684 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.81 system time used= 3.20251 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6400 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= 11 involuntary context switches= 12718 runsolver used 2.12068 second user time and 4.23336 second system time The end
Begin job on node14 on Sun Apr 15 03:40:23 UTC 2007 IDJOB= 351642 IDBENCH= 1786 IDSOLVER= 163 FILE ID= node14/351642-1176608423 PBS_JOBID= 4556828 Free space on /tmp= 66557 MiB SOLVER NAME= bsolo 3.0.16 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.16 -t1800 -m1800 /tmp/evaluation/351642-1176608423/instance-351642-1176608423.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-351642-1176608423 -o ROOT/results/node14/solver-351642-1176608423 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/351642-1176608423/instance-351642-1176608423.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9a8d1e3e59dfd2cd811494ddb4a3c92a RANDOM SEED= 503736467 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node14.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.227 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.227 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: 1481616 kB Buffers: 102364 kB Cached: 375148 kB SwapCached: 12020 kB Active: 224948 kB Inactive: 281324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1481616 kB SwapTotal: 4192956 kB SwapFree: 4149088 kB Dirty: 4544 kB Writeback: 0 kB Mapped: 32708 kB Slab: 53540 kB Committed_AS: 6024264 kB PageTables: 1796 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= 66557 MiB End job on node14 on Sun Apr 15 04:10:24 UTC 2007