Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1677.83 | 1678.68 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_5.opb |
MD5SUM | dfd3914a8aa1cc34e3abdf0a14d8373d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -59 |
Best CPU time to get the best result obtained on this benchmark | 1798.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -82 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31412 |
Sum of products size (including duplicates) | 62824 |
Number of different products | 15706 |
Sum of products size | 31412 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702645-1278572924.opb. 0.00/0.00 c Instance file HOME/instance-2702645-1278572924.opb 0.00/0.00 c File size is 1386954 bytes. 0.19/0.27 c Highest Coefficient sum: 1000 0.19/0.27 c ============================[ Problem Statistics ]============================= 0.19/0.27 c | | 0.19/0.27 c | Parsing time: 0.27 s | 0.19/0.27 c | Number Variables: 16706 | 0.19/0.27 c | Number Clauses: 16206 | 0.19/0.27 c | Number Cardinality: 1002 | 0.19/0.27 c | Number PB Constraints: 15706 | 0.49/0.54 c ============================[ Search Statistics ]============================== 0.49/0.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 16706 32914 128648 | 10971 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: 0 0.49/0.58 o 0 0.49/0.58 c Elapsed CPU time: 0.571913 s Remaining CPU time: 179.428 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 0 | 16706 32915 129148 | 10971 0 nan | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: -1 0.59/0.63 o -1 0.59/0.63 c Elapsed CPU time: 0.619905 s Remaining CPU time: 179.38 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 1 | 16706 32916 129648 | 10972 1 503 | 0.000 % | 0.59/0.66 c =============================================================================== 0.59/0.66 c New solution: -2 0.59/0.66 o -2 0.59/0.66 c Elapsed CPU time: 0.644901 s Remaining CPU time: 179.355 s 0.59/0.66 c =============================================================================== 0.59/0.66 c | 1 | 16706 32917 130148 | 10972 1 503 | 0.000 % | 0.59/0.68 c =============================================================================== 0.59/0.68 c New solution: -3 0.59/0.68 o -3 0.59/0.68 c Elapsed CPU time: 0.671897 s Remaining CPU time: 179.328 s 0.59/0.68 c =============================================================================== 0.59/0.68 c | 7 | 16706 32918 130648 | 10972 7 925 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: -4 0.69/0.71 o -4 0.69/0.71 c Elapsed CPU time: 0.696894 s Remaining CPU time: 179.303 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 7 | 16706 32919 131148 | 10973 7 925 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: -5 0.69/0.74 o -5 0.69/0.74 c Elapsed CPU time: 0.723889 s Remaining CPU time: 179.276 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 17 | 16706 32920 131648 | 10973 17 848 | 0.000 % | 0.69/0.79 c | 117 | 16706 32920 131648 | 12070 117 970 | 0.000 % | 0.79/0.88 c | 268 | 16706 32920 131648 | 13277 268 982 | 0.000 % | 1.00/1.00 c | 494 | 16706 32920 131648 | 14605 494 986 | 0.000 % | 1.19/1.20 c | 832 | 16706 32920 131648 | 16066 832 988 | 0.000 % | 1.19/1.24 c =============================================================================== 1.19/1.24 c New solution: -6 1.19/1.24 o -6 1.19/1.24 c Elapsed CPU time: 1.20782 s Remaining CPU time: 178.792 s 1.19/1.24 c =============================================================================== 1.19/1.24 c | 832 | 16706 32921 132148 | 10973 832 988 | 0.000 % | 1.19/1.27 c =============================================================================== 1.19/1.27 c New solution: -7 1.19/1.27 o -7 1.19/1.27 c Elapsed CPU time: 1.23981 s Remaining CPU time: 178.76 s 1.19/1.27 c =============================================================================== 1.19/1.27 c | 835 | 16706 32922 132648 | 10974 835 987 | 0.000 % | 1.29/1.35 c | 936 | 16706 32922 132648 | 12071 936 986 | 0.000 % | 1.39/1.45 c | 1086 | 16706 32922 132648 | 13278 1086 987 | 0.000 % | 1.39/1.47 c =============================================================================== 1.39/1.47 c New solution: -8 1.39/1.47 o -8 1.39/1.47 c Elapsed CPU time: 1.44178 s Remaining CPU time: 178.558 s 1.39/1.47 c =============================================================================== 1.39/1.47 c | 1086 | 16706 32923 133148 | 10974 1086 987 | 0.000 % | 1.49/1.54 c | 1186 | 16706 32923 133148 | 12071 1186 987 | 0.000 % | 1.59/1.63 c | 1336 | 16706 32923 133148 | 13278 1336 987 | 0.000 % | 1.69/1.75 c | 1562 | 16706 32923 133148 | 14606 1562 987 | 0.000 % | 1.89/1.96 c | 1899 | 16706 32923 133148 | 16067 1899 987 | 0.000 % | 1.89/1.99 c =============================================================================== 1.89/1.99 c New solution: -9 1.89/1.99 o -9 1.89/1.99 c Elapsed CPU time: 1.9367 s Remaining CPU time: 178.063 s 1.89/1.99 c =============================================================================== 1.89/1.99 c | 1900 | 16706 32924 133648 | 10974 1900 987 | 0.000 % | 1.99/2.02 c =============================================================================== 1.99/2.02 c New solution: -10 1.99/2.02 o -10 1.99/2.02 c Elapsed CPU time: 1.9677 s Remaining CPU time: 178.032 s 1.99/2.02 c =============================================================================== 1.99/2.02 c | 1905 | 16706 32925 134148 | 10975 1905 985 | 0.000 % | 1.99/2.08 c | 2005 | 16706 32925 134148 | 12072 2005 985 | 0.000 % | 2.10/2.19 c | 2155 | 16706 32925 134148 | 13279 2155 981 | 0.000 % | 2.29/2.30 c | 2380 | 16706 32925 134148 | 14607 2380 981 | 0.000 % | 2.49/2.52 c | 2717 | 16706 32925 134148 | 16068 2717 982 | 0.000 % | 2.49/2.55 c =============================================================================== 2.49/2.55 c New solution: -11 2.49/2.55 o -11 2.49/2.55 c Elapsed CPU time: 2.49262 s Remaining CPU time: 177.507 s 2.49/2.55 c =============================================================================== 2.49/2.55 c | 2718 | 16706 32926 134648 | 10975 2718 982 | 0.000 % | 2.59/2.63 c | 2818 | 16706 32926 134648 | 12072 2818 982 | 0.000 % | 2.69/2.76 c | 2968 | 16706 32926 134648 | 13280 2968 982 | 0.000 % | 2.79/2.80 c =============================================================================== 2.79/2.80 c New solution: -12 2.79/2.80 o -12 2.79/2.80 c Elapsed CPU time: 2.74258 s Remaining CPU time: 177.257 s 2.79/2.80 c =============================================================================== 2.79/2.80 c | 2999 | 16706 32927 135148 | 10975 2999 976 | 0.000 % | 2.89/2.95 c | 3100 | 16706 32927 135148 | 12073 3100 977 | 0.000 % | 2.99/3.05 c | 3250 | 16706 32927 135148 | 13280 3250 977 | 0.000 % | 3.09/3.18 c | 3475 | 16706 32927 135148 | 14608 3475 976 | 0.000 % | 3.30/3.37 c | 3812 | 16706 32927 135148 | 16069 3812 977 | 0.000 % | 3.59/3.68 c | 4318 | 16706 32927 135148 | 17676 4318 977 | 0.000 % | 4.09/4.19 c | 5077 | 16706 32927 135148 | 19444 5077 975 | 0.000 % | 4.89/4.99 c | 6217 | 16706 32927 135148 | 21388 6217 974 | 0.000 % | 6.09/6.12 c | 7926 | 16706 32927 135148 | 23527 7926 974 | 0.000 % | 6.09/6.15 c =============================================================================== 6.09/6.15 c New solution: -13 6.09/6.15 o -13 6.09/6.15 c Elapsed CPU time: 6.05308 s Remaining CPU time: 173.947 s 6.09/6.15 c =============================================================================== 6.09/6.15 c | 7927 | 16706 32928 135648 | 10976 7927 974 | 0.000 % | 6.09/6.18 c =============================================================================== 6.09/6.18 c New solution: -14 6.09/6.18 o -14 6.09/6.18 c Elapsed CPU time: 6.08408 s Remaining CPU time: 173.916 s 6.09/6.18 c =============================================================================== 6.09/6.18 c | 7927 | 16706 32929 136148 | 10976 7927 974 | 0.000 % | 6.19/6.28 c | 8027 | 16706 32929 136148 | 12073 8027 974 | 0.000 % | 6.29/6.38 c | 8177 | 16706 32929 136148 | 13281 8177 974 | 0.000 % | 6.49/6.53 c | 8402 | 16706 32929 136148 | 14609 8402 974 | 0.000 % | 6.49/6.57 c =============================================================================== 6.49/6.57 c New solution: -15 6.49/6.57 o -15 6.49/6.57 c Elapsed CPU time: 6.46502 s Remaining CPU time: 173.535 s 6.49/6.57 c =============================================================================== 6.49/6.57 c | 8425 | 16706 32930 136648 | 10976 8425 972 | 0.000 % | 6.69/6.71 c | 8525 | 16706 32930 136648 | 12074 8525 972 | 0.000 % | 6.79/6.81 c | 8675 | 16706 32930 136648 | 13281 8675 972 | 0.000 % | 6.89/6.99 c | 8900 | 16706 32930 136648 | 14609 8900 972 | 0.000 % | 7.19/7.23 c | 9237 | 16706 32930 136648 | 16070 9237 972 | 0.000 % | 7.48/7.58 c | 9743 | 16706 32930 136648 | 17678 9743 972 | 0.000 % | 7.99/8.05 c | 10502 | 16706 32930 136648 | 19445 10502 968 | 0.000 % | 8.79/8.86 c | 11641 | 16706 32930 136648 | 21390 11641 968 | 0.000 % | 10.19/10.21 c | 13351 | 16706 32930 136648 | 23529 13351 969 | 0.000 % | 12.19/12.25 c | 15913 | 16706 32930 136648 | 25882 15913 964 | 0.000 % | 14.98/15.00 c | 19757 | 16706 32930 136648 | 28470 19757 966 | 0.000 % | 19.88/19.97 c | 25523 | 16706 32930 136648 | 31317 25523 964 | 0.000 % | 33.08/33.13 c | 34172 | 16706 32930 136648 | 34449 34172 958 | 0.000 % | 54.26/54.38 c | 47146 | 16706 32930 136648 | 37894 47146 948 | 0.000 % | 75.96/76.03 c | 66608 | 16706 32930 136648 | 41683 30921 957 | 0.000 % | 129.44/129.56 c | 95802 | 16706 32930 136648 | 45852 13440 974 | 0.000 % | 129.54/129.66 c =============================================================================== 129.54/129.66 c New solution: -16 129.54/129.66 o -16 129.54/129.66 c Elapsed CPU time: 128.684 s Remaining CPU time: 51.3156 s 129.54/129.66 c =============================================================================== 129.54/129.66 c | 95828 | 16706 32931 137148 | 10977 13466 973 | 0.000 % | 129.64/129.79 c | 95928 | 16706 32931 137148 | 12074 6833 973 | 0.000 % | 129.74/129.89 c | 96079 | 16706 32931 137148 | 13282 6984 973 | 0.000 % | 129.93/130.03 c | 96305 | 16706 32931 137148 | 14610 7210 973 | 0.000 % | 130.24/130.32 c | 96642 | 16706 32931 137148 | 16071 7547 972 | 0.000 % | 130.63/130.75 c | 97148 | 16706 32931 137148 | 17678 8053 971 | 0.000 % | 131.13/131.20 c | 97909 | 16706 32931 137148 | 19446 8814 971 | 0.000 % | 131.94/132.01 c | 99048 | 16706 32931 137148 | 21391 9953 972 | 0.000 % | 133.63/133.71 c | 100756 | 16706 32931 137148 | 23530 11661 972 | 0.000 % | 136.63/136.70 c | 103318 | 16706 32931 137148 | 25883 14223 972 | 0.000 % | 139.92/140.05 c | 107162 | 16706 32931 137148 | 28471 18067 973 | 0.000 % | 145.63/145.78 c | 112928 | 16706 32931 137148 | 31318 23833 973 | 0.000 % | 145.73/145.84 c =============================================================================== 145.73/145.84 c New solution: -17 145.73/145.84 o -17 145.73/145.84 c Elapsed CPU time: 144.716 s Remaining CPU time: 35.284 s 145.73/145.84 c =============================================================================== 145.73/145.84 c | 112933 | 16706 32932 137648 | 10977 23838 973 | 0.000 % | 145.92/146.05 c | 113033 | 16706 32932 137648 | 12075 10880 974 | 0.000 % | 146.13/146.21 c | 113183 | 16706 32932 137648 | 13282 11030 974 | 0.000 % | 146.23/146.38 c | 113408 | 16706 32932 137648 | 14610 11255 974 | 0.000 % | 146.53/146.62 c | 113745 | 16706 32932 137648 | 16071 11592 974 | 0.000 % | 146.92/147.07 c | 114251 | 16706 32932 137648 | 17679 12098 973 | 0.000 % | 147.63/147.70 c | 115010 | 16706 32932 137648 | 19447 12857 973 | 0.000 % | 148.62/148.79 c | 116149 | 16706 32932 137648 | 21391 13996 973 | 0.000 % | 149.83/149.93 c | 117857 | 16706 32932 137648 | 23530 15704 973 | 0.000 % | 151.74/151.87 c | 120419 | 16706 32932 137648 | 25883 18266 972 | 0.000 % | 155.03/155.19 c | 124263 | 16706 32932 137648 | 28472 22110 972 | 0.000 % | 155.12/155.27 c =============================================================================== 155.12/155.27 c New solution: -18 155.12/155.27 o -18 155.12/155.27 c Elapsed CPU time: 154.046 s Remaining CPU time: 25.9544 s 155.12/155.27 c =============================================================================== 155.12/155.27 c | 124274 | 16706 32933 138148 | 10977 22121 972 | 0.000 % | 155.33/155.44 c | 124374 | 16706 32933 138148 | 12075 10783 968 | 0.000 % | 155.43/155.53 c | 124524 | 16706 32933 138148 | 13282 10933 969 | 0.000 % | 155.53/155.68 c | 124749 | 16706 32933 138148 | 14611 11158 969 | 0.000 % | 155.72/155.88 c | 125086 | 16706 32933 138148 | 16072 11495 969 | 0.000 % | 155.82/155.96 c =============================================================================== 155.82/155.96 c New solution: -19 155.82/155.96 o -19 155.82/155.96 c Elapsed CPU time: 154.724 s Remaining CPU time: 25.2755 s 155.82/155.96 c =============================================================================== 155.82/155.96 c | 125161 | 16706 32934 138648 | 10978 11570 965 | 0.000 % | 155.93/156.09 c | 125261 | 16706 32934 138648 | 12075 5885 961 | 0.000 % | 156.03/156.19 c | 125411 | 16706 32934 138648 | 13283 6035 961 | 0.000 % | 156.22/156.30 c | 125636 | 16706 32934 138648 | 14611 6260 961 | 0.000 % | 156.42/156.51 c | 125973 | 16706 32934 138648 | 16072 6597 962 | 0.000 % | 156.73/156.83 c | 126479 | 16706 32934 138648 | 17680 7103 963 | 0.000 % | 157.13/157.22 c | 127238 | 16706 32934 138648 | 19448 7862 963 | 0.000 % | 157.72/157.82 c | 128377 | 16706 32934 138648 | 21393 9001 964 | 0.000 % | 157.72/157.88 c =============================================================================== 157.72/157.88 c New solution: -20 157.72/157.88 o -20 157.72/157.88 c Elapsed CPU time: 156.615 s Remaining CPU time: 23.3848 s 157.72/157.88 c =============================================================================== 157.72/157.88 c | 128413 | 16706 32935 139148 | 10978 9037 962 | 0.000 % | 157.82/157.99 c | 128513 | 16706 32935 139148 | 12076 9137 962 | 0.000 % | 158.03/158.12 c | 128663 | 16706 32935 139148 | 13283 9287 962 | 0.000 % | 158.13/158.24 c | 128888 | 16706 32935 139148 | 14612 9512 962 | 0.000 % | 158.33/158.43 c | 129225 | 16706 32935 139148 | 16073 9849 961 | 0.000 % | 158.63/158.70 c | 129731 | 16706 32935 139148 | 17680 10355 962 | 0.000 % | 159.02/159.15 c | 130490 | 16706 32935 139148 | 19448 11114 962 | 0.000 % | 159.62/159.76 c | 131630 | 16706 32935 139148 | 21393 12254 963 | 0.000 % | 160.53/160.64 c | 133338 | 16706 32935 139148 | 23533 13962 959 | 0.000 % | 162.12/162.24 c | 135900 | 16706 32935 139148 | 25886 16524 961 | 0.000 % | 162.22/162.37 c =============================================================================== 162.22/162.37 c New solution: -21 162.22/162.37 o -21 162.22/162.37 c Elapsed CPU time: 161.043 s Remaining CPU time: 18.9575 s 162.22/162.37 c =============================================================================== 162.22/162.37 c | 136046 | 16706 32936 139648 | 10978 16670 955 | 0.000 % | 162.42/162.57 c | 136151 | 16706 32936 139648 | 12076 8440 947 | 0.000 % | 162.51/162.66 c | 136301 | 16706 32936 139648 | 13284 8590 948 | 0.000 % | 162.63/162.78 c | 136526 | 16706 32936 139648 | 14612 8815 948 | 0.000 % | 162.82/162.98 c | 136863 | 16706 32936 139648 | 16073 9152 949 | 0.000 % | 162.92/163.07 c =============================================================================== 162.92/163.07 c New solution: -22 162.92/163.07 o -22 162.92/163.07 c Elapsed CPU time: 161.726 s Remaining CPU time: 18.2736 s 162.92/163.07 c =============================================================================== 162.92/163.07 c | 136944 | 16706 32937 140148 | 10979 9233 944 | 0.000 % | 163.01/163.16 c | 137044 | 16706 32937 140148 | 12076 9333 944 | 0.000 % | 163.12/163.24 c | 137194 | 16706 32937 140148 | 13284 9483 944 | 0.000 % | 163.22/163.37 c | 137419 | 16706 32937 140148 | 14613 9708 945 | 0.000 % | 163.42/163.56 c | 137756 | 16706 32937 140148 | 16074 10045 945 | 0.000 % | 163.52/163.64 c =============================================================================== 163.52/163.64 c New solution: -23 163.52/163.64 o -23 163.52/163.64 c Elapsed CPU time: 162.281 s Remaining CPU time: 17.7187 s 163.52/163.64 c =============================================================================== 163.52/163.64 c | 137822 | 16706 32938 140648 | 10979 10111 941 | 0.000 % | 163.62/163.76 c | 137923 | 16706 32938 140648 | 12077 10212 942 | 0.000 % | 163.73/163.87 c | 138073 | 16706 32938 140648 | 13284 10362 942 | 0.000 % | 163.83/163.99 c | 138298 | 16706 32938 140648 | 14613 10587 942 | 0.000 % | 164.12/164.21 c | 138635 | 16706 32938 140648 | 16074 10924 942 | 0.000 % | 164.32/164.49 c | 139141 | 16706 32938 140648 | 17682 11430 943 | 0.000 % | 164.83/164.92 c | 139900 | 16706 32938 140648 | 19450 12189 942 | 0.000 % | 165.42/165.58 c | 141039 | 16706 32938 140648 | 21395 13328 944 | 0.000 % | 166.42/166.52 c | 142747 | 16706 32938 140648 | 23535 15036 946 | 0.000 % | 168.02/168.13 c | 145309 | 16706 32938 140648 | 25888 17598 949 | 0.000 % | 170.62/170.75 c | 149153 | 16706 32938 140648 | 28477 21442 952 | 0.000 % | 174.73/174.86 c | 154919 | 16706 32938 140648 | 31325 27208 955 | 0.000 % | 181.42/181.55 c There are 0 assigned variables. 0 in cost function. 181.81/181.91 c core #1 181.81/181.91 c 181.81/181.91 c 181.81/181.91 c Core size: 1001 Core Weight: 1 Total Weight: -499 181.81/181.91 c 181.81/181.91 c 181.81/181.91 c ============================[ Search Statistics ]============================== 181.81/181.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.81/181.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.81/181.91 c =============================================================================== 181.81/181.91 c | 0 | 17206 33529 142418 | 11176 0 nan | 0.000 % | 182.11/182.28 c | 100 | 17206 33529 142418 | 12293 100 258 | 0.663 % | 182.61/182.70 c | 250 | 17202 33529 142418 | 13523 250 283 | 0.825 % | 183.52/183.61 c | 475 | 17061 33529 142418 | 14875 471 252 | 1.168 % | 184.51/184.65 c | 812 | 16907 33529 142418 | 16363 800 262 | 6.881 % | 186.11/186.22 c | 1318 | 15052 33529 142418 | 17999 1145 277 | 19.011 % | 186.11/186.27 c =============================================================================== 186.31/186.45 c core #2 186.31/186.45 c 186.31/186.45 c 186.31/186.45 c Core size: 481 Core Weight: 1 Total Weight: -498 186.31/186.45 c 186.31/186.45 c 186.31/186.45 c ============================[ Search Statistics ]============================== 186.31/186.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.31/186.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.31/186.45 c =============================================================================== 186.31/186.45 c | 0 | 17652 33574 143441 | 11191 0 nan | 0.000 % | 186.71/186.82 c | 100 | 17652 33574 143441 | 12310 100 473 | 0.000 % | 187.11/187.25 c | 250 | 17652 33574 143441 | 13541 250 452 | 0.000 % | 187.92/188.03 c | 475 | 17652 33574 143441 | 14895 475 426 | 0.000 % | 189.12/189.26 c | 812 | 17652 33574 143441 | 16385 812 403 | 0.000 % | 191.11/191.26 c | 1318 | 17652 33574 143441 | 18023 1318 390 | 0.001 % | 193.71/193.82 c | 2077 | 17652 33574 143441 | 19826 2077 384 | 0.000 % | 197.71/197.84 c | 3216 | 17613 33574 143441 | 21808 3214 403 | 0.402 % | 203.70/203.81 c | 4924 | 17611 33574 143441 | 23989 4922 410 | 0.572 % | 213.21/213.32 c | 7492 | 17548 33574 143441 | 26388 7463 433 | 0.776 % | 228.40/228.58 c | 11356 | 17378 33574 143441 | 29027 10789 466 | 3.677 % | 250.99/251.17 c | 17123 | 16444 33574 143441 | 31930 15199 463 | 11.392 % | 282.07/282.26 c | 25772 | 14866 33574 143441 | 35123 21004 482 | 16.933 % | 330.86/331.02 c | 38746 | 14794 33574 143441 | 38635 33978 486 | 24.388 % | 400.72/400.92 c | 58244 | 13293 33574 143441 | 42499 18237 514 | 30.201 % | 412.52/412.71 c =============================================================================== 414.42/414.69 c core #3 414.42/414.69 c 414.42/414.69 c 414.42/414.69 c Core size: 572 Core Weight: 1 Total Weight: -497 414.42/414.69 c 414.42/414.69 c 414.42/414.69 c ============================[ Search Statistics ]============================== 414.42/414.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 414.42/414.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 414.42/414.69 c =============================================================================== 414.42/414.69 c | 0 | 18152 33872 145270 | 11290 0 nan | 0.000 % | 415.01/415.22 c | 150 | 18152 33872 145270 | 12419 150 709 | 0.000 % | 415.72/415.91 c | 300 | 18152 33872 145270 | 13661 300 541 | 0.000 % | 416.62/416.89 c | 531 | 18152 33872 145270 | 15027 531 509 | 0.000 % | 418.02/418.23 c | 868 | 18152 33872 145270 | 16530 868 489 | 0.000 % | 419.81/420.09 c | 1375 | 18152 33872 145270 | 18183 1375 485 | 0.000 % | 422.91/423.10 c | 2134 | 18152 33872 145270 | 20002 2134 513 | 0.000 % | 427.51/427.79 c | 3273 | 18152 33872 145270 | 22002 3273 525 | 0.000 % | 434.91/435.19 c | 5021 | 18152 33872 145270 | 24202 5021 530 | 0.000 % | 444.60/444.87 c | 7583 | 18152 33872 145270 | 26622 7583 545 | 0.000 % | 459.70/459.97 c | 11427 | 18152 33872 145270 | 29285 11427 560 | 0.000 % | 482.99/483.20 c | 17193 | 18152 33872 145270 | 32213 17193 579 | 0.000 % | 518.88/519.16 c | 25904 | 18152 33872 145270 | 35434 25904 605 | 0.000 % | 573.86/574.20 c | 38878 | 18152 33872 145270 | 38978 13940 600 | 0.000 % | 653.82/654.13 c | 58364 | 18151 33872 145270 | 42876 33422 637 | 0.006 % | 769.17/769.56 c | 87556 | 18151 33872 145270 | 47163 32122 658 | 0.006 % | 932.31/932.78 c | 131345 | 18151 33872 145270 | 51880 39382 780 | 0.006 % | 1198.90/1199.46 c | 197029 | 18151 33872 145270 | 57068 21644 855 | 0.006 % | 1617.80/1618.56 c | 295646 | 18151 33872 145270 | 62775 25723 766 | 0.006 % |
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-2702645-1278572924/watcher-2702645-1278572924 -o /tmp/evaluation-result-2702645-1278572924/solver-2702645-1278572924 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702645-1278572924.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.07 0.09 0.43 2/106 32492 /proc/meminfo: memFree=1488040/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=4452 CPUtime=0 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 1 0 25505690 4558848 331 1992294400 134512640 135752675 4293098736 18446744073709551615 134609676 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 1113 331 137 303 0 469 0 [startup+0.029023 s] /proc/loadavg: 0.07 0.09 0.43 2/106 32492 /proc/meminfo: memFree=1488040/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=5936 CPUtime=0.02 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 762 0 0 0 2 0 0 0 21 0 1 0 25505690 6078464 681 1992294400 134512640 135752675 4293098736 18446744073709551615 135194330 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 1484 681 159 303 0 840 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5936 [startup+0.101038 s] /proc/loadavg: 0.07 0.09 0.43 2/106 32492 /proc/meminfo: memFree=1488040/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=7912 CPUtime=0.09 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 1319 0 0 0 9 0 0 0 24 0 1 0 25505690 8101888 1238 1992294400 134512640 135752675 4293098736 18446744073709551615 134560782 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 1978 1238 246 303 0 1334 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7912 [startup+0.30108 s] /proc/loadavg: 0.07 0.09 0.43 2/106 32492 /proc/meminfo: memFree=1488040/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=12220 CPUtime=0.29 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 2930 0 0 0 29 0 0 0 25 0 1 0 25505690 12513280 2478 1992294400 134512640 135752675 4293098736 18446744073709551615 134524178 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 3055 2478 142 303 0 2750 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12220 [startup+0.701166 s] /proc/loadavg: 0.07 0.09 0.43 2/106 32492 /proc/meminfo: memFree=1488040/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=12880 CPUtime=0.69 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 3434 0 0 0 68 1 0 0 25 0 1 0 25505690 13189120 2684 1992294400 134512640 135752675 4293098736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 3220 2684 144 303 0 2915 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12880 [startup+1.50134 s] /proc/loadavg: 0.07 0.09 0.43 2/107 32493 /proc/meminfo: memFree=1477492/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=14860 CPUtime=1.49 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 3926 0 0 0 146 3 0 0 25 0 1 0 25505690 15216640 3176 1992294400 134512640 135752675 4293098736 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 3715 3176 145 303 0 3410 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14860 [startup+3.10068 s] /proc/loadavg: 0.07 0.09 0.43 2/107 32493 /proc/meminfo: memFree=1472408/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=23440 CPUtime=3.09 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 6077 0 0 0 303 6 0 0 25 0 1 0 25505690 24002560 5327 1992294400 134512640 135752675 4293098736 18446744073709551615 134638503 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 5860 5327 145 303 0 5555 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23440 [startup+6.30136 s] /proc/loadavg: 0.15 0.10 0.43 2/107 32493 /proc/meminfo: memFree=1453312/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=42188 CPUtime=6.29 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 10745 0 0 0 619 10 0 0 25 0 1 0 25505690 43200512 9995 1992294400 134512640 135752675 4293098736 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 10547 9995 145 303 0 10242 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 42188 [startup+12.7017 s] /proc/loadavg: 0.21 0.12 0.44 2/107 32493 /proc/meminfo: memFree=1418840/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=75284 CPUtime=12.69 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 19017 0 0 0 1254 15 0 0 25 0 1 0 25505690 77090816 18267 1992294400 134512640 135752675 4293098736 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 18821 18267 145 303 0 18516 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 75284 [startup+25.5015 s] /proc/loadavg: 0.39 0.16 0.44 2/107 32493 /proc/meminfo: memFree=1368372/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=122892 CPUtime=25.48 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 30903 0 0 0 2523 25 0 0 25 0 1 0 25505690 125841408 30153 1992294400 134512640 135752675 4293098736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 30723 30153 145 303 0 30418 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 122892 [startup+51.1009 s] /proc/loadavg: 0.60 0.23 0.46 2/107 32495 /proc/meminfo: memFree=1305132/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=186376 CPUtime=51.06 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 46781 0 0 0 5062 44 0 0 25 0 1 0 25505690 190849024 46031 1992294400 134512640 135752675 4293098736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 46594 46031 145 303 0 46289 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 186376 [startup+102.309 s] /proc/loadavg: 0.82 0.34 0.48 2/107 32495 /proc/meminfo: memFree=1160672/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=329708 CPUtime=102.25 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 82593 0 0 0 10147 78 0 0 25 0 1 0 25505690 337620992 81843 1992294400 134512640 135752675 4293098736 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 82427 81843 145 303 0 82122 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 329708 [startup+162.301 s] /proc/loadavg: 0.93 0.46 0.51 2/107 32497 /proc/meminfo: memFree=953096/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=540296 CPUtime=162.22 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 135260 0 0 0 16096 126 0 0 25 0 1 0 25505690 553263104 134510 1992294400 134512640 135752675 4293098736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 135074 134510 145 303 0 134769 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 540296 [startup+222.3 s] /proc/loadavg: 0.97 0.55 0.54 2/107 32499 /proc/meminfo: memFree=844844/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=643568 CPUtime=222.19 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 161759 0 0 0 22064 155 0 0 25 0 1 0 25505690 659013632 160395 1992294400 134512640 135752675 4293098736 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 160892 160395 146 303 0 160587 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 643568 [startup+282.3 s] /proc/loadavg: 0.99 0.63 0.57 2/107 32501 /proc/meminfo: memFree=844844/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=643568 CPUtime=282.17 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 161759 0 0 0 28052 165 0 0 25 0 1 0 25505690 659013632 160395 1992294400 134512640 135752675 4293098736 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 160892 160395 146 303 0 160587 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 643568 [startup+342.302 s] /proc/loadavg: 0.99 0.70 0.59 2/107 32503 /proc/meminfo: memFree=844844/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=643568 CPUtime=342.15 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 161759 0 0 0 34041 174 0 0 25 0 1 0 25505690 659013632 160395 1992294400 134512640 135752675 4293098736 18446744073709551615 134605463 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 160892 160395 146 303 0 160587 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 643568 [startup+402.302 s] /proc/loadavg: 0.99 0.75 0.61 2/107 32503 /proc/meminfo: memFree=812852/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=676892 CPUtime=402.13 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 170076 0 0 0 40021 192 0 0 25 0 1 0 25505690 693137408 168712 1992294400 134512640 135752675 4293098736 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 169223 168712 146 303 0 168918 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 676892 [startup+462.302 s] /proc/loadavg: 0.99 0.79 0.64 2/107 32505 /proc/meminfo: memFree=801196/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=687716 CPUtime=462.1 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 172759 0 0 0 46005 205 0 0 25 0 1 0 25505690 704221184 171395 1992294400 134512640 135752675 4293098736 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 171929 171395 146 303 0 171624 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 687716 [startup+522.301 s] /proc/loadavg: 0.99 0.83 0.65 2/107 32507 /proc/meminfo: memFree=798220/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=691420 CPUtime=522.07 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 173731 0 0 0 51992 215 0 0 25 0 1 0 25505690 708014080 172367 1992294400 134512640 135752675 4293098736 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 172855 172367 146 303 0 172550 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 691420 [startup+582.301 s] /proc/loadavg: 0.99 0.86 0.67 2/107 32509 /proc/meminfo: memFree=751348/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=737824 CPUtime=582.05 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 185320 0 0 0 57967 238 0 0 25 0 1 0 25505690 755531776 183956 1992294400 134512640 135752675 4293098736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 184456 183956 146 303 0 184151 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 737824 [startup+642.302 s] /proc/loadavg: 1.04 0.89 0.70 2/107 32514 /proc/meminfo: memFree=693688/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=794140 CPUtime=642.03 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 199379 0 0 0 63947 256 0 0 25 0 1 0 25505690 813199360 198015 1992294400 134512640 135752675 4293098736 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 198535 198015 146 303 0 198230 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 794140 [startup+702.302 s] ################ # More data... # ################ [startup+762.308 s] /proc/loadavg: 1.00 0.92 0.73 2/107 32516 /proc/meminfo: memFree=574276/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=913536 CPUtime=761.98 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 229208 0 0 0 75899 299 0 0 25 0 1 0 25505690 935460864 227844 1992294400 134512640 135752675 4293098736 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 228384 227844 146 303 0 228079 0 Current children cumulated CPU time (s) 761.98 Current children cumulated vsize (KiB) 913536 [startup+822.301 s] /proc/loadavg: 1.00 0.93 0.74 2/107 32518 /proc/meminfo: memFree=516244/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=971972 CPUtime=821.95 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 243842 0 0 0 81875 320 0 0 25 0 1 0 25505690 995299328 242478 1992294400 134512640 135752675 4293098736 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 242993 242478 146 303 0 242688 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 971972 [startup+882.301 s] /proc/loadavg: 1.00 0.94 0.75 2/107 32520 /proc/meminfo: memFree=447672/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=1039880 CPUtime=881.92 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 260806 0 0 0 87853 339 0 0 25 0 1 0 25505690 1064837120 259442 1992294400 134512640 135752675 4293098736 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 259970 259442 146 303 0 259665 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 1039880 [startup+942.302 s] /proc/loadavg: 1.00 0.95 0.76 2/107 32522 /proc/meminfo: memFree=376000/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=1111528 CPUtime=941.91 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 278722 0 0 0 93828 363 0 0 25 0 1 0 25505690 1138204672 277358 1992294400 134512640 135752675 4293098736 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 277882 277358 146 303 0 277577 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1111528 [startup+1002.3 s] /proc/loadavg: 1.00 0.96 0.78 2/107 32522 /proc/meminfo: memFree=326524/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=1160580 CPUtime=1001.88 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 290987 0 0 0 99806 382 0 0 25 0 1 0 25505690 1188433920 289623 1992294400 134512640 135752675 4293098736 18446744073709551615 134639918 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 290145 289623 146 303 0 289840 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1160580 [startup+1062.3 s] /proc/loadavg: 1.00 0.96 0.79 2/107 32524 /proc/meminfo: memFree=266012/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=1221732 CPUtime=1061.86 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 306281 0 0 0 105781 405 0 0 25 0 1 0 25505690 1251053568 304917 1992294400 134512640 135752675 4293098736 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 305433 304917 146 303 0 305128 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 1221732 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.80 2/107 32526 /proc/meminfo: memFree=201160/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=1285996 CPUtime=1121.83 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 322326 0 0 0 111758 425 0 0 25 0 1 0 25505690 1316859904 320962 1992294400 134512640 135752675 4293098736 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 321499 320962 146 303 0 321194 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1285996 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.81 2/107 32528 /proc/meminfo: memFree=136804/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=1351588 CPUtime=1181.81 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 338725 0 0 0 117733 448 0 0 25 0 1 0 25505690 1384026112 337361 1992294400 134512640 135752675 4293098736 18446744073709551615 134640064 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 337897 337361 146 303 0 337592 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 1351588 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 32530 /proc/meminfo: memFree=80136/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=1406968 CPUtime=1241.78 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 352569 0 0 0 123712 466 0 0 25 0 1 0 25505690 1440735232 351205 1992294400 134512640 135752675 4293098736 18446744073709551615 134605295 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 351742 351205 146 303 0 351437 0 Current children cumulated CPU time (s) 1241.78 Current children cumulated vsize (KiB) 1406968 [startup+1302.3 s] /proc/loadavg: 1.03 0.99 0.83 2/107 32530 /proc/meminfo: memFree=19128/2059040 swapFree=4192956/4192956 [pid=32492] ppid=32490 vsize=1467232 CPUtime=1301.77 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 367640 0 0 0 129690 487 0 0 25 0 1 0 25505690 1502445568 366276 1992294400 134512640 135752675 4293098736 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 366808 366276 146 303 0 366503 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 1467232 [startup+1362.3 s] /proc/loadavg: 1.01 0.99 0.84 2/107 32532 /proc/meminfo: memFree=10428/2059040 swapFree=4164940/4192956 [pid=32492] ppid=32490 vsize=1522068 CPUtime=1361.74 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 381357 0 0 0 135667 507 0 0 25 0 1 0 25505690 1558597632 379993 1992294400 134512640 135752675 4293098736 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 380517 379993 146 303 0 380212 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1522068 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.84 2/107 32534 /proc/meminfo: memFree=9232/2059040 swapFree=4140720/4192956 [pid=32492] ppid=32490 vsize=1580176 CPUtime=1421.71 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 395871 0 0 0 141647 524 0 0 25 0 1 0 25505690 1618100224 394507 1992294400 134512640 135752675 4293098736 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 395044 394507 146 303 0 394739 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 1580176 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.85 2/107 32536 /proc/meminfo: memFree=10184/2059040 swapFree=4140720/4192956 [pid=32492] ppid=32490 vsize=1636060 CPUtime=1481.69 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 409855 0 0 0 147627 542 0 0 25 0 1 0 25505690 1675325440 408491 1992294400 134512640 135752675 4293098736 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 409015 408491 146 303 0 408710 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 1636060 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.86 2/107 32538 /proc/meminfo: memFree=10088/2059040 swapFree=4140720/4192956 [pid=32492] ppid=32490 vsize=1702020 CPUtime=1541.67 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 426344 0 0 0 153602 565 0 0 25 0 1 0 25505690 1742868480 424980 1992294400 134512640 135752675 4293098736 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 425505 424980 146 303 0 425200 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 1702020 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.86 2/107 32538 /proc/meminfo: memFree=10272/2059040 swapFree=4140720/4192956 [pid=32492] ppid=32490 vsize=1768688 CPUtime=1601.64 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 442958 0 0 0 159578 586 0 0 25 0 1 0 25505690 1811136512 441594 1992294400 134512640 135752675 4293098736 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/32492/statm: 442172 441594 146 303 0 441867 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 1768688 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.87 2/107 32540 /proc/meminfo: memFree=9488/2059040 swapFree=4140720/4192956 [pid=32492] ppid=32490 vsize=1826560 CPUtime=1661.51 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 457431 0 0 0 165544 607 0 0 25 0 1 0 25505690 1870397440 456067 1992294400 134512640 135752675 4293098736 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/32492/statm: 456640 456067 146 303 0 456335 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 1826560 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1678.5 s] /proc/loadavg: 1.00 0.99 0.87 2/107 32541 /proc/meminfo: memFree=10220/2059040 swapFree=4140720/4192956 [pid=32492] ppid=32490 vsize=1843252 CPUtime=1677.66 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4202496 461606 0 0 0 167153 613 0 0 25 0 1 0 25505690 1887490048 460242 1992294400 134512640 135752675 4293098736 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/32492/statm: 460813 460242 146 303 0 460508 0 Current children cumulated CPU time (s) 1677.66 Current children cumulated vsize (KiB) 1843252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1678.62 s] /proc/loadavg: 1.00 0.99 0.87 2/107 32541 /proc/meminfo: memFree=10220/2059040 swapFree=4140720/4192956 [pid=32492] ppid=32490 vsize=0 CPUtime=1677.76 /proc/32492/stat : 32492 (wbo1.4b) R 32490 32492 32410 0 -1 4203524 461606 0 0 0 167153 623 0 0 25 0 1 0 25505690 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/32492/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1677.76 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1678.68 CPU time (s): 1677.83 CPU user time (s): 1671.54 CPU system time (s): 6.29704 CPU usage (%): 99.9493 Max. virtual memory (cumulated for all children) (KiB): 1843252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1671.54 system time used= 6.29704 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461606 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= 7 involuntary context switches= 19506 runsolver used 3.02154 second user time and 7.72783 second system time The end
Begin job on node010 at 2010-07-08 09:08:45 IDJOB=2702645 IDBENCH=48257 IDSOLVER=1190 FILE ID=node010/2702645-1278572924 PBS_JOBID= 11240106 Free space on /tmp= 62520 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702645-1278572924/watcher-2702645-1278572924 -o /tmp/evaluation-result-2702645-1278572924/solver-2702645-1278572924 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702645-1278572924.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dfd3914a8aa1cc34e3abdf0a14d8373d RANDOM SEED=1218464106 node010.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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1489932 kB Buffers: 96776 kB Cached: 320952 kB SwapCached: 0 kB Active: 190144 kB Inactive: 287748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1489932 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3216 kB Writeback: 4 kB AnonPages: 60108 kB Mapped: 14428 kB Slab: 69436 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180900 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702645-1278572924.opb Free space on /tmp at the end= 62516 MiB End job on node010 at 2010-07-08 09:36:46