Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.13 | 1801.08 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb |
MD5SUM | 5a1b3155d98b6c4d8f9ab1b869fece67 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 355 |
Optimality of the best value was proved | NO |
Number of variables | 11001 |
Total number of constraints | 21678 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 21678 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2765 |
Number of bits of the biggest sum of numbers | 12 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875567-1245170494.opb. 0.00/0.00 c Instance file HOME/instance-1875567-1245170494.opb 0.00/0.00 c File size is 6306000 bytes. 0.89/0.98 c Highest Coefficient sum: 2765 0.89/0.98 c ============================[ Problem Statistics ]============================= 0.89/0.98 c | | 0.89/0.98 c | Parsing time: 0.95 s | 0.89/0.98 c | Number Variables: 11001 | 0.89/0.98 c | Number Clauses: 9 | 0.89/0.98 c | Number Cardinality: 0 | 0.89/0.98 c | Number PB Constraints: 21678 | 0.89/0.98 c core #1 0.89/0.98 c Core size: 10 Core Weight: 1 Total Weight: 1 0.89/0.98 c Elapsed CPU time: 0.945856 s Remaining CPU time: 1799.05 s 1.19/1.21 c core #2 1.19/1.21 c Core size: 12 Core Weight: 1 Total Weight: 2 1.19/1.21 c Elapsed CPU time: 1.15482 s Remaining CPU time: 1798.85 s 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 10885 21704 743285 | 7234 0 nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c core #3 1.49/1.52 c Core size: 16 Core Weight: 1 Total Weight: 3 1.49/1.52 c Elapsed CPU time: 1.45078 s Remaining CPU time: 1798.55 s 1.79/1.82 c Learning 1 hard constraints 1.79/1.82 c core #4 1.79/1.82 c Core size: 16 Core Weight: 1 Total Weight: 4 1.79/1.82 c Elapsed CPU time: 1.72974 s Remaining CPU time: 1798.27 s 2.09/2.10 c ============================[ Search Statistics ]============================== 2.09/2.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.09/2.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.09/2.10 c =============================================================================== 2.09/2.10 c | 0 | 10920 21720 743326 | 7240 0 nan | 0.000 % | 2.09/2.18 c =============================================================================== 2.09/2.18 c core #5 2.09/2.18 c Core size: 68 Core Weight: 1 Total Weight: 5 2.09/2.18 c Elapsed CPU time: 2.07368 s Remaining CPU time: 1797.93 s 2.39/2.46 c Learning 4 hard constraints 2.39/2.46 c ============================[ Search Statistics ]============================== 2.39/2.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.46 c =============================================================================== 2.39/2.46 c | 0 | 10931 21731 743436 | 7243 0 nan | 0.000 % | 2.79/2.84 c =============================================================================== 2.79/2.84 c core #6 2.79/2.84 c Core size: 85 Core Weight: 3 Total Weight: 8 2.79/2.84 c Elapsed CPU time: 2.72059 s Remaining CPU time: 1797.28 s 3.09/3.11 c Learning 18 hard constraints 3.09/3.11 c ============================[ Search Statistics ]============================== 3.09/3.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.11 c =============================================================================== 3.09/3.11 c | 0 | 10956 21755 744160 | 7251 0 nan | 0.000 % | 3.39/3.44 c =============================================================================== 3.39/3.44 c core #7 3.39/3.44 c Core size: 91 Core Weight: 1 Total Weight: 9 3.39/3.44 c Elapsed CPU time: 3.3045 s Remaining CPU time: 1796.7 s 3.69/3.71 c Learning 13 hard constraints 3.69/3.71 c ============================[ Search Statistics ]============================== 3.69/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.71 c =============================================================================== 3.69/3.71 c | 0 | 10968 21774 744878 | 7258 0 nan | 0.000 % | 4.09/4.18 c =============================================================================== 4.09/4.18 c core #8 4.09/4.18 c Core size: 75 Core Weight: 1 Total Weight: 10 4.09/4.18 c Elapsed CPU time: 4.02439 s Remaining CPU time: 1795.98 s 4.39/4.47 c Learning 23 hard constraints 4.39/4.47 c ============================[ Search Statistics ]============================== 4.39/4.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.47 c =============================================================================== 4.39/4.47 c | 0 | 10144 21803 745634 | 7267 0 nan | 0.000 % | 4.68/4.76 c =============================================================================== 4.68/4.76 c core #9 4.68/4.76 c Core size: 64 Core Weight: 6 Total Weight: 16 4.68/4.76 c Elapsed CPU time: 4.5913 s Remaining CPU time: 1795.41 s 4.99/5.02 c Learning 13 hard constraints 4.99/5.02 c ============================[ Search Statistics ]============================== 4.99/5.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.99/5.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.99/5.02 c =============================================================================== 4.99/5.02 c | 0 | 11007 21821 746149 | 7273 0 nan | 0.000 % | 5.29/5.33 c =============================================================================== 5.29/5.33 c core #10 5.29/5.33 c Core size: 78 Core Weight: 1 Total Weight: 17 5.29/5.33 c Elapsed CPU time: 5.14522 s Remaining CPU time: 1794.85 s 5.59/5.61 c Learning 5 hard constraints 5.59/5.61 c ============================[ Search Statistics ]============================== 5.59/5.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.59/5.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.59/5.61 c =============================================================================== 5.59/5.61 c | 0 | 11021 21833 746376 | 7277 0 nan | 0.000 % | 7.38/7.42 c | 102 | 11011 21833 746376 | 8005 102 42 | 5.614 % | 8.28/8.38 c =============================================================================== 8.28/8.39 c core #11 8.28/8.39 c Core size: 154 Core Weight: 1 Total Weight: 18 8.28/8.39 c Elapsed CPU time: 8.19675 s Remaining CPU time: 1791.8 s 8.58/8.65 c Learning 184 hard constraints 8.58/8.65 c ============================[ Search Statistics ]============================== 8.58/8.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.58/8.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.58/8.65 c =============================================================================== 8.58/8.65 c | 0 | 11039 22024 754134 | 7341 0 nan | 0.000 % | 9.69/9.76 c =============================================================================== 9.69/9.76 c core #12 9.69/9.76 c Core size: 71 Core Weight: 1 Total Weight: 19 9.69/9.76 c Elapsed CPU time: 9.56055 s Remaining CPU time: 1790.44 s 9.99/10.04 c Learning 43 hard constraints 9.99/10.04 c ============================[ Search Statistics ]============================== 9.99/10.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.99/10.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.99/10.04 c =============================================================================== 9.99/10.04 c | 0 | 10827 22072 756350 | 7357 0 nan | 0.000 % | 10.09/10.11 c =============================================================================== 10.09/10.11 c core #13 10.09/10.11 c Core size: 58 Core Weight: 1 Total Weight: 20 10.09/10.11 c Elapsed CPU time: 9.8865 s Remaining CPU time: 1790.11 s 10.29/10.38 c Learning 1 hard constraints 10.29/10.38 c ============================[ Search Statistics ]============================== 10.29/10.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.29/10.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.29/10.38 c =============================================================================== 10.29/10.38 c | 0 | 10838 22078 756455 | 7359 0 nan | 0.000 % | 10.38/10.42 c =============================================================================== 10.38/10.42 c core #14 10.38/10.42 c Core size: 73 Core Weight: 1 Total Weight: 21 10.38/10.42 c Elapsed CPU time: 10.1785 s Remaining CPU time: 1789.82 s 10.59/10.69 c ============================[ Search Statistics ]============================== 10.59/10.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.59/10.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.59/10.69 c =============================================================================== 10.59/10.69 c | 0 | 10858 22083 756491 | 7361 0 nan | 0.000 % | 10.69/10.72 c | 101 | 10858 22083 756491 | 8097 101 12 | 2.636 % | 10.69/10.76 c =============================================================================== 10.69/10.76 c core #15 10.69/10.76 c Core size: 74 Core Weight: 1 Total Weight: 22 10.69/10.76 c Elapsed CPU time: 10.5004 s Remaining CPU time: 1789.5 s 10.99/11.03 c Learning 1 hard constraints 10.99/11.03 c ============================[ Search Statistics ]============================== 10.99/11.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.99/11.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.99/11.03 c =============================================================================== 10.99/11.03 c | 0 | 10877 22089 756527 | 7363 0 nan | 0.000 % | 10.99/11.06 c | 101 | 10877 22089 756527 | 8099 101 21 | 2.641 % | 11.08/11.14 c | 252 | 10877 22089 756527 | 8909 252 22 | 2.641 % | 11.08/11.16 c | 479 | 10877 22089 756527 | 9800 479 23 | 2.641 % | 11.08/11.17 c =============================================================================== 11.08/11.18 c core #16 11.08/11.18 c Core size: 72 Core Weight: 1 Total Weight: 23 11.08/11.18 c Elapsed CPU time: 10.9083 s Remaining CPU time: 1789.09 s 11.39/11.47 c ============================[ Search Statistics ]============================== 11.39/11.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.39/11.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.39/11.47 c =============================================================================== 11.39/11.47 c | 0 | 10898 22094 756565 | 7364 0 nan | 0.000 % | 11.49/11.50 c | 101 | 10898 22094 756565 | 8101 101 30 | 2.636 % | 11.59/11.63 c | 253 | 10898 22094 756565 | 8911 253 29 | 2.636 % | 11.59/11.65 c | 478 | 10898 22094 756565 | 9802 478 32 | 2.636 % | 11.69/11.70 c | 818 | 10898 22094 756565 | 10782 818 33 | 2.636 % | 11.78/11.88 c | 1326 | 10898 22094 756565 | 11860 1326 34 | 2.636 % | 12.09/12.12 c | 2087 | 10898 22094 756565 | 13046 2087 34 | 2.636 % | 12.38/12.49 c | 3228 | 10898 22094 756565 | 14351 3228 34 | 2.636 % | 12.99/13.04 c | 4939 | 10898 22094 756565 | 15786 4939 34 | 2.636 % | 13.88/13.95 c | 7503 | 10898 22094 756565 | 17365 7503 34 | 2.636 % | 14.69/14.72 c =============================================================================== 14.78/14.81 c core #17 14.78/14.81 c Core size: 72 Core Weight: 1 Total Weight: 24 14.78/14.81 c Elapsed CPU time: 14.4978 s Remaining CPU time: 1785.5 s 14.98/15.09 c ============================[ Search Statistics ]============================== 14.98/15.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.98/15.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.98/15.09 c =============================================================================== 14.98/15.09 c | 0 | 10918 22099 756601 | 7366 0 nan | 0.000 % | 15.08/15.12 c | 101 | 10918 22099 756601 | 8102 101 39 | 2.631 % | 15.69/15.79 c | 252 | 10917 22099 756601 | 8913 252 35 | 2.640 % | 15.89/15.93 c | 478 | 10916 22099 756601 | 9804 478 35 | 2.649 % | 15.89/15.96 c | 816 | 10916 22099 756601 | 10785 816 39 | 2.649 % | 15.98/16.02 c | 1323 | 10916 22099 756601 | 11863 1323 37 | 2.649 % | 16.08/16.13 c | 2082 | 10916 22099 756601 | 13049 2082 38 | 2.649 % | 16.28/16.30 c | 3221 | 10916 22099 756601 | 14354 3221 39 | 2.649 % | 16.68/16.78 c | 4929 | 10916 22099 756601 | 15790 4929 40 | 2.649 % | 17.68/17.73 c | 7491 | 10916 22099 756601 | 17369 7491 42 | 2.649 % | 19.49/19.53 c | 11336 | 10916 22099 756601 | 19106 11336 43 | 2.649 % | 23.58/23.60 c | 17104 | 10916 22099 756601 | 21017 17104 43 | 2.649 % | 31.08/31.11 c | 25753 | 10916 22099 756601 | 23118 15062 42 | 2.649 % | 41.58/41.67 c | 38728 | 10916 22099 756601 | 25430 16290 42 | 2.649 % | 44.27/44.32 c =============================================================================== 44.87/44.98 c core #18 44.87/44.98 c Core size: 90 Core Weight: 1 Total Weight: 25 44.87/44.98 c Elapsed CPU time: 44.5302 s Remaining CPU time: 1755.47 s 45.26/45.30 c ============================[ Search Statistics ]============================== 45.26/45.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.26/45.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.26/45.30 c =============================================================================== 45.26/45.30 c | 0 | 10942 22104 756645 | 7368 0 nan | 0.000 % | 45.26/45.34 c | 101 | 10942 22104 756645 | 8104 101 47 | 2.625 % | 47.57/47.67 c | 252 | 10941 22104 756645 | 8915 252 51 | 2.634 % | 49.07/49.16 c =============================================================================== 49.07/49.16 c core #19 49.07/49.16 c Core size: 201 Core Weight: 7 Total Weight: 32 49.07/49.16 c Elapsed CPU time: 48.6746 s Remaining CPU time: 1751.33 s 49.37/49.42 c Learning 243 hard constraints 49.37/49.42 c ============================[ Search Statistics ]============================== 49.37/49.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.37/49.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.37/49.42 c =============================================================================== 49.37/49.42 c | 0 | 11184 22351 770380 | 7450 0 nan | 0.000 % | 50.57/50.63 c =============================================================================== 50.57/50.63 c core #20 50.57/50.63 c Core size: 169 Core Weight: 1 Total Weight: 33 50.57/50.63 c Elapsed CPU time: 50.1434 s Remaining CPU time: 1749.86 s 50.77/50.89 c Learning 91 hard constraints 50.77/50.89 c ============================[ Search Statistics ]============================== 50.77/50.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.77/50.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.77/50.89 c =============================================================================== 50.77/50.89 c | 0 | 11205 22448 775867 | 7482 0 nan | 0.000 % | 51.97/52.06 c | 101 | 11204 22448 775867 | 8230 101 64 | 0.515 % | 53.67/53.77 c | 252 | 11204 22448 775867 | 9054 252 71 | 0.515 % | 55.97/56.03 c | 478 | 11203 22448 775867 | 9959 478 70 | 0.524 % | 59.17/59.28 c | 817 | 11203 22448 775867 | 10955 817 65 | 0.524 % | 64.56/64.65 c | 1323 | 11185 22448 775867 | 12050 1323 66 | 0.808 % | 65.55/65.69 c =============================================================================== 65.65/65.70 c core #21 65.65/65.70 c Core size: 335 Core Weight: 1 Total Weight: 34 65.65/65.70 c Elapsed CPU time: 65.1811 s Remaining CPU time: 1734.82 s 65.87/65.97 c Learning 1355 hard constraints 65.87/65.97 c ============================[ Search Statistics ]============================== 65.87/65.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.87/65.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.87/65.97 c =============================================================================== 65.87/65.97 c | 0 | 11230 23810 865043 | 7936 0 nan | 0.000 % | 67.36/67.49 c | 100 | 11230 23810 865043 | 8730 100 57 | 0.505 % | 69.56/69.68 c | 251 | 11226 23810 865043 | 9603 251 70 | 0.780 % | 71.55/71.61 c | 477 | 11226 23810 865043 | 10563 477 64 | 0.780 % | 74.86/74.94 c | 814 | 11226 23810 865043 | 11620 814 67 | 0.780 % | 81.56/81.64 c | 1320 | 11226 23810 865043 | 12782 1320 65 | 0.780 % | 89.55/89.69 c | 2079 | 11226 23810 865043 | 14060 2079 61 | 0.780 % | 103.44/103.52 c | 3218 | 11199 23810 865043 | 15466 3170 61 | 0.780 % | 124.03/124.18 c | 4927 | 11198 23810 865043 | 17012 4879 61 | 0.806 % | 156.42/156.51 c | 7490 | 11196 23810 865043 | 18714 7239 62 | 0.806 % | 172.81/172.98 c =============================================================================== 172.91/173.02 c core #22 172.91/173.02 c Core size: 714 Core Weight: 4 Total Weight: 38 172.91/173.02 c Elapsed CPU time: 172.388 s Remaining CPU time: 1627.61 s 173.21/173.36 c Learning 6886 hard constraints 173.21/173.36 c ============================[ Search Statistics ]============================== 173.21/173.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 173.21/173.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 173.21/173.36 c =============================================================================== 173.21/173.36 c | 0 | 11235 30700 1291178 | 10233 0 nan | 0.000 % | 173.41/173.57 c | 100 | 11229 30700 1291178 | 11256 100 25 | 0.708 % | 173.51/173.63 c =============================================================================== 173.51/173.63 c core #23 173.51/173.63 c Core size: 109 Core Weight: 1 Total Weight: 39 173.51/173.63 c Elapsed CPU time: 172.986 s Remaining CPU time: 1627.01 s 173.81/173.97 c Learning 2 hard constraints 173.81/173.97 c ============================[ Search Statistics ]============================== 173.81/173.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 173.81/173.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 173.81/173.97 c =============================================================================== 173.81/173.97 c | 0 | 11261 30707 1291311 | 10235 0 nan | 0.000 % | 173.91/174.06 c | 100 | 11261 30707 1291311 | 11259 100 27 | 0.600 % | 174.01/174.19 c | 251 | 11261 30707 1291311 | 12385 251 22 | 0.600 % | 174.11/174.29 c | 476 | 11261 30707 1291311 | 13623 476 23 | 0.600 % | 174.31/174.43 c | 813 | 11260 30707 1291311 | 14986 813 27 | 0.609 % | 174.31/174.48 c =============================================================================== 174.31/174.49 c core #24 174.31/174.49 c Core size: 116 Core Weight: 1 Total Weight: 40 174.31/174.49 c Elapsed CPU time: 173.825 s Remaining CPU time: 1626.18 s 174.72/174.80 c Learning 3 hard constraints 174.72/174.80 c ============================[ Search Statistics ]============================== 174.72/174.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 174.72/174.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 174.72/174.80 c =============================================================================== 174.72/174.80 c | 0 | 11310 30714 1291551 | 10238 0 nan | 0.000 % | 174.72/174.88 c | 100 | 11310 30714 1291551 | 11261 100 37 | 0.545 % | 174.82/174.90 c | 250 | 11310 30714 1291551 | 12387 250 33 | 0.545 % | 174.91/175.00 c | 478 | 11310 30714 1291551 | 13626 478 39 | 0.545 % | 178.91/179.02 c | 815 | 11310 30714 1291551 | 14989 815 48 | 0.545 % | 183.71/183.83 c | 1322 | 11310 30714 1291551 | 16488 1322 53 | 0.545 % | 193.30/193.42 c | 2082 | 11310 30714 1291551 | 18137 2082 56 | 0.545 % | 204.59/204.77 c | 3222 | 11310 30714 1291551 | 19950 3222 59 | 0.545 % | 221.58/221.77 c | 4930 | 11310 30714 1291551 | 21946 4930 63 | 0.545 % | 246.57/246.76 c | 7492 | 11250 30714 1291551 | 24140 6447 64 | 1.073 % | 284.15/284.36 c | 11336 | 11250 30714 1291551 | 26554 10291 59 | 1.073 % | 343.92/344.13 c | 17103 | 11250 30714 1291551 | 29210 16058 58 | 1.073 % | 418.89/419.17 c | 25752 | 11213 30714 1291551 | 32131 22398 55 | 1.398 % | 554.11/554.43 c | 38727 | 11213 30714 1291551 | 35344 35373 56 | 1.398 % | 750.50/750.92 c | 58188 | 11016 30714 1291551 | 38878 26523 53 | 3.130 % | 1042.94/1043.55 c | 87381 | 11016 30714 1291551 | 42766 27323 65 | 3.130 % | 1556.58/1557.45 c | 131170 | 11015 30714 1291551 | 47043 18948 50 | 3.139 % | 1649.73/1650.61 c =============================================================================== 1650.63/1651.56 c core #25 1650.63/1651.56 c Core size: 2679 Core Weight: 24 Total Weight: 64 1650.63/1651.56 c Elapsed CPU time: 1649.16 s Remaining CPU time: 150.845 s 1651.23/1652.15 c Learning 18724 hard constraints 1651.23/1652.15 c ============================[ Search Statistics ]============================== 1651.23/1652.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1651.23/1652.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1651.23/1652.15 c =============================================================================== 1651.23/1652.15 c | 0 | 11337 49441 2185270 | 16480 0 nan | 0.000 % | 1651.33/1652.28 c | 100 | 11337 49441 2185270 | 18128 100 39 | 0.334 % | 1654.92/1655.82 c | 250 | 11337 49441 2185270 | 19941 250 41 | 0.334 % | 1657.62/1658.59 c | 476 | 11321 49441 2185270 | 21935 476 46 | 0.651 % | 1661.51/1662.47 c | 813 | 11315 49441 2185270 | 24128 813 50 | 0.651 % | 1667.02/1667.95 c | 1319 | 11315 49441 2185270 | 26541 1319 56 | 0.651 % | 1676.22/1677.15 c | 2081 | 11315 49441 2185270 | 29195 2081 56 | 0.651 % | 1688.40/1689.37 c | 3220 | 11315 49441 2185270 | 32115 3220 57 | 0.651 % | 1702.20/1703.16 c | 4930 | 11315 49441 2185270 | 35327 4930 56 | 0.651 % | 1729.38/1730.34 c | 7493 | 11315 49441 2185270 | 38859 7493 55 | 0.651 % | 1772.75/1773.71 c | 11337 | 11298 49441 2185270 | 42745 11223 56 | 1.354 % |
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-1875567-1245170494/watcher-1875567-1245170494 -o /tmp/evaluation-result-1875567-1245170494/solver-1875567-1245170494 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875567-1245170494.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.97 3/65 18779 /proc/meminfo: memFree=1834392/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=8684 CPUtime=0 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 184648154 8892416 183 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 2171 184 128 292 0 336 0 [startup+0.0779071 s] /proc/loadavg: 1.00 1.00 0.97 3/65 18779 /proc/meminfo: memFree=1834392/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=10416 CPUtime=0.07 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 736 0 0 0 7 0 0 0 18 0 1 0 184648154 10665984 720 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 2604 720 241 292 0 769 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 10416 [startup+0.10191 s] /proc/loadavg: 1.00 1.00 0.97 3/65 18779 /proc/meminfo: memFree=1834392/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=10944 CPUtime=0.09 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 937 0 0 0 9 0 0 0 18 0 1 0 184648154 11206656 921 1992294400 134512640 135709839 4294956240 18446744073709551615 135164510 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 2736 921 281 292 0 901 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10944 [startup+0.301949 s] /proc/loadavg: 1.00 1.00 0.97 3/65 18779 /proc/meminfo: memFree=1834392/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=16060 CPUtime=0.29 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 2507 0 0 0 28 1 0 0 19 0 1 0 184648154 16445440 2491 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 4015 2491 603 292 0 2180 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 16060 [startup+0.702028 s] /proc/loadavg: 1.00 1.00 0.97 3/65 18779 /proc/meminfo: memFree=1834392/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=25844 CPUtime=0.69 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 5584 0 0 0 67 2 0 0 23 0 1 0 184648154 26464256 5568 1992294400 134512640 135709839 4294956240 18446744073709551615 134542941 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 6461 5568 1234 292 0 4626 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 25844 [startup+1.50118 s] /proc/loadavg: 1.00 1.00 0.97 2/66 18780 /proc/meminfo: memFree=1807440/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=64308 CPUtime=1.49 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 17287 0 0 0 142 7 0 0 25 0 1 0 184648154 65851392 15601 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 16077 15601 134 292 0 15782 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 64308 [startup+3.1015 s] /proc/loadavg: 1.00 1.00 0.97 2/66 18780 /proc/meminfo: memFree=1742672/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=123108 CPUtime=3.09 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 32150 0 0 0 296 13 0 0 25 0 1 0 184648154 126062592 30334 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 30777 30334 135 292 0 30482 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 123108 [startup+6.30113 s] /proc/loadavg: 1.16 1.03 0.98 2/66 18780 /proc/meminfo: memFree=1668688/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=182020 CPUtime=6.28 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 46856 0 0 0 610 18 0 0 25 0 1 0 184648154 186388480 45040 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 45505 45040 135 292 0 45210 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 182020 [startup+12.7014 s] /proc/loadavg: 1.31 1.07 1.00 2/66 18780 /proc/meminfo: memFree=1565328/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=270428 CPUtime=12.68 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 68969 0 0 0 1240 28 0 0 25 0 1 0 184648154 276918272 67153 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 67607 67153 136 292 0 67312 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 270428 [startup+25.5019 s] /proc/loadavg: 1.31 1.08 1.00 2/66 18780 /proc/meminfo: memFree=1547344/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=288480 CPUtime=25.48 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 73491 0 0 0 2511 37 0 0 25 0 1 0 184648154 295403520 71675 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 72120 71675 136 292 0 71825 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 288480 [startup+51.1019 s] /proc/loadavg: 1.20 1.07 1.00 2/66 18780 /proc/meminfo: memFree=1517136/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=333844 CPUtime=51.06 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 84817 0 0 0 5059 47 0 0 25 0 1 0 184648154 341856256 83001 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 83461 83001 136 292 0 83166 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 333844 [startup+102.306 s] /proc/loadavg: 1.09 1.06 1.00 2/66 18780 /proc/meminfo: memFree=1486416/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=349560 CPUtime=102.25 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 88747 0 0 0 10173 52 0 0 25 0 1 0 184648154 357949440 86931 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 87390 86931 136 292 0 87095 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 349560 [startup+162.302 s] /proc/loadavg: 1.03 1.04 1.00 2/66 18780 /proc/meminfo: memFree=1486416/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=349560 CPUtime=162.22 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 88747 0 0 0 16167 55 0 0 25 0 1 0 184648154 357949440 86931 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 87390 86931 136 292 0 87095 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 349560 [startup+222.301 s] /proc/loadavg: 1.01 1.03 1.00 2/66 18780 /proc/meminfo: memFree=1437520/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=398264 CPUtime=222.18 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 100936 0 0 0 22155 63 0 0 25 0 1 0 184648154 407822336 99120 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 99566 99120 136 292 0 99271 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 398264 [startup+282.302 s] /proc/loadavg: 1.00 1.03 1.00 2/66 18780 /proc/meminfo: memFree=1437456/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=398264 CPUtime=282.16 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 100936 0 0 0 28149 67 0 0 25 0 1 0 184648154 407822336 99120 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0 /proc/18779/statm: 99566 99120 136 292 0 99271 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 398264 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/66 18780 /proc/meminfo: memFree=1437456/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=398264 CPUtime=342.12 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 100936 0 0 0 34142 70 0 0 25 0 1 0 184648154 407822336 99120 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 99566 99120 136 292 0 99271 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 398264 [startup+402.302 s] /proc/loadavg: 1.00 1.01 1.00 2/66 18780 /proc/meminfo: memFree=1437392/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=398264 CPUtime=402.09 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 100945 0 0 0 40135 74 0 0 25 0 1 0 184648154 407822336 99129 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 1 0 0 /proc/18779/statm: 99566 99129 136 292 0 99271 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 398264 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/66 18780 /proc/meminfo: memFree=1436176/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=399588 CPUtime=462.06 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 101254 0 0 0 46128 78 0 0 25 0 1 0 184648154 409178112 99438 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 99897 99438 136 292 0 99602 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 399588 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18780 /proc/meminfo: memFree=1434832/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=400900 CPUtime=522.02 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 101583 0 0 0 52119 83 0 0 25 0 1 0 184648154 410521600 99767 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 100225 99767 136 292 0 99930 0 Current children cumulated CPU time (s) 522.02 Current children cumulated vsize (KiB) 400900 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18780 /proc/meminfo: memFree=1433040/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=402620 CPUtime=582 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 102032 0 0 0 58114 86 0 0 25 0 1 0 184648154 412282880 100216 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 100655 100216 136 292 0 100360 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 402620 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18780 /proc/meminfo: memFree=1430736/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=404996 CPUtime=641.97 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 102613 0 0 0 64107 90 0 0 25 0 1 0 184648154 414715904 100797 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 101249 100797 136 292 0 100954 0 Current children cumulated CPU time (s) 641.97 Current children cumulated vsize (KiB) 404996 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18782 /proc/meminfo: memFree=1423952/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=411472 CPUtime=821.87 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 104241 0 0 0 82084 103 0 0 25 0 1 0 184648154 421347328 102425 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 102868 102425 136 292 0 102573 0 Current children cumulated CPU time (s) 821.87 Current children cumulated vsize (KiB) 411472 [startup+882.303 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18782 /proc/meminfo: memFree=1421328/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=414120 CPUtime=881.84 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 104891 0 0 0 88076 108 0 0 25 0 1 0 184648154 424058880 103075 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 103530 103075 136 292 0 103235 0 Current children cumulated CPU time (s) 881.84 Current children cumulated vsize (KiB) 414120 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18782 /proc/meminfo: memFree=1419280/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=416240 CPUtime=941.78 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 105427 0 0 0 94067 111 0 0 25 0 1 0 184648154 426229760 103611 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 104060 103611 136 292 0 103765 0 Current children cumulated CPU time (s) 941.78 Current children cumulated vsize (KiB) 416240 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18782 /proc/meminfo: memFree=1416912/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=418488 CPUtime=1001.76 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 105992 0 0 0 100060 116 0 0 25 0 1 0 184648154 428531712 104176 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 104622 104176 136 292 0 104327 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 418488 [startup+1062.3 s] /proc/loadavg: 1.04 1.01 1.00 2/66 18782 /proc/meminfo: memFree=1414928/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=420480 CPUtime=1061.73 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 106495 0 0 0 106053 120 0 0 25 0 1 0 184648154 430571520 104679 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 105120 104679 136 292 0 104825 0 Current children cumulated CPU time (s) 1061.73 Current children cumulated vsize (KiB) 420480 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/66 18782 /proc/meminfo: memFree=1412816/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=422592 CPUtime=1121.71 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 107019 0 0 0 112046 125 0 0 25 0 1 0 184648154 432734208 105203 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 105648 105203 136 292 0 105353 0 Current children cumulated CPU time (s) 1121.71 Current children cumulated vsize (KiB) 422592 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1410576/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=424712 CPUtime=1181.67 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 107524 0 0 0 118039 128 0 0 25 0 1 0 184648154 434905088 105708 1992294400 134512640 135709839 4294956240 18446744073709551615 134518412 0 0 4096 3 0 0 0 17 1 0 0 /proc/18779/statm: 106178 105708 136 292 0 105883 0 Current children cumulated CPU time (s) 1181.67 Current children cumulated vsize (KiB) 424712 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1408464/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=426836 CPUtime=1241.63 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 108047 0 0 0 124032 131 0 0 25 0 1 0 184648154 437080064 106231 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 106709 106231 136 292 0 106414 0 Current children cumulated CPU time (s) 1241.63 Current children cumulated vsize (KiB) 426836 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1406416/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=428948 CPUtime=1301.61 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 108566 0 0 0 130025 136 0 0 25 0 1 0 184648154 439242752 106750 1992294400 134512640 135709839 4294956240 18446744073709551615 134572671 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 107237 106750 136 292 0 106942 0 Current children cumulated CPU time (s) 1301.61 Current children cumulated vsize (KiB) 428948 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1404624/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=430664 CPUtime=1361.57 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 109018 0 0 0 136020 137 0 0 25 0 1 0 184648154 440999936 107202 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 107666 107202 136 292 0 107371 0 Current children cumulated CPU time (s) 1361.57 Current children cumulated vsize (KiB) 430664 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1402832/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=432512 CPUtime=1421.54 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 109474 0 0 0 142014 140 0 0 25 0 1 0 184648154 442892288 107658 1992294400 134512640 135709839 4294956240 18446744073709551615 134572628 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 108128 107658 136 292 0 107833 0 Current children cumulated CPU time (s) 1421.54 Current children cumulated vsize (KiB) 432512 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1401168/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=434096 CPUtime=1481.51 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 109878 0 0 0 148008 143 0 0 25 0 1 0 184648154 444514304 108062 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 108524 108062 136 292 0 108229 0 Current children cumulated CPU time (s) 1481.51 Current children cumulated vsize (KiB) 434096 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1399184/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=436216 CPUtime=1541.47 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 110384 0 0 0 154001 146 0 0 25 0 1 0 184648154 446685184 108568 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 109054 108568 136 292 0 108759 0 Current children cumulated CPU time (s) 1541.47 Current children cumulated vsize (KiB) 436216 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1397200/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=438064 CPUtime=1601.45 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 110857 0 0 0 159995 150 0 0 25 0 1 0 184648154 448577536 109041 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 109516 109041 136 292 0 109221 0 Current children cumulated CPU time (s) 1601.45 Current children cumulated vsize (KiB) 438064 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1363664/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=471700 CPUtime=1661.41 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 119257 0 0 0 165985 156 0 0 25 0 1 0 184648154 483020800 117408 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 117925 117408 136 292 0 117630 0 Current children cumulated CPU time (s) 1661.41 Current children cumulated vsize (KiB) 471700 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1363600/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=471700 CPUtime=1721.39 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 119258 0 0 0 171978 161 0 0 25 0 1 0 184648154 483020800 117409 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/18779/statm: 117925 117409 136 292 0 117630 0 Current children cumulated CPU time (s) 1721.39 Current children cumulated vsize (KiB) 471700 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1363472/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=471700 CPUtime=1781.35 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 119258 0 0 0 177971 164 0 0 25 0 1 0 184648154 483020800 117409 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 117925 117409 136 292 0 117630 0 Current children cumulated CPU time (s) 1781.35 Current children cumulated vsize (KiB) 471700 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/66 18788 /proc/meminfo: memFree=1363472/2055920 swapFree=4192812/4192956 [pid=18779] ppid=18777 vsize=471700 CPUtime=1800.05 /proc/18779/stat : 18779 (wbo) R 18777 18779 18475 0 -1 4194304 119258 0 0 0 179839 166 0 0 25 0 1 0 184648154 483020800 117409 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/18779/statm: 117925 117409 136 292 0 117630 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 471700 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.08 CPU time (s): 1800.13 CPU user time (s): 1798.4 CPU system time (s): 1.73474 CPU usage (%): 99.9475 Max. virtual memory (cumulated for all children) (KiB): 471700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.4 system time used= 1.73474 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119258 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= 2 involuntary context switches= 5833 runsolver used 2.18467 second user time and 4.13737 second system time The end
Begin job on node77 at 2009-06-16 18:41:34 IDJOB=1875567 IDBENCH=2633 IDSOLVER=698 FILE ID=node77/1875567-1245170494 PBS_JOBID= 9363869 Free space on /tmp= 66312 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875567-1245170494/watcher-1875567-1245170494 -o /tmp/evaluation-result-1875567-1245170494/solver-1875567-1245170494 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875567-1245170494.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5a1b3155d98b6c4d8f9ab1b869fece67 RANDOM SEED=122207248 node77.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.263 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1835320 kB Buffers: 17668 kB Cached: 125268 kB SwapCached: 0 kB Active: 36700 kB Inactive: 119588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835320 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 8532 kB Writeback: 0 kB Mapped: 23096 kB Slab: 50224 kB Committed_AS: 112792 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875567-1245170494.opb Free space on /tmp at the end= 66308 MiB End job on node77 at 2009-06-16 19:11:37