Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PB/CT 0.1 fixed | OPTIMUM | 198.613 | 198.608 |
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.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/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.039993 10.332 1 2572 0.00/0.04 o 31867 0.00/0.04 c 0.040993 10.332 2 3507 0.00/0.04 o 30731 0.00/0.04 c 0.041993 10.332 2 4452 0.00/0.04 o 7971 0.00/0.04 c 0.042993 10.332 2 5066 0.00/0.04 o 7473 3.69/3.73 c 2.33964 10.707 1347 44853 3.69/3.73 o 7467 9.99/10.09 c 6.25105 10.707 837 100788 9.99/10.09 o 7463 19.89/19.91 c 12.3001 10.8281 926 195579 19.89/19.91 o 7459 21.09/21.10 c 13.029 10.8281 797 208774 21.09/21.10 o 7422 23.49/23.50 c 14.4978 10.8281 524 231455 23.49/23.50 o 7421 24.29/24.30 c 14.9777 10.8281 675 239364 24.29/24.30 o 7398 27.30/27.33 c 16.8444 10.8281 834 269585 27.30/27.33 o 7370 29.29/29.30 c 18.0942 10.8281 678 291893 29.29/29.30 o 7306 34.29/34.33 c 21.1578 10.8281 704 340653 34.29/34.33 o 7159 36.49/36.60 c 22.5686 10.9531 448 361880 36.49/36.60 o 6971 37.89/37.90 c 23.3774 10.9531 648 370726 37.89/37.90 o 6938 38.29/38.35 c 23.6704 10.9531 476 376221 38.29/38.35 o 6927 40.09/40.14 c 24.7562 10.9531 727 391994 40.09/40.14 o 6805 43.79/43.81 c 27.0939 10.9531 855 427591 43.79/43.81 o 6798 44.79/44.85 c 27.7428 10.9531 538 438876 44.79/44.85 o 6765 49.59/49.67 c 30.7813 10.9531 790 475349 49.59/49.67 o 6673 51.60/51.67 c 32.0261 10.9531 649 495539 51.60/51.67 o 6631 51.80/51.81 c 32.1181 10.9531 858 497164 51.80/51.81 o 6539 52.70/52.72 c 32.694 10.9531 706 506850 52.70/52.72 o 6530 56.20/56.29 c 34.8597 10.9531 785 538478 56.20/56.29 o 6488 56.29/56.38 c 34.9257 10.9531 708 539458 56.29/56.38 o 6214 61.09/61.13 c 37.9142 11.0742 565 585823 61.09/61.13 o 6165 61.99/62.09 c 38.5321 11.0742 731 595225 61.99/62.09 o 6107 63.99/64.06 c 39.701 11.0742 763 612805 63.99/64.06 o 6050 64.29/64.34 c 39.8839 11.0742 909 614985 64.29/64.34 o 5899 65.19/65.21 c 40.4359 11.0742 670 623199 65.19/65.21 o 5897 65.90/65.96 c 40.9228 11.0742 731 630559 65.90/65.96 o 5883 68.60/68.63 c 42.5615 11.0742 681 653684 68.60/68.63 o 5737 71.49/71.53 c 44.3443 11.0742 523 679354 71.49/71.53 o 5698 71.59/71.61 c 44.3952 11.0742 527 680630 71.59/71.61 o 5467 74.19/74.28 c 45.988 11.0742 515 700358 74.19/74.28 o 5462 74.89/74.99 c 46.4089 11.0742 513 705938 74.89/74.99 o 5395 77.39/77.48 c 47.9477 11.0742 869 722573 77.39/77.48 o 5331 78.50/78.56 c 48.5956 11.0742 486 733142 78.50/78.56 o 5320 79.09/79.10 c 48.9406 11.0742 611 736914 79.09/79.10 o 5211 79.20/79.22 c 49.0185 11.0742 710 738206 79.20/79.22 o 5131 80.80/80.86 c 50.0334 11.0742 503 751089 80.80/80.86 o 5056 81.19/81.24 c 50.2664 11.0742 695 754034 81.19/81.24 o 5044 81.59/81.64 c 50.5003 11.0742 783 757663 81.59/81.64 o 5002 83.70/83.79 c 51.8351 11.0742 679 773277 83.70/83.79 o 4966 84.60/84.64 c 52.373 11.0742 655 780712 84.60/84.64 o 4943 86.40/86.47 c 53.4979 11.0742 610 794779 86.40/86.47 o 4919 88.79/88.81 c 54.9147 11.0742 740 813820 88.79/88.81 o 4823 90.79/90.89 c 56.1985 11.0742 407 831942 90.79/90.89 o 4745 96.39/96.40 c 59.5759 11.1992 656 875438 96.39/96.40 o 4718 97.40/97.47 c 60.2438 11.1992 518 884134 97.40/97.47 o 4647 97.69/97.70 c 60.3898 11.1992 588 886420 97.69/97.70 o 4569 98.10/98.15 c 60.6598 11.1992 701 890350 98.10/98.15 o 4543 102.99/103.06 c 63.6953 11.1992 598 929663 102.99/103.06 o 4474 103.20/103.21 c 63.7903 11.1992 717 930781 103.20/103.21 o 4455 105.49/105.51 c 65.2561 11.1992 623 949482 105.49/105.51 o 4383 106.79/106.82 c 66.07 11.1992 434 959932 106.79/106.82 o 4323 107.80/107.89 c 66.7509 11.1992 882 966789 107.80/107.89 o 4295 110.89/110.94 c 68.6116 11.1992 587 988817 110.89/110.94 o 4034 111.50/111.53 c 68.9715 11.1992 747 993723 111.50/111.53 o 4031 112.29/112.38 c 69.5064 11.1992 935 1000645 112.29/112.38 o 4030 116.60/116.69 c 72.149 11.1992 624 1033973 116.60/116.69 o 3978 119.19/119.23 c 73.6988 11.1992 675 1051210 119.19/119.23 o 3952 119.80/119.88 c 74.0867 11.1992 621 1057141 119.80/119.88 o 3874 120.90/120.98 c 74.7836 11.1992 765 1065772 120.90/120.98 o 3776 121.49/121.54 c 75.1186 11.1992 759 1070591 121.49/121.54 o 3761 121.79/121.81 c 75.2946 11.1992 677 1072078 121.79/121.81 o 3760 123.29/123.36 c 76.2404 11.1992 757 1083227 123.29/123.36 o 3744 125.19/125.27 c 77.4382 11.1992 519 1096896 125.19/125.27 o 3736 128.70/128.74 c 79.5699 11.1992 656 1121390 128.70/128.74 o 3681 128.79/128.86 c 79.6339 11.1992 652 1122395 128.79/128.86 o 3623 129.49/129.51 c 80.0308 11.1992 820 1127560 129.49/129.51 o 3596 131.20/131.30 c 81.1517 11.1992 533 1140696 131.20/131.30 o 3491 131.59/131.64 c 81.3646 11.1992 490 1143139 131.59/131.64 o 3419 134.29/134.31 c 82.9934 11.1992 707 1160847 134.29/134.31 o 3394 137.69/137.78 c 85.1031 11.1992 693 1185556 137.69/137.78 o 3387 137.89/137.94 c 85.214 11.1992 824 1186904 137.89/137.94 o 3380 142.09/142.11 c 87.7947 11.1992 700 1213558 142.09/142.11 o 3366 142.29/142.36 c 87.9226 11.1992 614 1215363 142.29/142.36 o 3343 143.00/143.07 c 88.3746 11.1992 556 1220097 143.00/143.07 o 3328 143.19/143.23 c 88.4685 11.1992 672 1221209 143.19/143.23 o 3300 143.89/143.92 c 88.8905 11.1992 557 1226300 143.89/143.92 o 3282 145.10/145.17 c 89.6314 11.3242 685 1235592 145.10/145.17 o 3243 146.80/146.82 c 90.6502 11.3242 881 1246022 146.80/146.82 o 3221 147.20/147.27 c 90.9272 11.3242 590 1249183 147.20/147.27 o 3141 148.50/148.55 c 91.7021 11.3242 872 1258099 148.50/148.55 o 3093 150.89/150.96 c 93.1788 11.3242 620 1276287 150.89/150.96 o 2840 151.00/151.07 c 93.2438 11.3242 513 1277110 151.00/151.07 o 2709 155.19/155.24 c 95.8674 11.3242 613 1306408 155.19/155.24 o 2689 155.69/155.73 c 96.1544 11.3242 659 1309095 155.69/155.73 o 2604 156.70/156.77 c 96.8393 11.3242 674 1316368 156.70/156.77 o 2600 158.69/158.71 c 98.0341 11.3242 620 1330053 158.69/158.71 o 2537 159.10/159.17 c 98.3191 11.3242 420 1333072 159.10/159.17 o 2522 160.39/160.49 c 99.1079 11.3242 431 1341476 160.39/160.49 o 2472 164.50/164.56 c 101.619 11.3242 702 1365215 164.50/164.56 o 2375 167.10/167.17 c 103.192 11.3242 658 1381415 167.10/167.17 o 2351 168.10/168.16 c 103.801 11.3242 469 1388363 168.10/168.16 o 2317 168.80/168.81 c 104.2 11.3242 711 1392347 168.80/168.81 o 2250 168.80/168.87 c 104.24 11.3242 538 1392959 168.80/168.87 o 2226 169.10/169.16 c 104.412 11.3242 669 1394972 169.10/169.16 o 2188 169.49/169.54 c 104.651 11.3242 666 1397650 169.49/169.54 o 2173 169.90/169.94 c 104.893 11.3242 696 1400587 169.90/169.94 o 2130 170.09/170.11 c 104.995 11.3242 771 1401668 170.09/170.11 o 2070 173.49/173.53 c 107.191 11.4531 626 1422941 173.49/173.53 o 2068 173.59/173.64 c 107.254 11.4531 523 1423716 173.59/173.64 o 2036 173.90/173.96 c 107.454 11.4531 770 1426182 173.90/173.96 o 2004 173.99/174.05 c 107.503 11.4531 616 1426757 173.99/174.05 o 1984 174.90/174.92 c 108.041 11.4531 832 1432319 174.90/174.92 o 1979 175.69/175.76 c 108.562 11.4531 603 1437999 175.69/175.76 o 1903 175.79/175.81 c 108.599 11.4531 756 1438589 175.79/175.81 o 1877 175.79/175.89 c 108.646 11.4531 548 1439042 175.79/175.89 o 1867 176.20/176.20 c 108.834 11.4531 609 1441019 176.20/176.20 o 1818 176.60/176.67 c 109.14 11.4531 446 1444042 176.60/176.67 o 1743 177.40/177.46 c 109.634 11.4531 750 1449108 177.40/177.46 o 1739 177.50/177.59 c 109.715 11.4531 742 1449932 177.50/177.59 o 1736 180.10/180.14 c 111.288 11.4531 932 1465925 180.10/180.14 o 1716 181.09/181.18 c 111.953 11.4531 824 1472623 181.09/181.18 o 1676 181.20/181.29 c 112.025 11.4531 774 1473605 181.20/181.29 o 1653 182.09/182.17 c 112.557 11.4531 600 1479217 182.09/182.17 o 1620 182.40/182.44 c 112.721 11.4531 627 1481167 182.40/182.44 o 1552 182.90/182.90 c 113.011 11.4531 818 1484044 182.90/182.90 o 1523 183.10/183.16 c 113.151 11.4531 705 1485638 183.10/183.16 o 1480 184.49/184.54 c 113.984 11.4531 717 1493617 184.49/184.54 o 1466 184.81/184.86 c 114.177 11.4531 865 1495449 184.81/184.86 o 1428 185.09/185.10 c 114.322 11.4531 714 1497029 185.09/185.10 o 1369 185.69/185.77 c 114.735 11.4531 679 1501256 185.69/185.77 o 1347 186.79/186.86 c 115.43 11.5703 498 1508504 186.79/186.86 o 1341 187.00/187.05 c 115.554 11.5703 633 1509807 187.00/187.05 o 1285 187.10/187.16 c 115.622 11.5703 609 1510541 187.10/187.16 o 1284 187.19/187.27 c 115.697 11.5703 565 1511312 187.19/187.27 o 1282 188.00/188.02 c 116.188 11.5547 509 1516231 188.00/188.02 o 1245 188.30/188.37 c 116.399 11.5508 728 1518356 188.30/188.37 o 1240 188.59/188.61 c 116.545 11.5508 590 1519819 188.59/188.61 o 1215 189.99/190.00 c 117.42 11.5508 537 1528989 189.99/190.00 o 999 190.30/190.35 c 117.649 11.5508 721 1531138 190.30/190.35 o 994 190.50/190.55 c 117.772 11.5508 1077 1532503 190.50/190.55 o 902 190.80/190.82 c 117.95 11.5508 887 1534223 190.80/190.82 o 895 190.80/190.87 c 117.99 11.5508 590 1534639 190.80/190.87 o 831 192.09/192.19 c 118.853 11.5508 974 1543103 192.09/192.19 o 769 192.30/192.31 c 118.934 11.5508 953 1543958 192.30/192.31 o 711 192.50/192.58 c 119.11 11.5508 991 1545763 192.50/192.58 o 704 193.29/193.38 c 119.629 11.5508 633 1550756 193.29/193.38 o 660 195.10/195.14 c 120.856 11.5508 1136 1563690 195.10/195.14 o 610 195.60/195.66 c 121.219 11.5508 1088 1567275 195.60/195.66 o 584 195.80/195.82 c 121.324 11.5508 631 1568278 195.80/195.82 o 581 195.90/195.90 c 121.377 11.5508 1047 1568870 195.90/195.90 o 570 197.00/197.00 c 122.095 11.5508 672 1576586 197.00/197.00 o 488 198.19/198.25 c 122.988 11.5508 742 1585309 198.19/198.25 o 485 198.30/198.32 c 123.043 11.5508 1130 1585863 198.30/198.32 o 484 198.40/198.48 c 123.163 11.5508 1357 1587231 198.40/198.48 o 431 198.50/198.57 c 123.232 11.5508 1113 1587882 198.50/198.57 o 351 198.50/198.59 c 123.249 11.5508 1267 1588067 198.50/198.59 s OPTIMUM FOUND 198.50/198.59 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-2700387-1278535346/watcher-2700387-1278535346 -o /tmp/evaluation-result-2700387-1278535346/solver-2700387-1278535346 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700387-1278535346.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.00 2.11 2.11 4/178 21071 /proc/meminfo: memFree=29697728/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=2136 CPUtime=0 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 261 0 0 0 0 0 0 0 25 0 1 0 21748960 2187264 180 4089446400 134512640 136422188 4292020768 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0 /proc/21071/statm: 534 180 144 467 0 65 0 [startup+0.0984429 s] /proc/loadavg: 2.00 2.11 2.11 4/178 21071 /proc/meminfo: memFree=29697728/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=10576 CPUtime=0.09 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2391 0 0 0 7 2 0 0 25 0 1 0 21748960 10829824 2305 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2644 2305 238 467 0 2175 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10576 [startup+0.100443 s] /proc/loadavg: 2.00 2.11 2.11 4/178 21071 /proc/meminfo: memFree=29697728/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=10576 CPUtime=0.09 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2391 0 0 0 7 2 0 0 25 0 1 0 21748960 10829824 2305 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2644 2305 238 467 0 2175 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10576 [startup+0.300418 s] /proc/loadavg: 2.00 2.11 2.11 4/178 21071 /proc/meminfo: memFree=29697728/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=10704 CPUtime=0.29 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2413 0 0 0 19 10 0 0 25 0 1 0 21748960 10960896 2327 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2676 2327 238 467 0 2207 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10704 [startup+0.700338 s] /proc/loadavg: 2.00 2.11 2.11 4/178 21071 /proc/meminfo: memFree=29697728/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=10836 CPUtime=0.69 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2428 0 0 0 44 25 0 0 25 0 1 0 21748960 11096064 2342 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2709 2342 238 467 0 2240 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10836 [startup+1.50019 s] /proc/loadavg: 2.00 2.11 2.11 3/179 21072 /proc/meminfo: memFree=29688420/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=10836 CPUtime=1.49 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2442 0 0 0 94 55 0 0 25 0 1 0 21748960 11096064 2356 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2709 2356 238 467 0 2240 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10836 [startup+3.10091 s] /proc/loadavg: 2.00 2.11 2.11 3/179 21072 /proc/meminfo: memFree=29686932/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=10960 CPUtime=3.09 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2461 0 0 0 194 115 0 0 25 0 1 0 21748960 11223040 2375 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2740 2375 238 467 0 2271 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10960 [startup+6.30034 s] /proc/loadavg: 2.00 2.11 2.11 3/179 21072 /proc/meminfo: memFree=29684044/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=10960 CPUtime=6.29 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2474 0 0 0 390 239 0 0 25 0 1 0 21748960 11223040 2387 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2740 2387 238 467 0 2271 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10960 [startup+12.7002 s] /proc/loadavg: 2.00 2.11 2.11 3/179 21073 /proc/meminfo: memFree=29675004/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=10960 CPUtime=12.69 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2488 0 0 0 785 484 0 0 25 0 1 0 21748960 11223040 2400 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2740 2400 238 467 0 2271 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10960 [startup+25.5009 s] /proc/loadavg: 2.07 2.12 2.12 3/179 21073 /proc/meminfo: memFree=29658168/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11084 CPUtime=25.5 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2513 0 0 0 1571 979 0 0 25 0 1 0 21748960 11350016 2421 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2771 2421 238 467 0 2302 0 Current children cumulated CPU time (s) 25.5 Current children cumulated vsize (KiB) 11084 [startup+51.1004 s] /proc/loadavg: 2.04 2.11 2.11 3/179 21073 /proc/meminfo: memFree=29626376/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11212 CPUtime=51.09 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2555 0 0 0 3167 1942 0 0 25 0 1 0 21748960 11481088 2453 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2803 2453 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: 2.02 2.09 2.10 3/179 21075 /proc/meminfo: memFree=29560864/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11464 CPUtime=102.3 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2636 0 0 0 6322 3908 0 0 25 0 1 0 21748960 11739136 2502 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2866 2502 238 467 0 2397 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 11464 [startup+162.301 s] /proc/loadavg: 2.00 2.07 2.09 3/179 21077 /proc/meminfo: memFree=29483196/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11592 CPUtime=162.29 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2726 0 0 0 10021 6208 0 0 25 0 1 0 21748960 11870208 2551 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2898 2551 238 467 0 2429 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 11592 Solver just ended. Dumping a history of the last processes samples [startup+179.101 s] /proc/loadavg: 2.00 2.07 2.09 3/179 21077 /proc/meminfo: memFree=29463700/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11724 CPUtime=179.09 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2773 0 0 0 11067 6842 0 0 25 0 1 0 21748960 12005376 2577 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2931 2577 238 467 0 2462 0 Current children cumulated CPU time (s) 179.09 Current children cumulated vsize (KiB) 11724 [startup+191.901 s] /proc/loadavg: 2.00 2.06 2.09 3/179 21077 /proc/meminfo: memFree=29444460/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11824 CPUtime=191.9 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2823 0 0 0 11865 7325 0 0 19 0 1 0 21748960 12107776 2604 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2956 2604 238 467 0 2487 0 Current children cumulated CPU time (s) 191.9 Current children cumulated vsize (KiB) 11824 [startup+195.101 s] /proc/loadavg: 2.00 2.06 2.09 3/179 21077 /proc/meminfo: memFree=29441344/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11824 CPUtime=195.1 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2832 0 0 0 12082 7428 0 0 20 0 1 0 21748960 12107776 2609 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/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: 2.00 2.06 2.09 3/179 21077 /proc/meminfo: memFree=29440600/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11824 CPUtime=196.7 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2836 0 0 0 12189 7481 0 0 20 0 1 0 21748960 12107776 2609 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2956 2609 238 467 0 2487 0 Current children cumulated CPU time (s) 196.7 Current children cumulated vsize (KiB) 11824 [startup+197.501 s] /proc/loadavg: 2.00 2.06 2.09 3/179 21077 /proc/meminfo: memFree=29438368/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11824 CPUtime=197.49 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2837 0 0 0 12244 7505 0 0 22 0 1 0 21748960 12107776 2609 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2956 2609 238 467 0 2487 0 Current children cumulated CPU time (s) 197.49 Current children cumulated vsize (KiB) 11824 [startup+198.3 s] /proc/loadavg: 2.00 2.06 2.09 3/179 21077 /proc/meminfo: memFree=29436632/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11824 CPUtime=198.3 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2842 0 0 0 12302 7528 0 0 25 0 1 0 21748960 12107776 2613 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2956 2613 238 467 0 2487 0 Current children cumulated CPU time (s) 198.3 Current children cumulated vsize (KiB) 11824 [startup+198.5 s] /proc/loadavg: 2.00 2.06 2.09 3/179 21077 /proc/meminfo: memFree=29436632/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11824 CPUtime=198.5 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2845 0 0 0 12317 7533 0 0 25 0 1 0 21748960 12107776 2614 4089446400 134512640 136422188 4292020768 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2956 2614 238 467 0 2487 0 Current children cumulated CPU time (s) 198.5 Current children cumulated vsize (KiB) 11824 [startup+198.6 s] /proc/loadavg: 2.00 2.06 2.09 3/179 21077 /proc/meminfo: memFree=29436632/32951124 swapFree=67111528/67111528 [pid=21071] ppid=21069 vsize=11304 CPUtime=198.6 /proc/21071/stat : 21071 (pbct) R 21069 21071 20458 0 -1 4202496 2850 0 0 0 12325 7535 0 0 18 0 1 0 21748960 11575296 2487 4089446400 134512640 136422188 4292020768 18446744073709551615 134710533 0 0 4096 16387 0 0 0 17 6 0 0 0 /proc/21071/statm: 2826 2487 241 467 0 2357 0 Current children cumulated CPU time (s) 198.6 Current children cumulated vsize (KiB) 11304 Child status: 0 Real time (s): 198.608 CPU time (s): 198.613 CPU user time (s): 123.258 CPU system time (s): 75.3545 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 11848 getrusage(RUSAGE_CHILDREN,...) data: user time used= 123.258 system time used= 75.3545 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2851 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= 218 runsolver used 0.287956 second user time and 0.623905 second system time The end
Begin job on node103 at 2010-07-07 22:42:26 IDJOB=2700387 IDBENCH=79423 IDSOLVER=1212 FILE ID=node103/2700387-1278535346 PBS_JOBID= 11239272 Free space on /tmp= 73740 MiB SOLVER NAME= PB/CT 0.1 fixed 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-2700387-1278535346/watcher-2700387-1278535346 -o /tmp/evaluation-result-2700387-1278535346/solver-2700387-1278535346 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2700387-1278535346.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7000a06966de2ad9f6a697139e04f737 RANDOM SEED=1567576262 node103.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.793 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.58 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.793 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.82 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.793 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.793 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.86 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.793 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.793 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.82 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.793 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.75 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.793 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 : 5408.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 29698256 kB Buffers: 129796 kB Cached: 2308792 kB SwapCached: 0 kB Active: 1640448 kB Inactive: 1470128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 29698256 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 1972 kB Writeback: 0 kB AnonPages: 672216 kB Mapped: 17028 kB Slab: 77732 kB PageTables: 6124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 818896 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= 73736 MiB End job on node103 at 2010-07-07 22:45:44