Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| AbsconMax 109 EPFC | OPTIMUM | 1159.76 | 1170.45 |
| Name | rlfap/rlfapScensMod/ scen10-w1-f3.xml |
| MD5SUM | 1a6b0f77408f44fcd9d0a9f15ce8dc84 |
| Bench Category | 2-ARY-INT (binary constraints in intension) |
| Best result obtained on this benchmark | MOPT |
| Best Number of satisfied constraints | 1137 |
| Best CPU time to get the best result obtained on this benchmark | 1159.76 |
| Satisfiable | NO |
| (Un)Satisfiability was proved | NO |
| Number of variables | 680 |
| Number of constraints | 1138 |
| Maximum constraint arity | 2 |
| Maximum domain size | 41 |
| Number of constraints which are defined in extension | 0 |
| Number of constraints which are defined in intension | 1138 |
| Global constraints used (with number of constraints) |
0.31 0.31 Abscon 109 (November, 2006) 0.31 0.31 configuration 0.31 name=epfc.xml 0.34 0.34 instance 0.34 name=/tmp/evaluation/275822-1169227568/unknown.xml 0.38 0.38 domains being loaded... 0.38 0.38 variables being loaded... 0.49 nbVariables=680 nbDomainTypes=5 minDomainSize=6 maxDomainSize=41 0.49 => wckTime=0.171 cpuTime=0.13 mem=8M828 0.49 0.49 predicates being loaded... 0.49 0.49 constraints being loaded... 0.93 nbConstraints=1138 nbConvertedConstraints=1138 nbConvertConstraintsChecks=324898 nbExtensionStructures=237 0.93 nbSharedExtensionStructures=901 nbConflictsStructures=237 nbSharedConflictsStructures=901 0.93 nbSharedBinaryRepresentations=16487 maxDegree=12 maxArity=2 0.93 => wckTime=0.611 cpuTime=0.46 mem=15M687 0.98 0.98 solver LocalSearchSolver being built... 1.02 => wckTime=0.707 cpuTime=0.51 mem=7M123 1.04 1.04 s SATISFIABLE 1.04 o 447 1.04 c 691 1.04 o 451 1.04 c 687 1.04 o 455 1.04 c 683 1.05 o 459 1.05 c 679 1.05 o 463 1.05 c 675 1.05 o 467 1.05 c 671 1.05 o 471 1.05 c 667 1.06 o 473 1.06 c 665 1.06 o 474 1.06 c 664 1.06 o 477 1.06 c 661 1.06 o 480 1.06 c 658 1.06 o 483 1.06 c 655 1.07 o 486 1.07 c 652 1.07 o 489 1.07 c 649 1.07 o 492 1.07 c 646 1.07 o 495 1.07 c 643 1.07 o 498 1.07 c 640 1.08 o 501 1.08 c 637 1.08 o 504 1.08 c 634 1.08 o 507 1.08 c 631 1.08 o 510 1.08 c 628 1.08 o 513 1.08 c 625 1.08 o 516 1.09 c 622 1.09 o 519 1.09 c 619 1.09 o 522 1.09 c 616 1.09 o 525 1.09 c 613 1.09 o 528 1.09 c 610 1.09 o 531 1.09 c 607 1.10 o 534 1.10 c 604 1.10 o 537 1.10 c 601 1.10 o 540 1.10 c 598 1.10 o 543 1.10 c 595 1.10 o 546 1.10 c 592 1.10 o 549 1.10 c 589 1.11 o 552 1.11 c 586 1.11 o 555 1.11 c 583 1.11 o 558 1.11 c 580 1.11 o 561 1.11 c 577 1.11 o 564 1.11 c 574 1.11 o 567 1.11 c 571 1.11 o 570 1.11 c 568 1.12 o 573 1.12 c 565 1.12 o 576 1.12 c 562 1.12 o 579 1.12 c 559 1.12 o 582 1.13 c 556 1.13 o 585 1.13 c 553 1.13 o 588 1.13 c 550 1.13 o 591 1.13 c 547 1.13 o 594 1.13 c 544 1.13 o 597 1.13 c 541 1.13 o 600 1.13 c 538 1.14 o 603 1.14 c 535 1.14 o 606 1.14 c 532 1.14 o 608 1.14 c 530 1.15 o 610 1.15 c 528 1.15 o 612 1.15 c 526 1.15 o 614 1.15 c 524 1.15 o 616 1.15 c 522 1.15 o 618 1.15 c 520 1.15 o 620 1.15 c 518 1.15 o 622 1.15 c 516 1.15 o 624 1.15 c 514 1.16 o 625 1.16 c 513 1.16 o 626 1.16 c 512 1.16 o 627 1.16 c 511 1.16 o 629 1.16 c 509 1.16 o 630 1.16 c 508 1.16 o 633 1.16 c 505 1.17 o 635 1.17 c 503 1.17 o 638 1.17 c 500 1.17 o 640 1.17 c 498 1.17 o 642 1.17 c 496 1.17 o 644 1.17 c 494 1.18 o 646 1.18 c 492 1.18 o 648 1.18 c 490 1.18 o 650 1.18 c 488 1.19 o 652 1.19 c 486 1.19 o 654 1.19 c 484 1.19 o 656 1.19 c 482 1.19 o 658 1.19 c 480 1.19 o 660 1.20 c 478 1.20 o 662 1.20 c 476 1.20 o 664 1.20 c 474 1.20 o 666 1.20 c 472 1.20 o 668 1.20 c 470 1.21 o 670 1.21 c 468 1.21 o 672 1.21 c 466 1.21 o 674 1.21 c 464 1.21 o 676 1.21 c 462 1.22 o 678 1.22 c 460 1.22 o 680 1.22 c 458 1.22 o 682 1.22 c 456 1.22 o 684 1.22 c 454 1.23 o 686 1.23 c 452 1.23 o 688 1.23 c 450 1.23 o 690 1.23 c 448 1.23 o 692 1.23 c 446 1.23 o 694 1.24 c 444 1.24 o 695 1.24 c 443 1.24 o 698 1.24 c 440 1.24 o 701 1.24 c 437 1.24 o 703 1.24 c 435 1.24 o 705 1.24 c 433 1.24 o 707 1.24 c 431 1.25 o 709 1.25 c 429 1.25 o 711 1.25 c 427 1.25 o 713 1.25 c 425 1.25 o 715 1.25 c 423 1.26 o 717 1.26 c 421 1.26 o 719 1.26 c 419 1.26 o 721 1.26 c 417 1.26 o 723 1.26 c 415 1.26 o 725 1.26 c 413 1.27 o 727 1.27 c 411 1.27 o 729 1.27 c 409 1.27 o 731 1.27 c 407 1.27 o 733 1.27 c 405 1.27 o 735 1.27 c 403 1.28 o 737 1.28 c 401 1.28 o 739 1.28 c 399 1.28 o 741 1.28 c 397 1.28 o 743 1.28 c 395 1.28 o 745 1.28 c 393 1.28 o 747 1.28 c 391 1.29 o 749 1.29 c 389 1.29 o 751 1.29 c 387 1.29 o 753 1.29 c 385 1.29 o 755 1.29 c 383 1.29 o 757 1.29 c 381 1.30 o 759 1.30 c 379 1.30 o 761 1.30 c 377 1.30 o 763 1.30 c 375 1.30 o 764 1.30 c 374 1.30 o 765 1.30 c 373 1.30 o 766 1.30 c 372 1.31 o 767 1.31 c 371 1.31 o 768 1.31 c 370 1.31 o 769 1.31 c 369 1.31 o 770 1.31 c 368 1.31 o 771 1.31 c 367 1.31 o 772 1.31 c 366 1.32 o 773 1.32 c 365 1.32 o 774 1.32 c 364 1.32 o 775 1.32 c 363 1.32 o 776 1.32 c 362 1.32 o 777 1.32 c 361 1.32 o 778 1.32 c 360 1.33 o 779 1.33 c 359 1.33 o 780 1.33 c 358 1.33 o 781 1.33 c 357 1.33 o 782 1.33 c 356 1.33 o 783 1.33 c 355 1.34 o 784 1.34 c 354 1.34 o 785 1.34 c 353 1.34 o 787 1.34 c 351 1.34 o 788 1.34 c 350 1.35 o 790 1.35 c 348 1.35 o 791 1.35 c 347 1.35 o 794 1.35 c 344 1.35 o 795 1.35 c 343 1.35 o 796 1.35 c 342 1.36 o 797 1.36 c 341 1.36 o 798 1.36 c 340 1.36 o 800 1.36 c 338 1.36 o 801 1.36 c 337 1.37 o 802 1.37 c 336 1.37 o 804 1.37 c 334 1.38 o 806 1.38 c 332 1.38 o 808 1.38 c 330 1.38 o 809 1.38 c 329 1.38 o 810 1.38 c 328 1.38 o 812 1.38 c 326 1.39 o 814 1.39 c 324 1.39 o 816 1.39 c 322 1.39 o 818 1.39 c 320 1.39 o 820 1.39 c 318 1.39 o 822 1.39 c 316 1.40 o 824 1.40 c 314 1.40 o 825 1.40 c 313 1.40 o 826 1.40 c 312 1.41 o 827 1.41 c 311 1.41 o 828 1.41 c 310 1.41 o 830 1.42 c 308 1.42 o 831 1.42 c 307 1.42 o 832 1.42 c 306 1.43 o 833 1.43 c 305 1.43 o 834 1.43 c 304 1.43 o 835 1.43 c 303 1.44 o 836 1.44 c 302 1.44 o 837 1.44 c 301 1.44 o 838 1.44 c 300 1.45 o 839 1.45 c 299 1.45 o 841 1.45 c 297 1.45 o 842 1.45 c 296 1.46 o 843 1.46 c 295 1.46 o 844 1.46 c 294 1.46 o 845 1.46 c 293 1.47 o 846 1.47 c 292 1.47 o 848 1.47 c 290 1.48 o 849 1.48 c 289 1.48 o 850 1.48 c 288 1.48 o 851 1.48 c 287 1.48 o 852 1.48 c 286 1.49 o 853 1.49 c 285 1.49 o 854 1.49 c 284 1.50 o 855 1.50 c 283 1.50 o 856 1.50 c 282 1.50 o 857 1.50 c 281 1.51 o 858 1.51 c 280 1.51 o 859 1.51 c 279 1.51 o 860 1.51 c 278 1.52 o 861 1.52 c 277 1.52 o 862 1.52 c 276 1.52 o 863 1.52 c 275 1.53 o 864 1.53 c 274 1.53 o 865 1.53 c 273 1.53 o 866 1.53 c 272 1.54 o 867 1.54 c 271 1.54 o 868 1.54 c 270 1.54 o 869 1.54 c 269 1.54 o 870 1.55 c 268 1.55 o 871 1.55 c 267 1.55 o 872 1.55 c 266 1.55 o 873 1.56 c 265 1.56 o 874 1.56 c 264 1.56 o 875 1.56 c 263 1.56 o 876 1.56 c 262 1.57 o 877 1.57 c 261 1.57 o 878 1.57 c 260 1.57 o 879 1.57 c 259 1.58 o 880 1.58 c 258 1.58 o 881 1.58 c 257 1.58 o 882 1.58 c 256 1.59 o 883 1.59 c 255 1.59 o 884 1.59 c 254 1.60 o 885 1.60 c 253 1.60 o 886 1.60 c 252 1.61 o 887 1.61 c 251 1.61 o 888 1.61 c 250 1.61 o 889 1.61 c 249 1.62 o 890 1.62 c 248 1.62 o 891 1.62 c 247 1.62 o 892 1.62 c 246 1.62 o 893 1.62 c 245 1.63 o 894 1.63 c 244 1.63 o 895 1.63 c 243 1.63 o 896 1.63 c 242 1.63 o 897 1.63 c 241 1.64 o 898 1.64 c 240 1.64 o 899 1.64 c 239 1.64 o 900 1.64 c 238 1.65 o 901 1.65 c 237 1.65 o 902 1.65 c 236 1.65 o 903 1.65 c 235 1.65 o 904 1.65 c 234 1.66 o 905 1.66 c 233 1.66 o 906 1.66 c 232 1.66 o 907 1.66 c 231 1.67 o 908 1.67 c 230 1.67 o 909 1.67 c 229 1.67 o 910 1.67 c 228 1.67 o 911 1.67 c 227 1.68 o 912 1.68 c 226 1.68 o 913 1.68 c 225 1.68 o 914 1.68 c 224 1.68 o 915 1.68 c 223 1.69 o 916 1.69 c 222 1.69 o 917 1.69 c 221 1.69 o 918 1.69 c 220 1.69 o 919 1.69 c 219 1.70 o 920 1.70 c 218 1.70 o 921 1.70 c 217 1.70 o 922 1.70 c 216 1.70 o 924 1.71 c 214 1.71 o 925 1.71 c 213 1.71 o 926 1.71 c 212 1.71 o 927 1.71 c 211 1.71 o 928 1.71 c 210 1.72 o 929 1.72 c 209 1.72 o 930 1.72 c 208 1.72 o 931 1.72 c 207 1.72 o 932 1.72 c 206 1.73 o 933 1.73 c 205 1.73 o 934 1.73 c 204 1.73 o 935 1.73 c 203 1.73 o 936 1.73 c 202 1.74 o 937 1.74 c 201 1.74 o 938 1.74 c 200 1.74 o 939 1.74 c 199 1.74 o 940 1.74 c 198 1.75 o 941 1.75 c 197 1.75 o 942 1.75 c 196 1.75 o 943 1.75 c 195 1.75 o 944 1.75 c 194 1.75 o 945 1.75 c 193 1.76 o 946 1.76 c 192 1.76 o 947 1.76 c 191 1.76 o 948 1.76 c 190 1.76 o 949 1.76 c 189 1.77 o 950 1.77 c 188 1.77 o 951 1.77 c 187 1.77 o 952 1.77 c 186 1.77 o 953 1.77 c 185 1.77 o 954 1.77 c 184 1.78 o 955 1.78 c 183 1.78 o 956 1.78 c 182 1.78 o 957 1.78 c 181 1.78 o 958 1.78 c 180 1.78 o 959 1.78 c 179 1.79 o 960 1.79 c 178 1.79 o 961 1.79 c 177 1.79 o 962 1.79 c 176 1.79 o 963 1.79 c 175 1.80 o 964 1.80 c 174 1.80 o 965 1.80 c 173 1.80 o 966 1.80 c 172 1.80 o 967 1.80 c 171 1.80 o 968 1.80 c 170 1.81 o 969 1.81 c 169 1.81 o 970 1.81 c 168 1.81 o 971 1.81 c 167 1.81 o 972 1.81 c 166 1.81 o 973 1.81 c 165 1.82 o 974 1.82 c 164 1.82 o 975 1.82 c 163 1.82 o 976 1.82 c 162 1.82 o 977 1.82 c 161 1.82 o 978 1.82 c 160 1.82 o 979 1.82 c 159 1.83 o 980 1.83 c 158 1.83 o 981 1.83 c 157 1.83 o 982 1.83 c 156 1.83 o 983 1.83 c 155 1.84 o 984 1.84 c 154 1.84 o 985 1.84 c 153 1.84 o 986 1.84 c 152 1.84 o 987 1.84 c 151 1.84 o 988 1.84 c 150 1.84 o 989 1.84 c 149 1.85 o 990 1.85 c 148 1.85 o 991 1.85 c 147 1.85 o 992 1.85 c 146 1.85 o 993 1.85 c 145 1.85 o 994 1.85 c 144 1.85 o 995 1.85 c 143 1.86 o 996 1.86 c 142 1.86 o 997 1.86 c 141 1.86 o 998 1.86 c 140 1.86 o 999 1.86 c 139 1.86 o 1000 1.86 c 138 1.87 o 1001 1.87 c 137 1.87 o 1002 1.87 c 136 1.87 o 1004 1.87 c 134 1.87 o 1005 1.87 c 133 1.87 o 1006 1.87 c 132 1.88 o 1008 1.88 c 130 1.96 o 1010 1.96 c 128 1.97 o 1011 1.97 c 127 1.97 o 1012 1.97 c 126 1.97 o 1013 1.97 c 125 2.06 o 1015 2.06 c 123 2.06 o 1016 2.06 c 122 2.07 o 1017 2.07 c 121 2.07 o 1018 2.07 c 120 2.07 o 1019 2.07 c 119 2.07 o 1020 2.07 c 118 2.08 o 1021 2.08 c 117 2.08 o 1022 2.08 c 116 2.08 o 1023 2.08 c 115 2.08 o 1024 2.08 c 114 2.08 o 1025 2.08 c 113 2.08 o 1026 2.08 c 112 2.09 o 1028 2.09 c 110 2.10 o 1030 2.10 c 108 2.10 o 1031 2.10 c 107 2.11 o 1032 2.11 c 106 2.11 o 1033 2.11 c 105 2.12 o 1034 2.12 c 104 2.12 o 1035 2.12 c 103 2.12 o 1036 2.12 c 102 2.12 o 1037 2.12 c 101 2.15 o 1038 2.15 c 100 2.16 o 1039 2.16 c 99 2.16 o 1041 2.16 c 97 2.17 o 1042 2.17 c 96 2.17 o 1043 2.18 c 95 2.18 o 1044 2.18 c 94 2.18 o 1045 2.18 c 93 2.18 o 1046 2.18 c 92 2.19 o 1047 2.19 c 91 2.19 o 1048 2.19 c 90 2.20 o 1049 2.20 c 89 2.20 o 1051 2.20 c 87 2.20 o 1053 2.20 c 85 2.20 o 1054 2.20 c 84 2.21 o 1055 2.21 c 83 2.21 o 1056 2.21 c 82 2.21 o 1057 2.21 c 81 2.30 o 1058 2.30 c 80 2.31 o 1059 2.31 c 79 2.32 o 1060 2.32 c 78 2.33 o 1061 2.33 c 77 2.33 o 1062 2.33 c 76 2.33 o 1064 2.33 c 74 2.34 o 1065 2.34 c 73 2.34 o 1067 2.34 c 71 2.34 o 1068 2.34 c 70 2.35 o 1069 2.35 c 69 2.35 o 1070 2.35 c 68 2.36 o 1071 2.36 c 67 2.48 o 1072 2.48 c 66 2.49 o 1073 2.49 c 65 2.50 o 1074 2.50 c 64 2.55 o 1075 2.55 c 63 2.55 o 1076 2.55 c 62 2.59 o 1077 2.59 c 61 2.60 o 1078 2.60 c 60 2.60 o 1079 2.60 c 59 2.60 o 1080 2.60 c 58 2.60 o 1081 2.60 c 57 2.61 o 1082 2.61 c 56 2.66 o 1084 2.66 c 54 2.66 o 1085 2.66 c 53 2.66 o 1086 2.66 c 52 2.71 o 1087 2.71 c 51 2.72 o 1088 2.72 c 50 2.74 o 1090 2.74 c 48 2.75 o 1091 2.75 c 47 2.75 o 1092 2.75 c 46 2.81 o 1093 2.81 c 45 2.84 o 1094 2.84 c 44 2.85 o 1095 2.85 c 43 2.85 o 1096 2.85 c 42 2.94 o 1097 2.94 c 41 2.97 o 1098 2.97 c 40 2.97 o 1099 2.97 c 39 2.97 o 1100 2.97 c 38 2.99 o 1101 2.99 c 37 3.05 o 1102 3.05 c 36 3.05 o 1103 3.05 c 35 3.06 o 1104 3.06 c 34 3.07 o 1105 3.07 c 33 3.08 o 1106 3.08 c 32 3.09 o 1107 3.09 c 31 3.16 o 1109 3.16 c 29 3.17 o 1110 3.17 c 28 3.18 o 1111 3.18 c 27 3.23 o 1112 3.23 c 26 3.25 o 1113 3.25 c 25 3.25 o 1114 3.25 c 24 3.25 o 1115 3.25 c 23 3.26 o 1116 3.26 c 22 3.27 o 1117 3.27 c 21 3.32 o 1118 3.32 c 20 3.33 o 1119 3.33 c 19 4.83 o 1120 4.83 c 18 4.83 o 1121 4.83 c 17 4.89 o 1122 4.89 c 16 4.89 o 1123 4.89 c 15 5.29 o 1124 5.29 c 14 5.71 o 1125 5.71 c 13 5.84 o 1126 5.84 c 12 5.87 o 1127 5.87 c 11 6.21 o 1128 6.21 c 10 7.41 o 1129 7.41 c 9 8.48 8.48 search 8.48 run=0 nbConstraintChecks=59044584 nbAssignments=10000 8.48 => wckTime=7.455 cpuTime=7.31 mem=7M123 9.11 o 1130 9.11 c 8 10.82 o 1131 10.82 c 7 21.43 21.43 search 21.43 run=1 nbConstraintChecks=167389146 nbAssignments=20000 21.43 => wckTime=20.406 cpuTime=20.15 mem=7M123 21.47 o 1132 21.47 c 6 21.53 o 1133 21.53 c 5 21.53 o 1134 21.53 c 4 21.58 o 1135 21.58 c 3 26.27 o 1136 26.27 c 2 46.11 46.12 search 46.12 run=2 nbConstraintChecks=374817006 nbAssignments=30000 46.12 => wckTime=45.09 cpuTime=44.61 mem=7M123 56.55 56.55 search 56.55 run=3 nbConstraintChecks=463843662 nbAssignments=33942 56.55 => wckTime=55.531 cpuTime=54.95 mem=7M123 56.55 56.55 global 56.55 nbConstraintChecks=463843662 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 56.55 solvingWckTime=55.529 solvingCpuTime=54.95 expiredTime=no totalExploration=no nbFoundSolutions=0 56.55 globalCpuTime=55.51 56.55 => wckTime=56.239 cpuTime=55.46 mem=7M123 56.55 56.55 solver IterativeSystematicSolver being built... 56.74 => wckTime=56.427 cpuTime=55.6 mem=21M939 92.79 92.79 preprocessing 92.79 nbConstraintChecks=24993199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=163 92.79 detectedInconsistency=no 92.79 => wckTime=36.044 cpuTime=35.68 mem=21M939 230.26 230.26 search 230.26 run=0 nbConstraintChecks=21838715 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=302 230.26 nbFailedAssignments=274 nbBacktracks=10 nbVisitedNodes=587 nbRestartNogoods=0 230.26 => wckTime=173.513 cpuTime=171.89 mem=21M939 244.06 244.06 search 244.06 run=1 nbConstraintChecks=28108915 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=422 244.06 nbFailedAssignments=352 nbBacktracks=26 nbVisitedNodes=797 nbRestartNogoods=59 244.06 => wckTime=187.317 cpuTime=185.56 mem=21M939 316.64 316.64 search 316.64 run=2 nbConstraintChecks=42791154 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=639 316.64 nbFailedAssignments=533 nbBacktracks=48 nbVisitedNodes=1217 nbRestartNogoods=64 316.64 => wckTime=259.895 cpuTime=257.47 mem=21M939 564.33 564.33 search 564.33 run=3 nbConstraintChecks=94792974 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1406 564.33 nbFailedAssignments=1249 nbBacktracks=81 nbVisitedNodes=2733 nbRestartNogoods=67 564.33 => wckTime=507.587 cpuTime=502.9 mem=21M939 769.62 769.62 search 769.62 run=4 nbConstraintChecks=140940459 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2075 769.62 nbFailedAssignments=1858 nbBacktracks=134 nbVisitedNodes=4064 nbRestartNogoods=170 769.62 => wckTime=712.874 cpuTime=706.3 mem=21M939 953.21 953.21 search 953.21 run=5 nbConstraintChecks=190744340 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2818 953.21 nbFailedAssignments=2462 nbBacktracks=209 nbVisitedNodes=5484 nbRestartNogoods=210 953.21 => wckTime=896.468 cpuTime=888.21 mem=21M939 1165.34 o 1137 1165.34 c 1 1168.24 1168.24 search 1168.24 run=6 nbConstraintChecks=246109715 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4185 1168.24 nbFailedAssignments=3071 nbBacktracks=964 nbVisitedNodes=7848 nbRestartNogoods=361 1168.24 => wckTime=1111.497 cpuTime=1101.3 mem=21M939 1170.43 1170.43 search 1170.43 run=7 nbConstraintChecks=246457290 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4190 1170.43 nbFailedAssignments=3076 nbBacktracks=965 nbVisitedNodes=7858 nbRestartNogoods=369 1170.43 => wckTime=1113.683 cpuTime=1103.47 mem=21M939 1170.43 1170.43 global 1170.43 nbConstraintChecks=271450489 nbRestartNogoods=369 solvingWckTime=1113.684 solvingCpuTime=1103.47 expiredTime=no 1170.43 totalExploration=yes nbFoundSolutions=1 globalCpuTime=1159.12 1170.43 => wckTime=1170.112 cpuTime=1159.07 mem=21M939 1170.44 1170.44 s OPTIMUM FOUND 1170.44 v 16 254 30 268 254 16 30 268 254 16 268 30 268 30 16 254 414 652 254 16 366 128 652 414 414 652 100 338 86 324 16 254 16 254 16 254 254 16 498 736 30 268 484 722 16 254 58 296 652 414 16 254 380 142 16 254 16 254 16 254 414 652 540 16 16 254 16 254 16 254 666 428 16 254 512 750 338 100 442 680 16 254 16 254 16 254 254 16 414 652 414 652 16 254 254 16 652 414 254 16 16 254 16 254 254 16 254 16 16 254 268 30 16 254 16 254 428 666 30 268 30 268 16 254 16 254 16 254 16 254 254 16 414 652 254 16 324 86 16 254 254 16 296 58 16 254 16 254 268 30 16 254 16 254 16 254 16 254 142 380 16 254 16 254 16 254 254 16 414 652 512 750 16 254 254 16 254 16 16 254 16 254 750 512 16 254 86 324 16 254 254 16 254 16 16 254 254 16 16 254 16 254 16 254 254 16 338 100 30 268 484 722 456 694 512 750 30 268 30 268 666 428 30 268 30 268 666 428 484 722 666 428 428 666 16 254 30 268 30 268 268 30 666 428 428 666 268 30 498 736 456 694 16 254 268 30 30 268 442 680 16 254 296 58 30 268 338 100 442 680 268 30 30 268 442 680 30 268 30 268 268 30 100 338 16 254 736 498 736 498 268 30 254 16 652 414 30 268 428 666 30 268 30 268 268 30 30 268 736 498 254 16 428 666 456 694 268 30 268 30 722 484 254 16 666 428 30 268 666 428 254 16 254 16 30 268 30 268 428 666 30 268 666 428 16 254 16 254 16 254 652 414 310 72 722 484 708 470 16 254 16 254 58 296 254 16 414 652 268 30 30 268 30 268 296 58 268 30 268 30 268 30 750 512 442 680 268 30 30 268 254 16 254 16 366 128 666 428 666 428 498 736 16 254 680 442 268 30 30 268 736 498 512 750 750 512 666 428 666 428 268 30 254 16 268 30 694 456 30 268 484 722 470 708 694 456 268 30 694 456 666 428 30 268 428 666 268 30 694 456 100 338 512 750 470 708 428 666 254 16 254 16 414 652 44 282 16 254 694 456 254 16 16 254 680 442 30 268 666 428 268 30 428 666 268 30 498 736 268 30 498 736 254 16 652 414 16 254 366 128 268 30 414 652 708 470 750 512 680 442 16 254 442 680 30 268 268 30 428 666 268 30 456 694 428 666 456 694 30 268 324 86 666 428 30 268 442 680 268 30 428 666 750 512 268 30 310 72 428 666 254 16 16 254 484 722 652 414 254 16 428 666 268 30 722 484 750 512 428 666 268 30 268 30 442 680 296 58 324 86 114 352 30 268 666 428 268 30 310 72 666 428 30 268 428 666 268 30 442 680 428 666 268 30 268 30 16 254 254 16 470 708 666 428 268 30 254 16 414 652 254 16 254 16 16 254 254 16 666 428 442 680 16 254 30 268 736 498 254 16 16 254 428 666 268 30 30 268 30 268 30 268 736 498 338 100 428 666 100 338 666 428 666 428 428 666 268 30 666 428 414 652 414 652 16 254 30 268 16 254 1170.44 1170.44 totalWckTime=1170.2 totalCpuTime=1159.12
1 unsatisfied constraints, 1137 satisfied constraints
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-275822-1169227568 -o ROOT/results/node52/solver-275822-1169227568 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275822-1169227568/unknown.xml Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB Current StackSize limit: 10240 KiB /proc/loadavg: 1.23 1.05 1.08 4/81 27432 /proc/meminfo: memFree=1506296/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=906644 CPUtime=0.02 /proc/27431/stat : 27431 (java) S 27429 27431 27214 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 271155305 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 226661 1818 1036 14 0 214244 0 [pid=27431/tid=27433] ppid=27429 vsize=906644 CPUtime=0 /proc/27431/task/27433/stat : 27433 (java) R 27429 27431 27214 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 271155309 928403456 1818 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0 [startup+0.10505 s] /proc/loadavg: 1.23 1.05 1.08 4/81 27432 /proc/meminfo: memFree=1506296/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=914988 CPUtime=0.09 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 2989 0 1 0 7 2 0 0 20 0 8 0 271155305 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072940956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228747 2735 1426 14 0 215242 0 [pid=27431/tid=27433] ppid=27429 vsize=914988 CPUtime=0 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 271155309 936947712 2735 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 914988 [startup+0.513077 s] /proc/loadavg: 1.23 1.05 1.08 4/81 27432 /proc/meminfo: memFree=1506296/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915332 CPUtime=0.49 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 6522 0 1 0 45 4 0 0 18 0 8 0 271155305 937299968 6261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228833 6261 2152 14 0 215303 0 [pid=27431/tid=27433] ppid=27429 vsize=915332 CPUtime=0 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 271155309 937299968 6261 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 915332 [startup+1.33413 s] /proc/loadavg: 1.23 1.05 1.08 3/88 27439 /proc/meminfo: memFree=1479552/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915452 CPUtime=1.29 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 9340 0 1 0 117 12 0 0 24 0 8 0 271155305 937422848 9078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228863 9078 2499 14 0 215333 0 [pid=27431/tid=27433] ppid=27429 vsize=915452 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 556 0 0 0 4 0 0 0 17 0 8 0 271155309 937422848 9078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937422848 9078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915452 CPUtime=0.21 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 383 0 0 0 20 1 0 0 15 0 8 0 271155313 937422848 9078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937422848 9078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937422848 9078 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1.29 Current children cumulated vsize (KiB) 915452 [startup+2.97124 s] /proc/loadavg: 1.23 1.05 1.08 3/88 27439 /proc/meminfo: memFree=1479488/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915452 CPUtime=2.9 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 9353 0 1 0 270 20 0 0 25 0 8 0 271155305 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073890784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228863 9090 2499 14 0 215333 0 [pid=27431/tid=27433] ppid=27429 vsize=915452 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 556 0 0 0 4 0 0 0 17 0 8 0 271155309 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915452 CPUtime=0.23 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 395 0 0 0 22 1 0 0 15 0 8 0 271155313 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937422848 9090 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 2.9 Current children cumulated vsize (KiB) 915452 [startup+6.27246 s] /proc/loadavg: 1.29 1.06 1.08 3/88 27439 /proc/meminfo: memFree=1479488/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915452 CPUtime=6.16 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 9355 0 1 0 571 45 0 0 25 0 8 0 271155305 937422848 9091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073872752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228863 9091 2499 14 0 215333 0 [pid=27431/tid=27433] ppid=27429 vsize=915452 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 556 0 0 0 4 0 0 0 16 0 8 0 271155309 937422848 9091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937422848 9091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915452 CPUtime=0.23 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 396 0 0 0 22 1 0 0 15 0 8 0 271155313 937422848 9091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937422848 9091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) R 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937422848 9091 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 6.16 Current children cumulated vsize (KiB) 915452 [startup+12.7419 s] /proc/loadavg: 1.35 1.08 1.09 3/88 27439 /proc/meminfo: memFree=1479488/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915452 CPUtime=12.57 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 9357 0 1 0 1185 72 0 0 25 0 8 0 271155305 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073873890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228863 9093 2499 14 0 215333 0 [pid=27431/tid=27433] ppid=27429 vsize=915452 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 556 0 0 0 4 0 0 0 16 0 8 0 271155309 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915452 CPUtime=0.23 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 398 0 0 0 22 1 0 0 16 0 8 0 271155313 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937422848 9093 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 915452 [startup+25.6098 s] /proc/loadavg: 1.49 1.12 1.10 3/88 27439 /proc/meminfo: memFree=1479424/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915452 CPUtime=25.33 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 9358 0 1 0 2427 106 0 0 25 0 8 0 271155305 937422848 9094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073871283 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228863 9094 2499 14 0 215333 0 [pid=27431/tid=27433] ppid=27429 vsize=915452 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 556 0 0 0 4 0 0 0 16 0 8 0 271155309 937422848 9094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937422848 9094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937422848 9094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915452 CPUtime=0.23 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 271155313 937422848 9094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937422848 9094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915452 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937422848 9094 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 25.33 Current children cumulated vsize (KiB) 915452 [startup+51.2245 s] /proc/loadavg: 1.67 1.19 1.13 3/88 27439 /proc/meminfo: memFree=1479424/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915612 CPUtime=50.71 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 9370 0 1 0 4923 148 0 0 25 0 8 0 271155305 937586688 9106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073871201 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228903 9106 2499 14 0 215373 0 [pid=27431/tid=27433] ppid=27429 vsize=915612 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 556 0 0 0 4 0 0 0 16 0 8 0 271155309 937586688 9106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937586688 9106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937586688 9106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937586688 9106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915612 CPUtime=0.24 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 411 0 0 0 23 1 0 0 16 0 8 0 271155313 937586688 9106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937586688 9106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937586688 9106 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 915612 [startup+102.442 s] /proc/loadavg: 1.85 1.31 1.17 3/88 27439 /proc/meminfo: memFree=1475392/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915612 CPUtime=101.46 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 10446 0 1 0 9989 157 0 0 25 0 8 0 271155305 937586688 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074081272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228903 10172 2546 14 0 215373 0 [pid=27431/tid=27433] ppid=27429 vsize=915612 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 556 0 0 0 4 0 0 0 16 0 8 0 271155309 937586688 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937586688 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937586688 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937586688 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915612 CPUtime=0.32 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 463 0 0 0 30 2 0 0 16 0 8 0 271155313 937586688 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937586688 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937586688 10172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 101.46 Current children cumulated vsize (KiB) 915612 ################ # More data... # ################ /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915612 CPUtime=0.36 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 489 0 0 0 34 2 0 0 17 0 8 0 271155313 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 696.8 Current children cumulated vsize (KiB) 915612 [startup+763.341 s] /proc/loadavg: 2.06 1.96 1.60 3/88 27439 /proc/meminfo: memFree=1475136/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915612 CPUtime=756.35 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 10495 0 1 0 75477 158 0 0 25 0 8 0 271155305 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074080542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228903 10208 2549 14 0 215373 0 [pid=27431/tid=27433] ppid=27429 vsize=915612 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 557 0 0 0 4 0 0 0 16 0 8 0 271155309 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915612 CPUtime=0.36 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 489 0 0 0 34 2 0 0 16 0 8 0 271155313 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915612 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937586688 10208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 756.35 Current children cumulated vsize (KiB) 915612 [startup+823.44 s] /proc/loadavg: 2.09 1.99 1.63 3/88 27439 /proc/meminfo: memFree=1475072/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915556 CPUtime=815.91 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 10502 0 1 0 81433 158 0 0 25 0 8 0 271155305 937529344 10214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074080542 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228889 10214 2549 14 0 215359 0 [pid=27431/tid=27433] ppid=27429 vsize=915556 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 557 0 0 0 4 0 0 0 16 0 8 0 271155309 937529344 10214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937529344 10214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915556 CPUtime=0.37 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 492 0 0 0 35 2 0 0 16 0 8 0 271155313 937529344 10214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937529344 10214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937529344 10214 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 815.91 Current children cumulated vsize (KiB) 915556 [startup+883.538 s] /proc/loadavg: 2.03 1.99 1.65 3/88 27439 /proc/meminfo: memFree=1475072/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915556 CPUtime=875.46 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 10505 0 1 0 87388 158 0 0 25 0 8 0 271155305 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074080548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228889 10215 2549 14 0 215359 0 [pid=27431/tid=27433] ppid=27429 vsize=915556 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 557 0 0 0 4 0 0 0 16 0 8 0 271155309 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915556 CPUtime=0.37 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 493 0 0 0 35 2 0 0 16 0 8 0 271155313 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 875.46 Current children cumulated vsize (KiB) 915556 [startup+943.63 s] /proc/loadavg: 2.01 1.99 1.67 3/88 27439 /proc/meminfo: memFree=1475136/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915556 CPUtime=935 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 10505 0 1 0 93342 158 0 0 25 0 8 0 271155305 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074080544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228889 10215 2549 14 0 215359 0 [pid=27431/tid=27433] ppid=27429 vsize=915556 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 557 0 0 0 4 0 0 0 16 0 8 0 271155309 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915556 CPUtime=0.37 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 493 0 0 0 35 2 0 0 16 0 8 0 271155313 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937529344 10215 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 935 Current children cumulated vsize (KiB) 915556 [startup+1003.71 s] /proc/loadavg: 2.00 1.99 1.68 3/88 27439 /proc/meminfo: memFree=1475072/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915556 CPUtime=994.54 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 10512 0 1 0 99296 158 0 0 25 0 8 0 271155305 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074080544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228889 10222 2549 14 0 215359 0 [pid=27431/tid=27433] ppid=27429 vsize=915556 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 557 0 0 0 4 0 0 0 16 0 8 0 271155309 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915556 CPUtime=0.37 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 493 0 0 0 35 2 0 0 16 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 994.54 Current children cumulated vsize (KiB) 915556 [startup+1063.78 s] /proc/loadavg: 2.00 1.99 1.70 3/88 27439 /proc/meminfo: memFree=1475008/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915556 CPUtime=1054.06 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 10512 0 1 0 105248 158 0 0 25 0 8 0 271155305 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073870144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228889 10222 2549 14 0 215359 0 [pid=27431/tid=27433] ppid=27429 vsize=915556 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 557 0 0 0 4 0 0 0 16 0 8 0 271155309 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915556 CPUtime=0.37 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 493 0 0 0 35 2 0 0 16 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1054.06 Current children cumulated vsize (KiB) 915556 [startup+1123.84 s] /proc/loadavg: 2.00 1.99 1.72 3/88 27439 /proc/meminfo: memFree=1475008/2055920 swapFree=4192812/4192956 [pid=27431] ppid=27429 vsize=915556 CPUtime=1113.57 /proc/27431/stat : 27431 (java) R 27429 27431 27214 0 -1 0 10512 0 1 0 111199 158 0 0 25 0 8 0 271155305 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074080544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0 /proc/27431/statm: 228889 10222 2549 14 0 215359 0 [pid=27431/tid=27433] ppid=27429 vsize=915556 CPUtime=0.04 /proc/27431/task/27433/stat : 27433 (java) S 27429 27431 27214 0 -1 64 557 0 0 0 4 0 0 0 16 0 8 0 271155309 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27434] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27434/stat : 27434 (java) S 27429 27431 27214 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27435] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27435/stat : 27435 (java) S 27429 27431 27214 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271155309 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27436] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27436/stat : 27436 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27437] ppid=27429 vsize=915556 CPUtime=0.37 /proc/27431/task/27437/stat : 27437 (java) S 27429 27431 27214 0 -1 64 493 0 0 0 35 2 0 0 16 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27438] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27438/stat : 27438 (java) S 27429 27431 27214 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 [pid=27431/tid=27439] ppid=27429 vsize=915556 CPUtime=0 /proc/27431/task/27439/stat : 27439 (java) S 27429 27431 27214 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271155313 937529344 10222 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0 Current children cumulated CPU time (s) 1113.57 Current children cumulated vsize (KiB) 915556 Child status: 0 Real time (s): 1170.45 CPU time (s): 1159.76 CPU user time (s): 1158.17 CPU system time (s): 1.59076 CPU usage (%): 99.0865 Max. virtual memory (cumulated for all children) (KiB): 915616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1158.17 system time used= 1.59076 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10618 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25257 involuntary context switches= 63385 runsolver used 1.2858 s user time and 3.9364 s system time The end
Begin job on node52 on Fri Jan 19 17:26:08 UTC 2007 IDJOB= 275822 IDBENCH= 5099 IDSOLVER= 68 FILE ID= node52/275822-1169227568 PBS_JOBID= 3589268 Free space on /tmp= 66563 MiB SOLVER NAME= AbsconMax 109 EPFC BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen10-w1-f3.xml COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275822-1169227568/unknown.xml RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-275822-1169227568 -o ROOT/results/node52/solver-275822-1169227568 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/275822-1169227568/unknown.xml META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08 MD5SUM BENCH= 1a6b0f77408f44fcd9d0a9f15ce8dc84 RANDOM SEED= 295396020 TIME LIMIT= 2400 seconds MEMORY LIMIT= 900 MiB /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.232 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.232 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: 1506776 kB Buffers: 33776 kB Cached: 400064 kB SwapCached: 0 kB Active: 136576 kB Inactive: 333676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1506776 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2476 kB Writeback: 0 kB Mapped: 54532 kB Slab: 64156 kB Committed_AS: 5400684 kB PageTables: 1984 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= 66563 MiB End job on node52 on Fri Jan 19 17:45:39 UTC 2007