Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1418.59 | 1419.9 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb |
MD5SUM | f8f4f876e372c51b5109e7995e83ce5e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 833 |
Best CPU time to get the best result obtained on this benchmark | 1800.5 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 443 |
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 | 492823 |
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 | 492823 |
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 - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680572-1277451715.opb. 0.00/0.00 c Instance file HOME/instance-2680572-1277451715.opb 0.00/0.00 c File size is 17233622 bytes. 2.99/3.06 c Highest Coefficient sum: 101 2.99/3.07 c ============================[ Problem Statistics ]============================= 2.99/3.07 c | | 2.99/3.07 c | Parsing time: 3.02 s | 2.99/3.07 c | Number Variables: 10000 | 2.99/3.07 c | Number Clauses: 656900 | 2.99/3.07 c | Number Cardinality: 0 | 2.99/3.07 c | Number PB Constraints: 0 | 6.60/6.61 c ============================[ Search Statistics ]============================== 6.60/6.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.61 c =============================================================================== 6.60/6.61 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.60/6.69 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.79/6.82 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 7.09/7.13 c =============================================================================== 7.09/7.13 c New solution: 6899 7.09/7.13 o 6899 7.09/7.13 c Elapsed CPU time: 7.01093 s Remaining CPU time: 172.989 s 7.09/7.13 c =============================================================================== 7.09/7.13 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 7.39/7.42 c =============================================================================== 7.39/7.42 c New solution: 6360 7.39/7.42 o 6360 7.39/7.42 c Elapsed CPU time: 7.30089 s Remaining CPU time: 172.699 s 7.39/7.42 c =============================================================================== 7.39/7.42 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 7.49/7.54 c | 391 | 10000 656902 1353400 | 240864 391 1129 | 0.000 % | 7.59/7.67 c | 541 | 10000 656902 1353400 | 264950 541 1029 | 0.000 % | 7.99/8.00 c =============================================================================== 7.99/8.00 c New solution: 6357 7.99/8.00 o 6357 7.99/8.00 c Elapsed CPU time: 7.8658 s Remaining CPU time: 172.134 s 7.99/8.00 c =============================================================================== 7.99/8.00 c | 577 | 10000 656903 1363400 | 218967 577 998 | 0.000 % | 7.99/8.08 c | 677 | 10000 656903 1363400 | 240864 677 992 | 0.000 % | 8.19/8.25 c | 828 | 10000 656903 1363400 | 264950 828 928 | 0.000 % | 8.49/8.55 c =============================================================================== 8.49/8.55 c New solution: 6282 8.49/8.55 o 6282 8.49/8.55 c Elapsed CPU time: 8.40872 s Remaining CPU time: 171.591 s 8.49/8.55 c =============================================================================== 8.49/8.55 c | 830 | 10000 656904 1373400 | 218968 830 926 | 0.000 % | 8.58/8.69 c | 930 | 10000 656904 1373400 | 240864 930 900 | 0.000 % | 8.79/8.87 c | 1080 | 10000 656904 1373400 | 264951 1080 868 | 0.000 % | 8.98/9.09 c | 1306 | 10000 656904 1373400 | 291446 1306 865 | 0.000 % | 9.39/9.44 c | 1643 | 10000 656904 1373400 | 320591 1643 833 | 0.000 % | 9.89/9.91 c | 2149 | 10000 656904 1373400 | 352650 2149 880 | 0.000 % | 10.59/10.61 c =============================================================================== 10.59/10.61 c New solution: 6280 10.59/10.61 o 6280 10.59/10.61 c Elapsed CPU time: 10.4344 s Remaining CPU time: 169.566 s 10.59/10.61 c =============================================================================== 10.59/10.61 c | 2542 | 10000 656905 1383400 | 218968 2542 894 | 0.000 % | 10.90/10.91 c =============================================================================== 10.90/10.91 c New solution: 6095 10.90/10.91 o 6095 10.90/10.91 c Elapsed CPU time: 10.7344 s Remaining CPU time: 169.266 s 10.90/10.91 c =============================================================================== 10.90/10.91 c | 2548 | 10000 656906 1393400 | 218968 2548 893 | 0.000 % | 10.99/11.03 c | 2648 | 10000 656906 1393400 | 240865 2648 887 | 0.000 % | 11.18/11.24 c | 2799 | 10000 656906 1393400 | 264952 2799 870 | 0.000 % | 11.39/11.48 c | 3026 | 10000 656906 1393400 | 291447 3026 887 | 0.000 % | 11.79/11.85 c =============================================================================== 11.79/11.85 c New solution: 6079 11.79/11.85 o 6079 11.79/11.85 c Elapsed CPU time: 11.6702 s Remaining CPU time: 168.33 s 11.79/11.85 c =============================================================================== 11.79/11.85 c | 3110 | 10000 656907 1403400 | 218969 3110 884 | 0.000 % | 11.88/11.96 c | 3210 | 10000 656907 1403400 | 240865 3210 892 | 0.000 % | 12.10/12.19 c | 3361 | 10000 656907 1403400 | 264952 3361 888 | 0.000 % | 12.39/12.43 c | 3586 | 10000 656907 1403400 | 291447 3586 901 | 0.000 % | 13.09/13.10 c =============================================================================== 13.09/13.10 c New solution: 6071 13.09/13.10 o 6071 13.09/13.10 c Elapsed CPU time: 12.905 s Remaining CPU time: 167.095 s 13.09/13.10 c =============================================================================== 13.09/13.10 c | 3901 | 10000 656908 1413400 | 218969 3901 902 | 0.000 % | 13.20/13.22 c | 4001 | 10000 656908 1413400 | 240866 4001 905 | 0.000 % | 13.39/13.44 c | 4151 | 10000 656908 1413400 | 264952 4151 894 | 0.000 % | 13.59/13.65 c | 4376 | 10000 656908 1413400 | 291448 4376 896 | 0.000 % | 14.09/14.16 c | 4713 | 10000 656908 1413400 | 320593 4713 882 | 0.000 % | 14.68/14.77 c | 5219 | 10000 656908 1413400 | 352652 5219 855 | 0.000 % | 15.49/15.56 c | 5981 | 10000 656908 1413400 | 387917 5981 822 | 0.000 % | 16.49/16.54 c =============================================================================== 16.49/16.54 c New solution: 6061 16.49/16.54 o 6061 16.49/16.54 c Elapsed CPU time: 16.3145 s Remaining CPU time: 163.685 s 16.49/16.54 c =============================================================================== 16.49/16.54 c | 6434 | 10000 656909 1423400 | 218969 6434 816 | 0.000 % | 16.68/16.72 c | 6535 | 10000 656909 1423400 | 240866 6535 812 | 0.000 % | 16.89/16.93 c | 6685 | 10000 656909 1423400 | 264953 6685 811 | 0.000 % | 17.18/17.26 c | 6911 | 10000 656909 1423400 | 291448 6911 803 | 0.000 % | 17.79/17.81 c | 7250 | 10000 656909 1423400 | 320593 7250 797 | 0.000 % | 18.39/18.46 c | 7756 | 10000 656909 1423400 | 352652 7756 826 | 0.000 % | 19.49/19.51 c | 8515 | 10000 656909 1423400 | 387918 8515 841 | 0.000 % | 19.79/19.82 c =============================================================================== 19.79/19.82 c New solution: 6056 19.79/19.83 o 6056 19.79/19.83 c Elapsed CPU time: 19.555 s Remaining CPU time: 160.445 s 19.79/19.83 c =============================================================================== 19.79/19.83 c | 8521 | 10000 656910 1433400 | 218970 8521 841 | 0.000 % | 19.99/20.02 c | 8622 | 10000 656910 1433400 | 240867 8622 837 | 0.000 % | 20.29/20.32 c =============================================================================== 20.29/20.32 c New solution: 5663 20.29/20.32 o 5663 20.29/20.32 c Elapsed CPU time: 20.041 s Remaining CPU time: 159.959 s 20.29/20.32 c =============================================================================== 20.29/20.32 c | 8622 | 10000 656911 1443400 | 218970 8622 837 | 0.000 % | 20.39/20.44 c | 8722 | 10000 656911 1443400 | 240867 8722 835 | 0.000 % | 20.58/20.64 c | 8873 | 10000 656911 1443400 | 264954 8873 828 | 0.000 % | 20.89/20.94 c | 9098 | 10000 656911 1443400 | 291449 9098 824 | 0.000 % | 21.39/21.42 c | 9435 | 10000 656911 1443400 | 320594 9435 821 | 0.000 % | 21.89/22.00 c | 9942 | 10000 656911 1443400 | 352653 9942 808 | 0.000 % | 22.99/23.05 c | 10701 | 10000 656911 1443400 | 387919 10701 790 | 0.000 % | 24.78/24.86 c | 11842 | 10000 656911 1443400 | 426711 11842 766 | 0.000 % | 26.78/26.85 c | 13550 | 10000 656911 1443400 | 469382 13550 743 | 0.000 % | 30.18/30.26 c | 16112 | 10000 656911 1443400 | 516320 16112 809 | 0.000 % | 35.77/35.84 c | 19957 | 10000 656911 1443400 | 567952 19957 855 | 0.000 % | 43.07/43.19 c | 25724 | 10000 656911 1443400 | 624747 25724 823 | 0.000 % | 61.37/61.49 c | 34373 | 10000 656911 1443400 | 687222 34373 780 | 0.000 % | 80.55/80.68 c | 47348 | 10000 656911 1443400 | 755944 47348 746 | 0.000 % | 164.14/164.20 c =============================================================================== 164.14/164.20 c New solution: 5624 164.14/164.20 o 5624 164.14/164.20 c Elapsed CPU time: 163.28 s Remaining CPU time: 16.7198 s 164.14/164.20 c =============================================================================== 164.14/164.20 c | 63798 | 10000 656912 1453400 | 218970 63798 1297 | 0.000 % | 164.43/164.57 c | 63899 | 10000 656912 1453400 | 240867 63899 1297 | 0.000 % | 164.74/164.89 c | 64049 | 10000 656912 1453400 | 264954 64049 1296 | 0.000 % | 165.24/165.35 c | 64275 | 10000 656912 1453400 | 291449 64275 1294 | 0.000 % | 165.83/165.92 c | 64614 | 10000 656912 1453400 | 320594 64614 1290 | 0.000 % | 166.53/166.70 c | 65121 | 10000 656912 1453400 | 352654 65121 1286 | 0.000 % | 167.84/167.99 c | 65882 | 10000 656912 1453400 | 387919 65882 1278 | 0.000 % | 169.73/169.88 c | 67022 | 10000 656912 1453400 | 426711 67022 1267 | 0.000 % | 170.44/170.57 c =============================================================================== 170.44/170.57 c New solution: 5568 170.44/170.57 o 5568 170.44/170.57 c Elapsed CPU time: 169.585 s Remaining CPU time: 10.4148 s 170.44/170.57 c =============================================================================== 170.44/170.57 c | 67240 | 10000 656913 1463400 | 218971 67240 1266 | 0.000 % | 170.64/170.79 c | 67340 | 10000 656913 1463400 | 240868 67340 1265 | 0.000 % | 171.13/171.24 c | 67490 | 10000 656913 1463400 | 264954 67490 1264 | 0.000 % | 171.54/171.66 c | 67716 | 10000 656913 1463400 | 291450 67716 1262 | 0.000 % | 172.34/172.42 c | 68053 | 10000 656913 1463400 | 320595 68053 1259 | 0.000 % | 173.03/173.19 c | 68560 | 10000 656913 1463400 | 352654 68560 1254 | 0.000 % | 174.23/174.39 c | 69320 | 10000 656913 1463400 | 387920 69320 1245 | 0.000 % | 176.73/176.80 c | 70459 | 10000 656913 1463400 | 426712 70459 1236 | 0.000 % | 179.43/179.51 c | 72169 | 10000 656913 1463400 | 469383 72169 1228 | 0.000 % | 180.93/181.04 c There are 0 assigned variables. 0 in cost function. 202.83/202.92 c core #1 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 1 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #2 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 2 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #3 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 3 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #4 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 4 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #5 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 5 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #6 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 6 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #7 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 7 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #8 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 8 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #9 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 9 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #10 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 10 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #11 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 11 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #12 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 12 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #13 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 13 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #14 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 14 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #15 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 3 Total Weight: 17 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #16 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 18 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #17 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 19 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #18 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 20 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #19 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 3 Total Weight: 23 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #20 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 24 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #21 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 25 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #22 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 26 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #23 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 27 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #24 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 28 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #25 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 29 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #26 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 30 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #27 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 31 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #28 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 32 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #29 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 33 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #30 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 34 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #31 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 35 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #32 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 36 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #33 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 37 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #34 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 38 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #35 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 39 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #36 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 40 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #37 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 41 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #38 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 42 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #39 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 401 Core Weight: 1 Total Weight: 43 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #40 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 2 Total Weight: 45 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #41 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 46 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #42 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 47 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #43 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 48 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #44 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 49 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #45 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 50 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #46 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 401 Core Weight: 1 Total Weight: 51 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #47 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 52 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #48 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 53 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #49 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 54 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #50 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 55 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #51 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 56 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #52 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 57 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #53 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 58 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #54 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 59 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #55 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 60 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #56 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 61 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #57 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 62 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #58 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 63 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c core #59 202.83/202.92 c 202.83/202.92 c 202.83/202.92 c Core size: 101 Core Weight: 1 Total Weight: 64 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #60 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 501 Core Weight: 1 Total Weight: 65 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #61 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 66 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #62 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 67 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #63 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 3 Total Weight: 70 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #64 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 301 Core Weight: 1 Total Weight: 71 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #65 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 72 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #66 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 73 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #67 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 301 Core Weight: 2 Total Weight: 75 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #68 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 76 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #69 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 77 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #70 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 78 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #71 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 2 Total Weight: 80 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #72 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 81 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #73 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 82 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #74 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 83 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #75 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 84 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #76 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 85 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #77 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 2101 Core Weight: 1 Total Weight: 86 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #78 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 87 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #79 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 88 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #80 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 89 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #81 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 90 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #82 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 501 Core Weight: 1 Total Weight: 91 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #83 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 92 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #84 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 93 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #85 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 94 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #86 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 95 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #87 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 96 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #88 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 2 Total Weight: 98 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #89 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 501 Core Weight: 1 Total Weight: 99 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #90 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 1001 Core Weight: 1 Total Weight: 100 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #91 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 101 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #92 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 102 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #93 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 2 Total Weight: 104 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #94 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 105 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #95 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 901 Core Weight: 1 Total Weight: 106 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #96 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 107 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #97 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 108 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #98 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 109 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #99 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 110 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #100 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 111 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #101 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 112 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #102 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 113 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #103 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 114 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #104 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 1401 Core Weight: 1 Total Weight: 115 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #105 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 116 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #106 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 117 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #107 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 118 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #108 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 119 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #109 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 120 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #110 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 2 Total Weight: 122 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #111 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 301 Core Weight: 1 Total Weight: 123 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #112 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 124 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #113 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 501 Core Weight: 1 Total Weight: 125 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #114 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 200 Core Weight: 1 Total Weight: 126 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #115 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 127 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #116 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 3 Total Weight: 130 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c core #117 225.22/225.39 c 225.22/225.39 c 225.22/225.39 c Core size: 101 Core Weight: 1 Total Weight: 131 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #118 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 1169 Core Weight: 1 Total Weight: 132 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #119 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 101 Core Weight: 1 Total Weight: 133 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #120 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 881 Core Weight: 1 Total Weight: 134 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #121 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 695 Core Weight: 1 Total Weight: 135 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #122 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 789 Core Weight: 1 Total Weight: 136 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #123 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 101 Core Weight: 5 Total Weight: 141 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #124 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 101 Core Weight: 2 Total Weight: 143 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #125 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 789 Core Weight: 1 Total Weight: 144 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #126 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 1357 Core Weight: 1 Total Weight: 145 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c core #127 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c Core size: 499 Core Weight: 1 Total Weight: 146 229.83/230.00 c 229.83/230.00 c 229.83/230.00 c ============================[ Search Statistics ]============================== 229.83/230.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.83/230.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.83/230.00 c =============================================================================== 229.83/230.00 c | 0 | 25959 692403 49223 | 230801 0 nan | 0.000 % | 229.92/230.00 c =============================================================================== 230.32/230.43 c core #128 230.32/230.43 c 230.32/230.43 c 230.32/230.43 c Core size: 508 Core Weight: 1 Total Weight: 147 230.32/230.43 c 230.32/230.43 c 230.32/230.43 c ============================[ Search Statistics ]============================== 230.32/230.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.32/230.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.32/230.43 c =============================================================================== 230.32/230.43 c | 0 | 26570 692882 50063 | 230960 0 nan | 0.000 % | 230.32/230.44 c =============================================================================== 230.72/230.87 c core #129 230.72/230.87 c 230.72/230.87 c 230.72/230.87 c Core size: 593 Core Weight: 1 Total Weight: 148 230.72/230.87 c 230.72/230.87 c 230.72/230.87 c ============================[ Search Statistics ]============================== 230.72/230.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.72/230.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.72/230.87 c =============================================================================== 230.72/230.87 c | 0 | 27167 693446 50923 | 231148 0 nan | 0.000 % | 230.83/230.91 c =============================================================================== 231.22/231.34 c core #130 231.22/231.34 c 231.22/231.34 c 231.22/231.34 c Core size: 1182 Core Weight: 1 Total Weight: 149 231.22/231.34 c 231.22/231.34 c 231.22/231.34 c ============================[ Search Statistics ]============================== 231.22/231.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.22/231.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.22/231.34 c =============================================================================== 231.22/231.34 c | 0 | 28356 694569 52491 | 231523 0 nan | 0.000 % | 231.32/231.47 c =============================================================================== 231.72/231.89 c core #131 231.72/231.89 c 231.72/231.89 c 231.72/231.89 c Core size: 1982 Core Weight: 1 Total Weight: 150 231.72/231.89 c 231.72/231.89 c 231.72/231.89 c ============================[ Search Statistics ]============================== 231.72/231.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.72/231.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.72/231.89 c =============================================================================== 231.72/231.89 c | 0 | 30335 696478 54873 | 232159 0 nan | 0.000 % | 232.31/232.43 c =============================================================================== 232.81/232.91 c core #132 232.81/232.91 c 232.81/232.91 c 232.81/232.91 c Core size: 5214 Core Weight: 1 Total Weight: 151 232.81/232.91 c 232.81/232.91 c 232.81/232.91 c ============================[ Search Statistics ]============================== 232.81/232.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.81/232.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.81/232.91 c =============================================================================== 232.81/232.91 c | 0 | 35682 701466 61454 | 233822 0 nan | 0.000 % | 232.92/233.06 c | 103 | 35681 701466 61454 | 257204 102 1460 | 21.025 % | 234.01/234.16 c =============================================================================== 234.51/234.61 c core #133 234.51/234.61 c 234.51/234.61 c 234.51/234.61 c Core size: 6968 Core Weight: 1 Total Weight: 152 234.51/234.61 c 234.51/234.61 c 234.51/234.61 c ============================[ Search Statistics ]============================== 234.51/234.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.51/234.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.51/234.61 c =============================================================================== 234.51/234.61 c | 0 | 42710 707934 70748 | 235978 0 nan | 0.000 % | 234.62/234.75 c | 100 | 42710 707934 70748 | 259575 100 866 | 18.075 % | 234.92/235.04 c | 251 | 42707 707934 70748 | 285533 247 1009 | 18.081 % | 235.32/235.41 c | 477 | 42706 707934 70748 | 314086 471 1083 | 18.083 % | 236.42/236.57 c =============================================================================== 236.92/237.02 c core #134 236.92/237.02 c 236.92/237.02 c 236.92/237.02 c Core size: 7145 Core Weight: 1 Total Weight: 153 236.92/237.02 c 236.92/237.02 c 236.92/237.02 c ============================[ Search Statistics ]============================== 236.92/237.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.92/237.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.92/237.02 c =============================================================================== 236.92/237.02 c | 0 | 49910 714459 80171 | 238153 0 nan | 0.000 % | 237.12/237.22 c | 103 | 49910 714459 80171 | 261968 103 555 | 15.792 % | 237.32/237.49 c | 253 | 49910 714459 80171 | 288165 253 498 | 15.792 % | 237.91/238.00 c | 479 | 49910 714459 80171 | 316981 479 612 | 15.792 % | 238.62/238.74 c | 816 | 49910 714459 80171 | 348679 816 768 | 15.792 % | 240.02/240.13 c | 1323 | 49910 714459 80171 | 383547 1323 1157 | 15.792 % | 241.92/242.08 c | 2082 | 49909 714459 80171 | 421902 2077 1292 | 15.794 % | 245.82/245.94 c | 3224 | 49909 714459 80171 | 464092 3219 1878 | 15.794 % | 251.72/251.87 c | 4933 | 49908 714459 80171 | 510502 4925 2123 | 15.796 % | 263.92/264.07 c | 7495 | 49908 714459 80171 | 561552 7487 2997 | 15.796 % | 279.81/279.97 c =============================================================================== 280.41/280.53 c core #135 280.41/280.53 c 280.41/280.53 c 280.41/280.53 c Core size: 10084 Core Weight: 1 Total Weight: 154 280.41/280.53 c 280.41/280.53 c 280.41/280.53 c ============================[ Search Statistics ]============================== 280.41/280.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 280.41/280.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 280.41/280.53 c =============================================================================== 280.41/280.53 c | 0 | 60060 723145 94687 | 241048 0 nan | 0.000 % | 280.61/280.74 c | 101 | 60060 723145 94687 | 265153 101 684 | 13.356 % | 281.11/281.21 c | 251 | 60060 723145 94687 | 291668 251 565 | 13.356 % | 282.20/282.38 c | 476 | 60060 723145 94687 | 320835 476 631 | 13.356 % | 283.40/283.51 c | 816 | 60060 723145 94687 | 352918 816 651 | 13.356 % | 285.00/285.17 c | 1323 | 60060 723145 94687 | 388210 1323 688 | 13.356 % | 288.01/288.16 c | 2082 | 60060 723145 94687 | 427031 2082 782 | 13.356 % | 293.20/293.31 c | 3223 | 60060 723145 94687 | 469735 3223 992 | 13.356 % | 299.80/299.93 c | 4932 | 60060 723145 94687 | 516708 4932 1051 | 13.356 % | 313.10/313.23 c | 7495 | 60060 723145 94687 | 568379 7495 1402 | 13.356 % | 327.80/327.98 c | 11339 | 60060 723145 94687 | 625217 11339 1252 | 13.356 % | 355.28/355.41 c | 17106 | 60060 723145 94687 | 687739 17106 1352 | 13.356 % | 399.88/400.00 c | 25755 | 60060 723145 94687 | 756512 25755 1538 | 13.356 % | 493.05/493.26 c | 38732 | 60059 723145 94687 | 832164 38718 2046 | 13.357 % | 656.91/657.15 c | 58194 | 60059 723145 94687 | 915380 58180 2347 | 13.357 % | 1031.74/1032.30 c | 87386 | 60059 723145 94687 | 1006918 87372 3405 | 13.357 % |
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-2680572-1277451715/watcher-2680572-1277451715 -o /tmp/evaluation-result-2680572-1277451715/solver-2680572-1277451715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680572-1277451715.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.00 0.00 0.00 3/106 28271 /proc/meminfo: memFree=1048088/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=20280 CPUtime=0 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 468 0 0 0 0 0 0 0 18 0 1 0 86462580 20766720 386 1992294400 134512640 135752675 4294415920 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 5070 386 137 303 0 557 0 [startup+0.0550241 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28271 /proc/meminfo: memFree=1048088/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=21592 CPUtime=0.05 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 836 0 0 0 5 0 0 0 21 0 1 0 86462580 22110208 754 1992294400 134512640 135752675 4294415920 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 5398 754 212 303 0 885 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 21592 [startup+0.101028 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28271 /proc/meminfo: memFree=1048088/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=22224 CPUtime=0.09 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 1070 0 0 0 9 0 0 0 21 0 1 0 86462580 22757376 988 1992294400 134512640 135752675 4294415920 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 5556 988 283 303 0 1043 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22224 [startup+0.301047 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28271 /proc/meminfo: memFree=1048088/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=24700 CPUtime=0.29 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 1949 0 0 0 29 0 0 0 21 0 1 0 86462580 25292800 1867 1992294400 134512640 135752675 4294415920 18446744073709551615 135225911 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 6175 1867 566 303 0 1662 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24700 [startup+0.701086 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28271 /proc/meminfo: memFree=1048088/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=28712 CPUtime=0.69 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 3461 0 0 0 68 1 0 0 22 0 1 0 86462580 29401088 3379 1992294400 134512640 135752675 4294415920 18446744073709551615 135096984 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 7178 3379 1110 303 0 2665 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28712 [startup+1.50116 s] /proc/loadavg: 0.00 0.00 0.00 2/107 28272 /proc/meminfo: memFree=1036052/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=36852 CPUtime=1.49 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 6482 0 0 0 147 2 0 0 25 0 1 0 86462580 37736448 6400 1992294400 134512640 135752675 4294415920 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 9213 6400 2189 303 0 4700 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36852 [startup+3.10132 s] /proc/loadavg: 0.16 0.03 0.01 2/107 28272 /proc/meminfo: memFree=1024024/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=41568 CPUtime=3.09 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 14737 0 0 0 304 5 0 0 25 0 1 0 86462580 42565632 9451 1992294400 134512640 135752675 4294415920 18446744073709551615 134697724 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 10392 9452 140 303 0 10087 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 41568 [startup+6.30163 s] /proc/loadavg: 0.16 0.03 0.01 2/107 28272 /proc/meminfo: memFree=970208/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=81064 CPUtime=6.29 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 24628 0 0 0 619 10 0 0 25 0 1 0 86462580 83009536 19342 1992294400 134512640 135752675 4294415920 18446744073709551615 135200859 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 20266 19342 141 303 0 19961 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81064 [startup+12.7013 s] /proc/loadavg: 0.31 0.07 0.02 2/107 28272 /proc/meminfo: memFree=970332/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=81064 CPUtime=12.68 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 24638 0 0 0 1249 19 0 0 25 0 1 0 86462580 83009536 19352 1992294400 134512640 135752675 4294415920 18446744073709551615 134605375 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 20266 19352 145 303 0 19961 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 81064 [startup+25.5005 s] /proc/loadavg: 0.46 0.11 0.04 2/107 28272 /proc/meminfo: memFree=970704/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=81064 CPUtime=25.49 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 24638 0 0 0 2517 32 0 0 25 0 1 0 86462580 83009536 19352 1992294400 134512640 135752675 4294415920 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 20266 19352 145 303 0 19961 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 81064 [startup+51.101 s] /proc/loadavg: 0.64 0.18 0.06 2/107 28272 /proc/meminfo: memFree=914284/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=138696 CPUtime=51.06 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 39026 0 0 0 5061 45 0 0 25 0 1 0 86462580 142024704 33740 1992294400 134512640 135752675 4294415920 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 34674 33740 145 303 0 34369 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 138696 [startup+102.308 s] /proc/loadavg: 0.86 0.32 0.11 2/107 28274 /proc/meminfo: memFree=797352/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=254716 CPUtime=102.25 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 68038 0 0 0 10157 68 0 0 25 0 1 0 86462580 260829184 62752 1992294400 134512640 135752675 4294415920 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 63679 62752 145 303 0 63374 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 254716 [startup+162.301 s] /proc/loadavg: 0.94 0.43 0.16 2/107 28276 /proc/meminfo: memFree=680916/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=371948 CPUtime=162.24 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 97323 0 0 0 16137 87 0 0 25 0 1 0 86462580 380874752 92037 1992294400 134512640 135752675 4294415920 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 92987 92037 145 303 0 92682 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 371948 [startup+222.301 s] /proc/loadavg: 1.04 0.55 0.22 2/107 28278 /proc/meminfo: memFree=629580/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=420672 CPUtime=222.22 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 111221 0 0 0 22121 101 0 0 25 0 1 0 86462580 430768128 104392 1992294400 134512640 135752675 4294415920 18446744073709551615 135211746 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 105168 104392 146 303 0 104863 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 420672 [startup+282.3 s] /proc/loadavg: 1.01 0.63 0.26 2/107 28278 /proc/meminfo: memFree=629580/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=420672 CPUtime=282.2 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 111259 0 0 0 28107 113 0 0 25 0 1 0 86462580 430768128 104430 1992294400 134512640 135752675 4294415920 18446744073709551615 134605026 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 105168 104430 146 303 0 104863 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 420672 [startup+342.301 s] /proc/loadavg: 1.00 0.69 0.30 2/107 28280 /proc/meminfo: memFree=629580/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=420672 CPUtime=342.19 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 111259 0 0 0 34096 123 0 0 25 0 1 0 86462580 430768128 104430 1992294400 134512640 135752675 4294415920 18446744073709551615 134605169 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 105168 104430 146 303 0 104863 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 420672 [startup+402.301 s] /proc/loadavg: 1.00 0.74 0.35 2/107 28282 /proc/meminfo: memFree=629580/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=420672 CPUtime=402.18 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 111259 0 0 0 40086 132 0 0 25 0 1 0 86462580 430768128 104430 1992294400 134512640 135752675 4294415920 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 105168 104430 146 303 0 104863 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 420672 [startup+462.301 s] /proc/loadavg: 1.00 0.79 0.38 2/107 28284 /proc/meminfo: memFree=629580/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=420672 CPUtime=462.16 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 111259 0 0 0 46077 139 0 0 25 0 1 0 86462580 430768128 104430 1992294400 134512640 135752675 4294415920 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 105168 104430 146 303 0 104863 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 420672 [startup+522.301 s] /proc/loadavg: 1.00 0.82 0.42 2/107 28286 /proc/meminfo: memFree=570804/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=481096 CPUtime=522.14 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 126336 0 0 0 52063 151 0 0 25 0 1 0 86462580 492642304 119507 1992294400 134512640 135752675 4294415920 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 120274 119507 146 303 0 119969 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 481096 [startup+582.3 s] /proc/loadavg: 1.00 0.85 0.45 2/107 28286 /proc/meminfo: memFree=478176/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=572392 CPUtime=582.13 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 149145 0 0 0 58045 168 0 0 25 0 1 0 86462580 586129408 142316 1992294400 134512640 135752675 4294415920 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 143098 142316 146 303 0 142793 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 572392 [startup+642.3 s] /proc/loadavg: 1.00 0.88 0.49 2/107 28288 /proc/meminfo: memFree=392864/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=657296 CPUtime=642.12 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 170367 0 0 0 64030 182 0 0 25 0 1 0 86462580 673071104 163538 1992294400 134512640 135752675 4294415920 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 164324 163538 146 303 0 164019 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 657296 [startup+702.301 s] /proc/loadavg: 1.00 0.90 0.51 2/107 28290 /proc/meminfo: memFree=311396/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=740084 CPUtime=702.1 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 191062 0 0 0 70013 197 0 0 25 0 1 0 86462580 757846016 184233 1992294400 134512640 135752675 4294415920 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 185021 184233 146 303 0 184716 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 740084 [startup+762.308 s] /proc/loadavg: 1.00 0.91 0.54 2/107 28292 /proc/meminfo: memFree=179212/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=870912 CPUtime=762.09 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 223770 0 0 0 75994 215 0 0 25 0 1 0 86462580 891813888 216941 1992294400 134512640 135752675 4294415920 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 217728 216941 146 303 0 217423 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 870912 [startup+822.301 s] /proc/loadavg: 1.00 0.93 0.57 2/107 28294 /proc/meminfo: memFree=71208/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=979880 CPUtime=822.07 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 250995 0 0 0 81978 229 0 0 25 0 1 0 86462580 1003397120 244166 1992294400 134512640 135752675 4294415920 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 244970 244166 146 303 0 244665 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 979880 [startup+882.301 s] /proc/loadavg: 1.00 0.94 0.59 2/107 28294 /proc/meminfo: memFree=9944/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1079740 CPUtime=881.97 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 275964 0 0 0 87955 242 0 0 25 0 1 0 86462580 1105653760 269135 1992294400 134512640 135752675 4294415920 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 269935 269135 146 303 0 269630 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 1079740 [startup+942.301 s] /proc/loadavg: 1.00 0.95 0.61 2/107 28296 /proc/meminfo: memFree=9744/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1167984 CPUtime=941.84 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 298044 0 0 0 93930 254 0 0 25 0 1 0 86462580 1196015616 291215 1992294400 134512640 135752675 4294415920 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/28271/statm: 291996 291215 146 303 0 291691 0 Current children cumulated CPU time (s) 941.84 Current children cumulated vsize (KiB) 1167984 [startup+1002.3 s] /proc/loadavg: 1.00 0.95 0.64 2/107 28298 /proc/meminfo: memFree=9492/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1257660 CPUtime=1001.76 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 320457 0 0 0 99911 265 0 0 25 0 1 0 86462580 1287843840 313628 1992294400 134512640 135752675 4294415920 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 314415 313628 146 303 0 314110 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 1257660 [startup+1062.3 s] /proc/loadavg: 1.09 0.99 0.66 2/107 28300 /proc/meminfo: memFree=10364/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1346496 CPUtime=1061.71 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 342662 0 0 0 105895 276 0 0 25 0 1 0 86462580 1378811904 335833 1992294400 134512640 135752675 4294415920 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 336624 335833 146 303 0 336319 0 Current children cumulated CPU time (s) 1061.71 Current children cumulated vsize (KiB) 1346496 [startup+1122.3 s] /proc/loadavg: 1.03 0.99 0.68 2/107 28302 /proc/meminfo: memFree=9524/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1439072 CPUtime=1121.64 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 365785 0 0 0 111875 289 0 0 25 0 1 0 86462580 1473609728 358956 1992294400 134512640 135752675 4294415920 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 359768 358956 146 303 0 359463 0 Current children cumulated CPU time (s) 1121.64 Current children cumulated vsize (KiB) 1439072 [startup+1182.3 s] /proc/loadavg: 1.01 0.99 0.70 2/107 28311 /proc/meminfo: memFree=10336/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1531380 CPUtime=1181.56 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 388861 0 0 0 117855 301 0 0 25 0 1 0 86462580 1568133120 382032 1992294400 134512640 135752675 4294415920 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 382845 382032 146 303 0 382540 0 Current children cumulated CPU time (s) 1181.56 Current children cumulated vsize (KiB) 1531380 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.72 2/107 28313 /proc/meminfo: memFree=10244/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1629036 CPUtime=1241.49 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 413272 0 0 0 123837 312 0 0 25 0 1 0 86462580 1668132864 406443 1992294400 134512640 135752675 4294415920 18446744073709551615 134605044 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 407259 406443 146 303 0 406954 0 Current children cumulated CPU time (s) 1241.49 Current children cumulated vsize (KiB) 1629036 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.73 2/107 28315 /proc/meminfo: memFree=10692/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1719004 CPUtime=1301.33 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 435746 0 0 0 129808 325 0 0 25 0 1 0 86462580 1760260096 428917 1992294400 134512640 135752675 4294415920 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 429751 428917 146 303 0 429446 0 Current children cumulated CPU time (s) 1301.33 Current children cumulated vsize (KiB) 1719004 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.74 2/107 28317 /proc/meminfo: memFree=9608/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1785640 CPUtime=1361.18 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 452402 0 0 0 135785 333 0 0 25 0 1 0 86462580 1828495360 445573 1992294400 134512640 135752675 4294415920 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 446410 445573 146 303 0 446105 0 Current children cumulated CPU time (s) 1361.18 Current children cumulated vsize (KiB) 1785640 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1419.7 s] /proc/loadavg: 1.00 0.99 0.76 2/107 28319 /proc/meminfo: memFree=10208/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=1843336 CPUtime=1418.38 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4202496 466816 0 0 0 141497 341 0 0 25 0 1 0 86462580 1887576064 459987 1992294400 134512640 135752675 4294415920 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28271/statm: 460834 459987 146 303 0 460529 0 Current children cumulated CPU time (s) 1418.38 Current children cumulated vsize (KiB) 1843336 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1419.81 s] /proc/loadavg: 1.00 0.99 0.76 2/107 28319 /proc/meminfo: memFree=10208/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=0 CPUtime=1418.48 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4203524 466816 0 0 0 141497 351 0 0 25 0 1 0 86462580 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28271/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1418.48 Current children cumulated vsize (KiB) 0 [startup+1419.9 s] /proc/loadavg: 1.00 0.99 0.76 2/107 28319 /proc/meminfo: memFree=10208/2059040 swapFree=4140600/4192956 [pid=28271] ppid=28269 vsize=0 CPUtime=1418.57 /proc/28271/stat : 28271 (wbo1.4b) R 28269 28271 28217 0 -1 4203524 466816 0 0 0 141497 360 0 0 25 0 1 0 86462580 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28271/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1418.57 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1419.9 CPU time (s): 1418.59 CPU user time (s): 1414.98 CPU system time (s): 3.60545 CPU usage (%): 99.9072 Max. virtual memory (cumulated for all children) (KiB): 1843336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1414.98 system time used= 3.60545 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466816 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= 9 involuntary context switches= 10600 runsolver used 2.51162 second user time and 6.567 second system time The end
Begin job on node056 at 2010-06-25 09:41:56 IDJOB=2680572 IDBENCH=1963 IDSOLVER=1190 FILE ID=node056/2680572-1277451715 PBS_JOBID= 11188113 Free space on /tmp= 98416 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680572-1277451715/watcher-2680572-1277451715 -o /tmp/evaluation-result-2680572-1277451715/solver-2680572-1277451715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680572-1277451715.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED=795713866 node056.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.215 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.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1048616 kB Buffers: 218948 kB Cached: 675672 kB SwapCached: 5880 kB Active: 424344 kB Inactive: 483660 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1048616 kB SwapTotal: 4192956 kB SwapFree: 4140600 kB Dirty: 19496 kB Writeback: 0 kB AnonPages: 11904 kB Mapped: 11864 kB Slab: 80440 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180512 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= 98412 MiB End job on node056 at 2010-06-25 10:05:38