Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.09 | 1800.03 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb |
MD5SUM | 5a1b3155d98b6c4d8f9ab1b869fece67 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 355 |
Optimality of the best value was proved | NO |
Number of variables | 11001 |
Total number of constraints | 21678 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 21678 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2765 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460779-1307100772.opb. 0.00/0.00 c Instance file HOME/instance-3460779-1307100772.opb 0.00/0.00 c File size is 6306000 bytes. 0.39/0.43 c Highest Coefficient sum: 2765 0.39/0.43 c ============================[ Problem Statistics ]============================= 0.39/0.43 c | | 0.39/0.43 c | Parsing time: 0.42 s | 0.39/0.43 c | Number Variables: 11001 | 0.39/0.43 c | Number Clauses: 0 | 0.39/0.43 c | Number Cardinality: 0 | 0.39/0.43 c | Number PB Constraints: 21678 | 0.39/0.44 c ============================[ Search Statistics ]============================== 0.39/0.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.44 c =============================================================================== 0.39/0.44 c | 0 | 11001 21678 743262 | 7226 0 -nan | 0.000 % | 1.00/1.11 c core #1 1.00/1.11 c 1.00/1.11 c 1.00/1.11 c Core size: 10 Core Weight: 1 Total Weight: 1 1.00/1.11 c Current CPU time: 0.629904 s 1.00/1.11 c 1.00/1.11 c core #2 1.00/1.11 c 1.00/1.11 c 1.00/1.11 c Core size: 12 Core Weight: 1 Total Weight: 2 1.00/1.11 c Current CPU time: 0.840872 s 1.00/1.11 c 1.00/1.11 c ============================[ Search Statistics ]============================== 1.00/1.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.00/1.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.00/1.11 c =============================================================================== 1.00/1.11 c | 0 | 10885 21704 743285 | 7234 0 -nan | 0.000 % | 1.10/1.11 c =============================================================================== 1.29/1.36 c core #3 1.29/1.36 c 1.29/1.36 c 1.29/1.36 c Core size: 16 Core Weight: 1 Total Weight: 3 1.29/1.36 c Current CPU time: 1.09083 s 1.29/1.36 c 1.29/1.36 c ============================[ Search Statistics ]============================== 1.29/1.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.36 c =============================================================================== 1.29/1.36 c | 0 | 10894 21712 743296 | 7237 0 -nan | 0.000 % | 1.29/1.37 c =============================================================================== 1.59/1.62 c core #4 1.59/1.62 c 1.59/1.62 c 1.59/1.62 c Core size: 15 Core Weight: 1 Total Weight: 4 1.59/1.62 c Current CPU time: 1.3438 s 1.59/1.62 c 1.59/1.62 c ============================[ Search Statistics ]============================== 1.59/1.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.62 c =============================================================================== 1.59/1.62 c | 0 | 10920 21719 743311 | 7239 0 -nan | 0.000 % | 1.59/1.65 c =============================================================================== 1.89/1.91 c core #5 1.89/1.91 c 1.89/1.91 c 1.89/1.91 c Core size: 17 Core Weight: 1 Total Weight: 5 1.89/1.91 c Current CPU time: 1.62175 s 1.89/1.91 c 1.89/1.91 c ============================[ Search Statistics ]============================== 1.89/1.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.91 c =============================================================================== 1.89/1.91 c | 0 | 10931 21726 743327 | 7242 0 -nan | 0.000 % | 1.89/1.96 c =============================================================================== 2.21/2.22 c core #6 2.21/2.22 c 2.21/2.22 c 2.21/2.22 c Core size: 15 Core Weight: 3 Total Weight: 8 2.21/2.22 c Current CPU time: 1.93471 s 2.21/2.22 c 2.21/2.22 c ============================[ Search Statistics ]============================== 2.21/2.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.21/2.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.21/2.22 c =============================================================================== 2.21/2.22 c | 0 | 10956 21732 743345 | 7244 0 -nan | 0.000 % | 2.29/2.32 c =============================================================================== 2.49/2.58 c core #7 2.49/2.58 c 2.49/2.58 c 2.49/2.58 c Core size: 20 Core Weight: 1 Total Weight: 9 2.49/2.58 c Current CPU time: 2.28665 s 2.49/2.58 c 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 | 10968 21738 743364 | 7246 0 -nan | 0.000 % | 2.69/2.79 c =============================================================================== 2.99/3.05 c core #8 2.99/3.05 c 2.99/3.05 c 2.99/3.05 c Core size: 21 Core Weight: 1 Total Weight: 10 2.99/3.05 c Current CPU time: 2.76158 s 2.99/3.05 c 2.99/3.05 c ============================[ Search Statistics ]============================== 2.99/3.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.05 c =============================================================================== 2.99/3.05 c | 0 | 10981 21744 743385 | 7248 0 -nan | 0.000 % | 3.49/3.53 c | 100 | 10981 21744 743385 | 7972 100 23 | 0.858 % | 4.19/4.20 c | 250 | 10978 21744 743385 | 8770 250 25 | 0.948 % | 4.59/4.65 c =============================================================================== 4.89/4.91 c core #9 4.89/4.91 c 4.89/4.91 c 4.89/4.91 c Core size: 14 Core Weight: 6 Total Weight: 16 4.89/4.91 c Current CPU time: 4.6203 s 4.89/4.91 c 4.89/4.91 c ============================[ Search Statistics ]============================== 4.89/4.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.89/4.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.89/4.91 c =============================================================================== 4.89/4.91 c | 0 | 11005 21749 743408 | 7249 0 -nan | 0.000 % | 5.40/5.46 c | 100 | 11005 21749 743408 | 7974 100 26 | 0.686 % | 6.09/6.11 c | 251 | 10997 21749 743408 | 8772 251 28 | 0.930 % | 6.09/6.19 c =============================================================================== 6.40/6.45 c core #10 6.40/6.45 c 6.40/6.45 c 6.40/6.45 c Core size: 27 Core Weight: 1 Total Weight: 17 6.40/6.45 c Current CPU time: 6.15706 s 6.40/6.45 c 6.40/6.45 c ============================[ Search Statistics ]============================== 6.40/6.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.40/6.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.40/6.45 c =============================================================================== 6.40/6.45 c | 0 | 11019 21756 743436 | 7252 0 -nan | 0.000 % | 6.99/7.03 c | 101 | 11019 21756 743436 | 7977 101 26 | 0.685 % | 7.60/7.65 c | 251 | 11018 21756 743436 | 8774 251 27 | 0.694 % | 8.39/8.44 c | 476 | 11011 21756 743436 | 9652 476 29 | 0.885 % | 8.39/8.49 c =============================================================================== 8.70/8.75 c core #11 8.70/8.75 c 8.70/8.75 c 8.70/8.75 c Core size: 44 Core Weight: 1 Total Weight: 18 8.70/8.75 c Current CPU time: 8.45172 s 8.70/8.75 c 8.70/8.75 c ============================[ Search Statistics ]============================== 8.70/8.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.70/8.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.70/8.75 c =============================================================================== 8.70/8.75 c | 0 | 11037 21763 743472 | 7254 0 -nan | 0.000 % | 9.19/9.28 c | 102 | 11037 21763 743472 | 7979 102 26 | 0.684 % | 9.80/9.81 c | 252 | 11037 21763 743472 | 8777 252 28 | 0.684 % | 10.59/10.62 c | 480 | 11037 21763 743472 | 9655 480 29 | 0.684 % | 12.00/12.04 c | 817 | 11037 21763 743472 | 10621 817 29 | 0.684 % | 13.69/13.71 c | 1323 | 11037 21763 743472 | 11683 1323 30 | 0.684 % | 17.39/17.49 c | 2083 | 11005 21763 743472 | 12851 2083 31 | 1.089 % | 18.30/18.35 c =============================================================================== 18.60/18.61 c core #12 18.60/18.61 c 18.60/18.61 c 18.60/18.61 c Core size: 63 Core Weight: 1 Total Weight: 19 18.60/18.61 c Current CPU time: 18.3042 s 18.60/18.61 c 18.60/18.61 c ============================[ Search Statistics ]============================== 18.60/18.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.60/18.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.60/18.61 c =============================================================================== 18.60/18.61 c | 0 | 11043 21768 743480 | 7256 0 -nan | 0.000 % | 19.09/19.13 c | 100 | 11043 21768 743480 | 7981 100 26 | 0.684 % | 19.70/19.80 c | 251 | 11043 21768 743480 | 8779 251 26 | 0.684 % | 20.69/20.77 c | 476 | 11043 21768 743480 | 9657 476 29 | 0.684 % | 22.19/22.28 c | 813 | 11043 21768 743480 | 10623 813 30 | 0.684 % | 24.10/24.19 c | 1320 | 11043 21768 743480 | 11685 1320 31 | 0.684 % | 27.89/27.96 c | 2080 | 11043 21768 743480 | 12854 2080 32 | 0.684 % | 33.01/33.04 c | 3219 | 11043 21768 743480 | 14139 3219 33 | 0.684 % | 38.09/38.11 c =============================================================================== 38.29/38.37 c core #13 38.29/38.37 c 38.29/38.37 c 38.29/38.37 c Core size: 28 Core Weight: 13 Total Weight: 32 38.29/38.37 c Current CPU time: 38.0582 s 38.29/38.37 c 38.29/38.37 c ============================[ Search Statistics ]============================== 38.29/38.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.29/38.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.29/38.37 c =============================================================================== 38.29/38.37 c | 0 | 11066 21772 743510 | 7257 0 -nan | 0.000 % | 38.79/38.89 c | 100 | 11066 21772 743510 | 7983 100 25 | 0.512 % | 39.39/39.45 c | 251 | 11060 21772 743510 | 8781 251 30 | 0.674 % | 40.39/40.41 c | 479 | 11060 21772 743510 | 9659 479 31 | 0.674 % | 41.39/41.45 c | 818 | 11060 21772 743510 | 10625 818 31 | 0.674 % | 43.29/43.34 c | 1324 | 11059 21772 743510 | 11688 1324 32 | 0.674 % | 46.39/46.40 c | 2083 | 11048 21772 743510 | 12856 2083 34 | 0.674 % | 49.69/49.70 c | 3223 | 11048 21772 743510 | 14142 3223 34 | 0.674 % | 55.90/55.97 c | 4931 | 11047 21772 743510 | 15556 4931 36 | 0.683 % | 62.71/62.72 c =============================================================================== 62.89/62.98 c core #14 62.89/62.98 c 62.89/62.98 c 62.89/62.98 c Core size: 57 Core Weight: 1 Total Weight: 33 62.89/62.98 c Current CPU time: 62.6525 s 62.89/62.98 c 62.89/62.98 c ============================[ Search Statistics ]============================== 62.89/62.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 62.89/62.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 62.89/62.98 c =============================================================================== 62.89/62.98 c | 0 | 11093 21778 743565 | 7259 0 -nan | 0.000 % | 63.49/63.51 c | 101 | 11093 21778 743565 | 7985 101 27 | 0.511 % | 64.19/64.26 c | 251 | 11093 21778 743565 | 8783 251 35 | 0.511 % | 65.19/65.24 c | 476 | 11078 21778 743565 | 9662 476 35 | 0.655 % | 65.90/65.97 c | 814 | 11078 21778 743565 | 10628 814 34 | 0.655 % | 67.59/67.67 c | 1321 | 11078 21778 743565 | 11691 1321 37 | 0.655 % | 69.99/70.05 c | 2080 | 11078 21778 743565 | 12860 2080 36 | 0.655 % | 72.69/72.77 c | 3220 | 11077 21778 743565 | 14146 3220 37 | 0.655 % | 78.49/78.58 c | 4928 | 11076 21778 743565 | 15561 4928 37 | 0.664 % | 85.09/85.16 c =============================================================================== 85.40/85.43 c core #15 85.40/85.43 c 85.40/85.43 c 85.40/85.43 c Core size: 51 Core Weight: 1 Total Weight: 34 85.40/85.43 c Current CPU time: 85.0821 s 85.40/85.43 c 85.40/85.43 c ============================[ Search Statistics ]============================== 85.40/85.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.40/85.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.40/85.43 c =============================================================================== 85.40/85.43 c | 0 | 11101 21785 743584 | 7261 0 -nan | 0.000 % | 85.90/85.96 c | 100 | 11101 21785 743584 | 7987 100 25 | 0.511 % | 86.59/86.66 c | 251 | 11101 21785 743584 | 8786 251 28 | 0.511 % | 87.69/87.71 c | 477 | 11101 21785 743584 | 9665 477 32 | 0.511 % | 88.69/88.76 c | 814 | 11101 21785 743584 | 10631 814 33 | 0.511 % | 90.21/90.24 c | 1320 | 11101 21785 743584 | 11694 1320 33 | 0.511 % | 93.20/93.28 c | 2079 | 11101 21785 743584 | 12864 2079 35 | 0.511 % | 96.81/96.84 c | 3219 | 11101 21785 743584 | 14150 3219 37 | 0.511 % | 102.09/102.16 c | 4928 | 11101 21785 743584 | 15566 4928 39 | 0.511 % | 111.99/112.07 c | 7491 | 11101 21785 743584 | 17122 7491 38 | 0.511 % | 121.39/121.45 c | 11335 | 11090 21785 743584 | 18834 11335 37 | 0.609 % | 126.69/126.77 c =============================================================================== 126.99/127.04 c core #16 126.99/127.04 c 126.99/127.04 c 126.99/127.04 c Core size: 46 Core Weight: 4 Total Weight: 38 126.99/127.04 c Current CPU time: 126.65 s 126.99/127.04 c 126.99/127.04 c ============================[ Search Statistics ]============================== 126.99/127.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 126.99/127.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 126.99/127.04 c =============================================================================== 126.99/127.04 c | 0 | 11106 21789 743591 | 7263 0 -nan | 0.000 % | 127.50/127.55 c | 100 | 11106 21789 743591 | 7989 100 25 | 0.511 % | 128.10/128.15 c | 250 | 11106 21789 743591 | 8788 250 27 | 0.511 % | 129.00/129.07 c | 475 | 11106 21789 743591 | 9667 475 30 | 0.511 % | 129.90/129.98 c | 812 | 11106 21789 743591 | 10633 812 31 | 0.511 % | 131.70/131.73 c | 1319 | 11106 21789 743591 | 11697 1319 31 | 0.511 % | 134.21/134.22 c | 2078 | 11106 21789 743591 | 12866 2078 31 | 0.511 % | 137.80/137.87 c | 3218 | 11106 21789 743591 | 14153 3218 33 | 0.511 % | 144.79/144.85 c | 4927 | 11106 21789 743591 | 15568 4927 34 | 0.511 % | 152.91/152.95 c | 7489 | 11106 21789 743591 | 17125 7489 36 | 0.511 % | 164.79/164.86 c | 11335 | 11089 21789 743591 | 18838 11335 37 | 0.950 % | 167.00/167.00 c =============================================================================== 167.22/167.27 c core #17 167.22/167.27 c 167.22/167.27 c 167.22/167.27 c Core size: 44 Core Weight: 1 Total Weight: 39 167.22/167.27 c Current CPU time: 166.86 s 167.22/167.27 c 167.22/167.27 c ============================[ Search Statistics ]============================== 167.22/167.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 167.22/167.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 167.22/167.27 c =============================================================================== 167.22/167.27 c | 0 | 11114 21794 743606 | 7264 0 -nan | 0.000 % | 167.70/167.78 c | 101 | 11114 21794 743606 | 7991 101 25 | 0.510 % | 168.40/168.47 c | 251 | 11114 21794 743606 | 8790 251 26 | 0.510 % | 169.50/169.55 c | 477 | 11114 21794 743606 | 9669 477 30 | 0.510 % | 171.20/171.24 c | 815 | 11114 21794 743606 | 10636 815 32 | 0.510 % | 173.10/173.16 c | 1323 | 11114 21794 743606 | 11699 1323 33 | 0.510 % | 175.49/175.59 c | 2082 | 11114 21794 743606 | 12869 2082 35 | 0.510 % | 177.89/177.95 c | 3221 | 11114 21794 743606 | 14156 3221 35 | 0.510 % | 185.20/185.29 c | 4930 | 11114 21794 743606 | 15572 4930 37 | 0.510 % | 194.30/194.39 c | 7493 | 11114 21794 743606 | 17129 7493 38 | 0.510 % | 212.70/212.72 c | 11338 | 11114 21794 743606 | 18842 11338 40 | 0.510 % | 218.91/218.97 c =============================================================================== 219.20/219.24 c core #18 219.20/219.24 c 219.20/219.24 c 219.20/219.24 c Core size: 57 Core Weight: 1 Total Weight: 40 219.20/219.24 c Current CPU time: 218.809 s 219.20/219.24 c 219.20/219.24 c ============================[ Search Statistics ]============================== 219.20/219.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.20/219.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.20/219.24 c =============================================================================== 219.20/219.24 c | 0 | 11129 21798 743633 | 7266 0 -nan | 0.000 % | 219.79/219.89 c | 100 | 11129 21798 743633 | 7992 100 31 | 0.510 % | 220.49/220.52 c | 251 | 11129 21798 743633 | 8791 251 28 | 0.510 % | 221.29/221.35 c | 478 | 11129 21798 743633 | 9671 478 26 | 0.510 % | 222.21/222.27 c | 816 | 11129 21798 743633 | 10638 816 27 | 0.510 % | 224.50/224.57 c | 1324 | 11129 21798 743633 | 11701 1324 31 | 0.510 % | 228.40/228.48 c | 2084 | 11129 21798 743633 | 12872 2084 36 | 0.510 % | 232.90/232.90 c | 3223 | 11129 21798 743633 | 14159 3223 37 | 0.510 % | 237.89/237.99 c | 4933 | 11129 21798 743633 | 15575 4933 38 | 0.510 % | 245.50/245.55 c | 7497 | 11129 21798 743633 | 17132 7497 39 | 0.510 % | 265.80/265.80 c | 11342 | 11129 21798 743633 | 18846 11342 40 | 0.510 % | 277.00/277.05 c | 17108 | 11129 21798 743633 | 20730 17108 38 | 0.510 % | 308.10/308.17 c | 25758 | 11129 21798 743633 | 22803 14751 38 | 0.510 % | 344.00/344.07 c | 38733 | 11027 21798 743633 | 25084 14617 38 | 1.421 % | 419.12/419.11 c | 58196 | 11027 21798 743633 | 27592 20012 40 | 1.421 % | 510.81/510.84 c | 87390 | 11022 21798 743633 | 30351 17664 39 | 1.466 % | 542.41/542.41 c =============================================================================== 542.71/542.71 c core #19 542.71/542.71 c 542.71/542.71 c 542.71/542.71 c Core size: 41 Core Weight: 24 Total Weight: 64 542.71/542.71 c Current CPU time: 542.06 s 542.71/542.71 c 542.71/542.71 c ============================[ Search Statistics ]============================== 542.71/542.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 542.71/542.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 542.71/542.71 c =============================================================================== 542.71/542.71 c | 0 | 11151 21801 743674 | 7267 0 -nan | 0.000 % | 543.32/543.35 c | 101 | 11151 21801 743674 | 7993 101 36 | 0.340 % | 543.91/543.97 c | 251 | 11144 21801 743674 | 8793 251 29 | 0.500 % | 544.71/544.75 c | 476 | 11142 21801 743674 | 9672 476 30 | 0.500 % | 545.81/545.81 c | 814 | 11141 21801 743674 | 10639 814 33 | 0.500 % | 547.41/547.46 c | 1320 | 11138 21801 743674 | 11703 1320 33 | 0.500 % | 549.92/549.99 c | 2080 | 11138 21801 743674 | 12873 2080 35 | 0.500 % | 554.91/554.92 c | 3220 | 11133 21801 743674 | 14161 3220 35 | 0.500 % | 560.92/560.97 c | 4929 | 11133 21801 743674 | 15577 4929 38 | 0.500 % | 567.21/567.22 c | 7492 | 11133 21801 743674 | 17135 7492 36 | 0.500 % | 579.41/579.47 c | 11336 | 11133 21801 743674 | 18848 11336 37 | 0.500 % | 598.42/598.41 c | 17102 | 11133 21801 743674 | 20733 17102 39 | 0.500 % | 618.42/618.44 c | 25751 | 11133 21801 743674 | 22806 15135 40 | 0.500 % | 657.41/657.47 c | 38726 | 11133 21801 743674 | 25087 16184 41 | 0.500 % | 711.62/711.66 c | 58187 | 11133 21801 743674 | 27596 21627 42 | 0.500 % | 801.12/801.12 c | 87379 | 11133 21801 743674 | 30356 16846 41 | 0.500 % | 918.03/918.08 c | 131169 | 11133 21801 743674 | 33391 20601 45 | 0.500 % | 1154.13/1154.16 c | 196854 | 11133 21801 743674 | 36730 20244 45 | 0.500 % | 1320.24/1320.28 c =============================================================================== 1320.63/1320.66 c core #20 1320.63/1320.66 c 1320.63/1320.66 c 1320.63/1320.66 c Core size: 67 Core Weight: 1 Total Weight: 65 1320.63/1320.66 c Current CPU time: 1319.34 s 1320.63/1320.66 c 1320.63/1320.66 c ============================[ Search Statistics ]============================== 1320.63/1320.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1320.63/1320.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1320.63/1320.66 c =============================================================================== 1320.63/1320.66 c | 0 | 11182 21807 743740 | 7269 0 -nan | 0.000 % | 1321.15/1321.13 c | 101 | 11182 21807 743740 | 7995 101 32 | 0.339 % | 1321.73/1321.77 c | 253 | 11182 21807 743740 | 8795 253 28 | 0.339 % | 1323.25/1323.23 c | 478 | 11182 21807 743740 | 9675 478 32 | 0.339 % | 1324.35/1324.39 c | 816 | 11182 21807 743740 | 10642 816 37 | 0.339 % | 1326.04/1326.01 c | 1323 | 11182 21807 743740 | 11706 1323 38 | 0.339 % | 1328.54/1328.56 c | 2082 | 11182 21807 743740 | 12877 2082 37 | 0.339 % | 1332.16/1332.13 c | 3221 | 11182 21807 743740 | 14165 3221 37 | 0.339 % | 1337.94/1337.92 c | 4930 | 11182 21807 743740 | 15581 4930 39 | 0.339 % | 1346.83/1346.85 c | 7493 | 11182 21807 743740 | 17139 7493 39 | 0.339 % | 1360.24/1360.27 c | 11338 | 11182 21807 743740 | 18853 11338 41 | 0.339 % | 1379.45/1379.45 c | 17106 | 11182 21807 743740 | 20739 17106 41 | 0.339 % | 1411.14/1411.10 c | 25756 | 11182 21807 743740 | 22813 14926 43 | 0.339 % | 1454.64/1454.69 c | 38730 | 11182 21807 743740 | 25094 15463 45 | 0.339 % | 1514.05/1514.01 c | 58191 | 11171 21807 743740 | 27604 19084 51 | 0.437 % | 1599.95/1599.99 c | 87383 | 11170 21807 743740 | 30364 14333 39 | 0.446 % | 1715.35/1715.34 c | 131173 | 11170 21807 743740 | 33400 19737 41 | 0.446 % |
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-3460779-1307100772/watcher-3460779-1307100772 -o /tmp/evaluation-result-3460779-1307100772/solver-3460779-1307100772 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460779-1307100772.opb running on 4 cores: 1,3,5,7 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.00 2.01 2.00 2/443 14344 /proc/meminfo: memFree=29964200/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=8924 CPUtime=0 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 506 0 0 0 0 0 0 0 21 0 1 0 900307878 9138176 459 33554432000 4194304 5714214 140735025284112 18446744073709551615 5203338 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 2231 460 197 372 0 316 0 [startup+0.026215 s] /proc/loadavg: 2.00 2.01 2.00 2/443 14344 /proc/meminfo: memFree=29964200/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=10260 CPUtime=0.02 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 907 0 0 0 2 0 0 0 21 0 1 0 900307878 10506240 860 33554432000 4194304 5714214 140735025284112 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 2565 861 252 372 0 650 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 10260 [startup+0.100204 s] /proc/loadavg: 2.00 2.01 2.00 2/443 14344 /proc/meminfo: memFree=29964200/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=17312 CPUtime=0.09 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 2905 0 0 0 9 0 0 0 21 0 1 0 900307878 17727488 2858 33554432000 4194304 5714214 140735025284112 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 4328 2858 518 372 0 2413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17312 [startup+0.301162 s] /proc/loadavg: 2.00 2.01 2.00 2/443 14344 /proc/meminfo: memFree=29964200/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=35680 CPUtime=0.29 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 8171 0 0 0 29 0 0 0 22 0 1 0 900307878 36536320 8124 33554432000 4194304 5714214 140735025284112 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 8920 8126 1220 372 0 7005 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 35680 [startup+0.70109 s] /proc/loadavg: 2.00 2.01 2.00 2/443 14344 /proc/meminfo: memFree=29964200/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=84000 CPUtime=0.69 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 22485 0 0 0 67 2 0 0 18 0 1 0 900307878 86016000 20654 33554432000 4194304 5714214 140735025284112 18446744073709551615 4322054 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 21000 20654 176 372 0 20625 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 84000 [startup+1.50094 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14345 /proc/meminfo: memFree=29871692/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=98016 CPUtime=1.49 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 26262 0 0 0 147 2 0 0 19 0 1 0 900307878 100368384 24216 33554432000 4194304 5714214 140735025284112 18446744073709551615 4964778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 24504 24216 179 372 0 24129 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 98016 [startup+3.10065 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14345 /proc/meminfo: memFree=29856440/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=111332 CPUtime=3.09 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 29605 0 0 0 306 3 0 0 23 0 1 0 900307878 114003968 27559 33554432000 4194304 5714214 140735025284112 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 27833 27559 179 372 0 27458 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 111332 [startup+6.30104 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14346 /proc/meminfo: memFree=29840220/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=118016 CPUtime=6.3 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 31246 0 0 0 626 4 0 0 25 0 1 0 900307878 120848384 29200 33554432000 4194304 5714214 140735025284112 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 29504 29204 180 372 0 29129 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 118016 [startup+12.7008 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14346 /proc/meminfo: memFree=29824992/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=121460 CPUtime=12.69 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 32118 0 0 0 1265 4 0 0 25 0 1 0 900307878 124375040 30072 33554432000 4194304 5714214 140735025284112 18446744073709551615 4322844 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 30365 30072 180 372 0 29990 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 121460 [startup+25.5004 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14346 /proc/meminfo: memFree=29809660/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=125240 CPUtime=25.49 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 33079 0 0 0 2544 5 0 0 25 0 1 0 900307878 128245760 31033 33554432000 4194304 5714214 140735025284112 18446744073709551615 4323020 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 31310 31033 180 372 0 30935 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 125240 [startup+51.1006 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14374 /proc/meminfo: memFree=29813304/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=129176 CPUtime=51.09 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 34066 0 0 0 5103 6 0 0 25 0 1 0 900307878 132276224 32020 33554432000 4194304 5714214 140735025284112 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 32294 32020 180 372 0 31919 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 129176 [startup+102.317 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14375 /proc/meminfo: memFree=29799696/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=136692 CPUtime=102.31 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 35921 0 0 0 10221 10 0 0 25 0 1 0 900307878 139972608 33875 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 34173 33875 180 372 0 33798 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 136692 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14377 /proc/meminfo: memFree=29786148/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=142320 CPUtime=162.29 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 37332 0 0 0 16215 14 0 0 25 0 1 0 900307878 145735680 35286 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 35580 35286 180 372 0 35205 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 142320 [startup+222.3 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14378 /proc/meminfo: memFree=29777668/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=148560 CPUtime=222.29 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 38912 0 0 0 22212 17 0 0 25 0 1 0 900307878 152125440 36866 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200634 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 37140 36866 180 372 0 36765 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 148560 [startup+282.301 s] /proc/loadavg: 2.07 2.02 2.00 3/444 14380 /proc/meminfo: memFree=29765604/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=148560 CPUtime=282.3 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 38912 0 0 0 28209 21 0 0 25 0 1 0 900307878 152125440 36866 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 37140 36866 180 372 0 36765 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 148560 [startup+342.301 s] /proc/loadavg: 2.02 2.01 2.00 3/444 14382 /proc/meminfo: memFree=29765440/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=148560 CPUtime=342.3 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 38913 0 0 0 34205 25 0 0 25 0 1 0 900307878 152125440 36867 33554432000 4194304 5714214 140735025284112 18446744073709551615 4323084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 37140 36867 180 372 0 36765 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 148560 [startup+402.301 s] /proc/loadavg: 2.01 2.00 2.00 3/444 14386 /proc/meminfo: memFree=29765336/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=148560 CPUtime=402.3 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 38913 0 0 0 40202 28 0 0 25 0 1 0 900307878 152125440 36867 33554432000 4194304 5714214 140735025284112 18446744073709551615 4323029 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 37140 36867 180 372 0 36765 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 148560 [startup+462.3 s] /proc/loadavg: 2.00 2.00 2.00 3/444 14388 /proc/meminfo: memFree=29765412/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=148560 CPUtime=462.3 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 38913 0 0 0 46199 31 0 0 25 0 1 0 900307878 152125440 36867 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 37140 36867 180 372 0 36765 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 148560 [startup+522.301 s] /proc/loadavg: 2.07 2.03 2.01 3/444 14389 /proc/meminfo: memFree=29762400/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=148560 CPUtime=522.31 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 38913 0 0 0 52196 35 0 0 25 0 1 0 900307878 152125440 36867 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 37140 36867 180 372 0 36765 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 148560 [startup+582.301 s] /proc/loadavg: 2.02 2.02 2.00 3/444 14391 /proc/meminfo: memFree=29735196/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=582.31 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43040 0 0 0 58190 41 0 0 25 0 1 0 900307878 169144320 40994 33554432000 4194304 5714214 140735025284112 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 40994 180 372 0 40920 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 165180 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.08 2.03 2.01 3/444 14397 /proc/meminfo: memFree=29695684/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=822.32 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43040 0 0 0 82172 60 0 0 25 0 1 0 900307878 169144320 40994 33554432000 4194304 5714214 140735025284112 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 40994 180 372 0 40920 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 165180 [startup+882.3 s] /proc/loadavg: 2.07 2.03 2.01 3/444 14399 /proc/meminfo: memFree=29687704/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=882.33 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43041 0 0 0 88168 65 0 0 25 0 1 0 900307878 169144320 40995 33554432000 4194304 5714214 140735025284112 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 40995 180 372 0 40920 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 165180 [startup+942.301 s] /proc/loadavg: 2.02 2.03 2.00 3/444 14401 /proc/meminfo: memFree=29678256/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=942.32 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43041 0 0 0 94164 68 0 0 25 0 1 0 900307878 169144320 40995 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 40995 180 372 0 40920 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 165180 [startup+1002.3 s] /proc/loadavg: 2.11 2.05 2.01 3/444 14402 /proc/meminfo: memFree=29669664/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=1002.32 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43041 0 0 0 100161 71 0 0 25 0 1 0 900307878 169144320 40995 33554432000 4194304 5714214 140735025284112 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 40995 180 372 0 40920 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 165180 [startup+1062.3 s] /proc/loadavg: 2.09 2.05 2.01 3/444 14404 /proc/meminfo: memFree=29658204/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=1062.33 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43041 0 0 0 106156 77 0 0 25 0 1 0 900307878 169144320 40995 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 40995 180 372 0 40920 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 165180 [startup+1122.3 s] /proc/loadavg: 2.03 2.04 2.00 3/444 14405 /proc/meminfo: memFree=29658268/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=1122.33 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43041 0 0 0 112151 82 0 0 25 0 1 0 900307878 169144320 40995 33554432000 4194304 5714214 140735025284112 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 40995 180 372 0 40920 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 165180 [startup+1182.3 s] /proc/loadavg: 2.01 2.03 2.00 3/444 14407 /proc/meminfo: memFree=29658332/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=1182.34 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43042 0 0 0 118146 88 0 0 25 0 1 0 900307878 169144320 40996 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200608 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 40996 180 372 0 40920 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 165180 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 14409 /proc/meminfo: memFree=29658432/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=1242.34 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43052 0 0 0 124140 94 0 0 25 0 1 0 900307878 169144320 41006 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 41006 180 372 0 40920 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 165180 [startup+1302.3 s] /proc/loadavg: 2.00 2.02 2.00 3/444 14410 /proc/meminfo: memFree=29657652/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=165180 CPUtime=1302.35 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 43052 0 0 0 130136 99 0 0 25 0 1 0 900307878 169144320 41006 33554432000 4194304 5714214 140735025284112 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 41295 41006 180 372 0 40920 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 165180 [startup+1362.3 s] /proc/loadavg: 2.11 2.04 2.01 3/444 14412 /proc/meminfo: memFree=29636136/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=186808 CPUtime=1362.34 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 48467 0 0 0 136131 103 0 0 25 0 1 0 900307878 191291392 46421 33554432000 4194304 5714214 140735025284112 18446744073709551615 4305269 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 46702 46421 180 372 0 46327 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 186808 [startup+1422.32 s] /proc/loadavg: 2.04 2.03 2.00 3/444 14413 /proc/meminfo: memFree=29636848/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=186808 CPUtime=1422.36 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 48467 0 0 0 142129 107 0 0 25 0 1 0 900307878 191291392 46421 33554432000 4194304 5714214 140735025284112 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 46702 46421 180 372 0 46327 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 186808 [startup+1482.3 s] /proc/loadavg: 2.01 2.02 2.00 3/444 14415 /proc/meminfo: memFree=29636436/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=186808 CPUtime=1482.34 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 48474 0 0 0 148124 110 0 0 25 0 1 0 900307878 191291392 46428 33554432000 4194304 5714214 140735025284112 18446744073709551615 4322714 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 46702 46428 180 372 0 46327 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 186808 [startup+1542.3 s] /proc/loadavg: 2.08 2.04 2.00 3/444 14417 /proc/meminfo: memFree=29636636/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=186808 CPUtime=1542.35 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 48477 0 0 0 154122 113 0 0 25 0 1 0 900307878 191291392 46431 33554432000 4194304 5714214 140735025284112 18446744073709551615 4305272 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 46702 46431 180 372 0 46327 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 186808 [startup+1602.3 s] /proc/loadavg: 2.03 2.03 2.00 3/444 14418 /proc/meminfo: memFree=29636728/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=186808 CPUtime=1602.35 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 48477 0 0 0 160117 118 0 0 25 0 1 0 900307878 191291392 46431 33554432000 4194304 5714214 140735025284112 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 46702 46431 180 372 0 46327 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 186808 [startup+1662.3 s] /proc/loadavg: 2.01 2.02 2.00 3/444 14420 /proc/meminfo: memFree=29636680/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=186808 CPUtime=1662.35 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 48477 0 0 0 166112 123 0 0 25 0 1 0 900307878 191291392 46431 33554432000 4194304 5714214 140735025284112 18446744073709551615 4323076 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 46702 46431 180 372 0 46327 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 186808 [startup+1722.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14430 /proc/meminfo: memFree=29636672/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=186808 CPUtime=1722.35 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 48477 0 0 0 172108 127 0 0 25 0 1 0 900307878 191291392 46431 33554432000 4194304 5714214 140735025284112 18446744073709551615 4323072 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 46702 46431 180 372 0 46327 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 186808 [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14432 /proc/meminfo: memFree=29635724/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=186808 CPUtime=1782.35 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 48477 0 0 0 178104 131 0 0 25 0 1 0 900307878 191291392 46431 33554432000 4194304 5714214 140735025284112 18446744073709551615 4305266 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 46702 46431 180 372 0 46327 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (KiB) 186808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/444 14432 /proc/meminfo: memFree=29636332/32950928 swapFree=52246700/67111528 [pid=14344] ppid=14342 vsize=186808 CPUtime=1800.07 cores=1,3,5,7 /proc/14344/stat : 14344 (wbo1.6) R 14342 14344 13866 0 -1 4202496 48477 0 0 0 179874 133 0 0 25 0 1 0 900307878 191291392 46431 33554432000 4194304 5714214 140735025284112 18446744073709551615 4322720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14344/statm: 46702 46431 180 372 0 46327 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 186808 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.09 CPU user time (s): 1798.75 CPU system time (s): 1.3428 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 186808 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.75 system time used= 1.34279 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 48477 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= 7 involuntary context switches= 4429 runsolver used 7.94079 second user time and 18.2742 second system time The end
Begin job on node114 at 2011-06-03 13:32:52 IDJOB=3460779 IDBENCH=2633 IDSOLVER=1953 FILE ID=node114/3460779-1307100772 RUNJOBID= node114-1307093562-13885 PBS_JOBID= 13497997 Free space on /tmp= 73916 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460779-1307100772/watcher-3460779-1307100772 -o /tmp/evaluation-result-3460779-1307100772/solver-3460779-1307100772 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460779-1307100772.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5a1b3155d98b6c4d8f9ab1b869fece67 RANDOM SEED=32833161 node114.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.848 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.69 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.848 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.15 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.848 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.74 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.848 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.73 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.848 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.75 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.848 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.848 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.74 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.848 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 29964604 kB Buffers: 274376 kB Cached: 402732 kB SwapCached: 10712 kB Active: 2310968 kB Inactive: 406484 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 29964604 kB SwapTotal: 67111528 kB SwapFree: 52246700 kB Dirty: 14768 kB Writeback: 0 kB AnonPages: 2037508 kB Mapped: 22012 kB Slab: 139892 kB PageTables: 62276 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 108179984 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= 73912 MiB End job on node114 at 2011-06-03 14:02:54