Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | OPT | 3 | 1297.1 | 1297.88 |
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.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/431108-1178002804/instance-431108-1178002804.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.001 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.006 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.69/2.72 c 101 432 762 10921 14 2559 4058 101 6312 0.02 2.69/2.72 c 251 432 912 22811 25 2752 4464 251 8366 0.03 2.69/2.72 c 477 432 1138 42955 37 3252 4911 477 9173 0.05 2.69/2.72 c 816 432 1477 70301 47 3984 5403 816 10329 0.08 2.69/2.72 c 1325 432 1986 109191 54 4973 5944 1325 9671 0.14 2.69/2.72 c 2088 432 2749 174746 63 6489 6539 2088 9577 0.22 2.69/2.72 c 3235 432 3896 265018 68 8768 7193 3235 8231 0.39 2.69/2.72 c 4956 432 5617 421230 74 12204 7913 4956 7141 0.69 2.69/2.72 c 7540 432 8201 640698 78 17297 8705 7540 5979 1.26 2.69/2.72 c 11419 432 7422 575780 77 15797 9576 6761 4852 2.35 2.69/2.72 o 205 2.721 179.97/180.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 179.97/180.10 c 12574 432 8578 663631 77 18095 3707 7917 4621 2.72 179.97/180.10 c 12674 432 2616 155456 59 6186 4078 1955 4560 2.78 179.97/180.10 c 12925 432 2867 175852 61 6770 4486 2206 4589 2.82 179.97/180.10 c 13400 432 3342 215631 64 7671 4935 2681 4596 2.92 179.97/180.10 c 14214 432 4156 286725 68 9228 5429 3495 4705 3.02 179.97/180.10 c 15534 432 5476 389143 71 11884 5972 4815 4619 3.36 179.97/180.10 c 17615 432 4378 308783 70 9675 6570 3717 4648 3.79 179.97/180.10 c 20838 421 3947 259878 65 8938 7228 3286 4627 4.50 179.97/180.10 c 25775 421 4881 386332 79 10747 7951 4220 4470 5.76 179.97/180.10 c 33281 421 8258 604030 73 17429 8747 7597 4581 7.26 179.97/180.10 c 44642 421 6005 447479 74 13013 9622 5344 3738 11.94 179.97/180.10 c 61787 421 7579 520098 68 16189 10585 6918 3234 19.10 179.97/180.10 c 87606 421 6473 438048 67 13977 11644 5812 2595 33.75 179.97/180.10 c 126439 421 8994 678299 75 18893 12809 8333 2282 55.41 179.97/180.10 c 184791 421 13205 1065557 80 27372 14090 12544 1835 100.66 179.97/180.10 c 272424 421 12778 910249 71 26496 15500 12117 1742 156.35 179.97/180.10 o 183 179.976 516.36/516.74 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 516.36/516.74 c 310075 421 10144 773431 76 21263 3705 9483 1722 179.98 516.36/516.74 c 310176 421 2617 150335 57 6256 4076 1956 1722 180.06 516.36/516.74 c 310426 421 2867 169594 59 6741 4484 2206 1723 180.09 516.36/516.74 c 310902 421 3343 207328 62 7704 4933 2682 1725 180.15 516.36/516.74 c 311717 421 4158 270617 65 9298 5427 3497 1728 180.29 516.36/516.74 c 313038 421 5479 373433 68 11945 5970 4818 1733 180.57 516.36/516.74 c 315119 421 4482 296859 66 9958 6568 3821 1739 181.16 516.36/516.74 c 318345 421 4035 285053 70 9036 7225 3374 1749 181.95 516.36/516.74 c 323282 421 5181 353542 68 11248 7948 4520 1766 183.03 516.36/516.74 c 330789 421 4637 299509 64 10148 8743 3976 1775 186.31 516.36/516.74 c 342150 421 7080 482417 68 15056 9618 6419 1793 190.72 516.36/516.74 c 359294 421 9556 674214 70 19978 10580 8895 1816 197.81 516.36/516.74 c 385114 421 7507 573125 76 15929 11639 6846 1832 210.13 516.36/516.74 c 423946 421 10662 746986 70 22240 12803 10001 1851 228.99 516.36/516.74 c 482298 421 10536 813634 77 22000 14084 9875 1823 264.46 516.36/516.74 c 569930 421 11808 946168 80 24553 15493 11147 1728 329.81 516.36/516.74 c 701484 418 15566 1226629 78 32093 17043 14905 1620 432.92 516.36/516.74 o 33 516.411 558.24/558.66 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 558.24/558.66 c 791266 418 9189 705607 76 19328 3705 8528 1531 516.66 558.24/558.66 c 791367 418 2621 166120 63 6253 4076 1960 1531 516.76 558.24/558.66 c 791617 418 2871 187838 65 6776 4484 2210 1531 516.79 558.24/558.66 c 792093 418 3347 229611 68 7702 4933 2686 1532 516.85 558.24/558.66 c 792906 418 4160 299877 72 9295 5427 3499 1533 517.00 558.24/558.66 c 794227 408 5481 408171 74 11914 5970 4820 1535 517.31 558.24/558.66 c 796308 408 4258 300526 70 9395 6568 3597 1538 517.73 558.24/558.66 c 799532 408 3997 267169 66 8958 7225 3336 1541 518.59 558.24/558.66 c 804468 408 5213 375078 71 11380 7948 4552 1545 520.68 558.24/558.66 c 811974 408 8630 636746 73 18243 8743 7969 1549 523.89 558.24/558.66 c 823336 408 6555 472640 72 14094 9618 5894 1555 529.18 558.24/558.66 c 840480 408 8955 680758 76 18912 10580 8294 1563 537.52 558.24/558.66 c 866299 396 6955 515459 74 14807 11639 6294 1568 552.22 558.24/558.66 o 25 558.305 626.00/626.42 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 626.00/626.42 c 875872 396 10602 750285 70 22171 3701 9941 1568 558.30 626.00/626.42 c 875973 396 2621 112980 43 6226 4072 1960 1568 558.41 626.00/626.42 c 876230 396 2878 137543 47 6800 4480 2217 1569 558.44 626.00/626.42 c 876705 396 3353 177757 53 7674 4929 2692 1569 558.50 626.00/626.42 c 877519 396 4167 247498 59 9262 5422 3506 1570 558.65 626.00/626.42 c 878840 396 5488 360521 65 11928 5965 4827 1572 558.93 626.00/626.42 c 880922 385 4424 316069 71 9792 6562 3763 1574 559.59 626.00/626.42 c 884146 385 4235 294473 69 9471 7219 3574 1576 560.88 626.00/626.42 c 889082 385 5252 395589 75 11509 7941 4591 1582 561.99 626.00/626.42 c 896589 385 8498 685414 80 18000 8736 7837 1587 564.78 626.00/626.42 c 907950 385 6380 459807 72 13712 9610 5719 1588 571.62 626.00/626.42 c 925095 385 8737 648623 74 18473 10572 8076 1590 581.50 626.00/626.42 c 950915 385 6294 435798 69 13539 11630 5633 1606 591.74 626.00/626.42 c 989748 385 9228 692451 75 19391 12794 8567 1602 617.58 626.00/626.42 o 5 626.027 652.18/652.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 652.18/652.67 c 1005102 385 11347 833429 73 23697 3699 10686 1605 626.03 652.18/652.67 c 1005202 385 2620 143494 54 6253 4069 1959 1605 626.10 652.18/652.67 c 1005452 385 2870 164959 57 6649 4476 2209 1605 626.13 652.18/652.67 c 1005927 385 3345 204160 61 7638 4924 2684 1606 626.18 652.18/652.67 c 1006740 385 4158 274815 66 9248 5417 3497 1607 626.30 652.18/652.67 c 1008060 385 5478 388675 70 11982 5959 4817 1608 626.56 652.18/652.67 c 1010141 385 4452 322303 72 9887 6555 3791 1610 627.17 652.18/652.67 c 1013364 385 4269 301594 70 9530 7211 3608 1612 628.50 652.18/652.67 c 1018301 385 5481 397067 72 11967 7933 4820 1615 630.48 652.18/652.67 c 1025807 385 4795 340615 71 10567 8727 4134 1615 634.95 652.18/652.67 c 1037169 385 7170 539047 75 15326 9600 6509 1619 640.45 652.18/652.67 c 1054314 363 9499 725115 76 19991 10561 8838 1624 649.05 652.18/652.67 o 3 652.265 1297.02/1297.87 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1297.02/1297.87 c 1059967 363 9727 731832 75 20444 3695 9066 1625 652.26 1297.02/1297.87 c 1060067 340 2620 154005 58 6275 4065 1959 1624 652.37 1297.02/1297.87 c 1060317 340 2870 175565 61 6708 4472 2209 1625 652.40 1297.02/1297.87 c 1060792 340 3345 216602 64 7703 4920 2684 1625 652.46 1297.02/1297.87 c 1061606 340 4159 282969 68 9281 5413 3498 1626 652.64 1297.02/1297.87 c 1062926 340 5479 390506 71 11896 5955 4818 1627 653.06 1297.02/1297.87 c 1065007 340 4216 299908 71 9413 6551 3555 1629 653.50 1297.02/1297.87 c 1068230 340 3950 275422 69 8933 7207 3289 1632 654.35 1297.02/1297.87 c 1073167 340 5115 376025 73 11186 7928 4454 1635 656.08 1297.02/1297.87 c 1080673 340 8499 651874 76 17951 8721 7838 1640 658.90 1297.02/1297.87 c 1092034 340 6013 431640 71 12961 9594 5352 1644 663.94 1297.02/1297.87 c 1109179 340 8243 626890 76 17427 10554 7582 1643 674.88 1297.02/1297.87 c 1134998 340 6020 449902 74 13065 11610 5359 1643 690.68 1297.02/1297.87 c 1173831 340 7928 558513 70 16831 12772 7267 1647 712.36 1297.02/1297.87 c 1232184 340 13148 1031261 78 27239 14050 12487 1645 749.04 1297.02/1297.87 c 1319817 340 14370 1106962 77 29679 15456 13709 1607 821.18 1297.02/1297.87 c 1451369 340 8800 692144 78 18545 17002 8139 1576 920.89 1297.02/1297.87 c 1648801 339 14938 1176715 78 30905 18703 14277 1470 1120.96 1297.02/1297.87 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 1297.02/1297.87 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 1297.02/1297.87 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 1297.02/1297.87 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 1297.02/1297.87 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1297.02/1297.87 c 100 1815513 7289 1842532 10288 619191 9627 1399 1297.09 1297.02/1297.87 c Objective: 3 1297.02/1297.87 s OPTIMUM FOUND 1297.02/1297.87 c Total time: 1297.09 s
OK 3
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-431108-1178002804 -o ROOT/results/node26/solver-431108-1178002804 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431108-1178002804/instance-431108-1178002804.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.88 0.97 0.99 3/77 11719 /proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=19556 CPUtime=0 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 248197192 20025344 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 4889 344 290 324 0 3956 0 [startup+0.0796019 s] /proc/loadavg: 0.88 0.97 0.99 3/77 11719 /proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=5092 CPUtime=0.07 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 670 0 0 0 7 0 0 0 18 0 1 0 248197192 5214208 637 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 1273 638 312 324 0 342 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 5092 [startup+0.102604 s] /proc/loadavg: 0.88 0.97 0.99 3/77 11719 /proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=5220 CPUtime=0.09 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 731 0 0 0 9 0 0 0 18 0 1 0 248197192 5345280 698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 1305 698 312 324 0 374 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5220 [startup+0.302623 s] /proc/loadavg: 0.88 0.97 0.99 3/77 11719 /proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=7156 CPUtime=0.29 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 1207 0 0 0 29 0 0 0 19 0 1 0 248197192 7327744 1174 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 1789 1174 312 324 0 858 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7156 [startup+0.70166 s] /proc/loadavg: 0.88 0.97 0.99 3/77 11719 /proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=9984 CPUtime=0.69 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 1918 0 0 0 68 1 0 0 22 0 1 0 248197192 10223616 1885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 2496 1885 312 324 0 1565 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9984 [startup+1.50174 s] /proc/loadavg: 0.88 0.97 0.99 2/78 11720 /proc/meminfo: memFree=1807352/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=13980 CPUtime=1.49 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 2919 0 0 0 148 1 0 0 25 0 1 0 248197192 14315520 2886 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 3495 2886 312 324 0 2564 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13980 [startup+3.10188 s] /proc/loadavg: 0.88 0.97 0.99 2/78 11720 /proc/meminfo: memFree=1804024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=14756 CPUtime=3.09 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3117 0 0 0 307 2 0 0 25 0 1 0 248197192 15110144 3084 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 3689 3084 313 324 0 2758 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14756 [startup+6.30118 s] /proc/loadavg: 0.89 0.97 0.99 2/78 11720 /proc/meminfo: memFree=1804160/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=14752 CPUtime=6.29 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3117 0 0 0 626 3 0 0 25 0 1 0 248197192 15106048 3083 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 3688 3083 313 324 0 2757 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14752 [startup+12.7018 s] /proc/loadavg: 0.90 0.97 0.99 3/78 11720 /proc/meminfo: memFree=1804352/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=14752 CPUtime=12.69 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3117 0 0 0 1265 4 0 0 25 0 1 0 248197192 15106048 3083 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 3688 3083 313 324 0 2757 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14752 [startup+25.502 s] /proc/loadavg: 0.92 0.97 0.99 2/78 11720 /proc/meminfo: memFree=1803584/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=15768 CPUtime=25.49 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3351 0 0 0 2542 7 0 0 25 0 1 0 248197192 16146432 3317 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 3942 3317 313 324 0 3011 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 15768 [startup+51.1013 s] /proc/loadavg: 0.95 0.97 0.99 2/78 11720 /proc/meminfo: memFree=1801600/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=17800 CPUtime=51.08 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3863 0 0 0 5096 12 0 0 25 0 1 0 248197192 18227200 3829 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/11719/statm: 4450 3829 313 324 0 3519 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 17800 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/84 11892 /proc/meminfo: memFree=1794168/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=23672 CPUtime=102.22 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5357 0 0 0 10189 33 0 0 25 0 1 0 248197192 24240128 5313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 5918 5313 313 324 0 4987 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 23672 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1795200/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=23672 CPUtime=162.18 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5358 0 0 0 16174 44 0 0 25 0 1 0 248197192 24240128 5313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 5918 5313 313 324 0 4987 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 23672 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1795456/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=23532 CPUtime=222.14 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5359 0 0 0 22158 56 0 0 25 0 1 0 248197192 24096768 5278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13022561 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 5883 5278 313 324 0 4952 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 23532 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1795456/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=23532 CPUtime=282.11 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5359 0 0 0 28146 65 0 0 25 0 1 0 248197192 24096768 5278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 5883 5278 313 324 0 4952 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 23532 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1795456/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=23532 CPUtime=342.07 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5359 0 0 0 34134 73 0 0 25 0 1 0 248197192 24096768 5278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550930 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 5883 5278 313 324 0 4952 0 Current children cumulated CPU time (s) 342.07 Current children cumulated vsize (KiB) 23532 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1795520/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=23532 CPUtime=402.03 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5359 0 0 0 40121 82 0 0 25 0 1 0 248197192 24096768 5278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 5883 5278 313 324 0 4952 0 Current children cumulated CPU time (s) 402.03 Current children cumulated vsize (KiB) 23532 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1795072/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=24184 CPUtime=461.99 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5521 0 0 0 46109 90 0 0 25 0 1 0 248197192 24764416 5440 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6046 5440 313 324 0 5115 0 Current children cumulated CPU time (s) 461.99 Current children cumulated vsize (KiB) 24184 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794368/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=24884 CPUtime=521.96 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 52097 99 0 0 25 0 1 0 248197192 25481216 5616 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6221 5616 313 324 0 5290 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 24884 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794560/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=24536 CPUtime=581.92 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 58083 109 0 0 25 0 1 0 248197192 25124864 5529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6134 5529 313 324 0 5203 0 Current children cumulated CPU time (s) 581.92 Current children cumulated vsize (KiB) 24536 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794560/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=24532 CPUtime=641.89 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 64070 119 0 0 25 0 1 0 248197192 25120768 5528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6133 5528 313 324 0 5202 0 Current children cumulated CPU time (s) 641.89 Current children cumulated vsize (KiB) 24532 ################ # More data... # ################ /proc/meminfo: memFree=1794496/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=24532 CPUtime=701.85 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 70056 129 0 0 25 0 1 0 248197192 25120768 5528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6133 5528 313 324 0 5202 0 Current children cumulated CPU time (s) 701.85 Current children cumulated vsize (KiB) 24532 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794496/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=24532 CPUtime=761.82 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 76043 139 0 0 25 0 1 0 248197192 25120768 5528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6133 5528 313 324 0 5202 0 Current children cumulated CPU time (s) 761.82 Current children cumulated vsize (KiB) 24532 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794496/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=24532 CPUtime=821.78 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 82029 149 0 0 25 0 1 0 248197192 25120768 5528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6133 5528 313 324 0 5202 0 Current children cumulated CPU time (s) 821.78 Current children cumulated vsize (KiB) 24532 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794560/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=24520 CPUtime=881.76 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 88019 157 0 0 25 0 1 0 248197192 25108480 5525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6130 5525 313 324 0 5199 0 Current children cumulated CPU time (s) 881.76 Current children cumulated vsize (KiB) 24520 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794176/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=25120 CPUtime=941.72 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5836 0 0 0 94008 164 0 0 25 0 1 0 248197192 25722880 5661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6280 5661 313 324 0 5349 0 Current children cumulated CPU time (s) 941.72 Current children cumulated vsize (KiB) 25120 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794176/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=25112 CPUtime=1001.69 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5836 0 0 0 99995 174 0 0 25 0 1 0 248197192 25714688 5661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6278 5661 313 324 0 5347 0 Current children cumulated CPU time (s) 1001.69 Current children cumulated vsize (KiB) 25112 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794176/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=25112 CPUtime=1061.65 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5836 0 0 0 105984 181 0 0 25 0 1 0 248197192 25714688 5661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6278 5661 313 324 0 5347 0 Current children cumulated CPU time (s) 1061.65 Current children cumulated vsize (KiB) 25112 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1794176/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=25108 CPUtime=1121.62 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5836 0 0 0 111974 188 0 0 25 0 1 0 248197192 25710592 5661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6277 5661 313 324 0 5346 0 Current children cumulated CPU time (s) 1121.62 Current children cumulated vsize (KiB) 25108 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793216/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26072 CPUtime=1181.58 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 117963 195 0 0 25 0 1 0 248197192 26697728 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6518 5908 313 324 0 5587 0 Current children cumulated CPU time (s) 1181.58 Current children cumulated vsize (KiB) 26072 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1241.54 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 123952 202 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1241.54 Current children cumulated vsize (KiB) 26068 Solver just ended. Dumping a history of the last processes samples [startup+1254.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1253.54 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 125151 203 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1253.54 Current children cumulated vsize (KiB) 26068 [startup+1279.9 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1279.12 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 127705 207 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1279.12 Current children cumulated vsize (KiB) 26068 [startup+1286.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1285.52 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 128344 208 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024788 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1285.52 Current children cumulated vsize (KiB) 26068 [startup+1292.7 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1291.92 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 128983 209 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024996 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1291.92 Current children cumulated vsize (KiB) 26068 [startup+1295.9 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1295.11 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129302 209 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1295.11 Current children cumulated vsize (KiB) 26068 [startup+1296.7 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1295.91 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129382 209 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1295.91 Current children cumulated vsize (KiB) 26068 [startup+1297.5 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1296.72 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129462 210 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1296.72 Current children cumulated vsize (KiB) 26068 [startup+1297.7 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1296.92 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129482 210 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13021308 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1296.92 Current children cumulated vsize (KiB) 26068 [startup+1297.8 s] /proc/loadavg: 0.99 0.97 0.99 2/78 11918 /proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956 [pid=11719] ppid=11717 vsize=26068 CPUtime=1297.02 /proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129492 210 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0 /proc/11719/statm: 6517 5908 313 324 0 5586 0 Current children cumulated CPU time (s) 1297.02 Current children cumulated vsize (KiB) 26068 Child status: 0 Real time (s): 1297.88 CPU time (s): 1297.1 CPU user time (s): 1295 CPU system time (s): 2.10468 CPU usage (%): 99.9401 Max. virtual memory (cumulated for all children) (KiB): 26108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1295 system time used= 2.10468 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= 10 involuntary context switches= 29729 runsolver used 1.19582 second user time and 3.50147 second system time The end
Begin job on node26 on Tue May 1 07:00:04 UTC 2007 IDJOB= 431108 IDBENCH= 48028 IDSOLVER= 163 FILE ID= node26/431108-1178002804 PBS_JOBID= 4728205 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431108-1178002804/instance-431108-1178002804.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-431108-1178002804 -o ROOT/results/node26/solver-431108-1178002804 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431108-1178002804/instance-431108-1178002804.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= 854cc656dc0682d745f606d1e6722452 RANDOM SEED= 28097145 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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.213 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.213 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: 1815960 kB Buffers: 33900 kB Cached: 115400 kB SwapCached: 3360 kB Active: 37536 kB Inactive: 135636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1815960 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 6740 kB Writeback: 0 kB Mapped: 31340 kB Slab: 52244 kB Committed_AS: 1377812 kB PageTables: 1716 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node26 on Tue May 1 07:21:42 UTC 2007