Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 27 | 1800.02 | 1800.49 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb |
MD5SUM | 08d7a5060b972f308367859ff82f87f6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 1800.11 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2528 |
Sum of products size (including duplicates) | 5056 |
Number of different products | 2528 |
Sum of products size | 5056 |
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/453315-1178129972/instance-453315-1178129972.opb 0.00/0.00 c File size is 36937 bytes. 0.00/0.01 c Highest Coefficient sum: 200 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.015 s 0.00/0.02 c Var: 2728 Constr: 5256 2728/0/2528 Lit: 17896 Watch. Lit: 13040 0.00/0.02 c Obj. Vars: 200 (7.33138 % of total variables) 0.06/0.09 c Pre-processing Time: 0.091 s 0.06/0.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.09 c 0 2728 5256 17896 3 13040 16077 0 0 0.09 0.06/0.09 c Switching off LPR mode. 0.06/0.09 o 199 0.094 0.06/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.10 c 0 2728 5257 18096 3 13043 16210 1 0 0.10 0.06/0.10 o 198 0.096 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2728 5258 18296 3 13047 16410 2 0 0.10 0.09/0.10 o 197 0.099 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2728 5259 18496 3 13052 16677 3 0 0.10 0.09/0.10 o 196 0.102 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 0 2728 5260 18696 3 13058 17010 4 0 0.10 0.09/0.10 o 195 0.105 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2728 5261 18896 3 13065 17410 5 0 0.10 0.09/0.11 o 194 0.107 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2728 5262 19096 3 13073 17877 6 0 0.11 0.09/0.11 o 193 0.11 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2728 5263 19296 3 13082 18410 7 0 0.11 0.09/0.11 o 192 0.113 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 0 2728 5264 19496 3 13092 19010 8 0 0.11 0.09/0.11 o 191 0.115 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2728 5265 19696 3 13103 19677 9 0 0.12 0.09/0.12 o 190 0.118 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2728 5266 19896 3 13115 20410 10 0 0.12 0.09/0.12 o 189 0.121 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2728 5267 20096 3 13128 21210 11 0 0.12 0.09/0.12 o 188 0.123 0.09/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.12 c 0 2728 5268 20296 3 13142 22077 12 0 0.12 0.09/0.12 o 187 0.126 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 0 2728 5269 20496 3 13157 23010 13 0 0.13 0.09/0.13 o 185 0.128 0.09/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.13 c 1 2728 5271 20883 3 13176 23077 15 7 0.13 0.09/0.13 o 30 0.132 9.99/10.03 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.03 c 1 2728 5272 21083 3 13348 23077 16 7 0.13 9.99/10.03 c 101 2728 5372 27981 5 13548 25385 116 668 0.15 9.99/10.03 c 352 2728 5623 44095 7 14050 27924 367 1872 0.19 9.99/10.03 c 828 2728 6099 72985 11 15002 30717 843 3259 0.25 9.99/10.03 c 1642 2728 6913 123610 17 16630 33789 1657 4136 0.40 9.99/10.03 c 2962 2728 8233 201329 24 19270 37168 2977 4694 0.63 9.99/10.03 c 5044 2728 10315 324392 31 23434 40885 5059 4916 1.03 9.99/10.03 c 8267 2728 13538 549142 40 29880 44974 8282 4326 1.91 9.99/10.03 c 13204 2728 18475 912222 49 39754 49472 13219 3438 3.84 9.99/10.03 c 20710 2728 25981 1576459 60 54766 54420 20725 2621 7.90 9.99/10.03 o 29 10.032 77.16/77.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 77.16/77.24 c 24427 2728 29699 1813293 61 62373 23077 24443 2434 10.03 77.16/77.24 c 24527 2728 16297 907048 55 35293 25385 11041 2394 10.24 77.16/77.24 c 24777 2728 16547 922704 55 35793 27924 11291 2400 10.32 77.16/77.24 c 25253 2728 17023 956171 56 36745 30717 11767 2414 10.46 77.16/77.24 c 26066 2728 17836 1012522 56 38371 33789 12580 2439 10.68 77.16/77.24 c 27386 2728 19156 1093241 57 41011 37168 13900 2467 11.10 77.16/77.24 c 29467 2728 21237 1217913 57 45173 40885 15981 2479 11.89 77.16/77.24 c 32691 2728 24461 1397601 57 51621 44974 19205 2530 12.92 77.16/77.24 c 37628 2728 29398 1781615 60 61495 49472 24142 2432 15.47 77.16/77.24 c 45135 2728 36905 2376620 64 76509 54420 31649 2226 20.28 77.16/77.24 c 56497 2728 48267 3105140 64 99233 59863 43011 1820 31.04 77.16/77.24 c 73641 2728 17692 1069269 60 38083 65850 12436 1365 53.93 77.16/77.24 c 99461 2728 43512 2824165 64 89723 72436 38256 1289 77.12 77.16/77.24 o 28 77.221 446.97/447.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 446.97/447.12 c 99611 2728 43663 2832929 64 90197 17077 38407 1289 77.22 446.97/447.12 c 99712 2728 13897 556059 40 30494 18785 8641 1226 81.31 446.97/447.12 c 99962 2728 14147 570939 40 30994 20664 8891 1228 81.36 446.97/447.12 c 100437 2728 14622 596630 40 31944 22731 9366 1232 81.48 446.97/447.12 c 101250 2728 15435 648678 42 33570 25005 10179 1238 81.74 446.97/447.12 c 102570 2728 16755 731784 43 36210 27506 11499 1249 82.07 446.97/447.12 c 104651 2728 18836 877187 46 40372 30257 13580 1263 82.85 446.97/447.12 c 107874 2728 22059 1086283 49 46818 33283 16803 1283 84.02 446.97/447.12 c 112811 2728 26996 1442470 53 56692 36612 21740 1310 86.11 446.97/447.12 c 120318 2728 34503 2043664 59 71706 40274 29247 1314 91.55 446.97/447.12 c 131680 2728 16648 881184 52 35996 44302 11392 1307 100.71 446.97/447.12 c 148824 2728 33792 2032628 60 70284 48733 28536 1335 111.41 446.97/447.12 c 174645 2728 22354 1495310 66 47408 53607 17098 1213 143.89 446.97/447.12 c 213478 2728 18465 985392 53 39630 58968 13209 1054 202.53 446.97/447.12 c 271830 2728 27841 1599048 57 58382 64865 22585 962 282.53 446.97/447.12 c 359463 2728 61519 4843018 78 125738 71352 56263 842 426.68 446.97/447.12 o 27 447.001 1799.92/1800.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.92/1800.46 c 375701 2728 17346 827871 47 37393 17077 12090 820 457.98 1799.92/1800.46 c 375803 2728 17448 833627 47 37597 18785 12192 820 458.11 1799.92/1800.46 c 376053 2728 17698 847722 47 38097 20664 12442 820 458.18 1799.92/1800.46 c 376528 2728 18173 880428 48 39047 22731 12917 821 458.35 1799.92/1800.46 c 377341 2728 18986 928417 48 40673 25005 13730 822 458.65 1799.92/1800.46 c 378661 2728 20306 1030017 50 43313 27506 15050 824 459.07 1799.92/1800.46 c 380743 2728 22388 1158340 51 47477 30257 17132 827 460.01 1799.92/1800.46 c 383967 2728 25612 1357312 52 53925 33283 20356 831 461.50 1799.92/1800.46 c 388903 2728 30548 1704228 55 63797 36612 25292 837 464.39 1799.92/1800.46 c 396410 2728 38055 2251524 59 78811 40274 32799 845 469.05 1799.92/1800.46 c 407771 2728 18705 1112998 59 40111 44302 13449 849 480.09 1799.92/1800.46 c 424915 2728 35849 2426688 67 74399 48733 30593 858 495.06 1799.92/1800.46 c 450735 2728 23227 1614897 69 49155 53607 17971 842 534.76 1799.92/1800.46 c 489567 2728 18602 938723 50 39905 58968 13346 840 582.16 1799.92/1800.46 c 547919 2728 29038 1864077 64 60777 64865 23782 794 689.70 1799.92/1800.46 c 635552 2728 61897 4191896 67 126495 71352 56641 777 817.05 1799.92/1800.46 c 767105 2728 72038 5552694 77 146777 78488 66782 681 1124.97 1799.92/1800.46 c 964537 2728 66769 4351886 65 136239 86337 61513 593 1625.68 1799.92/1800.46 c Resources Exceeded 1799.92/1800.46 v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 1799.92/1800.46 v -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 1799.92/1800.46 v x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 x79 -x80 -x81 1799.92/1800.46 v -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 1799.92/1800.46 v x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128 1799.92/1800.46 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1799.92/1800.46 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 1799.92/1800.46 v -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 1799.92/1800.46 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1799.92/1800.46 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.46 c 71 1057933 364339 1759359 83976 4963671 78720 587 1800.00 1799.92/1800.46 c Objective: 27 1799.92/1800.46 s SATISFIABLE 1799.92/1800.46 c Total time: 1800 s
OK 27
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-453315-1178129972 -o ROOT/results/node7/solver-453315-1178129972 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453315-1178129972/instance-453315-1178129972.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.92 0.98 0.99 3/77 13079 /proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=11776 CPUtime=0 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 289034793 12058624 345 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134545728 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 2944 346 291 324 0 2003 0 [startup+0.074132 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13079 /proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=5324 CPUtime=0.06 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 720 0 0 0 6 0 0 0 18 0 1 0 289034793 5451776 680 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 1331 680 305 324 0 400 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 5324 [startup+0.101133 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13079 /proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=5592 CPUtime=0.09 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 850 0 0 0 9 0 0 0 18 0 1 0 289034793 5726208 760 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 1398 760 310 324 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5592 [startup+0.301155 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13079 /proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=6376 CPUtime=0.29 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 1067 0 0 0 28 1 0 0 19 0 1 0 289034793 6529024 977 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 1594 977 312 324 0 663 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6376 [startup+0.701196 s] /proc/loadavg: 0.92 0.98 0.99 3/77 13079 /proc/meminfo: memFree=1661224/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=8464 CPUtime=0.68 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 1569 0 0 0 67 1 0 0 22 0 1 0 289034793 8667136 1479 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 2116 1479 312 324 0 1185 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8464 [startup+1.50128 s] /proc/loadavg: 0.92 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1655136/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=11852 CPUtime=1.48 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 2430 0 0 0 146 2 0 0 25 0 1 0 289034793 12136448 2340 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 2963 2340 312 324 0 2032 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11852 [startup+3.10145 s] /proc/loadavg: 0.92 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1650912/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=16796 CPUtime=3.09 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 3661 0 0 0 306 3 0 0 25 0 1 0 289034793 17199104 3571 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 4199 3571 312 324 0 3268 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16796 [startup+6.30178 s] /proc/loadavg: 0.93 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1641760/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=24740 CPUtime=6.29 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 5656 0 0 0 624 5 0 0 25 0 1 0 289034793 25333760 5566 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 6185 5566 312 324 0 5254 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24740 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1633440/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=31136 CPUtime=12.69 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 7263 0 0 0 1261 8 0 0 25 0 1 0 289034793 31883264 7173 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 7784 7173 312 324 0 6853 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31136 [startup+25.5028 s] /proc/loadavg: 0.95 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1619936/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=45036 CPUtime=25.48 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 10716 0 0 0 2534 14 0 0 25 0 1 0 289034793 46116864 10626 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 11259 10626 312 324 0 10328 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45036 [startup+51.1025 s] /proc/loadavg: 0.96 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1596640/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=68304 CPUtime=51.08 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 16554 0 0 0 5083 25 0 0 25 0 1 0 289034793 69943296 16464 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 17076 16464 312 324 0 16145 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 68304 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1595360/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=69088 CPUtime=102.27 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 16794 0 0 0 10191 36 0 0 25 0 1 0 289034793 70746112 16645 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10850076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 17272 16645 312 324 0 16341 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 69088 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1595424/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=69088 CPUtime=162.25 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 16794 0 0 0 16179 46 0 0 25 0 1 0 289034793 70746112 16645 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 17272 16645 312 324 0 16341 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 69088 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1595424/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=69088 CPUtime=222.23 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 16794 0 0 0 22168 55 0 0 25 0 1 0 289034793 70746112 16645 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 17272 16645 312 324 0 16341 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 69088 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1589920/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=74516 CPUtime=282.21 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 18210 0 0 0 28158 63 0 0 25 0 1 0 289034793 76304384 18001 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 18629 18001 312 324 0 17698 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 74516 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1589792/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=75040 CPUtime=342.2 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 18340 0 0 0 34148 72 0 0 25 0 1 0 289034793 76840960 18131 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 18760 18131 312 324 0 17829 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 75040 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1583456/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=81016 CPUtime=402.18 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 19890 0 0 0 40138 80 0 0 25 0 1 0 289034793 82960384 19615 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 20254 19615 312 324 0 19323 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 81016 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1575328/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=89076 CPUtime=462.16 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 22001 0 0 0 46127 89 0 0 25 0 1 0 289034793 91213824 21655 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160091729 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 22269 21655 312 324 0 21338 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 89076 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 13080 /proc/meminfo: memFree=1575328/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=89076 CPUtime=522.15 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 22001 0 0 0 52115 100 0 0 25 0 1 0 289034793 91213824 21655 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 22269 21655 312 324 0 21338 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 89076 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13080 /proc/meminfo: memFree=1575328/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=89076 CPUtime=582.14 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 22001 0 0 0 58105 109 0 0 25 0 1 0 289034793 91213824 21655 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 22269 21655 312 324 0 21338 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 89076 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 3/78 13080 /proc/meminfo: memFree=1575328/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=89076 CPUtime=642.12 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 22001 0 0 0 64096 116 0 0 25 0 1 0 289034793 91213824 21655 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 22269 21655 312 324 0 21338 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 89076 ################ # More data... # ################ /proc/meminfo: memFree=1567776/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96668 CPUtime=1122 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 23956 0 0 0 112032 168 0 0 25 0 1 0 289034793 98988032 23538 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24167 23538 312 324 0 23236 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 96668 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96696 CPUtime=1181.99 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 118027 172 0 0 25 0 1 0 289034793 99016704 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24174 23545 312 324 0 23243 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 96696 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96696 CPUtime=1241.97 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 124025 172 0 0 25 0 1 0 289034793 99016704 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24174 23545 312 324 0 23243 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 96696 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96668 CPUtime=1301.96 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 130018 178 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551105 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24167 23545 312 324 0 23236 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 96668 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 3/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96668 CPUtime=1361.94 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 136009 185 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24167 23545 312 324 0 23236 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 96668 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96668 CPUtime=1421.93 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 142003 190 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24167 23545 312 324 0 23236 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 96668 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96668 CPUtime=1481.9 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 147991 199 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24167 23545 312 324 0 23236 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 96668 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96668 CPUtime=1541.89 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 153984 205 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24167 23545 312 324 0 23236 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 96668 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96668 CPUtime=1601.88 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24042 0 0 0 159974 214 0 0 25 0 1 0 289034793 98988032 23545 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24167 23545 312 324 0 23236 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 96668 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96700 CPUtime=1661.86 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 165964 222 0 0 25 0 1 0 289034793 99020800 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546306 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24175 23553 312 324 0 23244 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 96700 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96688 CPUtime=1721.84 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 171958 226 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24172 23553 312 324 0 23241 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 96688 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96688 CPUtime=1781.83 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 177949 234 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24172 23553 312 324 0 23241 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 96688 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96688 CPUtime=1791.43 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 178908 235 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24172 23553 312 324 0 23241 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 96688 [startup+1795.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96688 CPUtime=1794.63 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179227 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134548241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24172 23553 312 324 0 23241 0 Current children cumulated CPU time (s) 1794.63 Current children cumulated vsize (KiB) 96688 [startup+1798.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96688 CPUtime=1797.83 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179547 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24172 23553 312 324 0 23241 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 96688 [startup+1799.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96688 CPUtime=1798.63 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179627 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24172 23553 312 324 0 23241 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (KiB) 96688 [startup+1799.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96688 CPUtime=1799.42 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179706 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24172 23553 312 324 0 23241 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (KiB) 96688 [startup+1800.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96688 CPUtime=1799.82 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179746 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24172 23553 312 324 0 23241 0 Current children cumulated CPU time (s) 1799.82 Current children cumulated vsize (KiB) 96688 [startup+1800.4 s] /proc/loadavg: 0.99 0.98 0.99 2/78 13082 /proc/meminfo: memFree=1567712/2055920 swapFree=4157020/4192956 [pid=13079] ppid=13077 vsize=96688 CPUtime=1799.92 /proc/13079/stat : 13079 (bsolo3.0.16) R 13077 13079 12540 0 -1 4194304 24050 0 0 0 179756 236 0 0 25 0 1 0 289034793 99008512 23553 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13079/statm: 24172 23553 312 324 0 23241 0 Current children cumulated CPU time (s) 1799.92 Current children cumulated vsize (KiB) 96688 Child status: 0 Real time (s): 1800.49 CPU time (s): 1800.02 CPU user time (s): 1797.63 CPU system time (s): 2.38564 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 97012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.63 system time used= 2.38564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24051 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= 2047 runsolver used 1.3278 second user time and 3.9434 second system time The end
Begin job on node7 on Wed May 2 18:19:32 UTC 2007 IDJOB= 453315 IDBENCH= 48122 IDSOLVER= 163 FILE ID= node7/453315-1178129972 PBS_JOBID= 4751052 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453315-1178129972/instance-453315-1178129972.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-453315-1178129972 -o ROOT/results/node7/solver-453315-1178129972 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453315-1178129972/instance-453315-1178129972.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6 RANDOM SEED= 575902489 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.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.231 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.231 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: 1661632 kB Buffers: 200296 kB Cached: 82196 kB SwapCached: 15756 kB Active: 187036 kB Inactive: 119912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1661632 kB SwapTotal: 4192956 kB SwapFree: 4157020 kB Dirty: 6740 kB Writeback: 0 kB Mapped: 30620 kB Slab: 72752 kB Committed_AS: 14444232 kB PageTables: 1864 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 node7 on Wed May 2 18:49:32 UTC 2007