Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 27 | 1800.06 | 1800.73 |
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.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/453321-1178130173/instance-453321-1178130173.opb 0.00/0.01 c File size is 36937 bytes. 0.01/0.02 c Highest Coefficient sum: 200 0.01/0.02 c Parsing was ok!! 0.01/0.02 c Total parsing time: 0.015 s 0.01/0.02 c Var: 2728 Constr: 5256 2728/0/2528 Lit: 17896 Watch. Lit: 13040 0.01/0.02 c Obj. Vars: 200 (7.33138 % of total variables) 0.01/0.10 c Pre-processing Time: 0.09 s 0.01/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.01/0.10 c 0 2728 5256 17896 3 13040 16077 0 0 0.09 0.01/0.10 c Switching off LPR mode. 0.08/0.10 o 199 0.093 0.08/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.10 c 0 2728 5257 18096 3 13043 16210 1 0 0.09 0.08/0.10 o 198 0.095 0.08/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.10 c 0 2728 5258 18296 3 13047 16410 2 0 0.10 0.08/0.10 o 197 0.098 0.08/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.11 c 0 2728 5259 18496 3 13052 16677 3 0 0.10 0.08/0.11 o 196 0.1 0.08/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.11 c 0 2728 5260 18696 3 13058 17010 4 0 0.10 0.08/0.11 o 195 0.103 0.08/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.11 c 0 2728 5261 18896 3 13065 17410 5 0 0.10 0.08/0.11 o 194 0.105 0.08/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.11 c 0 2728 5262 19096 3 13073 17877 6 0 0.11 0.08/0.11 o 193 0.108 0.08/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.12 c 0 2728 5263 19296 3 13082 18410 7 0 0.11 0.08/0.12 o 192 0.11 0.08/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.12 c 0 2728 5264 19496 3 13092 19010 8 0 0.11 0.08/0.12 o 191 0.112 0.08/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.12 c 0 2728 5265 19696 3 13103 19677 9 0 0.11 0.08/0.12 o 190 0.115 0.08/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.12 c 0 2728 5266 19896 3 13115 20410 10 0 0.12 0.08/0.12 o 189 0.117 0.08/0.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.12 c 0 2728 5267 20096 3 13128 21210 11 0 0.12 0.08/0.12 o 188 0.12 0.08/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.13 c 0 2728 5268 20296 3 13142 22077 12 0 0.12 0.08/0.13 o 187 0.122 0.08/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.13 c 0 2728 5269 20496 3 13157 23010 13 0 0.12 0.08/0.13 o 185 0.124 0.08/0.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.08/0.13 c 1 2728 5271 20883 3 13176 23077 15 8 0.12 0.08/0.13 o 30 0.127 9.98/10.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.98/10.02 c 1 2728 5272 21083 3 13348 23077 16 7 0.13 9.98/10.02 c 101 2728 5372 27981 5 13548 25385 116 687 0.15 9.98/10.02 c 352 2728 5623 44095 7 14050 27924 367 1923 0.18 9.98/10.02 c 828 2728 6099 72985 11 15002 30717 843 3325 0.25 9.98/10.02 c 1642 2728 6913 123610 17 16630 33789 1657 4210 0.39 9.98/10.02 c 2962 2728 8233 201329 24 19270 37168 2977 4746 0.62 9.98/10.02 c 5044 2728 10315 324392 31 23434 40885 5059 4969 1.01 9.98/10.02 c 8267 2728 13538 549142 40 29880 44974 8282 4374 1.89 9.98/10.02 c 13204 2728 18475 912222 49 39754 49472 13219 3456 3.82 9.98/10.02 c 20710 2728 25981 1576459 60 54766 54420 20725 2626 7.89 9.98/10.02 o 29 10.008 76.86/76.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 76.86/76.95 c 24427 2728 29699 1813293 61 62373 23077 24443 2440 10.01 76.86/76.95 c 24527 2728 16297 907048 55 35293 25385 11041 2399 10.22 76.86/76.95 c 24777 2728 16547 922704 55 35793 27924 11291 2405 10.30 76.86/76.95 c 25253 2728 17023 956171 56 36745 30717 11767 2420 10.43 76.86/76.95 c 26066 2728 17836 1012522 56 38371 33789 12580 2445 10.66 76.86/76.95 c 27386 2728 19156 1093241 57 41011 37168 13900 2474 11.07 76.86/76.95 c 29467 2728 21237 1217913 57 45173 40885 15981 2486 11.85 76.86/76.95 c 32691 2728 24461 1397601 57 51621 44974 19205 2538 12.88 76.86/76.95 c 37628 2728 29398 1781615 60 61495 49472 24142 2441 15.41 76.86/76.95 c 45135 2728 36905 2376620 64 76509 54420 31649 2236 20.18 76.86/76.95 c 56497 2728 48267 3105140 64 99233 59863 43011 1828 30.90 76.86/76.95 c 73641 2728 17692 1069269 60 38083 65850 12436 1370 53.72 76.86/76.95 c 99461 2728 43512 2824165 64 89723 72436 38256 1294 76.82 76.86/76.95 o 28 76.918 446.02/446.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 446.02/446.26 c 99611 2728 43663 2832929 64 90197 17077 38407 1294 76.92 446.02/446.26 c 99712 2728 13897 556059 40 30494 18785 8641 1229 81.13 446.02/446.26 c 99962 2728 14147 570939 40 30994 20664 8891 1231 81.18 446.02/446.26 c 100437 2728 14622 596630 40 31944 22731 9366 1235 81.30 446.02/446.26 c 101250 2728 15435 648678 42 33570 25005 10179 1241 81.56 446.02/446.26 c 102570 2728 16755 731784 43 36210 27506 11499 1252 81.89 446.02/446.26 c 104651 2728 18836 877187 46 40372 30257 13580 1265 82.66 446.02/446.26 c 107874 2728 22059 1086283 49 46818 33283 16803 1286 83.83 446.02/446.26 c 112811 2728 26996 1442470 53 56692 36612 21740 1313 85.92 446.02/446.26 c 120318 2728 34503 2043664 59 71706 40274 29247 1317 91.34 446.02/446.26 c 131680 2728 16648 881184 52 35996 44302 11392 1310 100.49 446.02/446.26 c 148824 2728 33792 2032628 60 70284 48733 28536 1338 111.17 446.02/446.26 c 174645 2728 22354 1495310 66 47408 53607 17098 1216 143.57 446.02/446.26 c 213478 2728 18465 985392 53 39630 58968 13209 1056 202.04 446.02/446.26 c 271830 2728 27841 1599048 57 58382 64865 22585 964 281.97 446.02/446.26 c 359463 2728 61519 4843018 78 125738 71352 56263 844 425.81 446.02/446.26 o 27 446.087 1800.03/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.03/1800.70 c 375701 2728 17346 827871 47 37393 17077 12090 821 457.13 1800.03/1800.70 c 375803 2728 17448 833627 47 37597 18785 12192 821 457.26 1800.03/1800.70 c 376053 2728 17698 847722 47 38097 20664 12442 822 457.33 1800.03/1800.70 c 376528 2728 18173 880428 48 39047 22731 12917 823 457.50 1800.03/1800.70 c 377341 2728 18986 928417 48 40673 25005 13730 824 457.79 1800.03/1800.70 c 378661 2728 20306 1030017 50 43313 27506 15050 826 458.22 1800.03/1800.70 c 380743 2728 22388 1158340 51 47477 30257 17132 829 459.16 1800.03/1800.70 c 383967 2728 25612 1357312 52 53925 33283 20356 833 460.64 1800.03/1800.70 c 388903 2728 30548 1704228 55 63797 36612 25292 839 463.52 1800.03/1800.70 c 396410 2728 38055 2251524 59 78811 40274 32799 846 468.16 1800.03/1800.70 c 407771 2728 18705 1112998 59 40111 44302 13449 850 479.17 1800.03/1800.70 c 424915 2728 35849 2426688 67 74399 48733 30593 859 494.13 1800.03/1800.71 c 450735 2728 23227 1614897 69 49155 53607 17971 844 533.71 1800.03/1800.71 c 489567 2728 18602 938723 50 39905 58968 13346 842 580.95 1800.03/1800.71 c 547919 2728 29038 1864077 64 60777 64865 23782 796 688.14 1800.03/1800.71 c 635552 2728 61897 4191896 67 126495 71352 56641 779 815.08 1800.03/1800.71 c 767105 2728 72038 5552694 77 146777 78488 66782 683 1122.48 1800.03/1800.71 c 964537 2728 66769 4351886 65 136239 86337 61513 594 1622.47 1800.03/1800.71 c Caught signal: 15 1800.03/1800.71 v -x1 -x2 -x3 x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 x17 -x18 x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 1800.03/1800.71 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 1800.03/1800.71 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 1800.03/1800.71 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 1800.03/1800.71 v x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 x126 -x127 -x128 1800.03/1800.71 v -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 1800.03/1800.71 v -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 1800.03/1800.71 v -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 x188 -x189 -x190 -x191 1800.03/1800.71 v -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 1800.03/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.03/1800.71 c 71 1059528 364965 1762218 85571 5069055 80315 588 1800.04 1800.03/1800.71 c Objective: 27 1800.03/1800.71 s SATISFIABLE 1800.03/1800.71 c Total time: 1800.04 s
OK 27
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node10/watcher-453321-1178130173 -o ROOT/results/node10/solver-453321-1178130173 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453321-1178130173/instance-453321-1178130173.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.95 1.07 1.00 3/77 14163 /proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=3780 CPUtime=0 /proc/14163/stat : 14163 (bsolo3.0.17) D 14161 14163 13419 0 -1 4194304 183 0 2 0 0 0 0 0 18 0 1 0 289054790 3870720 155 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160395582 0 0 4096 0 18446744071563479169 0 0 17 1 0 0 /proc/14163/statm: 945 155 129 324 0 15 0 [startup+0.0246611 s] /proc/loadavg: 0.95 1.07 1.00 3/77 14163 /proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=4648 CPUtime=0.01 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 556 0 3 0 1 0 0 0 18 0 1 0 289054790 4759552 529 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 1162 529 297 324 0 222 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4648 [startup+0.101674 s] /proc/loadavg: 0.95 1.07 1.00 3/77 14163 /proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=5592 CPUtime=0.08 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 839 0 3 0 8 0 0 0 18 0 1 0 289054790 5726208 752 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 1398 752 306 324 0 468 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5592 [startup+0.301717 s] /proc/loadavg: 0.95 1.07 1.00 3/77 14163 /proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=6376 CPUtime=0.29 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 1062 0 3 0 28 1 0 0 19 0 1 0 289054790 6529024 975 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 1594 975 310 324 0 664 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6376 [startup+0.701804 s] /proc/loadavg: 0.95 1.07 1.00 3/77 14163 /proc/meminfo: memFree=1782848/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=8464 CPUtime=0.68 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 1568 0 3 0 67 1 0 0 22 0 1 0 289054790 8667136 1481 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 2116 1481 310 324 0 1186 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 8464 [startup+1.50198 s] /proc/loadavg: 0.95 1.07 1.00 2/78 14164 /proc/meminfo: memFree=1775864/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=11852 CPUtime=1.49 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 2434 0 3 0 147 2 0 0 25 0 1 0 289054790 12136448 2347 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 2963 2347 310 324 0 2033 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11852 [startup+3.10132 s] /proc/loadavg: 0.95 1.07 1.00 2/78 14164 /proc/meminfo: memFree=1771640/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=16796 CPUtime=3.08 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 3663 0 3 0 305 3 0 0 25 0 1 0 289054790 17199104 3576 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9340539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 4199 3576 310 324 0 3269 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 16796 [startup+6.30201 s] /proc/loadavg: 0.96 1.07 1.00 2/78 14164 /proc/meminfo: memFree=1762680/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=24740 CPUtime=6.28 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 5657 0 3 0 624 4 0 0 25 0 1 0 289054790 25333760 5570 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 6185 5570 310 324 0 5255 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 24740 [startup+12.7014 s] /proc/loadavg: 0.96 1.06 1.00 2/78 14164 /proc/meminfo: memFree=1754488/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=31136 CPUtime=12.68 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 7258 0 3 0 1262 6 0 0 25 0 1 0 289054790 31883264 7171 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9339030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 7784 7171 310 324 0 6854 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31136 [startup+25.5011 s] /proc/loadavg: 0.97 1.06 1.00 2/78 14164 /proc/meminfo: memFree=1740984/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=45164 CPUtime=25.48 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 10752 0 3 0 2539 9 0 0 25 0 1 0 289054790 46247936 10665 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 11291 10665 310 324 0 10361 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 45164 [startup+51.1016 s] /proc/loadavg: 0.98 1.05 1.00 2/78 14164 /proc/meminfo: memFree=1717752/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=68436 CPUtime=51.06 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 16583 0 3 0 5091 15 0 0 25 0 1 0 289054790 70078464 16496 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 17109 16496 310 324 0 16179 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 68436 [startup+102.306 s] /proc/loadavg: 0.99 1.04 1.00 2/78 14164 /proc/meminfo: memFree=1716536/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=69088 CPUtime=102.25 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 16789 0 3 0 10209 16 0 0 25 0 1 0 289054790 70746112 16643 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 17272 16643 310 324 0 16342 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 69088 [startup+162.302 s] /proc/loadavg: 0.99 1.03 1.00 2/78 14164 /proc/meminfo: memFree=1716536/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=69088 CPUtime=162.22 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 16789 0 3 0 16206 16 0 0 25 0 1 0 289054790 70746112 16643 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 17272 16643 310 324 0 16342 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 69088 [startup+222.302 s] /proc/loadavg: 0.99 1.02 1.00 2/78 14164 /proc/meminfo: memFree=1716536/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=69088 CPUtime=222.2 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 16789 0 3 0 22204 16 0 0 25 0 1 0 289054790 70746112 16643 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 17272 16643 310 324 0 16342 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 69088 [startup+282.301 s] /proc/loadavg: 0.99 1.02 1.00 2/78 14164 /proc/meminfo: memFree=1711096/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=74516 CPUtime=282.18 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 18205 0 3 0 28200 18 0 0 25 0 1 0 289054790 76304384 17999 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9338612 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 18629 17999 310 324 0 17699 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 74516 [startup+342.301 s] /proc/loadavg: 0.99 1.01 1.00 2/78 14164 /proc/meminfo: memFree=1710648/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=75424 CPUtime=342.16 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 18419 0 3 0 34197 19 0 0 25 0 1 0 289054790 77234176 18213 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 18856 18213 310 324 0 17926 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 75424 [startup+402.301 s] /proc/loadavg: 0.99 1.01 1.00 2/78 14164 /proc/meminfo: memFree=1704632/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=81016 CPUtime=402.14 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 19885 0 3 0 40194 20 0 0 25 0 1 0 289054790 82960384 19613 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 20254 19613 310 324 0 19324 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 81016 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14164 /proc/meminfo: memFree=1696440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=89076 CPUtime=462.11 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21996 0 3 0 46188 23 0 0 25 0 1 0 289054790 91213824 21653 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 22269 21653 310 324 0 21339 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 89076 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14164 /proc/meminfo: memFree=1696440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=89076 CPUtime=522.09 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21996 0 3 0 52185 24 0 0 25 0 1 0 289054790 91213824 21653 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 22269 21653 310 324 0 21339 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 89076 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14164 /proc/meminfo: memFree=1696376/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=89076 CPUtime=582.07 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21996 0 3 0 58183 24 0 0 25 0 1 0 289054790 91213824 21653 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134571991 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 22269 21653 310 324 0 21339 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 89076 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14164 /proc/meminfo: memFree=1696376/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=89076 CPUtime=642.06 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21996 0 3 0 64181 25 0 0 25 0 1 0 289054790 91213824 21653 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 22269 21653 310 324 0 21339 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 89076 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1696120/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=89080 CPUtime=881.96 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21997 0 3 0 88169 27 0 0 25 0 1 0 289054790 91217920 21654 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 22270 21654 310 324 0 21340 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 89080 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1696120/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=89080 CPUtime=941.94 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 21997 0 3 0 94167 27 0 0 25 0 1 0 289054790 91217920 21654 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 22270 21654 310 324 0 21340 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 89080 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1690552/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=94860 CPUtime=1001.91 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 23443 0 3 0 100163 28 0 0 25 0 1 0 289054790 97136640 23100 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 9338572 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 23715 23100 310 324 0 22785 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 94860 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688504/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96668 CPUtime=1061.89 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 23951 0 3 0 106160 29 0 0 25 0 1 0 289054790 98988032 23536 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551042 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24167 23536 310 324 0 23237 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 96668 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688504/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96668 CPUtime=1121.87 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 23951 0 3 0 112157 30 0 0 25 0 1 0 289054790 98988032 23536 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24167 23536 310 324 0 23237 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 96668 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96696 CPUtime=1181.85 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 118155 30 0 0 25 0 1 0 289054790 99016704 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24174 23543 310 324 0 23244 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 96696 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96696 CPUtime=1241.83 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 124152 31 0 0 25 0 1 0 289054790 99016704 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24174 23543 310 324 0 23244 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 96696 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96668 CPUtime=1301.81 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 130150 31 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134574985 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24167 23543 310 324 0 23237 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 96668 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96668 CPUtime=1361.79 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 136147 32 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24167 23543 310 324 0 23237 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 96668 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96668 CPUtime=1421.76 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 142144 32 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134593538 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24167 23543 310 324 0 23237 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 96668 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96668 CPUtime=1481.74 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 148141 33 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24167 23543 310 324 0 23237 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 96668 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96668 CPUtime=1541.71 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 154138 33 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24167 23543 310 324 0 23237 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 96668 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 3/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96668 CPUtime=1601.7 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24037 0 3 0 160136 34 0 0 25 0 1 0 289054790 98988032 23543 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24167 23543 310 324 0 23237 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 96668 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96700 CPUtime=1661.67 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 166133 34 0 0 25 0 1 0 289054790 99020800 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24175 23551 310 324 0 23245 0 Current children cumulated CPU time (s) 1661.67 Current children cumulated vsize (KiB) 96700 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96688 CPUtime=1721.65 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 172130 35 0 0 25 0 1 0 289054790 99008512 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551103 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24172 23551 310 324 0 23242 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 96688 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96688 CPUtime=1781.63 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 178128 35 0 0 25 0 1 0 289054790 99008512 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24172 23551 310 324 0 23242 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 96688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.01 1.01 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96688 CPUtime=1800.03 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 179968 35 0 0 25 0 1 0 289054790 99008512 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24172 23551 310 324 0 23242 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 96688 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.01 1.01 1.00 2/78 14166 /proc/meminfo: memFree=1688440/2055920 swapFree=4145576/4192956 [pid=14163] ppid=14161 vsize=96688 CPUtime=1800.03 /proc/14163/stat : 14163 (bsolo3.0.17) R 14161 14163 13419 0 -1 4194304 24045 0 3 0 179968 35 0 0 25 0 1 0 289054790 99008512 23551 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14163/statm: 24172 23551 310 324 0 23242 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 96688 Child status: 15 Real time (s): 1800.73 CPU time (s): 1800.06 CPU user time (s): 1799.68 CPU system time (s): 0.376942 CPU usage (%): 99.9627 Max. virtual memory (cumulated for all children) (KiB): 97012 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.68 system time used= 0.376942 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24049 page faults= 3 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 1889 runsolver used 1.39079 second user time and 3.9644 second system time The end
Begin job on node10 on Wed May 2 18:22:53 UTC 2007 IDJOB= 453321 IDBENCH= 48122 IDSOLVER= 199 FILE ID= node10/453321-1178130173 PBS_JOBID= 4751045 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453321-1178130173/instance-453321-1178130173.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-453321-1178130173 -o ROOT/results/node10/solver-453321-1178130173 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453321-1178130173/instance-453321-1178130173.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6 RANDOM SEED= 578107447 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node10.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: 1783192 kB Buffers: 107936 kB Cached: 74296 kB SwapCached: 15988 kB Active: 90180 kB Inactive: 123188 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1783192 kB SwapTotal: 4192956 kB SwapFree: 4145576 kB Dirty: 6644 kB Writeback: 0 kB Mapped: 33904 kB Slab: 44892 kB Committed_AS: 4958504 kB PageTables: 1716 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 node10 on Wed May 2 18:52:56 UTC 2007