Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.16 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb |
MD5SUM | de4cbecd7c9968d40b279ce145b888a9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 319 |
Best CPU time to get the best result obtained on this benchmark | 1798.06 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8883 |
Total number of constraints | 17459 |
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 | 17459 |
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 | 2691 |
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-1875539-1245170394.opb. 0.00/0.00 c Instance file HOME/instance-1875539-1245170394.opb 0.00/0.00 c File size is 5036183 bytes. 0.79/0.82 c Highest Coefficient sum: 2691 0.79/0.82 c ============================[ Problem Statistics ]============================= 0.79/0.82 c | | 0.79/0.82 c | Parsing time: 0.79 s | 0.79/0.82 c | Number Variables: 8883 | 0.79/0.82 c | Number Clauses: 9 | 0.79/0.82 c | Number Cardinality: 0 | 0.79/0.82 c | Number PB Constraints: 17459 | 0.79/0.82 c core #1 0.79/0.82 c Core size: 10 Core Weight: 1 Total Weight: 1 0.79/0.82 c Elapsed CPU time: 0.793879 s Remaining CPU time: 1799.21 s 0.99/1.00 c core #2 0.99/1.00 c Core size: 12 Core Weight: 1 Total Weight: 2 0.99/1.00 c Elapsed CPU time: 0.955854 s Remaining CPU time: 1799.04 s 1.20/1.22 c ============================[ Search Statistics ]============================== 1.20/1.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.20/1.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.20/1.22 c =============================================================================== 1.20/1.22 c | 0 | 8774 17485 596111 | 5828 0 nan | 0.000 % | 1.20/1.24 c =============================================================================== 1.20/1.24 c core #3 1.20/1.24 c Core size: 16 Core Weight: 1 Total Weight: 3 1.20/1.24 c Elapsed CPU time: 1.18082 s Remaining CPU time: 1798.82 s 1.39/1.47 c Learning 1 hard constraints 1.39/1.47 c core #4 1.39/1.47 c Core size: 16 Core Weight: 1 Total Weight: 4 1.39/1.47 c Elapsed CPU time: 1.39779 s Remaining CPU time: 1798.6 s 1.59/1.69 c ============================[ Search Statistics ]============================== 1.59/1.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.69 c =============================================================================== 1.59/1.69 c | 0 | 8808 17501 596152 | 5833 0 nan | 0.000 % | 1.69/1.75 c =============================================================================== 1.69/1.75 c core #5 1.69/1.75 c Core size: 66 Core Weight: 1 Total Weight: 5 1.69/1.75 c Elapsed CPU time: 1.66475 s Remaining CPU time: 1798.34 s 1.89/1.97 c Learning 4 hard constraints 1.89/1.97 c ============================[ Search Statistics ]============================== 1.89/1.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.97 c =============================================================================== 1.89/1.97 c | 0 | 8819 17512 596262 | 5837 0 nan | 0.000 % | 2.29/2.36 c =============================================================================== 2.29/2.36 c core #6 2.29/2.36 c Core size: 85 Core Weight: 3 Total Weight: 8 2.29/2.36 c Elapsed CPU time: 2.26266 s Remaining CPU time: 1797.74 s 2.49/2.58 c Learning 18 hard constraints 2.49/2.58 c ============================[ Search Statistics ]============================== 2.49/2.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.58 c =============================================================================== 2.49/2.58 c | 0 | 8843 17536 597313 | 5845 0 nan | 0.000 % | 2.79/2.90 c =============================================================================== 2.79/2.90 c core #7 2.79/2.90 c Core size: 95 Core Weight: 1 Total Weight: 9 2.79/2.90 c Elapsed CPU time: 2.78458 s Remaining CPU time: 1797.22 s 3.09/3.11 c Learning 12 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 | 8855 17554 598160 | 5851 0 nan | 0.000 % | 3.69/3.76 c =============================================================================== 3.69/3.76 c core #8 3.69/3.76 c Core size: 101 Core Weight: 1 Total Weight: 10 3.69/3.76 c Elapsed CPU time: 3.63845 s Remaining CPU time: 1796.36 s 3.89/3.98 c Learning 27 hard constraints 3.89/3.98 c ============================[ Search Statistics ]============================== 3.89/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.89/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.89/3.98 c =============================================================================== 3.89/3.98 c | 0 | 8870 17587 599878 | 5862 0 nan | 0.000 % | 5.89/5.93 c | 101 | 8870 17587 599878 | 6448 101 60 | 1.004 % | 8.29/8.37 c =============================================================================== 8.29/8.37 c core #9 8.29/8.37 c Core size: 189 Core Weight: 6 Total Weight: 16 8.29/8.37 c Elapsed CPU time: 8.22375 s Remaining CPU time: 1791.78 s 8.49/8.58 c Learning 225 hard constraints 8.49/8.58 c ============================[ Search Statistics ]============================== 8.49/8.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.49/8.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.49/8.58 c =============================================================================== 8.49/8.58 c | 0 | 8893 17817 614817 | 5939 0 nan | 0.000 % | 9.39/9.45 c =============================================================================== 9.39/9.45 c core #10 9.39/9.45 c Core size: 145 Core Weight: 1 Total Weight: 17 9.39/9.45 c Elapsed CPU time: 9.29459 s Remaining CPU time: 1790.71 s 9.59/9.66 c Learning 66 hard constraints 9.59/9.66 c ============================[ Search Statistics ]============================== 9.59/9.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.59/9.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.59/9.66 c =============================================================================== 9.59/9.66 c | 0 | 8907 17890 618429 | 5963 0 nan | 0.000 % | 10.79/10.82 c | 101 | 8906 17890 618429 | 6559 101 48 | 0.813 % | 12.58/12.68 c | 251 | 8906 17890 618429 | 7215 251 47 | 0.813 % | 15.88/15.99 c | 476 | 8900 17890 618429 | 7937 476 48 | 0.880 % | 18.18/18.26 c =============================================================================== 18.18/18.26 c core #11 18.18/18.26 c Core size: 272 Core Weight: 1 Total Weight: 18 18.18/18.26 c Elapsed CPU time: 18.0862 s Remaining CPU time: 1781.91 s 18.39/18.49 c Learning 633 hard constraints 18.39/18.49 c ============================[ Search Statistics ]============================== 18.39/18.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.39/18.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.39/18.49 c =============================================================================== 18.39/18.49 c | 0 | 8925 18530 649373 | 6176 0 nan | 0.000 % | 20.28/20.34 c | 100 | 8925 18530 649373 | 6794 100 54 | 0.801 % | 21.18/21.21 c =============================================================================== 21.18/21.21 c core #12 21.18/21.21 c Core size: 214 Core Weight: 1 Total Weight: 19 21.18/21.21 c Elapsed CPU time: 21.0168 s Remaining CPU time: 1778.98 s 21.37/21.42 c Learning 149 hard constraints 21.37/21.42 c ============================[ Search Statistics ]============================== 21.37/21.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.37/21.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.37/21.42 c =============================================================================== 21.37/21.42 c | 0 | 8931 18684 657757 | 6228 0 nan | 0.000 % | 21.47/21.59 c =============================================================================== 21.47/21.59 c core #13 21.47/21.59 c Core size: 78 Core Weight: 1 Total Weight: 20 21.47/21.59 c Elapsed CPU time: 21.3847 s Remaining CPU time: 1778.62 s 21.78/21.83 c Learning 2 hard constraints 21.78/21.83 c ============================[ Search Statistics ]============================== 21.78/21.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 21.78/21.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 21.78/21.83 c =============================================================================== 21.78/21.83 c | 0 | 8801 18691 657819 | 6230 0 nan | 0.000 % | 21.98/22.08 c | 101 | 8801 18691 657819 | 6853 101 21 | 2.493 % | 22.58/22.62 c =============================================================================== 22.58/22.62 c core #14 22.58/22.62 c Core size: 80 Core Weight: 1 Total Weight: 21 22.58/22.62 c Elapsed CPU time: 22.4046 s Remaining CPU time: 1777.6 s 22.78/22.86 c ============================[ Search Statistics ]============================== 22.78/22.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.78/22.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.78/22.86 c =============================================================================== 22.78/22.86 c | 0 | 8828 18696 657869 | 6232 0 nan | 0.000 % | 23.08/23.11 c | 101 | 8828 18696 657869 | 6855 101 29 | 2.485 % | 23.08/23.12 c | 253 | 8828 18696 657869 | 7540 253 22 | 2.485 % | 23.78/23.81 c | 481 | 8828 18696 657869 | 8294 481 41 | 2.485 % | 24.68/24.70 c | 819 | 8826 18696 657869 | 9124 819 49 | 2.585 % | 25.48/25.59 c | 1325 | 8826 18696 657869 | 10036 1325 64 | 2.585 % | 27.28/27.35 c | 2087 | 8826 18696 657869 | 11040 2087 73 | 2.585 % | 27.98/28.02 c =============================================================================== 27.98/28.04 c core #15 27.98/28.04 c Core size: 76 Core Weight: 1 Total Weight: 22 27.98/28.04 c Elapsed CPU time: 27.8098 s Remaining CPU time: 1772.19 s 28.18/28.26 c ============================[ Search Statistics ]============================== 28.18/28.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.18/28.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.18/28.26 c =============================================================================== 28.18/28.26 c | 0 | 8855 18701 657919 | 6233 0 nan | 0.000 % | 28.48/28.53 c | 101 | 8855 18701 657919 | 6857 101 38 | 2.478 % | 28.48/28.54 c | 253 | 8855 18701 657919 | 7542 253 29 | 2.478 % | 28.68/28.73 c | 479 | 8854 18701 657919 | 8297 479 29 | 2.489 % | 28.68/28.76 c | 818 | 8854 18701 657919 | 9126 818 28 | 2.489 % | 28.78/28.81 c | 1324 | 8854 18701 657919 | 10039 1324 28 | 2.489 % | 28.87/28.92 c | 2084 | 8854 18701 657919 | 11043 2084 28 | 2.489 % | 28.97/29.05 c =============================================================================== 28.97/29.07 c core #16 28.97/29.07 c Core size: 85 Core Weight: 1 Total Weight: 23 28.97/29.07 c Elapsed CPU time: 28.8226 s Remaining CPU time: 1771.18 s 29.28/29.30 c Learning 17 hard constraints 29.28/29.30 c ============================[ Search Statistics ]============================== 29.28/29.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 29.28/29.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 29.28/29.30 c =============================================================================== 29.28/29.30 c | 0 | 8874 18723 658510 | 6241 0 nan | 0.000 % | 29.28/29.31 c | 102 | 8874 18723 658510 | 6865 102 33 | 2.484 % | 29.28/29.33 c | 254 | 8874 18723 658510 | 7551 254 37 | 2.484 % | 29.28/29.35 c | 479 | 8874 18723 658510 | 8306 479 37 | 2.484 % | 29.38/29.40 c | 817 | 8874 18723 658510 | 9137 817 37 | 2.484 % | 29.38/29.46 c | 1323 | 8874 18723 658510 | 10051 1323 38 | 2.484 % | 29.48/29.58 c | 2086 | 8874 18723 658510 | 11056 2086 39 | 2.484 % | 29.78/29.85 c | 3226 | 8874 18723 658510 | 12161 3226 39 | 2.484 % | 30.17/30.27 c | 4936 | 8874 18723 658510 | 13378 4936 38 | 2.484 % | 30.97/31.02 c | 7498 | 8874 18723 658510 | 14715 7498 38 | 2.484 % | 32.57/32.63 c | 11343 | 8874 18723 658510 | 16187 11343 38 | 2.484 % | 36.17/36.22 c | 17110 | 8874 18723 658510 | 17806 8869 35 | 2.484 % | 39.87/39.99 c | 25759 | 8874 18723 658510 | 19586 17518 36 | 2.484 % | 43.27/43.36 c =============================================================================== 43.66/43.76 c core #17 43.66/43.76 c Core size: 70 Core Weight: 1 Total Weight: 24 43.66/43.76 c Elapsed CPU time: 43.4064 s Remaining CPU time: 1756.59 s 43.97/44.01 c ============================[ Search Statistics ]============================== 43.97/44.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.97/44.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.97/44.01 c =============================================================================== 43.97/44.01 c | 0 | 8894 18728 658546 | 6242 0 nan | 0.000 % | 43.97/44.03 c | 102 | 8894 18728 658546 | 6866 102 42 | 2.478 % | 46.57/46.67 c | 252 | 8893 18728 658546 | 7553 252 46 | 2.489 % | 48.17/48.20 c | 478 | 8892 18728 658546 | 8308 478 48 | 2.500 % | 48.47/48.53 c =============================================================================== 48.47/48.53 c core #18 48.47/48.53 c Core size: 134 Core Weight: 8 Total Weight: 32 48.47/48.53 c Elapsed CPU time: 48.1557 s Remaining CPU time: 1751.84 s 48.66/48.75 c Learning 420 hard constraints 48.66/48.75 c ============================[ Search Statistics ]============================== 48.66/48.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 48.66/48.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 48.66/48.75 c =============================================================================== 48.66/48.75 c | 0 | 9070 19152 679097 | 6384 0 nan | 0.000 % | 49.76/49.83 c | 102 | 9070 19152 679097 | 7022 102 50 | 0.592 % | 51.36/51.41 c | 252 | 9038 19152 679097 | 7724 252 57 | 5.118 % | 52.86/52.96 c =============================================================================== 52.86/52.97 c core #19 52.86/52.97 c Core size: 285 Core Weight: 1 Total Weight: 33 52.86/52.97 c Elapsed CPU time: 52.585 s Remaining CPU time: 1747.41 s 53.06/53.18 c Learning 382 hard constraints 53.06/53.18 c ============================[ Search Statistics ]============================== 53.06/53.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 53.06/53.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 53.06/53.18 c =============================================================================== 53.06/53.18 c | 0 | 9091 19540 701956 | 6513 0 nan | 0.000 % | 54.26/54.35 c | 100 | 9090 19540 701956 | 7164 100 55 | 0.601 % | 56.06/56.17 c | 250 | 9090 19540 701956 | 7881 250 54 | 0.601 % | 59.37/59.48 c | 475 | 9089 19540 701956 | 8669 475 56 | 0.612 % | 62.96/63.04 c | 813 | 9089 19540 701956 | 9536 813 55 | 0.612 % | 69.36/69.41 c | 1319 | 9089 19540 701956 | 10489 1319 58 | 0.612 % | 76.65/76.74 c =============================================================================== 76.65/76.75 c core #20 76.65/76.75 c Core size: 445 Core Weight: 1 Total Weight: 34 76.65/76.75 c Elapsed CPU time: 76.3314 s Remaining CPU time: 1723.67 s 76.86/76.98 c Learning 1937 hard constraints 76.86/76.98 c ============================[ Search Statistics ]============================== 76.86/76.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.86/76.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.86/76.98 c =============================================================================== 76.86/76.98 c | 0 | 9118 21484 815476 | 7161 0 nan | 0.000 % | 78.25/78.32 c | 103 | 9118 21484 815476 | 7877 103 63 | 0.589 % | 79.95/80.07 c | 254 | 9116 21484 815476 | 8665 254 62 | 1.188 % | 81.36/81.49 c | 481 | 9116 21484 815476 | 9531 481 56 | 1.188 % | 84.56/84.66 c | 819 | 9109 21484 815476 | 10484 819 54 | 1.188 % | 89.06/89.16 c | 1326 | 9109 21484 815476 | 11533 1326 57 | 1.188 % | 97.35/97.45 c | 2086 | 9109 21484 815476 | 12686 2086 59 | 1.188 % | 107.65/107.71 c | 3225 | 9063 21484 815476 | 13955 3085 62 | 1.188 % | 123.33/123.46 c | 4934 | 9031 21484 815476 | 15350 4581 63 | 1.766 % | 138.93/139.00 c | 7498 | 9026 21484 815476 | 16886 7145 57 | 2.889 % | 161.52/161.64 c | 11344 | 8906 21484 815476 | 18574 2851 42 | 2.901 % | 172.02/172.18 c =============================================================================== 172.12/172.26 c core #21 172.12/172.26 c Core size: 1150 Core Weight: 4 Total Weight: 38 172.12/172.26 c Elapsed CPU time: 171.715 s Remaining CPU time: 1628.29 s 172.42/172.53 c Learning 4488 hard constraints 172.42/172.53 c ============================[ Search Statistics ]============================== 172.42/172.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 172.42/172.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 172.42/172.53 c =============================================================================== 172.42/172.53 c | 0 | 9123 25976 1018316 | 8658 0 nan | 0.000 % | 172.63/172.77 c | 100 | 9119 25976 1018316 | 9524 100 26 | 0.719 % | 174.02/174.18 c | 252 | 9119 25976 1018316 | 10476 252 42 | 0.719 % | 175.72/175.84 c | 477 | 9119 25976 1018316 | 11524 477 49 | 0.719 % | 179.62/179.73 c | 815 | 9118 25976 1018316 | 12677 815 51 | 0.730 % | 183.31/183.44 c | 1321 | 9112 25976 1018316 | 13944 1321 48 | 0.795 % | 188.62/188.79 c | 2082 | 9112 25976 1018316 | 15339 2082 48 | 0.795 % | 200.01/200.20 c | 3222 | 9109 25976 1018316 | 16873 3222 49 | 0.839 % | 221.01/221.15 c | 4932 | 9094 25976 1018316 | 18560 4681 51 | 0.904 % | 247.09/247.30 c | 7494 | 9093 25976 1018316 | 20416 7243 52 | 0.915 % | 256.79/256.94 c =============================================================================== 256.89/257.01 c core #22 256.89/257.01 c Core size: 1466 Core Weight: 1 Total Weight: 39 256.89/257.01 c Elapsed CPU time: 256.384 s Remaining CPU time: 1543.62 s 257.20/257.31 c Learning 4229 hard constraints 257.20/257.31 c ============================[ Search Statistics ]============================== 257.20/257.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 257.20/257.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 257.20/257.31 c =============================================================================== 257.20/257.31 c | 0 | 9154 30210 1240925 | 10070 0 nan | 0.000 % | 257.20/257.37 c | 103 | 9154 30210 1240925 | 11077 103 34 | 0.586 % | 260.79/260.93 c | 253 | 9147 30210 1240925 | 12184 253 43 | 0.706 % | 263.09/263.29 c | 479 | 9147 30210 1240925 | 13403 479 49 | 0.706 % | 266.19/266.30 c | 816 | 9147 30210 1240925 | 14743 816 51 | 0.706 % | 269.79/269.94 c | 1323 | 9147 30210 1240925 | 16217 1323 50 | 0.706 % | 274.39/274.55 c | 2084 | 9147 30210 1240925 | 17839 2084 50 | 0.706 % | 283.88/284.09 c | 3223 | 9140 30210 1240925 | 19623 3223 53 | 2.302 % | 299.57/299.78 c | 4934 | 9140 30210 1240925 | 21585 4934 54 | 2.302 % | 316.57/316.70 c | 7497 | 8996 30210 1240925 | 23744 7015 56 | 2.302 % | 343.07/343.26 c | 11342 | 8996 30210 1240925 | 26118 10860 56 | 2.302 % | 382.65/382.83 c | 17108 | 8996 30210 1240925 | 28730 16626 54 | 2.302 % | 466.32/466.58 c | 25761 | 8996 30210 1240925 | 31603 25279 55 | 2.303 % | 491.41/491.64 c =============================================================================== 491.51/491.74 c core #23 491.51/491.74 c Core size: 680 Core Weight: 25 Total Weight: 64 491.51/491.74 c Elapsed CPU time: 490.822 s Remaining CPU time: 1309.18 s 492.00/492.28 c Learning 28173 hard constraints 492.00/492.28 c ============================[ Search Statistics ]============================== 492.00/492.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 492.00/492.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 492.00/492.28 c =============================================================================== 492.00/492.28 c | 0 | 9175 58386 2786277 | 19462 0 nan | 0.000 % | 492.11/492.38 c | 103 | 9175 58386 2786277 | 21408 103 34 | 0.391 % | 495.31/495.57 c | 253 | 9175 58386 2786277 | 23549 253 43 | 0.391 % | 497.11/497.35 c | 481 | 9158 58386 2786277 | 25903 481 50 | 0.575 % | 500.51/500.72 c | 819 | 9154 58386 2786277 | 28494 819 53 | 0.955 % | 504.91/505.15 c | 1326 | 9153 58386 2786277 | 31343 1326 53 | 0.956 % | 510.80/511.08 c | 2085 | 9153 58386 2786277 | 34478 2085 56 | 0.955 % | 520.29/520.59 c | 3224 | 9152 58386 2786277 | 37925 3224 57 | 1.238 % | 534.09/534.31 c | 4934 | 9150 58386 2786277 | 41718 4934 59 | 1.260 % | 549.19/549.48 c =============================================================================== 549.29/549.52 c core #24 549.29/549.52 c Core size: 1480 Core Weight: 1 Total Weight: 65 549.29/549.52 c Elapsed CPU time: 548.53 s Remaining CPU time: 1251.47 s 549.79/550.05 c Learning 5190 hard constraints 549.79/550.05 c ============================[ Search Statistics ]============================== 549.79/550.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 549.79/550.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 549.79/550.05 c =============================================================================== 549.79/550.05 c | 0 | 9208 63583 3084142 | 21194 0 nan | 0.000 % | 550.89/551.10 c | 100 | 9208 63583 3084142 | 23313 100 64 | 0.389 % | 553.09/553.32 c | 251 | 9208 63583 3084142 | 25645 251 67 | 0.390 % | 556.08/556.31 c | 477 | 9208 63583 3084142 | 28209 477 59 | 0.389 % | 559.38/559.63 c | 815 | 9208 63583 3084142 | 31030 815 54 | 0.389 % | 565.08/565.31 c | 1323 | 9208 63583 3084142 | 34133 1323 52 | 0.389 % | 571.08/571.31 c | 2084 | 9208 63583 3084142 | 37547 2084 53 | 0.389 % | 580.66/580.98 c | 3223 | 9208 63583 3084142 | 41301 3223 53 | 0.389 % | 598.66/598.93 c | 4933 | 9202 63583 3084142 | 45431 4933 55 | 0.746 % | 619.56/619.80 c | 7495 | 9201 63583 3084142 | 49975 7495 57 | 0.757 % | 648.94/649.22 c | 11341 | 9184 63583 3084142 | 54972 11341 58 | 1.093 % | 692.02/692.31 c | 17107 | 9184 63583 3084142 | 60469 17107 58 | 1.093 % | 759.70/760.04 c | 25757 | 9143 63583 3084142 | 66516 22990 59 | 1.093 % | 869.67/870.06 c | 38733 | 9142 63583 3084142 | 73168 35966 60 | 1.277 % | 1035.99/1036.41 c | 58194 | 9125 63583 3084142 | 80485 55332 60 | 1.385 % | 1209.12/1209.66 c =============================================================================== 1209.81/1210.34 c core #25 1209.81/1210.34 c Core size: 3421 Core Weight: 1 Total Weight: 66 1209.81/1210.34 c Elapsed CPU time: 1208.67 s Remaining CPU time: 591.333 s 1210.62/1211.13 c Learning 25990 hard constraints 1210.62/1211.13 c ============================[ Search Statistics ]============================== 1210.62/1211.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1210.62/1211.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1210.62/1211.13 c =============================================================================== 1210.62/1211.13 c | 0 | 9241 89582 4414307 | 29860 0 nan | 0.000 % | 1211.82/1212.35 c | 100 | 9241 89582 4414307 | 32846 100 45 | 0.388 % | 1213.52/1214.06 c | 250 | 9241 89582 4414307 | 36131 250 49 | 0.388 % | 1215.51/1216.00 c | 475 | 9241 89582 4414307 | 39744 475 55 | 0.388 % | 1218.42/1218.96 c | 812 | 9241 89582 4414307 | 43719 812 55 | 0.388 % | 1223.82/1224.33 c | 1318 | 9241 89582 4414307 | 48090 1318 55 | 0.388 % | 1229.31/1229.81 c | 2078 | 9241 89582 4414307 | 52899 2078 52 | 0.388 % | 1238.11/1238.66 c | 3218 | 9241 89582 4414307 | 58189 3218 55 | 0.388 % | 1259.60/1260.11 c | 4926 | 9241 89582 4414307 | 64008 4926 56 | 0.388 % | 1285.78/1286.30 c | 7489 | 9241 89582 4414307 | 70409 7489 59 | 0.388 % | 1314.17/1314.72 c | 11334 | 9226 89582 4414307 | 77450 11334 57 | 0.604 % | 1364.15/1364.78 c | 17101 | 9226 89582 4414307 | 85195 17101 60 | 0.604 % | 1439.12/1439.72 c | 25750 | 9221 89582 4414307 | 93715 24900 59 | 0.604 % | 1545.49/1546.10 c | 38725 | 9221 89582 4414307 | 103087 37875 60 | 0.604 % | 1690.93/1691.67 c | 58187 | 9221 89582 4414307 | 113395 57337 58 | 0.604 % |
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-1875539-1245170394/watcher-1875539-1245170394 -o /tmp/evaluation-result-1875539-1245170394/solver-1875539-1245170394 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875539-1245170394.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.93 0.97 0.99 3/64 5576 /proc/meminfo: memFree=1877168/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=7444 CPUtime=0 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 201 0 0 0 0 0 0 0 18 0 1 0 184639392 7622656 185 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 1861 185 128 292 0 336 0 [startup+0.0187671 s] /proc/loadavg: 0.93 0.97 0.99 3/64 5576 /proc/meminfo: memFree=1877168/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=7708 CPUtime=0.01 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 307 0 0 0 1 0 0 0 18 0 1 0 184639392 7892992 291 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 1927 292 151 292 0 402 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 7708 [startup+0.101775 s] /proc/loadavg: 0.93 0.97 0.99 3/64 5576 /proc/meminfo: memFree=1877168/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=9980 CPUtime=0.09 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 976 0 0 0 9 0 0 0 18 0 1 0 184639392 10219520 960 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 2495 960 284 292 0 970 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9980 [startup+0.301798 s] /proc/loadavg: 0.93 0.97 0.99 3/64 5576 /proc/meminfo: memFree=1877168/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=14688 CPUtime=0.29 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 2463 0 0 0 28 1 0 0 19 0 1 0 184639392 15040512 2447 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 3672 2447 589 292 0 2147 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14688 [startup+0.701842 s] /proc/loadavg: 0.93 0.97 0.99 3/64 5576 /proc/meminfo: memFree=1877168/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=23388 CPUtime=0.7 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 5221 0 0 0 68 2 0 0 23 0 1 0 184639392 23949312 5205 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 5847 5205 1175 292 0 4322 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 23388 [startup+1.50293 s] /proc/loadavg: 0.93 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1838568/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=64800 CPUtime=1.49 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 17153 0 0 0 142 7 0 0 25 0 1 0 184639392 66355200 15748 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 16200 15748 135 292 0 15905 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 64800 [startup+3.10111 s] /proc/loadavg: 0.93 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1790888/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=112024 CPUtime=3.09 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 28952 0 0 0 297 12 0 0 25 0 1 0 184639392 114712576 27547 1992294400 134512640 135709839 4294956240 18446744073709551615 135163850 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 28006 27547 135 292 0 27711 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 112024 [startup+6.30148 s] /proc/loadavg: 0.94 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1755112/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=123836 CPUtime=6.29 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 31912 0 0 0 615 14 0 0 25 0 1 0 184639392 126808064 30507 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 30959 30507 136 292 0 30664 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 123836 [startup+12.7012 s] /proc/loadavg: 0.94 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1731496/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=147588 CPUtime=12.68 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 37843 0 0 0 1252 16 0 0 25 0 1 0 184639392 151130112 36438 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 36897 36438 136 292 0 36602 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 147588 [startup+25.5017 s] /proc/loadavg: 0.95 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1683944/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=195256 CPUtime=25.48 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 49747 0 0 0 2527 21 0 0 25 0 1 0 184639392 199942144 48342 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 48814 48342 136 292 0 48519 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 195256 [startup+51.1016 s] /proc/loadavg: 0.97 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1631848/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=247140 CPUtime=51.06 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 62814 0 0 0 5071 35 0 0 25 0 1 0 184639392 253071360 61301 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 61785 61301 136 292 0 61490 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 247140 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1606120/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=272756 CPUtime=102.25 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 69256 0 0 0 10184 41 0 0 25 0 1 0 184639392 279302144 67743 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 68189 67743 136 292 0 67894 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 272756 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1606056/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=272756 CPUtime=162.22 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 69256 0 0 0 16176 46 0 0 25 0 1 0 184639392 279302144 67743 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 68189 67743 136 292 0 67894 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 272756 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1588584/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=290216 CPUtime=222.2 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 73616 0 0 0 22169 51 0 0 25 0 1 0 184639392 297181184 72103 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 72554 72103 136 292 0 72259 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 290216 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1573928/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=304660 CPUtime=282.18 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 77241 0 0 0 28162 56 0 0 25 0 1 0 184639392 311971840 75728 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 76165 75728 136 292 0 75870 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 304660 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1573864/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=304660 CPUtime=342.17 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 77241 0 0 0 34154 63 0 0 25 0 1 0 184639392 311971840 75728 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 76165 75728 136 292 0 75870 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 304660 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1573800/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=304660 CPUtime=402.14 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 77241 0 0 0 40147 67 0 0 25 0 1 0 184639392 311971840 75728 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 76165 75728 136 292 0 75870 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 304660 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1573736/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=304660 CPUtime=462.12 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 77242 0 0 0 46142 70 0 0 25 0 1 0 184639392 311971840 75729 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 76165 75729 136 292 0 75870 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 304660 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1544744/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=333856 CPUtime=522.09 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 84529 0 0 0 52132 77 0 0 25 0 1 0 184639392 341868544 82983 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 83464 82983 136 292 0 83169 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 333856 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1531816/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=346764 CPUtime=582.07 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 87744 0 0 0 58125 82 0 0 25 0 1 0 184639392 355086336 86198 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 86691 86198 136 292 0 86396 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 346764 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5577 /proc/meminfo: memFree=1531688/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=346764 CPUtime=642.05 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 87744 0 0 0 64120 85 0 0 25 0 1 0 184639392 355086336 86198 1992294400 134512640 135709839 4294956240 18446744073709551615 134572707 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 86691 86198 136 292 0 86396 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 346764 [startup+702.302 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5579 /proc/meminfo: memFree=1531432/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=346764 CPUtime=821.98 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 87744 0 0 0 82100 98 0 0 25 0 1 0 184639392 355086336 86198 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 86691 86198 136 292 0 86396 0 Current children cumulated CPU time (s) 821.98 Current children cumulated vsize (KiB) 346764 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5579 /proc/meminfo: memFree=1531432/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=346764 CPUtime=881.95 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 87744 0 0 0 88095 100 0 0 25 0 1 0 184639392 355086336 86198 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 86691 86198 136 292 0 86396 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 346764 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5579 /proc/meminfo: memFree=1531432/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=346764 CPUtime=941.93 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 87746 0 0 0 94089 104 0 0 25 0 1 0 184639392 355086336 86200 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 86691 86200 136 292 0 86396 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 346764 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5579 /proc/meminfo: memFree=1531176/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=347028 CPUtime=1001.9 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 87842 0 0 0 100081 109 0 0 25 0 1 0 184639392 355356672 86296 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 86757 86296 136 292 0 86462 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 347028 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5579 /proc/meminfo: memFree=1528680/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=349572 CPUtime=1061.88 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 88468 0 0 0 106074 114 0 0 25 0 1 0 184639392 357961728 86922 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 87393 86922 136 292 0 87098 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 349572 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5579 /proc/meminfo: memFree=1526632/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=351716 CPUtime=1121.85 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 88971 0 0 0 112069 116 0 0 25 0 1 0 184639392 360157184 87425 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 87929 87425 136 292 0 87634 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 351716 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5579 /proc/meminfo: memFree=1524456/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=353848 CPUtime=1181.84 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 89508 0 0 0 118065 119 0 0 25 0 1 0 184639392 362340352 87962 1992294400 134512640 135709839 4294956240 18446744073709551615 134572671 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 88462 87962 136 292 0 88167 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 353848 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5579 /proc/meminfo: memFree=1484328/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1241.81 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 124054 127 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134578626 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 393748 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1484200/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1301.78 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 130047 131 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 393748 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1484200/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1361.75 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 136041 134 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 393748 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1484200/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1421.73 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 142035 138 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 393748 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1484200/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1481.71 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 148028 143 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 393748 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1484136/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1541.69 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 154021 148 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 393748 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1484136/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1601.66 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 160015 151 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 393748 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1484072/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1661.64 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 166007 157 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 393748 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1484136/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1721.62 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 171999 163 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 393748 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1483944/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1781.59 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 177992 167 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 393748 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.99 2/65 5585 /proc/meminfo: memFree=1483944/2055920 swapFree=4182468/4192956 [pid=5576] ppid=5574 vsize=393748 CPUtime=1800.09 /proc/5576/stat : 5576 (wbo) R 5574 5576 5157 0 -1 4194304 99561 0 0 0 179840 169 0 0 25 0 1 0 184639392 403197952 97887 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5576/statm: 98437 97887 136 292 0 98142 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 393748 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): 1800.87 CPU time (s): 1800.16 CPU user time (s): 1798.41 CPU system time (s): 1.75273 CPU usage (%): 99.961 Max. virtual memory (cumulated for all children) (KiB): 394476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.41 system time used= 1.75273 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 99561 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= 3 involuntary context switches= 7097 runsolver used 1.65575 second user time and 4.91225 second system time The end
Begin job on node23 at 2009-06-16 18:39:55 IDJOB=1875539 IDBENCH=2630 IDSOLVER=698 FILE ID=node23/1875539-1245170394 PBS_JOBID= 9363852 Free space on /tmp= 66264 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.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-1875539-1245170394/watcher-1875539-1245170394 -o /tmp/evaluation-result-1875539-1245170394/solver-1875539-1245170394 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875539-1245170394.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= de4cbecd7c9968d40b279ce145b888a9 RANDOM SEED=2136734346 node23.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.236 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.236 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 : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1877648 kB Buffers: 36088 kB Cached: 79968 kB SwapCached: 4304 kB Active: 61376 kB Inactive: 62564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1877648 kB SwapTotal: 4192956 kB SwapFree: 4182468 kB Dirty: 7460 kB Writeback: 0 kB Mapped: 14576 kB Slab: 40360 kB Committed_AS: 163524 kB PageTables: 1392 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-1875539-1245170394.opb Free space on /tmp at the end= 66264 MiB End job on node23 at 2009-06-16 19:09:58