Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 | OPTIMUM | 198.051 | 198.045 |
Name | /PARTIAL-SMALLINT-LIN/wcsp/jnh/ normalized-jnh303_wcsp.wbo |
MD5SUM | 7000a06966de2ad9f6a697139e04f737 |
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 | 351 |
Best CPU time to get the best result obtained on this benchmark | 2.52761 |
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 | 1000 |
Number of soft constraints | 900 |
Number of constraints which are clauses | 900 |
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 | 444855 |
Min constraint cost | 1 |
Max constraint cost | 1000 |
Sum of constraints costs | 444854 |
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.1 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/900 units 0 0.00/0.00 c vars 200 0.00/0.04 c 0.038994 10.1484 1 2033 0.00/0.04 o 32371 0.00/0.04 c 0.038994 10.332 1 2572 0.00/0.04 o 31867 0.00/0.04 c 0.039993 10.332 2 3507 0.00/0.04 o 30731 0.00/0.04 c 0.039993 10.332 2 4452 0.00/0.04 o 7971 0.00/0.04 c 0.040993 10.332 2 5066 0.00/0.04 o 7473 3.69/3.72 c 0.643902 10.707 1347 44853 3.69/3.72 o 7467 9.99/10.05 c 1.89671 10.707 837 100788 9.99/10.05 o 7463 19.79/19.85 c 3.9364 10.8281 926 195579 19.79/19.85 o 7459 20.99/21.04 c 4.13937 10.8281 797 208774 20.99/21.04 o 7422 23.39/23.43 c 4.52231 10.8281 524 231455 23.39/23.43 o 7421 24.19/24.23 c 4.64929 10.8281 675 239364 24.19/24.23 o 7398 27.20/27.25 c 5.33619 10.8281 834 269585 27.20/27.25 o 7370 29.19/29.22 c 5.64914 10.8281 678 291893 29.19/29.22 o 7306 34.19/34.24 c 6.66099 10.8281 704 340653 34.19/34.24 o 7159 36.50/36.50 c 7.01093 10.9531 448 361880 36.50/36.50 o 6971 37.69/37.80 c 7.18991 10.9531 648 370726 37.69/37.80 o 6938 38.19/38.25 c 7.35088 10.9531 476 376221 38.19/38.25 o 6927 39.99/40.03 c 7.84281 10.9531 727 391994 39.99/40.03 o 6805 43.59/43.69 c 8.43972 10.9531 855 427591 43.59/43.69 o 6798 44.69/44.73 c 8.63169 10.9531 538 438876 44.69/44.73 o 6765 49.50/49.54 c 9.63853 10.9531 790 475349 49.50/49.54 o 6673 51.49/51.53 c 10.0145 10.9531 649 495539 51.49/51.53 o 6631 51.59/51.67 c 10.0655 10.9531 858 497164 51.59/51.67 o 6539 52.49/52.58 c 10.3524 10.9531 706 506850 52.49/52.58 o 6530 56.10/56.14 c 10.8803 10.9531 785 538478 56.10/56.14 o 6488 56.19/56.23 c 10.8923 10.9531 708 539458 56.19/56.23 o 6214 60.90/60.97 c 11.8052 11.0742 565 585823 60.90/60.97 o 6165 61.90/61.93 c 11.9542 11.0742 731 595225 61.90/61.93 o 6107 63.79/63.89 c 12.2551 11.0742 763 612805 63.79/63.89 o 6050 64.09/64.17 c 12.3081 11.0742 909 614985 64.09/64.17 o 5899 64.99/65.04 c 12.5861 11.0742 670 623199 64.99/65.04 o 5897 65.69/65.79 c 12.8081 11.0742 731 630559 65.69/65.79 o 5883 68.39/68.45 c 13.224 11.0742 681 653684 68.39/68.45 o 5737 71.29/71.34 c 13.7619 11.0742 523 679354 71.29/71.34 o 5698 71.40/71.42 c 13.7909 11.0742 527 680630 71.40/71.42 o 5467 73.99/74.08 c 14.3448 11.0742 515 700358 73.99/74.08 o 5462 74.70/74.78 c 14.4508 11.0742 513 705938 74.70/74.78 o 5395 77.19/77.28 c 14.8197 11.0742 869 722573 77.19/77.28 o 5331 78.29/78.35 c 15.1537 11.0742 486 733142 78.29/78.35 o 5320 78.80/78.89 c 15.2627 11.0742 611 736914 78.80/78.89 o 5211 78.99/79.01 c 15.2767 11.0742 710 738206 78.99/79.01 o 5131 80.59/80.64 c 15.5256 11.0742 503 751089 80.59/80.64 o 5056 81.00/81.02 c 15.5856 11.0742 695 754034 81.00/81.02 o 5044 81.40/81.42 c 15.6526 11.0742 783 757663 81.40/81.42 o 5002 83.49/83.56 c 15.9476 11.0742 679 773277 83.49/83.56 o 4966 84.39/84.42 c 16.1475 11.0742 655 780712 84.39/84.42 o 4943 86.19/86.24 c 16.5965 11.0742 610 794779 86.19/86.24 o 4919 88.50/88.57 c 16.9664 11.0742 740 813820 88.50/88.57 o 4823 90.59/90.65 c 17.3094 11.0742 407 831942 90.59/90.65 o 4745 96.10/96.14 c 18.3662 11.1992 656 875438 96.10/96.14 o 4718 97.19/97.20 c 18.5402 11.1992 518 884134 97.19/97.20 o 4647 97.40/97.44 c 18.6302 11.1992 588 886420 97.40/97.44 o 4569 97.80/97.88 c 18.7771 11.1992 701 890350 97.80/97.88 o 4543 102.70/102.78 c 19.58 11.1992 598 929663 102.70/102.78 o 4474 102.89/102.94 c 19.625 11.1992 717 930781 102.89/102.94 o 4455 105.19/105.23 c 20.2379 11.1992 623 949482 105.19/105.23 o 4383 106.49/106.53 c 20.4479 11.1992 434 959932 106.49/106.53 o 4323 107.60/107.60 c 20.6129 11.1992 882 966789 107.60/107.60 o 4295 110.59/110.64 c 21.0978 11.1992 587 988817 110.59/110.64 o 4034 111.19/111.23 c 21.3068 11.1992 747 993723 111.19/111.23 o 4031 111.99/112.07 c 21.5147 11.1992 935 1000645 111.99/112.07 o 4030 116.29/116.38 c 22.1826 11.1992 624 1033973 116.29/116.38 o 3978 118.89/118.91 c 22.8415 11.1992 675 1051210 118.89/118.91 o 3952 119.50/119.56 c 22.9225 11.1992 621 1057141 119.50/119.56 o 3874 120.60/120.66 c 23.0745 11.1992 765 1065772 120.60/120.66 o 3776 121.19/121.21 c 23.1605 11.1992 759 1070591 121.19/121.21 o 3761 121.40/121.49 c 23.2025 11.1992 677 1072078 121.40/121.49 o 3760 122.99/123.03 c 23.4024 11.1992 757 1083227 122.99/123.03 o 3744 124.90/124.94 c 23.9374 11.1992 519 1096896 124.90/124.94 o 3736 128.40/128.40 c 24.4533 11.1992 656 1121390 128.40/128.40 o 3681 128.49/128.52 c 24.4683 11.1992 652 1122395 128.49/128.52 o 3623 129.10/129.17 c 24.5623 11.1992 820 1127560 129.10/129.17 o 3596 130.90/130.95 c 25.0042 11.1992 533 1140696 130.90/130.95 o 3491 131.19/131.29 c 25.1132 11.1992 490 1143139 131.19/131.29 o 3419 133.90/133.95 c 25.5431 11.1992 707 1160847 133.90/133.95 o 3394 137.40/137.42 c 26.265 11.1992 693 1185556 137.40/137.42 o 3387 137.50/137.58 c 26.301 11.1992 824 1186904 137.50/137.58 o 3380 141.69/141.74 c 26.9019 11.1992 700 1213558 141.69/141.74 o 3366 141.90/141.99 c 26.9359 11.1992 614 1215363 141.90/141.99 o 3343 142.70/142.70 c 27.0539 11.1992 556 1220097 142.70/142.70 o 3328 142.79/142.86 c 27.0729 11.1992 672 1221209 142.79/142.86 o 3300 143.50/143.54 c 27.3088 11.1992 557 1226300 143.50/143.54 o 3282 144.69/144.79 c 27.5798 11.3242 685 1235592 144.69/144.79 o 3243 146.40/146.43 c 27.8288 11.3242 881 1246022 146.40/146.43 o 3221 146.80/146.88 c 27.8968 11.3242 590 1249183 146.80/146.88 o 3141 148.10/148.17 c 28.1027 11.3242 872 1258099 148.10/148.17 o 3093 150.49/150.57 c 28.6876 11.3242 620 1276287 150.49/150.57 o 2840 150.60/150.67 c 28.7256 11.3242 513 1277110 150.60/150.67 o 2709 154.79/154.84 c 29.4225 11.3242 613 1306408 154.79/154.84 o 2689 155.30/155.33 c 29.5045 11.3242 659 1309095 155.30/155.33 o 2604 156.29/156.37 c 29.7315 11.3242 674 1316368 156.29/156.37 o 2600 158.19/158.30 c 30.2484 11.3242 620 1330053 158.19/158.30 o 2537 158.70/158.76 c 30.3174 11.3242 420 1333072 158.70/158.76 o 2522 159.99/160.07 c 30.5424 11.3242 431 1341476 159.99/160.07 o 2472 164.10/164.14 c 31.4312 11.3242 702 1365215 164.10/164.14 o 2375 166.70/166.73 c 31.8182 11.3242 658 1381415 166.70/166.73 o 2351 167.70/167.73 c 31.9671 11.3242 469 1388363 167.70/167.73 o 2317 168.30/168.36 c 32.0611 11.3242 711 1392347 168.30/168.36 o 2250 168.40/168.43 c 32.0661 11.3242 538 1392959 168.40/168.43 o 2226 168.70/168.71 c 32.1131 11.3242 669 1394972 168.70/168.71 o 2188 169.00/169.10 c 32.1821 11.3242 666 1397650 169.00/169.10 o 2173 169.49/169.50 c 32.2901 11.3242 696 1400587 169.49/169.50 o 2130 169.60/169.67 c 32.3461 11.3242 771 1401668 169.60/169.67 o 2070 172.99/173.08 c 33.085 11.4531 626 1422941 172.99/173.08 o 2068 173.09/173.18 c 33.094 11.4531 523 1423716 173.09/173.18 o 2036 173.49/173.51 c 33.153 11.4531 770 1426182 173.49/173.51 o 2004 173.49/173.60 c 33.168 11.4531 616 1426757 173.49/173.60 o 1984 174.40/174.46 c 33.3279 11.4531 832 1432319 174.40/174.46 o 1979 175.20/175.29 c 33.4749 11.4531 603 1437999 175.20/175.29 o 1903 175.30/175.35 c 33.4829 11.4531 756 1438589 175.30/175.35 o 1877 175.39/175.42 c 33.4889 11.4531 548 1439042 175.39/175.42 o 1867 175.70/175.73 c 33.5389 11.4531 609 1441019 175.70/175.73 o 1818 176.20/176.21 c 33.6889 11.4531 446 1444042 176.20/176.21 o 1743 176.89/176.99 c 33.9778 11.4531 750 1449108 176.89/176.99 o 1739 177.10/177.12 c 33.9988 11.4531 742 1449932 177.10/177.12 o 1736 179.60/179.66 c 34.4308 11.4531 932 1465925 179.60/179.66 o 1716 180.69/180.70 c 34.6027 11.4531 824 1472623 180.69/180.70 o 1676 180.79/180.81 c 34.6217 11.4531 774 1473605 180.79/180.81 o 1653 181.59/181.68 c 34.7577 11.4531 600 1479217 181.59/181.68 o 1620 181.90/181.95 c 34.8077 11.4531 627 1481167 181.90/181.95 o 1552 182.39/182.41 c 34.8957 11.4531 818 1484044 182.39/182.41 o 1523 182.60/182.66 c 34.9877 11.4531 705 1485638 182.60/182.66 o 1480 184.00/184.04 c 35.4136 11.4531 717 1493617 184.00/184.04 o 1466 184.29/184.36 c 35.4606 11.4531 865 1495449 184.29/184.36 o 1428 184.59/184.60 c 35.5106 11.4531 714 1497029 184.59/184.60 o 1369 185.20/185.26 c 35.6186 11.4531 679 1501256 185.20/185.26 o 1347 186.30/186.35 c 35.8346 11.5703 498 1508504 186.30/186.35 o 1341 186.50/186.55 c 35.8615 11.5703 633 1509807 186.50/186.55 o 1285 186.60/186.65 c 35.8855 11.5703 609 1510541 186.60/186.65 o 1284 186.70/186.76 c 35.9075 11.5703 565 1511312 186.70/186.76 o 1282 187.50/187.51 c 36.0485 11.5547 509 1516231 187.50/187.51 o 1245 187.79/187.86 c 36.1055 11.5508 728 1518356 187.79/187.86 o 1240 188.00/188.10 c 36.1445 11.5508 590 1519819 188.00/188.10 o 1215 189.40/189.48 c 36.4795 11.5508 537 1528989 189.40/189.48 o 999 189.80/189.83 c 36.5954 11.5508 721 1531138 189.80/189.83 o 994 190.00/190.02 c 36.6734 11.5508 1077 1532503 190.00/190.02 o 902 190.21/190.29 c 36.7674 11.5508 887 1534223 190.21/190.29 o 895 190.30/190.35 c 36.7854 11.5508 590 1534639 190.30/190.35 o 831 191.60/191.66 c 37.0924 11.5508 974 1543103 191.60/191.66 o 769 191.69/191.78 c 37.1184 11.5508 953 1543958 191.69/191.78 o 711 191.99/192.05 c 37.1913 11.5508 991 1545763 191.99/192.05 o 704 192.80/192.84 c 37.3903 11.5508 633 1550756 192.80/192.84 o 660 194.49/194.60 c 37.8632 11.5508 1136 1563690 194.49/194.60 o 610 195.10/195.12 c 38.0022 11.5508 1088 1567275 195.10/195.12 o 584 195.19/195.27 c 38.0382 11.5508 631 1568278 195.19/195.27 o 581 195.30/195.35 c 38.0592 11.5508 1047 1568870 195.30/195.35 o 570 196.40/196.45 c 38.5291 11.5508 672 1576586 196.40/196.45 o 488 197.60/197.69 c 39.0041 11.5508 742 1585309 197.60/197.69 o 485 197.69/197.76 c 39.0351 11.5508 1130 1585863 197.69/197.76 o 484 197.90/197.92 c 39.0911 11.5508 1357 1587231 197.90/197.92 o 431 198.00/198.01 c 39.1261 11.5508 1113 1587882 198.00/198.01 o 351 198.00/198.03 c 39.1371 11.5508 1267 1588067 198.00/198.03 s OPTIMUM FOUND 198.00/198.03 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 351
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2700384-1278535303/watcher-2700384-1278535303 -o /tmp/evaluation-result-2700384-1278535303/solver-2700384-1278535303 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700384-1278535303.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: 1.98 2.10 2.05 3/178 20729 /proc/meminfo: memFree=28048056/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=2136 CPUtime=0 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 260 0 0 0 0 0 0 0 21 0 1 0 21744085 2187264 180 4089446400 134512640 136421960 4291617280 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20729/statm: 534 180 144 467 0 65 0 [startup+0.0962551 s] /proc/loadavg: 1.98 2.10 2.05 3/178 20729 /proc/meminfo: memFree=28048056/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=10576 CPUtime=0.09 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2389 0 0 0 6 3 0 0 21 0 1 0 21744085 10829824 2304 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20729/statm: 2644 2304 238 467 0 2175 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10576 [startup+0.100253 s] /proc/loadavg: 1.98 2.10 2.05 3/178 20729 /proc/meminfo: memFree=28048056/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=10576 CPUtime=0.09 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2389 0 0 0 6 3 0 0 21 0 1 0 21744085 10829824 2304 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20729/statm: 2644 2304 238 467 0 2175 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10576 [startup+0.300215 s] /proc/loadavg: 1.98 2.10 2.05 3/178 20729 /proc/meminfo: memFree=28048056/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=10704 CPUtime=0.29 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2411 0 0 0 9 20 0 0 21 0 1 0 21744085 10960896 2326 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20729/statm: 2676 2326 238 467 0 2207 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10704 [startup+0.700139 s] /proc/loadavg: 1.98 2.10 2.05 3/178 20729 /proc/meminfo: memFree=28048056/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=10836 CPUtime=0.69 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2426 0 0 0 15 54 0 0 22 0 1 0 21744085 11096064 2341 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20729/statm: 2709 2341 238 467 0 2240 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10836 [startup+1.50098 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20730 /proc/meminfo: memFree=28038984/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=10836 CPUtime=1.49 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2440 0 0 0 28 121 0 0 25 0 1 0 21744085 11096064 2355 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20729/statm: 2709 2355 238 467 0 2240 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10836 [startup+3.10068 s] /proc/loadavg: 1.98 2.10 2.05 3/179 20730 /proc/meminfo: memFree=28036504/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=10960 CPUtime=3.09 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2459 0 0 0 55 254 0 0 25 0 1 0 21744085 11223040 2374 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20729/statm: 2740 2374 238 467 0 2271 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10960 [startup+6.30007 s] /proc/loadavg: 1.98 2.09 2.05 3/179 20730 /proc/meminfo: memFree=28031172/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=10960 CPUtime=6.3 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2472 0 0 0 126 504 0 0 25 0 1 0 21744085 11223040 2386 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20729/statm: 2740 2386 238 467 0 2271 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 10960 [startup+12.7008 s] /proc/loadavg: 1.99 2.09 2.05 3/179 20731 /proc/meminfo: memFree=28023668/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=10960 CPUtime=12.69 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2486 0 0 0 248 1021 0 0 25 0 1 0 21744085 11223040 2399 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20729/statm: 2740 2399 238 467 0 2271 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10960 [startup+25.5004 s] /proc/loadavg: 1.99 2.09 2.05 3/179 20732 /proc/meminfo: memFree=28007612/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11084 CPUtime=25.49 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2511 0 0 0 493 2056 0 0 25 0 1 0 21744085 11350016 2420 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 3 0 0 0 /proc/20729/statm: 2771 2420 238 467 0 2302 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11084 [startup+51.1005 s] /proc/loadavg: 1.99 2.08 2.05 3/179 20732 /proc/meminfo: memFree=27971328/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11212 CPUtime=51.09 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2553 0 0 0 986 4123 0 0 25 0 1 0 21744085 11481088 2452 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2803 2452 238 467 0 2334 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 11212 [startup+102.306 s] /proc/loadavg: 1.99 2.06 2.04 3/179 20734 /proc/meminfo: memFree=27902444/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11464 CPUtime=102.3 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2634 0 0 0 1951 8279 0 0 25 0 1 0 21744085 11739136 2501 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2866 2501 238 467 0 2397 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11464 [startup+162.3 s] /proc/loadavg: 1.99 2.05 2.04 3/179 20735 /proc/meminfo: memFree=27821740/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11592 CPUtime=162.3 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2725 0 0 0 3088 13142 0 0 25 0 1 0 21744085 11870208 2551 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2898 2551 238 467 0 2429 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 11592 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 1.99 2.05 2.03 3/179 20736 /proc/meminfo: memFree=27799284/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11724 CPUtime=179.1 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2772 0 0 0 3434 14476 0 0 25 0 1 0 21744085 12005376 2577 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2931 2577 238 467 0 2462 0 Current children cumulated CPU time (s) 179.1 Current children cumulated vsize (KiB) 11724 [startup+185.501 s] /proc/loadavg: 1.99 2.05 2.03 3/179 20736 /proc/meminfo: memFree=27790224/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11724 CPUtime=185.49 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2791 0 0 0 3565 14984 0 0 25 0 1 0 21744085 12005376 2585 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2931 2585 238 467 0 2462 0 Current children cumulated CPU time (s) 185.49 Current children cumulated vsize (KiB) 11724 [startup+191.901 s] /proc/loadavg: 1.99 2.04 2.03 3/179 20736 /proc/meminfo: memFree=27780676/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11824 CPUtime=191.89 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2824 0 0 0 3714 15475 0 0 25 0 1 0 21744085 12107776 2604 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2956 2604 238 467 0 2487 0 Current children cumulated CPU time (s) 191.89 Current children cumulated vsize (KiB) 11824 [startup+195.101 s] /proc/loadavg: 1.99 2.04 2.03 3/179 20736 /proc/meminfo: memFree=27775336/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11824 CPUtime=195.1 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2832 0 0 0 3799 15711 0 0 25 0 1 0 21744085 12107776 2609 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2956 2609 238 467 0 2487 0 Current children cumulated CPU time (s) 195.1 Current children cumulated vsize (KiB) 11824 [startup+196.701 s] /proc/loadavg: 1.99 2.04 2.03 3/179 20736 /proc/meminfo: memFree=27774592/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11824 CPUtime=196.7 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2836 0 0 0 3865 15805 0 0 25 0 1 0 21744085 12107776 2609 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2956 2609 238 467 0 2487 0 Current children cumulated CPU time (s) 196.7 Current children cumulated vsize (KiB) 11824 [startup+197.5 s] /proc/loadavg: 1.99 2.04 2.03 3/179 20736 /proc/meminfo: memFree=27772852/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11824 CPUtime=197.5 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2838 0 0 0 3895 15855 0 0 25 0 1 0 21744085 12107776 2611 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2956 2611 238 467 0 2487 0 Current children cumulated CPU time (s) 197.5 Current children cumulated vsize (KiB) 11824 [startup+197.9 s] /proc/loadavg: 1.99 2.04 2.03 3/179 20736 /proc/meminfo: memFree=27771116/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11824 CPUtime=197.9 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2843 0 0 0 3908 15882 0 0 25 0 1 0 21744085 12107776 2614 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2956 2614 238 467 0 2487 0 Current children cumulated CPU time (s) 197.9 Current children cumulated vsize (KiB) 11824 [startup+198.006 s] /proc/loadavg: 1.99 2.04 2.03 3/179 20736 /proc/meminfo: memFree=27771116/32950928 swapFree=67111528/67111528 [pid=20729] ppid=20727 vsize=11824 CPUtime=198 /proc/20729/stat : 20729 (pbct) R 20727 20729 19207 0 -1 4202496 2844 0 0 0 3912 15888 0 0 25 0 1 0 21744085 12107776 2614 4089446400 134512640 136421960 4291617280 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 5 0 0 0 /proc/20729/statm: 2956 2614 238 467 0 2487 0 Current children cumulated CPU time (s) 198 Current children cumulated vsize (KiB) 11824 Child status: 0 Real time (s): 198.045 CPU time (s): 198.051 CPU user time (s): 39.1451 CPU system time (s): 158.906 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 11848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 39.145 system time used= 158.906 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2850 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= 1 involuntary context switches= 408 runsolver used 0.25696 second user time and 0.657899 second system time The end
Begin job on node127 at 2010-07-07 22:41:43 IDJOB=2700384 IDBENCH=79423 IDSOLVER=1208 FILE ID=node127/2700384-1278535303 PBS_JOBID= 11239223 Free space on /tmp= 73196 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh303_wcsp.wbo COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2700384-1278535303/watcher-2700384-1278535303 -o /tmp/evaluation-result-2700384-1278535303/solver-2700384-1278535303 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700384-1278535303.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7000a06966de2ad9f6a697139e04f737 RANDOM SEED=280736048 node127.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.804 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.60 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.804 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 : 5424.67 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.804 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.74 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.804 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.83 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.804 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.75 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.804 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.68 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.804 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.804 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: 28048824 kB Buffers: 139540 kB Cached: 2617844 kB SwapCached: 0 kB Active: 3070576 kB Inactive: 1669908 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 28048824 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1968 kB Writeback: 0 kB AnonPages: 1982908 kB Mapped: 16852 kB Slab: 92556 kB PageTables: 8416 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 2126752 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= 73196 MiB End job on node127 at 2010-07-07 22:45:01