Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | OPT | 1228810444800 | 1490.08 | 1490.69 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb |
MD5SUM | 34e6501168eba14fba603ee8987209fc |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1228810444800 |
Best CPU time to get the best result obtained on this benchmark | 53.9248 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1470471039630 |
Optimality of the best value was proved | NO |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 536870912000000 |
Number of bits for the biggest coefficient in the objective function | 49 |
Sum of the numbers in the objective function | 1073761158741413 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 71583145981965762560 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 303620978593259231065 |
Number of bits of the biggest sum of numbers | 69 |
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 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.09/0.10 c constraints 401/0 clauses 0/0 units 4 0.09/0.10 c vars 780 0.09/0.10 c objective 478 + 0 2.10/2.15 c 2.01569 113.016 54 1768 2.10/2.15 o 402657847948901 2.69/2.79 c 2.6506 115.621 105 3903 2.69/2.79 o 268437888540656 2.99/3.01 c 2.86656 115.621 128 4513 2.99/3.01 o 167774544843175 3.78/3.81 c 3.65544 115.75 315 5388 3.78/3.81 o 150997349552535 3.99/4.04 c 3.87141 115.75 344 5835 3.99/4.04 o 150997323473477 4.19/4.26 c 4.09238 115.879 371 6456 4.19/4.26 o 150997318384714 4.40/4.41 c 4.23735 115.879 376 6882 4.40/4.41 o 142608739584146 4.49/4.58 c 4.40933 115.879 390 7295 4.49/4.58 o 142608727814330 4.69/4.73 c 4.55131 115.879 393 7675 4.69/4.73 o 140511596017452 5.29/5.33 c 5.15222 115.879 548 8398 5.29/5.33 o 136292688738777 5.40/5.50 c 5.31519 115.879 558 8800 5.40/5.50 o 136290656166461 5.59/5.65 c 5.46317 115.879 561 9183 5.59/5.65 o 136290640356381 5.78/5.82 c 5.62914 115.879 569 9601 5.78/5.82 o 136040794177809 5.88/5.97 c 5.78112 116.008 575 10042 5.88/5.97 o 135268596929366 6.09/6.13 c 5.9361 116.008 579 10438 6.09/6.13 o 135268572070537 6.19/6.28 c 6.08807 116.008 582 10837 6.19/6.28 o 135268565651907 6.38/6.43 c 6.23105 116.008 584 11198 6.38/6.43 o 135268551486683 6.59/6.63 c 6.43102 116.008 602 11672 6.59/6.63 o 135237299154527 6.89/6.95 c 6.74797 116.008 631 12345 6.89/6.95 o 135237298996629 7.08/7.13 c 6.92195 116.008 643 12823 7.08/7.13 o 135237283885327 7.29/7.30 c 7.09192 116.008 653 13316 7.29/7.30 o 135211209680968 7.39/7.46 c 7.2489 116.008 657 13687 7.39/7.46 o 135207127779147 7.60/7.61 c 7.39288 116.008 657 14102 7.60/7.61 o 135207098922282 7.79/7.85 c 7.63584 116.008 685 14569 7.79/7.85 o 135207085644012 7.98/8.01 c 7.79082 116.008 688 14924 7.98/8.01 o 135207085644011 8.19/8.21 c 7.98379 116.008 700 15342 8.19/8.21 o 135202974276805 8.29/8.36 c 8.13376 116.008 704 15689 8.29/8.36 o 135202895223724 8.49/8.52 c 8.29274 116.008 709 15979 8.49/8.52 o 135202895223693 8.59/8.67 c 8.44372 116.008 713 16405 8.59/8.67 o 133695623971981 8.79/8.82 c 8.59369 116.008 718 16778 8.79/8.82 o 133695619143861 8.99/9.02 c 8.78566 116.008 724 17292 8.99/9.02 o 133498997997026 9.09/9.19 c 8.95664 116.008 731 17657 9.09/9.19 o 133498997997012 9.29/9.37 c 9.13461 116.008 744 18061 9.29/9.37 o 133498996403367 9.49/9.54 c 9.30059 116.008 755 18443 9.49/9.54 o 133482614584637 9.59/9.68 c 9.44756 116.008 409 18794 9.59/9.68 o 133478654760574 9.79/9.83 c 9.58854 116.008 409 19120 9.79/9.83 o 133478648455004 9.98/10.00 c 9.76252 116.008 412 19558 9.98/10.00 o 132484201684483 10.09/10.16 c 9.91949 116.008 414 19922 10.09/10.16 o 132434024437533 10.29/10.30 c 10.0605 116.008 415 20245 10.29/10.30 o 132434024437410 15.58/15.60 c 15.2927 116.523 2528 23338 15.58/15.60 o 67109780683662 16.79/16.83 c 16.5115 116.652 2969 24434 16.79/16.83 o 65536990374231 16.99/17.00 c 16.6775 116.652 2973 24932 16.99/17.00 o 65536990240831 17.18/17.21 c 16.8784 116.652 2989 25515 17.18/17.21 o 65321934350665 17.28/17.37 c 17.0434 116.652 2995 26011 17.28/17.37 o 65320139410261 17.49/17.58 c 17.2444 116.652 3016 26547 17.49/17.58 o 65320064412888 17.78/17.80 c 17.4603 116.652 3037 27062 17.78/17.80 o 65320044783284 17.88/17.95 c 17.6113 116.652 3043 27409 17.88/17.95 o 65320044783283 18.08/18.10 c 17.7623 116.652 3048 27802 18.08/18.10 o 59769740924218 18.19/18.27 c 17.9233 116.652 3063 28229 18.19/18.27 o 58721190082434 18.39/18.43 c 18.0873 116.652 1076 28756 18.39/18.43 o 55575410350005 19.39/19.50 c 19.1401 116.652 1379 29791 19.39/19.50 o 55042990875060 22.18/22.25 c 21.8717 116.652 2334 31489 22.18/22.25 o 26476810138547 23.58/23.61 c 23.2155 116.652 2751 32505 23.58/23.61 o 25166083750294 25.88/25.96 c 25.5461 116.91 3586 33938 25.88/25.96 o 25166039526544 26.08/26.13 c 25.7141 116.91 1814 34385 26.08/26.13 o 18874478444797 26.29/26.32 c 25.9001 116.91 1823 34972 26.29/26.32 o 17784935732785 26.39/26.47 c 26.051 116.91 1830 35393 26.39/26.47 o 17783930605663 26.59/26.65 c 26.22 116.91 1836 35854 26.59/26.65 o 17783918900689 26.79/26.81 c 26.385 116.91 1851 36293 26.79/26.81 o 17783875247518 27.08/27.11 c 26.6799 116.91 1883 36930 27.08/27.11 o 17783873406744 27.18/27.29 c 26.8609 116.91 1887 37293 27.18/27.29 o 17783863587110 27.39/27.44 c 27.0039 116.91 1889 37653 27.39/27.44 o 17783863113175 27.78/27.89 c 27.4518 116.91 2016 38632 27.78/27.89 o 16777244263761 27.98/28.05 c 27.6128 116.91 2022 39032 27.98/28.05 o 8388625003129 28.18/28.20 c 27.7548 116.91 2026 39371 28.18/28.20 o 8388624905023 28.28/28.37 c 27.9198 116.91 2037 39701 28.28/28.37 o 2621460967340 28.49/28.51 c 28.0577 116.91 2038 40016 28.49/28.51 o 2621456911897 28.59/28.66 c 28.2097 116.91 2051 40342 28.59/28.66 o 2607122701956 28.78/28.83 c 28.3747 116.91 2058 40682 28.78/28.83 o 2215931116121 28.88/28.99 c 28.5347 116.91 2066 40964 28.88/28.99 o 2215888722663 29.08/29.12 c 28.6716 116.91 2067 41237 29.08/29.12 o 2215840727003 29.18/29.25 c 28.8006 116.91 2067 41495 29.18/29.25 o 2215826727083 29.89/29.94 c 29.4795 116.91 546 42095 29.89/29.94 o 2215441341249 30.79/30.88 c 30.4104 116.91 874 43578 30.79/30.88 o 2214928960640 30.98/31.05 c 30.5744 116.91 877 43986 30.98/31.05 o 2214928960157 32.88/32.96 c 32.4551 116.91 1556 46541 32.88/32.96 o 2211871500579 33.68/33.78 c 33.2679 116.91 1719 47509 33.68/33.78 o 2211870826783 34.28/34.33 c 33.8109 116.91 1893 48452 34.28/34.33 o 1904655837874 54.18/54.20 c 53.4709 117.684 7393 59884 54.18/54.20 o 1900559608171 79.47/79.56 c 78.4821 119.875 15930 81424 79.47/79.56 o 1895036485883 84.87/84.91 c 83.7553 120.52 18114 87194 84.87/84.91 o 1892349926574 91.76/91.88 c 90.6382 121.035 20544 93911 91.76/91.88 o 1774508090536 93.66/93.70 c 92.4399 121.164 20885 94645 93.66/93.70 o 1774365081117 93.77/93.83 c 92.5689 121.164 20885 94846 93.77/93.83 o 1774365080974 93.87/93.96 c 92.6999 121.164 20885 95040 93.87/93.96 o 1774364084179 93.97/94.10 c 92.8309 121.164 20885 95229 93.97/94.10 o 1774364084049 94.17/94.23 c 92.9619 121.164 20885 95425 94.17/94.23 o 1774364081345 94.27/94.36 c 93.0908 121.164 20885 95605 94.27/94.36 o 1774364080489 94.57/94.67 c 93.3978 121.164 20944 95933 94.57/94.67 o 1774364009691 191.84/191.95 c 189.69 122.895 16985 146608 191.84/191.95 o 1773422639085 253.02/253.14 c 250.187 123.152 21637 184936 253.02/253.14 o 1752193565720 274.92/275.07 c 271.872 123.152 14826 201502 274.92/275.07 o 1751244163463 289.22/289.34 c 286.01 123.152 18734 209720 289.22/289.34 o 1749467911279 295.21/295.31 c 291.906 123.152 20747 214716 295.21/295.31 o 1749333522231 295.31/295.46 c 292.053 123.152 20748 214973 295.31/295.46 o 1749331530679 295.41/295.59 c 292.191 123.152 20749 215284 295.41/295.59 o 1749277519376 295.61/295.79 c 292.382 123.152 20774 215600 295.61/295.79 o 1749277453443 302.31/302.40 c 298.924 123.152 23078 221307 302.31/302.40 o 1749007258437 302.41/302.54 c 299.062 123.152 23079 221532 302.41/302.54 o 1749007258387 302.61/302.71 c 299.23 123.152 23087 221819 302.61/302.71 o 1748943240262 329.59/329.70 c 325.921 123.152 16828 238046 329.59/329.70 o 1720329055051 329.69/329.88 c 326.095 123.152 16830 238301 329.69/329.88 o 1720325055167 329.90/330.01 c 326.231 123.152 16830 238544 329.90/330.01 o 1719309039723 329.99/330.19 c 326.409 123.152 16843 238804 329.99/330.19 o 1708093034019 330.20/330.33 c 326.546 123.152 16844 239026 330.20/330.33 o 1708045031589 339.99/340.14 c 336.222 123.152 20254 246958 339.99/340.14 o 1703884571296 343.39/343.55 c 339.594 123.152 21246 249367 343.39/343.55 o 1703883658186 360.28/360.42 c 356.252 123.152 26836 261421 360.28/360.42 o 1572875228373 399.48/399.66 c 395.115 123.152 23955 281482 399.48/399.66 o 1572619564529 444.57/444.70 c 439.665 124.055 17788 301032 444.57/444.70 o 1572177326746 448.46/448.63 c 443.528 124.055 18994 304636 448.46/448.63 o 1571338013482 679.00/679.20 c 671.878 124.055 22632 420066 679.00/679.20 o 1571242061924 788.96/789.20 c 780.851 124.055 23532 473469 788.96/789.20 o 1569801467592 789.06/789.35 c 780.997 124.055 23533 473643 789.06/789.35 o 1569796520891 789.16/789.49 c 781.136 124.055 23534 473836 789.16/789.49 o 1569796468149 789.36/789.62 c 781.269 124.055 23534 474007 789.36/789.62 o 1569795467572 794.97/795.21 c 786.805 124.055 25056 477729 794.97/795.21 o 1564684689606 830.85/831.10 c 822.329 124.055 21102 496451 830.85/831.10 o 1556491213862 937.82/938.16 c 928.359 124.055 21915 551558 937.82/938.16 o 1556455180344 1001.10/1001.41 c 990.92 124.055 26343 586023 1001.10/1001.41 o 1523658784152 1001.20/1001.59 c 991.096 124.055 26351 586333 1001.20/1001.59 o 1519626641572 1133.19/1133.73 c 1121.78 125.344 31597 640543 1133.19/1133.73 o 1519623165231 1252.65/1253.24 c 1240.25 126.117 18145 680733 1252.65/1253.24 o 1519622453560 1413.11/1413.74 c 1399.08 126.117 20246 761198 1413.11/1413.74 o 1309659273856 1415.50/1416.15 c 1401.47 126.117 20703 762070 1415.50/1416.15 o 1305611167230 1422.20/1422.83 c 1408.05 126.117 17573 764970 1422.20/1422.83 o 1277962665851 1422.40/1423.02 c 1408.25 126.117 17585 765225 1422.40/1423.02 o 1277962665677 1422.50/1423.15 c 1408.38 126.117 17585 765434 1422.50/1423.15 o 1277962646217 1422.60/1423.28 c 1408.51 126.117 17585 765632 1422.60/1423.28 o 1277962646043 1429.30/1429.90 c 1415.06 126.117 19143 768427 1429.30/1429.90 o 1266188789914 1429.41/1430.04 c 1415.2 126.117 19144 768625 1429.41/1430.04 o 1266186796436 1429.50/1430.19 c 1415.35 126.117 19146 768830 1429.50/1430.19 o 1266186789215 1429.70/1430.32 c 1415.47 126.117 19146 769023 1429.70/1430.32 o 1266186788264 1434.60/1435.24 c 1420.34 126.117 20271 771280 1434.60/1435.24 o 1260554529888 1438.70/1439.33 c 1424.39 126.117 21163 773233 1438.70/1439.33 o 1259818824411 1440.79/1441.45 c 1426.5 126.117 21736 774415 1440.79/1441.45 o 1259654811628 1441.89/1442.51 c 1427.54 126.117 21861 774929 1441.89/1442.51 o 1259653820965 1444.39/1445.07 c 1430.1 126.117 20847 776160 1444.39/1445.08 o 1258380873706 1444.59/1445.22 c 1430.24 126.117 20850 776324 1444.59/1445.22 o 1258378861652 1444.80/1445.43 c 1430.45 126.117 20857 776530 1444.80/1445.43 o 1258378861152 1444.89/1445.56 c 1430.58 126.117 20859 776691 1444.89/1445.56 o 1258378860867 1445.19/1445.85 c 1430.87 126.117 20890 776897 1445.19/1445.85 o 1258378844493 1445.39/1446.02 c 1431.04 126.117 20899 777103 1445.39/1446.02 o 1258378844463 1445.60/1446.28 c 1431.3 126.117 20921 777393 1445.60/1446.28 o 1255434829211 1445.90/1446.53 c 1431.54 126.117 20963 777611 1445.90/1446.53 o 1255434828984 1446.20/1446.81 c 1431.83 126.117 21020 777858 1446.20/1446.81 o 1255434822701 1446.30/1446.94 c 1431.95 126.117 21020 778046 1446.30/1446.94 o 1255434822677 1446.40/1447.07 c 1432.08 126.117 21020 778229 1446.40/1447.07 o 1255434820908 1446.59/1447.22 c 1432.23 126.117 21026 778440 1446.59/1447.22 o 1255434820817 1446.79/1447.45 c 1432.46 126.117 21054 778780 1446.79/1447.45 o 1254419818234 1447.80/1448.42 c 1433.42 126.117 21277 779478 1447.80/1448.42 o 1245194514497 1450.30/1450.92 c 1435.89 126.117 22153 780688 1450.30/1450.92 o 1239050530082 1453.39/1454.10 c 1439.03 126.117 23209 782426 1453.39/1454.10 o 1237130475053 1454.09/1454.71 c 1439.63 126.117 23278 782757 1454.09/1454.71 o 1229066445812 1454.19/1454.85 c 1439.77 126.117 18278 782865 1454.19/1454.85 o 1228938445794 1454.29/1454.98 c 1439.9 126.117 18279 782975 1454.29/1454.98 o 1228938445698 1454.49/1455.12 c 1440.05 126.117 18288 783089 1454.49/1455.12 o 1228914445734 1454.59/1455.25 c 1440.17 126.117 18288 783174 1454.59/1455.25 o 1228914445732 1454.70/1455.38 c 1440.3 126.117 18288 783260 1454.70/1455.38 o 1228914445726 1454.90/1455.50 c 1440.43 126.117 18288 783352 1454.90/1455.50 o 1228912445726 1455.00/1455.63 c 1440.55 126.117 18288 783438 1455.00/1455.63 o 1228912445718 1455.19/1455.84 c 1440.76 126.117 18299 783529 1455.19/1455.84 o 1228912445716 1455.39/1456.05 c 1440.97 126.117 18325 783668 1455.39/1456.06 o 1228820444835 1455.59/1456.23 c 1441.14 126.117 18335 783736 1455.59/1456.23 o 1228814444809 1455.79/1456.43 c 1441.35 126.117 18351 783807 1455.79/1456.43 o 1228813444807 1456.09/1456.75 c 1441.66 126.117 18369 783882 1456.09/1456.75 o 1228811444803 1456.29/1456.95 c 1441.86 126.117 18382 783953 1456.29/1456.95 o 1228810444800 1489.48/1490.12 c 1474.81 126.117 23737 790634 1489.48/1490.12 s OPTIMUM FOUND 1489.48/1490.12 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 -x201 -x202 -x203 -x204 x205 -x206 -x207 x208 x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 x234 -x235 x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 x263 -x264 x265 -x266 -x267 x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 x293 -x294 x295 -x296 -x297 x298 x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 x322 -x323 -x324 x325 x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 x351 x352 x353 x354 -x355 x356 -x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 x442 -x443 -x444 -x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 x496 x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 -x557 -x558 x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 x593 x594 -x595 x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 x717 x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 x754 x755 x756 -x757 x758 -x759 x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 x779 -x780
OK 1228810444800
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668737-1276566216/watcher-2668737-1276566216 -o /tmp/evaluation-result-2668737-1276566216/solver-2668737-1276566216 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668737-1276566216.opb 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): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.76 2.56 2.16 3/106 31728 /proc/meminfo: memFree=1845164/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=2340 CPUtime=0 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 287 0 0 0 0 0 0 0 20 0 1 0 32223105 2396160 209 1992294400 134512640 136485738 4292374976 18446744073709551615 135332318 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31728/statm: 585 209 156 482 0 101 0 [startup+0.068881 s] /proc/loadavg: 1.76 2.56 2.16 3/106 31728 /proc/meminfo: memFree=1845164/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=3528 CPUtime=0.06 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 607 0 0 0 6 0 0 0 20 0 1 0 32223105 3612672 529 1992294400 134512640 136485738 4292374976 18446744073709551615 135856820 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31728/statm: 882 529 157 482 0 398 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3528 [startup+0.100885 s] /proc/loadavg: 1.76 2.56 2.16 3/106 31728 /proc/meminfo: memFree=1845164/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=4188 CPUtime=0.09 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 776 0 0 0 9 0 0 0 20 0 1 0 32223105 4288512 698 1992294400 134512640 136485738 4292374976 18446744073709551615 135856905 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31728/statm: 1080 699 157 482 0 596 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4188 [startup+0.300912 s] /proc/loadavg: 1.76 2.56 2.16 3/106 31728 /proc/meminfo: memFree=1845164/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=16868 CPUtime=0.29 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 3934 0 0 0 28 1 0 0 20 0 1 0 32223105 17272832 3856 1992294400 134512640 136485738 4292374976 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 4217 3857 197 482 0 3733 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16868 [startup+0.700964 s] /proc/loadavg: 1.76 2.56 2.16 3/106 31728 /proc/meminfo: memFree=1845164/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=38020 CPUtime=0.69 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 9534 0 0 0 66 3 0 0 21 0 1 0 32223105 38932480 9017 1992294400 134512640 136485738 4292374976 18446744073709551615 135690955 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 9505 9018 197 482 0 9021 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 38020 [startup+1.50107 s] /proc/loadavg: 1.76 2.56 2.16 2/107 31729 /proc/meminfo: memFree=1794440/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=103796 CPUtime=1.49 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 26924 0 0 0 138 11 0 0 23 0 1 0 32223105 106287104 24968 1992294400 134512640 136485738 4292374976 18446744073709551615 135857059 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 25949 24968 210 482 0 25465 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103796 [startup+3.10128 s] /proc/loadavg: 1.76 2.56 2.16 2/107 31729 /proc/meminfo: memFree=1734300/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=118392 CPUtime=3.09 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 30534 0 0 0 295 14 0 0 25 0 1 0 32223105 121233408 27975 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 29598 27975 245 482 0 29114 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 118392 [startup+6.3017 s] /proc/loadavg: 1.70 2.53 2.15 2/107 31729 /proc/meminfo: memFree=1733060/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=118788 CPUtime=6.29 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 30617 0 0 0 610 19 0 0 25 0 1 0 32223105 121638912 28045 1992294400 134512640 136485738 4292374976 18446744073709551615 135037649 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 29697 28045 245 482 0 29213 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 118788 [startup+12.7015 s] /proc/loadavg: 1.64 2.51 2.15 2/107 31729 /proc/meminfo: memFree=1732936/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=118788 CPUtime=12.69 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 30670 0 0 0 1243 26 0 0 25 0 1 0 32223105 121638912 28075 1992294400 134512640 136485738 4292374976 18446744073709551615 134992514 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 29697 28075 245 482 0 29213 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 118788 [startup+25.5012 s] /proc/loadavg: 1.50 2.43 2.13 2/107 31729 /proc/meminfo: memFree=1732440/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=119448 CPUtime=25.48 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 30840 0 0 0 2508 40 0 0 25 0 1 0 32223105 122314752 28231 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 29862 28231 246 482 0 29378 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 119448 [startup+51.1006 s] /proc/loadavg: 1.33 2.32 2.10 2/107 31731 /proc/meminfo: memFree=1731696/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=120240 CPUtime=51.08 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 31042 0 0 0 5040 68 0 0 25 0 1 0 32223105 123125760 28408 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 30060 28408 246 482 0 29576 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 120240 [startup+102.308 s] /proc/loadavg: 1.14 2.11 2.04 2/107 31731 /proc/meminfo: memFree=1727356/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=124332 CPUtime=102.26 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32074 0 0 0 10096 130 0 0 25 0 1 0 32223105 127315968 29429 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31083 29429 246 482 0 30599 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 124332 [startup+162.301 s] /proc/loadavg: 1.05 1.91 1.97 2/107 31733 /proc/meminfo: memFree=1725992/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=125576 CPUtime=162.24 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32375 0 0 0 16029 195 0 0 25 0 1 0 32223105 128589824 29730 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31394 29730 246 482 0 30910 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 125576 [startup+222.301 s] /proc/loadavg: 1.02 1.74 1.90 2/107 31735 /proc/meminfo: memFree=1725620/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=125972 CPUtime=222.22 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32503 0 0 0 21971 251 0 0 25 0 1 0 32223105 128995328 29857 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31493 29857 246 482 0 31009 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 125972 [startup+282.301 s] /proc/loadavg: 1.00 1.60 1.85 2/107 31737 /proc/meminfo: memFree=1725372/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=126104 CPUtime=282.21 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32524 0 0 0 27903 318 0 0 25 0 1 0 32223105 129130496 29876 1992294400 134512640 136485738 4292374976 18446744073709551615 135857123 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31526 29876 246 482 0 31042 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 126104 [startup+342.301 s] /proc/loadavg: 1.00 1.49 1.79 2/107 31739 /proc/meminfo: memFree=1725248/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=126104 CPUtime=342.19 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32538 0 0 0 33835 384 0 0 25 0 1 0 32223105 129130496 29876 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31526 29876 246 482 0 31042 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 126104 [startup+402.301 s] /proc/loadavg: 1.00 1.40 1.74 2/107 31739 /proc/meminfo: memFree=1725248/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=126104 CPUtime=402.17 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32541 0 0 0 39772 445 0 0 25 0 1 0 32223105 129130496 29876 1992294400 134512640 136485738 4292374976 18446744073709551615 135848329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31526 29876 246 482 0 31042 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 126104 [startup+462.3 s] /proc/loadavg: 1.00 1.32 1.69 2/107 31741 /proc/meminfo: memFree=1724380/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=462.16 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32773 0 0 0 45705 511 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 127028 [startup+522.301 s] /proc/loadavg: 1.00 1.26 1.64 2/107 31743 /proc/meminfo: memFree=1724256/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=522.14 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32773 0 0 0 51647 567 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135047540 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 127028 [startup+582.301 s] /proc/loadavg: 1.00 1.21 1.60 2/107 31745 /proc/meminfo: memFree=1724132/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=582.12 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32773 0 0 0 57584 628 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135860711 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 127028 [startup+642.301 s] /proc/loadavg: 1.00 1.17 1.56 2/107 31747 /proc/meminfo: memFree=1724008/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=642.11 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32773 0 0 0 63531 680 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135044306 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 127028 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1723760/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=762.08 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32774 0 0 0 75422 786 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 127028 [startup+822.3 s] /proc/loadavg: 1.00 1.09 1.45 2/107 31751 /proc/meminfo: memFree=1723760/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=822.05 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32779 0 0 0 81360 845 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 127028 [startup+882.301 s] /proc/loadavg: 1.00 1.07 1.42 2/107 31753 /proc/meminfo: memFree=1723636/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=882.04 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32780 0 0 0 87302 902 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 127028 [startup+942.301 s] /proc/loadavg: 1.00 1.05 1.39 2/107 31755 /proc/meminfo: memFree=1723512/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=942.02 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32781 0 0 0 93243 959 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135040470 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 127028 [startup+1002.3 s] /proc/loadavg: 1.00 1.04 1.36 2/107 31755 /proc/meminfo: memFree=1723388/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=1002 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32783 0 0 0 99179 1021 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 127028 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.34 2/107 31766 /proc/meminfo: memFree=1723140/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127028 CPUtime=1061.97 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32783 0 0 0 105124 1073 0 0 25 0 1 0 32223105 130076672 30106 1992294400 134512640 136485738 4292374976 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31757 30106 246 482 0 31273 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 127028 [startup+1122.3 s] /proc/loadavg: 1.07 1.04 1.32 2/107 32240 /proc/meminfo: memFree=1713076/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=127424 CPUtime=1121.8 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 32890 0 0 0 111045 1135 0 0 25 0 1 0 32223105 130482176 30213 1992294400 134512640 136485738 4292374976 18446744073709551615 135257394 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 31856 30213 246 482 0 31372 0 Current children cumulated CPU time (s) 1121.8 Current children cumulated vsize (KiB) 127424 [startup+1182.3 s] /proc/loadavg: 1.02 1.03 1.30 2/107 32242 /proc/meminfo: memFree=1712456/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=128348 CPUtime=1181.77 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33124 0 0 0 116995 1182 0 0 25 0 1 0 32223105 131428352 30446 1992294400 134512640 136485738 4292374976 18446744073709551615 135047024 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 32087 30446 246 482 0 31603 0 Current children cumulated CPU time (s) 1181.77 Current children cumulated vsize (KiB) 128348 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 1.27 2/107 32244 /proc/meminfo: memFree=1711836/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=129140 CPUtime=1241.75 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33331 0 0 0 122941 1234 0 0 25 0 1 0 32223105 132239360 30653 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 32285 30653 246 482 0 31801 0 Current children cumulated CPU time (s) 1241.75 Current children cumulated vsize (KiB) 129140 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.26 2/107 32244 /proc/meminfo: memFree=1711836/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=129140 CPUtime=1301.74 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33332 0 0 0 128880 1294 0 0 25 0 1 0 32223105 132239360 30653 1992294400 134512640 136485738 4292374976 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 32285 30653 246 482 0 31801 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 129140 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.24 2/107 32246 /proc/meminfo: memFree=1711836/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=129140 CPUtime=1361.71 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33332 0 0 0 134817 1354 0 0 25 0 1 0 32223105 132239360 30653 1992294400 134512640 136485738 4292374976 18446744073709551615 135179582 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 32285 30653 246 482 0 31801 0 Current children cumulated CPU time (s) 1361.71 Current children cumulated vsize (KiB) 129140 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.22 2/107 32248 /proc/meminfo: memFree=1711836/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=129140 CPUtime=1421.71 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33334 0 0 0 140754 1417 0 0 25 0 1 0 32223105 132239360 30653 1992294400 134512640 136485738 4292374976 18446744073709551615 134992630 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 32285 30653 246 482 0 31801 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 129140 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.20 2/107 32250 /proc/meminfo: memFree=1711836/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=129140 CPUtime=1481.69 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33385 0 0 0 146705 1464 0 0 25 0 1 0 32223105 132239360 30662 1992294400 134512640 136485738 4292374976 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 32285 30662 246 482 0 31801 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 129140 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 1.00 1.00 1.20 2/107 32250 /proc/meminfo: memFree=1711836/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=129140 CPUtime=1484.09 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33385 0 0 0 146943 1466 0 0 25 0 1 0 32223105 132239360 30662 1992294400 134512640 136485738 4292374976 18446744073709551615 134987104 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 32285 30662 246 482 0 31801 0 Current children cumulated CPU time (s) 1484.09 Current children cumulated vsize (KiB) 129140 [startup+1487.9 s] /proc/loadavg: 1.00 1.00 1.20 2/107 32250 /proc/meminfo: memFree=1711836/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=129140 CPUtime=1487.28 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33385 0 0 0 147261 1467 0 0 25 0 1 0 32223105 132239360 30662 1992294400 134512640 136485738 4292374976 18446744073709551615 135047540 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 32285 30662 246 482 0 31801 0 Current children cumulated CPU time (s) 1487.28 Current children cumulated vsize (KiB) 129140 [startup+1489.5 s] /proc/loadavg: 1.00 1.00 1.20 2/107 32250 /proc/meminfo: memFree=1711836/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=129140 CPUtime=1488.88 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33385 0 0 0 147419 1469 0 0 25 0 1 0 32223105 132239360 30662 1992294400 134512640 136485738 4292374976 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 32285 30662 246 482 0 31801 0 Current children cumulated CPU time (s) 1488.88 Current children cumulated vsize (KiB) 129140 [startup+1490.3 s] /proc/loadavg: 1.00 1.00 1.20 2/107 32250 /proc/meminfo: memFree=1711836/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=123192 CPUtime=1489.68 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33390 0 0 0 147498 1470 0 0 25 0 1 0 32223105 126148608 29566 1992294400 134512640 136485738 4292374976 18446744073709551615 135839991 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 30798 29566 250 482 0 30314 0 Current children cumulated CPU time (s) 1489.68 Current children cumulated vsize (KiB) 123192 [startup+1490.51 s] /proc/loadavg: 1.00 1.00 1.20 2/107 32250 /proc/meminfo: memFree=1719152/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=119108 CPUtime=1489.89 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33390 0 0 0 147519 1470 0 0 25 0 1 0 32223105 121966592 28737 1992294400 134512640 136485738 4292374976 18446744073709551615 134720130 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 29777 28737 250 482 0 29293 0 Current children cumulated CPU time (s) 1489.89 Current children cumulated vsize (KiB) 119108 [startup+1490.6 s] /proc/loadavg: 1.00 1.00 1.20 2/107 32250 /proc/meminfo: memFree=1719152/2059040 swapFree=4139744/4192956 [pid=31728] ppid=31726 vsize=119108 CPUtime=1489.98 /proc/31728/stat : 31728 (pbct) R 31726 31728 31213 0 -1 4202496 33390 0 0 0 147528 1470 0 0 25 0 1 0 32223105 121966592 28737 1992294400 134512640 136485738 4292374976 18446744073709551615 135839991 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31728/statm: 29777 28737 250 482 0 29293 0 Current children cumulated CPU time (s) 1489.98 Current children cumulated vsize (KiB) 119108 Child status: 0 Real time (s): 1490.69 CPU time (s): 1490.08 CPU user time (s): 1475.37 CPU system time (s): 14.7168 CPU usage (%): 99.9591 Max. virtual memory (cumulated for all children) (KiB): 129140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1475.37 system time used= 14.7168 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33391 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= 2 involuntary context switches= 6433 runsolver used 2.37764 second user time and 7.14291 second system time The end
Begin job on node013 at 2010-06-15 03:43:36 IDJOB=2668737 IDBENCH=2505 IDSOLVER=1170 FILE ID=node013/2668737-1276566216 PBS_JOBID= 11173502 Free space on /tmp= 62504 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-glass4.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668737-1276566216/watcher-2668737-1276566216 -o /tmp/evaluation-result-2668737-1276566216/solver-2668737-1276566216 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668737-1276566216.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 34e6501168eba14fba603ee8987209fc RANDOM SEED=667415625 node013.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.253 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1845568 kB Buffers: 33868 kB Cached: 99368 kB SwapCached: 6440 kB Active: 72152 kB Inactive: 74612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845568 kB SwapTotal: 4192956 kB SwapFree: 4139744 kB Dirty: 2348 kB Writeback: 8 kB AnonPages: 11892 kB Mapped: 13024 kB Slab: 44856 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180596 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62548 MiB End job on node013 at 2010-06-15 04:08:27