Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.08 | 1800.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_20.opb |
MD5SUM | 6a25ee38adc43f783b18badd1224270c |
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 | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 13480 |
Total number of constraints | 26619 |
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 | 26619 |
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 | 2843 |
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 wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460752-1307101309.opb. 0.00/0.00 c Instance file HOME/instance-3460752-1307101309.opb 0.00/0.00 c File size is 7804237 bytes. 0.49/0.58 c Highest Coefficient sum: 2843 0.49/0.58 c ============================[ Problem Statistics ]============================= 0.49/0.58 c | | 0.49/0.58 c | Parsing time: 0.56 s | 0.49/0.58 c | Number Variables: 13480 | 0.49/0.58 c | Number Clauses: 0 | 0.49/0.58 c | Number Cardinality: 0 | 0.49/0.58 c | Number PB Constraints: 26619 | 0.49/0.59 c ============================[ Search Statistics ]============================== 0.49/0.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.49/0.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.49/0.59 c =============================================================================== 0.49/0.59 c | 0 | 13480 26619 916142 | 8873 0 -nan | 0.000 % | 1.49/1.53 c core #1 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 10 Core Weight: 1 Total Weight: 1 1.49/1.53 c Current CPU time: 0.85087 s 1.49/1.53 c 1.49/1.53 c core #2 1.49/1.53 c 1.49/1.53 c 1.49/1.53 c Core size: 12 Core Weight: 1 Total Weight: 2 1.49/1.53 c Current CPU time: 1.14482 s 1.49/1.53 c 1.49/1.53 c ============================[ Search Statistics ]============================== 1.49/1.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.53 c =============================================================================== 1.49/1.53 c | 0 | 13357 26645 916165 | 8881 0 -nan | 0.000 % | 1.49/1.54 c =============================================================================== 1.79/1.88 c core #3 1.79/1.88 c 1.79/1.88 c 1.79/1.88 c Core size: 16 Core Weight: 1 Total Weight: 3 1.79/1.88 c Current CPU time: 1.49377 s 1.79/1.88 c 1.79/1.88 c ============================[ Search Statistics ]============================== 1.79/1.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 13366 26653 916176 | 8884 0 -nan | 0.000 % | 1.79/1.89 c =============================================================================== 2.21/2.25 c core #4 2.21/2.25 c 2.21/2.25 c 2.21/2.25 c Core size: 15 Core Weight: 1 Total Weight: 4 2.21/2.25 c Current CPU time: 1.84972 s 2.21/2.25 c 2.21/2.25 c ============================[ Search Statistics ]============================== 2.21/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.25 c =============================================================================== 2.21/2.25 c | 0 | 13393 26660 916191 | 8886 0 -nan | 0.000 % | 2.21/2.28 c =============================================================================== 2.59/2.64 c core #5 2.59/2.64 c 2.59/2.64 c 2.59/2.64 c Core size: 17 Core Weight: 1 Total Weight: 5 2.59/2.64 c Current CPU time: 2.23866 s 2.59/2.64 c 2.59/2.64 c ============================[ Search Statistics ]============================== 2.59/2.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.59/2.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.59/2.64 c =============================================================================== 2.59/2.64 c | 0 | 13404 26667 916207 | 8889 0 -nan | 0.000 % | 2.69/2.72 c =============================================================================== 2.99/3.08 c core #6 2.99/3.08 c 2.99/3.08 c 2.99/3.08 c Core size: 16 Core Weight: 3 Total Weight: 8 2.99/3.08 c Current CPU time: 2.67359 s 2.99/3.08 c 2.99/3.08 c ============================[ Search Statistics ]============================== 2.99/3.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.08 c =============================================================================== 2.99/3.08 c | 0 | 13430 26673 916225 | 8891 0 -nan | 0.000 % | 3.21/3.24 c =============================================================================== 3.59/3.60 c core #7 3.59/3.60 c 3.59/3.60 c 3.59/3.60 c Core size: 20 Core Weight: 1 Total Weight: 9 3.59/3.60 c Current CPU time: 3.19051 s 3.59/3.60 c 3.59/3.60 c ============================[ Search Statistics ]============================== 3.59/3.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.60 c =============================================================================== 3.59/3.60 c | 0 | 13442 26679 916244 | 8893 0 -nan | 0.000 % | 3.89/3.91 c =============================================================================== 4.19/4.26 c core #8 4.19/4.26 c 4.19/4.26 c 4.19/4.26 c Core size: 22 Core Weight: 1 Total Weight: 10 4.19/4.26 c Current CPU time: 3.86141 s 4.19/4.26 c 4.19/4.26 c ============================[ Search Statistics ]============================== 4.19/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.26 c =============================================================================== 4.19/4.26 c | 0 | 13455 26685 916265 | 8895 0 -nan | 0.000 % | 4.79/4.88 c | 101 | 13455 26685 916265 | 9784 101 25 | 0.738 % | 5.41/5.42 c =============================================================================== 5.69/5.79 c core #9 5.69/5.79 c 5.69/5.79 c 5.69/5.79 c Core size: 15 Core Weight: 6 Total Weight: 16 5.69/5.79 c Current CPU time: 5.37518 s 5.69/5.79 c 5.69/5.79 c ============================[ Search Statistics ]============================== 5.69/5.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.69/5.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.69/5.79 c =============================================================================== 5.69/5.79 c | 0 | 13480 26690 916288 | 8896 0 -nan | 0.000 % | 6.51/6.59 c | 100 | 13480 26690 916288 | 9786 100 26 | 0.590 % | 7.49/7.57 c | 250 | 13470 26690 916288 | 10764 250 28 | 0.907 % | 7.61/7.63 c =============================================================================== 7.89/7.99 c core #10 7.89/7.99 c 7.89/7.99 c 7.89/7.99 c Core size: 35 Core Weight: 1 Total Weight: 17 7.89/7.99 c Current CPU time: 7.57885 s 7.89/7.99 c 7.89/7.99 c ============================[ Search Statistics ]============================== 7.89/7.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.89/7.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.89/7.99 c =============================================================================== 7.89/7.99 c | 0 | 13494 26697 916316 | 8899 0 -nan | 0.000 % | 8.81/8.87 c | 101 | 13494 26697 916316 | 9788 101 26 | 0.589 % | 10.19/10.29 c | 253 | 13494 26697 916316 | 10767 253 30 | 0.589 % | 11.29/11.37 c =============================================================================== 11.69/11.74 c core #11 11.69/11.74 c 11.69/11.74 c 11.69/11.74 c Core size: 61 Core Weight: 1 Total Weight: 18 11.69/11.74 c Current CPU time: 11.3203 s 11.69/11.74 c 11.69/11.74 c ============================[ Search Statistics ]============================== 11.69/11.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.69/11.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.69/11.74 c =============================================================================== 11.69/11.74 c | 0 | 13512 26704 916352 | 8901 0 -nan | 0.000 % | 12.49/12.54 c | 100 | 13512 26704 916352 | 9791 100 28 | 0.589 % | 13.49/13.52 c | 250 | 13512 26704 916352 | 10770 250 37 | 0.589 % | 14.89/14.93 c | 475 | 13511 26704 916352 | 11847 475 36 | 0.596 % | 16.41/16.45 c | 815 | 13492 26704 916352 | 13032 815 36 | 0.986 % | 16.41/16.52 c =============================================================================== 16.79/16.88 c core #12 16.79/16.88 c 16.79/16.88 c 16.79/16.88 c Core size: 42 Core Weight: 1 Total Weight: 19 16.79/16.88 c Current CPU time: 16.4635 s 16.79/16.88 c 16.79/16.88 c ============================[ Search Statistics ]============================== 16.79/16.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.79/16.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.79/16.88 c =============================================================================== 16.79/16.88 c | 0 | 13518 26709 916360 | 8903 0 -nan | 0.000 % | 17.61/17.63 c | 100 | 13518 26709 916360 | 9793 100 25 | 0.588 % | 18.39/18.41 c | 251 | 13518 26709 916360 | 10772 251 27 | 0.588 % | 19.59/19.64 c | 476 | 13518 26709 916360 | 11849 476 28 | 0.588 % | 22.19/22.26 c | 814 | 13518 26709 916360 | 13034 814 32 | 0.588 % | 24.89/24.90 c | 1321 | 13517 26709 916360 | 14338 1321 33 | 0.596 % | 29.29/29.39 c | 2082 | 13493 26709 916360 | 15772 2082 36 | 2.699 % | 31.91/31.98 c =============================================================================== 32.30/32.34 c core #13 32.30/32.34 c 32.30/32.34 c 32.30/32.34 c Core size: 49 Core Weight: 13 Total Weight: 32 32.30/32.34 c Current CPU time: 31.9251 s 32.30/32.34 c 32.30/32.34 c ============================[ Search Statistics ]============================== 32.30/32.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.30/32.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.30/32.34 c =============================================================================== 32.30/32.34 c | 0 | 13542 26713 916390 | 8904 0 -nan | 0.000 % | 33.01/33.09 c | 102 | 13542 26713 916390 | 9794 102 25 | 0.441 % | 34.01/34.10 c | 252 | 13536 26713 916390 | 10774 252 25 | 0.581 % | 35.39/35.48 c | 477 | 13536 26713 916390 | 11851 477 29 | 0.581 % | 37.31/37.34 c | 816 | 13534 26713 916390 | 13036 816 30 | 0.588 % | 39.79/39.86 c | 1322 | 13533 26713 916390 | 14340 1322 30 | 0.588 % | 43.19/43.21 c | 2082 | 13522 26713 916390 | 15774 2082 32 | 0.588 % | 49.69/49.73 c | 3222 | 13519 26713 916390 | 17352 3222 32 | 0.713 % | 56.59/56.67 c =============================================================================== 56.99/57.03 c core #14 56.99/57.03 c 56.99/57.03 c 56.99/57.03 c Core size: 68 Core Weight: 1 Total Weight: 33 56.99/57.03 c Current CPU time: 56.6084 s 56.99/57.03 c 56.99/57.03 c ============================[ Search Statistics ]============================== 56.99/57.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.99/57.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.99/57.03 c =============================================================================== 56.99/57.03 c | 0 | 13575 26719 916457 | 8906 0 -nan | 0.000 % | 57.69/57.72 c | 102 | 13575 26719 916457 | 9796 102 25 | 0.440 % | 58.79/58.84 c | 253 | 13575 26719 916457 | 10776 253 26 | 0.440 % | 60.29/60.40 c | 479 | 13575 26719 916457 | 11854 479 30 | 0.440 % | 62.19/62.28 c | 816 | 13575 26719 916457 | 13039 816 31 | 0.440 % | 65.49/65.58 c | 1323 | 13575 26719 916457 | 14343 1323 33 | 0.440 % | 70.59/70.63 c | 2082 | 13575 26719 916457 | 15778 2082 35 | 0.440 % | 75.81/75.91 c | 3222 | 13575 26719 916457 | 17355 3222 37 | 0.440 % | 85.89/85.99 c | 4930 | 13575 26719 916457 | 19091 4930 38 | 0.440 % | 98.69/98.75 c | 7494 | 13575 26719 916457 | 21000 7494 40 | 0.440 % | 115.41/115.43 c | 11338 | 13575 26719 916457 | 23100 11338 42 | 0.440 % | 141.39/141.47 c | 17106 | 13575 26719 916457 | 25410 17106 43 | 0.440 % | 185.30/185.34 c =============================================================================== 185.69/185.74 c core #15 185.69/185.74 c 185.69/185.74 c 185.69/185.74 c Core size: 55 Core Weight: 1 Total Weight: 34 185.69/185.74 c Current CPU time: 185.22 s 185.69/185.74 c 185.69/185.74 c ============================[ Search Statistics ]============================== 185.69/185.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.69/185.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.69/185.74 c =============================================================================== 185.69/185.74 c | 0 | 13584 26726 916478 | 8908 0 -nan | 0.000 % | 186.59/186.66 c | 102 | 13584 26726 916478 | 9799 102 25 | 0.440 % | 187.69/187.72 c | 253 | 13584 26726 916478 | 10779 253 26 | 0.440 % | 188.69/188.76 c | 480 | 13584 26726 916478 | 11857 480 29 | 0.440 % | 190.49/190.53 c | 817 | 13584 26726 916478 | 13043 817 31 | 0.440 % | 194.50/194.51 c | 1324 | 13584 26726 916478 | 14347 1324 35 | 0.440 % | 199.90/199.92 c | 2083 | 13584 26726 916478 | 15782 2083 39 | 0.440 % | 208.10/208.15 c | 3222 | 13584 26726 916478 | 17360 3222 41 | 0.440 % | 217.90/217.93 c | 4930 | 13584 26726 916478 | 19096 4930 41 | 0.440 % | 234.00/234.03 c | 7494 | 13577 26726 916478 | 21006 7494 42 | 0.491 % | 259.69/259.74 c | 11338 | 13576 26726 916478 | 23106 11338 45 | 0.498 % | 295.82/295.88 c | 17104 | 13571 26726 916478 | 25417 17104 48 | 0.542 % | 299.60/299.66 c =============================================================================== 300.00/300.04 c core #16 300.00/300.04 c 300.00/300.04 c 300.00/300.04 c Core size: 44 Core Weight: 4 Total Weight: 38 300.00/300.04 c Current CPU time: 299.503 s 300.00/300.04 c 300.00/300.04 c ============================[ Search Statistics ]============================== 300.00/300.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 300.00/300.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 300.00/300.04 c =============================================================================== 300.00/300.04 c | 0 | 13589 26730 916485 | 8910 0 -nan | 0.000 % | 300.80/300.84 c | 102 | 13589 26730 916485 | 9801 102 25 | 0.440 % | 301.90/301.92 c | 253 | 13589 26730 916485 | 10781 253 24 | 0.440 % | 303.30/303.38 c | 481 | 13589 26730 916485 | 11859 481 25 | 0.440 % | 305.30/305.31 c | 820 | 13589 26730 916485 | 13045 820 25 | 0.440 % | 308.60/308.61 c | 1326 | 13589 26730 916485 | 14349 1326 30 | 0.440 % | 311.59/311.60 c | 2085 | 13589 26730 916485 | 15784 2085 32 | 0.440 % | 315.50/315.53 c | 3224 | 13589 26730 916485 | 17363 3224 31 | 0.440 % | 326.10/326.15 c | 4932 | 13589 26730 916485 | 19099 4932 34 | 0.440 % | 341.30/341.31 c | 7494 | 13589 26730 916485 | 21009 7494 36 | 0.440 % | 362.60/362.65 c | 11338 | 13589 26730 916485 | 23110 11338 38 | 0.440 % | 388.22/388.30 c | 17106 | 13589 26730 916485 | 25421 17106 39 | 0.440 % | 424.70/424.70 c | 25756 | 13589 26730 916485 | 27963 11771 39 | 0.440 % | 507.50/507.58 c | 38731 | 13589 26730 916485 | 30759 24746 41 | 0.440 % | 605.70/605.72 c | 58194 | 13589 26730 916485 | 33835 24502 43 | 0.440 % | 680.71/680.75 c =============================================================================== 681.11/681.15 c core #17 681.11/681.15 c 681.11/681.15 c 681.11/681.15 c Core size: 47 Core Weight: 1 Total Weight: 39 681.11/681.15 c Current CPU time: 680.443 s 681.11/681.15 c 681.11/681.15 c ============================[ Search Statistics ]============================== 681.11/681.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 681.11/681.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 681.11/681.15 c =============================================================================== 681.11/681.15 c | 0 | 13597 26735 916500 | 8911 0 -nan | 0.000 % | 681.93/681.98 c | 100 | 13597 26735 916500 | 9802 100 35 | 0.439 % | 683.03/683.10 c | 250 | 13597 26735 916500 | 10783 250 28 | 0.439 % | 684.23/684.23 c | 476 | 13597 26735 916500 | 11861 476 28 | 0.439 % | 685.51/685.59 c | 813 | 13597 26735 916500 | 13047 813 28 | 0.439 % | 687.31/687.36 c | 1319 | 13597 26735 916500 | 14352 1319 29 | 0.439 % | 689.21/689.28 c | 2078 | 13597 26735 916500 | 15787 2078 30 | 0.439 % | 696.41/696.49 c | 3217 | 13597 26735 916500 | 17366 3217 33 | 0.439 % | 706.80/706.83 c | 4925 | 13597 26735 916500 | 19102 4925 35 | 0.439 % | 712.61/712.72 c | 7489 | 13597 26735 916500 | 21013 7489 35 | 0.439 % | 736.31/736.36 c | 11333 | 13597 26735 916500 | 23114 11333 38 | 0.439 % | 761.81/761.90 c | 17099 | 13597 26735 916500 | 25426 17099 39 | 0.439 % | 785.43/785.44 c | 25749 | 13597 26735 916500 | 27968 11916 37 | 0.439 % | 846.61/846.68 c | 38724 | 13597 26735 916500 | 30765 24891 39 | 0.439 % | 856.11/856.13 c =============================================================================== 856.51/856.51 c core #18 856.51/856.51 c 856.51/856.51 c 856.51/856.51 c Core size: 53 Core Weight: 1 Total Weight: 40 856.51/856.51 c Current CPU time: 855.748 s 856.51/856.51 c 856.51/856.51 c ============================[ Search Statistics ]============================== 856.51/856.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 856.51/856.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 856.51/856.51 c =============================================================================== 856.51/856.51 c | 0 | 13604 26739 916511 | 8913 0 -nan | 0.000 % | 857.21/857.29 c | 100 | 13604 26739 916511 | 9804 100 25 | 0.439 % | 858.51/858.51 c | 250 | 13604 26739 916511 | 10784 250 25 | 0.439 % | 860.01/860.11 c | 475 | 13604 26739 916511 | 11863 475 26 | 0.439 % | 861.42/861.44 c | 812 | 13604 26739 916511 | 13049 812 29 | 0.439 % | 864.21/864.21 c | 1318 | 13604 26739 916511 | 14354 1318 33 | 0.439 % | 866.73/866.77 c | 2077 | 13604 26739 916511 | 15789 2077 33 | 0.439 % | 870.13/870.12 c | 3216 | 13604 26739 916511 | 17368 3216 33 | 0.439 % | 882.71/882.78 c | 4925 | 13604 26739 916511 | 19105 4925 36 | 0.439 % | 889.12/889.15 c | 7488 | 13604 26739 916511 | 21016 7488 35 | 0.439 % | 917.81/917.89 c | 11332 | 13604 26739 916511 | 23118 11332 38 | 0.439 % | 941.91/941.91 c | 17098 | 13604 26739 916511 | 25429 17098 39 | 0.439 % | 980.61/980.68 c | 25748 | 13604 26739 916511 | 27972 25748 39 | 0.439 % | 1047.31/1047.39 c | 38723 | 13604 26739 916511 | 30770 19330 41 | 0.439 % | 1148.44/1148.49 c | 58185 | 13604 26739 916511 | 33847 19554 40 | 0.439 % | 1186.42/1186.48 c =============================================================================== 1186.84/1186.88 c core #19 1186.84/1186.88 c 1186.84/1186.88 c 1186.84/1186.88 c Core size: 47 Core Weight: 1 Total Weight: 41 1186.84/1186.88 c Current CPU time: 1185.99 s 1186.84/1186.88 c 1186.84/1186.88 c ============================[ Search Statistics ]============================== 1186.84/1186.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1186.84/1186.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1186.84/1186.88 c =============================================================================== 1186.84/1186.88 c | 0 | 13612 26743 916524 | 8914 0 -nan | 0.000 % | 1187.82/1187.86 c | 103 | 13612 26743 916524 | 9805 103 36 | 0.439 % | 1188.82/1188.82 c | 253 | 13612 26743 916524 | 10786 253 30 | 0.439 % | 1190.24/1190.23 c | 479 | 13612 26743 916524 | 11864 479 28 | 0.439 % | 1191.72/1191.78 c | 817 | 13612 26743 916524 | 13051 817 28 | 0.439 % | 1194.32/1194.32 c | 1323 | 13612 26743 916524 | 14356 1323 30 | 0.439 % | 1197.02/1197.05 c | 2084 | 13612 26743 916524 | 15792 2084 31 | 0.439 % | 1203.72/1203.72 c | 3224 | 13612 26743 916524 | 17371 3224 34 | 0.439 % | 1209.72/1209.80 c | 4932 | 13612 26743 916524 | 19108 4932 34 | 0.439 % | 1218.52/1218.55 c | 7494 | 13612 26743 916524 | 21019 7494 35 | 0.439 % | 1230.43/1230.40 c | 11339 | 13612 26743 916524 | 23121 11339 36 | 0.439 % | 1265.62/1265.69 c | 17106 | 13612 26743 916524 | 25433 17106 37 | 0.439 % | 1286.94/1286.95 c | 25756 | 13612 26743 916524 | 27976 11282 36 | 0.439 % | 1357.13/1357.16 c | 38730 | 13612 26743 916524 | 30774 24256 38 | 0.439 % | 1451.95/1451.93 c | 58191 | 12945 26743 916524 | 33852 26133 40 | 5.317 % | 1572.34/1572.30 c | 87383 | 12945 26743 916524 | 37237 28890 41 | 5.317 % | 1779.64/1779.67 c | 131172 | 12932 26743 916524 | 40961 21577 40 | 5.413 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460752-1307101309/watcher-3460752-1307101309 -o /tmp/evaluation-result-3460752-1307101309/solver-3460752-1307101309 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460752-1307101309.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.04 2.00 3/550 22106 /proc/meminfo: memFree=21177224/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=11328 CPUtime=0.01 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 759 0 0 0 1 0 0 0 25 0 1 0 821731285 11599872 712 33554432000 4194304 5714214 140734864911568 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 2832 712 231 372 0 551 0 [startup+0.0625851 s] /proc/loadavg: 2.02 2.04 2.00 3/550 22106 /proc/meminfo: memFree=21177224/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=14924 CPUtime=0.05 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 1812 0 0 0 5 0 0 0 25 0 1 0 821731285 15282176 1765 33554432000 4194304 5714214 140734864911568 18446744073709551615 4964930 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 3731 1766 375 372 0 1450 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 14924 [startup+0.100604 s] /proc/loadavg: 2.02 2.04 2.00 3/550 22106 /proc/meminfo: memFree=21177224/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=18240 CPUtime=0.09 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 2768 0 0 0 9 0 0 0 25 0 1 0 821731285 18677760 2721 33554432000 4194304 5714214 140734864911568 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 4560 2723 502 372 0 2279 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 18240 [startup+0.300572 s] /proc/loadavg: 2.02 2.04 2.00 3/550 22106 /proc/meminfo: memFree=21177224/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=35560 CPUtime=0.29 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 7686 0 0 0 28 1 0 0 25 0 1 0 821731285 36413440 7639 33554432000 4194304 5714214 140734864911568 18446744073709551615 4228183 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 8890 7640 1153 372 0 6609 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35560 [startup+0.700499 s] /proc/loadavg: 2.02 2.04 2.00 3/550 22106 /proc/meminfo: memFree=21177224/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=99504 CPUtime=0.69 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 26309 0 0 0 66 3 0 0 18 0 1 0 821731285 101892096 24327 33554432000 4194304 5714214 140734864911568 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 24876 24329 174 372 0 24501 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 99504 [startup+1.50035 s] /proc/loadavg: 2.02 2.04 2.00 3/551 22107 /proc/meminfo: memFree=21070204/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=116248 CPUtime=1.49 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 30979 0 0 0 145 4 0 0 19 0 1 0 821731285 119037952 28360 33554432000 4194304 5714214 140734864911568 18446744073709551615 4956314 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 29062 28360 176 372 0 28687 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 116248 [startup+3.10106 s] /proc/loadavg: 2.02 2.04 2.00 3/551 22107 /proc/meminfo: memFree=21051480/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=132820 CPUtime=3.09 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 35209 0 0 0 305 4 0 0 22 0 1 0 821731285 136007680 32590 33554432000 4194304 5714214 140734864911568 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 33205 32590 179 372 0 32830 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 132820 [startup+6.30048 s] /proc/loadavg: 2.02 2.04 2.00 3/551 22107 /proc/meminfo: memFree=21032824/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=145052 CPUtime=6.29 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 38289 0 0 0 624 5 0 0 18 0 1 0 821731285 148533248 35670 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 36263 35670 180 372 0 35888 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 145052 [startup+12.7003 s] /proc/loadavg: 2.01 2.04 2.00 3/551 22107 /proc/meminfo: memFree=21019388/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=153348 CPUtime=12.69 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 40329 0 0 0 1264 5 0 0 25 0 1 0 821731285 157028352 37710 33554432000 4194304 5714214 140734864911568 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 38337 37710 180 372 0 37962 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 153348 [startup+25.501 s] /proc/loadavg: 2.01 2.03 2.00 3/551 22107 /proc/meminfo: memFree=21009304/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=157572 CPUtime=25.49 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 41410 0 0 0 2544 5 0 0 25 0 1 0 821731285 161353728 38791 33554432000 4194304 5714214 140734864911568 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 39393 38791 180 372 0 39018 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 157572 [startup+51.1003 s] /proc/loadavg: 2.01 2.03 2.00 3/551 22108 /proc/meminfo: memFree=20999816/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=162352 CPUtime=51.09 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 42558 0 0 0 5103 6 0 0 25 0 1 0 821731285 166248448 39939 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 40588 39939 180 372 0 40213 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 162352 [startup+102.321 s] /proc/loadavg: 2.15 2.06 2.01 3/551 22109 /proc/meminfo: memFree=20972276/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=166848 CPUtime=102.31 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 43672 0 0 0 10223 8 0 0 25 0 1 0 821731285 170852352 41053 33554432000 4194304 5714214 140734864911568 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 41712 41053 180 372 0 41337 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 166848 [startup+162.301 s] /proc/loadavg: 2.12 2.06 2.01 3/551 22111 /proc/meminfo: memFree=20967052/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=166848 CPUtime=162.3 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 43676 0 0 0 16218 12 0 0 25 0 1 0 821731285 170852352 41057 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 41712 41057 180 372 0 41337 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 166848 [startup+222.301 s] /proc/loadavg: 2.04 2.05 2.00 3/551 22113 /proc/meminfo: memFree=20955988/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=178548 CPUtime=222.3 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 46579 0 0 0 22215 15 0 0 25 0 1 0 821731285 182833152 43960 33554432000 4194304 5714214 140734864911568 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 44637 43960 180 372 0 44262 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 178548 [startup+282.3 s] /proc/loadavg: 2.01 2.04 2.00 3/551 22114 /proc/meminfo: memFree=20955960/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=178548 CPUtime=282.3 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 46579 0 0 0 28213 17 0 0 25 0 1 0 821731285 182833152 43960 33554432000 4194304 5714214 140734864911568 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 44637 43960 180 372 0 44262 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 178548 [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.00 3/551 22116 /proc/meminfo: memFree=20939936/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=180516 CPUtime=342.3 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 47120 0 0 0 34211 19 0 0 25 0 1 0 821731285 184848384 44501 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 45129 44501 180 372 0 44754 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 180516 [startup+402.301 s] /proc/loadavg: 2.00 2.02 2.00 3/551 22117 /proc/meminfo: memFree=20923316/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=180516 CPUtime=402.3 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 47120 0 0 0 40208 22 0 0 25 0 1 0 821731285 184848384 44501 33554432000 4194304 5714214 140734864911568 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 45129 44501 180 372 0 44754 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 180516 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/551 22119 /proc/meminfo: memFree=20911760/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=180516 CPUtime=462.3 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 47120 0 0 0 46205 25 0 0 25 0 1 0 821731285 184848384 44501 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 45129 44501 180 372 0 44754 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 180516 [startup+522.301 s] /proc/loadavg: 2.09 2.04 2.01 3/551 22121 /proc/meminfo: memFree=20911732/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=180516 CPUtime=522.31 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 47120 0 0 0 52204 27 0 0 25 0 1 0 821731285 184848384 44501 33554432000 4194304 5714214 140734864911568 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 45129 44501 180 372 0 44754 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 180516 [startup+582.301 s] /proc/loadavg: 2.07 2.04 2.01 3/551 22122 /proc/meminfo: memFree=20911692/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=180516 CPUtime=582.31 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 47120 0 0 0 58202 29 0 0 25 0 1 0 821731285 184848384 44501 33554432000 4194304 5714214 140734864911568 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 45129 44501 180 372 0 44754 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 180516 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.02 2.03 2.00 3/551 22129 /proc/meminfo: memFree=20874756/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=190832 CPUtime=822.32 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 49620 0 0 0 82193 39 0 0 25 0 1 0 821731285 195411968 47001 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 47708 47001 180 372 0 47333 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 190832 [startup+882.3 s] /proc/loadavg: 2.00 2.02 2.00 3/551 22130 /proc/meminfo: memFree=20872500/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=192348 CPUtime=882.31 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 50242 0 0 0 88190 41 0 0 25 0 1 0 821731285 196964352 47409 33554432000 4194304 5714214 140734864911568 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 48087 47409 180 372 0 47712 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 192348 [startup+942.3 s] /proc/loadavg: 2.00 2.02 2.00 3/551 22132 /proc/meminfo: memFree=20872364/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=192348 CPUtime=942.31 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 50242 0 0 0 94188 43 0 0 25 0 1 0 821731285 196964352 47409 33554432000 4194304 5714214 140734864911568 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 48087 47409 180 372 0 47712 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 192348 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/551 22133 /proc/meminfo: memFree=20871844/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=192348 CPUtime=1002.31 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 50242 0 0 0 100185 46 0 0 25 0 1 0 821731285 196964352 47409 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 48087 47409 180 372 0 47712 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 192348 [startup+1062.3 s] /proc/loadavg: 2.12 2.04 2.01 3/551 22135 /proc/meminfo: memFree=20850988/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=192348 CPUtime=1062.32 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 50242 0 0 0 106184 48 0 0 25 0 1 0 821731285 196964352 47409 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200640 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 48087 47409 180 372 0 47712 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 192348 [startup+1122.3 s] /proc/loadavg: 2.10 2.04 2.01 3/551 22137 /proc/meminfo: memFree=20837560/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=192348 CPUtime=1122.32 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 50242 0 0 0 112183 49 0 0 25 0 1 0 821731285 196964352 47409 33554432000 4194304 5714214 140734864911568 18446744073709551615 4319182 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 48087 47409 180 372 0 47712 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 192348 [startup+1182.3 s] /proc/loadavg: 2.15 2.06 2.01 3/551 22147 /proc/meminfo: memFree=20819248/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=192348 CPUtime=1182.32 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 50242 0 0 0 118181 51 0 0 25 0 1 0 821731285 196964352 47409 33554432000 4194304 5714214 140734864911568 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 48087 47409 180 372 0 47712 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 192348 [startup+1242.3 s] /proc/loadavg: 2.16 2.08 2.02 3/551 22149 /proc/meminfo: memFree=20792824/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1242.32 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 124177 55 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 200068 [startup+1302.3 s] /proc/loadavg: 2.06 2.06 2.01 3/551 22150 /proc/meminfo: memFree=20752880/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1302.35 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 130177 58 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 200068 [startup+1362.3 s] /proc/loadavg: 2.06 2.06 2.01 3/551 22155 /proc/meminfo: memFree=20723416/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1362.32 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 136172 60 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200624 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1362.32 Current children cumulated vsize (KiB) 200068 [startup+1422.32 s] /proc/loadavg: 2.02 2.05 2.01 3/551 22157 /proc/meminfo: memFree=20690544/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1422.34 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 142172 62 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 200068 [startup+1482.3 s] /proc/loadavg: 2.01 2.04 2.00 3/551 22158 /proc/meminfo: memFree=20657784/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1482.33 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 148168 65 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 200068 [startup+1542.3 s] /proc/loadavg: 2.00 2.03 2.00 3/551 22160 /proc/meminfo: memFree=20629480/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1542.33 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 154165 68 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1542.33 Current children cumulated vsize (KiB) 200068 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 2.00 3/551 22161 /proc/meminfo: memFree=20605884/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1602.33 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 160162 71 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 200068 [startup+1662.3 s] /proc/loadavg: 2.14 2.06 2.01 3/551 22163 /proc/meminfo: memFree=20559732/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1662.33 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 166160 73 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 200068 [startup+1722.3 s] /proc/loadavg: 2.21 2.08 2.02 3/551 22165 /proc/meminfo: memFree=20559832/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1722.33 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 172158 75 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 200068 [startup+1782.3 s] /proc/loadavg: 2.22 2.10 2.02 3/551 22166 /proc/meminfo: memFree=20557820/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1782.34 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 178156 78 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 200068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.16 2.09 2.02 2/549 22168 /proc/meminfo: memFree=20979932/32951124 swapFree=53733252/67111528 [pid=22106] ppid=22104 vsize=200068 CPUtime=1800.06 cores=0,2,4,6 /proc/22106/stat : 22106 (wbo1.6) R 22104 22106 21496 0 -1 4202496 52171 0 0 0 179928 78 0 0 25 0 1 0 821731285 204869632 49338 33554432000 4194304 5714214 140734864911568 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/22106/statm: 50017 49338 180 372 0 49642 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 200068 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.03 CPU time (s): 1800.08 CPU user time (s): 1799.28 CPU system time (s): 0.794879 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 200068 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.28 system time used= 0.794879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52171 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= 6 involuntary context switches= 4063 runsolver used 10.4174 second user time and 22.3526 second system time The end
Begin job on node106 at 2011-06-03 13:41:49 IDJOB=3460752 IDBENCH=2639 IDSOLVER=1953 FILE ID=node106/3460752-1307101309 RUNJOBID= node106-1307092297-21514 PBS_JOBID= 13497969 Free space on /tmp= 73732 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_20.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460752-1307101309/watcher-3460752-1307101309 -o /tmp/evaluation-result-3460752-1307101309/solver-3460752-1307101309 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460752-1307101309.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6a25ee38adc43f783b18badd1224270c RANDOM SEED=2133612007 node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.20 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21177388 kB Buffers: 390788 kB Cached: 5975836 kB SwapCached: 22744 kB Active: 5880624 kB Inactive: 5553312 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21177388 kB SwapTotal: 67111528 kB SwapFree: 53733252 kB Dirty: 16700 kB Writeback: 0 kB AnonPages: 5063420 kB Mapped: 26940 kB Slab: 191256 kB PageTables: 77356 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 167549096 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73728 MiB End job on node106 at 2011-06-03 14:11:51