Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 6 | 1800.09 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_1.opb |
MD5SUM | aa10899bd7f711370f6ef9f1251ce7f2 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 61.3037 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3038 |
Sum of products size (including duplicates) | 6076 |
Number of different products | 3038 |
Sum of products size | 6076 |
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/453150-1178119144/instance-453150-1178119144.opb 0.00/0.00 c File size is 38185 bytes. 0.00/0.02 c Highest Coefficient sum: 100 0.00/0.02 c Parsing was ok!! 0.00/0.02 c Total parsing time: 0.026 s 0.00/0.03 c Var: 3138 Constr: 6176 3138/0/3038 Lit: 21366 Watch. Lit: 15390 0.00/0.03 c Obj. Vars: 100 (3.18674 % of total variables) 0.19/0.20 c Pre-processing Time: 0.197 s 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3138 6176 21366 3 15390 19273 0 0 0.20 0.19/0.20 c Switching off LPR mode. 0.19/0.20 o 99 0.201 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 0 3138 6177 21466 3 15393 19340 1 0 0.20 0.19/0.20 o 98 0.203 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3138 6178 21566 3 15397 19440 2 0 0.20 0.19/0.21 o 97 0.207 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3138 6179 21666 3 15402 19573 3 0 0.21 0.19/0.21 o 96 0.21 0.19/0.21 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.21 c 0 3138 6180 21766 3 15408 19740 4 0 0.21 0.19/0.21 o 95 0.213 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3138 6181 21866 3 15415 19940 5 0 0.21 0.19/0.22 o 94 0.216 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3138 6182 21966 3 15423 20173 6 0 0.22 0.19/0.22 o 93 0.219 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3138 6183 22066 3 15432 20440 7 0 0.22 0.19/0.22 o 92 0.222 0.19/0.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.22 c 0 3138 6184 22166 3 15442 20740 8 0 0.22 0.19/0.22 o 91 0.225 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3138 6185 22266 3 15453 21073 9 0 0.23 0.19/0.23 o 90 0.228 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3138 6186 22366 3 15465 21440 10 0 0.23 0.19/0.23 o 89 0.231 0.19/0.23 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.23 c 0 3138 6187 22466 3 15478 21840 11 0 0.23 0.19/0.23 o 88 0.234 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3138 6188 22566 3 15492 22273 12 0 0.23 0.19/0.24 o 87 0.237 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3138 6189 22666 3 15507 22740 13 0 0.24 0.19/0.24 o 86 0.24 0.19/0.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.24 c 0 3138 6190 22766 3 15523 23240 14 0 0.24 0.19/0.24 o 85 0.243 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3138 6191 22866 3 15540 23773 15 0 0.24 0.19/0.25 o 84 0.246 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3138 6192 22966 3 15558 24340 16 0 0.25 0.19/0.25 o 83 0.249 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3138 6193 23066 3 15577 24940 17 0 0.25 0.19/0.25 o 82 0.252 0.19/0.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.25 c 0 3138 6194 23166 3 15597 25573 18 0 0.25 0.19/0.25 o 81 0.255 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3138 6195 23266 3 15618 26240 19 0 0.26 0.19/0.26 o 80 0.258 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3138 6196 23366 3 15640 26940 20 0 0.26 0.19/0.26 o 79 0.261 0.19/0.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.26 c 0 3138 6197 23466 3 15663 27673 21 0 0.26 0.19/0.26 o 78 0.264 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3138 6198 23566 3 15687 28440 22 0 0.27 0.19/0.27 o 77 0.267 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3138 6199 23666 3 15712 29240 23 0 0.27 0.19/0.27 o 76 0.27 0.19/0.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.27 c 0 3138 6200 23766 3 15738 30073 24 0 0.27 0.19/0.27 o 75 0.273 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3138 6201 23866 3 15765 30940 25 0 0.27 0.19/0.28 o 74 0.276 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3138 6202 23966 3 15793 31840 26 0 0.28 0.19/0.28 o 73 0.279 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3138 6203 24066 3 15822 32773 27 0 0.28 0.19/0.28 o 72 0.282 0.19/0.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.28 c 0 3138 6204 24166 3 15852 33740 28 0 0.28 0.19/0.28 o 71 0.285 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3138 6205 24266 3 15883 34740 29 0 0.29 0.19/0.29 o 70 0.288 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3138 6206 24366 3 15915 35740 30 0 0.29 0.19/0.29 o 69 0.291 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 0 3138 6207 24466 3 15948 36740 31 0 0.29 0.19/0.29 o 68 0.294 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3138 6208 24566 3 15982 37740 32 0 0.29 0.29/0.30 o 67 0.297 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3138 6209 24666 3 16017 38740 33 0 0.30 0.29/0.30 o 66 0.301 0.29/0.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.30 c 0 3138 6210 24766 3 16053 39740 34 0 0.30 0.29/0.30 o 37 0.305 0.29/0.31 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.31 c 1 3138 6212 24932 4 16120 39740 36 3 0.31 0.29/0.31 o 8 0.309 0.29/0.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.32 c 1 3138 6213 25032 4 16214 39740 37 3 0.31 0.29/0.32 o 7 0.321 0.29/0.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.33 c 25 3138 6238 26383 4 16357 39740 62 77 0.32 0.29/0.33 o 6 0.326 1799.99/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.70 c 33 3138 6247 27143 4 16469 39740 71 100 0.33 1799.99/1800.70 c 137 3138 6351 34450 5 16677 43715 175 381 0.36 1799.99/1800.70 c 387 3138 6601 50095 7 17177 48087 425 937 0.41 1799.99/1800.70 c 863 3138 7077 90519 12 18129 52896 901 1516 0.57 1799.99/1800.70 c 1676 3138 7890 154090 19 19755 58186 1714 1891 0.89 1799.99/1800.70 c 2998 3138 9212 283657 30 22399 64005 3036 1984 1.51 1799.99/1800.70 c 5080 3138 11294 471779 41 26563 70406 5118 2140 2.37 1799.99/1800.70 c 8307 3138 14521 739303 50 33017 77447 8345 1858 4.47 1799.99/1800.70 c 13243 3138 19457 1145618 58 42889 85192 13281 1529 8.66 1799.99/1800.70 c 20749 3138 26963 1872746 69 57901 93712 20787 1128 18.38 1799.99/1800.70 c 32110 3138 38324 2918887 76 80623 103084 32148 819 39.18 1799.99/1800.70 c 49255 3138 55469 4555942 82 114913 113393 49293 577 85.28 1799.99/1800.70 c 75075 3138 81289 7103987 87 166553 124733 75113 412 181.94 1799.99/1800.70 c 113907 3138 120121 12217592 101 244217 137207 113945 277 410.91 1799.99/1800.70 c 172259 3138 53290 10935719 205 109712 150928 47114 244 705.61 1799.99/1800.70 c 259891 3138 140922 29539282 209 284976 166021 134746 216 1198.52 1799.99/1800.70 c Resources Exceeded 1799.99/1800.70 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.99/1800.70 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.99/1800.70 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.99/1800.70 v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1799.99/1800.70 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.70 c 53 348832 110586 615349 75711 16761596 69535 193 1800.00 1799.99/1800.70 c Objective: 6 1799.99/1800.70 s SATISFIABLE 1799.99/1800.70 c Total time: 1800 s
OK 6
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-453150-1178119144 -o ROOT/results/node13/solver-453150-1178119144 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453150-1178119144/instance-453150-1178119144.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.84 0.95 0.93 3/77 13027 /proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=11776 CPUtime=0 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 259832236 12058624 344 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 2944 345 291 324 0 2003 0 [startup+0.053561 s] /proc/loadavg: 0.84 0.95 0.93 3/77 13027 /proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=5464 CPUtime=0.04 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 780 0 0 0 4 0 0 0 18 0 1 0 259832236 5595136 740 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 1366 740 305 324 0 435 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5464 [startup+0.101571 s] /proc/loadavg: 0.84 0.95 0.93 3/77 13027 /proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=5464 CPUtime=0.09 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 780 0 0 0 9 0 0 0 18 0 1 0 259832236 5595136 740 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 1366 740 305 324 0 435 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5464 [startup+0.301613 s] /proc/loadavg: 0.84 0.95 0.93 3/77 13027 /proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=5836 CPUtime=0.29 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 938 0 0 0 28 1 0 0 19 0 1 0 259832236 5976064 833 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 1459 833 311 324 0 528 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5836 [startup+0.701699 s] /proc/loadavg: 0.84 0.95 0.93 3/77 13027 /proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=7028 CPUtime=0.69 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 1220 0 0 0 68 1 0 0 22 0 1 0 259832236 7196672 1115 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 1757 1115 312 324 0 826 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7028 [startup+1.50187 s] /proc/loadavg: 0.84 0.95 0.93 2/78 13028 /proc/meminfo: memFree=1763640/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=9244 CPUtime=1.49 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 1789 0 0 0 147 2 0 0 25 0 1 0 259832236 9465856 1684 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 2311 1684 312 324 0 1380 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9244 [startup+3.10121 s] /proc/loadavg: 0.84 0.95 0.93 2/78 13028 /proc/meminfo: memFree=1759992/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=13404 CPUtime=3.08 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 2838 0 0 0 306 2 0 0 25 0 1 0 259832236 13725696 2733 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 3351 2733 312 324 0 2420 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13404 [startup+6.30189 s] /proc/loadavg: 0.85 0.95 0.93 2/78 13028 /proc/meminfo: memFree=1753912/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=18596 CPUtime=6.29 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 4119 0 0 0 625 4 0 0 25 0 1 0 259832236 19042304 4014 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 4649 4014 312 324 0 3718 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18596 [startup+12.7013 s] /proc/loadavg: 0.87 0.95 0.93 2/78 13028 /proc/meminfo: memFree=1745408/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=26564 CPUtime=12.68 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 6103 0 0 0 1261 7 0 0 25 0 1 0 259832236 27201536 5998 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 6641 5998 312 324 0 5710 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26564 [startup+25.502 s] /proc/loadavg: 0.89 0.95 0.93 2/78 13028 /proc/meminfo: memFree=1734208/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=37360 CPUtime=25.48 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 8824 0 0 0 2536 12 0 0 25 0 1 0 259832236 38256640 8719 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 9340 8719 312 324 0 8409 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 37360 [startup+51.1014 s] /proc/loadavg: 0.93 0.96 0.93 2/78 13028 /proc/meminfo: memFree=1718400/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=53356 CPUtime=51.07 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 12829 0 0 0 5090 17 0 0 25 0 1 0 259832236 54636544 12724 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 13339 12724 312 324 0 12408 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53356 [startup+102.305 s] /proc/loadavg: 0.97 0.96 0.93 2/78 13028 /proc/meminfo: memFree=1694336/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=77048 CPUtime=102.25 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 18736 0 0 0 10199 26 0 0 25 0 1 0 259832236 78897152 18631 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 19262 18631 312 324 0 18331 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 77048 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1672960/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=98440 CPUtime=162.23 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 24093 0 0 0 16185 38 0 0 25 0 1 0 259832236 100802560 23988 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 24610 23988 312 324 0 23679 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 98440 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1652928/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=118356 CPUtime=222.21 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 29056 0 0 0 22176 45 0 0 25 0 1 0 259832236 121196544 28951 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12308632 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 29589 28951 312 324 0 28658 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 118356 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1631808/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=139484 CPUtime=282.19 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 34346 0 0 0 28166 53 0 0 25 0 1 0 259832236 142831616 34241 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12308540 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 34871 34241 312 324 0 33940 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 139484 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1613888/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=157284 CPUtime=342.16 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 38782 0 0 0 34157 59 0 0 25 0 1 0 259832236 161058816 38677 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 39321 38677 312 324 0 38390 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 157284 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1599296/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=171888 CPUtime=402.14 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 42461 0 0 0 40149 65 0 0 25 0 1 0 259832236 176013312 42356 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 42972 42356 312 324 0 42041 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 171888 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1571072/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=199972 CPUtime=462.11 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 49469 0 0 0 46138 73 0 0 25 0 1 0 259832236 204771328 49364 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 49993 49364 312 324 0 49062 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 199972 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1555392/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=215872 CPUtime=522.09 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 53429 0 0 0 52131 78 0 0 25 0 1 0 259832236 221052928 53324 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 53968 53324 312 324 0 53037 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 215872 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1527168/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=243832 CPUtime=582.07 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 60434 0 0 0 58123 84 0 0 25 0 1 0 259832236 249683968 60329 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 60958 60329 312 324 0 60027 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 243832 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1521600/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=249128 CPUtime=642.04 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 61881 0 0 0 64116 88 0 0 25 0 1 0 259832236 255107072 61640 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 62282 61640 312 324 0 61351 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 249128 ################ # More data... # ################ /proc/meminfo: memFree=1439360/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=331648 CPUtime=1061.88 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 82538 0 0 0 106059 129 0 0 25 0 1 0 259832236 339607552 82297 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 82912 82297 312 324 0 81981 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 331648 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1407104/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=363844 CPUtime=1121.85 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 90564 0 0 0 112049 136 0 0 25 0 1 0 259832236 372576256 90323 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 90961 90323 312 324 0 90030 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 363844 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.93 2/78 13028 /proc/meminfo: memFree=1382336/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=388532 CPUtime=1181.83 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 96729 0 0 0 118041 142 0 0 25 0 1 0 259832236 397856768 96488 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312417 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 97133 96488 312 324 0 96202 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 388532 [startup+1242.3 s] /proc/loadavg: 1.05 0.99 0.94 2/78 13028 /proc/meminfo: memFree=1360768/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=410116 CPUtime=1241.8 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 102138 0 0 0 124033 147 0 0 25 0 1 0 259832236 419958784 101897 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 102529 101897 312 324 0 101598 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 410116 [startup+1302.3 s] /proc/loadavg: 1.07 1.00 0.94 2/78 13028 /proc/meminfo: memFree=1321216/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=449348 CPUtime=1301.79 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 111950 0 0 0 130024 155 0 0 25 0 1 0 259832236 460132352 111709 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12308549 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 112337 111709 312 324 0 111406 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 449348 [startup+1362.3 s] /proc/loadavg: 1.07 1.01 0.95 2/78 13028 /proc/meminfo: memFree=1301568/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=469032 CPUtime=1361.75 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 116862 0 0 0 136016 159 0 0 25 0 1 0 259832236 480288768 116621 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312403 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 117258 116621 312 324 0 116327 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 469032 [startup+1422.3 s] /proc/loadavg: 1.07 1.02 0.95 2/78 13030 /proc/meminfo: memFree=1273024/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=497472 CPUtime=1421.74 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 123969 0 0 0 142008 166 0 0 25 0 1 0 259832236 509411328 123728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 124368 123728 312 324 0 123437 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 497472 [startup+1482.3 s] /proc/loadavg: 1.02 1.02 0.95 2/78 13030 /proc/meminfo: memFree=1238272/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=532524 CPUtime=1481.71 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 132741 0 0 0 147998 173 0 0 25 0 1 0 259832236 545304576 132500 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 133131 132500 312 324 0 132200 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 532524 [startup+1542.3 s] /proc/loadavg: 1.01 1.01 0.95 2/78 13030 /proc/meminfo: memFree=1227136/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1541.68 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 153992 176 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 542964 [startup+1602.3 s] /proc/loadavg: 1.00 1.01 0.95 2/78 13030 /proc/meminfo: memFree=1227136/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1601.66 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 159986 180 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 542964 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13030 /proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1661.64 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 165980 184 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 542964 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13030 /proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1721.62 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 171974 188 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312408 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 542964 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13030 /proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1781.6 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 177967 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 542964 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13030 /proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1791.2 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 178927 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 542964 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13030 /proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1794.39 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179246 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (KiB) 542964 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13030 /proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1797.59 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179566 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 542964 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13030 /proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1799.18 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179725 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1799.18 Current children cumulated vsize (KiB) 542964 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13030 /proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1799.58 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179765 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1799.58 Current children cumulated vsize (KiB) 542964 [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.95 2/78 13030 /proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956 [pid=13027] ppid=13025 vsize=542964 CPUtime=1799.99 /proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179806 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551433 0 0 4096 16384 0 0 0 17 1 0 0 /proc/13027/statm: 135741 135125 312 324 0 134810 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 542964 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.09 CPU user time (s): 1798.06 CPU system time (s): 2.02969 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 543620 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.06 system time used= 2.02969 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 135531 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= 2737 runsolver used 1.41778 second user time and 3.83342 second system time The end
Begin job on node13 on Wed May 2 15:19:04 UTC 2007 IDJOB= 453150 IDBENCH= 48111 IDSOLVER= 163 FILE ID= node13/453150-1178119144 PBS_JOBID= 4751033 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_100_25_1.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453150-1178119144/instance-453150-1178119144.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-453150-1178119144 -o ROOT/results/node13/solver-453150-1178119144 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453150-1178119144/instance-453150-1178119144.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= aa10899bd7f711370f6ef9f1251ce7f2 RANDOM SEED= 191621760 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1768152 kB Buffers: 87212 kB Cached: 105016 kB SwapCached: 12860 kB Active: 113044 kB Inactive: 106156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1768152 kB SwapTotal: 4192956 kB SwapFree: 4159360 kB Dirty: 6760 kB Writeback: 0 kB Mapped: 32804 kB Slab: 53936 kB Committed_AS: 9457684 kB PageTables: 1880 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 node13 on Wed May 2 15:49:05 UTC 2007