Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | OPT | 3 | 1341.39 | 1341.96 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb |
MD5SUM | 854cc656dc0682d745f606d1e6722452 |
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.132979 |
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 | 108 |
Total number of constraints | 9 |
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 | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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/452961-1178002871/instance-452961-1178002871.opb 0.00/0.00 c File size is 5687 bytes. 0.00/0.00 c Highest Coefficient sum: 523264 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694 0.00/0.00 c Obj. Vars: 9 (2.08333 % of total variables) 0.00/0.01 c Pre-processing Time: 0.007 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 432 661 2763 4 2377 3689 0 0 0.01 0.00/0.01 c Switching off LPR mode. 2.59/2.68 c 101 432 762 10921 14 2559 4058 101 5941 0.02 2.59/2.68 c 251 432 912 22811 25 2752 4464 251 8366 0.03 2.59/2.68 c 477 432 1138 42955 37 3252 4911 477 9352 0.05 2.59/2.68 c 816 432 1477 70301 47 3984 5403 816 10461 0.08 2.59/2.68 c 1325 432 1986 109191 54 4973 5944 1325 9888 0.13 2.59/2.68 c 2088 432 2749 174746 63 6489 6539 2088 9757 0.21 2.59/2.68 c 3235 432 3896 265018 68 8768 7193 3235 8402 0.39 2.59/2.68 c 4956 432 5617 421230 74 12204 7913 4956 7277 0.68 2.59/2.68 c 7540 432 8201 640698 78 17297 8705 7540 6070 1.24 2.59/2.68 c 11419 432 7422 575780 77 15797 9576 6761 4924 2.32 2.59/2.68 o 205 2.681 183.75/183.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 183.75/183.95 c 12574 432 8578 663631 77 18095 3707 7917 4690 2.68 183.75/183.95 c 12674 432 2616 155456 59 6186 4078 1955 4627 2.74 183.75/183.95 c 12925 432 2867 175852 61 6770 4486 2206 4659 2.77 183.75/183.95 c 13400 432 3342 215631 64 7671 4935 2681 4664 2.87 183.75/183.95 c 14214 432 4156 286725 68 9228 5429 3495 4774 2.98 183.75/183.95 c 15534 432 5476 389143 71 11884 5972 4815 4678 3.32 183.75/183.95 c 17615 432 4378 308783 70 9675 6570 3717 4706 3.74 183.75/183.95 c 20838 421 3947 259878 65 8938 7228 3286 4680 4.45 183.75/183.95 c 25775 421 4881 386332 79 10747 7951 4220 4529 5.69 183.75/183.95 c 33281 421 8258 604030 73 17429 8747 7597 4634 7.18 183.75/183.95 c 44642 421 6005 447479 74 13013 9622 5344 3751 11.90 183.75/183.95 c 61787 421 7579 520098 68 16189 10585 6918 3236 19.09 183.75/183.95 c 87606 421 6473 438048 67 13977 11644 5812 2598 33.72 183.75/183.95 c 126439 421 8994 678299 75 18893 12809 8333 2287 55.27 183.75/183.95 c 184791 421 13205 1065557 80 27372 14090 12544 1817 101.69 183.75/183.95 c 272424 421 12778 910249 71 26496 15500 12117 1709 159.33 183.75/183.95 o 183 183.817 532.23/532.50 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 532.23/532.50 c 310075 421 10144 773431 76 21263 3705 9483 1686 183.82 532.23/532.50 c 310176 421 2617 150335 57 6256 4076 1956 1686 183.91 532.23/532.50 c 310426 421 2867 169594 59 6741 4484 2206 1687 183.94 532.23/532.50 c 310902 421 3343 207328 62 7704 4933 2682 1689 184.00 532.23/532.50 c 311717 421 4158 270617 65 9298 5427 3497 1692 184.15 532.23/532.50 c 313038 421 5479 373433 68 11945 5970 4818 1697 184.45 532.23/532.50 c 315119 421 4482 296859 66 9958 6568 3821 1702 185.07 532.23/532.50 c 318345 421 4035 285053 70 9036 7225 3374 1712 185.92 532.23/532.50 c 323282 421 5181 353542 68 11248 7948 4520 1728 187.06 532.23/532.50 c 330789 421 4637 299509 64 10148 8743 3976 1735 190.55 532.23/532.50 c 342150 421 7080 482417 68 15056 9618 6419 1752 195.22 532.23/532.50 c 359294 421 9556 674214 70 19978 10580 8895 1774 202.52 532.23/532.50 c 385114 421 7507 573125 76 15929 11639 6846 1787 215.42 532.23/532.50 c 423946 421 10662 746986 70 22240 12803 10001 1804 235.00 532.23/532.50 c 482298 421 10536 813634 77 22000 14084 9875 1774 271.77 532.23/532.50 c 569930 421 11808 946168 80 24553 15493 11147 1678 339.46 532.23/532.50 c 701484 418 15566 1226629 78 32093 17043 14905 1572 446.01 532.23/532.50 o 33 532.236 575.81/576.16 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 575.81/576.16 c 791266 418 9189 705607 76 19328 3705 8528 1485 532.50 575.81/576.16 c 791367 418 2621 166120 63 6253 4076 1960 1485 532.61 575.81/576.16 c 791617 418 2871 187838 65 6776 4484 2210 1486 532.63 575.81/576.16 c 792093 418 3347 229611 68 7702 4933 2686 1486 532.69 575.81/576.16 c 792906 418 4160 299877 72 9295 5427 3499 1488 532.86 575.81/576.16 c 794227 408 5481 408171 74 11914 5970 4820 1489 533.19 575.81/576.16 c 796308 408 4258 300526 70 9395 6568 3597 1492 533.62 575.81/576.16 c 799532 408 3997 267169 66 8958 7225 3336 1495 534.53 575.81/576.16 c 804468 408 5213 375078 71 11380 7948 4552 1498 536.72 575.81/576.16 c 811974 408 8630 636746 73 18243 8743 7969 1503 540.05 575.81/576.16 c 823336 408 6555 472640 72 14094 9618 5894 1509 545.58 575.81/576.16 c 840480 408 8955 680758 76 18912 10580 8294 1516 554.29 575.81/576.16 c 866299 396 6955 515459 74 14807 11639 6294 1520 569.61 575.81/576.16 o 25 575.881 646.29/646.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 646.29/646.68 c 875872 396 10602 750285 70 22171 3701 9941 1520 575.88 646.29/646.68 c 875973 396 2621 112980 43 6226 4072 1960 1520 575.99 646.29/646.68 c 876230 396 2878 137543 47 6800 4480 2217 1521 576.02 646.29/646.68 c 876705 396 3353 177757 53 7674 4929 2692 1521 576.09 646.29/646.68 c 877519 396 4167 247498 59 9262 5422 3506 1522 576.24 646.29/646.68 c 878840 396 5488 360521 65 11928 5965 4827 1524 576.54 646.29/646.68 c 880922 385 4424 316069 71 9792 6562 3763 1526 577.24 646.29/646.68 c 884146 385 4235 294473 69 9471 7219 3574 1528 578.61 646.29/646.68 c 889082 385 5252 395589 75 11509 7941 4591 1533 579.77 646.29/646.68 c 896589 385 8498 685414 80 18000 8736 7837 1538 582.70 646.29/646.68 c 907950 385 6380 459807 72 13712 9610 5719 1539 589.85 646.29/646.68 c 925095 385 8737 648623 74 18473 10572 8076 1541 600.11 646.29/646.68 c 950915 385 6294 435798 69 13539 11630 5633 1556 610.84 646.29/646.68 c 989748 385 9228 692451 75 19391 12794 8567 1552 637.65 646.29/646.68 o 5 646.372 673.77/674.13 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 673.77/674.13 c 1005102 385 11347 833429 73 23697 3699 10686 1554 646.37 673.77/674.13 c 1005202 385 2620 143494 54 6253 4069 1959 1554 646.45 673.77/674.13 c 1005452 385 2870 164959 57 6649 4476 2209 1555 646.48 673.77/674.13 c 1005927 385 3345 204160 61 7638 4924 2684 1555 646.54 673.77/674.13 c 1006740 385 4158 274815 66 9248 5417 3497 1556 646.66 673.77/674.13 c 1008060 385 5478 388675 70 11982 5959 4817 1558 646.94 673.77/674.13 c 1010141 385 4452 322303 72 9887 6555 3791 1559 647.60 673.77/674.13 c 1013364 385 4269 301594 70 9530 7211 3608 1561 649.00 673.77/674.13 c 1018301 385 5481 397067 72 11967 7933 4820 1564 651.08 673.77/674.13 c 1025807 385 4795 340615 71 10567 8727 4134 1564 655.74 673.77/674.13 c 1037169 385 7170 539047 75 15326 9600 6509 1567 661.49 673.77/674.13 c 1054314 363 9499 725115 76 19991 10561 8838 1572 670.46 673.77/674.13 o 3 673.81 1341.33/1341.95 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1341.33/1341.95 c 1059967 363 9727 731832 75 20444 3695 9066 1573 673.81 1341.33/1341.95 c 1060067 340 2620 154005 58 6275 4065 1959 1572 673.92 1341.33/1341.95 c 1060317 340 2870 175565 61 6708 4472 2209 1573 673.96 1341.33/1341.95 c 1060792 340 3345 216602 64 7703 4920 2684 1573 674.01 1341.33/1341.95 c 1061606 340 4159 282969 68 9281 5413 3498 1574 674.21 1341.33/1341.95 c 1062926 340 5479 390506 71 11896 5955 4818 1575 674.66 1341.33/1341.95 c 1065007 340 4216 299908 71 9413 6551 3555 1577 675.11 1341.33/1341.95 c 1068230 340 3950 275422 69 8933 7207 3289 1580 676.01 1341.33/1341.95 c 1073167 340 5115 376025 73 11186 7928 4454 1583 677.80 1341.33/1341.95 c 1080673 340 8499 651874 76 17951 8721 7838 1587 680.74 1341.33/1341.95 c 1092034 340 6013 431640 71 12961 9594 5352 1591 686.04 1341.33/1341.95 c 1109179 340 8243 626890 76 17427 10554 7582 1590 697.45 1341.33/1341.95 c 1134998 340 6020 449902 74 13065 11610 5359 1589 713.97 1341.33/1341.95 c 1173831 340 7928 558513 70 16831 12772 7267 1593 736.44 1341.33/1341.95 c 1232184 340 13148 1031261 78 27239 14050 12487 1591 774.41 1341.33/1341.95 c 1319817 340 14370 1106962 77 29679 15456 13709 1553 849.37 1341.33/1341.95 c 1451369 340 8800 692144 78 18545 17002 8139 1523 952.57 1341.33/1341.95 c 1648801 339 14938 1176715 78 30905 18703 14277 1422 1159.47 1341.33/1341.95 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 1341.33/1341.95 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 -x73 -x74 -x75 1341.33/1341.95 v -x76 -x77 -x78 -x79 -x80 -x81 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x82 -x83 -x84 -x85 -x86 x87 x88 -x89 -x90 x64 -x65 -x66 1341.33/1341.95 v x67 -x68 -x69 -x70 -x71 -x72 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1341.33/1341.95 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1341.33/1341.95 c 100 1815513 7289 1842532 10288 619191 9627 1353 1341.39 1341.33/1341.95 c Objective: 3 1341.33/1341.95 s OPTIMUM FOUND 1341.33/1341.95 c Total time: 1341.39 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-452961-1178002871 -o ROOT/results/node42/solver-452961-1178002871 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452961-1178002871/instance-452961-1178002871.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.92 0.98 0.99 3/83 32666 /proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=3932 CPUtime=0 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 248199040 4026368 352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 983 352 290 324 0 51 0 [startup+0.0577231 s] /proc/loadavg: 0.92 0.98 0.99 3/83 32666 /proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=4708 CPUtime=0.05 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 595 0 0 0 5 0 0 0 18 0 1 0 248199040 4820992 563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 1177 563 310 324 0 247 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4708 [startup+0.10173 s] /proc/loadavg: 0.92 0.98 0.99 3/83 32666 /proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=5348 CPUtime=0.09 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 732 0 0 0 9 0 0 0 18 0 1 0 248199040 5476352 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 1337 700 310 324 0 407 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5348 [startup+0.301768 s] /proc/loadavg: 0.92 0.98 0.99 3/83 32666 /proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=7284 CPUtime=0.29 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 1214 0 0 0 29 0 0 0 19 0 1 0 248199040 7458816 1182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 1821 1182 310 324 0 891 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7284 [startup+0.701844 s] /proc/loadavg: 0.92 0.98 0.99 3/83 32666 /proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=10112 CPUtime=0.69 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 1934 0 0 0 69 0 0 0 23 0 1 0 248199040 10354688 1902 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 2528 1902 310 324 0 1598 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10112 [startup+1.502 s] /proc/loadavg: 0.92 0.98 0.99 2/84 32667 /proc/meminfo: memFree=1753744/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=14108 CPUtime=1.49 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 2933 0 0 0 148 1 0 0 25 0 1 0 248199040 14446592 2901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 3527 2901 310 324 0 2597 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14108 [startup+3.1013 s] /proc/loadavg: 0.92 0.98 0.99 2/84 32675 /proc/meminfo: memFree=1750608/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=14756 CPUtime=3.09 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3114 0 0 0 308 1 0 0 25 0 1 0 248199040 15110144 3082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12838197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 3689 3082 311 324 0 2759 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14756 [startup+6.30191 s] /proc/loadavg: 0.93 0.98 0.99 2/84 32701 /proc/meminfo: memFree=1750480/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=14752 CPUtime=6.29 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3114 0 0 0 627 2 0 0 25 0 1 0 248199040 15106048 3081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 3688 3081 311 324 0 2758 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14752 [startup+12.7021 s] /proc/loadavg: 0.93 0.98 0.99 2/84 32715 /proc/meminfo: memFree=1750544/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=14752 CPUtime=12.68 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3114 0 0 0 1266 2 0 0 25 0 1 0 248199040 15106048 3081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 3688 3081 311 324 0 2758 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 14752 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/84 32759 /proc/meminfo: memFree=1749776/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=15768 CPUtime=25.45 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3348 0 0 0 2543 2 0 0 25 0 1 0 248199040 16146432 3315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 3942 3315 311 324 0 3012 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 15768 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 323 /proc/meminfo: memFree=1748928/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=17800 CPUtime=51 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3860 0 0 0 5098 2 0 0 25 0 1 0 248199040 18227200 3827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12841311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 4450 3827 311 324 0 3520 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 17800 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742928/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=23672 CPUtime=102.18 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5354 0 0 0 10215 3 0 0 25 0 1 0 248199040 24240128 5311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 5918 5311 311 324 0 4988 0 Current children cumulated CPU time (s) 102.18 Current children cumulated vsize (KiB) 23672 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742928/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=23672 CPUtime=162.16 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5355 0 0 0 16212 4 0 0 25 0 1 0 248199040 24240128 5311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 5918 5311 311 324 0 4988 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 23672 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742864/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=23532 CPUtime=222.15 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5356 0 0 0 22210 5 0 0 25 0 1 0 248199040 24096768 5276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 5883 5276 311 324 0 4953 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 23532 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1743056/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=23532 CPUtime=282.12 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5356 0 0 0 28207 5 0 0 25 0 1 0 248199040 24096768 5276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 5883 5276 311 324 0 4953 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 23532 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1743184/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=23532 CPUtime=342.1 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5356 0 0 0 34204 6 0 0 25 0 1 0 248199040 24096768 5276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572716 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 5883 5276 311 324 0 4953 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 23532 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1743184/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=23532 CPUtime=402.07 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5356 0 0 0 40201 6 0 0 25 0 1 0 248199040 24096768 5276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 5883 5276 311 324 0 4953 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 23532 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742544/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=24184 CPUtime=462.05 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5518 0 0 0 46199 6 0 0 25 0 1 0 248199040 24764416 5438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6046 5438 311 324 0 5116 0 Current children cumulated CPU time (s) 462.05 Current children cumulated vsize (KiB) 24184 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1741840/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=24936 CPUtime=522.03 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 52196 7 0 0 25 0 1 0 248199040 25534464 5617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6234 5617 311 324 0 5304 0 Current children cumulated CPU time (s) 522.03 Current children cumulated vsize (KiB) 24936 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742032/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=24536 CPUtime=582 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 58193 7 0 0 25 0 1 0 248199040 25124864 5527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840732 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6134 5527 311 324 0 5204 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 24536 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742032/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=24532 CPUtime=641.99 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 64191 8 0 0 25 0 1 0 248199040 25120768 5526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6133 5526 311 324 0 5203 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 24532 ################ # More data... # ################ /proc/meminfo: memFree=1742096/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=24532 CPUtime=701.96 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 70188 8 0 0 25 0 1 0 248199040 25120768 5526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12841270 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6133 5526 311 324 0 5203 0 Current children cumulated CPU time (s) 701.96 Current children cumulated vsize (KiB) 24532 [startup+762.306 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742160/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=24532 CPUtime=761.95 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 76186 9 0 0 25 0 1 0 248199040 25120768 5526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6133 5526 311 324 0 5203 0 Current children cumulated CPU time (s) 761.95 Current children cumulated vsize (KiB) 24532 [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742160/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=24532 CPUtime=821.92 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 82183 9 0 0 25 0 1 0 248199040 25120768 5526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6133 5526 311 324 0 5203 0 Current children cumulated CPU time (s) 821.92 Current children cumulated vsize (KiB) 24532 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742160/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=24524 CPUtime=881.9 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 88180 10 0 0 25 0 1 0 248199040 25112576 5524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6131 5524 311 324 0 5201 0 Current children cumulated CPU time (s) 881.9 Current children cumulated vsize (KiB) 24524 [startup+942.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1742160/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=24520 CPUtime=941.88 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 94178 10 0 0 25 0 1 0 248199040 25108480 5523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6130 5523 311 324 0 5200 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 24520 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1741584/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=25120 CPUtime=1001.86 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5833 0 0 0 100175 11 0 0 25 0 1 0 248199040 25722880 5659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6280 5659 311 324 0 5350 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 25120 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1741520/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=25112 CPUtime=1061.83 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5833 0 0 0 106172 11 0 0 25 0 1 0 248199040 25714688 5659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6278 5659 311 324 0 5348 0 Current children cumulated CPU time (s) 1061.83 Current children cumulated vsize (KiB) 25112 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1741520/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=25112 CPUtime=1121.8 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5833 0 0 0 112169 11 0 0 25 0 1 0 248199040 25714688 5659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6278 5659 311 324 0 5348 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 25112 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740560/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26104 CPUtime=1181.79 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 118167 12 0 0 25 0 1 0 248199040 26730496 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6526 5906 311 324 0 5596 0 Current children cumulated CPU time (s) 1181.79 Current children cumulated vsize (KiB) 26104 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740560/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1241.77 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 124164 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 26068 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740496/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1301.75 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 130162 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 26068 Solver just ended. Dumping a history of the last processes samples [startup+1305.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740496/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1304.94 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 130481 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1304.94 Current children cumulated vsize (KiB) 26068 [startup+1318.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740432/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1317.74 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 131761 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1317.74 Current children cumulated vsize (KiB) 26068 [startup+1331.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740432/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1330.53 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 133040 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1330.53 Current children cumulated vsize (KiB) 26068 [startup+1337.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740432/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1336.93 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 133680 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1336.93 Current children cumulated vsize (KiB) 26068 [startup+1339.1 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740368/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1338.53 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 133840 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1338.53 Current children cumulated vsize (KiB) 26068 [startup+1340.7 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740368/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1340.13 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 134000 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1340.13 Current children cumulated vsize (KiB) 26068 [startup+1341.5 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740368/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1340.93 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 134080 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1340.93 Current children cumulated vsize (KiB) 26068 [startup+1341.9 s] /proc/loadavg: 0.99 0.98 0.99 2/78 323 /proc/meminfo: memFree=1740368/2055920 swapFree=4147452/4192956 [pid=32666] ppid=32664 vsize=26068 CPUtime=1341.33 /proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 134120 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/32666/statm: 6517 5906 311 324 0 5587 0 Current children cumulated CPU time (s) 1341.33 Current children cumulated vsize (KiB) 26068 Child status: 0 Real time (s): 1341.96 CPU time (s): 1341.39 CPU user time (s): 1341.25 CPU system time (s): 0.141978 CPU usage (%): 99.9581 Max. virtual memory (cumulated for all children) (KiB): 26108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1341.25 system time used= 0.141978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6084 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= 27426 runsolver used 1.01684 second user time and 2.97955 second system time The end
Begin job on node42 on Tue May 1 07:01:11 UTC 2007 IDJOB= 452961 IDBENCH= 48028 IDSOLVER= 199 FILE ID= node42/452961-1178002871 PBS_JOBID= 4728216 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452961-1178002871/instance-452961-1178002871.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-452961-1178002871 -o ROOT/results/node42/solver-452961-1178002871 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452961-1178002871/instance-452961-1178002871.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= 854cc656dc0682d745f606d1e6722452 RANDOM SEED= 941003327 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1762480 kB Buffers: 30120 kB Cached: 170376 kB SwapCached: 14316 kB Active: 75988 kB Inactive: 149500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1762480 kB SwapTotal: 4192956 kB SwapFree: 4147452 kB Dirty: 6704 kB Writeback: 0 kB Mapped: 32264 kB Slab: 52928 kB Committed_AS: 3743820 kB PageTables: 2148 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 node42 on Tue May 1 07:23:34 UTC 2007