Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | SAT | 12 | 1800.01 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_10_4.opb |
MD5SUM | 431de611ddaca60ef9395e6cd3a99cf2 |
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 | 11 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 11 |
Optimality of the best value was proved | NO |
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 | 11 |
Maximum length of a constraint | 19 |
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) | 1258 |
Sum of products size (including duplicates) | 2516 |
Number of different products | 1258 |
Sum of products size | 2516 |
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/453060-1178111911/instance-453060-1178111911.opb 0.00/0.00 c File size is 17147 bytes. 0.00/0.01 c Highest Coefficient sum: 100 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.011 s 0.00/0.01 c Var: 1358 Constr: 2616 1358/0/1258 Lit: 8906 Watch. Lit: 6490 0.00/0.01 c Obj. Vars: 100 (7.36377 % of total variables) 0.00/0.05 c Pre-processing Time: 0.046 s 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2616 8906 3 6490 8000 0 0 0.05 0.00/0.05 c Switching off LPR mode. 0.00/0.05 o 99 0.048 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2617 9006 3 6493 8067 1 0 0.05 0.00/0.05 o 98 0.049 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2618 9106 3 6497 8167 2 0 0.05 0.00/0.05 o 97 0.05 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2619 9206 3 6502 8300 3 0 0.05 0.00/0.05 o 96 0.051 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2620 9306 3 6508 8467 4 0 0.05 0.00/0.05 o 95 0.053 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2621 9406 3 6515 8667 5 0 0.05 0.00/0.05 o 94 0.054 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 0 1358 2622 9506 3 6523 8900 6 0 0.05 0.00/0.05 o 93 0.055 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2623 9606 3 6532 9167 7 0 0.06 0.00/0.06 o 92 0.056 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2624 9706 3 6542 9467 8 0 0.06 0.00/0.06 o 91 0.058 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2625 9806 3 6553 9800 9 0 0.06 0.00/0.06 o 90 0.059 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2626 9906 3 6565 10167 10 0 0.06 0.00/0.06 o 89 0.06 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2627 10006 3 6578 10567 11 0 0.06 0.00/0.06 o 88 0.061 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2628 10106 3 6592 11000 12 0 0.06 0.00/0.06 o 87 0.063 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2629 10206 3 6607 11467 13 0 0.06 0.00/0.06 o 86 0.064 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 0 1358 2630 10306 3 6623 11967 14 0 0.06 0.00/0.06 o 85 0.065 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 1358 2631 10406 3 6640 12500 15 0 0.07 0.00/0.07 o 84 0.066 0.00/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.07 c 0 1358 2632 10506 3 6658 13067 16 0 0.07 0.00/0.07 o 83 0.067 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 0 1358 2633 10606 4 6677 13667 17 0 0.07 0.06/0.07 o 82 0.068 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 0 1358 2634 10706 4 6697 14300 18 0 0.07 0.06/0.07 o 81 0.07 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 0 1358 2635 10806 4 6718 14967 19 0 0.07 0.06/0.07 o 80 0.071 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 0 1358 2636 10906 4 6740 15667 20 0 0.07 0.06/0.07 o 79 0.072 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 1 1358 2638 11086 4 6765 15700 22 13 0.07 0.06/0.07 o 15 0.074 0.06/0.07 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.06/0.07 c 1 1358 2639 11186 4 6852 15967 23 13 0.07 0.06/0.07 o 14 0.075 20.79/20.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 20.79/20.85 c 5 1358 2644 11453 4 6948 15967 28 65 0.08 20.79/20.85 c 108 1358 2747 15976 5 7154 17564 131 1241 0.09 20.79/20.85 c 358 1358 2997 29311 9 7654 19321 381 3059 0.12 20.79/20.85 c 833 1358 3472 52667 15 8604 21254 856 4551 0.18 20.79/20.85 c 1647 1358 4286 91214 21 10232 23380 1670 5564 0.30 20.79/20.85 c 2967 1358 5606 152018 27 12872 25719 2990 5673 0.52 20.79/20.85 c 5049 1358 7688 244771 31 17036 28291 5072 5660 0.89 20.79/20.85 c 8273 1358 10912 432926 39 23484 31121 8296 4892 1.69 20.79/20.85 c 13210 1358 15849 654109 41 33358 34234 13233 3880 3.40 20.79/20.85 c 20716 1358 23355 1038966 44 48370 37658 20739 3165 6.54 20.79/20.85 c 32079 1358 34718 1603114 46 71096 41424 32102 1850 17.34 20.79/20.85 o 13 20.843 161.43/161.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 161.43/161.60 c 35606 1358 38246 1778379 46 78239 15967 35630 1708 20.84 161.43/161.60 c 35706 1358 10701 407160 38 22747 17564 8085 1650 21.63 161.43/161.60 c 35956 1358 10951 416542 38 23247 19321 8335 1653 21.74 161.43/161.60 c 36431 1358 11426 439562 38 24197 21254 8810 1666 21.87 161.43/161.60 c 37244 1358 12239 472332 38 25823 23380 9623 1686 22.08 161.43/161.60 c 38565 1358 13560 541670 39 28465 25719 10944 1708 22.57 161.43/161.60 c 40646 1358 15641 641379 41 32627 28291 13025 1726 23.55 161.43/161.60 c 43870 1358 18865 798589 42 39075 31121 16249 1749 25.07 161.43/161.60 c 48806 1358 23801 1047869 44 48947 34234 21185 1762 27.70 161.43/161.60 c 56312 1358 31307 1430333 45 63959 37658 28691 1690 33.31 161.43/161.60 c 67673 1358 15599 660216 42 32543 41424 12983 1491 45.38 161.43/161.60 c 84818 1358 32744 1669115 50 66833 45567 30128 1458 58.14 161.43/161.60 c 110637 1358 23838 1210325 50 49021 50124 21222 1259 87.86 161.43/161.60 c 149471 1358 23866 1146507 48 49077 55137 21250 1029 145.13 161.43/161.60 o 12 161.538 1799.99/1800.70 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1799.99/1800.70 c 169409 1358 43805 2307730 52 89043 9000 41189 1048 161.54 1799.99/1800.70 c 169509 1358 7217 238567 33 15780 9901 4601 1013 167.31 1799.99/1800.70 c 169760 1358 7468 248050 33 16282 10892 4852 1014 167.37 1799.99/1800.70 c 170236 1358 7944 266454 33 17234 11982 5328 1016 167.47 1799.99/1800.70 c 171050 1358 8758 301639 34 18862 13181 6142 1020 167.62 1799.99/1800.70 c 172370 1358 10078 366385 36 21502 14500 7462 1026 167.92 1799.99/1800.70 c 174452 1358 12160 451539 37 25666 15951 9544 1035 168.53 1799.99/1800.70 c 177675 1358 15383 625125 40 32112 17547 12767 1046 169.76 1799.99/1800.70 c 182611 1358 11391 421027 36 24128 19302 8775 1061 172.05 1799.99/1800.70 c 190118 1358 18898 741956 39 39142 21233 16282 1083 175.51 1799.99/1800.70 c 201479 1358 18791 712251 37 38928 23357 16175 1110 181.39 1799.99/1800.70 c 218624 1358 22669 977704 43 46684 25693 20053 1117 195.58 1799.99/1800.71 c 244443 1358 18138 729703 40 37622 28263 15522 1122 217.78 1799.99/1800.71 c 283275 1358 21981 1120585 50 45308 31090 19365 1120 252.84 1799.99/1800.71 c 341628 1358 19081 748965 39 39508 34200 16465 1102 309.92 1799.99/1800.71 c 429260 1358 14844 581651 39 31034 37621 12228 1066 402.55 1799.99/1800.71 c 560812 1358 14137 490912 34 29620 41384 11521 1003 559.02 1799.99/1800.71 c 758244 1358 30050 1192839 39 61446 45523 27434 952 795.93 1799.99/1800.71 c 1054497 1358 19797 801041 40 40940 50076 17181 826 1276.20 1799.99/1800.71 c Resources Exceeded 1799.99/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 1799.99/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 1799.99/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 -x82 1799.99/1800.71 v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 1799.99/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.99/1800.71 c 66 1434357 458414 2314424 51368 2454504 48752 796 1800.00 1799.99/1800.71 c Objective: 12 1799.99/1800.71 s SATISFIABLE 1799.99/1800.71 c Total time: 1800 s
OK 12
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-453060-1178111911 -o ROOT/results/node13/solver-453060-1178111911 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453060-1178111911/instance-453060-1178111911.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.00 0.00 0.06 3/77 12306 /proc/meminfo: memFree=1773056/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=11756 CPUtime=0 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 259108988 12038144 346 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 2939 346 291 324 0 2003 0 [startup+0.0722961 s] /proc/loadavg: 0.00 0.00 0.06 3/77 12306 /proc/meminfo: memFree=1773056/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=4752 CPUtime=0.06 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 601 0 0 0 6 0 0 0 18 0 1 0 259108988 4866048 566 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 1188 566 311 324 0 257 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4752 [startup+0.101301 s] /proc/loadavg: 0.00 0.00 0.06 3/77 12306 /proc/meminfo: memFree=1773056/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=4880 CPUtime=0.09 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 619 0 0 0 9 0 0 0 18 0 1 0 259108988 4997120 584 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 1220 584 312 324 0 289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4880 [startup+0.301344 s] /proc/loadavg: 0.00 0.00 0.06 3/77 12306 /proc/meminfo: memFree=1773056/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=5936 CPUtime=0.29 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 886 0 0 0 28 1 0 0 19 0 1 0 259108988 6078464 851 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 1484 851 312 324 0 553 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5936 [startup+0.70143 s] /proc/loadavg: 0.00 0.00 0.06 3/77 12306 /proc/meminfo: memFree=1773056/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=7632 CPUtime=0.69 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 1311 0 0 0 67 2 0 0 23 0 1 0 259108988 7815168 1276 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 1908 1276 312 324 0 977 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7632 [startup+1.5016 s] /proc/loadavg: 0.00 0.00 0.06 2/78 12307 /proc/meminfo: memFree=1768056/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=10500 CPUtime=1.49 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 2031 0 0 0 146 3 0 0 25 0 1 0 259108988 10752000 1996 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 2625 1996 312 324 0 1694 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10500 [startup+3.10194 s] /proc/loadavg: 0.00 0.00 0.06 2/78 12307 /proc/meminfo: memFree=1764344/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=13888 CPUtime=3.09 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 2899 0 0 0 304 5 0 0 25 0 1 0 259108988 14221312 2864 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 3472 2864 312 324 0 2541 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13888 [startup+6.30162 s] /proc/loadavg: 0.08 0.02 0.07 2/78 12307 /proc/meminfo: memFree=1757816/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=19888 CPUtime=6.29 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 4379 0 0 0 621 8 0 0 25 0 1 0 259108988 20365312 4344 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 4972 4344 312 324 0 4041 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19888 [startup+12.702 s] /proc/loadavg: 0.15 0.03 0.07 2/78 12307 /proc/meminfo: memFree=1751352/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=25744 CPUtime=12.68 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 5851 0 0 0 1258 10 0 0 25 0 1 0 259108988 26361856 5816 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 6436 5816 312 324 0 5505 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 25744 [startup+25.5017 s] /proc/loadavg: 0.34 0.08 0.09 2/78 12307 /proc/meminfo: memFree=1745144/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=31320 CPUtime=25.49 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 7276 0 0 0 2534 15 0 0 25 0 1 0 259108988 32071680 7206 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 7830 7206 312 324 0 6899 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 31320 [startup+51.1012 s] /proc/loadavg: 0.56 0.15 0.11 2/78 12307 /proc/meminfo: memFree=1742904/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=33536 CPUtime=51.07 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 7885 0 0 0 5087 20 0 0 25 0 1 0 259108988 34340864 7777 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 8384 7777 312 324 0 7453 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 33536 [startup+102.305 s] /proc/loadavg: 0.82 0.29 0.16 2/78 12307 /proc/meminfo: memFree=1734328/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=42124 CPUtime=102.26 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 10072 0 0 0 10194 32 0 0 25 0 1 0 259108988 43134976 9918 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 10531 9918 312 324 0 9600 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 42124 [startup+162.302 s] /proc/loadavg: 0.93 0.41 0.21 2/78 12307 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=46040 CPUtime=162.23 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 16180 43 0 0 25 0 1 0 259108988 47144960 10876 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11510 10876 312 324 0 10579 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 46040 [startup+222.302 s] /proc/loadavg: 0.97 0.51 0.25 2/78 12307 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=222.2 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 22163 57 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 45908 [startup+282.301 s] /proc/loadavg: 0.99 0.60 0.30 2/78 12307 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=282.19 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 28149 70 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312666 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 45908 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.34 2/78 12307 /proc/meminfo: memFree=1730488/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=342.16 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 34137 79 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551253 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 45908 [startup+402.302 s] /proc/loadavg: 0.99 0.73 0.38 2/78 12307 /proc/meminfo: memFree=1730488/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=402.13 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 40127 86 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 45908 [startup+462.302 s] /proc/loadavg: 0.99 0.77 0.41 2/78 12307 /proc/meminfo: memFree=1730552/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=462.11 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 46115 96 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 45908 [startup+522.302 s] /proc/loadavg: 0.99 0.81 0.45 2/78 12307 /proc/meminfo: memFree=1730552/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=522.09 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 52104 105 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 45908 [startup+582.301 s] /proc/loadavg: 0.99 0.84 0.48 2/78 12307 /proc/meminfo: memFree=1730488/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=582.06 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 58091 115 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 45908 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.51 2/78 12307 /proc/meminfo: memFree=1730552/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=642.05 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 64082 123 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 45908 ################ # More data... # ################ /proc/meminfo: memFree=1730552/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1061.87 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 106003 184 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 45908 [startup+1122.3 s] /proc/loadavg: 0.99 0.96 0.69 2/78 12307 /proc/meminfo: memFree=1730488/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1121.86 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 111995 191 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551131 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1121.86 Current children cumulated vsize (KiB) 45908 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.70 2/78 12307 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1181.84 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 117985 199 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160527312 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 45908 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.72 2/78 12307 /proc/meminfo: memFree=1730488/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1241.81 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 123975 206 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 45908 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.74 2/78 12307 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1301.79 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 129962 217 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 45908 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.75 2/78 12307 /proc/meminfo: memFree=1730488/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1361.76 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 135952 224 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 45908 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.76 2/78 12308 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1421.74 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 141941 233 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 45908 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.77 2/78 12309 /proc/meminfo: memFree=1730488/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1481.71 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 147931 240 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 45908 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.78 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1541.7 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 153922 248 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 45908 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.79 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1601.67 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 159911 256 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 45908 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.81 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1661.64 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 165898 266 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 45908 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.82 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1721.62 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 171887 275 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 45908 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.82 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1781.6 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 177876 284 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 45908 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 0.99 0.97 0.82 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1791.2 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 178834 286 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1791.2 Current children cumulated vsize (KiB) 45908 [startup+1795.1 s] /proc/loadavg: 0.99 0.97 0.83 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1794.4 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 179154 286 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551088 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1794.4 Current children cumulated vsize (KiB) 45908 [startup+1798.3 s] /proc/loadavg: 0.99 0.97 0.83 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1797.59 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 179473 286 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (KiB) 45908 [startup+1799.9 s] /proc/loadavg: 0.99 0.97 0.83 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1799.19 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 179633 286 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1799.19 Current children cumulated vsize (KiB) 45908 [startup+1800.3 s] /proc/loadavg: 0.99 0.97 0.83 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1799.59 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 179673 286 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551009 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (KiB) 45908 [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.83 2/78 12309 /proc/meminfo: memFree=1730424/2055920 swapFree=4159360/4192956 [pid=12306] ppid=12304 vsize=45908 CPUtime=1799.99 /proc/12306/stat : 12306 (bsolo3.0.16) R 12304 12306 12150 0 -1 4194304 11080 0 0 0 179713 286 0 0 25 0 1 0 259108988 47009792 10870 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12306/statm: 11477 10870 312 324 0 10546 0 Current children cumulated CPU time (s) 1799.99 Current children cumulated vsize (KiB) 45908 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.01 CPU user time (s): 1797.14 CPU system time (s): 2.87756 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 46240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.14 system time used= 2.87756 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11081 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= 37062 runsolver used 1.40479 second user time and 3.83942 second system time The end
Begin job on node13 on Wed May 2 13:18:32 UTC 2007 IDJOB= 453060 IDBENCH= 48105 IDSOLVER= 163 FILE ID= node13/453060-1178111911 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_10_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453060-1178111911/instance-453060-1178111911.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-453060-1178111911 -o ROOT/results/node13/solver-453060-1178111911 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453060-1178111911/instance-453060-1178111911.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 431de611ddaca60ef9395e6cd3a99cf2 RANDOM SEED= 499576418 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: 1773464 kB Buffers: 85596 kB Cached: 104388 kB SwapCached: 12860 kB Active: 100920 kB Inactive: 112996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1773464 kB SwapTotal: 4192956 kB SwapFree: 4159360 kB Dirty: 6876 kB Writeback: 0 kB Mapped: 29760 kB Slab: 53908 kB Committed_AS: 9442820 kB PageTables: 1872 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 13:48:33 UTC 2007