Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | -11 | 1800.06 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_50_10_4.opb |
MD5SUM | 3258ae2375db1ca5a9ce9d305f00baf0 |
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 | -14 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -14 |
Optimality of the best value was proved | NO |
Number of variables | 100 |
Total number of constraints | 151 |
Number of constraints which are clauses | 50 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 101 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
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) | 1228 |
Sum of products size (including duplicates) | 2456 |
Number of different products | 614 |
Sum of products size | 1228 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/455646-1178047183/instance-455646-1178047183.opb 0.00/0.00 c File size is 16429 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.008 s 0.00/0.01 c Var: 1328 Constr: 2608 1278/102/1228 Lit: 8896 Watch. Lit: 7570 0.00/0.01 c Obj. Vars: 50 (3.76506 % of total variables) 0.39/0.42 c Pre-processing Time: 0.424 s 0.39/0.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.42 c 0 1328 2608 8896 3 7570 14540 0 0 0.42 0.39/0.42 c Switching off LPR mode. 0.39/0.43 o -1 0.425 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1328 2609 8946 3 7573 14573 1 0 0.43 0.39/0.43 o -2 0.426 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1328 2610 8996 3 7577 14623 2 0 0.43 0.39/0.43 o -3 0.427 0.39/0.43 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.43 c 0 1328 2611 9046 3 7582 14690 3 0 0.43 0.39/0.43 o -4 0.428 0.39/0.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.39/0.44 c 2 1328 2614 9232 3 7592 14707 6 4 0.43 0.39/0.44 c 102 1328 2714 15415 5 7792 16178 106 231 0.44 0.39/0.44 o -5 0.443 0.69/0.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.69/0.73 c 122 1328 2735 16550 6 7839 14723 127 274 0.44 0.69/0.73 c 222 1328 2835 22341 7 8039 16196 227 486 0.46 0.69/0.73 c 472 1328 3085 37890 12 8539 17816 477 973 0.48 0.69/0.73 c 947 1328 3560 67840 19 9489 19598 952 1776 0.53 0.69/0.73 c 1760 1328 4373 117014 26 11115 21558 1765 2816 0.62 0.69/0.73 o -6 0.73 87.25/87.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 87.25/87.38 c 2568 1328 5182 168268 32 12739 14740 2574 3512 0.73 87.25/87.38 c 2668 1328 5282 174975 33 12939 16215 2674 3562 0.75 87.25/87.38 c 2918 1328 5532 194064 35 13439 17837 2924 3693 0.79 87.25/87.38 c 3393 1328 6007 234239 38 14389 19621 3399 3900 0.87 87.25/87.38 c 4206 1328 6820 284927 41 16015 21584 4212 4278 0.98 87.25/87.38 c 5526 1328 8140 366149 44 18655 23743 5532 4424 1.25 87.25/87.38 c 7607 1328 10221 502495 49 22817 26118 7613 4599 1.65 87.25/87.38 c 10830 1328 13444 714190 53 29263 28730 10836 4121 2.63 87.25/87.38 c 15766 1328 18380 1040288 56 39135 31604 15772 3227 4.88 87.25/87.38 c 23272 1328 25886 1537718 59 54147 34765 23278 2495 9.33 87.25/87.38 c 34633 1328 37247 2272025 60 76869 38242 34639 1560 22.19 87.25/87.38 c 51777 1328 26199 1578886 60 54758 42067 23591 1280 40.43 87.25/87.38 c 77596 1328 20224 1328316 65 42808 46274 17616 1046 74.13 87.25/87.38 o -7 87.342 139.24/139.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 139.24/139.34 c 94005 1328 36634 2469917 67 75635 14673 34026 1076 87.34 139.24/139.34 c 94105 1328 10047 522981 52 22455 16141 7439 1045 89.97 139.24/139.34 c 94355 1328 10297 543045 52 22955 17756 7689 1047 90.04 139.24/139.34 c 94830 1328 10772 580327 53 23905 19532 8164 1051 90.19 139.24/139.34 c 95643 1328 11585 637730 55 25531 21486 8977 1057 90.48 139.24/139.34 c 96963 1328 12905 727686 56 28171 23635 10297 1065 90.99 139.24/139.34 c 99044 1328 14986 867140 57 32333 25999 12378 1080 91.68 139.24/139.34 c 102267 1328 18209 1063231 58 38779 28599 15601 1096 93.29 139.24/139.34 c 107203 1328 23145 1389373 60 48651 31459 20537 1112 96.39 139.24/139.34 c 114709 1328 30651 1900817 62 63663 34605 28043 1101 104.09 139.24/139.34 c 126070 1328 17420 991106 56 37201 38066 14812 1075 117.26 139.24/139.34 c 143214 1328 34564 2034991 58 71489 41873 31956 1112 128.68 139.24/139.34 o -8 139.28 986.23/986.69 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 986.23/986.69 c 151870 1328 43221 2619335 60 88811 14690 40613 1090 139.28 986.23/986.69 c 151970 1328 10055 509050 50 22472 16160 7447 1035 146.79 986.23/986.69 c 152220 1328 10305 523717 50 22972 17777 7697 1036 146.85 986.23/986.69 c 152695 1328 10780 556754 51 23922 19555 8172 1038 146.97 986.23/986.69 c 153508 1328 11593 606080 52 25548 21511 8985 1042 147.21 986.23/986.69 c 154828 1328 12913 683968 52 28188 23663 10305 1048 147.62 986.23/986.69 c 156910 1328 14995 817284 54 32352 26030 12387 1056 148.48 986.23/986.69 c 160133 1328 18218 1025298 56 38798 28634 15610 1065 150.30 986.23/986.69 c 165069 1328 23154 1364992 58 48670 31498 20546 1076 153.41 986.23/986.69 c 172575 1328 30660 1899947 61 63682 34648 28052 1073 160.69 986.23/986.69 c 183936 1328 17398 1043779 59 37158 38113 14790 1048 175.39 986.23/986.69 c 201080 1328 34542 2232314 64 71446 41925 31934 1043 192.70 986.23/986.69 c 226899 1328 28635 1852548 64 59632 46118 26027 1005 225.55 986.23/986.69 c 265732 1328 31650 1945353 61 65662 50730 29042 954 278.47 986.23/986.69 c 324085 1328 49775 3239564 65 101912 55804 47167 905 357.74 986.23/986.69 c 411717 1328 46721 3281260 70 95804 61385 44113 831 495.08 986.23/986.69 c 543269 1328 26005 1686924 64 54372 67524 23397 726 747.65 986.23/986.69 o -9 986.33 1323.50/1324.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1323.50/1324.10 c 662029 1328 30996 2097755 67 64363 14707 28388 671 986.33 1323.50/1324.10 c 662129 1328 10064 499646 49 22491 16178 7456 669 988.46 1323.50/1324.10 c 662379 1328 10314 514047 49 22991 17796 7706 670 988.57 1323.50/1324.10 c 662854 1328 10789 539741 50 23941 19576 8181 670 988.76 1323.50/1324.10 c 663667 1328 11602 584364 50 25567 21534 8994 670 989.09 1323.50/1324.10 c 664987 1328 12922 662642 51 28207 23688 10314 671 989.70 1323.50/1324.10 c 667068 1328 15003 791774 52 32369 26057 12395 673 990.60 1323.50/1324.10 c 670291 1328 18226 992802 54 38815 28663 15618 675 992.52 1323.50/1324.10 c 675228 1328 23163 1308491 56 48689 31530 20555 678 995.43 1323.50/1324.10 c 682734 1328 30669 1805513 58 63701 34684 28061 682 1000.37 1323.50/1324.10 c 694095 1328 17432 923918 53 37227 38153 14824 683 1016.14 1323.50/1324.10 c 711239 1328 34576 2105708 60 71515 41969 31968 689 1032.01 1323.60/1324.10 c 737058 1328 28720 1675016 58 59803 46166 26112 693 1062.79 1323.60/1324.10 c 775890 1328 31613 1944240 61 65589 50783 29005 702 1105.10 1323.60/1324.10 c 834242 1328 49541 3202057 64 101445 55862 46933 711 1173.03 1323.60/1324.10 c 921874 1328 46407 3369509 72 95177 61449 43799 697 1322.50 1323.60/1324.10 o -10 1323.61 1342.79/1343.34 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1342.79/1343.34 c 922607 1328 47141 3404483 72 96655 14723 44533 697 1323.61 1342.79/1343.34 c 922707 1328 10072 599385 59 22508 16196 7464 691 1334.53 1342.79/1343.34 c 922957 1328 10322 614346 59 23008 17816 7714 691 1334.61 1342.79/1343.34 c 923432 1328 10797 642557 59 23958 19598 8189 691 1334.68 1342.79/1343.34 c 924245 1328 11610 684888 58 25584 21558 9002 692 1334.77 1342.79/1343.34 c 925565 1328 12930 754778 58 28224 23714 10322 693 1334.99 1342.79/1343.34 c 927646 1328 15011 861062 57 32386 26086 12403 694 1335.41 1342.79/1343.34 c 930869 1328 18234 1030016 56 38832 28695 15626 696 1336.26 1342.79/1343.34 c 935805 1328 23170 1307499 56 48704 31565 20562 699 1338.60 1342.79/1343.34 o -11 1342.84 1800.04/1800.71 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.04/1800.71 c 942870 1328 30236 1730435 57 62847 14740 27628 702 1342.84 1800.04/1800.71 c 942970 1328 10080 454796 45 22525 16215 7472 701 1344.19 1800.04/1800.71 c 943220 1328 10330 470815 45 23025 17837 7722 701 1344.27 1800.04/1800.71 c 943695 1328 10805 497762 46 23975 19621 8197 701 1344.38 1800.04/1800.71 c 944508 1328 11618 543952 46 25601 21584 9010 702 1344.59 1800.04/1800.71 c 945828 1328 12938 616958 47 28241 23743 10330 703 1344.92 1800.04/1800.71 c 947909 1328 15019 737141 49 32403 26118 12411 704 1345.66 1800.04/1800.71 c 951132 1328 18242 919573 50 38849 28730 15634 706 1346.97 1800.04/1800.71 c 956068 1328 23178 1190435 51 48721 31604 20570 708 1348.68 1800.04/1800.71 c 963575 1328 30685 1621980 52 63735 34765 28077 711 1353.81 1800.04/1800.71 c 974936 1328 17329 853510 49 37023 38242 14721 713 1366.37 1800.04/1800.71 c 992080 1328 34473 1918593 55 71311 42067 31865 718 1381.46 1800.04/1800.71 c 1017899 1328 28538 1584817 55 59441 46274 25930 719 1414.89 1800.04/1800.71 c 1056731 1328 31449 1875161 59 65263 50902 28841 724 1458.04 1800.04/1800.71 c 1115083 1328 49331 3130921 63 101027 55993 46723 721 1545.95 1800.04/1800.71 c 1202715 1328 46126 2715787 58 94617 61593 43518 719 1671.64 1800.04/1800.71 c Caught signal: 15 1800.04/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 -x30 1800.04/1800.71 v -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x52 -x84 -x75 -x77 x64 -x88 -x76 1800.04/1800.71 v -x79 -x86 -x95 -x58 -x59 -x67 -x96 -x51 x55 x65 -x54 -x53 x92 x100 -x68 -x69 -x80 -x62 -x66 -x70 -x74 -x90 x98 x73 -x83 -x71 -x81 1800.04/1800.71 v -x57 -x61 -x91 -x93 -x94 -x99 -x82 -x56 x72 -x87 -x60 -x97 x89 -x78 x63 x85 1800.04/1800.71 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.04/1800.71 c 93 1266835 460 1275996 59403 3599296 56795 703 1800.05 1800.04/1800.71 c Objective: -11 1800.04/1800.71 s SATISFIABLE 1800.04/1800.71 c Total time: 1800.05 s
OK -11
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node46/watcher-455646-1178047183 -o ROOT/results/node46/solver-455646-1178047183 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455646-1178047183/instance-455646-1178047183.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.95 0.97 3/78 14544 /proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=3828 CPUtime=0 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 159401313 3919872 140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7798879 0 0 4096 0 0 0 0 17 1 0 0 /proc/14544/statm: 957 143 120 324 0 15 0 [startup+0.0405711 s] /proc/loadavg: 0.91 0.95 0.97 3/78 14544 /proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=4612 CPUtime=0.03 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 561 0 0 0 3 0 0 0 18 0 1 0 159401313 4722688 526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 1153 526 305 324 0 223 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4612 [startup+0.101582 s] /proc/loadavg: 0.91 0.95 0.97 3/78 14544 /proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=4612 CPUtime=0.09 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 562 0 0 0 9 0 0 0 18 0 1 0 159401313 4722688 527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 1153 527 305 324 0 223 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4612 [startup+0.301618 s] /proc/loadavg: 0.91 0.95 0.97 3/78 14544 /proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=4612 CPUtime=0.29 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 562 0 0 0 29 0 0 0 19 0 1 0 159401313 4722688 527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 1153 527 305 324 0 223 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4612 [startup+0.701692 s] /proc/loadavg: 0.91 0.95 0.97 3/78 14544 /proc/meminfo: memFree=1821360/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=6816 CPUtime=0.69 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 1102 0 0 0 69 0 0 0 23 0 1 0 159401313 6979584 1067 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 1704 1067 311 324 0 774 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6816 [startup+1.50184 s] /proc/loadavg: 0.91 0.95 0.97 2/79 14545 /proc/meminfo: memFree=1816488/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=11216 CPUtime=1.49 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 2204 0 0 0 148 1 0 0 25 0 1 0 159401313 11485184 2169 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 2804 2169 311 324 0 1874 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11216 [startup+3.10114 s] /proc/loadavg: 0.91 0.95 0.97 2/79 14545 /proc/meminfo: memFree=1811688/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=15740 CPUtime=3.09 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 3355 0 0 0 307 2 0 0 25 0 1 0 159401313 16117760 3320 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8230523 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 3935 3320 311 324 0 3005 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15740 [startup+6.30173 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1804200/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=22224 CPUtime=6.29 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 4959 0 0 0 625 4 0 0 25 0 1 0 159401313 22757376 4924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 5556 4924 311 324 0 4626 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22224 [startup+12.7029 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1795000/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=30636 CPUtime=12.68 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 7062 0 0 0 1262 6 0 0 25 0 1 0 159401313 31371264 7027 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 7659 7027 311 324 0 6729 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30636 [startup+25.5013 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1785720/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=39456 CPUtime=25.48 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 9276 0 0 0 2539 9 0 0 25 0 1 0 159401313 40402944 9241 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 9864 9241 311 324 0 8934 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39456 [startup+51.102 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1783096/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=41792 CPUtime=51.06 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 9898 0 0 0 5096 10 0 0 25 0 1 0 159401313 42795008 9824 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 10448 9824 311 324 0 9518 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 41792 [startup+102.306 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1776376/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=48508 CPUtime=102.25 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 11641 0 0 0 10213 12 0 0 25 0 1 0 159401313 49672192 11490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 12127 11490 311 324 0 11197 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 48508 [startup+162.302 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1776312/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=48504 CPUtime=162.23 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 11717 0 0 0 16210 13 0 0 25 0 1 0 159401313 49668096 11490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 12126 11490 311 324 0 11196 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 48504 [startup+222.302 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1776312/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=48500 CPUtime=222.2 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 11717 0 0 0 22207 13 0 0 25 0 1 0 159401313 49664000 11490 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 12125 11490 311 324 0 11195 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 48500 [startup+282.302 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1772152/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=52388 CPUtime=282.18 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 12758 0 0 0 28203 15 0 0 25 0 1 0 159401313 53645312 12484 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 13097 12484 311 324 0 12167 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 52388 [startup+342.302 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1767544/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=57060 CPUtime=342.16 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 13953 0 0 0 34200 16 0 0 25 0 1 0 159401313 58429440 13628 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 14265 13628 311 324 0 13335 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 57060 [startup+402.301 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1763960/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=60564 CPUtime=402.14 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 14908 0 0 0 40196 18 0 0 25 0 1 0 159401313 62017536 14527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134559677 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 15141 14527 311 324 0 14211 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 60564 [startup+462.301 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1763128/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=61336 CPUtime=462.12 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 15159 0 0 0 46193 19 0 0 25 0 1 0 159401313 62808064 14722 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 15334 14722 311 324 0 14404 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 61336 [startup+522.301 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1759416/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=65468 CPUtime=522.09 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 16197 0 0 0 52189 20 0 0 25 0 1 0 159401313 67039232 15760 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551033 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 16367 15760 311 324 0 15437 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 65468 [startup+582.301 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1755000/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=69472 CPUtime=582.07 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 17260 0 0 0 58186 21 0 0 25 0 1 0 159401313 71139328 16761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 17368 16761 311 324 0 16438 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 69472 [startup+642.302 s] /proc/loadavg: 1.00 0.97 0.98 2/79 14545 /proc/meminfo: memFree=1754936/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=69472 CPUtime=642.06 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 17322 0 0 0 64184 22 0 0 25 0 1 0 159401313 71139328 16761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 17368 16761 311 324 0 16438 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 69472 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.07 0.99 0.98 2/79 14545 /proc/meminfo: memFree=1750584/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=73880 CPUtime=881.97 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 18545 0 0 0 88173 24 0 0 25 0 1 0 159401313 75653120 17854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 18470 17854 311 324 0 17540 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 73880 [startup+942.302 s] /proc/loadavg: 1.09 1.00 0.99 2/79 14545 /proc/meminfo: memFree=1750648/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=73880 CPUtime=941.94 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 18545 0 0 0 94170 24 0 0 25 0 1 0 159401313 75653120 17854 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 18470 17854 311 324 0 17540 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 73880 [startup+1002.3 s] /proc/loadavg: 1.09 1.02 0.99 2/79 14545 /proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76680 CPUtime=1001.92 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 100167 25 0 0 25 0 1 0 159401313 78520320 18560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19170 18560 311 324 0 18240 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 76680 [startup+1062.3 s] /proc/loadavg: 1.09 1.03 1.00 2/79 14545 /proc/meminfo: memFree=1747896/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76668 CPUtime=1061.89 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 106164 25 0 0 25 0 1 0 159401313 78508032 18560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19167 18560 311 324 0 18237 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 76668 [startup+1122.3 s] /proc/loadavg: 1.08 1.03 1.00 2/79 14547 /proc/meminfo: memFree=1747704/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1121.88 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 112162 26 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 76664 [startup+1182.3 s] /proc/loadavg: 1.08 1.04 1.00 2/79 14547 /proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1181.85 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 118159 26 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 76664 [startup+1242.3 s] /proc/loadavg: 1.03 1.03 1.00 2/79 14547 /proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1241.84 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 124157 27 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572899 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 76664 [startup+1302.3 s] /proc/loadavg: 1.01 1.02 1.00 2/79 14547 /proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1301.81 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 130154 27 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 76664 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/79 14547 /proc/meminfo: memFree=1747896/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1361.79 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 136152 27 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 76664 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/79 14547 /proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1421.77 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 142149 28 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 76664 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 14547 /proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1481.74 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 148146 28 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 76664 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 14547 /proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1541.72 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 154144 28 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8228348 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 76664 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 14547 /proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1601.7 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 160141 29 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 76664 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 14547 /proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1661.68 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 166139 29 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 76664 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 14547 /proc/meminfo: memFree=1747832/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76664 CPUtime=1721.66 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 172136 30 0 0 25 0 1 0 159401313 78503936 18559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19166 18559 311 324 0 18236 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 76664 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 14547 /proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76656 CPUtime=1781.64 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 178134 30 0 0 25 0 1 0 159401313 78495744 18557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19164 18557 311 324 0 18234 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 76656 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/79 14547 /proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76656 CPUtime=1800.04 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 179974 30 0 0 25 0 1 0 159401313 78495744 18557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19164 18557 311 324 0 18234 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 76656 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.00 1.00 1.00 2/79 14547 /proc/meminfo: memFree=1747768/2055920 swapFree=4159404/4192956 [pid=14544] ppid=14542 vsize=76656 CPUtime=1800.04 /proc/14544/stat : 14544 (bsolo3.0.17) R 14542 14544 13960 0 -1 4194304 19319 0 0 0 179974 30 0 0 25 0 1 0 159401313 78495744 18557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14544/statm: 19164 18557 311 324 0 18234 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 76656 Child status: 15 Real time (s): 1800.73 CPU time (s): 1800.06 CPU user time (s): 1799.74 CPU system time (s): 0.319951 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 76852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 0.319951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19323 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= 37992 runsolver used 1.75373 second user time and 4.35934 second system time The end
Begin job on node46 on Tue May 1 19:19:43 UTC 2007 IDJOB= 455646 IDBENCH= 48277 IDSOLVER= 199 FILE ID= node46/455646-1178047183 PBS_JOBID= 4728453 Free space on /tmp= 66214 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455646-1178047183/instance-455646-1178047183.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node46/watcher-455646-1178047183 -o ROOT/results/node46/solver-455646-1178047183 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455646-1178047183/instance-455646-1178047183.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0 RANDOM SEED= 325552756 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node46.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.268 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 : 5931.00 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.268 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: 1821960 kB Buffers: 76276 kB Cached: 74108 kB SwapCached: 2820 kB Active: 131516 kB Inactive: 43344 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1821960 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 6620 kB Writeback: 0 kB Mapped: 31004 kB Slab: 44464 kB Committed_AS: 5093304 kB PageTables: 1992 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= 66214 MiB End job on node46 on Tue May 1 19:49:46 UTC 2007