| Solver Name | Answer | Objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| PBS 4.1L | ? (TO) | 1800.54 | 1801.23 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-rd84.b.opb |
| MD5SUM | 6560abb26f607ef952ebe1a74dd5dae1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 5 |
| Best CPU time to get the best result obtained on this benchmark | 26.276 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 5 |
| Optimality of the best value was proved | YES |
| Number of variables | 1009 |
| Total number of constraints | 3773 |
| Number of constraints which are clauses | 3773 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 5 |
| Maximum length of a constraint | 446 |
| Number of terms in the objective function | 1009 |
| 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 | 1009 |
| Number of bits of the sum of numbers in the objective function | 10 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 1009 |
| Number of bits of the biggest sum of numbers | 10 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node6/50465-1154083685/instance-50465-1154083685.opb ...... 0.65 c done parsing opb. 0.65 o 970 0.65 o 969 0.66 o 968 0.66 o 967 0.67 o 966 0.67 o 965 0.68 o 964 0.69 o 963 0.69 o 962 0.70 o 961 0.70 o 960 0.71 o 959 0.71 o 958 0.72 o 957 0.72 o 956 0.73 o 955 0.73 o 954 0.74 o 953 0.74 o 952 0.75 o 951 0.75 o 950 0.76 o 949 0.76 o 948 0.77 o 947 0.77 o 946 0.78 o 945 0.78 o 944 0.79 o 943 0.79 o 942 0.80 o 941 0.80 o 940 0.81 o 939 0.81 o 938 0.82 o 937 0.82 o 936 0.83 o 935 0.83 o 934 0.84 o 933 0.84 o 932 0.85 o 931 0.85 o 930 0.86 o 929 0.86 o 928 0.87 o 927 0.87 o 926 0.88 o 925 0.88 o 924 0.89 o 923 0.89 o 922 0.90 o 921 0.90 o 920 0.91 o 919 0.91 o 918 0.92 o 917 0.92 o 916 0.93 o 915 0.93 o 914 0.94 o 913 0.94 o 912 0.95 o 911 0.95 o 910 0.96 o 909 0.96 o 908 0.97 o 907 0.97 o 906 0.98 o 905 0.98 o 904 0.99 o 903 0.99 o 902 1.00 o 901 1.00 o 900 1.00 o 899 1.01 o 898 1.01 o 897 1.02 o 896 1.02 o 895 1.03 o 894 1.03 o 893 1.04 o 892 1.04 o 891 1.05 o 890 1.05 o 889 1.06 o 888 1.06 o 887 1.07 o 886 1.07 o 885 1.07 o 884 1.08 o 883 1.08 o 882 1.09 o 881 1.09 o 880 1.10 o 879 1.10 o 878 1.11 o 877 1.11 o 876 1.12 o 875 1.12 o 874 1.13 o 873 1.13 o 872 1.13 o 871 1.14 o 870 1.14 o 869 1.15 o 868 1.15 o 867 1.16 o 866 1.16 o 865 1.17 o 864 1.17 o 863 1.17 o 862 1.18 o 861 1.18 o 860 1.19 o 859 1.19 o 858 1.20 o 857 1.20 o 856 1.21 o 855 1.21 o 854 1.21 o 853 1.22 o 852 1.22 o 851 1.23 o 850 1.23 o 849 1.24 o 848 1.24 o 847 1.25 o 846 1.25 o 845 1.25 o 844 1.26 o 843 1.26 o 842 1.27 o 841 1.27 o 840 1.28 o 839 1.28 o 838 1.28 o 837 1.29 o 836 1.29 o 835 1.30 o 834 1.30 o 833 1.31 o 832 1.31 o 831 1.31 o 830 1.32 o 829 1.32 o 828 1.33 o 827 1.33 o 826 1.34 o 825 1.34 o 824 1.34 o 823 1.35 o 822 1.35 o 821 1.36 o 820 1.36 o 819 1.36 o 818 1.37 o 817 1.37 o 816 1.38 o 815 1.38 o 814 1.39 o 813 1.39 o 812 1.39 o 811 1.40 o 810 1.40 o 809 1.41 o 808 1.41 o 807 1.41 o 806 1.42 o 805 1.42 o 804 1.43 o 803 1.43 o 802 1.43 o 801 1.44 o 800 1.44 o 799 1.45 o 798 1.45 o 797 1.45 o 796 1.46 o 795 1.46 o 794 1.47 o 793 1.47 o 792 1.47 o 791 1.48 o 790 1.48 o 789 1.49 o 788 1.49 o 787 1.49 o 786 1.50 o 785 1.50 o 784 1.51 o 783 1.51 o 782 1.51 o 781 1.52 o 780 1.52 o 779 1.53 o 778 1.53 o 777 1.53 o 776 1.54 o 775 1.54 o 774 1.54 o 773 1.55 o 772 1.55 o 771 1.56 o 770 1.56 o 769 1.56 o 768 1.57 o 767 1.57 o 766 1.58 o 765 1.58 o 764 1.58 o 763 1.59 o 762 1.59 o 761 1.59 o 760 1.60 o 759 1.60 o 758 1.61 o 757 1.61 o 756 1.61 o 755 1.62 o 754 1.62 o 753 1.62 o 752 1.63 o 751 1.63 o 750 1.64 o 749 1.64 o 748 1.64 o 747 1.65 o 746 1.65 o 745 1.65 o 744 1.66 o 743 1.66 o 742 1.67 o 741 1.67 o 740 1.67 o 739 1.68 o 738 1.68 o 737 1.68 o 736 1.69 o 735 1.69 o 734 1.69 o 733 1.70 o 732 1.70 o 731 1.71 o 730 1.71 o 729 1.71 o 728 1.72 o 727 1.72 o 726 1.72 o 725 1.73 o 724 1.73 o 723 1.73 o 722 1.74 o 721 1.74 o 720 1.75 o 719 1.75 o 718 1.75 o 717 1.76 o 716 1.76 o 715 1.76 o 714 1.77 o 713 1.77 o 712 1.77 o 711 1.78 o 710 1.78 o 709 1.78 o 708 1.79 o 707 1.79 o 706 1.79 o 705 1.80 o 704 1.80 o 703 1.80 o 702 1.81 o 701 1.81 o 700 1.82 o 699 1.82 o 698 1.82 o 697 1.83 o 696 1.83 o 695 1.83 o 694 1.84 o 693 1.84 o 692 1.84 o 691 1.85 o 690 1.85 o 689 1.85 o 688 1.86 o 687 1.86 o 686 1.86 o 685 1.87 o 684 1.87 o 683 1.87 o 682 1.88 o 681 1.88 o 680 1.88 o 679 1.89 o 678 1.89 o 677 1.89 o 676 1.90 o 675 1.90 o 674 1.90 o 673 1.91 o 672 1.91 o 671 1.91 o 670 1.91 o 669 1.92 o 668 1.92 o 667 1.92 o 666 1.93 o 665 1.93 o 664 1.93 o 663 1.94 o 662 1.94 o 661 1.94 o 660 1.95 o 659 1.95 o 658 1.95 o 657 1.96 o 656 1.96 o 655 1.96 o 654 1.97 o 653 1.97 o 652 1.97 o 651 1.97 o 650 1.98 o 649 1.98 o 648 1.98 o 647 1.99 o 646 1.99 o 645 1.99 o 644 2.00 o 643 2.00 o 642 2.00 o 641 2.01 o 640 2.01 o 639 2.01 o 638 2.02 o 637 2.02 o 636 2.02 o 635 2.03 o 634 2.03 o 633 2.04 o 632 2.04 o 631 2.04 o 630 2.05 o 629 2.05 o 628 2.05 o 627 2.06 o 626 2.06 o 625 2.06 o 624 2.07 o 623 2.07 o 622 2.07 o 621 2.08 o 620 2.08 o 619 2.08 o 618 2.09 o 617 2.09 o 616 2.09 o 615 2.09 o 614 2.10 o 613 2.10 o 612 2.10 o 611 2.11 o 610 2.11 o 609 2.11 o 608 2.12 o 607 2.12 o 606 2.12 o 605 2.13 o 604 2.13 o 603 2.13 o 602 2.14 o 565 2.14 o 564 2.14 o 563 2.15 o 562 2.15 o 561 2.16 o 560 2.16 o 559 2.16 o 558 2.17 o 557 2.17 o 556 2.17 o 555 2.18 o 554 2.18 o 553 2.18 o 552 2.19 o 551 2.19 o 550 2.20 o 549 2.20 o 548 2.20 o 547 2.21 o 546 2.21 o 545 2.21 o 544 2.22 o 543 2.22 o 542 2.22 o 541 2.23 o 540 2.23 o 539 2.23 o 538 2.24 o 537 2.24 o 536 2.24 o 535 2.25 o 534 2.25 o 533 2.25 o 532 2.26 o 531 2.26 o 530 2.26 o 529 2.27 o 528 2.27 o 527 2.27 o 526 2.28 o 525 2.28 o 509 2.29 o 476 2.29 o 475 2.29 o 474 2.30 o 473 2.30 o 472 2.30 o 471 2.31 o 470 2.31 o 469 2.31 o 468 2.32 o 467 2.32 o 466 2.33 o 465 2.33 o 464 2.33 o 463 2.34 o 462 2.34 o 461 2.34 o 460 2.35 o 459 2.35 o 458 2.35 o 457 2.36 o 456 2.36 o 455 2.36 o 454 2.37 o 453 2.37 o 452 2.37 o 451 2.38 o 450 2.38 o 449 2.38 o 448 2.39 o 447 2.39 o 446 2.40 o 445 2.40 o 444 2.40 o 443 2.41 o 442 2.41 o 441 2.41 o 440 2.42 o 439 2.42 o 438 2.42 o 437 2.43 o 436 2.43 o 435 2.43 o 434 2.44 o 433 2.44 o 432 2.44 o 431 2.45 o 430 2.45 o 429 2.45 o 428 2.46 o 427 2.46 o 426 2.46 o 425 2.46 o 424 2.47 o 423 2.47 o 422 2.47 o 421 2.48 o 420 2.48 o 419 2.48 o 418 2.49 o 417 2.49 o 416 2.49 o 415 2.50 o 414 2.50 o 413 2.50 o 412 2.50 o 411 2.51 o 410 2.51 o 409 2.51 o 408 2.52 o 407 2.52 o 406 2.52 o 405 2.53 o 404 2.53 o 403 2.53 o 402 2.53 o 401 2.54 o 400 2.54 o 399 2.54 o 398 2.55 o 397 2.55 o 396 2.55 o 395 2.56 o 394 2.56 o 393 2.56 o 392 2.56 o 391 2.57 o 390 2.57 o 389 2.57 o 388 2.58 o 387 2.58 o 386 2.58 o 385 2.58 o 384 2.59 o 383 2.59 o 382 2.59 o 381 2.59 o 380 2.60 o 379 2.60 o 378 2.60 o 377 2.61 o 376 2.61 o 375 2.61 o 374 2.61 o 373 2.62 o 372 2.62 o 371 2.62 o 370 2.62 o 369 2.63 o 368 2.63 o 367 2.63 o 366 2.64 o 365 2.64 o 364 2.64 o 363 2.64 o 362 2.65 o 361 2.65 o 360 2.65 o 359 2.65 o 358 2.66 o 357 2.66 o 356 2.66 o 355 2.66 o 354 2.67 o 353 2.67 o 352 2.67 o 351 2.67 o 350 2.68 o 349 2.68 o 348 2.68 o 347 2.68 o 346 2.69 o 345 2.69 o 344 2.69 o 343 2.69 o 342 2.70 o 341 2.70 o 340 2.70 o 339 2.70 o 338 2.71 o 337 2.71 o 336 2.71 o 335 2.71 o 334 2.72 o 333 2.72 o 332 2.72 o 331 2.72 o 330 2.73 o 329 2.73 o 328 2.73 o 327 2.73 o 326 2.74 o 325 2.74 o 324 2.74 o 323 2.74 o 322 2.75 o 321 2.75 o 320 2.75 o 319 2.75 o 318 2.76 o 317 2.76 o 316 2.76 o 315 2.76 o 314 2.76 o 313 2.77 o 312 2.77 o 311 2.77 o 310 2.77 o 309 2.78 o 308 2.78 o 307 2.78 o 306 2.78 o 305 2.78 o 304 2.79 o 303 2.79 o 302 2.79 o 301 2.79 o 300 2.80 o 299 2.80 o 298 2.80 o 297 2.80 o 296 2.80 o 295 2.81 o 294 2.81 o 293 2.81 o 292 2.81 o 291 2.81 o 290 2.82 o 289 2.82 o 288 2.82 o 287 2.82 o 286 2.82 o 285 2.83 o 284 2.83 o 283 2.83 o 282 2.83 o 281 2.83 o 280 2.84 o 279 2.84 o 278 2.84 o 277 2.84 o 276 2.84 o 275 2.85 o 274 2.85 o 273 2.85 o 272 2.85 o 271 2.85 o 270 2.86 o 269 2.86 o 268 2.86 o 267 2.86 o 266 2.86 o 265 2.87 o 264 2.87 o 263 2.87 o 262 2.87 o 261 2.87 o 260 2.88 o 259 2.88 o 258 2.88 o 257 2.88 o 256 2.88 o 255 2.89 o 254 2.89 o 253 2.89 o 252 2.89 o 251 2.89 o 250 2.90 o 249 2.90 o 248 2.90 o 247 2.90 o 246 2.90 o 245 2.90 o 244 2.91 o 243 2.91 o 242 2.91 o 241 2.91 o 240 2.91 o 239 2.92 o 238 2.92 o 237 2.92 o 236 2.92 o 235 2.92 o 234 2.92 o 233 2.93 o 232 2.93 o 231 2.93 o 230 2.93 o 229 2.93 o 228 2.94 o 227 2.94 o 226 2.94 o 225 2.94 o 224 2.94 o 223 2.94 o 222 2.95 o 221 2.95 o 220 2.95 o 219 2.95 o 218 2.95 o 217 2.95 o 216 2.96 o 215 2.96 o 214 2.96 o 213 2.96 o 212 2.96 o 211 2.96 o 210 2.97 o 209 2.97 o 208 2.97 o 207 2.97 o 206 2.97 o 205 2.97 o 204 2.98 o 203 2.98 o 202 2.98 o 201 2.98 o 200 2.98 o 199 2.98 o 198 2.98 o 197 2.99 o 196 2.99 o 195 2.99 o 194 2.99 o 193 2.99 o 192 2.99 o 191 3.00 o 190 3.00 o 189 3.00 o 188 3.00 o 187 3.00 o 186 3.00 o 185 3.00 o 184 3.01 o 183 3.01 o 182 3.01 o 181 3.01 o 180 3.01 o 179 3.01 o 178 3.01 o 177 3.02 o 176 3.02 o 175 3.02 o 174 3.02 o 173 3.02 o 172 3.03 o 171 3.03 o 170 3.03 o 169 3.03 o 168 3.03 o 167 3.03 o 166 3.04 o 165 3.04 o 164 3.04 o 163 3.04 o 162 3.04 o 161 3.04 o 160 3.05 o 159 3.05 o 158 3.05 o 157 3.05 o 156 3.05 o 155 3.05 o 154 3.06 o 153 3.06 o 152 3.06 o 151 3.06 o 150 3.06 o 149 3.06 o 148 3.06 o 147 3.07 o 146 3.07 o 145 3.07 o 144 3.07 o 143 3.07 o 142 3.07 o 141 3.08 o 140 3.08 o 139 3.08 o 138 3.08 o 137 3.08 o 136 3.08 o 135 3.08 o 134 3.09 o 133 3.09 o 132 3.09 o 131 3.09 o 130 3.09 o 129 3.09 o 128 3.09 o 127 3.10 o 126 3.10 o 125 3.10 o 124 3.10 o 123 3.10 o 122 3.10 o 121 3.10 o 120 3.10 o 119 3.11 o 118 3.11 o 117 3.11 o 116 3.11 o 115 3.12 o 114 494.69 o 113 522.33 o 112 582.42 o 111 663.90 o 110 747.93 o 109 748.03 o 108 748.04 o 107 748.04 o 106 748.04 o 105 748.05 o 104 748.05 o 103 748.05 o 102 748.05 o 101 748.05 o 100 748.05 o 99 748.05 o 98 748.05 o 97 748.05 o 96 748.05 o 95 748.05 o 94 748.05 o 93 748.05 o 92 748.06 o 91 748.06 o 90 748.06 o 89 748.06 o 88 748.06 o 87 748.07 o 86 748.07 o 85 748.07 o 84 748.07 o 83 748.07 o 82 748.07 o 81 748.08 o 80 748.08 o 79 748.08 o 78 748.08 o 77 748.08 o 76 748.08 o 75 748.08 o 74 748.08 o 73 748.08 o 72 748.08 o 71 748.08 o 70 748.08 o 69 748.08 o 68 748.09 o 67 748.09 o 66 748.16 o 65 748.17 o 64 748.19 o 63 766.12 o 62 788.43 o 61 821.11 o 60 881.75 o 59 911.37 o 58 947.71 o 57 959.00 o 56 959.74 o 55 960.13 o 54 967.84 o 53 990.11 o 52 1047.32 o 51 1097.26 o 50 1133.71 o 49 1174.75 o 48 1186.95 o 47 1187.21 o 46 1198.56 o 45 1206.83 o 44 1224.41 o 43 1277.02 o 42 1277.64 o 41 1287.49 o 40 1304.15 o 39 1312.73 o 38 1313.50 o 37 1324.56 o 36 1326.31 o 35 1342.61 o 34 1354.47 o 33 1354.83 o 32 1354.87 o 31 1355.24 o 30 1367.56 o 29 1371.16 o 28 1374.54 o 27 1374.99 o 26 1386.24 o 25 1406.06 o 24 1421.54 o 23 1422.09 o 22 1438.18 o 21 1439.63 o 20 1449.45 o 19 1462.47 o 18 1465.84 o 17 1465.88 o 16 1465.92 o 15 1465.95 o 14 1465.98 o 13 1487.93 o 12 1530.42 o 11 1541.70 o 10 1610.56 o 9 1652.92 o 8
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node6/watcher-50465-1154083685 -o ROOT/results/node6/solver-50465-1154083685 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node6/50465-1154083685/instance-50465-1154083685.opb 450076795 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=604112/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=1532 CPUtime=0 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 155229850 1568768 153 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134536608 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 383 153 97 232 0 148 0 [startup+10.0028 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=599504/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7620 CPUtime=9.99 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1294 0 0 0 963 36 0 0 25 0 1 0 155229850 7802880 1262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1905 1262 108 232 0 1670 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7620 [startup+20.0098 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=599440/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7620 CPUtime=20 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1329 0 0 0 1964 36 0 0 25 0 1 0 155229850 7802880 1297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1905 1297 108 232 0 1670 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 7620 [startup+30.0157 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=599312/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=30 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1386 0 0 0 2964 36 0 0 25 0 1 0 155229850 8003584 1354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1354 108 232 0 1719 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 7816 [startup+40.0217 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=599120/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=40 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1417 0 0 0 3964 36 0 0 25 0 1 0 155229850 8003584 1385 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1385 108 232 0 1719 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 7816 [startup+50.0287 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=599056/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=50.01 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1448 0 0 0 4965 36 0 0 25 0 1 0 155229850 8003584 1416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1416 108 232 0 1719 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 7816 [startup+60.0346 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=598992/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=60.01 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1474 0 0 0 5965 36 0 0 25 0 1 0 155229850 8003584 1442 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1442 108 232 0 1719 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 7816 [startup+70.0406 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=598864/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=70.01 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1503 0 0 0 6965 36 0 0 25 0 1 0 155229850 8003584 1471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1471 108 232 0 1719 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 7816 [startup+80.0466 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=598800/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=80.01 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1530 0 0 0 7965 36 0 0 25 0 1 0 155229850 8003584 1498 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1498 108 232 0 1719 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 7816 [startup+90.0526 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=598672/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=90.01 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1562 0 0 0 8965 36 0 0 25 0 1 0 155229850 8003584 1530 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1530 108 232 0 1719 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 7816 [startup+100.059 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=598480/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=100.02 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1602 0 0 0 9966 36 0 0 25 0 1 0 155229850 8003584 1570 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1570 108 232 0 1719 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 7816 [startup+110.064 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=598352/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=110.02 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1644 0 0 0 10966 36 0 0 25 0 1 0 155229850 8003584 1612 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1612 108 232 0 1719 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 7816 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=598224/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=120.02 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1677 0 0 0 11966 36 0 0 25 0 1 0 155229850 8003584 1645 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1645 108 232 0 1719 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 7816 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=598096/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=130.02 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1709 0 0 0 12966 36 0 0 25 0 1 0 155229850 8003584 1677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1677 108 232 0 1719 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 7816 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=597968/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=140.02 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1738 0 0 0 13966 36 0 0 25 0 1 0 155229850 8003584 1706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1706 108 232 0 1719 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 7816 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=597840/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=150.03 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1765 0 0 0 14967 36 0 0 25 0 1 0 155229850 8003584 1733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1733 108 232 0 1719 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 7816 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=597712/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=7816 CPUtime=160.03 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1790 0 0 0 15967 36 0 0 25 0 1 0 155229850 8003584 1758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 1954 1758 108 232 0 1719 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 7816 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=597648/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=11912 CPUtime=170.03 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1816 0 0 0 16967 36 0 0 25 0 1 0 155229850 12197888 1784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549267 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 2978 1784 108 232 0 2743 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 11912 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=597456/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=11912 CPUtime=180.03 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1856 0 0 0 17967 36 0 0 25 0 1 0 155229850 12197888 1824 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 2978 1824 108 232 0 2743 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 11912 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=597264/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=11912 CPUtime=190.04 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1897 0 0 0 18968 36 0 0 25 0 1 0 155229850 12197888 1865 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 2978 1865 108 232 0 2743 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 11912 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 /proc/meminfo: memFree=597136/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=11912 CPUtime=200.04 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 1937 0 0 0 19968 36 0 0 25 0 1 0 155229850 12197888 1905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 2978 1905 108 232 0 2743 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 11912 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29736 ################ # More data... # ################ /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5496 0 0 0 178075 69 0 0 25 0 1 0 155229850 28176384 4740 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4740 108 232 0 6644 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 27516 [startup+1783.13 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585616/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1782.45 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5496 0 0 0 178176 69 0 0 25 0 1 0 155229850 28176384 4740 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4740 108 232 0 6644 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 27516 [startup+1784.14 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585616/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1783.45 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5499 0 0 0 178276 69 0 0 25 0 1 0 155229850 28176384 4743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4743 108 232 0 6644 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 27516 [startup+1785.14 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585616/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1784.46 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5499 0 0 0 178377 69 0 0 25 0 1 0 155229850 28176384 4743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4743 108 232 0 6644 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 27516 [startup+1786.15 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585616/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1785.46 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5500 0 0 0 178477 69 0 0 25 0 1 0 155229850 28176384 4744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4744 108 232 0 6644 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 27516 [startup+1787.15 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585616/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1786.47 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5500 0 0 0 178578 69 0 0 25 0 1 0 155229850 28176384 4744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4744 108 232 0 6644 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 27516 [startup+1788.16 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585616/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1787.47 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5505 0 0 0 178678 69 0 0 25 0 1 0 155229850 28176384 4749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4749 108 232 0 6644 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 27516 [startup+1789.16 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585616/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1788.47 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5506 0 0 0 178778 69 0 0 25 0 1 0 155229850 28176384 4750 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4750 108 232 0 6644 0 Current children cumulated CPU time (s) 1788.47 Current children cumulated vsize (Kb) 27516 [startup+1790.16 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585616/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1789.48 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5507 0 0 0 178879 69 0 0 25 0 1 0 155229850 28176384 4751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4751 108 232 0 6644 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 27516 [startup+1791.17 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1790.48 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5510 0 0 0 178979 69 0 0 25 0 1 0 155229850 28176384 4754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4754 108 232 0 6644 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 27516 [startup+1792.17 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1791.49 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5510 0 0 0 179080 69 0 0 25 0 1 0 155229850 28176384 4754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4754 108 232 0 6644 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 27516 [startup+1793.18 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1792.49 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5511 0 0 0 179180 69 0 0 25 0 1 0 155229850 28176384 4755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4755 108 232 0 6644 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 27516 [startup+1794.18 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1793.49 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5512 0 0 0 179280 69 0 0 25 0 1 0 155229850 28176384 4756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4756 108 232 0 6644 0 Current children cumulated CPU time (s) 1793.49 Current children cumulated vsize (Kb) 27516 [startup+1795.19 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1794.5 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5512 0 0 0 179381 69 0 0 25 0 1 0 155229850 28176384 4756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4756 108 232 0 6644 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 27516 [startup+1796.19 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1795.5 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5513 0 0 0 179481 69 0 0 25 0 1 0 155229850 28176384 4757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551997 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4757 108 232 0 6644 0 Current children cumulated CPU time (s) 1795.5 Current children cumulated vsize (Kb) 27516 [startup+1797.2 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1796.51 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5513 0 0 0 179582 69 0 0 25 0 1 0 155229850 28176384 4757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4757 108 232 0 6644 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 27516 [startup+1798.21 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1797.51 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5513 0 0 0 179682 69 0 0 25 0 1 0 155229850 28176384 4757 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4757 108 232 0 6644 0 Current children cumulated CPU time (s) 1797.51 Current children cumulated vsize (Kb) 27516 [startup+1799.21 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1798.52 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5514 0 0 0 179783 69 0 0 25 0 1 0 155229850 28176384 4758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4758 108 232 0 6644 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 27516 [startup+1800.21 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1799.52 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5514 0 0 0 179883 69 0 0 25 0 1 0 155229850 28176384 4758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4758 108 232 0 6644 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 27516 [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1800.52 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5514 0 0 0 179983 69 0 0 25 0 1 0 155229850 28176384 4758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4758 108 232 0 6644 0 Current children cumulated CPU time (s) 1800.52 Current children cumulated vsize (Kb) 27516 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 0.99 0.97 0.98 2/63 29934 /proc/meminfo: memFree=585552/2055924 swapFree=4183160/4192956 [pid=29736] ppid=29734 vsize=27516 CPUtime=1800.53 /proc/29736/stat : 29736 (PBS4L) R 29734 29736 29687 0 -1 4194304 5514 0 0 0 179984 69 0 0 25 0 1 0 155229850 28176384 4758 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/29736/statm: 6879 4758 108 232 0 6644 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 27516 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.23 CPU time (s): 1800.54 CPU user time (s): 1799.84 CPU system time (s): 0.697893 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (Kb): 27516 The end
Begin job on node6 on Fri Jul 28 10:48:05 UTC 2006 FILE ID= 50465-1154083685 PBS_JOBID= 885215 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-rd84.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node6/50465-1154083685/instance-50465-1154083685.opb 450076795 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-50465-1154083685 -o ROOT/results/node6/solver-50465-1154083685 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node6/50465-1154083685/instance-50465-1154083685.opb 450076795 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 6560abb26f607ef952ebe1a74dd5dae1 RANDOM SEED= 450076795 TIMEOUT= 1800 seconds /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.255 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.255 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: 2055924 kB MemFree: 604320 kB Buffers: 47168 kB Cached: 1308444 kB SwapCached: 3980 kB Active: 307244 kB Inactive: 1057352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 604320 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14828 kB Slab: 73092 kB Committed_AS: 624060 kB PageTables: 1460 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node6 on Fri Jul 28 11:18:06 UTC 2006