Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1415.02 | 1415.59 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655929-1276374641.opb. 0.00/0.00 c Instance file HOME/instance-2655929-1276374641.opb 0.00/0.00 c File size is 17233622 bytes. 2.58/2.62 c Highest Coefficient sum: 101 2.58/2.63 c ============================[ Problem Statistics ]============================= 2.58/2.63 c | | 2.58/2.63 c | Parsing time: 2.59 s | 2.58/2.63 c | Number Variables: 10000 | 2.58/2.63 c | Number Clauses: 656900 | 2.58/2.63 c | Number Cardinality: 0 | 2.58/2.63 c | Number PB Constraints: 0 | 6.09/6.10 c ============================[ Search Statistics ]============================== 6.09/6.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.10 c =============================================================================== 6.09/6.10 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.09/6.18 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.30 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.60/6.61 c =============================================================================== 6.60/6.61 c New solution: 6899 6.60/6.61 o 6899 6.60/6.61 c Elapsed CPU time: 6.51101 s Remaining CPU time: 173.489 s 6.60/6.61 c =============================================================================== 6.60/6.61 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.88/6.91 c =============================================================================== 6.88/6.91 c New solution: 6360 6.88/6.91 o 6360 6.88/6.91 c Elapsed CPU time: 6.80597 s Remaining CPU time: 173.194 s 6.88/6.91 c =============================================================================== 6.88/6.91 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 6.99/7.03 c | 391 | 10000 656902 1353400 | 240864 391 1129 | 0.000 % | 7.08/7.16 c | 541 | 10000 656902 1353400 | 264950 541 1029 | 0.000 % | 7.39/7.49 c =============================================================================== 7.39/7.49 c New solution: 6357 7.39/7.49 o 6357 7.39/7.49 c Elapsed CPU time: 7.36688 s Remaining CPU time: 172.633 s 7.39/7.49 c =============================================================================== 7.39/7.49 c | 577 | 10000 656903 1363400 | 218967 577 998 | 0.000 % | 7.48/7.57 c | 677 | 10000 656903 1363400 | 240864 677 992 | 0.000 % | 7.70/7.74 c | 828 | 10000 656903 1363400 | 264950 828 928 | 0.000 % | 7.99/8.05 c =============================================================================== 7.99/8.05 c New solution: 6282 7.99/8.05 o 6282 7.99/8.05 c Elapsed CPU time: 7.9138 s Remaining CPU time: 172.086 s 7.99/8.05 c =============================================================================== 7.99/8.05 c | 830 | 10000 656904 1373400 | 218968 830 926 | 0.000 % | 8.08/8.18 c | 930 | 10000 656904 1373400 | 240864 930 900 | 0.000 % | 8.29/8.36 c | 1080 | 10000 656904 1373400 | 264951 1080 868 | 0.000 % | 8.49/8.59 c | 1306 | 10000 656904 1373400 | 291446 1306 865 | 0.000 % | 8.89/8.93 c | 1643 | 10000 656904 1373400 | 320591 1643 833 | 0.000 % | 9.38/9.40 c | 2149 | 10000 656904 1373400 | 352650 2149 880 | 0.000 % | 10.09/10.10 c =============================================================================== 10.09/10.10 c New solution: 6280 10.09/10.10 o 6280 10.09/10.10 c Elapsed CPU time: 9.93349 s Remaining CPU time: 170.067 s 10.09/10.10 c =============================================================================== 10.09/10.10 c | 2542 | 10000 656905 1383400 | 218968 2542 894 | 0.000 % | 10.39/10.40 c =============================================================================== 10.39/10.40 c New solution: 6095 10.39/10.40 o 6095 10.39/10.40 c Elapsed CPU time: 10.2384 s Remaining CPU time: 169.762 s 10.39/10.40 c =============================================================================== 10.39/10.40 c | 2548 | 10000 656906 1393400 | 218968 2548 893 | 0.000 % | 10.48/10.53 c | 2648 | 10000 656906 1393400 | 240865 2648 887 | 0.000 % | 10.69/10.73 c | 2799 | 10000 656906 1393400 | 264952 2799 870 | 0.000 % | 10.89/10.97 c | 3026 | 10000 656906 1393400 | 291447 3026 887 | 0.000 % | 11.29/11.35 c =============================================================================== 11.29/11.35 c New solution: 6079 11.29/11.35 o 6079 11.29/11.35 c Elapsed CPU time: 11.1683 s Remaining CPU time: 168.832 s 11.29/11.35 c =============================================================================== 11.29/11.35 c | 3110 | 10000 656907 1403400 | 218969 3110 884 | 0.000 % | 11.39/11.46 c | 3210 | 10000 656907 1403400 | 240865 3210 892 | 0.000 % | 11.58/11.68 c | 3361 | 10000 656907 1403400 | 264952 3361 888 | 0.000 % | 11.88/11.93 c | 3586 | 10000 656907 1403400 | 291447 3586 901 | 0.000 % | 12.59/12.60 c =============================================================================== 12.59/12.60 c New solution: 6071 12.59/12.60 o 6071 12.59/12.60 c Elapsed CPU time: 12.4041 s Remaining CPU time: 167.596 s 12.59/12.60 c =============================================================================== 12.59/12.60 c | 3901 | 10000 656908 1413400 | 218969 3901 902 | 0.000 % | 12.69/12.71 c | 4001 | 10000 656908 1413400 | 240866 4001 905 | 0.000 % | 12.89/12.93 c | 4151 | 10000 656908 1413400 | 264952 4151 894 | 0.000 % | 13.09/13.14 c | 4376 | 10000 656908 1413400 | 291448 4376 896 | 0.000 % | 13.58/13.65 c | 4713 | 10000 656908 1413400 | 320593 4713 882 | 0.000 % | 14.19/14.25 c | 5219 | 10000 656908 1413400 | 352652 5219 855 | 0.000 % | 14.98/15.04 c | 5981 | 10000 656908 1413400 | 387917 5981 822 | 0.000 % | 15.98/16.02 c =============================================================================== 15.98/16.02 c New solution: 6061 15.98/16.02 o 6061 15.98/16.02 c Elapsed CPU time: 15.7906 s Remaining CPU time: 164.209 s 15.98/16.02 c =============================================================================== 15.98/16.02 c | 6434 | 10000 656909 1423400 | 218969 6434 816 | 0.000 % | 16.08/16.19 c | 6535 | 10000 656909 1423400 | 240866 6535 812 | 0.000 % | 16.39/16.41 c | 6685 | 10000 656909 1423400 | 264953 6685 811 | 0.000 % | 16.68/16.74 c | 6911 | 10000 656909 1423400 | 291448 6911 803 | 0.000 % | 17.18/17.29 c | 7250 | 10000 656909 1423400 | 320593 7250 797 | 0.000 % | 17.88/17.94 c | 7756 | 10000 656909 1423400 | 352652 7756 826 | 0.000 % | 18.88/18.98 c | 8515 | 10000 656909 1423400 | 387918 8515 841 | 0.000 % | 19.18/19.29 c =============================================================================== 19.18/19.29 c New solution: 6056 19.18/19.29 o 6056 19.18/19.29 c Elapsed CPU time: 19.0311 s Remaining CPU time: 160.969 s 19.18/19.29 c =============================================================================== 19.18/19.29 c | 8521 | 10000 656910 1433400 | 218970 8521 841 | 0.000 % | 19.38/19.48 c | 8622 | 10000 656910 1433400 | 240867 8622 837 | 0.000 % | 19.68/19.79 c =============================================================================== 19.68/19.79 c New solution: 5663 19.68/19.79 o 5663 19.68/19.79 c Elapsed CPU time: 19.525 s Remaining CPU time: 160.475 s 19.68/19.79 c =============================================================================== 19.68/19.79 c | 8622 | 10000 656911 1443400 | 218970 8622 837 | 0.000 % | 19.88/19.91 c | 8722 | 10000 656911 1443400 | 240867 8722 835 | 0.000 % | 20.08/20.11 c | 8873 | 10000 656911 1443400 | 264954 8873 828 | 0.000 % | 20.38/20.41 c | 9098 | 10000 656911 1443400 | 291449 9098 824 | 0.000 % | 20.78/20.88 c | 9435 | 10000 656911 1443400 | 320594 9435 821 | 0.000 % | 21.38/21.47 c | 9942 | 10000 656911 1443400 | 352653 9942 808 | 0.000 % | 22.48/22.51 c | 10701 | 10000 656911 1443400 | 387919 10701 790 | 0.000 % | 24.28/24.32 c | 11842 | 10000 656911 1443400 | 426711 11842 766 | 0.000 % | 26.18/26.30 c | 13550 | 10000 656911 1443400 | 469382 13550 743 | 0.000 % | 29.59/29.69 c | 16112 | 10000 656911 1443400 | 516320 16112 809 | 0.000 % | 35.08/35.19 c | 19957 | 10000 656911 1443400 | 567952 19957 855 | 0.000 % | 42.46/42.50 c | 25724 | 10000 656911 1443400 | 624747 25724 823 | 0.000 % | 60.65/60.73 c | 34373 | 10000 656911 1443400 | 687222 34373 780 | 0.000 % | 79.75/79.83 c | 47348 | 10000 656911 1443400 | 755944 47348 746 | 0.000 % | 162.91/163.06 c =============================================================================== 162.91/163.06 c New solution: 5624 162.91/163.06 o 5624 162.91/163.06 c Elapsed CPU time: 162.148 s Remaining CPU time: 17.8517 s 162.91/163.06 c =============================================================================== 162.91/163.06 c | 63798 | 10000 656912 1453400 | 218970 63798 1297 | 0.000 % | 163.32/163.42 c | 63899 | 10000 656912 1453400 | 240867 63899 1297 | 0.000 % | 163.61/163.74 c | 64049 | 10000 656912 1453400 | 264954 64049 1296 | 0.000 % | 164.12/164.20 c | 64275 | 10000 656912 1453400 | 291449 64275 1294 | 0.000 % | 164.62/164.76 c | 64614 | 10000 656912 1453400 | 320594 64614 1290 | 0.000 % | 165.41/165.54 c | 65121 | 10000 656912 1453400 | 352654 65121 1286 | 0.000 % | 166.71/166.83 c | 65882 | 10000 656912 1453400 | 387919 65882 1278 | 0.000 % | 168.62/168.71 c | 67022 | 10000 656912 1453400 | 426711 67022 1267 | 0.000 % | 169.22/169.40 c =============================================================================== 169.22/169.40 c New solution: 5568 169.22/169.40 o 5568 169.22/169.40 c Elapsed CPU time: 168.431 s Remaining CPU time: 11.5686 s 169.22/169.40 c =============================================================================== 169.22/169.40 c | 67240 | 10000 656913 1463400 | 218971 67240 1266 | 0.000 % | 169.51/169.62 c | 67340 | 10000 656913 1463400 | 240868 67340 1265 | 0.000 % | 169.91/170.07 c | 67490 | 10000 656913 1463400 | 264954 67490 1264 | 0.000 % | 170.32/170.49 c | 67716 | 10000 656913 1463400 | 291450 67716 1262 | 0.000 % | 171.12/171.24 c | 68053 | 10000 656913 1463400 | 320595 68053 1259 | 0.000 % | 171.91/172.01 c | 68560 | 10000 656913 1463400 | 352654 68560 1254 | 0.000 % | 173.12/173.21 c | 69320 | 10000 656913 1463400 | 387920 69320 1245 | 0.000 % | 175.51/175.62 c | 70459 | 10000 656913 1463400 | 426712 70459 1236 | 0.000 % | 178.21/178.31 c | 72169 | 10000 656913 1463400 | 469383 72169 1228 | 0.000 % | 180.90/181.04 c There are 0 assigned variables. 0 in cost function. 229.99/230.15 c core #1 229.99/230.15 c core #2 229.99/230.15 c core #3 229.99/230.15 c core #4 229.99/230.15 c core #5 229.99/230.15 c core #6 229.99/230.15 c core #7 229.99/230.15 c core #8 229.99/230.15 c core #9 229.99/230.15 c core #10 229.99/230.15 c core #11 229.99/230.15 c core #12 229.99/230.15 c core #13 229.99/230.15 c core #14 229.99/230.15 c core #15 229.99/230.15 c core #16 229.99/230.15 c core #17 229.99/230.15 c core #18 229.99/230.15 c core #19 229.99/230.15 c core #20 229.99/230.15 c core #21 229.99/230.15 c core #22 229.99/230.15 c core #23 229.99/230.15 c core #24 229.99/230.15 c core #25 229.99/230.15 c core #26 229.99/230.15 c core #27 229.99/230.15 c core #28 229.99/230.15 c core #29 229.99/230.15 c core #30 229.99/230.15 c core #31 229.99/230.15 c core #32 229.99/230.15 c core #33 229.99/230.15 c core #34 229.99/230.15 c core #35 229.99/230.15 c core #36 229.99/230.15 c core #37 229.99/230.15 c core #38 229.99/230.15 c core #39 229.99/230.15 c core #40 229.99/230.15 c core #41 229.99/230.15 c core #42 229.99/230.15 c core #43 229.99/230.15 c core #44 229.99/230.15 c core #45 229.99/230.15 c core #46 229.99/230.15 c core #47 229.99/230.15 c core #48 229.99/230.15 c core #49 229.99/230.15 c core #50 229.99/230.15 c core #51 229.99/230.15 c core #52 229.99/230.15 c core #53 229.99/230.15 c core #54 229.99/230.15 c core #55 229.99/230.15 c core #56 229.99/230.15 c core #57 229.99/230.15 c core #58 229.99/230.15 c core #59 229.99/230.15 c core #60 229.99/230.15 c core #61 229.99/230.15 c core #62 229.99/230.15 c core #63 229.99/230.15 c core #64 229.99/230.15 c core #65 229.99/230.15 c core #66 229.99/230.15 c core #67 229.99/230.15 c core #68 229.99/230.15 c core #69 229.99/230.15 c core #70 229.99/230.15 c core #71 229.99/230.15 c core #72 229.99/230.15 c core #73 229.99/230.15 c core #74 229.99/230.15 c core #75 229.99/230.15 c core #76 229.99/230.15 c core #77 229.99/230.15 c core #78 229.99/230.15 c core #79 229.99/230.15 c core #80 229.99/230.15 c core #81 229.99/230.15 c core #82 229.99/230.15 c core #83 229.99/230.15 c core #84 229.99/230.15 c core #85 229.99/230.15 c core #86 229.99/230.15 c core #87 229.99/230.15 c core #88 229.99/230.15 c core #89 229.99/230.15 c core #90 229.99/230.15 c core #91 229.99/230.15 c core #92 229.99/230.15 c core #93 229.99/230.15 c core #94 229.99/230.16 c core #95 229.99/230.16 c core #96 229.99/230.16 c core #97 229.99/230.16 c core #98 229.99/230.16 c core #99 229.99/230.16 c core #100 229.99/230.16 c core #101 229.99/230.16 c core #102 229.99/230.16 c core #103 229.99/230.16 c core #104 229.99/230.16 c core #105 229.99/230.16 c core #106 229.99/230.16 c core #107 229.99/230.16 c core #108 229.99/230.16 c core #109 229.99/230.16 c core #110 229.99/230.16 c core #111 229.99/230.16 c core #112 229.99/230.16 c core #113 229.99/230.16 c core #114 229.99/230.16 c core #115 229.99/230.16 c core #116 229.99/230.16 c core #117 229.99/230.16 c core #118 229.99/230.16 c core #119 229.99/230.16 c core #120 229.99/230.16 c core #121 229.99/230.16 c core #122 229.99/230.16 c core #123 229.99/230.16 c core #124 229.99/230.16 c core #125 229.99/230.16 c core #126 229.99/230.16 c core #127 229.99/230.16 c ============================[ Search Statistics ]============================== 229.99/230.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.99/230.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.99/230.16 c =============================================================================== 229.99/230.16 c | 0 | 25959 692404 49223 | 230801 0 nan | 0.000 % | 229.99/230.16 c =============================================================================== 230.39/230.57 c core #128 230.39/230.57 c ============================[ Search Statistics ]============================== 230.39/230.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.39/230.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.39/230.57 c =============================================================================== 230.39/230.57 c | 0 | 26570 692883 50063 | 230961 0 nan | 0.000 % | 230.39/230.59 c =============================================================================== 230.80/231.00 c core #129 230.80/231.00 c ============================[ Search Statistics ]============================== 230.80/231.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.80/231.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.80/231.00 c =============================================================================== 230.80/231.00 c | 0 | 27167 693447 50923 | 231149 0 nan | 0.000 % | 230.90/231.05 c =============================================================================== 231.29/231.45 c core #130 231.29/231.45 c ============================[ Search Statistics ]============================== 231.29/231.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.29/231.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.29/231.45 c =============================================================================== 231.29/231.45 c | 0 | 28356 694570 52491 | 231523 0 nan | 0.000 % | 231.39/231.58 c =============================================================================== 231.90/232.01 c core #131 231.90/232.01 c ============================[ Search Statistics ]============================== 231.90/232.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.90/232.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.90/232.01 c =============================================================================== 231.90/232.01 c | 0 | 30335 696479 54873 | 232159 0 nan | 0.000 % | 232.38/232.57 c =============================================================================== 232.78/232.98 c core #132 232.78/232.98 c ============================[ Search Statistics ]============================== 232.78/232.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.78/232.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.78/232.98 c =============================================================================== 232.78/232.98 c | 0 | 35682 701467 61454 | 233822 0 nan | 0.000 % | 233.00/233.14 c | 103 | 35681 701467 61454 | 257204 102 1460 | 21.025 % | 234.10/234.26 c =============================================================================== 234.59/234.71 c core #133 234.59/234.71 c ============================[ Search Statistics ]============================== 234.59/234.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.59/234.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.59/234.71 c =============================================================================== 234.59/234.71 c | 0 | 42710 707935 70748 | 235978 0 nan | 0.000 % | 234.69/234.85 c | 100 | 42710 707935 70748 | 259576 100 866 | 18.075 % | 234.99/235.16 c | 251 | 42707 707935 70748 | 285533 247 1009 | 18.081 % | 235.38/235.53 c | 477 | 42706 707935 70748 | 314087 471 1083 | 18.083 % | 236.58/236.70 c =============================================================================== 236.98/237.15 c core #134 236.98/237.15 c ============================[ Search Statistics ]============================== 236.98/237.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.98/237.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.98/237.15 c =============================================================================== 236.98/237.15 c | 0 | 49910 714460 80171 | 238153 0 nan | 0.000 % | 237.19/237.36 c | 103 | 49910 714460 80171 | 261968 103 555 | 15.792 % | 237.49/237.62 c | 253 | 49910 714460 80171 | 288165 253 498 | 15.792 % | 237.98/238.13 c | 479 | 49910 714460 80171 | 316982 479 612 | 15.792 % | 238.69/238.87 c | 816 | 49910 714460 80171 | 348680 816 768 | 15.792 % | 240.08/240.25 c | 1323 | 49910 714460 80171 | 383548 1323 1157 | 15.792 % | 242.08/242.20 c | 2082 | 49909 714460 80171 | 421903 2077 1292 | 15.794 % | 245.88/246.05 c | 3224 | 49909 714460 80171 | 464093 3219 1878 | 15.794 % | 251.79/251.97 c | 4933 | 49908 714460 80171 | 510502 4925 2123 | 15.796 % | 263.98/264.14 c | 7495 | 49908 714460 80171 | 561553 7487 2997 | 15.796 % | 279.87/280.04 c =============================================================================== 280.47/280.61 c core #135 280.47/280.61 c ============================[ Search Statistics ]============================== 280.47/280.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 280.47/280.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 280.47/280.61 c =============================================================================== 280.47/280.61 c | 0 | 60060 723146 94687 | 241048 0 nan | 0.000 % | 280.67/280.82 c | 101 | 60060 723146 94687 | 265153 101 684 | 13.356 % | 281.07/281.29 c | 251 | 60060 723146 94687 | 291668 251 565 | 13.356 % | 282.27/282.46 c | 476 | 60060 723146 94687 | 320835 476 631 | 13.356 % | 283.37/283.59 c | 816 | 60060 723146 94687 | 352919 816 651 | 13.356 % | 285.07/285.25 c | 1323 | 60060 723146 94687 | 388211 1323 688 | 13.356 % | 288.08/288.25 c | 2082 | 60060 723146 94687 | 427032 2082 782 | 13.356 % | 293.27/293.40 c | 3223 | 60060 723146 94687 | 469735 3223 992 | 13.356 % | 299.87/300.02 c | 4932 | 60060 723146 94687 | 516709 4932 1051 | 13.356 % | 313.16/313.34 c | 7495 | 60060 723146 94687 | 568380 7495 1402 | 13.356 % | 327.95/328.10 c | 11339 | 60060 723146 94687 | 625218 11339 1252 | 13.356 % | 355.34/355.56 c | 17106 | 60060 723146 94687 | 687739 17106 1352 | 13.356 % | 399.92/400.14 c | 25755 | 60060 723146 94687 | 756513 25755 1538 | 13.356 % | 493.08/493.36 c | 38732 | 60059 723146 94687 | 832165 38718 2046 | 13.357 % | 656.71/657.00 c | 58194 | 60059 723146 94687 | 915381 58180 2347 | 13.357 % | 1032.77/1033.23 c | 87386 | 60059 723146 94687 | 1006920 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-2655929-1276374641/watcher-2655929-1276374641 -o /tmp/evaluation-result-2655929-1276374641/solver-2655929-1276374641 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655929-1276374641.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.92 0.98 0.99 3/106 14079 /proc/meminfo: memFree=1554800/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=19988 CPUtime=0 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 413 0 0 0 0 0 0 0 16 0 1 0 13065888 20467712 332 1992294400 134512640 135751879 4292680080 18446744073709551615 134613740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 4997 332 140 303 0 484 0 [startup+0.0363759 s] /proc/loadavg: 0.92 0.98 0.99 3/106 14079 /proc/meminfo: memFree=1554800/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=21300 CPUtime=0.03 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 745 0 0 0 3 0 0 0 16 0 1 0 13065888 21811200 664 1992294400 134512640 135751879 4292680080 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 5325 665 185 303 0 812 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21300 [startup+0.100389 s] /proc/loadavg: 0.92 0.98 0.99 3/106 14079 /proc/meminfo: memFree=1554800/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=22220 CPUtime=0.09 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 1094 0 0 0 9 0 0 0 16 0 1 0 13065888 22753280 1013 1992294400 134512640 135751879 4292680080 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 5555 1013 292 303 0 1042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22220 [startup+0.300432 s] /proc/loadavg: 0.92 0.98 0.99 3/106 14079 /proc/meminfo: memFree=1554800/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=24960 CPUtime=0.29 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 2072 0 0 0 29 0 0 0 17 0 1 0 13065888 25559040 1991 1992294400 134512640 135751879 4292680080 18446744073709551615 135225264 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 6240 1991 619 303 0 1727 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24960 [startup+0.700517 s] /proc/loadavg: 0.92 0.98 0.99 3/106 14079 /proc/meminfo: memFree=1554800/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=29764 CPUtime=0.69 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 3914 0 0 0 68 1 0 0 17 0 1 0 13065888 30478336 3833 1992294400 134512640 135751879 4292680080 18446744073709551615 135188051 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 7441 3833 1260 303 0 2928 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29764 [startup+1.50069 s] /proc/loadavg: 0.92 0.98 0.99 2/107 14080 /proc/meminfo: memFree=1540284/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=39356 CPUtime=1.49 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 7533 0 0 0 147 2 0 0 18 0 1 0 13065888 40300544 7452 1992294400 134512640 135751879 4292680080 18446744073709551615 135204118 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 9839 7453 2554 303 0 5326 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39356 [startup+3.10103 s] /proc/loadavg: 0.92 0.98 0.99 2/107 14080 /proc/meminfo: memFree=1527636/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=72452 CPUtime=3.09 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 22476 0 0 0 303 6 0 0 21 0 1 0 13065888 74190848 17191 1992294400 134512640 135751879 4292680080 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 18113 17192 143 303 0 17808 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 72452 [startup+6.30071 s] /proc/loadavg: 0.93 0.98 0.99 2/107 14080 /proc/meminfo: memFree=1477292/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=81060 CPUtime=6.29 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 24639 0 0 0 620 9 0 0 25 0 1 0 13065888 83005440 19354 1992294400 134512640 135751879 4292680080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81060 [startup+12.7011 s] /proc/loadavg: 0.93 0.98 0.99 2/107 14080 /proc/meminfo: memFree=1477168/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=81060 CPUtime=12.69 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 24639 0 0 0 1250 19 0 0 25 0 1 0 13065888 83005440 19354 1992294400 134512640 135751879 4292680080 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 20265 19354 147 303 0 19960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81060 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 0.99 2/107 14080 /proc/meminfo: memFree=1477168/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=81460 CPUtime=25.48 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 24730 0 0 0 2518 30 0 0 25 0 1 0 13065888 83415040 19445 1992294400 134512640 135751879 4292680080 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 20365 19445 147 303 0 20060 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81460 [startup+51.1002 s] /proc/loadavg: 0.96 0.98 0.99 2/107 14080 /proc/meminfo: memFree=1419508/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=139620 CPUtime=51.06 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 39250 0 0 0 5064 42 0 0 25 0 1 0 13065888 142970880 33965 1992294400 134512640 135751879 4292680080 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 34905 33965 147 303 0 34600 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 139620 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 3/107 14082 /proc/meminfo: memFree=1300964/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=257664 CPUtime=102.25 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 68780 0 0 0 10161 64 0 0 25 0 1 0 13065888 263847936 63495 1992294400 134512640 135751879 4292680080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 64416 63495 147 303 0 64111 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 257664 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14084 /proc/meminfo: memFree=1185768/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=372904 CPUtime=162.22 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 97576 0 0 0 16139 83 0 0 25 0 1 0 13065888 381853696 92291 1992294400 134512640 135751879 4292680080 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 93226 92291 147 303 0 92921 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 372904 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14086 /proc/meminfo: memFree=1134556/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=422368 CPUtime=222.2 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 111648 0 0 0 22122 98 0 0 25 0 1 0 13065888 432504832 104820 1992294400 134512640 135751879 4292680080 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 105592 104820 150 303 0 105287 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 422368 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14086 /proc/meminfo: memFree=1134432/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=422368 CPUtime=282.17 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 111687 0 0 0 28108 109 0 0 25 0 1 0 13065888 432504832 104859 1992294400 134512640 135751879 4292680080 18446744073709551615 134607674 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 105592 104859 151 303 0 105287 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 422368 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14088 /proc/meminfo: memFree=1134308/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=422368 CPUtime=342.14 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 111687 0 0 0 34096 118 0 0 25 0 1 0 13065888 432504832 104859 1992294400 134512640 135751879 4292680080 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 105592 104859 151 303 0 105287 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 422368 [startup+402.301 s] /proc/loadavg: 1.07 1.00 1.00 2/107 14090 /proc/meminfo: memFree=1134308/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=422368 CPUtime=402.12 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 111687 0 0 0 40085 127 0 0 25 0 1 0 13065888 432504832 104859 1992294400 134512640 135751879 4292680080 18446744073709551615 134606367 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 105592 104859 151 303 0 105287 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 422368 [startup+462.301 s] /proc/loadavg: 1.10 1.02 1.00 2/107 14092 /proc/meminfo: memFree=1134184/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=422368 CPUtime=462.1 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 111687 0 0 0 46077 133 0 0 25 0 1 0 13065888 432504832 104859 1992294400 134512640 135751879 4292680080 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 105592 104859 151 303 0 105287 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 422368 [startup+522.302 s] /proc/loadavg: 1.22 1.06 1.02 2/107 14094 /proc/meminfo: memFree=1072060/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=486444 CPUtime=522.07 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 127671 0 0 0 52061 146 0 0 25 0 1 0 13065888 498118656 120843 1992294400 134512640 135751879 4292680080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 121611 120843 151 303 0 121306 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 486444 [startup+582.301 s] /proc/loadavg: 1.14 1.06 1.01 2/107 14094 /proc/meminfo: memFree=979432/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=577740 CPUtime=582.05 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 150498 0 0 0 58041 164 0 0 25 0 1 0 13065888 591605760 143670 1992294400 134512640 135751879 4292680080 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 144435 143670 151 303 0 144130 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 577740 [startup+642.301 s] /proc/loadavg: 1.11 1.06 1.01 2/107 14096 /proc/meminfo: memFree=893996/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=662676 CPUtime=642.03 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 171721 0 0 0 64025 178 0 0 25 0 1 0 13065888 678580224 164893 1992294400 134512640 135751879 4292680080 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 165669 164893 151 303 0 165364 0 Current children cumulated CPU time (s) 642.03 Current children cumulated vsize (KiB) 662676 [startup+702.301 s] /proc/loadavg: 1.09 1.06 1.01 2/107 14098 /proc/meminfo: memFree=812032/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=746312 CPUtime=702 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 192624 0 0 0 70007 193 0 0 25 0 1 0 13065888 764223488 185796 1992294400 134512640 135751879 4292680080 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 186578 185796 151 303 0 186273 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 746312 [startup+762.308 s] /proc/loadavg: 1.08 1.06 1.01 2/107 14100 /proc/meminfo: memFree=679476/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=876784 CPUtime=761.98 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 225252 0 0 0 75987 211 0 0 25 0 1 0 13065888 897826816 218424 1992294400 134512640 135751879 4292680080 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 219196 218424 151 303 0 218891 0 Current children cumulated CPU time (s) 761.98 Current children cumulated vsize (KiB) 876784 [startup+822.301 s] /proc/loadavg: 1.07 1.06 1.01 2/107 14102 /proc/meminfo: memFree=571720/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=985736 CPUtime=821.95 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 252485 0 0 0 81969 226 0 0 25 0 1 0 13065888 1009393664 245657 1992294400 134512640 135751879 4292680080 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 246434 245657 151 303 0 246129 0 Current children cumulated CPU time (s) 821.95 Current children cumulated vsize (KiB) 985736 [startup+882.301 s] /proc/loadavg: 1.11 1.08 1.02 2/107 14102 /proc/meminfo: memFree=471652/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1084204 CPUtime=881.93 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 277112 0 0 0 87952 241 0 0 25 0 1 0 13065888 1110224896 270284 1992294400 134512640 135751879 4292680080 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 271051 270284 151 303 0 270746 0 Current children cumulated CPU time (s) 881.93 Current children cumulated vsize (KiB) 1084204 [startup+942.301 s] /proc/loadavg: 1.04 1.06 1.01 2/107 14104 /proc/meminfo: memFree=383984/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1172300 CPUtime=941.91 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 299132 0 0 0 93938 253 0 0 25 0 1 0 13065888 1200435200 292304 1992294400 134512640 135751879 4292680080 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 293075 292304 151 303 0 292770 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1172300 [startup+1002.3 s] /proc/loadavg: 1.01 1.05 1.01 2/107 14106 /proc/meminfo: memFree=294084/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1261668 CPUtime=1001.88 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 321479 0 0 0 99925 263 0 0 25 0 1 0 13065888 1291948032 314651 1992294400 134512640 135751879 4292680080 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 315417 314651 151 303 0 315112 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1261668 [startup+1062.3 s] /proc/loadavg: 1.00 1.04 1.00 2/107 14108 /proc/meminfo: memFree=206540/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1349832 CPUtime=1061.85 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 343519 0 0 0 105910 275 0 0 25 0 1 0 13065888 1382227968 336691 1992294400 134512640 135751879 4292680080 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 337458 336691 151 303 0 337153 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 1349832 [startup+1122.3 s] /proc/loadavg: 1.04 1.04 1.00 2/107 14110 /proc/meminfo: memFree=112424/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1443100 CPUtime=1121.83 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 366794 0 0 0 111897 286 0 0 25 0 1 0 13065888 1477734400 359966 1992294400 134512640 135751879 4292680080 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 360775 359966 151 303 0 360470 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1443100 [startup+1182.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 14110 /proc/meminfo: memFree=19548/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1536320 CPUtime=1181.81 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 390086 0 0 0 117882 299 0 0 25 0 1 0 13065888 1573191680 383258 1992294400 134512640 135751879 4292680080 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 384080 383258 151 303 0 383775 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 1536320 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 14112 /proc/meminfo: memFree=9200/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1633068 CPUtime=1241.79 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 414274 0 0 0 123869 310 0 0 25 0 1 0 13065888 1672261632 407446 1992294400 134512640 135751879 4292680080 18446744073709551615 134607732 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 408267 407446 151 303 0 407962 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 1633068 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 14114 /proc/meminfo: memFree=9864/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1723608 CPUtime=1301.77 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 436904 0 0 0 129853 324 0 0 25 0 1 0 13065888 1764974592 430076 1992294400 134512640 135751879 4292680080 18446744073709551615 134606453 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 430902 430076 151 303 0 430597 0 Current children cumulated CPU time (s) 1301.77 Current children cumulated vsize (KiB) 1723608 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 14116 /proc/meminfo: memFree=9248/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1790472 CPUtime=1361.74 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 453645 0 0 0 135842 332 0 0 25 0 1 0 13065888 1833443328 446817 1992294400 134512640 135751879 4292680080 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 447618 446817 151 303 0 447313 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1790472 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1415.4 s] /proc/loadavg: 1.00 1.01 1.00 2/107 14116 /proc/meminfo: memFree=10480/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=1843336 CPUtime=1414.83 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4202496 466853 0 0 0 141145 338 0 0 25 0 1 0 13065888 1887576064 460025 1992294400 134512640 135751879 4292680080 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14079/statm: 460834 460025 151 303 0 460529 0 Current children cumulated CPU time (s) 1414.83 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+1415.51 s] /proc/loadavg: 1.00 1.01 1.00 2/107 14116 /proc/meminfo: memFree=10480/2059040 swapFree=4192956/4192956 [pid=14079] ppid=14077 vsize=0 CPUtime=1414.93 /proc/14079/stat : 14079 (wbo1.4b) R 14077 14079 13620 0 -1 4203524 466853 0 0 0 141145 348 0 0 25 0 1 0 13065888 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/14079/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1414.93 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1415.59 CPU time (s): 1415.02 CPU user time (s): 1411.45 CPU system time (s): 3.56446 CPU usage (%): 99.9595 Max. virtual memory (cumulated for all children) (KiB): 1843336 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1411.45 system time used= 3.56446 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466853 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 4239 runsolver used 2.41863 second user time and 6.61799 second system time The end
Begin job on node010 at 2010-06-12 22:30:43 IDJOB=2655929 IDBENCH=1963 IDSOLVER=1161 FILE ID=node010/2655929-1276374641 PBS_JOBID= 11173226 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b 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-2655929-1276374641/watcher-2655929-1276374641 -o /tmp/evaluation-result-2655929-1276374641/solver-2655929-1276374641 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655929-1276374641.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e RANDOM SEED=514029225 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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1555204 kB Buffers: 134256 kB Cached: 238156 kB SwapCached: 0 kB Active: 175688 kB Inactive: 256044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1555204 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 19496 kB Writeback: 0 kB AnonPages: 59300 kB Mapped: 15440 kB Slab: 50308 kB PageTables: 3944 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182212 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= 62480 MiB End job on node010 at 2010-06-12 22:54:20