Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1481.25 | 1481.68 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb |
MD5SUM | 8eed52e8cea562b1b1ee5bae07565266 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 390 |
Best CPU time to get the best result obtained on this benchmark | 1796.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 478 |
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 | 500105 |
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 | 500105 |
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-2655933-1276377488.opb. 0.00/0.00 c Instance file HOME/instance-2655933-1276377488.opb 0.00/0.00 c File size is 17233726 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.58 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.09/6.11 c ============================[ Search Statistics ]============================== 6.09/6.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.11 c =============================================================================== 6.09/6.11 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.09/6.18 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.28/6.30 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.49/6.60 c =============================================================================== 6.49/6.60 c New solution: 6774 6.49/6.60 o 6774 6.49/6.60 c Elapsed CPU time: 6.47701 s Remaining CPU time: 173.523 s 6.49/6.60 c =============================================================================== 6.49/6.60 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.78/6.89 c =============================================================================== 6.78/6.89 c New solution: 6507 6.78/6.89 o 6507 6.78/6.89 c Elapsed CPU time: 6.76597 s Remaining CPU time: 173.234 s 6.78/6.89 c =============================================================================== 6.78/6.89 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 6.88/6.98 c | 390 | 10000 656902 1353400 | 240864 390 1097 | 0.000 % | 7.08/7.10 c | 542 | 10000 656902 1353400 | 264950 542 1007 | 0.000 % | 7.28/7.31 c | 767 | 10000 656902 1353400 | 291445 767 931 | 0.000 % | 7.48/7.60 c | 1106 | 10000 656902 1353400 | 320590 1106 1111 | 0.000 % | 7.88/7.98 c | 1612 | 10000 656902 1353400 | 352649 1612 1172 | 0.000 % | 8.28/8.32 c =============================================================================== 8.28/8.32 c New solution: 6335 8.28/8.32 o 6335 8.28/8.32 c Elapsed CPU time: 8.16976 s Remaining CPU time: 171.83 s 8.28/8.32 c =============================================================================== 8.28/8.32 c | 1679 | 10000 656903 1363400 | 218967 1679 1170 | 0.000 % | 8.58/8.65 c =============================================================================== 8.58/8.65 c New solution: 6324 8.58/8.65 o 6324 8.58/8.65 c Elapsed CPU time: 8.49271 s Remaining CPU time: 171.507 s 8.58/8.65 c =============================================================================== 8.58/8.65 c | 1713 | 10000 656904 1373400 | 218968 1713 1160 | 0.000 % | 8.69/8.74 c | 1813 | 10000 656904 1373400 | 240864 1813 1160 | 0.000 % | 8.88/8.94 c | 1965 | 10000 656904 1373400 | 264951 1965 1138 | 0.000 % | 9.08/9.13 c | 2192 | 10000 656904 1373400 | 291446 2192 1139 | 0.000 % | 9.38/9.47 c | 2529 | 10000 656904 1373400 | 320591 2529 1090 | 0.000 % | 9.89/9.97 c | 3035 | 10000 656904 1373400 | 352650 3035 1190 | 0.000 % | 10.78/10.83 c | 3794 | 10000 656904 1373400 | 387915 3794 1074 | 0.000 % | 11.98/12.01 c | 4934 | 10000 656904 1373400 | 426706 4934 1030 | 0.000 % | 12.28/12.36 c =============================================================================== 12.28/12.36 c New solution: 6274 12.28/12.36 o 6274 12.28/12.36 c Elapsed CPU time: 12.1641 s Remaining CPU time: 167.836 s 12.28/12.36 c =============================================================================== 12.28/12.36 c | 4986 | 10000 656905 1383400 | 218968 4986 1028 | 0.000 % | 12.58/12.66 c =============================================================================== 12.58/12.66 c New solution: 6153 12.58/12.66 o 6153 12.58/12.66 c Elapsed CPU time: 12.4571 s Remaining CPU time: 167.543 s 12.58/12.66 c =============================================================================== 12.58/12.66 c | 4995 | 10000 656906 1393400 | 218968 4995 1027 | 0.000 % | 12.88/12.96 c =============================================================================== 12.88/12.96 c New solution: 6148 12.88/12.96 o 6148 12.88/12.96 c Elapsed CPU time: 12.7511 s Remaining CPU time: 167.249 s 12.88/12.96 c =============================================================================== 12.88/12.96 c | 4995 | 10000 656907 1403400 | 218969 4995 1027 | 0.000 % | 12.99/13.08 c | 5095 | 10000 656907 1403400 | 240865 5095 1022 | 0.000 % | 13.28/13.35 c | 5245 | 10000 656907 1403400 | 264952 5245 1009 | 0.000 % | 13.58/13.61 c | 5470 | 10000 656907 1403400 | 291447 5470 996 | 0.000 % | 13.88/13.99 c | 5808 | 10000 656907 1403400 | 320592 5808 1027 | 0.000 % | 14.58/14.67 c | 6314 | 10000 656907 1403400 | 352651 6314 1017 | 0.000 % | 15.48/15.55 c | 7075 | 10000 656907 1403400 | 387916 7075 973 | 0.000 % | 15.78/15.86 c =============================================================================== 15.78/15.86 c New solution: 6115 15.78/15.86 o 6115 15.78/15.86 c Elapsed CPU time: 15.6276 s Remaining CPU time: 164.372 s 15.78/15.86 c =============================================================================== 15.78/15.86 c | 7084 | 10000 656908 1413400 | 218969 7084 973 | 0.000 % | 15.98/16.05 c | 7186 | 10000 656908 1413400 | 240866 7186 967 | 0.000 % | 16.18/16.23 c | 7336 | 10000 656908 1413400 | 264952 7336 967 | 0.000 % | 16.48/16.59 c =============================================================================== 16.48/16.59 c New solution: 6110 16.48/16.59 o 6110 16.48/16.59 c Elapsed CPU time: 16.3465 s Remaining CPU time: 163.653 s 16.48/16.59 c =============================================================================== 16.48/16.59 c | 7398 | 10000 656909 1423400 | 218969 7398 967 | 0.000 % | 16.68/16.72 c | 7498 | 10000 656909 1423400 | 240866 7498 971 | 0.000 % | 16.88/16.91 c | 7650 | 10000 656909 1423400 | 264953 7650 962 | 0.000 % | 17.27/17.38 c | 7876 | 10000 656909 1423400 | 291448 7876 953 | 0.000 % | 17.78/17.81 c | 8213 | 10000 656909 1423400 | 320593 8213 947 | 0.000 % | 18.38/18.42 c | 8720 | 10000 656909 1423400 | 352652 8720 924 | 0.000 % | 18.98/19.05 c =============================================================================== 18.98/19.05 c New solution: 6108 18.98/19.05 o 6108 18.98/19.05 c Elapsed CPU time: 18.7721 s Remaining CPU time: 161.228 s 18.98/19.05 c =============================================================================== 18.98/19.05 c | 8981 | 10000 656910 1433400 | 218970 8981 929 | 0.000 % | 19.18/19.29 c | 9082 | 10000 656910 1433400 | 240867 9082 927 | 0.000 % | 19.48/19.58 c | 9234 | 10000 656910 1433400 | 264953 9234 921 | 0.000 % | 19.78/19.82 c | 9459 | 10000 656910 1433400 | 291449 9459 931 | 0.000 % | 20.28/20.35 c | 9797 | 10000 656910 1433400 | 320593 9797 922 | 0.000 % | 20.98/21.05 c | 10304 | 10000 656910 1433400 | 352653 10304 905 | 0.000 % | 21.28/21.39 c =============================================================================== 21.28/21.39 c New solution: 6099 21.28/21.39 o 6099 21.28/21.39 c Elapsed CPU time: 21.0908 s Remaining CPU time: 158.909 s 21.28/21.39 c =============================================================================== 21.28/21.39 c | 10331 | 10000 656911 1443400 | 218970 10331 904 | 0.000 % | 21.48/21.56 c | 10431 | 10000 656911 1443400 | 240867 10431 905 | 0.000 % | 21.98/22.02 c =============================================================================== 21.98/22.02 c New solution: 6098 21.98/22.02 o 6098 21.98/22.02 c Elapsed CPU time: 21.7157 s Remaining CPU time: 158.284 s 21.98/22.02 c =============================================================================== 21.98/22.02 c | 10565 | 10000 656912 1453400 | 218970 10565 905 | 0.000 % | 22.08/22.13 c | 10665 | 10000 656912 1453400 | 240867 10665 908 | 0.000 % | 22.28/22.33 c | 10818 | 10000 656912 1453400 | 264954 10818 916 | 0.000 % | 22.57/22.60 c | 11043 | 10000 656912 1453400 | 291449 11043 932 | 0.000 % | 23.08/23.16 c | 11381 | 10000 656912 1453400 | 320594 11381 928 | 0.000 % | 23.98/24.09 c | 11887 | 10000 656912 1453400 | 352654 11887 921 | 0.000 % | 25.28/25.33 c | 12649 | 10000 656912 1453400 | 387919 12649 921 | 0.000 % | 26.48/26.55 c =============================================================================== 26.48/26.55 c New solution: 6092 26.48/26.55 o 6092 26.48/26.55 c Elapsed CPU time: 26.191 s Remaining CPU time: 153.809 s 26.48/26.55 c =============================================================================== 26.48/26.55 c | 13111 | 10000 656913 1463400 | 218971 13111 915 | 0.000 % | 26.78/26.87 c =============================================================================== 26.78/26.87 c New solution: 6081 26.78/26.87 o 6081 26.78/26.87 c Elapsed CPU time: 26.519 s Remaining CPU time: 153.481 s 26.78/26.87 c =============================================================================== 26.78/26.87 c | 13120 | 10000 656914 1473400 | 218971 13120 915 | 0.000 % | 27.17/27.27 c =============================================================================== 27.17/27.27 c New solution: 6080 27.17/27.27 o 6080 27.17/27.27 c Elapsed CPU time: 26.9079 s Remaining CPU time: 153.092 s 27.17/27.27 c =============================================================================== 27.17/27.27 c | 13156 | 10000 656915 1483400 | 218971 13156 914 | 0.000 % | 27.48/27.58 c =============================================================================== 27.48/27.58 c New solution: 6056 27.48/27.58 o 6056 27.48/27.58 c Elapsed CPU time: 27.2129 s Remaining CPU time: 152.787 s 27.48/27.58 c =============================================================================== 27.48/27.58 c | 13156 | 10000 656916 1493400 | 218972 13156 914 | 0.000 % | 27.87/27.98 c =============================================================================== 27.87/27.98 c New solution: 6031 27.87/27.98 o 6031 27.87/27.98 c Elapsed CPU time: 27.6158 s Remaining CPU time: 152.384 s 27.87/27.98 c =============================================================================== 27.87/27.98 c | 13204 | 10000 656917 1503400 | 218972 13204 913 | 0.000 % | 28.07/28.11 c | 13304 | 10000 656917 1503400 | 240869 13304 915 | 0.000 % | 28.38/28.40 c | 13457 | 10000 656917 1503400 | 264956 13457 916 | 0.000 % | 28.67/28.75 c | 13682 | 10000 656917 1503400 | 291452 13682 915 | 0.000 % | 29.28/29.33 c | 14019 | 10000 656917 1503400 | 320597 14019 919 | 0.000 % | 30.07/30.10 c | 14525 | 10000 656917 1503400 | 352657 14525 912 | 0.000 % | 31.18/31.23 c | 15284 | 10000 656917 1503400 | 387922 15284 905 | 0.000 % | 33.17/33.26 c | 16424 | 10000 656917 1503400 | 426715 16424 899 | 0.000 % | 33.47/33.58 c =============================================================================== 33.47/33.58 c New solution: 6003 33.47/33.58 o 6003 33.47/33.58 c Elapsed CPU time: 33.155 s Remaining CPU time: 146.845 s 33.47/33.58 c =============================================================================== 33.47/33.58 c | 16425 | 10000 656918 1513400 | 218972 16425 899 | 0.000 % | 33.88/33.95 c =============================================================================== 33.88/33.95 c New solution: 5992 33.88/33.95 o 5992 33.88/33.95 c Elapsed CPU time: 33.5259 s Remaining CPU time: 146.474 s 33.88/33.95 c =============================================================================== 33.88/33.95 c | 16455 | 10000 656919 1523400 | 218973 16455 898 | 0.000 % | 34.08/34.17 c | 16557 | 10000 656919 1523400 | 240870 16557 897 | 0.000 % | 34.48/34.54 c =============================================================================== 34.48/34.54 c New solution: 5957 34.48/34.54 o 5957 34.48/34.54 c Elapsed CPU time: 34.1068 s Remaining CPU time: 145.893 s 34.48/34.54 c =============================================================================== 34.48/34.54 c | 16585 | 10000 656920 1533400 | 218973 16585 897 | 0.000 % | 34.77/34.88 c =============================================================================== 34.77/34.88 c New solution: 5945 34.77/34.88 o 5945 34.77/34.88 c Elapsed CPU time: 34.4358 s Remaining CPU time: 145.564 s 34.77/34.88 c =============================================================================== 34.77/34.88 c | 16591 | 10000 656921 1543400 | 218973 16591 897 | 0.000 % | 34.98/35.09 c | 16692 | 10000 656921 1543400 | 240871 16692 895 | 0.000 % | 35.37/35.41 c | 16842 | 10000 656921 1543400 | 264958 16842 894 | 0.000 % | 35.68/35.80 c | 17068 | 10000 656921 1543400 | 291453 17068 901 | 0.000 % | 36.07/36.20 c =============================================================================== 36.07/36.20 c New solution: 5943 36.07/36.20 o 5943 36.07/36.20 c Elapsed CPU time: 35.7386 s Remaining CPU time: 144.261 s 36.07/36.20 c =============================================================================== 36.07/36.20 c | 17098 | 10000 656922 1553400 | 218974 17098 901 | 0.000 % | 36.48/36.57 c | 17201 | 10000 656922 1553400 | 240871 17201 900 | 0.000 % | 36.87/36.91 c | 17351 | 10000 656922 1553400 | 264958 17351 901 | 0.000 % | 37.28/37.33 c | 17579 | 10000 656922 1553400 | 291454 17579 900 | 0.000 % | 37.98/38.01 c | 17916 | 10000 656922 1553400 | 320599 17916 906 | 0.000 % | 39.17/39.25 c | 18422 | 10000 656922 1553400 | 352659 18422 900 | 0.000 % | 40.97/41.04 c | 19182 | 10000 656922 1553400 | 387925 19182 900 | 0.000 % | 43.27/43.37 c | 20321 | 10000 656922 1553400 | 426718 20321 884 | 0.000 % | 43.67/43.73 c =============================================================================== 43.67/43.73 c New solution: 5940 43.67/43.73 o 5940 43.67/43.73 c Elapsed CPU time: 43.2224 s Remaining CPU time: 136.778 s 43.67/43.73 c =============================================================================== 43.67/43.73 c | 20337 | 10000 656923 1563400 | 218974 20337 884 | 0.000 % | 43.88/43.95 c | 20438 | 10000 656923 1563400 | 240871 20438 882 | 0.000 % | 44.17/44.22 c | 20592 | 10000 656923 1563400 | 264958 20592 880 | 0.000 % | 44.68/44.75 c | 20819 | 10000 656923 1563400 | 291454 20819 876 | 0.000 % | 45.37/45.48 c | 21156 | 10000 656923 1563400 | 320600 21156 880 | 0.000 % | 46.57/46.68 c | 21665 | 10000 656923 1563400 | 352660 21665 872 | 0.000 % | 48.47/48.51 c | 22424 | 10000 656923 1563400 | 387926 22424 863 | 0.000 % | 50.77/50.89 c | 23564 | 10000 656923 1563400 | 426719 23564 854 | 0.000 % | 55.87/55.93 c | 25273 | 10000 656923 1563400 | 469390 25273 844 | 0.000 % | 56.17/56.25 c =============================================================================== 56.17/56.25 c New solution: 5775 56.17/56.25 o 5775 56.17/56.25 c Elapsed CPU time: 55.6805 s Remaining CPU time: 124.319 s 56.17/56.25 c =============================================================================== 56.17/56.25 c | 25273 | 10000 656924 1573400 | 218974 25273 844 | 0.000 % | 56.47/56.53 c | 25374 | 10000 656924 1573400 | 240872 25374 843 | 0.000 % | 56.77/56.84 c | 25525 | 10000 656924 1573400 | 264959 25525 841 | 0.000 % | 57.36/57.42 c | 25750 | 10000 656924 1573400 | 291455 25750 839 | 0.000 % | 58.17/58.24 c | 26087 | 10000 656924 1573400 | 320600 26087 837 | 0.000 % | 59.28/59.32 c | 26593 | 10000 656924 1573400 | 352660 26593 833 | 0.000 % | 60.57/60.64 c | 27355 | 10000 656924 1573400 | 387926 27355 826 | 0.000 % | 63.37/63.42 c | 28494 | 10000 656924 1573400 | 426719 28494 828 | 0.000 % | 68.17/68.25 c | 30203 | 10000 656924 1573400 | 469391 30203 824 | 0.000 % | 72.67/72.70 c | 32766 | 10000 656924 1573400 | 516330 32766 817 | 0.000 % | 82.17/82.27 c | 36610 | 10000 656924 1573400 | 567963 36610 811 | 0.000 % | 96.06/96.10 c | 42376 | 10000 656924 1573400 | 624760 42376 794 | 0.000 % | 116.95/117.02 c | 51025 | 10000 656924 1573400 | 687236 51025 786 | 0.000 % | 117.45/117.54 c =============================================================================== 117.45/117.54 c New solution: 5754 117.45/117.54 o 5754 117.45/117.54 c Elapsed CPU time: 116.736 s Remaining CPU time: 63.2637 s 117.45/117.54 c =============================================================================== 117.45/117.54 c | 51103 | 10000 656925 1583400 | 218975 51103 786 | 0.000 % | 117.75/117.89 c | 51203 | 10000 656925 1583400 | 240872 51203 786 | 0.000 % | 118.15/118.21 c =============================================================================== 118.15/118.21 c New solution: 5739 118.15/118.21 o 5739 118.15/118.21 c Elapsed CPU time: 117.4 s Remaining CPU time: 62.5998 s 118.15/118.21 c =============================================================================== 118.15/118.21 c | 51205 | 10000 656926 1593400 | 218975 51205 786 | 0.000 % | 118.45/118.55 c | 51307 | 10000 656926 1593400 | 240872 51307 786 | 0.000 % | 118.85/118.92 c | 51459 | 10000 656926 1593400 | 264960 51459 786 | 0.000 % | 119.35/119.40 c | 51684 | 10000 656926 1593400 | 291456 51684 788 | 0.000 % | 119.95/120.09 c | 52022 | 10000 656926 1593400 | 320601 52022 786 | 0.000 % | 121.65/121.79 c | 52528 | 10000 656926 1593400 | 352661 52528 784 | 0.000 % | 123.05/123.14 c | 53287 | 10000 656926 1593400 | 387928 53287 780 | 0.000 % | 125.05/125.10 c | 54426 | 10000 656926 1593400 | 426720 54426 774 | 0.000 % | 129.34/129.41 c | 56134 | 10000 656926 1593400 | 469393 56134 772 | 0.000 % | 135.54/135.69 c | 58696 | 10000 656926 1593400 | 516332 58696 761 | 0.000 % | 136.25/136.34 c =============================================================================== 136.25/136.34 c New solution: 5718 136.25/136.34 o 5718 136.25/136.34 c Elapsed CPU time: 135.423 s Remaining CPU time: 44.5766 s 136.25/136.34 c =============================================================================== 136.25/136.34 c | 58784 | 10000 656927 1603400 | 218975 58784 761 | 0.000 % | 136.54/136.63 c | 58885 | 10000 656927 1603400 | 240873 58885 761 | 0.000 % | 137.04/137.10 c | 59036 | 10000 656927 1603400 | 264960 59036 761 | 0.000 % | 137.54/137.67 c | 59261 | 10000 656927 1603400 | 291456 59261 760 | 0.000 % | 138.45/138.52 c | 59598 | 10000 656927 1603400 | 320602 59598 759 | 0.000 % | 139.55/139.68 c | 60106 | 10000 656927 1603400 | 352662 60106 758 | 0.000 % | 141.53/141.61 c | 60865 | 10000 656927 1603400 | 387928 60865 755 | 0.000 % | 144.34/144.47 c | 62004 | 10000 656927 1603400 | 426721 62004 753 | 0.000 % | 148.35/148.47 c | 63712 | 10000 656927 1603400 | 469393 63712 756 | 0.000 % | 155.93/156.01 c | 66274 | 10000 656927 1603400 | 516333 66274 751 | 0.000 % | 163.54/163.64 c | 70118 | 10000 656927 1603400 | 567966 70118 764 | 0.000 % | 177.04/177.10 c | 75886 | 10000 656927 1603400 | 624763 75886 759 | 0.000 % | 181.03/181.12 c There are 0 assigned variables. 0 in cost function. 230.62/230.76 c core #1 230.62/230.76 c core #2 230.62/230.76 c core #3 230.62/230.76 c core #4 230.62/230.76 c core #5 230.62/230.76 c core #6 230.62/230.76 c core #7 230.62/230.76 c core #8 230.62/230.76 c core #9 230.62/230.76 c core #10 230.62/230.76 c core #11 230.62/230.76 c core #12 230.62/230.76 c core #13 230.62/230.76 c core #14 230.62/230.76 c core #15 230.62/230.76 c core #16 230.62/230.76 c core #17 230.62/230.76 c core #18 230.62/230.76 c core #19 230.62/230.76 c core #20 230.62/230.76 c core #21 230.62/230.76 c core #22 230.62/230.76 c core #23 230.62/230.76 c core #24 230.62/230.76 c core #25 230.62/230.76 c core #26 230.62/230.76 c core #27 230.62/230.76 c core #28 230.62/230.76 c core #29 230.62/230.76 c core #30 230.62/230.76 c core #31 230.62/230.76 c core #32 230.62/230.76 c core #33 230.62/230.76 c core #34 230.62/230.76 c core #35 230.62/230.76 c core #36 230.62/230.76 c core #37 230.62/230.76 c core #38 230.62/230.76 c core #39 230.62/230.76 c core #40 230.62/230.76 c core #41 230.62/230.76 c core #42 230.62/230.76 c core #43 230.62/230.76 c core #44 230.62/230.76 c core #45 230.62/230.76 c core #46 230.62/230.76 c core #47 230.62/230.76 c core #48 230.62/230.76 c core #49 230.62/230.76 c core #50 230.62/230.76 c core #51 230.62/230.76 c core #52 230.62/230.76 c core #53 230.62/230.76 c core #54 230.62/230.76 c core #55 230.62/230.76 c core #56 230.62/230.76 c core #57 230.62/230.76 c core #58 230.62/230.76 c core #59 230.62/230.76 c core #60 230.62/230.76 c core #61 230.62/230.76 c core #62 230.62/230.76 c core #63 230.62/230.76 c core #64 230.62/230.76 c core #65 230.62/230.76 c core #66 230.62/230.76 c core #67 230.62/230.76 c core #68 230.62/230.76 c core #69 230.62/230.76 c core #70 230.62/230.76 c core #71 230.62/230.76 c core #72 230.62/230.76 c core #73 230.62/230.76 c core #74 230.62/230.76 c core #75 230.62/230.76 c core #76 230.62/230.76 c core #77 230.62/230.76 c core #78 230.62/230.76 c core #79 230.62/230.76 c core #80 230.62/230.76 c core #81 230.62/230.76 c core #82 230.62/230.76 c core #83 230.62/230.76 c core #84 230.62/230.76 c core #85 230.62/230.76 c core #86 230.62/230.76 c core #87 230.62/230.76 c core #88 230.62/230.76 c core #89 230.62/230.76 c core #90 230.62/230.76 c core #91 230.62/230.76 c core #92 230.62/230.76 c core #93 230.62/230.76 c core #94 230.62/230.76 c core #95 230.62/230.76 c core #96 230.62/230.76 c core #97 230.62/230.76 c core #98 230.62/230.76 c core #99 230.62/230.76 c core #100 230.62/230.76 c core #101 230.62/230.76 c core #102 230.62/230.76 c core #103 230.62/230.76 c core #104 230.62/230.76 c core #105 230.62/230.76 c core #106 230.62/230.76 c core #107 230.62/230.76 c core #108 230.62/230.76 c core #109 230.62/230.76 c core #110 230.62/230.76 c core #111 230.62/230.76 c core #112 230.62/230.76 c core #113 230.62/230.76 c core #114 230.62/230.76 c core #115 230.62/230.76 c core #116 230.62/230.76 c core #117 230.62/230.76 c core #118 230.62/230.76 c core #119 230.62/230.76 c core #120 230.62/230.76 c core #121 230.62/230.76 c core #122 230.62/230.76 c core #123 230.62/230.76 c core #124 230.62/230.76 c core #125 230.62/230.76 c ============================[ Search Statistics ]============================== 230.62/230.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.62/230.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.62/230.76 c =============================================================================== 230.62/230.76 c | 0 | 31407 697617 54723 | 232539 0 nan | 0.000 % | 230.62/230.77 c =============================================================================== 231.12/231.20 c core #126 231.12/231.20 c ============================[ Search Statistics ]============================== 231.12/231.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.12/231.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.12/231.20 c =============================================================================== 231.12/231.20 c | 0 | 31806 698002 55171 | 232667 0 nan | 0.000 % | 231.12/231.22 c =============================================================================== 231.51/231.66 c core #127 231.51/231.66 c ============================[ Search Statistics ]============================== 231.51/231.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.51/231.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.51/231.66 c =============================================================================== 231.51/231.66 c | 0 | 32303 698486 55724 | 232828 0 nan | 0.000 % | 231.61/231.70 c =============================================================================== 232.02/232.15 c core #128 232.02/232.15 c ============================[ Search Statistics ]============================== 232.02/232.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.02/232.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.02/232.15 c =============================================================================== 232.02/232.15 c | 0 | 33381 699522 57011 | 233174 0 nan | 0.000 % | 232.11/232.21 c =============================================================================== 232.51/232.65 c core #129 232.51/232.65 c ============================[ Search Statistics ]============================== 232.51/232.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.51/232.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.51/232.65 c =============================================================================== 232.51/232.65 c | 0 | 34540 700642 58409 | 233547 0 nan | 0.000 % | 232.81/232.94 c =============================================================================== 233.21/233.37 c core #130 233.21/233.37 c ============================[ Search Statistics ]============================== 233.21/233.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.21/233.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.21/233.37 c =============================================================================== 233.21/233.37 c | 0 | 37528 703497 61998 | 234499 0 nan | 0.000 % | 233.61/233.70 c =============================================================================== 234.01/234.17 c core #131 234.01/234.17 c ============================[ Search Statistics ]============================== 234.01/234.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.01/234.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.01/234.17 c =============================================================================== 234.01/234.17 c | 0 | 40755 706523 66475 | 235507 0 nan | 0.000 % | 234.61/234.79 c =============================================================================== 235.11/235.26 c core #132 235.11/235.26 c ============================[ Search Statistics ]============================== 235.11/235.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 235.11/235.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 235.11/235.26 c =============================================================================== 235.11/235.26 c | 0 | 45954 711353 73237 | 237117 0 nan | 0.000 % | 235.32/235.41 c | 100 | 45953 711353 73237 | 260829 98 626 | 17.048 % | 235.51/235.66 c | 251 | 45950 711353 73237 | 286912 246 534 | 17.053 % | 236.71/236.80 c =============================================================================== 237.11/237.25 c core #133 237.11/237.25 c ============================[ Search Statistics ]============================== 237.11/237.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 237.11/237.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 237.11/237.25 c =============================================================================== 237.11/237.25 c | 0 | 53503 718200 83771 | 239400 0 nan | 0.000 % | 237.31/237.45 c | 100 | 53503 718200 83771 | 263340 100 606 | 14.891 % | 237.82/237.92 c | 251 | 53503 718200 83771 | 289674 251 847 | 14.891 % | 238.52/238.68 c | 477 | 53503 718200 83771 | 318641 477 1297 | 14.891 % | 239.51/239.66 c | 814 | 53503 718200 83771 | 350505 814 1735 | 14.891 % | 241.31/241.49 c | 1321 | 53503 718200 83771 | 385556 1321 1991 | 14.891 % | 244.02/244.10 c | 2081 | 53502 718200 83771 | 424111 2080 1784 | 14.892 % | 249.00/249.11 c | 3222 | 53500 718200 83771 | 466522 3220 2275 | 14.896 % | 258.21/258.31 c | 4932 | 53499 718200 83771 | 513175 4910 2860 | 14.897 % | 273.10/273.23 c | 7497 | 53498 718200 83771 | 564492 7475 3255 | 14.899 % | 293.30/293.47 c | 11342 | 53497 718200 83771 | 620941 11318 3272 | 14.900 % | 312.89/313.08 c =============================================================================== 313.59/313.74 c core #134 313.59/313.74 c ============================[ Search Statistics ]============================== 313.59/313.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 313.59/313.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 313.59/313.74 c =============================================================================== 313.59/313.74 c | 0 | 64481 727361 99413 | 242453 0 nan | 0.000 % | 313.79/313.96 c | 100 | 64481 727361 99413 | 266699 100 1027 | 12.562 % | 314.29/314.46 c | 255 | 64481 727361 99413 | 293368 255 600 | 12.562 % | 315.19/315.33 c | 482 | 64481 727361 99413 | 322705 482 556 | 12.562 % | 316.79/316.98 c | 823 | 64481 727361 99413 | 354976 823 783 | 12.562 % | 319.79/319.92 c | 1329 | 64481 727361 99413 | 390474 1329 976 | 12.562 % | 323.49/323.66 c | 2088 | 64481 727361 99413 | 429521 2088 1126 | 12.562 % | 329.69/329.85 c | 3228 | 64481 727361 99413 | 472473 3228 1115 | 12.562 % | 338.79/338.98 c | 4937 | 64481 727361 99413 | 519720 4937 1368 | 12.562 % | 350.88/351.08 c | 7503 | 64481 727361 99413 | 571693 7503 1358 | 12.562 % | 367.57/367.73 c | 11347 | 64479 727361 99413 | 628862 11318 1310 | 12.565 % | 403.36/403.50 c | 17115 | 64479 727361 99413 | 691748 17086 1466 | 12.565 % | 448.84/449.08 c | 25764 | 64479 727361 99413 | 760923 25735 1467 | 12.565 % | 526.52/526.73 c | 38738 | 64478 727361 99413 | 837015 38702 1647 | 12.566 % | 671.38/671.67 c | 58199 | 64478 727361 99413 | 920717 58163 2134 | 12.566 % | 923.32/923.67 c | 87391 | 64476 727361 99413 | 1012789 87347 2500 | 12.569 % | 1453.46/1453.91 c | 131182 | 64475 727361 99413 | 1114068 131098 3086 | 12.570 % |
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-2655933-1276377488/watcher-2655933-1276377488 -o /tmp/evaluation-result-2655933-1276377488/solver-2655933-1276377488 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655933-1276377488.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.78 1.99 1.64 3/106 12424 /proc/meminfo: memFree=1804456/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=20276 CPUtime=0 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 467 0 0 0 0 0 0 0 18 0 1 0 13352761 20762624 385 1992294400 134512640 135751879 4286966512 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 5069 385 141 303 0 556 0 [startup+0.056649 s] /proc/loadavg: 1.78 1.99 1.64 3/106 12424 /proc/meminfo: memFree=1804456/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=21588 CPUtime=0.05 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 859 0 0 0 5 0 0 0 20 0 1 0 13352761 22106112 777 1992294400 134512640 135751879 4286966512 18446744073709551615 135227788 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 5397 778 223 303 0 884 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 21588 [startup+0.100652 s] /proc/loadavg: 1.78 1.99 1.64 3/106 12424 /proc/meminfo: memFree=1804456/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=22352 CPUtime=0.09 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 1103 0 0 0 9 0 0 0 20 0 1 0 13352761 22888448 1021 1992294400 134512640 135751879 4286966512 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 5588 1021 294 303 0 1075 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22352 [startup+0.30067 s] /proc/loadavg: 1.78 1.99 1.64 3/106 12424 /proc/meminfo: memFree=1804456/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=24960 CPUtime=0.29 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 2080 0 0 0 29 0 0 0 20 0 1 0 13352761 25559040 1998 1992294400 134512640 135751879 4286966512 18446744073709551615 134564646 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 6240 1998 621 303 0 1727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24960 [startup+0.70071 s] /proc/loadavg: 1.78 1.99 1.64 3/106 12424 /proc/meminfo: memFree=1804456/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=29764 CPUtime=0.69 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 3917 0 0 0 69 0 0 0 20 0 1 0 13352761 30478336 3835 1992294400 134512640 135751879 4286966512 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 7441 3835 1261 303 0 2928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29764 [startup+1.50078 s] /proc/loadavg: 1.78 1.99 1.64 2/107 12425 /proc/meminfo: memFree=1790684/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=39356 CPUtime=1.49 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 7538 0 0 0 147 2 0 0 23 0 1 0 13352761 40300544 7456 1992294400 134512640 135751879 4286966512 18446744073709551615 135188676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 9839 7456 2555 303 0 5326 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39356 [startup+3.10094 s] /proc/loadavg: 1.78 1.99 1.64 2/107 12425 /proc/meminfo: memFree=1777788/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=72320 CPUtime=3.09 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 22441 0 0 0 301 8 0 0 25 0 1 0 13352761 74055680 17155 1992294400 134512640 135751879 4286966512 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 18080 17156 143 303 0 17775 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72320 [startup+6.30125 s] /proc/loadavg: 1.72 1.98 1.64 2/107 12425 /proc/meminfo: memFree=1726948/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=81060 CPUtime=6.28 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 24641 0 0 0 618 10 0 0 25 0 1 0 13352761 83005440 19355 1992294400 134512640 135751879 4286966512 18446744073709551615 134608375 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/12424/statm: 20265 19355 147 303 0 19960 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 81060 [startup+12.7019 s] /proc/loadavg: 1.66 1.96 1.64 2/107 12425 /proc/meminfo: memFree=1727072/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=81060 CPUtime=12.68 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 24641 0 0 0 1249 19 0 0 25 0 1 0 13352761 83005440 19355 1992294400 134512640 135751879 4286966512 18446744073709551615 134598806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 20265 19355 147 303 0 19960 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 81060 [startup+25.5011 s] /proc/loadavg: 1.51 1.91 1.63 2/107 12425 /proc/meminfo: memFree=1719012/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=89852 CPUtime=25.47 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 26816 0 0 0 2514 33 0 0 25 0 1 0 13352761 92008448 21530 1992294400 134512640 135751879 4286966512 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 22463 21530 147 303 0 22158 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 89852 [startup+51.1005 s] /proc/loadavg: 1.41 1.85 1.61 2/107 12425 /proc/meminfo: memFree=1681324/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=127480 CPUtime=51.07 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 36253 0 0 0 5054 53 0 0 25 0 1 0 13352761 130539520 30967 1992294400 134512640 135751879 4286966512 18446744073709551615 134611200 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 31870 30967 147 303 0 31565 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 127480 [startup+102.308 s] /proc/loadavg: 1.17 1.72 1.58 2/107 12427 /proc/meminfo: memFree=1618332/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=190164 CPUtime=102.27 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 51886 0 0 0 10154 73 0 0 25 0 1 0 13352761 194727936 46600 1992294400 134512640 135751879 4286966512 18446744073709551615 134611160 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 47541 46600 147 303 0 47236 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 190164 [startup+162.301 s] /proc/loadavg: 1.06 1.59 1.54 2/107 12429 /proc/meminfo: memFree=1546908/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=262312 CPUtime=162.23 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 69912 0 0 0 16125 98 0 0 25 0 1 0 13352761 268607488 64626 1992294400 134512640 135751879 4286966512 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 65578 64626 147 303 0 65273 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 262312 [startup+222.301 s] /proc/loadavg: 1.02 1.48 1.50 2/107 12431 /proc/meminfo: memFree=1498920/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=307860 CPUtime=222.22 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 83027 0 0 0 22115 107 0 0 25 0 1 0 13352761 315248640 76193 1992294400 134512640 135751879 4286966512 18446744073709551615 135200696 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 76965 76193 150 303 0 76660 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 307860 [startup+282.301 s] /proc/loadavg: 1.01 1.39 1.47 2/107 12433 /proc/meminfo: memFree=1487016/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=321560 CPUtime=282.2 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 86471 0 0 0 28102 118 0 0 25 0 1 0 13352761 329277440 79637 1992294400 134512640 135751879 4286966512 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 80390 79637 151 303 0 80085 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 321560 [startup+342.301 s] /proc/loadavg: 1.00 1.31 1.44 2/107 12433 /proc/meminfo: memFree=1378764/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=431024 CPUtime=342.18 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 113080 0 0 0 34083 135 0 0 25 0 1 0 13352761 441368576 106246 1992294400 134512640 135751879 4286966512 18446744073709551615 134620541 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 107756 106246 151 303 0 107451 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 431024 [startup+402.301 s] /proc/loadavg: 1.00 1.25 1.41 2/107 12435 /proc/meminfo: memFree=1378640/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=431024 CPUtime=402.16 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 113081 0 0 0 40072 144 0 0 25 0 1 0 13352761 441368576 106247 1992294400 134512640 135751879 4286966512 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 107756 106247 151 303 0 107451 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 431024 [startup+462.301 s] /proc/loadavg: 1.00 1.20 1.38 2/107 12437 /proc/meminfo: memFree=1378516/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=431024 CPUtime=462.14 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 113081 0 0 0 46061 153 0 0 25 0 1 0 13352761 441368576 106247 1992294400 134512640 135751879 4286966512 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 107756 106247 151 303 0 107451 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 431024 [startup+522.301 s] /proc/loadavg: 1.00 1.17 1.35 2/107 12439 /proc/meminfo: memFree=1357684/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=453024 CPUtime=522.12 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 118610 0 0 0 52049 163 0 0 25 0 1 0 13352761 463896576 111776 1992294400 134512640 135751879 4286966512 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 113256 111776 151 303 0 112951 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 453024 [startup+582.301 s] /proc/loadavg: 1.00 1.13 1.33 2/107 12441 /proc/meminfo: memFree=1263940/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=546676 CPUtime=582.11 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 141980 0 0 0 58031 180 0 0 25 0 1 0 13352761 559796224 135146 1992294400 134512640 135751879 4286966512 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 136669 135146 151 303 0 136364 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 546676 [startup+642.301 s] /proc/loadavg: 1.00 1.11 1.30 2/107 12441 /proc/meminfo: memFree=1154076/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=655040 CPUtime=642.1 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 169105 0 0 0 64011 199 0 0 25 0 1 0 13352761 670760960 162271 1992294400 134512640 135751879 4286966512 18446744073709551615 134611220 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 163760 162271 151 303 0 163455 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 655040 [startup+702.302 s] /proc/loadavg: 1.00 1.08 1.28 2/107 12443 /proc/meminfo: memFree=1075088/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=734944 CPUtime=702.08 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 189029 0 0 0 69994 214 0 0 25 0 1 0 13352761 752582656 182195 1992294400 134512640 135751879 4286966512 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 183736 182195 151 303 0 183431 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 734944 [startup+762.308 s] /proc/loadavg: 1.00 1.07 1.26 2/107 12445 /proc/meminfo: memFree=989900/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=818928 CPUtime=762.07 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 210048 0 0 0 75979 228 0 0 25 0 1 0 13352761 838582272 203214 1992294400 134512640 135751879 4286966512 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 204732 203214 151 303 0 204427 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 818928 [startup+822.301 s] /proc/loadavg: 1.00 1.05 1.24 2/107 12447 /proc/meminfo: memFree=905828/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=903392 CPUtime=822.04 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 231154 0 0 0 81959 245 0 0 25 0 1 0 13352761 925073408 224320 1992294400 134512640 135751879 4286966512 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 225848 224320 151 303 0 225543 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 903392 [startup+882.301 s] /proc/loadavg: 1.00 1.04 1.23 2/107 12449 /proc/meminfo: memFree=811216/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=997572 CPUtime=882.03 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 254738 0 0 0 87941 262 0 0 25 0 1 0 13352761 1021513728 247904 1992294400 134512640 135751879 4286966512 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 249393 247904 151 303 0 249088 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 997572 [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.21 2/107 12449 /proc/meminfo: memFree=721192/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1087692 CPUtime=942.01 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 277263 0 0 0 93925 276 0 0 25 0 1 0 13352761 1113796608 270429 1992294400 134512640 135751879 4286966512 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 271923 270429 151 303 0 271618 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1087692 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.19 2/107 12451 /proc/meminfo: memFree=654356/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1154448 CPUtime=1001.99 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 293897 0 0 0 99908 291 0 0 25 0 1 0 13352761 1182154752 287063 1992294400 134512640 135751879 4286966512 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 288612 287063 151 303 0 288307 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1154448 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 12453 /proc/meminfo: memFree=583924/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1225152 CPUtime=1061.97 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 311598 0 0 0 105892 305 0 0 25 0 1 0 13352761 1254555648 304764 1992294400 134512640 135751879 4286966512 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 306288 304764 151 303 0 305983 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1225152 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 12455 /proc/meminfo: memFree=487204/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1321436 CPUtime=1121.96 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 335654 0 0 0 111875 321 0 0 25 0 1 0 13352761 1353150464 328820 1992294400 134512640 135751879 4286966512 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 330359 328820 151 303 0 330054 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1321436 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.15 2/107 12457 /proc/meminfo: memFree=394080/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1414388 CPUtime=1181.94 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 358895 0 0 0 117858 336 0 0 25 0 1 0 13352761 1448333312 352061 1992294400 134512640 135751879 4286966512 18446744073709551615 134606393 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 353597 352061 151 303 0 353292 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1414388 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 12457 /proc/meminfo: memFree=295624/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1512880 CPUtime=1241.93 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 383523 0 0 0 123843 350 0 0 25 0 1 0 13352761 1549189120 376689 1992294400 134512640 135751879 4286966512 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 378220 376689 151 303 0 377915 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1512880 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.13 2/107 12459 /proc/meminfo: memFree=211552/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1595308 CPUtime=1301.92 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 404142 0 0 0 129830 362 0 0 25 0 1 0 13352761 1633595392 397308 1992294400 134512640 135751879 4286966512 18446744073709551615 134606365 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 398827 397308 151 303 0 398522 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1595308 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 12461 /proc/meminfo: memFree=137524/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1669672 CPUtime=1361.9 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 422730 0 0 0 135818 372 0 0 25 0 1 0 13352761 1709744128 415896 1992294400 134512640 135751879 4286966512 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 417418 415896 151 303 0 417113 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1669672 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.11 2/107 12463 /proc/meminfo: memFree=39440/2059040 swapFree=4192956/4192956 [pid=12424] ppid=12422 vsize=1767036 CPUtime=1421.88 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 447075 0 0 0 141802 386 0 0 25 0 1 0 13352761 1809444864 440241 1992294400 134512640 135751879 4286966512 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 441759 440241 151 303 0 441454 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1767036 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1481.5 s] /proc/loadavg: 1.06 1.01 1.10 2/107 12465 /proc/meminfo: memFree=10280/2059040 swapFree=4163504/4192956 [pid=12424] ppid=12422 vsize=1843212 CPUtime=1481.06 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4202496 466117 0 0 0 147704 402 0 0 25 0 1 0 13352761 1887449088 459283 1992294400 134512640 135751879 4286966512 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12424/statm: 460803 459283 151 303 0 460498 0 Current children cumulated CPU time (s) 1481.06 Current children cumulated vsize (KiB) 1843212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1481.61 s] /proc/loadavg: 1.06 1.01 1.10 2/108 12466 /proc/meminfo: memFree=1063776/2059040 swapFree=4163504/4192956 [pid=12424] ppid=12422 vsize=0 CPUtime=1481.18 /proc/12424/stat : 12424 (wbo1.4b) R 12422 12424 11733 0 -1 4203524 466117 0 0 0 147705 413 0 0 25 0 1 0 13352761 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/12424/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1481.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1481.68 CPU time (s): 1481.25 CPU user time (s): 1477.05 CPU system time (s): 4.19636 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 1843212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1477.05 system time used= 4.19636 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466117 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= 12 involuntary context switches= 5866 runsolver used 2.49662 second user time and 6.96394 second system time The end
Begin job on node004 at 2010-06-12 23:18:09 IDJOB=2655933 IDBENCH=1967 IDSOLVER=1161 FILE ID=node004/2655933-1276377488 PBS_JOBID= 11173224 Free space on /tmp= 62520 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_3.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655933-1276377488/watcher-2655933-1276377488 -o /tmp/evaluation-result-2655933-1276377488/solver-2655933-1276377488 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655933-1276377488.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8eed52e8cea562b1b1ee5bae07565266 RANDOM SEED=1330582076 node004.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.210 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.42 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.210 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1804984 kB Buffers: 16996 kB Cached: 110516 kB SwapCached: 0 kB Active: 90076 kB Inactive: 96808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1804984 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 19516 kB Writeback: 20 kB AnonPages: 59328 kB Mapped: 15420 kB Slab: 45420 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182328 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= 62520 MiB End job on node004 at 2010-06-12 23:42:52