Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1479.36 | 1480.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb |
MD5SUM | 99680d01aa100bfba038606e315bf03d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 486 |
Best CPU time to get the best result obtained on this benchmark | 1795.97 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 431 |
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 | 497468 |
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 | 497468 |
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-2655942-1276384338.opb. 0.00/0.00 c Instance file HOME/instance-2655942-1276384338.opb 0.00/0.00 c File size is 17233649 bytes. 2.59/2.63 c Highest Coefficient sum: 101 2.59/2.64 c ============================[ Problem Statistics ]============================= 2.59/2.64 c | | 2.59/2.64 c | Parsing time: 2.58 s | 2.59/2.64 c | Number Variables: 10000 | 2.59/2.64 c | Number Clauses: 656900 | 2.59/2.64 c | Number Cardinality: 0 | 2.59/2.64 c | Number PB Constraints: 0 | 6.08/6.12 c ============================[ Search Statistics ]============================== 6.08/6.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.08/6.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.08/6.12 c =============================================================================== 6.08/6.12 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.19/6.20 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.33 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.60/6.63 c =============================================================================== 6.60/6.63 c New solution: 7385 6.60/6.63 o 7385 6.60/6.63 c Elapsed CPU time: 6.49701 s Remaining CPU time: 173.503 s 6.60/6.63 c =============================================================================== 6.60/6.63 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.89/6.93 c =============================================================================== 6.89/6.93 c New solution: 6735 6.89/6.93 o 6735 6.89/6.93 c Elapsed CPU time: 6.78697 s Remaining CPU time: 173.213 s 6.89/6.93 c =============================================================================== 6.89/6.93 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 7.19/7.25 c =============================================================================== 7.19/7.25 c New solution: 6726 7.19/7.25 o 6726 7.19/7.25 c Elapsed CPU time: 7.10892 s Remaining CPU time: 172.891 s 7.19/7.25 c =============================================================================== 7.19/7.25 c | 354 | 10000 656903 1363400 | 218967 354 1121 | 0.000 % | 7.29/7.35 c | 454 | 10000 656903 1363400 | 240864 454 1119 | 0.000 % | 7.48/7.53 c | 605 | 10000 656903 1363400 | 264950 605 992 | 0.000 % | 7.89/7.99 c =============================================================================== 7.89/7.99 c New solution: 6698 7.89/7.99 o 6698 7.89/7.99 c Elapsed CPU time: 7.83281 s Remaining CPU time: 172.167 s 7.89/7.99 c =============================================================================== 7.89/7.99 c | 783 | 10000 656904 1373400 | 218968 783 988 | 0.000 % | 7.99/8.08 c | 883 | 10000 656904 1373400 | 240864 883 1041 | 0.000 % | 8.18/8.24 c | 1035 | 10000 656904 1373400 | 264951 1035 1086 | 0.000 % | 8.59/8.64 c =============================================================================== 8.59/8.64 c New solution: 6695 8.59/8.64 o 6695 8.59/8.64 c Elapsed CPU time: 8.47871 s Remaining CPU time: 171.521 s 8.59/8.64 c =============================================================================== 8.59/8.64 c | 1149 | 10000 656905 1383400 | 218968 1149 1052 | 0.000 % | 8.69/8.76 c | 1250 | 10000 656905 1383400 | 240865 1250 1056 | 0.000 % | 8.89/8.90 c | 1400 | 10000 656905 1383400 | 264951 1400 1093 | 0.000 % | 9.09/9.16 c | 1625 | 10000 656905 1383400 | 291446 1625 1081 | 0.000 % | 9.58/9.63 c =============================================================================== 9.58/9.63 c New solution: 6688 9.58/9.63 o 6688 9.58/9.63 c Elapsed CPU time: 9.44856 s Remaining CPU time: 170.551 s 9.58/9.63 c =============================================================================== 9.58/9.63 c | 1820 | 10000 656906 1393400 | 218968 1820 1110 | 0.000 % | 9.69/9.72 c | 1920 | 10000 656906 1393400 | 240865 1920 1123 | 0.000 % | 9.98/10.02 c =============================================================================== 9.98/10.02 c New solution: 6686 9.98/10.02 o 6686 9.98/10.02 c Elapsed CPU time: 9.83051 s Remaining CPU time: 170.169 s 9.98/10.02 c =============================================================================== 9.98/10.02 c | 1922 | 10000 656907 1403400 | 218969 1922 1123 | 0.000 % | 10.29/10.31 c =============================================================================== 10.29/10.31 c New solution: 6430 10.29/10.31 o 6430 10.29/10.31 c Elapsed CPU time: 10.1195 s Remaining CPU time: 169.881 s 10.29/10.31 c =============================================================================== 10.29/10.31 c | 1923 | 10000 656908 1413400 | 218969 1923 1122 | 0.000 % | 10.58/10.63 c =============================================================================== 10.58/10.63 c New solution: 6352 10.58/10.63 o 6352 10.58/10.63 c Elapsed CPU time: 10.4354 s Remaining CPU time: 169.565 s 10.58/10.63 c =============================================================================== 10.58/10.63 c | 1950 | 10000 656909 1423400 | 218969 1950 1119 | 0.000 % | 10.78/10.80 c | 2050 | 10000 656909 1423400 | 240866 2050 1088 | 0.000 % | 10.89/10.98 c | 2202 | 10000 656909 1423400 | 264953 2202 1074 | 0.000 % | 11.19/11.27 c | 2427 | 10000 656909 1423400 | 291448 2427 1077 | 0.000 % | 11.68/11.72 c | 2764 | 10000 656909 1423400 | 320593 2764 1209 | 0.000 % | 12.29/12.30 c | 3271 | 10000 656909 1423400 | 352652 3271 1204 | 0.000 % | 13.09/13.19 c | 4031 | 10000 656909 1423400 | 387918 4031 1194 | 0.000 % | 14.59/14.63 c | 5170 | 10000 656909 1423400 | 426709 5170 1116 | 0.000 % | 16.98/17.09 c | 6878 | 10000 656909 1423400 | 469380 6878 1153 | 0.000 % | 17.59/17.67 c =============================================================================== 17.59/17.67 c New solution: 6339 17.59/17.67 o 6339 17.59/17.67 c Elapsed CPU time: 17.4323 s Remaining CPU time: 162.568 s 17.59/17.67 c =============================================================================== 17.59/17.67 c | 7123 | 10000 656910 1433400 | 218970 7123 1144 | 0.000 % | 17.78/17.83 c | 7223 | 10000 656910 1433400 | 240867 7223 1136 | 0.000 % | 18.08/18.13 c =============================================================================== 18.08/18.13 c New solution: 6241 18.08/18.13 o 6241 18.08/18.13 c Elapsed CPU time: 17.8923 s Remaining CPU time: 162.108 s 18.08/18.13 c =============================================================================== 18.08/18.13 c | 7223 | 10000 656911 1443400 | 218970 7223 1136 | 0.000 % | 18.28/18.33 c | 7324 | 10000 656911 1443400 | 240867 7324 1129 | 0.000 % | 18.48/18.58 c | 7475 | 10000 656911 1443400 | 264954 7475 1119 | 0.000 % | 18.88/18.90 c | 7700 | 10000 656911 1443400 | 291449 7700 1108 | 0.000 % | 19.28/19.34 c | 8037 | 10000 656911 1443400 | 320594 8037 1104 | 0.000 % | 19.80/19.85 c | 8543 | 10000 656911 1443400 | 352653 8543 1098 | 0.000 % | 20.18/20.26 c =============================================================================== 20.18/20.26 c New solution: 6237 20.18/20.26 o 6237 20.18/20.26 c Elapsed CPU time: 19.995 s Remaining CPU time: 160.005 s 20.18/20.26 c =============================================================================== 20.18/20.26 c | 8602 | 10000 656912 1453400 | 218970 8602 1094 | 0.000 % | 20.29/20.37 c | 8702 | 10000 656912 1453400 | 240867 8702 1094 | 0.000 % | 20.48/20.58 c | 8853 | 10000 656912 1453400 | 264954 8853 1088 | 0.000 % | 21.08/21.10 c =============================================================================== 21.08/21.10 c New solution: 6209 21.08/21.10 o 6209 21.08/21.10 c Elapsed CPU time: 20.8228 s Remaining CPU time: 159.177 s 21.08/21.10 c =============================================================================== 21.08/21.10 c | 8997 | 10000 656913 1463400 | 218971 8997 1087 | 0.000 % | 21.19/21.27 c | 9097 | 10000 656913 1463400 | 240868 9097 1082 | 0.000 % | 21.38/21.46 c | 9247 | 10000 656913 1463400 | 264954 9247 1088 | 0.000 % | 21.68/21.80 c | 9473 | 10000 656913 1463400 | 291450 9473 1085 | 0.000 % | 22.18/22.26 c | 9810 | 10000 656913 1463400 | 320595 9810 1074 | 0.000 % | 22.99/23.07 c | 10317 | 10000 656913 1463400 | 352654 10317 1056 | 0.000 % | 24.19/24.24 c | 11077 | 10000 656913 1463400 | 387920 11077 1050 | 0.000 % | 26.18/26.30 c | 12216 | 10000 656913 1463400 | 426712 12216 1012 | 0.000 % | 26.58/26.61 c =============================================================================== 26.58/26.61 c New solution: 6186 26.58/26.61 o 6186 26.58/26.61 c Elapsed CPU time: 26.282 s Remaining CPU time: 153.718 s 26.58/26.61 c =============================================================================== 26.58/26.61 c | 12219 | 10000 656914 1473400 | 218971 12219 1012 | 0.000 % | 26.69/26.76 c | 12321 | 10000 656914 1473400 | 240868 12321 1008 | 0.000 % | 27.18/27.20 c =============================================================================== 27.18/27.20 c New solution: 6183 27.18/27.20 o 6183 27.18/27.20 c Elapsed CPU time: 26.8599 s Remaining CPU time: 153.14 s 27.18/27.20 c =============================================================================== 27.18/27.20 c | 12379 | 10000 656915 1483400 | 218971 12379 1006 | 0.000 % | 27.39/27.49 c | 12480 | 10000 656915 1483400 | 240868 12480 1005 | 0.000 % | 27.68/27.75 c | 12631 | 10000 656915 1483400 | 264955 12631 1004 | 0.000 % | 28.08/28.14 c | 12857 | 10000 656915 1483400 | 291451 12857 1007 | 0.000 % | 28.59/28.68 c | 13194 | 10000 656915 1483400 | 320596 13194 1005 | 0.000 % | 29.38/29.42 c | 13700 | 10000 656915 1483400 | 352656 13700 1001 | 0.000 % | 30.58/30.64 c | 14460 | 10000 656915 1483400 | 387921 14460 986 | 0.000 % | 31.18/31.20 c =============================================================================== 31.18/31.20 c New solution: 6174 31.18/31.20 o 6174 31.18/31.20 c Elapsed CPU time: 30.8273 s Remaining CPU time: 149.173 s 31.18/31.20 c =============================================================================== 31.18/31.20 c | 14565 | 10000 656916 1493400 | 218972 14565 983 | 0.000 % | 31.28/31.37 c | 14666 | 10000 656916 1493400 | 240869 14666 984 | 0.000 % | 31.79/31.86 c =============================================================================== 31.79/31.86 c New solution: 6161 31.79/31.86 o 6161 31.79/31.86 c Elapsed CPU time: 31.4702 s Remaining CPU time: 148.53 s 31.79/31.86 c =============================================================================== 31.79/31.86 c | 14765 | 10000 656917 1503400 | 218972 14765 982 | 0.000 % | 32.18/32.20 c =============================================================================== 32.18/32.20 c New solution: 6131 32.18/32.20 o 6131 32.18/32.20 c Elapsed CPU time: 31.8132 s Remaining CPU time: 148.187 s 32.18/32.20 c =============================================================================== 32.18/32.20 c | 14774 | 10000 656918 1513400 | 218972 14774 982 | 0.000 % | 32.38/32.40 c | 14874 | 10000 656918 1513400 | 240869 14874 981 | 0.000 % | 32.58/32.67 c | 15025 | 10000 656918 1513400 | 264956 15025 983 | 0.000 % | 32.88/32.99 c | 15251 | 10000 656918 1513400 | 291452 15251 977 | 0.000 % | 33.58/33.66 c | 15590 | 10000 656918 1513400 | 320597 15590 978 | 0.000 % | 34.57/34.62 c | 16097 | 10000 656918 1513400 | 352657 16097 968 | 0.000 % | 34.88/34.93 c =============================================================================== 34.88/34.93 c New solution: 6128 34.88/34.93 o 6128 34.88/34.93 c Elapsed CPU time: 34.5058 s Remaining CPU time: 145.494 s 34.88/34.93 c =============================================================================== 34.88/34.93 c | 16100 | 10000 656919 1523400 | 218973 16100 968 | 0.000 % | 35.18/35.21 c | 16200 | 10000 656919 1523400 | 240870 16200 966 | 0.000 % | 35.48/35.56 c | 16350 | 10000 656919 1523400 | 264957 16350 964 | 0.000 % | 35.98/36.01 c | 16575 | 10000 656919 1523400 | 291453 16575 967 | 0.000 % | 36.48/36.58 c | 16914 | 10000 656919 1523400 | 320598 16914 960 | 0.000 % | 37.58/37.60 c | 17421 | 10000 656919 1523400 | 352658 17421 957 | 0.000 % | 39.17/39.21 c | 18180 | 10000 656919 1523400 | 387924 18180 943 | 0.000 % | 39.49/39.57 c =============================================================================== 39.49/39.57 c New solution: 6127 39.49/39.57 o 6127 39.49/39.57 c Elapsed CPU time: 39.0941 s Remaining CPU time: 140.906 s 39.49/39.57 c =============================================================================== 39.49/39.57 c | 18199 | 10000 656920 1533400 | 218973 18199 942 | 0.000 % | 39.78/39.83 c | 18299 | 10000 656920 1533400 | 240870 18299 942 | 0.000 % | 40.27/40.33 c | 18450 | 10000 656920 1533400 | 264957 18450 938 | 0.000 % | 40.58/40.66 c =============================================================================== 40.58/40.66 c New solution: 6118 40.58/40.66 o 6118 40.58/40.66 c Elapsed CPU time: 40.1769 s Remaining CPU time: 139.823 s 40.58/40.66 c =============================================================================== 40.58/40.66 c | 18458 | 10000 656921 1543400 | 218973 18458 938 | 0.000 % | 40.77/40.85 c | 18558 | 10000 656921 1543400 | 240871 18558 938 | 0.000 % | 41.08/41.11 c | 18710 | 10000 656921 1543400 | 264958 18710 936 | 0.000 % | 41.37/41.48 c | 18937 | 10000 656921 1543400 | 291453 18937 946 | 0.000 % | 42.28/42.34 c | 19275 | 10000 656921 1543400 | 320599 19275 939 | 0.000 % | 43.48/43.51 c | 19782 | 10000 656921 1543400 | 352659 19782 937 | 0.000 % | 44.88/44.97 c | 20541 | 10000 656921 1543400 | 387925 20541 930 | 0.000 % | 47.37/47.48 c | 21680 | 10000 656921 1543400 | 426717 21680 922 | 0.000 % | 48.57/48.69 c =============================================================================== 48.57/48.69 c New solution: 6116 48.57/48.69 o 6116 48.57/48.69 c Elapsed CPU time: 48.1667 s Remaining CPU time: 131.833 s 48.57/48.69 c =============================================================================== 48.57/48.69 c | 22029 | 10000 656922 1553400 | 218974 22029 917 | 0.000 % | 48.77/48.86 c | 22129 | 10000 656922 1553400 | 240871 22129 916 | 0.000 % | 49.07/49.17 c =============================================================================== 49.07/49.17 c New solution: 6002 49.07/49.17 o 6002 49.07/49.17 c Elapsed CPU time: 48.6406 s Remaining CPU time: 131.359 s 49.07/49.17 c =============================================================================== 49.07/49.17 c | 22129 | 10000 656923 1563400 | 218974 22129 916 | 0.000 % | 49.38/49.49 c =============================================================================== 49.38/49.49 c New solution: 5965 49.38/49.49 o 5965 49.38/49.49 c Elapsed CPU time: 48.9536 s Remaining CPU time: 131.046 s 49.38/49.49 c =============================================================================== 49.38/49.49 c | 22131 | 10000 656924 1573400 | 218974 22131 916 | 0.000 % | 49.67/49.71 c | 22231 | 10000 656924 1573400 | 240872 22231 915 | 0.000 % | 49.97/50.08 c | 22382 | 10000 656924 1573400 | 264959 22382 915 | 0.000 % | 50.48/50.50 c | 22607 | 10000 656924 1573400 | 291455 22607 912 | 0.000 % | 51.07/51.18 c | 22945 | 10000 656924 1573400 | 320600 22945 910 | 0.000 % | 51.97/52.08 c | 23451 | 10000 656924 1573400 | 352660 23451 901 | 0.000 % | 52.68/52.73 c =============================================================================== 52.68/52.73 c New solution: 5956 52.68/52.73 o 5956 52.68/52.73 c Elapsed CPU time: 52.1701 s Remaining CPU time: 127.83 s 52.68/52.73 c =============================================================================== 52.68/52.73 c | 23577 | 10000 656925 1583400 | 218975 23577 900 | 0.000 % | 52.87/52.96 c | 23677 | 10000 656925 1583400 | 240872 23677 900 | 0.000 % | 53.27/53.31 c | 23828 | 10000 656925 1583400 | 264959 23828 899 | 0.000 % | 53.67/53.79 c | 24053 | 10000 656925 1583400 | 291455 24053 900 | 0.000 % | 54.27/54.39 c | 24390 | 10000 656925 1583400 | 320601 24390 898 | 0.000 % | 55.17/55.28 c | 24896 | 10000 656925 1583400 | 352661 24896 892 | 0.000 % | 56.67/56.79 c | 25655 | 10000 656925 1583400 | 387927 25655 881 | 0.000 % | 58.57/58.65 c | 26796 | 10000 656925 1583400 | 426720 26796 866 | 0.000 % | 62.87/62.99 c | 28504 | 10000 656925 1583400 | 469392 28504 861 | 0.000 % | 69.07/69.13 c | 31068 | 10000 656925 1583400 | 516331 31068 852 | 0.000 % | 70.87/70.98 c =============================================================================== 70.87/70.98 c New solution: 5861 70.87/70.98 o 5861 70.87/70.98 c Elapsed CPU time: 70.3143 s Remaining CPU time: 109.686 s 70.87/70.98 c =============================================================================== 70.87/70.98 c | 31800 | 10000 656926 1593400 | 218975 31800 851 | 0.000 % | 71.16/71.24 c | 31900 | 10000 656926 1593400 | 240872 31900 850 | 0.000 % | 71.48/71.54 c | 32050 | 10000 656926 1593400 | 264960 32050 849 | 0.000 % | 71.96/72.02 c | 32278 | 10000 656926 1593400 | 291456 32278 847 | 0.000 % | 72.66/72.78 c | 32616 | 10000 656926 1593400 | 320601 32616 845 | 0.000 % | 73.96/74.01 c | 33123 | 10000 656926 1593400 | 352661 33123 842 | 0.000 % | 75.87/75.96 c | 33882 | 10000 656926 1593400 | 387928 33882 839 | 0.000 % | 78.36/78.45 c | 35022 | 10000 656926 1593400 | 426720 35022 835 | 0.000 % | 83.36/83.49 c | 36730 | 10000 656926 1593400 | 469393 36730 846 | 0.000 % | 83.76/83.82 c =============================================================================== 83.76/83.82 c New solution: 5840 83.76/83.82 o 5840 83.76/83.82 c Elapsed CPU time: 83.0984 s Remaining CPU time: 96.9016 s 83.76/83.82 c =============================================================================== 83.76/83.82 c | 36732 | 10000 656927 1603400 | 218975 36732 846 | 0.000 % | 83.96/84.06 c | 36832 | 10000 656927 1603400 | 240873 36832 845 | 0.000 % | 84.26/84.39 c =============================================================================== 84.26/84.39 c New solution: 5610 84.26/84.39 o 5610 84.26/84.39 c Elapsed CPU time: 83.6613 s Remaining CPU time: 96.3387 s 84.26/84.39 c =============================================================================== 84.26/84.39 c | 36834 | 10000 656928 1613400 | 218976 36834 845 | 0.000 % | 84.67/84.77 c =============================================================================== 84.67/84.77 c New solution: 5599 84.67/84.77 o 5599 84.67/84.77 c Elapsed CPU time: 84.0372 s Remaining CPU time: 95.9628 s 84.67/84.77 c =============================================================================== 84.67/84.77 c | 36865 | 10000 656929 1623400 | 218976 36865 845 | 0.000 % | 84.86/84.95 c | 36965 | 10000 656929 1623400 | 240873 36965 845 | 0.000 % | 85.16/85.27 c | 37116 | 10000 656929 1623400 | 264961 37116 843 | 0.000 % | 85.56/85.66 c | 37341 | 10000 656929 1623400 | 291457 37341 842 | 0.000 % | 86.26/86.36 c | 37679 | 10000 656929 1623400 | 320603 37679 840 | 0.000 % | 87.16/87.24 c | 38185 | 10000 656929 1623400 | 352663 38185 836 | 0.000 % | 88.76/88.83 c | 38944 | 10000 656929 1623400 | 387929 38944 833 | 0.000 % | 90.96/91.08 c | 40084 | 10000 656929 1623400 | 426722 40084 830 | 0.000 % | 94.85/94.94 c | 41793 | 10000 656929 1623400 | 469395 41793 824 | 0.000 % | 100.15/100.24 c | 44355 | 10000 656929 1623400 | 516334 44355 808 | 0.000 % | 112.16/112.22 c | 48201 | 10000 656929 1623400 | 567968 48201 797 | 0.000 % | 125.84/125.96 c | 53968 | 10000 656929 1623400 | 624765 53968 776 | 0.000 % | 148.13/148.29 c | 62617 | 10000 656929 1623400 | 687241 62617 766 | 0.000 % | 178.82/178.91 c | 75591 | 10000 656929 1623400 | 755965 75591 792 | 0.000 % | 180.92/181.07 c There are 0 assigned variables. 0 in cost function. 227.00/227.10 c core #1 227.00/227.10 c core #2 227.00/227.10 c core #3 227.00/227.10 c core #4 227.00/227.10 c core #5 227.00/227.10 c core #6 227.00/227.10 c core #7 227.00/227.10 c core #8 227.00/227.10 c core #9 227.00/227.10 c core #10 227.00/227.10 c core #11 227.00/227.10 c core #12 227.00/227.10 c core #13 227.00/227.10 c core #14 227.00/227.10 c core #15 227.00/227.10 c core #16 227.00/227.10 c core #17 227.00/227.10 c core #18 227.00/227.10 c core #19 227.00/227.10 c core #20 227.00/227.10 c core #21 227.00/227.10 c core #22 227.00/227.10 c core #23 227.00/227.10 c core #24 227.00/227.10 c core #25 227.00/227.10 c core #26 227.00/227.10 c core #27 227.00/227.10 c core #28 227.00/227.10 c core #29 227.00/227.10 c core #30 227.00/227.10 c core #31 227.00/227.10 c core #32 227.00/227.10 c core #33 227.00/227.10 c core #34 227.00/227.10 c core #35 227.00/227.10 c core #36 227.00/227.10 c core #37 227.00/227.10 c core #38 227.00/227.10 c core #39 227.00/227.10 c core #40 227.00/227.10 c core #41 227.00/227.10 c core #42 227.00/227.10 c core #43 227.00/227.10 c core #44 227.00/227.10 c core #45 227.00/227.10 c core #46 227.00/227.10 c core #47 227.00/227.10 c core #48 227.00/227.10 c core #49 227.00/227.10 c core #50 227.00/227.10 c core #51 227.00/227.10 c core #52 227.00/227.10 c core #53 227.00/227.10 c core #54 227.00/227.10 c core #55 227.00/227.10 c core #56 227.00/227.10 c core #57 227.00/227.10 c core #58 227.00/227.10 c core #59 227.00/227.10 c core #60 227.00/227.10 c core #61 227.00/227.10 c core #62 227.00/227.10 c core #63 227.00/227.10 c core #64 227.00/227.10 c core #65 227.00/227.10 c core #66 227.00/227.10 c core #67 227.00/227.10 c core #68 227.00/227.10 c core #69 227.00/227.10 c core #70 227.00/227.10 c core #71 227.00/227.10 c core #72 227.00/227.10 c core #73 227.00/227.10 c core #74 227.00/227.10 c core #75 227.00/227.10 c core #76 227.00/227.10 c core #77 227.00/227.10 c core #78 227.00/227.10 c core #79 227.00/227.10 c core #80 227.00/227.10 c core #81 227.00/227.10 c core #82 227.00/227.10 c core #83 227.00/227.10 c core #84 227.00/227.10 c core #85 227.00/227.10 c core #86 227.00/227.10 c core #87 227.00/227.10 c core #88 227.00/227.10 c core #89 227.00/227.10 c core #90 227.00/227.10 c core #91 227.00/227.10 c core #92 227.00/227.10 c core #93 227.00/227.10 c core #94 227.00/227.10 c core #95 227.00/227.10 c core #96 227.00/227.10 c core #97 227.00/227.10 c core #98 227.00/227.10 c core #99 227.00/227.10 c core #100 227.00/227.10 c core #101 227.00/227.10 c core #102 227.00/227.10 c core #103 227.00/227.10 c core #104 227.00/227.10 c core #105 227.00/227.10 c core #106 227.00/227.10 c core #107 227.00/227.10 c core #108 227.00/227.10 c core #109 227.00/227.10 c core #110 227.00/227.10 c core #111 227.00/227.10 c core #112 227.00/227.10 c core #113 227.00/227.10 c core #114 227.00/227.10 c core #115 227.00/227.10 c ============================[ Search Statistics ]============================== 227.00/227.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.00/227.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.00/227.10 c =============================================================================== 227.00/227.10 c | 0 | 25979 692506 49130 | 230835 0 nan | 0.000 % | 227.00/227.12 c =============================================================================== 227.41/227.55 c core #116 227.41/227.55 c ============================[ Search Statistics ]============================== 227.41/227.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.41/227.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.41/227.55 c =============================================================================== 227.41/227.55 c | 0 | 26872 693267 50202 | 231089 0 nan | 0.000 % | 227.41/227.59 c =============================================================================== 227.81/227.99 c core #117 227.81/227.99 c ============================[ Search Statistics ]============================== 227.81/227.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.81/227.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.81/227.99 c =============================================================================== 227.81/227.99 c | 0 | 27867 694112 51404 | 231370 0 nan | 0.000 % | 227.91/228.09 c =============================================================================== 228.41/228.53 c core #118 228.41/228.53 c ============================[ Search Statistics ]============================== 228.41/228.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.41/228.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.41/228.53 c =============================================================================== 228.41/228.53 c | 0 | 29421 695587 53385 | 231862 0 nan | 0.000 % | 228.41/228.57 c =============================================================================== 228.81/228.98 c core #119 228.81/228.98 c ============================[ Search Statistics ]============================== 228.81/228.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 228.81/228.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 228.81/228.98 c =============================================================================== 228.81/228.98 c | 0 | 30618 696621 55028 | 232207 0 nan | 0.000 % | 229.31/229.44 c =============================================================================== 229.71/229.90 c core #120 229.71/229.90 c ============================[ Search Statistics ]============================== 229.71/229.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.71/229.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.71/229.90 c =============================================================================== 229.71/229.90 c | 0 | 35147 700824 60822 | 233608 0 nan | 0.000 % | 230.01/230.12 c | 109 | 35145 700824 60822 | 256968 108 1908 | 21.265 % | 230.81/230.97 c =============================================================================== 231.31/231.47 c core #121 231.31/231.47 c ============================[ Search Statistics ]============================== 231.31/231.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.31/231.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.31/231.47 c =============================================================================== 231.31/231.47 c | 0 | 41398 706659 68806 | 235553 0 nan | 0.000 % | 231.50/231.62 c | 100 | 41398 706659 68806 | 259108 100 692 | 18.559 % | 231.81/231.90 c | 250 | 41398 706659 68806 | 285019 250 1046 | 18.559 % | 232.11/232.26 c | 475 | 41386 706659 68806 | 313521 473 1124 | 18.793 % | 234.21/234.35 c =============================================================================== 234.71/234.81 c core #122 234.71/234.81 c ============================[ Search Statistics ]============================== 234.71/234.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.71/234.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.71/234.81 c =============================================================================== 234.71/234.81 c | 0 | 50471 715018 80393 | 238339 0 nan | 0.000 % | 235.00/235.10 c | 100 | 50471 715018 80393 | 262173 100 797 | 15.637 % | 235.50/235.65 c | 250 | 50471 715018 80393 | 288390 250 1139 | 15.637 % | 236.51/236.61 c | 476 | 50471 715018 80393 | 317229 476 1399 | 15.637 % | 237.30/237.47 c | 813 | 50471 715018 80393 | 348952 813 1031 | 15.637 % | 239.31/239.43 c | 1322 | 50471 715018 80393 | 383847 1322 1274 | 15.637 % | 242.01/242.17 c | 2082 | 50471 715018 80393 | 422232 2082 1379 | 15.637 % | 245.60/245.72 c | 3222 | 50471 715018 80393 | 464455 3222 1389 | 15.637 % | 252.00/252.14 c | 4932 | 50471 715018 80393 | 510901 4932 1862 | 15.637 % | 261.10/261.25 c | 7494 | 50471 715018 80393 | 561991 7494 1884 | 15.637 % | 278.49/278.61 c | 11341 | 50454 715018 80393 | 618190 11021 2348 | 15.665 % | 318.47/318.64 c | 17107 | 50454 715018 80393 | 680009 16787 3292 | 15.665 % | 397.05/397.27 c | 25757 | 50130 715018 80393 | 748010 14752 2144 | 16.207 % | 414.04/414.25 c =============================================================================== 414.94/415.13 c core #123 414.94/415.13 c ============================[ Search Statistics ]============================== 414.94/415.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 414.94/415.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 414.94/415.13 c =============================================================================== 414.94/415.13 c | 0 | 61543 724303 96046 | 241434 0 nan | 0.000 % | 415.24/415.41 c | 100 | 61543 724303 96046 | 265577 100 2524 | 13.077 % | 415.74/416.00 c | 250 | 61543 724303 96046 | 292135 250 1961 | 13.077 % | 416.83/417.04 c | 480 | 61543 724303 96046 | 321349 480 1449 | 13.077 % | 417.94/418.17 c | 819 | 61543 724303 96046 | 353484 819 1236 | 13.077 % | 419.74/419.90 c | 1325 | 61543 724303 96046 | 388832 1325 1098 | 13.077 % | 422.64/422.88 c | 2084 | 61543 724303 96046 | 427715 2084 1062 | 13.077 % | 426.94/427.19 c | 3224 | 61543 724303 96046 | 470487 3224 1053 | 13.077 % | 434.25/434.40 c | 4933 | 61543 724303 96046 | 517535 4933 1037 | 13.077 % | 445.53/445.76 c | 7497 | 61543 724303 96046 | 569289 7497 1163 | 13.077 % | 461.42/461.60 c | 11341 | 61543 724303 96046 | 626218 11341 1455 | 13.077 % | 496.40/496.62 c | 17107 | 61543 724303 96046 | 688840 17107 1822 | 13.077 % | 542.89/543.14 c | 25757 | 61543 724303 96046 | 757724 25757 2111 | 13.077 % | 635.75/636.08 c | 38731 | 61543 724303 96046 | 833496 38731 2479 | 13.077 % | 828.28/828.64 c | 58193 | 61543 724303 96046 | 916846 58193 2785 | 13.077 % | 1108.48/1108.90 c | 87388 | 61543 724303 96046 | 1008531 87388 2837 | 13.077 % |
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-2655942-1276384338/watcher-2655942-1276384338 -o /tmp/evaluation-result-2655942-1276384338/solver-2655942-1276384338 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655942-1276384338.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: 0.98 1.03 1.00 3/106 14707 /proc/meminfo: memFree=1443240/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=20276 CPUtime=0 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 14035288 20762624 387 1992294400 134512640 135751879 4290781664 18446744073709551615 134613727 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 5069 387 141 303 0 556 0 [startup+0.0154299 s] /proc/loadavg: 0.98 1.03 1.00 3/106 14707 /proc/meminfo: memFree=1443240/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=20768 CPUtime=0.01 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 604 0 0 0 1 0 0 0 20 0 1 0 14035288 21266432 523 1992294400 134512640 135751879 4290781664 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 5192 524 151 303 0 679 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 20768 [startup+0.101444 s] /proc/loadavg: 0.98 1.03 1.00 3/106 14707 /proc/meminfo: memFree=1443240/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=22356 CPUtime=0.09 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 1106 0 0 0 9 0 0 0 20 0 1 0 14035288 22892544 1025 1992294400 134512640 135751879 4290781664 18446744073709551615 134559722 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 5589 1025 295 303 0 1076 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22356 [startup+0.301478 s] /proc/loadavg: 0.98 1.03 1.00 3/106 14707 /proc/meminfo: memFree=1443240/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=24964 CPUtime=0.29 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 2081 0 0 0 29 0 0 0 20 0 1 0 14035288 25563136 2000 1992294400 134512640 135751879 4290781664 18446744073709551615 134573592 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 6241 2000 622 303 0 1728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24964 [startup+0.701547 s] /proc/loadavg: 0.98 1.03 1.00 3/106 14707 /proc/meminfo: memFree=1443240/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=29768 CPUtime=0.69 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 3914 0 0 0 67 2 0 0 20 0 1 0 14035288 30482432 3833 1992294400 134512640 135751879 4290781664 18446744073709551615 135225300 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 7442 3833 1260 303 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29768 [startup+1.50169 s] /proc/loadavg: 0.98 1.03 1.00 2/107 14708 /proc/meminfo: memFree=1429344/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=39228 CPUtime=1.49 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 7519 0 0 0 146 3 0 0 22 0 1 0 14035288 40169472 7438 1992294400 134512640 135751879 4290781664 18446744073709551615 135118951 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 9807 7438 2549 303 0 5294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39228 [startup+3.10096 s] /proc/loadavg: 0.98 1.03 1.00 2/107 14708 /proc/meminfo: memFree=1416076/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=71796 CPUtime=3.09 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 22312 0 0 0 299 10 0 0 25 0 1 0 14035288 73519104 17027 1992294400 134512640 135751879 4290781664 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 17949 17028 143 303 0 17644 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 71796 [startup+6.30151 s] /proc/loadavg: 0.98 1.03 1.00 2/107 14708 /proc/meminfo: memFree=1365484/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=81064 CPUtime=6.29 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 24640 0 0 0 616 13 0 0 25 0 1 0 14035288 83009536 19355 1992294400 134512640 135751879 4290781664 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 20266 19355 147 303 0 19961 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81064 [startup+12.7016 s] /proc/loadavg: 0.98 1.03 1.00 2/107 14708 /proc/meminfo: memFree=1365608/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=81064 CPUtime=12.69 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 24640 0 0 0 1248 21 0 0 25 0 1 0 14035288 83009536 19355 1992294400 134512640 135751879 4290781664 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 20266 19355 147 303 0 19961 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81064 [startup+25.5008 s] /proc/loadavg: 0.98 1.03 1.00 2/107 14708 /proc/meminfo: memFree=1355564/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=91724 CPUtime=25.48 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 27288 0 0 0 2516 32 0 0 25 0 1 0 14035288 93925376 22003 1992294400 134512640 135751879 4290781664 18446744073709551615 134611186 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 22931 22003 147 303 0 22626 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 91724 [startup+51.1012 s] /proc/loadavg: 0.99 1.02 1.00 2/107 14710 /proc/meminfo: memFree=1317248/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=130372 CPUtime=51.07 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 36958 0 0 0 5054 53 0 0 20 0 1 0 14035288 133500928 31673 1992294400 134512640 135751879 4290781664 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 32593 31673 147 303 0 32288 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 130372 [startup+102.309 s] /proc/loadavg: 0.99 1.02 1.00 2/107 14713 /proc/meminfo: memFree=1250908/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=195332 CPUtime=102.26 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 53199 0 0 0 10148 78 0 0 25 0 1 0 14035288 200019968 47914 1992294400 134512640 135751879 4290781664 18446744073709551615 134611204 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 48833 47914 147 303 0 48528 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 195332 [startup+162.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 14715 /proc/meminfo: memFree=1182336/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=264964 CPUtime=162.23 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 70584 0 0 0 16129 94 0 0 25 0 1 0 14035288 271323136 65299 1992294400 134512640 135751879 4290781664 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 66241 65299 147 303 0 65936 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 264964 [startup+222.301 s] /proc/loadavg: 0.99 1.01 1.00 2/107 14717 /proc/meminfo: memFree=1128644/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=316240 CPUtime=222.2 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 85117 0 0 0 22118 102 0 0 25 0 1 0 14035288 323829760 78286 1992294400 134512640 135751879 4290781664 18446744073709551615 135220917 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 79060 78286 150 303 0 78755 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 316240 [startup+282.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14719 /proc/meminfo: memFree=1128644/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=316240 CPUtime=282.19 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 85151 0 0 0 28105 114 0 0 25 0 1 0 14035288 323829760 78320 1992294400 134512640 135751879 4290781664 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 79060 78320 151 303 0 78755 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 316240 [startup+342.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14719 /proc/meminfo: memFree=969180/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=476144 CPUtime=342.16 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 125099 0 0 0 34083 133 0 0 25 0 1 0 14035288 487571456 118268 1992294400 134512640 135751879 4290781664 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 119036 118268 151 303 0 118731 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 476144 [startup+402.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14721 /proc/meminfo: memFree=837368/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=610056 CPUtime=402.14 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 158605 0 0 0 40066 148 0 0 25 0 1 0 14035288 624697344 151774 1992294400 134512640 135751879 4290781664 18446744073709551615 134611255 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 152514 151774 151 303 0 152209 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 610056 [startup+462.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14723 /proc/meminfo: memFree=763588/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=684168 CPUtime=462.12 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 176449 0 0 0 46047 165 0 0 25 0 1 0 14035288 700588032 169488 1992294400 134512640 135751879 4290781664 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 171042 169488 151 303 0 170737 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 684168 [startup+522.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14725 /proc/meminfo: memFree=763588/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=684168 CPUtime=522.09 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 176449 0 0 0 52038 171 0 0 25 0 1 0 14035288 700588032 169488 1992294400 134512640 135751879 4290781664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 171042 169488 151 303 0 170737 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 684168 [startup+582.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14727 /proc/meminfo: memFree=707168/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=741036 CPUtime=582.07 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 190668 0 0 0 58022 185 0 0 25 0 1 0 14035288 758820864 183707 1992294400 134512640 135751879 4290781664 18446744073709551615 134611268 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 185259 183707 151 303 0 184954 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 741036 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14727 /proc/meminfo: memFree=584904/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=862420 CPUtime=642.06 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 221013 0 0 0 64003 203 0 0 25 0 1 0 14035288 883118080 214052 1992294400 134512640 135751879 4290781664 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 215605 214052 151 303 0 215300 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 862420 [startup+702.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14729 /proc/meminfo: memFree=508768/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=939616 CPUtime=702.03 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 240307 0 0 0 69984 219 0 0 25 0 1 0 14035288 962166784 233346 1992294400 134512640 135751879 4290781664 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 234904 233346 151 303 0 234599 0 Current children cumulated CPU time (s) 702.03 Current children cumulated vsize (KiB) 939616 [startup+762.308 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14731 /proc/meminfo: memFree=419488/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1027476 CPUtime=762.02 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 262281 0 0 0 75970 232 0 0 25 0 1 0 14035288 1052135424 255320 1992294400 134512640 135751879 4290781664 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 256869 255320 151 303 0 256564 0 Current children cumulated CPU time (s) 762.02 Current children cumulated vsize (KiB) 1027476 [startup+822.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14733 /proc/meminfo: memFree=342856/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1105336 CPUtime=821.99 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 281714 0 0 0 81955 244 0 0 25 0 1 0 14035288 1131864064 274753 1992294400 134512640 135751879 4290781664 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 276334 274753 151 303 0 276029 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 1105336 [startup+882.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14735 /proc/meminfo: memFree=269076/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1178228 CPUtime=881.96 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 299924 0 0 0 87938 258 0 0 25 0 1 0 14035288 1206505472 292963 1992294400 134512640 135751879 4290781664 18446744073709551615 134611176 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 294557 292963 151 303 0 294252 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 1178228 [startup+942.301 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14735 /proc/meminfo: memFree=181036/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1266708 CPUtime=941.94 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 322049 0 0 0 93919 275 0 0 25 0 1 0 14035288 1297108992 315088 1992294400 134512640 135751879 4290781664 18446744073709551615 134607744 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 316677 315088 151 303 0 316372 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 1266708 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14737 /proc/meminfo: memFree=101924/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1344776 CPUtime=1001.92 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 341562 0 0 0 99904 288 0 0 25 0 1 0 14035288 1377050624 334601 1992294400 134512640 135751879 4290781664 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 336194 334601 151 303 0 335889 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 1344776 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14739 /proc/meminfo: memFree=45628/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1402360 CPUtime=1061.89 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 355969 0 0 0 105890 299 0 0 25 0 1 0 14035288 1436016640 349008 1992294400 134512640 135751879 4290781664 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 350590 349008 151 303 0 350285 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 1402360 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14741 /proc/meminfo: memFree=9984/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1468084 CPUtime=1121.87 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 372394 0 0 0 111871 316 0 0 25 0 1 0 14035288 1503318016 365433 1992294400 134512640 135751879 4290781664 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 367021 365433 151 303 0 366716 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1468084 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14743 /proc/meminfo: memFree=9936/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1527000 CPUtime=1181.85 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 387086 0 0 0 117855 330 0 0 25 0 1 0 14035288 1563648000 380125 1992294400 134512640 135751879 4290781664 18446744073709551615 134616683 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 381750 380125 151 303 0 381445 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1527000 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14743 /proc/meminfo: memFree=9796/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1585212 CPUtime=1241.82 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 401653 0 0 0 123840 342 0 0 25 0 1 0 14035288 1623257088 394692 1992294400 134512640 135751879 4290781664 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 396303 394692 151 303 0 395998 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 1585212 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14745 /proc/meminfo: memFree=9272/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1648608 CPUtime=1301.82 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 417502 0 0 0 129828 354 0 0 25 0 1 0 14035288 1688174592 410541 1992294400 134512640 135751879 4290781664 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 412152 410541 151 303 0 411847 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1648608 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14747 /proc/meminfo: memFree=10244/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1717344 CPUtime=1361.78 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 434692 0 0 0 135812 366 0 0 25 0 1 0 14035288 1758560256 427731 1992294400 134512640 135751879 4290781664 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14707/statm: 429336 427731 151 303 0 429031 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1717344 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14749 /proc/meminfo: memFree=9440/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1782804 CPUtime=1421.67 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 451066 0 0 0 141790 377 0 0 25 0 1 0 14035288 1825591296 444105 1992294400 134512640 135751879 4290781664 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14707/statm: 445701 444105 151 303 0 445396 0 Current children cumulated CPU time (s) 1421.67 Current children cumulated vsize (KiB) 1782804 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1480 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14751 /proc/meminfo: memFree=10652/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=1843224 CPUtime=1479.18 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4202496 466149 0 0 0 147531 387 0 0 25 0 1 0 14035288 1887461376 459188 1992294400 134512640 135751879 4290781664 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/14707/statm: 460806 459188 151 303 0 460501 0 Current children cumulated CPU time (s) 1479.18 Current children cumulated vsize (KiB) 1843224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1480.11 s] /proc/loadavg: 0.99 1.00 1.00 2/107 14751 /proc/meminfo: memFree=10652/2059040 swapFree=4192956/4192956 [pid=14707] ppid=14705 vsize=0 CPUtime=1479.28 /proc/14707/stat : 14707 (wbo1.4b) R 14705 14707 14240 0 -1 4203524 466149 0 0 0 147531 397 0 0 25 0 1 0 14035288 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/14707/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1479.28 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1480.19 CPU time (s): 1479.36 CPU user time (s): 1475.31 CPU system time (s): 4.04938 CPU usage (%): 99.9443 Max. virtual memory (cumulated for all children) (KiB): 1843224 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1475.31 system time used= 4.04938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466149 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= 15 involuntary context switches= 5434 runsolver used 2.41863 second user time and 7.10192 second system time The end
Begin job on node014 at 2010-06-13 01:12:19 IDJOB=2655942 IDBENCH=1976 IDSOLVER=1161 FILE ID=node014/2655942-1276384338 PBS_JOBID= 11173237 Free space on /tmp= 62448 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655942-1276384338/watcher-2655942-1276384338 -o /tmp/evaluation-result-2655942-1276384338/solver-2655942-1276384338 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655942-1276384338.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 99680d01aa100bfba038606e315bf03d RANDOM SEED=1369345013 node014.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.258 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.51 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.258 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1443768 kB Buffers: 145924 kB Cached: 323364 kB SwapCached: 0 kB Active: 154420 kB Inactive: 374660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1443768 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 19492 kB Writeback: 4 kB AnonPages: 59636 kB Mapped: 15424 kB Slab: 64516 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183700 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= 62444 MiB End job on node014 at 2010-06-13 01:37:01