Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1299.44 | 1299.78 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb |
MD5SUM | 325852af8542a0f454599a2893f1b120 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1297 |
Best CPU time to get the best result obtained on this benchmark | 1800.67 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 434 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 495293 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 495293 |
Number of bits of the biggest sum of numbers | 19 |
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 wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655935-1276379036.opb. 0.00/0.00 c Instance file HOME/instance-2655935-1276379036.opb 0.00/0.00 c File size is 17233653 bytes. 2.59/2.62 c Highest Coefficient sum: 101 2.59/2.63 c ============================[ Problem Statistics ]============================= 2.59/2.63 c | | 2.59/2.63 c | Parsing time: 2.57 s | 2.59/2.63 c | Number Variables: 10000 | 2.59/2.63 c | Number Clauses: 656900 | 2.59/2.63 c | Number Cardinality: 0 | 2.59/2.63 c | Number PB Constraints: 0 | 6.08/6.11 c ============================[ Search Statistics ]============================== 6.08/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.08/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.08/6.11 c =============================================================================== 6.08/6.11 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.08/6.19 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.28/6.32 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.60/6.62 c =============================================================================== 6.60/6.62 c New solution: 6924 6.60/6.62 o 6924 6.60/6.62 c Elapsed CPU time: 6.49301 s Remaining CPU time: 173.507 s 6.60/6.62 c =============================================================================== 6.60/6.62 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.89/6.92 c =============================================================================== 6.89/6.92 c New solution: 6342 6.89/6.92 o 6342 6.89/6.92 c Elapsed CPU time: 6.78797 s Remaining CPU time: 173.212 s 6.89/6.92 c =============================================================================== 6.89/6.92 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 6.98/7.01 c | 391 | 10000 656902 1353400 | 240864 391 1082 | 0.000 % | 7.09/7.12 c | 541 | 10000 656902 1353400 | 264950 541 1112 | 0.000 % | 7.29/7.32 c | 766 | 10000 656902 1353400 | 291445 766 1025 | 0.000 % | 7.59/7.63 c | 1104 | 10000 656902 1353400 | 320590 1104 899 | 0.000 % | 7.98/8.07 c | 1610 | 10000 656902 1353400 | 352649 1610 1057 | 0.000 % | 8.29/8.37 c =============================================================================== 8.29/8.37 c New solution: 6164 8.29/8.37 o 6164 8.29/8.37 c Elapsed CPU time: 8.20975 s Remaining CPU time: 171.79 s 8.29/8.37 c =============================================================================== 8.29/8.37 c | 1610 | 10000 656903 1363400 | 218967 1610 1057 | 0.000 % | 8.38/8.48 c | 1711 | 10000 656903 1363400 | 240864 1711 1029 | 0.000 % | 8.59/8.67 c | 1862 | 10000 656903 1363400 | 264950 1862 1007 | 0.000 % | 8.88/8.90 c | 2087 | 10000 656903 1363400 | 291445 2087 988 | 0.000 % | 9.19/9.22 c | 2424 | 10000 656903 1363400 | 320590 2424 972 | 0.000 % | 9.68/9.70 c | 2930 | 10000 656903 1363400 | 352649 2930 927 | 0.000 % | 10.29/10.39 c | 3690 | 10000 656903 1363400 | 387914 3690 864 | 0.000 % | 11.18/11.28 c =============================================================================== 11.18/11.28 c New solution: 6161 11.18/11.28 o 6161 11.18/11.28 c Elapsed CPU time: 11.0963 s Remaining CPU time: 168.904 s 11.18/11.28 c =============================================================================== 11.18/11.28 c | 4351 | 10000 656904 1373400 | 218968 4351 821 | 0.000 % | 11.58/11.67 c =============================================================================== 11.58/11.67 c New solution: 6144 11.58/11.67 o 6144 11.58/11.67 c Elapsed CPU time: 11.4783 s Remaining CPU time: 168.522 s 11.58/11.67 c =============================================================================== 11.58/11.67 c | 4444 | 10000 656905 1383400 | 218968 4444 823 | 0.000 % | 11.69/11.78 c | 4545 | 10000 656905 1383400 | 240865 4545 821 | 0.000 % | 11.88/11.94 c | 4697 | 10000 656905 1383400 | 264951 4697 830 | 0.000 % | 12.18/12.22 c | 4922 | 10000 656905 1383400 | 291446 4922 826 | 0.000 % | 12.69/12.73 c | 5260 | 10000 656905 1383400 | 320591 5260 809 | 0.000 % | 13.28/13.38 c | 5767 | 10000 656905 1383400 | 352650 5767 796 | 0.000 % | 13.69/13.77 c =============================================================================== 13.69/13.77 c New solution: 6140 13.69/13.77 o 6140 13.69/13.77 c Elapsed CPU time: 13.5559 s Remaining CPU time: 166.444 s 13.69/13.77 c =============================================================================== 13.69/13.77 c | 5826 | 10000 656906 1393400 | 218968 5826 793 | 0.000 % | 13.88/13.91 c | 5927 | 10000 656906 1393400 | 240865 5927 793 | 0.000 % | 14.08/14.16 c | 6077 | 10000 656906 1393400 | 264952 6077 788 | 0.000 % | 14.38/14.48 c | 6302 | 10000 656906 1393400 | 291447 6302 782 | 0.000 % | 14.88/14.92 c | 6639 | 10000 656906 1393400 | 320592 6639 768 | 0.000 % | 15.19/15.23 c =============================================================================== 15.19/15.23 c New solution: 6132 15.19/15.23 o 6132 15.19/15.23 c Elapsed CPU time: 14.9897 s Remaining CPU time: 165.01 s 15.19/15.23 c =============================================================================== 15.19/15.23 c | 6654 | 10000 656907 1403400 | 218969 6654 768 | 0.000 % | 15.29/15.39 c | 6754 | 10000 656907 1403400 | 240865 6754 765 | 0.000 % | 15.48/15.59 c | 6904 | 10000 656907 1403400 | 264952 6904 761 | 0.000 % | 15.78/15.86 c | 7131 | 10000 656907 1403400 | 291447 7131 769 | 0.000 % | 16.08/16.18 c | 7470 | 10000 656907 1403400 | 320592 7470 788 | 0.000 % | 16.49/16.53 c =============================================================================== 16.49/16.53 c New solution: 6085 16.49/16.53 o 6085 16.49/16.53 c Elapsed CPU time: 16.2705 s Remaining CPU time: 163.729 s 16.49/16.53 c =============================================================================== 16.49/16.53 c | 7532 | 10000 656908 1413400 | 218969 7532 789 | 0.000 % | 16.59/16.66 c | 7632 | 10000 656908 1413400 | 240866 7632 789 | 0.000 % | 16.78/16.87 c | 7782 | 10000 656908 1413400 | 264952 7782 797 | 0.000 % | 17.08/17.14 c | 8007 | 10000 656908 1413400 | 291448 8007 808 | 0.000 % | 17.49/17.59 c | 8347 | 10000 656908 1413400 | 320593 8347 815 | 0.000 % | 18.18/18.20 c | 8854 | 10000 656908 1413400 | 352652 8854 815 | 0.000 % | 19.69/19.79 c | 9614 | 10000 656908 1413400 | 387917 9614 802 | 0.000 % | 20.08/20.15 c =============================================================================== 20.08/20.15 c New solution: 6081 20.08/20.15 o 6081 20.08/20.15 c Elapsed CPU time: 19.858 s Remaining CPU time: 160.142 s 20.08/20.15 c =============================================================================== 20.08/20.15 c | 9662 | 10000 656909 1423400 | 218969 9662 800 | 0.000 % | 20.58/20.60 c =============================================================================== 20.58/20.60 c New solution: 6072 20.58/20.60 o 6072 20.58/20.60 c Elapsed CPU time: 20.3049 s Remaining CPU time: 159.695 s 20.58/20.60 c =============================================================================== 20.58/20.60 c | 9744 | 10000 656910 1433400 | 218970 9744 798 | 0.000 % | 20.89/20.94 c =============================================================================== 20.89/20.94 c New solution: 6071 20.89/20.94 o 6071 20.89/20.94 c Elapsed CPU time: 20.6439 s Remaining CPU time: 159.356 s 20.89/20.94 c =============================================================================== 20.89/20.94 c | 9774 | 10000 656911 1443400 | 218970 9774 798 | 0.000 % | 20.98/21.09 c | 9875 | 10000 656911 1443400 | 240867 9875 801 | 0.000 % | 21.39/21.50 c =============================================================================== 21.39/21.50 c New solution: 6025 21.39/21.50 o 6025 21.39/21.50 c Elapsed CPU time: 21.1908 s Remaining CPU time: 158.809 s 21.39/21.50 c =============================================================================== 21.39/21.50 c | 9999 | 10000 656912 1453400 | 218970 9999 806 | 0.000 % | 21.59/21.63 c | 10100 | 10000 656912 1453400 | 240867 10100 806 | 0.000 % | 21.78/21.85 c | 10251 | 10000 656912 1453400 | 264954 10251 812 | 0.000 % | 22.08/22.19 c | 10476 | 10000 656912 1453400 | 291449 10476 810 | 0.000 % | 22.58/22.65 c | 10813 | 10000 656912 1453400 | 320594 10813 800 | 0.000 % | 23.38/23.41 c | 11320 | 10000 656912 1453400 | 352654 11320 789 | 0.000 % | 24.28/24.37 c | 12079 | 10000 656912 1453400 | 387919 12079 784 | 0.000 % | 25.88/25.96 c | 13218 | 10000 656912 1453400 | 426711 13218 751 | 0.000 % | 28.68/28.75 c | 14927 | 10000 656912 1453400 | 469383 14927 754 | 0.000 % | 33.18/33.26 c | 17489 | 10000 656912 1453400 | 516321 17489 772 | 0.000 % | 33.48/33.57 c =============================================================================== 33.48/33.57 c New solution: 5899 33.48/33.57 o 5899 33.48/33.57 c Elapsed CPU time: 33.184 s Remaining CPU time: 146.816 s 33.48/33.57 c =============================================================================== 33.48/33.57 c | 17491 | 10000 656913 1463400 | 218971 17491 772 | 0.000 % | 33.78/33.87 c =============================================================================== 33.78/33.87 c New solution: 5765 33.78/33.87 o 5765 33.78/33.87 c Elapsed CPU time: 33.4819 s Remaining CPU time: 146.518 s 33.78/33.87 c =============================================================================== 33.78/33.87 c | 17492 | 10000 656914 1473400 | 218971 17492 772 | 0.000 % | 34.18/34.24 c =============================================================================== 34.18/34.24 c New solution: 5750 34.18/34.24 o 5750 34.18/34.24 c Elapsed CPU time: 33.8409 s Remaining CPU time: 146.159 s 34.18/34.24 c =============================================================================== 34.18/34.24 c | 17530 | 10000 656915 1483400 | 218971 17530 772 | 0.000 % | 34.28/34.38 c | 17630 | 10000 656915 1483400 | 240868 17630 771 | 0.000 % | 34.68/34.75 c | 17780 | 10000 656915 1483400 | 264955 17780 771 | 0.000 % | 35.27/35.35 c =============================================================================== 35.27/35.35 c New solution: 5746 35.27/35.35 o 5746 35.27/35.35 c Elapsed CPU time: 34.9387 s Remaining CPU time: 145.061 s 35.27/35.35 c =============================================================================== 35.27/35.35 c | 17949 | 10000 656916 1493400 | 218972 17949 772 | 0.000 % | 35.48/35.58 c | 18049 | 10000 656916 1493400 | 240869 18049 772 | 0.000 % | 35.77/35.84 c | 18202 | 10000 656916 1493400 | 264956 18202 771 | 0.000 % | 36.19/36.21 c | 18427 | 10000 656916 1493400 | 291451 18427 770 | 0.000 % | 36.67/36.75 c | 18766 | 10000 656916 1493400 | 320596 18766 766 | 0.000 % | 37.48/37.59 c | 19272 | 10000 656916 1493400 | 352656 19272 760 | 0.000 % | 38.98/39.02 c | 20033 | 10000 656916 1493400 | 387922 20033 750 | 0.000 % | 41.18/41.26 c | 21172 | 10000 656916 1493400 | 426714 21172 740 | 0.000 % | 44.98/45.03 c | 22880 | 10000 656916 1493400 | 469385 22880 729 | 0.000 % | 49.17/49.29 c | 25442 | 10000 656916 1493400 | 516324 25442 722 | 0.000 % | 54.78/54.84 c | 29288 | 10000 656916 1493400 | 567956 29288 695 | 0.000 % | 65.57/65.69 c | 35055 | 10000 656916 1493400 | 624752 35055 698 | 0.000 % | 82.97/83.06 c | 43704 | 10000 656916 1493400 | 687227 43704 721 | 0.000 % | 112.36/112.43 c | 56678 | 10000 656916 1493400 | 755950 56678 735 | 0.000 % | 114.37/114.47 c =============================================================================== 114.37/114.47 c New solution: 5736 114.37/114.47 o 5736 114.37/114.47 c Elapsed CPU time: 113.734 s Remaining CPU time: 66.2663 s 114.37/114.47 c =============================================================================== 114.37/114.47 c | 57519 | 10000 656917 1503400 | 218972 57519 758 | 0.000 % | 114.55/114.66 c | 57619 | 10000 656917 1503400 | 240869 57619 758 | 0.000 % | 114.96/115.03 c | 57769 | 10000 656917 1503400 | 264956 57769 758 | 0.000 % | 115.36/115.41 c | 57994 | 10000 656917 1503400 | 291452 57994 759 | 0.000 % | 115.85/115.96 c | 58335 | 10000 656917 1503400 | 320597 58335 763 | 0.000 % | 116.95/117.04 c | 58841 | 10000 656917 1503400 | 352657 58841 763 | 0.000 % | 118.56/118.69 c | 59600 | 10000 656917 1503400 | 387922 59600 766 | 0.000 % | 120.96/121.05 c | 60739 | 10000 656917 1503400 | 426715 60739 764 | 0.000 % | 121.46/121.50 c =============================================================================== 121.46/121.50 c New solution: 5733 121.46/121.50 o 5733 121.46/121.50 c Elapsed CPU time: 120.713 s Remaining CPU time: 59.2874 s 121.46/121.50 c =============================================================================== 121.46/121.50 c | 60804 | 10000 656918 1513400 | 218972 60804 763 | 0.000 % | 121.56/121.68 c | 60904 | 10000 656918 1513400 | 240869 60904 763 | 0.000 % | 121.96/122.02 c | 61055 | 10000 656918 1513400 | 264956 61055 762 | 0.000 % | 122.45/122.59 c | 61280 | 10000 656918 1513400 | 291452 61280 762 | 0.000 % | 123.07/123.14 c | 61617 | 10000 656918 1513400 | 320597 61617 761 | 0.000 % | 124.35/124.47 c | 62124 | 10000 656918 1513400 | 352657 62124 760 | 0.000 % | 125.96/126.06 c | 62884 | 10000 656918 1513400 | 387923 62884 758 | 0.000 % | 128.35/128.40 c | 64023 | 10000 656918 1513400 | 426715 64023 754 | 0.000 % | 131.75/131.86 c | 65731 | 10000 656918 1513400 | 469387 65731 747 | 0.000 % | 137.55/137.61 c | 68293 | 10000 656918 1513400 | 516326 68293 746 | 0.000 % | 139.95/140.09 c =============================================================================== 139.95/140.09 c New solution: 5729 139.95/140.09 o 5729 139.95/140.09 c Elapsed CPU time: 139.225 s Remaining CPU time: 40.7752 s 139.95/140.09 c =============================================================================== 139.95/140.09 c | 69037 | 10000 656919 1523400 | 218973 69037 743 | 0.000 % | 140.26/140.32 c | 69138 | 10000 656919 1523400 | 240870 69138 743 | 0.000 % | 140.66/140.73 c =============================================================================== 140.66/140.73 c New solution: 5685 140.66/140.73 o 5685 140.66/140.73 c Elapsed CPU time: 139.863 s Remaining CPU time: 40.1373 s 140.66/140.73 c =============================================================================== 140.66/140.73 c | 69174 | 10000 656920 1533400 | 218973 69174 743 | 0.000 % | 140.95/141.06 c =============================================================================== 140.95/141.06 c New solution: 5684 140.95/141.06 o 5684 140.95/141.06 c Elapsed CPU time: 140.181 s Remaining CPU time: 39.8193 s 140.95/141.06 c =============================================================================== 140.95/141.06 c | 69175 | 10000 656921 1543400 | 218973 69175 743 | 0.000 % | 141.25/141.34 c | 69275 | 10000 656921 1543400 | 240871 69275 743 | 0.000 % | 141.55/141.66 c | 69425 | 10000 656921 1543400 | 264958 69425 743 | 0.000 % | 141.95/142.07 c | 69650 | 10000 656921 1543400 | 291453 69650 743 | 0.000 % | 142.75/142.87 c | 69987 | 10000 656921 1543400 | 320599 69987 743 | 0.000 % | 143.85/143.93 c | 70494 | 10000 656921 1543400 | 352659 70494 744 | 0.000 % | 145.65/145.71 c | 71254 | 10000 656921 1543400 | 387925 71254 748 | 0.000 % | 147.45/147.56 c | 72393 | 10000 656921 1543400 | 426717 72393 744 | 0.000 % | 150.05/150.16 c | 74102 | 10000 656921 1543400 | 469389 74102 740 | 0.000 % | 155.55/155.66 c | 76664 | 10000 656921 1543400 | 516328 76664 741 | 0.000 % | 163.35/163.40 c | 80509 | 10000 656921 1543400 | 567961 80509 733 | 0.000 % | 177.14/177.27 c | 86275 | 10000 656921 1543400 | 624757 86275 723 | 0.000 % | 180.94/181.06 c There are 0 assigned variables. 0 in cost function. 230.33/230.40 c core #1 230.33/230.40 c core #2 230.33/230.40 c core #3 230.33/230.40 c core #4 230.33/230.40 c core #5 230.33/230.40 c core #6 230.33/230.40 c core #7 230.33/230.40 c core #8 230.33/230.40 c core #9 230.33/230.40 c core #10 230.33/230.40 c core #11 230.33/230.40 c core #12 230.33/230.40 c core #13 230.33/230.40 c core #14 230.33/230.40 c core #15 230.33/230.40 c core #16 230.33/230.40 c core #17 230.33/230.40 c core #18 230.33/230.40 c core #19 230.33/230.40 c core #20 230.33/230.40 c core #21 230.33/230.40 c core #22 230.33/230.40 c core #23 230.33/230.40 c core #24 230.33/230.40 c core #25 230.33/230.40 c core #26 230.33/230.40 c core #27 230.33/230.40 c core #28 230.33/230.40 c core #29 230.33/230.40 c core #30 230.33/230.40 c core #31 230.33/230.40 c core #32 230.33/230.40 c core #33 230.33/230.40 c core #34 230.33/230.40 c core #35 230.33/230.40 c core #36 230.33/230.40 c core #37 230.33/230.40 c core #38 230.33/230.40 c core #39 230.33/230.40 c core #40 230.33/230.40 c core #41 230.33/230.40 c core #42 230.33/230.40 c core #43 230.33/230.40 c core #44 230.33/230.40 c core #45 230.33/230.40 c core #46 230.33/230.40 c core #47 230.33/230.40 c core #48 230.33/230.40 c core #49 230.33/230.40 c core #50 230.33/230.40 c core #51 230.33/230.40 c core #52 230.33/230.40 c core #53 230.33/230.40 c core #54 230.33/230.40 c core #55 230.33/230.40 c core #56 230.33/230.40 c core #57 230.33/230.40 c core #58 230.33/230.40 c core #59 230.33/230.40 c core #60 230.33/230.40 c core #61 230.33/230.40 c core #62 230.33/230.40 c core #63 230.33/230.40 c core #64 230.33/230.40 c core #65 230.33/230.40 c core #66 230.33/230.40 c core #67 230.33/230.40 c core #68 230.33/230.40 c core #69 230.33/230.40 c core #70 230.33/230.40 c core #71 230.33/230.40 c core #72 230.33/230.40 c core #73 230.33/230.40 c core #74 230.33/230.40 c core #75 230.33/230.40 c core #76 230.33/230.40 c core #77 230.33/230.40 c core #78 230.33/230.40 c core #79 230.33/230.40 c core #80 230.33/230.40 c core #81 230.33/230.40 c core #82 230.33/230.40 c core #83 230.33/230.40 c core #84 230.33/230.40 c core #85 230.33/230.40 c core #86 230.33/230.40 c core #87 230.33/230.40 c core #88 230.33/230.40 c core #89 230.33/230.40 c core #90 230.33/230.40 c core #91 230.33/230.40 c core #92 230.33/230.40 c core #93 230.33/230.40 c core #94 230.33/230.41 c core #95 230.33/230.41 c core #96 230.33/230.41 c core #97 230.33/230.41 c core #98 230.33/230.41 c core #99 230.33/230.41 c core #100 230.33/230.41 c core #101 230.33/230.41 c core #102 230.33/230.41 c core #103 230.33/230.41 c core #104 230.33/230.41 c core #105 230.33/230.41 c core #106 230.33/230.41 c core #107 230.33/230.41 c core #108 230.33/230.41 c core #109 230.33/230.41 c core #110 230.33/230.41 c core #111 230.33/230.41 c core #112 230.33/230.41 c core #113 230.33/230.41 c core #114 230.33/230.41 c core #115 230.33/230.41 c core #116 230.33/230.41 c core #117 230.33/230.41 c core #118 230.33/230.41 c core #119 230.33/230.41 c core #120 230.33/230.41 c core #121 230.33/230.41 c core #122 230.33/230.41 c core #123 230.33/230.41 c core #124 230.33/230.41 c core #125 230.33/230.41 c ============================[ Search Statistics ]============================== 230.33/230.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.33/230.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.33/230.41 c =============================================================================== 230.33/230.41 c | 0 | 28021 694541 51298 | 231513 0 nan | 0.000 % | 230.33/230.42 c =============================================================================== 230.73/230.85 c core #126 230.73/230.85 c ============================[ Search Statistics ]============================== 230.73/230.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.73/230.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.73/230.85 c =============================================================================== 230.73/230.85 c | 0 | 28803 695299 52189 | 231766 0 nan | 0.000 % | 230.73/230.87 c =============================================================================== 231.13/231.28 c core #127 231.13/231.28 c ============================[ Search Statistics ]============================== 231.13/231.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.13/231.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.13/231.28 c =============================================================================== 231.13/231.28 c | 0 | 29602 695970 53079 | 231990 0 nan | 0.000 % | 231.23/231.34 c =============================================================================== 231.63/231.77 c core #128 231.63/231.77 c ============================[ Search Statistics ]============================== 231.63/231.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.63/231.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.63/231.77 c =============================================================================== 231.63/231.77 c | 0 | 31360 697443 55528 | 232481 0 nan | 0.000 % | 231.73/231.86 c =============================================================================== 232.13/232.26 c core #129 232.13/232.26 c ============================[ Search Statistics ]============================== 232.13/232.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.13/232.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.13/232.26 c =============================================================================== 232.13/232.26 c | 0 | 32998 698997 57608 | 232999 0 nan | 0.000 % | 232.33/232.45 c =============================================================================== 232.73/232.89 c core #130 232.73/232.89 c ============================[ Search Statistics ]============================== 232.73/232.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.73/232.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.73/232.89 c =============================================================================== 232.73/232.89 c | 0 | 35432 701304 60587 | 233768 0 nan | 0.000 % | 232.93/233.10 c =============================================================================== 233.43/233.54 c core #131 233.43/233.54 c ============================[ Search Statistics ]============================== 233.43/233.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.43/233.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.43/233.54 c =============================================================================== 233.43/233.54 c | 0 | 37886 703636 63730 | 234545 0 nan | 0.000 % | 233.53/233.68 c | 100 | 37885 703636 63730 | 257999 99 984 | 20.022 % | 234.43/234.52 c =============================================================================== 234.83/234.98 c core #132 234.83/234.98 c ============================[ Search Statistics ]============================== 234.83/234.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.83/234.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.83/234.98 c =============================================================================== 234.83/234.98 c | 0 | 45163 710409 73042 | 236803 0 nan | 0.000 % | 235.03/235.13 c | 101 | 45163 710409 73042 | 260483 101 1399 | 17.246 % | 235.33/235.41 c | 251 | 45163 710409 73042 | 286531 251 1262 | 17.246 % | 235.72/235.84 c | 476 | 45163 710409 73042 | 315184 476 1059 | 17.246 % | 236.34/236.45 c | 818 | 45163 710409 73042 | 346703 818 1041 | 17.246 % | 237.43/237.52 c | 1325 | 45163 710409 73042 | 381373 1325 1463 | 17.246 % | 239.32/239.43 c | 2088 | 45154 710409 73042 | 419510 1920 1533 | 17.473 % | 240.42/240.57 c =============================================================================== 240.92/241.06 c core #133 240.92/241.06 c ============================[ Search Statistics ]============================== 240.92/241.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 240.92/241.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 240.92/241.06 c =============================================================================== 240.92/241.06 c | 0 | 54801 718974 86046 | 239658 0 nan | 0.000 % | 241.12/241.25 c | 105 | 54801 718974 86046 | 263623 105 1636 | 14.538 % | 241.52/241.63 c | 255 | 54801 718974 86046 | 289986 255 1700 | 14.538 % | 242.23/242.37 c | 480 | 54801 718974 86046 | 318984 480 1478 | 14.538 % | 243.13/243.21 c | 817 | 54801 718974 86046 | 350883 817 1127 | 14.538 % | 244.53/244.68 c | 1324 | 54801 718974 86046 | 385971 1324 1112 | 14.538 % | 246.73/246.84 c | 2083 | 54801 718974 86046 | 424568 2083 965 | 14.538 % | 250.32/250.41 c | 3224 | 54801 718974 86046 | 467025 3224 1213 | 14.538 % | 256.23/256.30 c | 4933 | 54801 718974 86046 | 513728 4933 1213 | 14.538 % | 265.82/265.99 c | 7497 | 54801 718974 86046 | 565101 7497 1259 | 14.538 % | 280.91/281.05 c | 11341 | 54801 718974 86046 | 621611 11341 1479 | 14.538 % | 313.81/313.91 c | 17108 | 54801 718974 86046 | 683772 17108 1880 | 14.538 % | 365.60/365.71 c | 25757 | 54799 718974 86046 | 752149 25753 2006 | 14.541 % | 455.97/456.18 c | 38731 | 54798 718974 86046 | 827364 38718 2308 | 14.542 % | 636.53/636.74 c | 58193 | 54796 718974 86046 | 910100 58171 2799 | 14.545 % | 974.44/974.78 c | 87386 | 54796 718974 86046 | 1001110 87351 3444 | 14.545 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655935-1276379036/watcher-2655935-1276379036 -o /tmp/evaluation-result-2655935-1276379036/solver-2655935-1276379036 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655935-1276379036.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.00 1.69 3/106 15565 /proc/meminfo: memFree=1794124/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=19580 CPUtime=0 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 338 0 0 0 0 0 0 0 19 0 1 0 13507671 20049920 257 1992294400 134512640 135751879 4293069392 18446744073709551615 134613677 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 4895 257 136 303 0 382 0 [startup+0.0402869 s] /proc/loadavg: 1.76 2.00 1.69 3/106 15565 /proc/meminfo: memFree=1794124/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=21304 CPUtime=0.03 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 751 0 0 0 3 0 0 0 19 0 1 0 13507671 21815296 670 1992294400 134512640 135751879 4293069392 18446744073709551615 134569540 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 5326 670 187 303 0 813 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21304 [startup+0.101281 s] /proc/loadavg: 1.76 2.00 1.69 3/106 15565 /proc/meminfo: memFree=1794124/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=22224 CPUtime=0.09 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 1081 0 0 0 9 0 0 0 19 0 1 0 13507671 22757376 1000 1992294400 134512640 135751879 4293069392 18446744073709551615 135204029 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 5556 1001 289 303 0 1043 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22224 [startup+0.301301 s] /proc/loadavg: 1.76 2.00 1.69 3/106 15565 /proc/meminfo: memFree=1794124/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=24964 CPUtime=0.28 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 2058 0 0 0 28 0 0 0 20 0 1 0 13507671 25563136 1977 1992294400 134512640 135751879 4293069392 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 6241 1977 614 303 0 1728 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 24964 [startup+0.701342 s] /proc/loadavg: 1.76 2.00 1.69 3/106 15565 /proc/meminfo: memFree=1794124/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=29768 CPUtime=0.69 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 3899 0 0 0 68 1 0 0 21 0 1 0 13507671 30482432 3818 1992294400 134512640 135751879 4293069392 18446744073709551615 134564523 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 7442 3818 1255 303 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29768 [startup+1.50142 s] /proc/loadavg: 1.76 2.00 1.69 2/107 15566 /proc/meminfo: memFree=1780352/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=39228 CPUtime=1.49 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 7516 0 0 0 146 3 0 0 23 0 1 0 13507671 40169472 7435 1992294400 134512640 135751879 4293069392 18446744073709551615 134559719 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 9807 7435 2548 303 0 5294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39228 [startup+3.10159 s] /proc/loadavg: 1.70 1.98 1.68 2/107 15566 /proc/meminfo: memFree=1767340/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=72192 CPUtime=3.09 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 22379 0 0 0 300 9 0 0 25 0 1 0 13507671 73924608 17094 1992294400 134512640 135751879 4293069392 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 18048 17095 143 303 0 17743 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72192 [startup+6.30092 s] /proc/loadavg: 1.70 1.98 1.68 2/107 15566 /proc/meminfo: memFree=1716376/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=81064 CPUtime=6.28 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 24640 0 0 0 616 12 0 0 25 0 1 0 13507671 83009536 19355 1992294400 134512640 135751879 4293069392 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 20266 19355 147 303 0 19961 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 81064 [startup+12.7016 s] /proc/loadavg: 1.59 1.95 1.68 2/107 15568 /proc/meminfo: memFree=1716500/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=81064 CPUtime=12.69 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 24640 0 0 0 1249 20 0 0 25 0 1 0 13507671 83009536 19355 1992294400 134512640 135751879 4293069392 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 20266 19355 147 303 0 19961 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81064 [startup+25.5009 s] /proc/loadavg: 1.50 1.91 1.67 2/107 15568 /proc/meminfo: memFree=1715880/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=82252 CPUtime=25.48 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 24931 0 0 0 2515 33 0 0 25 0 1 0 13507671 84226048 19646 1992294400 134512640 135751879 4293069392 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 20563 19646 147 303 0 20258 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82252 [startup+51.1005 s] /proc/loadavg: 1.33 1.84 1.65 2/107 15568 /proc/meminfo: memFree=1677068/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=121456 CPUtime=51.08 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 34739 0 0 0 5061 47 0 0 25 0 1 0 13507671 124370944 29454 1992294400 134512640 135751879 4293069392 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 30364 29454 147 303 0 30059 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 121456 [startup+102.308 s] /proc/loadavg: 1.13 1.69 1.61 2/107 15570 /proc/meminfo: memFree=1595352/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=202296 CPUtime=102.26 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 54937 0 0 0 10161 65 0 0 25 0 1 0 13507671 207151104 49652 1992294400 134512640 135751879 4293069392 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 50574 49652 147 303 0 50269 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 202296 [startup+162.301 s] /proc/loadavg: 1.05 1.57 1.57 2/107 15572 /proc/meminfo: memFree=1514132/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=284192 CPUtime=162.25 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 75416 0 0 0 16130 95 0 0 25 0 1 0 13507671 291012608 70131 1992294400 134512640 135751879 4293069392 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 71048 70131 147 303 0 70743 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 284192 [startup+222.301 s] /proc/loadavg: 1.02 1.46 1.53 2/107 15572 /proc/meminfo: memFree=1471848/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=324440 CPUtime=222.23 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 87235 0 0 0 22120 103 0 0 25 0 1 0 13507671 332226560 80334 1992294400 134512640 135751879 4293069392 18446744073709551615 134517248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 81110 80334 150 303 0 80805 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 324440 [startup+282.301 s] /proc/loadavg: 1.00 1.37 1.49 2/107 15574 /proc/meminfo: memFree=1471724/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=324440 CPUtime=282.21 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 87273 0 0 0 28104 117 0 0 25 0 1 0 13507671 332226560 80372 1992294400 134512640 135751879 4293069392 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 81110 80372 151 303 0 80805 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 324440 [startup+342.301 s] /proc/loadavg: 1.00 1.30 1.46 2/107 15576 /proc/meminfo: memFree=1453868/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=343272 CPUtime=342.2 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 91953 0 0 0 34094 126 0 0 25 0 1 0 13507671 351510528 85052 1992294400 134512640 135751879 4293069392 18446744073709551615 134611273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 85818 85052 151 303 0 85513 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 343272 [startup+402.301 s] /proc/loadavg: 1.00 1.25 1.43 2/107 15578 /proc/meminfo: memFree=1362728/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=435508 CPUtime=402.18 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 115006 0 0 0 40074 144 0 0 25 0 1 0 13507671 445960192 108105 1992294400 134512640 135751879 4293069392 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 108877 108105 151 303 0 108572 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 435508 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.40 2/107 15580 /proc/meminfo: memFree=1267248/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=529236 CPUtime=462.17 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 138473 0 0 0 46055 162 0 0 25 0 1 0 13507671 541937664 131572 1992294400 134512640 135751879 4293069392 18446744073709551615 134518465 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 132309 131572 151 303 0 132004 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 529236 [startup+522.301 s] /proc/loadavg: 1.00 1.16 1.37 2/107 15580 /proc/meminfo: memFree=1160856/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=636484 CPUtime=522.16 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 165256 0 0 0 52038 178 0 0 25 0 1 0 13507671 651759616 158355 1992294400 134512640 135751879 4293069392 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 159121 158355 151 303 0 158816 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 636484 [startup+582.301 s] /proc/loadavg: 1.00 1.13 1.35 2/107 15582 /proc/meminfo: memFree=1066244/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=730000 CPUtime=582.14 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 188646 0 0 0 58022 192 0 0 25 0 1 0 13507671 747520000 181745 1992294400 134512640 135751879 4293069392 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 182500 181745 151 303 0 182195 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 730000 [startup+642.301 s] /proc/loadavg: 1.00 1.10 1.32 2/107 15584 /proc/meminfo: memFree=975352/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=819912 CPUtime=642.13 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 211129 0 0 0 64004 209 0 0 25 0 1 0 13507671 839589888 204228 1992294400 134512640 135751879 4293069392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 204978 204228 151 303 0 204673 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 819912 [startup+702.301 s] /proc/loadavg: 1.07 1.10 1.30 2/107 15586 /proc/meminfo: memFree=889916/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=906416 CPUtime=702.11 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 232714 0 0 0 69989 222 0 0 25 0 1 0 13507671 928169984 225813 1992294400 134512640 135751879 4293069392 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 226604 225813 151 303 0 226299 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 906416 [startup+762.308 s] /proc/loadavg: 1.02 1.08 1.28 2/107 15588 /proc/meminfo: memFree=795304/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=999684 CPUtime=762.11 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 256041 0 0 0 75975 236 0 0 25 0 1 0 13507671 1023676416 249140 1992294400 134512640 135751879 4293069392 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 249921 249140 151 303 0 249616 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 999684 [startup+822.301 s] /proc/loadavg: 1.07 1.08 1.27 2/107 15588 /proc/meminfo: memFree=693376/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=1102248 CPUtime=822.08 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 281676 0 0 0 81956 252 0 0 25 0 1 0 13507671 1128701952 274775 1992294400 134512640 135751879 4293069392 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 275562 274775 151 303 0 275257 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1102248 [startup+882.301 s] /proc/loadavg: 1.08 1.07 1.25 2/107 15590 /proc/meminfo: memFree=592068/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=1202956 CPUtime=882.06 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 306838 0 0 0 87941 265 0 0 25 0 1 0 13507671 1231826944 299937 1992294400 134512640 135751879 4293069392 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 300739 299937 151 303 0 300434 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1202956 [startup+942.301 s] /proc/loadavg: 1.08 1.07 1.24 2/107 15592 /proc/meminfo: memFree=488776/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=1306420 CPUtime=942.05 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 332716 0 0 0 93927 278 0 0 25 0 1 0 13507671 1337774080 325815 1992294400 134512640 135751879 4293069392 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 326605 325815 151 303 0 326300 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1306420 [startup+1002.3 s] /proc/loadavg: 1.08 1.07 1.23 2/107 15594 /proc/meminfo: memFree=399248/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=1395224 CPUtime=1002.03 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 354909 0 0 0 99913 290 0 0 25 0 1 0 13507671 1428709376 348008 1992294400 134512640 135751879 4293069392 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 348806 348008 151 303 0 348501 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1395224 [startup+1062.3 s] /proc/loadavg: 1.07 1.07 1.22 2/107 15605 /proc/meminfo: memFree=310836/2059040 swapFree=4135600/4192956 [pid=15565] ppid=15563 vsize=1484016 CPUtime=1062.01 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 377122 0 0 0 105901 300 0 0 25 0 1 0 13507671 1519632384 370221 1992294400 134512640 135751879 4293069392 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 371004 370221 151 303 0 370699 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1484016 [startup+1122.3 s] /proc/loadavg: 1.07 1.07 1.20 2/107 15605 /proc/meminfo: memFree=222424/2059040 swapFree=4135604/4192956 [pid=15565] ppid=15563 vsize=1571952 CPUtime=1121.99 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 399039 0 0 0 111886 313 0 0 25 0 1 0 13507671 1609678848 392138 1992294400 134512640 135751879 4293069392 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 392988 392138 151 303 0 392683 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1571952 [startup+1182.3 s] /proc/loadavg: 1.06 1.07 1.19 2/107 15607 /proc/meminfo: memFree=118760/2059040 swapFree=4135604/4192956 [pid=15565] ppid=15563 vsize=1676772 CPUtime=1181.98 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 425278 0 0 0 117870 328 0 0 25 0 1 0 13507671 1717014528 418377 1992294400 134512640 135751879 4293069392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 419193 418377 151 303 0 418888 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1676772 [startup+1242.3 s] /proc/loadavg: 1.09 1.08 1.19 2/107 15609 /proc/meminfo: memFree=39648/2059040 swapFree=4135604/4192956 [pid=15565] ppid=15563 vsize=1753708 CPUtime=1241.96 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 444515 0 0 0 123859 337 0 0 25 0 1 0 13507671 1795796992 437614 1992294400 134512640 135751879 4293069392 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 438427 437614 151 303 0 438122 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1753708 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1299.6 s] /proc/loadavg: 1.07 1.08 1.18 2/107 15611 /proc/meminfo: memFree=9260/2059040 swapFree=4135604/4192956 [pid=15565] ppid=15563 vsize=1843464 CPUtime=1299.26 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4202496 466935 0 0 0 129576 350 0 0 25 0 1 0 13507671 1887707136 460034 1992294400 134512640 135751879 4293069392 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/15565/statm: 460866 460034 151 303 0 460561 0 Current children cumulated CPU time (s) 1299.26 Current children cumulated vsize (KiB) 1843464 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1299.71 s] /proc/loadavg: 1.07 1.08 1.18 2/107 15611 /proc/meminfo: memFree=9260/2059040 swapFree=4135604/4192956 [pid=15565] ppid=15563 vsize=0 CPUtime=1299.36 /proc/15565/stat : 15565 (wbo1.4b) R 15563 15565 15540 0 -1 4203524 466935 0 0 0 129576 360 0 0 25 0 1 0 13507671 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/15565/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1299.36 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1299.78 CPU time (s): 1299.44 CPU user time (s): 1295.76 CPU system time (s): 3.67544 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (KiB): 1843464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1295.76 system time used= 3.67544 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466935 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= 16 involuntary context switches= 16659 runsolver used 2.26666 second user time and 6.03108 second system time The end
Begin job on node002 at 2010-06-12 23:43:57 IDJOB=2655935 IDBENCH=1969 IDSOLVER=1161 FILE ID=node002/2655935-1276379036 PBS_JOBID= 11173245 Free space on /tmp= 62380 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655935-1276379036/watcher-2655935-1276379036 -o /tmp/evaluation-result-2655935-1276379036/solver-2655935-1276379036 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655935-1276379036.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 325852af8542a0f454599a2893f1b120 RANDOM SEED=1899462637 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1794528 kB Buffers: 46396 kB Cached: 143344 kB SwapCached: 17656 kB Active: 125980 kB Inactive: 83352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1794528 kB SwapTotal: 4192956 kB SwapFree: 4135600 kB Dirty: 19856 kB Writeback: 0 kB AnonPages: 10600 kB Mapped: 9112 kB Slab: 33376 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181052 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= 62380 MiB End job on node002 at 2010-06-13 00:05:39