Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 1270.58 | 1271.01 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb |
MD5SUM | 9b7cb599a49db47c0ffbf25416bcef37 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.224965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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/431668-1178009007/instance-431668-1178009007.opb 0.00/0.00 c File size is 10539 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.004 s 0.00/0.00 c Var: 792 Constr: 1180 576/0/604 Lit: 4960 Watch. Lit: 3044 0.00/0.00 c Obj. Vars: 8 (1.0101 % of total variables) 0.00/0.01 c Pre-processing Time: 0.013 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 792 1180 4960 4 4260 6656 0 0 0.01 0.00/0.01 c Switching off LPR mode. 20.38/20.47 c 101 792 1281 11121 8 4378 7322 101 4809 0.02 20.38/20.47 c 251 792 1431 20165 14 4678 8055 251 7382 0.03 20.38/20.47 c 476 792 1656 32622 19 5118 8861 476 9153 0.05 20.38/20.47 c 815 792 1995 55600 27 5798 9748 815 10061 0.08 20.38/20.47 c 1324 792 2504 88697 35 6688 10723 1324 10184 0.13 20.38/20.47 c 2087 792 3267 140604 43 8276 11796 2087 10033 0.21 20.38/20.47 c 3234 792 4414 218222 49 10551 12976 3234 9511 0.34 20.38/20.47 c 4955 792 6135 336606 54 13980 14274 4955 9366 0.53 20.38/20.47 c 7539 792 8719 500388 57 19249 15702 7539 6601 1.14 20.38/20.47 c 11419 792 12599 750969 59 26955 17273 11419 5761 1.98 20.38/20.47 c 17242 792 18422 1125053 61 38620 19001 17242 2959 5.83 20.38/20.47 c 25980 792 17426 1072666 61 36585 20902 16246 2541 10.22 20.38/20.47 c 39091 792 19860 1201208 60 41512 22993 18680 1999 19.55 20.38/20.47 o 65 20.466 304.31/304.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 304.31/304.42 c 44517 792 12947 777925 60 27583 6672 11767 2175 20.47 304.31/304.42 c 44618 792 4618 241323 52 11026 7340 3438 2168 20.57 304.31/304.42 c 44868 792 4868 258623 53 11363 8075 3688 2170 20.67 304.31/304.42 c 45343 792 5343 292670 54 12424 8883 4163 2188 20.72 304.31/304.42 c 46157 792 6157 352871 57 14025 9772 4977 2216 20.83 304.31/304.42 c 47478 792 7478 441418 59 16671 10750 6298 2262 20.99 304.31/304.42 c 49560 792 9560 582035 60 20778 11826 8380 2326 21.30 304.31/304.42 c 52784 792 12784 776203 60 27203 13009 11604 2397 22.01 304.31/304.42 c 57720 792 10878 633039 58 23411 14310 9698 2518 22.92 304.31/304.42 c 65226 782 10580 581880 54 22949 15742 9400 2485 26.25 304.31/304.42 c 76588 782 14018 738890 52 29817 17317 12838 2132 35.91 304.31/304.42 c 93733 779 13334 811768 60 28311 19049 12154 1991 47.07 304.31/304.42 c 119552 779 19243 1229453 63 40181 20954 18063 1912 62.51 304.31/304.42 c 158385 779 13440 864104 64 28535 23050 12260 1563 101.31 304.31/304.42 c 216738 779 21043 1315380 62 43807 25356 19863 1382 156.81 304.31/304.42 c 304370 776 20193 1315980 65 42214 27892 19013 1267 240.19 304.31/304.42 o 17 304.333 899.86/900.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 899.86/900.15 c 352622 776 17724 1172933 66 37162 6670 16544 1158 304.33 899.86/900.15 c 352722 776 4621 248651 53 11082 7338 3441 1158 304.52 899.86/900.15 c 352973 776 4872 266130 54 11454 8072 3692 1158 304.55 899.86/900.15 c 353448 776 5347 299538 56 12339 8880 4167 1160 304.61 899.86/900.15 c 354261 776 6160 358193 58 14135 9769 4980 1162 304.76 899.86/900.15 c 355583 776 7482 446475 59 16751 10746 6302 1165 304.98 899.86/900.15 c 357665 776 9564 583636 61 20899 11821 8384 1170 305.63 899.86/900.15 c 360890 776 12789 802100 62 27269 13004 11609 1178 306.22 899.86/900.15 c 365827 776 10731 664510 61 23153 14305 9551 1188 307.84 899.86/900.15 c 373334 776 11004 659292 59 23683 15736 9824 1195 312.29 899.86/900.15 c 384696 766 14113 908026 64 29892 17310 12933 1206 318.81 899.86/900.15 c 401840 756 13334 808197 60 28343 19042 12154 1213 331.23 899.86/900.15 c 427660 756 19927 1142036 57 41548 20947 18747 1192 358.67 899.86/900.15 c 466493 753 15102 908386 60 31908 23042 13922 1172 397.89 899.86/900.15 c 524845 753 12711 801967 63 27175 25347 11531 1158 453.21 899.86/900.15 c 612477 752 12041 753011 62 25762 27882 10861 1110 551.56 899.86/900.15 c 744029 752 23313 1495239 64 48416 30671 22133 1019 729.47 899.86/900.15 o 9 899.925 972.35/972.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 972.35/972.66 c 875868 752 16744 1027047 61 35181 6666 15564 973 899.92 972.35/972.66 c 875969 752 4625 224607 48 10934 7333 3445 973 900.22 972.35/972.66 c 876220 752 4876 239966 49 11447 8067 3696 973 900.25 972.35/972.66 c 876698 752 5354 271624 50 12444 8874 4174 973 900.31 972.35/972.66 c 877511 752 6167 325333 52 14068 9762 4987 974 900.45 972.35/972.66 c 878831 752 7487 411934 55 16729 10739 6307 975 900.67 972.35/972.66 c 880913 752 9569 549785 57 20894 11813 8389 977 901.19 972.35/972.66 c 884136 752 12792 766180 59 27262 12995 11612 979 902.78 972.35/972.66 c 889072 752 11123 659717 59 23995 14295 9943 980 906.92 972.35/972.66 c 896579 752 10728 646533 60 23229 15725 9548 984 910.78 972.35/972.66 c 907940 742 13826 832351 60 29326 17298 12646 989 917.92 972.35/972.66 c 925085 742 12942 801675 61 27548 19028 11762 993 930.85 972.35/972.66 c 950904 742 18529 1061178 57 38751 20931 17349 995 954.92 972.35/972.66 o 5 972.417 1053.92/1054.28 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1053.92/1054.28 c 968877 739 14830 916844 61 31351 6664 13650 996 972.42 1053.92/1054.28 c 968978 729 4627 223820 48 11020 7331 3447 996 972.60 1053.92/1054.28 c 969228 729 4877 240523 49 11494 8065 3697 996 972.62 1053.92/1054.28 c 969704 729 5353 271043 50 12538 8872 4173 996 972.69 1053.92/1054.28 c 970518 729 6167 325752 52 14125 9760 4987 997 972.82 1053.92/1054.28 c 971839 729 7488 415755 55 16714 10737 6308 998 973.08 1053.92/1054.28 c 973921 729 9570 554825 57 20895 11811 8390 1000 973.85 1053.92/1054.28 c 977144 729 12793 773676 60 27357 12993 11613 1002 974.85 1053.92/1054.28 c 982081 729 11080 656183 59 23889 14293 9900 1005 976.89 1053.92/1054.28 c 989589 729 11082 662087 59 23895 15723 9902 1010 979.76 1053.92/1054.28 c 1000950 729 14305 866671 60 30385 17296 13125 1013 987.25 1053.92/1054.28 c 1018095 729 13445 821466 61 28638 19026 12265 1017 1001.00 1053.92/1054.28 c 1043914 729 19389 1145839 59 40522 20929 18209 1021 1021.67 1053.92/1054.28 o 3 1054.01 1270.57/1271.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1270.57/1271.00 c 1074417 729 17541 1098530 62 36851 6662 16361 1019 1054.01 1270.57/1271.00 c 1074518 708 4628 228370 49 11073 7329 3448 1019 1054.27 1270.57/1271.00 c 1074769 708 4879 245933 50 11476 8062 3699 1019 1054.30 1270.57/1271.00 c 1075245 708 5355 279997 52 12378 8869 4175 1019 1054.35 1270.57/1271.00 c 1076059 708 6169 330383 53 14090 9756 4989 1020 1054.47 1270.57/1271.00 c 1077379 708 7489 421389 56 16758 10732 6309 1021 1054.74 1270.57/1271.00 c 1079461 708 9571 554386 57 20908 11806 8391 1022 1055.25 1270.57/1271.00 c 1082684 708 12794 766491 59 27293 12987 11614 1024 1056.58 1270.57/1271.00 c 1087620 708 10922 615921 56 23623 14286 9742 1027 1058.58 1270.57/1271.00 c 1095127 708 11003 642641 58 23715 15715 9823 1031 1061.42 1270.57/1271.00 c 1106488 707 14337 873657 60 30369 17287 13157 1035 1068.27 1270.57/1271.00 c 1123632 707 13939 799564 57 29535 19016 12759 1033 1086.81 1270.57/1271.00 c 1149452 707 19760 1126923 57 41251 20918 18580 1037 1107.92 1270.57/1271.00 c 1188284 705 15590 939771 60 32932 23010 14410 1034 1148.18 1270.57/1271.00 c 1246636 704 12250 696918 56 26262 25312 11070 1028 1212.62 1270.57/1271.00 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 -x30 1270.57/1271.00 v -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 -x56 x57 -x58 1270.57/1271.00 v -x59 x60 x61 x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 -x76 -x77 -x78 x79 -x80 x81 -x82 -x83 -x84 -x85 x86 1270.57/1271.00 v -x87 -x88 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x153 -x154 x155 x156 -x157 1270.57/1271.00 v -x158 -x159 -x160 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 x105 x106 -x107 1270.57/1271.00 v -x108 -x109 -x110 -x111 -x112 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 1270.57/1271.00 v -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x185 -x186 -x187 -x188 -x189 1270.57/1271.00 v -x190 -x191 -x192 x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x193 x194 -x195 -x196 -x197 -x198 -x199 -x200 x137 -x138 1270.57/1271.00 v x139 -x140 -x141 -x142 -x143 -x144 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 1270.57/1271.00 v -x216 1270.57/1271.00 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1270.57/1271.00 c 87 1283606 11410 1339529 20786 1063371 19606 1010 1270.57 1270.57/1271.00 c Objective: 3 1270.57/1271.00 s OPTIMUM FOUND 1270.57/1271.00 c Total time: 1270.57 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-431668-1178009007 -o ROOT/results/node15/solver-431668-1178009007 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431668-1178009007/instance-431668-1178009007.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.91 0.98 0.98 3/77 30092 /proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=3936 CPUtime=0 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 381 0 0 0 0 0 0 0 18 0 1 0 248818312 4030464 350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 984 350 292 324 0 50 0 [startup+0.0472741 s] /proc/loadavg: 0.91 0.98 0.98 3/77 30092 /proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=4592 CPUtime=0.04 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 572 0 0 0 4 0 0 0 18 0 1 0 248818312 4702208 538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 1148 538 312 324 0 217 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 4592 [startup+0.101279 s] /proc/loadavg: 0.91 0.98 0.98 3/77 30092 /proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=5240 CPUtime=0.09 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 712 0 0 0 9 0 0 0 18 0 1 0 248818312 5365760 678 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 1310 678 312 324 0 379 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5240 [startup+0.301296 s] /proc/loadavg: 0.91 0.98 0.98 3/77 30092 /proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=7056 CPUtime=0.29 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 1160 0 0 0 29 0 0 0 19 0 1 0 248818312 7225344 1126 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 1764 1126 312 324 0 833 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7056 [startup+0.701333 s] /proc/loadavg: 0.91 0.98 0.98 3/77 30092 /proc/meminfo: memFree=1796592/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=10032 CPUtime=0.69 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 1924 0 0 0 68 1 0 0 23 0 1 0 248818312 10272768 1890 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 2508 1890 312 324 0 1577 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10032 [startup+1.50141 s] /proc/loadavg: 0.91 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1789096/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=12356 CPUtime=1.49 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 2491 0 0 0 148 1 0 0 25 0 1 0 248818312 12652544 2457 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 3089 2457 312 324 0 2158 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12356 [startup+3.10155 s] /proc/loadavg: 0.91 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1784744/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=17248 CPUtime=3.09 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 3729 0 0 0 307 2 0 0 25 0 1 0 248818312 17661952 3695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 4312 3695 312 324 0 3381 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17248 [startup+6.30185 s] /proc/loadavg: 0.92 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1779752/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=20856 CPUtime=6.28 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 4619 0 0 0 625 3 0 0 25 0 1 0 248818312 21356544 4585 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 5214 4585 312 324 0 4283 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20856 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1777200/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=23404 CPUtime=12.68 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 5270 0 0 0 1263 5 0 0 25 0 1 0 248818312 23965696 5236 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 5851 5236 312 324 0 4920 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 23404 [startup+25.5016 s] /proc/loadavg: 0.94 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1773168/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=26760 CPUtime=25.49 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6114 0 0 0 2539 10 0 0 25 0 1 0 248818312 27402240 6080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 6690 6080 313 324 0 5759 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 26760 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1773168/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=26760 CPUtime=51.07 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6114 0 0 0 5093 14 0 0 25 0 1 0 248818312 27402240 6080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7944021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 6690 6080 313 324 0 5759 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26760 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1773232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=26760 CPUtime=102.26 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6114 0 0 0 10204 22 0 0 25 0 1 0 248818312 27402240 6080 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 6690 6080 313 324 0 5759 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 26760 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1770352/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=29608 CPUtime=162.25 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6828 0 0 0 16194 31 0 0 25 0 1 0 248818312 30318592 6794 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 7402 6794 313 324 0 6471 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 29608 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1770160/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=29744 CPUtime=222.23 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 6861 0 0 0 22184 39 0 0 25 0 1 0 248818312 30457856 6827 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551395 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 7436 6827 313 324 0 6505 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 29744 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1768048/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=31840 CPUtime=282.21 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 28177 44 0 0 25 0 1 0 248818312 32604160 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 7960 7350 313 324 0 7029 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 31840 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1768048/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=31828 CPUtime=342.2 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 34162 58 0 0 25 0 1 0 248818312 32591872 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 7957 7350 313 324 0 7026 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 31828 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1767984/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=31828 CPUtime=402.18 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 40154 64 0 0 25 0 1 0 248818312 32591872 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 7957 7350 313 324 0 7026 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 31828 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1767984/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=31824 CPUtime=462.17 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 46143 74 0 0 25 0 1 0 248818312 32587776 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 7956 7350 313 324 0 7025 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 31824 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1767984/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=31824 CPUtime=522.15 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7384 0 0 0 52136 79 0 0 25 0 1 0 248818312 32587776 7350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 7956 7350 313 324 0 7025 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 31824 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1767024/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=32732 CPUtime=582.14 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7612 0 0 0 58125 89 0 0 25 0 1 0 248818312 33517568 7573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7945965 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8183 7573 313 324 0 7252 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 32732 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1767024/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=32724 CPUtime=642.13 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7612 0 0 0 64119 94 0 0 25 0 1 0 248818312 33509376 7573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8181 7573 313 324 0 7250 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 32724 [startup+702.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1767088/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=32720 CPUtime=702.11 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 7612 0 0 0 70112 99 0 0 25 0 1 0 248818312 33505280 7573 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8180 7573 313 324 0 7249 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 32720 [startup+762.305 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1765424/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34316 CPUtime=762.1 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 76102 108 0 0 25 0 1 0 248818312 35139584 7973 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8579 7973 313 324 0 7648 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 34316 [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1765424/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34300 CPUtime=822.08 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 82094 114 0 0 25 0 1 0 248818312 35123200 7970 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8575 7970 313 324 0 7644 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 34300 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1765424/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34300 CPUtime=882.07 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 88085 122 0 0 25 0 1 0 248818312 35123200 7970 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8575 7970 313 324 0 7644 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 34300 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1765488/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=942.05 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 94072 133 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 34260 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30093 /proc/meminfo: memFree=1765424/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1002.04 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 100060 144 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 34260 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/84 30165 /proc/meminfo: memFree=1764144/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1061.99 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 106044 155 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7954120 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 34260 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765168/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1121.9 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 112027 163 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 34260 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1181.89 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 118018 171 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551654 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 34260 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1241.86 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 124009 177 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 34260 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1253.87 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 125208 179 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7944021 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1253.87 Current children cumulated vsize (KiB) 34260 [startup+1260.7 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1260.27 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 125847 180 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1260.27 Current children cumulated vsize (KiB) 34260 [startup+1267.1 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1266.66 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126486 180 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1266.66 Current children cumulated vsize (KiB) 34260 [startup+1268.7 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1268.27 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126646 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1268.27 Current children cumulated vsize (KiB) 34260 [startup+1270.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1269.87 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126806 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1269.87 Current children cumulated vsize (KiB) 34260 [startup+1270.7 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1270.27 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126846 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521812 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1270.27 Current children cumulated vsize (KiB) 34260 [startup+1270.9 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1270.47 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126866 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1270.47 Current children cumulated vsize (KiB) 34260 [startup+1271 s] /proc/loadavg: 0.99 0.98 0.98 2/78 30291 /proc/meminfo: memFree=1765232/2055920 swapFree=4169108/4192956 [pid=30092] ppid=30090 vsize=34260 CPUtime=1270.57 /proc/30092/stat : 30092 (bsolo3.0.16) R 30090 30092 29128 0 -1 4194304 8012 0 0 0 126876 181 0 0 25 0 1 0 248818312 35082240 7960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30092/statm: 8565 7960 313 324 0 7634 0 Current children cumulated CPU time (s) 1270.57 Current children cumulated vsize (KiB) 34260 Child status: 0 Real time (s): 1271.01 CPU time (s): 1270.58 CPU user time (s): 1268.76 CPU system time (s): 1.81672 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (KiB): 34440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1268.76 system time used= 1.81672 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 8013 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 11 involuntary context switches= 25668 runsolver used 0.994848 second user time and 2.77258 second system time The end
Begin job on node15 on Tue May 1 08:43:27 UTC 2007 IDJOB= 431668 IDBENCH= 48068 IDSOLVER= 163 FILE ID= node15/431668-1178009007 PBS_JOBID= 4728273 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=103-P1=223-P2=29-P3=89-P4=173-P5=97-P6=227-P7=89-P8=127-P9=223-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431668-1178009007/instance-431668-1178009007.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-431668-1178009007 -o ROOT/results/node15/solver-431668-1178009007 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431668-1178009007/instance-431668-1178009007.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 9b7cb599a49db47c0ffbf25416bcef37 RANDOM SEED= 671332116 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.227 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1797000 kB Buffers: 46840 kB Cached: 124336 kB SwapCached: 2360 kB Active: 92596 kB Inactive: 102136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1797000 kB SwapTotal: 4192956 kB SwapFree: 4169108 kB Dirty: 6752 kB Writeback: 0 kB Mapped: 30952 kB Slab: 49612 kB Committed_AS: 7628044 kB PageTables: 1868 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 node15 on Tue May 1 09:04:38 UTC 2007