Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 140.072 | 140.067 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh13_wcsp.wbo |
MD5SUM | 3100ea9ba7746ae86daacced189e255b |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 109 |
Best CPU time to get the best result obtained on this benchmark | 0.031995 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 200 |
Total number of constraints | 950 |
Number of soft constraints | 850 |
Number of constraints which are clauses | 850 |
Number of constraints which are cardinality constraints (but not clauses) | 100 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 11 |
Top cost | 420926 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 420925 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
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/0.00 c PB/CT 0.1.2 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 100/0 clauses 0/850 units 0 0.00/0.00 c vars 200 0.02/0.03 c 0.034994 10 1 1936 0.02/0.03 o 29884 0.02/0.04 c 0.035994 10.2188 1 2825 0.02/0.04 o 28450 0.02/0.04 c 0.035994 10.2188 4 3198 0.02/0.04 o 28127 0.02/0.04 c 0.036994 10.2188 4 4076 0.02/0.04 o 23745 0.02/0.04 c 0.036994 10.2188 4 4468 0.02/0.04 o 23604 0.02/0.04 c 0.037994 10.2188 7 5159 0.02/0.04 o 22987 0.02/0.05 c 0.037994 10.2188 7 6033 0.02/0.05 o 15254 0.02/0.05 c 0.037994 10.2188 8 6702 0.02/0.05 o 14740 0.02/0.05 c 0.037994 10.2188 9 7426 0.02/0.05 o 14225 0.02/0.05 c 0.038994 10.2188 9 8301 0.02/0.05 o 10704 0.02/0.05 c 0.038994 10.2188 10 8834 0.02/0.05 o 10377 0.02/0.05 c 0.038994 10.2188 12 9473 0.02/0.05 o 9931 0.02/0.06 c 0.039993 10.2188 15 9745 0.02/0.06 o 9902 0.02/0.07 c 0.041993 10.2188 69 10612 0.02/0.07 o 9150 2.49/2.50 c 0.429934 10.4688 849 38735 2.49/2.50 o 9133 5.09/5.18 c 0.857869 10.4688 649 69292 5.09/5.18 o 8973 7.70/7.72 c 1.26381 10.4688 776 92549 7.70/7.72 o 8705 13.20/13.25 c 2.10168 10.5938 739 152125 13.20/13.25 o 8662 13.69/13.76 c 2.17467 10.5938 754 158652 13.69/13.76 o 8627 14.49/14.56 c 2.29165 10.5938 844 167568 14.49/14.56 o 8610 15.29/15.32 c 2.40163 10.5938 921 173343 15.29/15.32 o 8591 17.19/17.23 c 2.69759 10.5938 708 195399 17.19/17.23 o 8533 18.89/18.92 c 2.93155 10.5938 541 212758 18.89/18.92 o 8382 22.20/22.22 c 3.51546 10.7188 504 250448 22.20/22.22 o 8261 22.20/22.28 c 3.51946 10.7188 723 251215 22.20/22.28 o 8236 23.79/23.84 c 3.75043 10.7188 732 268691 23.79/23.84 o 8232 24.49/24.50 c 3.85741 10.7188 641 276059 24.49/24.50 o 8204 25.30/25.36 c 3.98439 10.7188 830 286265 25.30/25.36 o 8131 28.89/28.95 c 4.5923 10.7188 636 324137 28.89/28.95 o 8098 31.19/31.27 c 4.99324 10.7188 856 347896 31.19/31.27 o 8037 31.39/31.46 c 5.03323 10.7188 611 350536 31.39/31.46 o 7914 32.10/32.10 c 5.16021 10.7188 597 357720 32.10/32.10 o 7842 37.99/38.04 c 6.08007 10.8477 487 415343 37.99/38.04 o 7778 39.49/39.51 c 6.32104 10.8477 470 430828 39.49/39.51 o 7772 41.59/41.60 c 6.66799 10.8477 470 454421 41.59/41.60 o 7769 41.80/41.84 c 6.69698 10.8477 561 456210 41.80/41.84 o 7748 42.99/43.07 c 6.87695 10.8477 475 466996 42.99/43.07 o 7722 43.09/43.11 c 6.88395 10.8477 656 467536 43.09/43.11 o 7706 44.29/44.31 c 7.04793 10.8477 778 481147 44.29/44.31 o 7584 44.69/44.77 c 7.11592 10.8477 533 486618 44.69/44.77 o 7430 44.79/44.84 c 7.13091 10.8477 820 487331 44.79/44.84 o 7400 46.50/46.59 c 7.42787 10.8477 803 503977 46.50/46.59 o 7336 46.69/46.76 c 7.45986 10.8477 590 505649 46.69/46.76 o 7199 46.99/47.00 c 7.50186 10.8477 422 507989 46.99/47.00 o 7160 49.40/49.48 c 7.8628 10.8477 751 532025 49.40/49.48 o 7101 55.89/55.95 c 8.84266 10.8477 586 594625 55.89/55.95 o 6903 57.20/57.25 c 9.05162 10.8477 733 608465 57.20/57.25 o 6707 59.09/59.13 c 9.33258 10.8477 728 626107 59.09/59.13 o 6692 59.79/59.87 c 9.45156 10.8477 501 631069 59.79/59.87 o 6681 60.59/60.63 c 9.57654 10.8477 829 638715 60.59/60.63 o 6655 61.79/61.82 c 9.74852 10.8477 460 650384 61.79/61.82 o 6353 62.10/62.12 c 9.79451 10.8477 468 653409 62.10/62.12 o 6242 62.60/62.64 c 9.8675 10.8477 700 657723 62.60/62.64 o 6167 62.89/62.90 c 9.91349 10.8477 647 660539 62.89/62.90 o 6125 64.09/64.10 c 10.1165 10.8477 568 669641 64.09/64.10 o 6071 64.89/64.96 c 10.2464 10.9688 496 675703 64.89/64.96 o 6007 65.19/65.28 c 10.2854 10.9688 702 678421 65.19/65.28 o 5969 65.49/65.56 c 10.3264 10.9688 604 680808 65.49/65.56 o 5936 65.89/65.94 c 10.3744 10.9688 658 684392 65.89/65.94 o 5845 69.10/69.17 c 10.8673 10.9688 539 711525 69.10/69.17 o 5744 72.50/72.54 c 11.3923 10.9688 582 740853 72.50/72.54 o 5698 73.49/73.51 c 11.5262 10.9688 446 747943 73.49/73.51 o 5660 74.99/75.09 c 11.7502 10.9688 629 763385 74.99/75.09 o 5569 76.39/76.47 c 11.9542 10.9688 772 775601 76.39/76.47 o 5563 77.40/77.42 c 12.1012 10.9688 636 783874 77.40/77.42 o 5440 78.09/78.15 c 12.1971 10.9688 717 790329 78.09/78.15 o 5436 82.29/82.31 c 12.854 10.9688 680 825359 82.29/82.31 o 5386 83.19/83.29 c 13.004 10.9688 751 834725 83.19/83.29 o 5276 86.29/86.34 c 13.454 10.9688 535 858707 86.29/86.34 o 5191 88.89/88.99 c 13.8559 10.9688 552 878939 88.89/88.99 o 5187 89.30/89.36 c 13.8999 10.9688 888 882839 89.30/89.36 o 5083 89.49/89.55 c 13.9369 10.9688 690 884759 89.49/89.55 o 5070 90.10/90.11 c 14.0269 10.9688 475 890053 90.10/90.11 o 4911 90.10/90.17 c 14.0299 10.9688 754 890966 90.10/90.17 o 4871 90.30/90.34 c 14.0559 10.9688 590 892351 90.30/90.34 o 4857 93.89/93.94 c 14.6148 11.0859 585 917860 93.89/93.94 o 4825 94.99/95.02 c 14.7728 11.0859 781 927005 94.99/95.02 o 4734 99.69/99.73 c 15.4916 11.0859 423 963908 99.69/99.73 o 4655 99.89/99.99 c 15.5256 11.0859 517 965817 99.89/99.99 o 4623 101.50/101.51 c 15.7626 11.0859 552 977649 101.50/101.51 o 4541 103.90/103.98 c 16.1385 11.0859 574 996856 103.90/103.98 o 4523 104.50/104.58 c 16.2355 11.0859 544 1000235 104.50/104.58 o 4488 104.89/104.95 c 16.2975 11.0859 626 1003370 104.89/104.95 o 4393 105.20/105.23 c 16.3395 11.0859 869 1005889 105.20/105.23 o 4367 106.39/106.41 c 16.5055 11.0859 796 1014869 106.39/106.41 o 4345 108.00/108.09 c 16.7155 11.0859 745 1027945 108.00/108.09 o 4330 108.29/108.32 c 16.7565 11.0859 603 1029442 108.29/108.32 o 4260 109.39/109.44 c 16.9184 11.0859 705 1037850 109.39/109.44 o 4208 112.89/112.94 c 17.5033 11.0859 718 1064024 112.89/112.94 o 4173 113.00/113.00 c 17.5153 11.0859 550 1064497 113.00/113.00 o 4117 114.59/114.65 c 17.7513 11.0859 670 1076549 114.59/114.65 o 4034 116.79/116.86 c 18.1062 11.0859 755 1092422 116.79/116.86 o 4033 117.40/117.45 c 18.2122 11.0859 621 1096948 117.40/117.45 o 3983 118.20/118.22 c 18.3262 11.0859 876 1102935 118.20/118.22 o 3802 119.09/119.19 c 18.4792 11.0859 546 1110271 119.09/119.19 o 3770 119.39/119.42 c 18.5182 11.0859 478 1112153 119.39/119.42 o 3743 119.39/119.48 c 18.5242 11.0859 651 1112710 119.39/119.48 o 3665 122.79/122.80 c 19.0161 11.0859 795 1134409 122.79/122.80 o 3645 124.40/124.40 c 19.2331 11.0859 728 1146532 124.40/124.40 o 3555 124.59/124.68 c 19.2831 11.0859 583 1149026 124.59/124.68 o 3535 124.90/124.94 c 19.3211 11.0859 656 1151225 124.90/124.94 o 3523 125.19/125.21 c 19.3591 11.0859 757 1153378 125.19/125.21 o 3501 125.90/125.99 c 19.472 11.0859 693 1159317 125.90/125.99 o 3483 126.19/126.20 c 19.5 11.0859 529 1160690 126.19/126.20 o 3400 126.30/126.38 c 19.526 11.0859 735 1162205 126.30/126.38 o 3356 126.40/126.43 c 19.535 11.0859 519 1162740 126.40/126.43 o 3248 126.40/126.44 c 19.537 11.0859 565 1162964 126.40/126.44 o 3196 126.60/126.65 c 19.575 11.0859 470 1164781 126.60/126.65 o 3165 126.69/126.72 c 19.588 11.0859 652 1165310 126.69/126.72 o 3156 127.80/127.83 c 19.744 11.207 731 1172928 127.80/127.83 o 3103 128.20/128.25 c 19.806 11.207 551 1176375 128.20/128.25 o 3074 128.60/128.67 c 19.86 11.207 724 1179469 128.60/128.67 o 3020 128.80/128.88 c 19.9 11.207 547 1181116 128.80/128.88 o 2959 129.19/129.28 c 19.951 11.207 567 1184013 129.19/129.28 o 2957 129.30/129.31 c 19.951 11.207 666 1184294 129.30/129.31 o 2914 129.49/129.57 c 19.988 11.207 594 1186002 129.49/129.57 o 2837 129.59/129.68 c 20.001 11.207 468 1186767 129.59/129.68 o 2835 129.89/129.91 c 20.041 11.207 835 1188543 129.89/129.91 o 2798 129.99/130.02 c 20.051 11.207 748 1189455 129.99/130.02 o 2790 129.99/130.06 c 20.056 11.207 509 1189791 129.99/130.06 o 2782 130.50/130.58 c 20.1279 11.207 519 1193243 130.50/130.58 o 2743 130.70/130.79 c 20.1709 11.207 732 1194726 130.70/130.79 o 2732 131.29/131.38 c 20.2639 11.207 490 1198876 131.29/131.38 o 2661 131.69/131.73 c 20.3139 11.207 817 1201561 131.69/131.73 o 2597 131.79/131.90 c 20.3369 11.207 550 1203046 131.79/131.90 o 2549 132.00/132.05 c 20.3539 11.207 604 1204213 132.00/132.05 o 2521 132.00/132.10 c 20.3619 11.207 731 1204632 132.00/132.10 o 2428 132.19/132.30 c 20.3949 11.207 499 1206079 132.19/132.30 o 2381 133.00/133.02 c 20.5069 11.207 724 1211043 133.00/133.02 o 2292 133.20/133.24 c 20.5399 11.207 553 1212725 133.20/133.24 o 2252 133.60/133.68 c 20.6089 11.207 675 1215971 133.60/133.68 o 2182 133.89/133.93 c 20.6399 11.207 543 1217594 133.89/133.93 o 2136 133.89/133.99 c 20.6529 11.207 755 1218164 133.89/133.99 o 2094 134.29/134.38 c 20.7188 11.207 716 1220397 134.29/134.38 o 2071 134.40/134.46 c 20.7318 11.207 506 1220907 134.40/134.46 o 2032 134.49/134.54 c 20.7418 11.207 756 1221702 134.49/134.54 o 2022 134.70/134.78 c 20.7768 11.207 671 1223238 134.70/134.78 o 2003 134.79/134.83 c 20.7848 11.207 462 1223789 134.79/134.83 o 1942 135.30/135.31 c 20.8618 11.207 671 1226817 135.30/135.31 o 1928 135.49/135.57 c 20.9058 11.207 593 1228439 135.49/135.57 o 1830 136.30/136.34 c 21.0368 11.207 510 1233360 136.30/136.34 o 1769 137.29/137.38 c 21.1868 11.207 464 1238497 137.29/137.38 o 1712 137.29/137.40 c 21.1908 11.207 529 1238643 137.29/137.40 o 1677 137.40/137.44 c 21.1958 11.207 628 1238991 137.40/137.44 o 1624 137.50/137.56 c 21.2128 11.207 527 1239773 137.50/137.56 o 1623 137.59/137.66 c 21.2278 11.3398 790 1240574 137.59/137.66 o 1530 137.69/137.74 c 21.2408 11.3398 581 1241061 137.69/137.74 o 1529 137.69/137.78 c 21.2488 11.3398 720 1241507 137.69/137.78 o 1505 137.79/137.83 c 21.2578 11.3398 428 1241921 137.79/137.83 o 1448 137.79/137.87 c 21.2648 11.3398 544 1242248 137.79/137.87 o 1439 137.90/137.99 c 21.2908 11.3398 483 1242993 137.90/137.99 o 1396 138.00/138.03 c 21.3038 11.3398 640 1243428 138.00/138.03 o 1390 138.80/138.81 c 21.4587 11.3398 500 1248817 138.80/138.81 o 1355 138.89/138.90 c 21.4777 11.3398 793 1249430 138.89/138.90 o 1281 139.10/139.11 c 21.5207 11.3398 677 1251182 139.10/139.11 o 1201 139.19/139.26 c 21.5497 11.3398 734 1252445 139.19/139.26 o 1199 139.40/139.48 c 21.5977 11.3398 625 1253875 139.40/139.48 o 1106 139.50/139.58 c 21.6247 11.3398 526 1254478 139.50/139.58 o 1097 139.70/139.72 c 21.6487 11.3398 579 1255563 139.70/139.72 o 991 139.70/139.74 c 21.6567 11.3398 649 1255840 139.70/139.74 o 875 139.70/139.76 c 21.6587 11.3398 721 1256056 139.70/139.76 o 823 139.70/139.78 c 21.6627 11.3398 781 1256192 139.70/139.78 o 809 139.79/139.80 c 21.6677 11.3398 808 1256338 139.79/139.80 o 799 139.79/139.80 c 21.6687 11.3398 836 1256462 139.79/139.80 o 697 139.79/139.85 c 21.6807 11.3398 985 1256809 139.79/139.85 o 673 139.79/139.89 c 21.6937 11.3398 672 1257175 139.79/139.89 o 654 139.90/139.93 c 21.7007 11.3398 809 1257473 139.90/139.93 o 626 139.90/139.96 c 21.7077 11.3398 842 1257792 139.90/139.96 o 513 139.90/139.97 c 21.7097 11.3398 850 1257830 139.90/139.97 o 488 139.90/139.99 c 21.7187 11.3398 780 1258088 139.90/139.99 o 386 139.99/140.00 c 21.7197 11.3398 802 1258139 139.99/140.00 o 379 139.99/140.02 c 21.7297 11.3398 888 1258269 139.99/140.02 o 374 139.99/140.03 c 21.7357 11.3398 848 1258434 139.99/140.03 o 360 139.99/140.04 c 21.7367 11.3398 869 1258495 139.99/140.04 o 316 139.99/140.05 c 21.7427 11.3398 592 1258680 139.99/140.05 o 234 139.99/140.05 c 21.7427 11.3398 592 1258778 139.99/140.05 o 127 139.99/140.05 c 21.7427 11.3398 595 1258806 139.99/140.05 o 109 139.99/140.05 c 21.7457 11.3398 461 1258820 139.99/140.05 s OPTIMUM FOUND 139.99/140.05 v x1 -x2 -x3 x4 x5 -x6 -x7 x8 x9 -x10 -x11 x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 -x23 x24 -x25 x26 x27 -x28 -x29 x30 x31 -x32 -x33 x34 -x35 x36 -x37 x38 x39 -x40 -x41 x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 -x51 x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 -x67 x68 x69 -x70 -x71 x72 -x73 x74 -x75 x76 -x77 x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 -x91 x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 x104 -x105 x106 x107 -x108 -x109 x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 x125 -x126 x127 -x128 x129 -x130 x131 -x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 -x145 x146 x147 -x148 x149 -x150 x151 -x152 -x153 x154 x155 -x156 x157 -x158 -x159 x160 -x161 x162 x163 -x164 -x165 x166 x167 -x168 x169 -x170 -x171 x172 -x173 x174 -x175 x176 x177 -x178 x179 -x180 -x181 x182 -x183 x184 -x185 x186 x187 -x188 -x189 x190 -x191 x192 -x193 x194 -x195 x196 -x197 x198 -x199 x200
OK 109
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700339-1278534808/watcher-2700339-1278534808 -o /tmp/evaluation-result-2700339-1278534808/solver-2700339-1278534808 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700339-1278534808.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.06 2.92 2.10 3/177 15924 /proc/meminfo: memFree=29660096/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=2136 CPUtime=0 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 260 0 0 0 0 0 0 0 21 0 1 0 21628050 2187264 179 4089446400 134512640 136422188 4287953568 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/15924/statm: 534 180 144 467 0 65 0 [startup+0.02922 s] /proc/loadavg: 2.06 2.92 2.10 3/177 15924 /proc/meminfo: memFree=29660096/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=8224 CPUtime=0.02 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 1737 0 0 0 2 0 0 0 21 0 1 0 21628050 8421376 1656 4089446400 134512640 136422188 4287953568 18446744073709551615 135812218 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2056 1659 193 467 0 1587 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8224 [startup+0.101191 s] /proc/loadavg: 2.06 2.92 2.10 3/177 15924 /proc/meminfo: memFree=29660096/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=10460 CPUtime=0.09 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2347 0 0 0 4 5 0 0 21 0 1 0 21628050 10711040 2252 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2615 2252 237 467 0 2146 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10460 [startup+0.300166 s] /proc/loadavg: 2.06 2.92 2.10 3/177 15924 /proc/meminfo: memFree=29660096/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=10588 CPUtime=0.29 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2383 0 0 0 7 22 0 0 21 0 1 0 21628050 10842112 2288 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2647 2288 237 467 0 2178 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10588 [startup+0.701073 s] /proc/loadavg: 2.06 2.92 2.10 3/177 15924 /proc/meminfo: memFree=29660096/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=10588 CPUtime=0.69 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2384 0 0 0 14 55 0 0 22 0 1 0 21628050 10842112 2289 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2647 2289 238 467 0 2178 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10588 [startup+1.50093 s] /proc/loadavg: 2.06 2.92 2.10 3/178 15925 /proc/meminfo: memFree=29650420/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=10588 CPUtime=1.49 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2397 0 0 0 27 122 0 0 25 0 1 0 21628050 10842112 2302 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2647 2302 238 467 0 2178 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10588 [startup+3.10062 s] /proc/loadavg: 2.06 2.92 2.10 3/178 15925 /proc/meminfo: memFree=29650296/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=10716 CPUtime=3.1 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2414 0 0 0 53 257 0 0 25 0 1 0 21628050 10973184 2318 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2679 2318 238 467 0 2210 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 10716 [startup+6.301 s] /proc/loadavg: 2.06 2.91 2.10 3/178 15925 /proc/meminfo: memFree=29647476/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=10716 CPUtime=6.29 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2426 0 0 0 104 525 0 0 25 0 1 0 21628050 10973184 2329 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2679 2329 238 467 0 2210 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10716 [startup+12.7008 s] /proc/loadavg: 2.05 2.89 2.10 3/178 15925 /proc/meminfo: memFree=29639812/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=10844 CPUtime=12.69 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2453 0 0 0 202 1067 0 0 25 0 1 0 21628050 11104256 2355 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2711 2355 238 467 0 2242 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10844 [startup+25.5003 s] /proc/loadavg: 2.04 2.85 2.09 3/178 15925 /proc/meminfo: memFree=29626064/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=10972 CPUtime=25.49 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2488 0 0 0 400 2149 0 0 25 0 1 0 21628050 11235328 2379 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2743 2379 238 467 0 2274 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 10972 [startup+51.1004 s] /proc/loadavg: 2.02 2.78 2.09 3/178 15926 /proc/meminfo: memFree=29591536/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11104 CPUtime=51.09 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2551 0 0 0 810 4299 0 0 25 0 1 0 21628050 11370496 2425 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/15924/statm: 2776 2425 238 467 0 2307 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11104 [startup+102.306 s] /proc/loadavg: 2.01 2.66 2.09 3/178 15927 /proc/meminfo: memFree=29547584/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11348 CPUtime=102.29 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2635 0 0 0 1586 8643 0 0 25 0 1 0 21628050 11620352 2474 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15924/statm: 2837 2474 238 467 0 2368 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 11348 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.01 2.62 2.08 3/178 15927 /proc/meminfo: memFree=29547068/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11348 CPUtime=115.09 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2655 0 0 0 1782 9727 0 0 25 0 1 0 21628050 11620352 2483 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15924/statm: 2837 2483 238 467 0 2368 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 11348 [startup+127.901 s] /proc/loadavg: 2.00 2.60 2.08 3/178 15928 /proc/meminfo: memFree=29545440/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11472 CPUtime=127.9 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2697 0 0 0 1975 10815 0 0 25 0 1 0 21628050 11747328 2506 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15924/statm: 2868 2506 238 467 0 2399 0 Current children cumulated CPU time (s) 127.9 Current children cumulated vsize (KiB) 11472 [startup+134.3 s] /proc/loadavg: 2.00 2.58 2.08 3/178 15928 /proc/meminfo: memFree=29544692/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11472 CPUtime=134.29 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2736 0 0 0 2070 11359 0 0 25 0 1 0 21628050 11747328 2522 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15924/statm: 2868 2522 238 467 0 2399 0 Current children cumulated CPU time (s) 134.29 Current children cumulated vsize (KiB) 11472 [startup+137.506 s] /proc/loadavg: 2.00 2.58 2.08 3/178 15929 /proc/meminfo: memFree=29544808/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11472 CPUtime=137.5 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2760 0 0 0 2120 11630 0 0 25 0 1 0 21628050 11747328 2535 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15924/statm: 2868 2535 238 467 0 2399 0 Current children cumulated CPU time (s) 137.5 Current children cumulated vsize (KiB) 11472 [startup+139.1 s] /proc/loadavg: 2.00 2.57 2.08 3/178 15929 /proc/meminfo: memFree=29544064/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11608 CPUtime=139.1 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2786 0 0 0 2151 11759 0 0 25 0 1 0 21628050 11886592 2551 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15924/statm: 2902 2551 238 467 0 2433 0 Current children cumulated CPU time (s) 139.1 Current children cumulated vsize (KiB) 11608 [startup+139.5 s] /proc/loadavg: 2.00 2.57 2.08 3/178 15929 /proc/meminfo: memFree=29544064/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11608 CPUtime=139.5 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2792 0 0 0 2160 11790 0 0 25 0 1 0 21628050 11886592 2554 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15924/statm: 2902 2554 238 467 0 2433 0 Current children cumulated CPU time (s) 139.5 Current children cumulated vsize (KiB) 11608 [startup+139.9 s] /proc/loadavg: 2.00 2.57 2.08 3/178 15929 /proc/meminfo: memFree=29543940/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11608 CPUtime=139.9 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2807 0 0 0 2169 11821 0 0 18 0 1 0 21628050 11886592 2560 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15924/statm: 2902 2560 238 467 0 2433 0 Current children cumulated CPU time (s) 139.9 Current children cumulated vsize (KiB) 11608 [startup+140 s] /proc/loadavg: 2.00 2.57 2.08 3/178 15929 /proc/meminfo: memFree=29543940/32950928 swapFree=67111528/67111528 [pid=15924] ppid=15922 vsize=11608 CPUtime=139.99 /proc/15924/stat : 15924 (pbct) R 15922 15924 15410 0 -1 4202496 2812 0 0 0 2171 11828 0 0 18 0 1 0 21628050 11886592 2561 4089446400 134512640 136422188 4287953568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0 /proc/15924/statm: 2902 2561 238 467 0 2433 0 Current children cumulated CPU time (s) 139.99 Current children cumulated vsize (KiB) 11608 Child status: 0 Real time (s): 140.067 CPU time (s): 140.072 CPU user time (s): 21.7537 CPU system time (s): 118.318 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 11608 getrusage(RUSAGE_CHILDREN,...) data: user time used= 21.7537 system time used= 118.318 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2825 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5 involuntary context switches= 298 runsolver used 0.186971 second user time and 0.467928 second system time The end
Begin job on node115 at 2010-07-07 22:33:28 IDJOB=2700339 IDBENCH=79419 IDSOLVER=1212 FILE ID=node115/2700339-1278534808 PBS_JOBID= 11239248 Free space on /tmp= 73620 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh13_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700339-1278534808/watcher-2700339-1278534808 -o /tmp/evaluation-result-2700339-1278534808/solver-2700339-1278534808 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700339-1278534808.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3100ea9ba7746ae86daacced189e255b RANDOM SEED=1297522188 node115.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.62 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.812 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29660740 kB Buffers: 124832 kB Cached: 2105364 kB SwapCached: 0 kB Active: 1772012 kB Inactive: 1373860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29660740 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1992 kB Writeback: 0 kB AnonPages: 916256 kB Mapped: 16932 kB Slab: 77444 kB PageTables: 6300 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1126868 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73620 MiB End job on node115 at 2010-07-07 22:35:48