Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 44 | 565.765 | 565.921 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_9.opb |
MD5SUM | a849a24692bdc034ba3174a2ba23709e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 258.398 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 44 |
Optimality of the best value was proved | YES |
Number of variables | 601 |
Total number of constraints | 1089 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1088 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 36 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 99 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 128 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 682 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680719-1277458773.opb. 0.00/0.00 c Instance file HOME/instance-2680719-1277458773.opb 0.00/0.00 c File size is 197718 bytes. 0.00/0.04 c Highest Coefficient sum: 682 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 601 | 0.00/0.04 c | Number Clauses: 1 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 1088 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 600 1089 25667 | 5000 0 nan | 0.000 % | 0.08/0.09 c | 100 | 600 1089 25667 | 5500 100 20 | 0.167 % | 0.09/0.15 c | 252 | 600 1089 25667 | 6050 252 24 | 0.167 % | 0.19/0.22 c | 477 | 600 1089 25667 | 6655 477 23 | 0.167 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 77 0.19/0.24 o 77 0.19/0.24 c Elapsed CPU time: 0.233964 s Remaining CPU time: 179.766 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 536 | 600 1090 25674 | 5000 536 23 | 0.167 % | 0.19/0.27 c | 636 | 600 1090 25674 | 5500 636 24 | 0.167 % | 0.29/0.33 c | 788 | 600 1090 25674 | 6050 788 24 | 0.167 % | 0.29/0.34 c =============================================================================== 0.29/0.34 c New solution: 76 0.29/0.34 o 76 0.29/0.34 c Elapsed CPU time: 0.339948 s Remaining CPU time: 179.66 s 0.29/0.34 c =============================================================================== 0.29/0.34 c | 824 | 600 1091 25681 | 5000 824 24 | 0.167 % | 0.29/0.35 c =============================================================================== 0.29/0.35 c New solution: 72 0.29/0.35 o 72 0.29/0.35 c Elapsed CPU time: 0.344947 s Remaining CPU time: 179.655 s 0.29/0.35 c =============================================================================== 0.29/0.35 c | 833 | 600 1092 25688 | 5000 833 24 | 0.167 % | 0.29/0.36 c =============================================================================== 0.29/0.36 c New solution: 71 0.29/0.36 o 71 0.29/0.36 c Elapsed CPU time: 0.352946 s Remaining CPU time: 179.647 s 0.29/0.36 c =============================================================================== 0.29/0.36 c | 844 | 600 1093 25695 | 5000 844 25 | 0.167 % | 0.29/0.39 c | 944 | 600 1093 25695 | 5500 944 25 | 0.167 % | 0.39/0.45 c | 1094 | 600 1093 25695 | 6050 1094 25 | 0.167 % | 0.50/0.53 c | 1319 | 600 1093 25695 | 6655 1319 25 | 0.167 % | 0.59/0.64 c | 1657 | 600 1093 25695 | 7320 1657 25 | 0.167 % | 0.79/0.81 c | 2164 | 600 1093 25695 | 8052 2164 25 | 0.167 % | 0.89/0.95 c =============================================================================== 0.89/0.95 c New solution: 58 0.89/0.95 o 58 0.89/0.95 c Elapsed CPU time: 0.933858 s Remaining CPU time: 179.066 s 0.89/0.95 c =============================================================================== 0.89/0.95 c | 2637 | 600 1094 25702 | 5000 2637 25 | 0.167 % | 0.89/0.99 c | 2737 | 595 1094 25702 | 5500 2693 25 | 0.999 % | 1.00/1.05 c | 2888 | 595 1094 25702 | 6050 2844 25 | 0.999 % | 1.10/1.13 c | 3113 | 595 1094 25702 | 6655 3069 25 | 0.999 % | 1.19/1.27 c | 3451 | 595 1094 25702 | 7320 3407 25 | 0.999 % | 1.29/1.30 c =============================================================================== 1.29/1.30 c New solution: 57 1.29/1.30 o 57 1.29/1.30 c Elapsed CPU time: 1.2838 s Remaining CPU time: 178.716 s 1.29/1.30 c =============================================================================== 1.29/1.30 c | 3505 | 595 1095 25709 | 5000 3461 26 | 0.999 % | 1.29/1.35 c | 3606 | 595 1095 25709 | 5500 3562 26 | 0.999 % | 1.39/1.40 c | 3758 | 595 1095 25709 | 6050 3714 26 | 0.999 % | 1.39/1.43 c =============================================================================== 1.39/1.43 c New solution: 56 1.39/1.43 o 56 1.39/1.43 c Elapsed CPU time: 1.41778 s Remaining CPU time: 178.582 s 1.39/1.43 c =============================================================================== 1.39/1.43 c | 3832 | 595 1096 25716 | 5000 3788 26 | 0.999 % | 1.39/1.48 c | 3935 | 595 1096 25716 | 5500 3891 26 | 0.999 % | 1.49/1.53 c | 4085 | 595 1096 25716 | 6050 4041 26 | 0.999 % | 1.59/1.62 c | 4310 | 595 1096 25716 | 6655 4266 26 | 0.999 % | 1.69/1.75 c | 4647 | 595 1096 25716 | 7320 4538 25 | 0.999 % | 1.79/1.82 c =============================================================================== 1.79/1.82 c New solution: 54 1.79/1.82 o 54 1.79/1.82 c Elapsed CPU time: 1.79873 s Remaining CPU time: 178.201 s 1.79/1.82 c =============================================================================== 1.79/1.82 c | 4789 | 595 1097 25723 | 5000 4680 26 | 0.999 % | 1.79/1.88 c | 4890 | 595 1097 25723 | 5500 4781 26 | 0.999 % | 1.89/1.95 c | 5040 | 595 1097 25723 | 6050 4931 26 | 0.999 % | 1.99/2.03 c | 5266 | 593 1097 25723 | 6655 5157 26 | 1.331 % | 2.10/2.19 c | 5603 | 593 1097 25723 | 7320 5494 26 | 1.332 % | 2.29/2.39 c | 6110 | 593 1097 25723 | 8052 6001 26 | 1.331 % | 2.59/2.69 c | 6870 | 593 1097 25723 | 8857 6761 26 | 1.331 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c New solution: 53 2.79/2.85 o 53 2.79/2.85 c Elapsed CPU time: 2.83357 s Remaining CPU time: 177.166 s 2.79/2.85 c =============================================================================== 2.79/2.85 c | 7172 | 593 1098 25730 | 5000 7013 26 | 1.331 % | 2.89/2.90 c | 7273 | 593 1098 25730 | 5500 3608 26 | 1.331 % | 2.89/2.96 c | 7427 | 593 1098 25730 | 6050 3762 26 | 1.332 % | 2.99/3.05 c | 7652 | 593 1098 25730 | 6655 3987 26 | 1.332 % | 3.20/3.21 c | 7989 | 593 1098 25730 | 7320 4324 26 | 1.331 % | 3.39/3.41 c | 8495 | 593 1098 25730 | 8052 4830 27 | 1.331 % | 3.69/3.70 c | 9255 | 593 1098 25730 | 8857 5590 27 | 1.332 % | 3.89/3.96 c =============================================================================== 3.89/3.96 c New solution: 49 3.89/3.96 o 49 3.89/3.96 c Elapsed CPU time: 3.9314 s Remaining CPU time: 176.069 s 3.89/3.96 c =============================================================================== 3.89/3.96 c | 9866 | 593 1099 25737 | 5000 6201 27 | 1.332 % | 3.99/4.00 c | 9967 | 592 1099 25737 | 5500 3202 28 | 1.664 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c New solution: 48 3.99/4.04 o 48 3.99/4.04 c Elapsed CPU time: 4.01539 s Remaining CPU time: 175.985 s 3.99/4.04 c =============================================================================== 3.99/4.04 c | 10053 | 591 1100 25744 | 5000 3288 28 | 1.664 % | 3.99/4.09 c | 10156 | 591 1100 25744 | 5500 3391 28 | 1.665 % | 4.09/4.15 c | 10309 | 591 1100 25744 | 6050 3544 28 | 1.664 % | 4.19/4.26 c | 10536 | 588 1100 25744 | 6655 3719 28 | 2.163 % | 4.40/4.42 c | 10874 | 588 1100 25744 | 7320 4057 28 | 2.163 % | 4.59/4.65 c | 11382 | 588 1100 25744 | 8052 4565 28 | 2.163 % | 4.89/4.95 c | 12142 | 588 1100 25744 | 8857 5325 29 | 2.163 % | 5.29/5.36 c | 13281 | 588 1100 25744 | 9743 6464 28 | 2.163 % | 6.19/6.21 c | 14990 | 588 1100 25744 | 10717 8146 29 | 2.163 % | 7.39/7.41 c | 17553 | 588 1100 25744 | 11789 10709 30 | 2.163 % | 9.49/9.52 c | 21397 | 588 1100 25744 | 12968 8577 31 | 2.163 % | 12.29/12.31 c | 27165 | 588 1100 25744 | 14265 7816 31 | 2.163 % | 16.19/16.24 c | 35816 | 588 1100 25744 | 15692 9269 31 | 2.163 % | 19.19/19.20 c =============================================================================== 19.19/19.20 c New solution: 47 19.19/19.20 o 47 19.19/19.20 c Elapsed CPU time: 19.0871 s Remaining CPU time: 160.913 s 19.19/19.20 c =============================================================================== 19.19/19.20 c | 41388 | 588 1101 25751 | 5000 14841 31 | 2.163 % | 19.19/19.28 c | 41490 | 588 1101 25751 | 5500 3813 30 | 2.164 % | 19.29/19.36 c | 41641 | 588 1101 25751 | 6050 3964 30 | 2.163 % | 19.39/19.45 c | 41869 | 588 1101 25751 | 6655 4192 30 | 2.163 % | 19.49/19.58 c | 42207 | 588 1101 25751 | 7320 4530 30 | 2.163 % | 19.79/19.81 c | 42714 | 588 1101 25751 | 8052 5037 30 | 2.164 % | 20.08/20.15 c | 43473 | 588 1101 25751 | 8857 5796 30 | 2.163 % | 20.68/20.73 c | 44612 | 588 1101 25751 | 9743 6935 31 | 2.163 % | 21.49/21.57 c | 46320 | 588 1101 25751 | 10717 8643 30 | 2.163 % | 22.69/22.75 c | 48882 | 588 1101 25751 | 11789 5802 31 | 2.163 % | 24.28/24.30 c | 52726 | 588 1101 25751 | 12968 9646 30 | 2.163 % | 26.78/26.83 c | 58493 | 588 1101 25751 | 14265 8832 29 | 2.163 % | 29.89/29.91 c =============================================================================== 29.89/29.91 c New solution: 46 29.89/29.91 o 46 29.89/29.91 c Elapsed CPU time: 29.7345 s Remaining CPU time: 150.266 s 29.89/29.91 c =============================================================================== 29.89/29.91 c | 64050 | 588 1102 25758 | 5000 14389 30 | 2.163 % | 29.89/29.99 c | 64152 | 588 1102 25758 | 5500 3700 31 | 2.163 % | 29.99/30.06 c | 64303 | 588 1102 25758 | 6050 3851 32 | 2.163 % | 30.08/30.14 c | 64528 | 588 1102 25758 | 6655 4076 31 | 2.164 % | 30.18/30.26 c | 64866 | 588 1102 25758 | 7320 4414 32 | 2.163 % | 30.38/30.44 c | 65372 | 588 1102 25758 | 8052 4920 32 | 2.163 % | 30.69/30.78 c | 66132 | 588 1102 25758 | 8857 5680 32 | 2.163 % | 31.18/31.22 c | 67273 | 588 1102 25758 | 9743 6821 32 | 2.163 % | 31.89/31.97 c | 68981 | 588 1102 25758 | 10717 8529 31 | 2.163 % | 33.38/33.48 c | 71543 | 588 1102 25758 | 11789 5612 31 | 2.163 % | 35.18/35.23 c | 75388 | 588 1102 25758 | 12968 9457 32 | 2.163 % | 38.38/38.47 c | 81154 | 588 1102 25758 | 14265 8684 33 | 2.163 % | 42.89/42.97 c | 89804 | 588 1102 25758 | 15692 10101 32 | 2.163 % | 48.48/48.55 c | 102780 | 588 1102 25758 | 17261 15178 29 | 2.163 % | 59.38/59.47 c | 122242 | 588 1102 25758 | 18987 17255 33 | 2.163 % | 72.48/72.56 c =============================================================================== 72.48/72.56 c New solution: 45 72.48/72.56 o 45 72.48/72.56 c Elapsed CPU time: 72.162 s Remaining CPU time: 107.838 s 72.48/72.56 c =============================================================================== 72.48/72.56 c | 145099 | 588 1103 25765 | 5000 11368 33 | 2.163 % | 72.58/72.64 c | 145202 | 588 1103 25765 | 5500 2945 32 | 2.163 % | 72.67/72.70 c | 145352 | 587 1103 25765 | 6050 2918 32 | 2.330 % | 72.77/72.80 c | 145578 | 587 1103 25765 | 6655 3144 32 | 2.330 % | 72.87/72.92 c | 145915 | 587 1103 25765 | 7320 3481 31 | 2.330 % | 73.07/73.17 c | 146421 | 587 1103 25765 | 8052 3987 32 | 2.330 % | 73.37/73.43 c | 147182 | 587 1103 25765 | 8857 4748 31 | 2.330 % | 73.77/73.89 c | 148321 | 587 1103 25765 | 9743 5887 31 | 2.330 % | 74.57/74.64 c | 150029 | 587 1103 25765 | 10717 7595 31 | 2.331 % | 75.78/75.88 c | 152591 | 587 1103 25765 | 11789 10157 32 | 2.330 % | 77.77/77.83 c | 156435 | 587 1103 25765 | 12968 8042 33 | 2.330 % | 80.17/80.28 c | 162201 | 587 1103 25765 | 14265 7235 29 | 2.330 % | 84.77/84.88 c | 170850 | 587 1103 25765 | 15692 8683 32 | 2.330 % | 92.06/92.16 c | 183824 | 587 1103 25765 | 17261 13740 33 | 2.330 % | 102.87/102.92 c | 203287 | 587 1103 25765 | 18987 15859 32 | 2.330 % | 120.26/120.30 c | 232479 | 586 1103 25765 | 20886 16342 33 | 2.496 % | 148.95/149.07 c | 276268 | 586 1103 25765 | 22974 18066 32 | 2.498 % | 180.94/181.01 c There are 15 assigned variables. 3 in cost function. 181.14/181.26 c ============================[ Search Statistics ]============================== 181.14/181.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.14/181.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.14/181.26 c =============================================================================== 181.14/181.26 c | 0 | 568 1110 20228 | 5000 0 nan | 0.000 % | 181.24/181.32 c | 101 | 568 1110 20228 | 5500 101 15 | 5.491 % | 181.24/181.37 c | 251 | 568 1110 20228 | 6050 251 16 | 5.491 % | 181.35/181.44 c | 476 | 568 1110 20228 | 6655 476 18 | 5.491 % | 181.45/181.57 c | 815 | 568 1110 20228 | 7320 815 19 | 5.491 % | 181.64/181.73 c | 1323 | 568 1110 20228 | 8052 1323 19 | 5.491 % | 181.84/181.98 c | 2083 | 568 1110 20228 | 8857 2083 19 | 5.491 % | 182.24/182.36 c | 3222 | 568 1110 20228 | 9743 3222 19 | 5.492 % | 182.85/182.98 c | 4930 | 568 1110 20228 | 10717 4930 20 | 5.493 % | 183.95/184.09 c | 7492 | 568 1110 20228 | 11789 7492 20 | 5.491 % | 185.34/185.40 c =============================================================================== 185.34/185.42 c core #1 185.34/185.42 c 185.34/185.42 c 185.34/185.42 c Core size: 24 Core Weight: 1 Total Weight: 37 185.34/185.42 c 185.34/185.42 c 185.34/185.42 c ============================[ Search Statistics ]============================== 185.34/185.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.42 c =============================================================================== 185.34/185.42 c | 0 | 580 1117 20242 | 5000 0 nan | 0.000 % | 185.34/185.47 c | 100 | 580 1117 20242 | 5500 100 18 | 4.135 % | 185.44/185.54 c | 251 | 579 1117 20242 | 6050 251 19 | 4.298 % | 185.54/185.64 c | 477 | 579 1117 20242 | 6655 477 18 | 4.299 % | 185.64/185.78 c | 814 | 579 1117 20242 | 7320 813 18 | 4.299 % | 185.94/186.01 c | 1322 | 579 1117 20242 | 8052 1321 18 | 4.298 % | 186.24/186.34 c | 2081 | 579 1117 20242 | 8857 2080 18 | 4.298 % | 186.65/186.79 c | 3221 | 579 1117 20242 | 9743 3220 18 | 4.299 % | 187.54/187.65 c | 4929 | 579 1117 20242 | 10717 4928 18 | 4.298 % | 189.05/189.10 c | 7493 | 579 1117 20242 | 11789 7492 18 | 4.300 % | 191.34/191.47 c | 11337 | 579 1117 20242 | 12968 11336 18 | 4.298 % | 195.14/195.24 c | 17104 | 578 1117 20242 | 14265 10526 18 | 4.464 % | 199.13/199.20 c =============================================================================== 199.13/199.24 c core #2 199.13/199.24 c 199.13/199.24 c 199.13/199.24 c Core size: 6 Core Weight: 1 Total Weight: 38 199.13/199.24 c 199.13/199.24 c 199.13/199.24 c ============================[ Search Statistics ]============================== 199.13/199.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.13/199.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.13/199.24 c =============================================================================== 199.13/199.24 c | 0 | 586 1121 20279 | 5000 0 nan | 0.000 % | 199.23/199.34 c | 102 | 586 1121 20279 | 5500 102 15 | 3.619 % | 199.33/199.41 c | 252 | 586 1121 20279 | 6050 252 17 | 3.619 % | 199.33/199.50 c | 477 | 586 1121 20279 | 6655 477 19 | 3.619 % | 199.54/199.64 c | 814 | 586 1121 20279 | 7320 814 19 | 3.619 % | 199.74/199.84 c | 1321 | 585 1121 20279 | 8052 1319 20 | 3.783 % | 200.14/200.24 c | 2080 | 585 1121 20279 | 8857 2078 20 | 3.784 % | 200.63/200.75 c | 3219 | 585 1121 20279 | 9743 3217 21 | 3.783 % | 201.44/201.51 c | 4927 | 585 1121 20279 | 10717 4925 21 | 3.784 % | 202.94/203.03 c | 7491 | 585 1121 20279 | 11789 7489 22 | 3.783 % | 205.33/205.49 c | 11336 | 585 1121 20279 | 12968 11334 22 | 3.783 % | 208.95/209.01 c | 17102 | 585 1121 20279 | 14265 10583 22 | 3.785 % | 214.73/214.83 c | 25751 | 559 1121 20279 | 15692 1434 19 | 8.059 % | 218.84/218.90 c =============================================================================== 218.93/219.07 c core #3 218.93/219.07 c 218.93/219.07 c 218.93/219.07 c Core size: 20 Core Weight: 1 Total Weight: 39 218.93/219.07 c 218.93/219.07 c 218.93/219.07 c ============================[ Search Statistics ]============================== 218.93/219.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.93/219.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.93/219.07 c =============================================================================== 218.93/219.07 c | 0 | 590 1124 20285 | 5000 0 nan | 0.000 % | 219.03/219.18 c | 101 | 590 1124 20285 | 5500 101 18 | 3.596 % | 219.13/219.25 c | 252 | 590 1124 20285 | 6050 252 21 | 3.595 % | 219.23/219.35 c | 478 | 590 1124 20285 | 6655 478 20 | 3.595 % | 219.33/219.48 c | 817 | 590 1124 20285 | 7320 817 19 | 3.596 % | 219.53/219.68 c | 1323 | 590 1124 20285 | 8052 1323 19 | 3.596 % | 219.94/220.02 c | 2082 | 589 1124 20285 | 8857 2078 19 | 3.758 % | 220.33/220.47 c | 3222 | 589 1124 20285 | 9743 3218 19 | 3.758 % | 221.13/221.26 c | 4930 | 589 1124 20285 | 10717 4926 19 | 3.758 % | 222.53/222.67 c | 7492 | 589 1124 20285 | 11789 7488 19 | 3.759 % | 224.93/225.08 c | 11336 | 589 1124 20285 | 12968 11332 19 | 3.758 % | 228.83/228.90 c | 17102 | 588 1124 20285 | 14265 10456 19 | 3.922 % | 234.53/234.63 c | 25752 | 579 1124 20285 | 15692 3964 19 | 5.392 % | 242.52/242.63 c | 38727 | 574 1124 20285 | 17261 6497 17 | 6.209 % | 247.63/247.79 c =============================================================================== 247.72/247.86 c core #4 247.72/247.86 c 247.72/247.86 c 247.72/247.86 c Core size: 19 Core Weight: 1 Total Weight: 40 247.72/247.86 c 247.72/247.86 c 247.72/247.86 c ============================[ Search Statistics ]============================== 247.72/247.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 247.72/247.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 247.72/247.86 c =============================================================================== 247.72/247.86 c | 0 | 594 1126 20333 | 5000 0 nan | 0.000 % | 247.82/247.94 c | 100 | 594 1126 20333 | 5500 100 15 | 3.258 % | 247.92/248.00 c | 251 | 594 1126 20333 | 6050 251 18 | 3.258 % | 247.92/248.06 c | 479 | 594 1126 20333 | 6655 479 20 | 3.258 % | 248.02/248.18 c | 817 | 594 1126 20333 | 7320 817 20 | 3.259 % | 248.22/248.37 c | 1323 | 594 1126 20333 | 8052 1323 20 | 3.258 % | 248.53/248.65 c | 2087 | 594 1126 20333 | 8857 2087 21 | 3.258 % | 248.93/249.09 c | 3227 | 594 1126 20333 | 9743 3227 21 | 3.258 % | 249.72/249.81 c | 4935 | 594 1126 20333 | 10717 4935 22 | 3.258 % | 250.82/250.97 c | 7498 | 594 1126 20333 | 11789 7498 22 | 3.258 % | 252.62/252.76 c | 11342 | 594 1126 20333 | 12968 11342 22 | 3.258 % | 255.43/255.59 c | 17108 | 594 1126 20333 | 14265 10558 21 | 3.258 % | 259.72/259.86 c | 25758 | 594 1126 20333 | 15692 11976 22 | 3.261 % | 266.92/267.08 c | 38732 | 594 1126 20333 | 17261 9124 22 | 3.258 % | 277.22/277.36 c | 58194 | 592 1126 20333 | 18987 15746 23 | 3.583 % | 283.81/283.90 c =============================================================================== 284.11/284.23 c core #5 284.11/284.23 c 284.11/284.23 c 284.11/284.23 c Core size: 31 Core Weight: 1 Total Weight: 41 284.11/284.23 c 284.11/284.23 c 284.11/284.23 c ============================[ Search Statistics ]============================== 284.11/284.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 284.11/284.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 284.11/284.23 c =============================================================================== 284.11/284.23 c | 0 | 601 1128 20346 | 5000 0 nan | 0.000 % | 284.21/284.34 c | 101 | 601 1128 20346 | 5500 101 16 | 3.221 % | 284.31/284.41 c | 252 | 601 1128 20346 | 6050 252 22 | 3.221 % | 284.42/284.50 c | 477 | 601 1128 20346 | 6655 477 19 | 3.221 % | 284.51/284.63 c | 814 | 601 1128 20346 | 7320 814 19 | 3.221 % | 284.72/284.83 c | 1322 | 601 1128 20346 | 8052 1322 19 | 3.221 % | 285.01/285.12 c | 2081 | 601 1128 20346 | 8857 2081 18 | 3.221 % | 285.51/285.63 c | 3220 | 601 1128 20346 | 9743 3220 19 | 3.221 % | 286.21/286.39 c | 4931 | 601 1128 20346 | 10717 4931 19 | 3.221 % | 287.81/287.91 c | 7494 | 601 1128 20346 | 11789 7494 19 | 3.221 % | 289.91/290.08 c | 11340 | 601 1128 20346 | 12968 11340 19 | 3.221 % | 293.31/293.45 c | 17107 | 601 1128 20346 | 14265 10524 19 | 3.221 % | 298.41/298.54 c | 25756 | 601 1128 20346 | 15692 11970 20 | 3.221 % | 306.01/306.16 c | 38730 | 601 1128 20346 | 17261 9070 19 | 3.221 % | 317.71/317.80 c | 58191 | 601 1128 20346 | 18987 11067 21 | 3.222 % | 336.60/336.74 c | 87383 | 599 1128 20346 | 20886 11611 21 | 3.544 % | 354.69/354.87 c =============================================================================== 354.99/355.16 c core #6 354.99/355.16 c 354.99/355.16 c 354.99/355.16 c Core size: 17 Core Weight: 1 Total Weight: 42 354.99/355.16 c 354.99/355.16 c 354.99/355.16 c ============================[ Search Statistics ]============================== 354.99/355.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 354.99/355.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 354.99/355.16 c =============================================================================== 354.99/355.16 c | 0 | 607 1131 20360 | 5000 0 nan | 0.000 % | 355.10/355.24 c | 100 | 607 1131 20360 | 5500 100 15 | 3.190 % | 355.10/355.29 c | 251 | 607 1131 20360 | 6050 251 19 | 3.190 % | 355.20/355.37 c | 476 | 607 1131 20360 | 6655 476 19 | 3.190 % | 355.29/355.48 c | 814 | 607 1131 20360 | 7320 814 19 | 3.190 % | 355.49/355.66 c | 1320 | 607 1131 20360 | 8052 1320 19 | 3.191 % | 355.80/355.92 c | 2079 | 607 1131 20360 | 8857 2079 19 | 3.191 % | 356.20/356.35 c | 3218 | 607 1131 20360 | 9743 3218 18 | 3.190 % | 356.89/357.04 c | 4926 | 607 1131 20360 | 10717 4926 19 | 3.190 % | 357.89/358.06 c | 7488 | 607 1131 20360 | 11789 7488 19 | 3.190 % | 359.99/360.14 c | 11333 | 607 1131 20360 | 12968 11333 19 | 3.190 % | 362.59/362.77 c | 17100 | 607 1131 20360 | 14265 10556 19 | 3.190 % | 366.79/366.93 c | 25749 | 607 1131 20360 | 15692 12015 18 | 3.191 % | 373.18/373.33 c | 38723 | 607 1131 20360 | 17261 9204 18 | 3.190 % | 383.18/383.35 c | 58185 | 607 1131 20360 | 18987 11302 19 | 3.191 % | 398.68/398.84 c | 87379 | 599 1131 20360 | 20886 1355 17 | 4.466 % | 422.47/422.67 c | 131168 | 599 1131 20360 | 22974 13663 17 | 4.467 % | 460.06/460.26 c | 196852 | 593 1131 20360 | 25272 18764 19 | 5.427 % | 471.77/471.98 c =============================================================================== 471.96/472.17 c core #7 471.96/472.17 c 471.96/472.17 c 471.96/472.17 c Core size: 12 Core Weight: 2 Total Weight: 44 471.96/472.17 c 471.96/472.17 c 471.96/472.17 c ============================[ Search Statistics ]============================== 471.96/472.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 471.96/472.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 471.96/472.17 c =============================================================================== 471.96/472.17 c | 0 | 613 1133 20425 | 5000 0 nan | 0.000 % | 472.06/472.25 c | 100 | 613 1133 20425 | 5500 100 16 | 2.389 % | 472.16/472.31 c | 250 | 613 1133 20425 | 6050 250 17 | 2.389 % | 472.16/472.37 c | 476 | 613 1133 20425 | 6655 476 18 | 2.389 % | 472.26/472.48 c | 813 | 613 1133 20425 | 7320 813 20 | 2.389 % | 472.46/472.63 c | 1319 | 613 1133 20425 | 8052 1319 19 | 2.389 % | 472.66/472.85 c | 2078 | 613 1133 20425 | 8857 2078 19 | 2.389 % | 472.96/473.18 c | 3217 | 613 1133 20425 | 9743 3217 19 | 2.389 % | 473.56/473.76 c | 4926 | 613 1133 20425 | 10717 4926 18 | 2.389 % | 474.46/474.67 c | 7488 | 613 1133 20425 | 11789 7488 18 | 2.389 % | 476.06/476.30 c | 11332 | 613 1133 20425 | 12968 11332 18 | 2.389 % | 478.76/478.91 c | 17098 | 613 1133 20425 | 14265 10558 19 | 2.389 % | 482.86/483.05 c | 25748 | 613 1133 20425 | 15692 11955 20 | 2.389 % | 488.85/489.05 c | 38722 | 613 1133 20425 | 17261 9140 17 | 2.391 % | 496.56/496.77 c | 58184 | 613 1133 20425 | 18987 11170 21 | 2.390 % | 509.76/509.95 c | 87376 | 613 1133 20425 | 20886 11644 18 | 2.389 % | 531.45/531.61 c | 131167 | 613 1133 20425 | 22974 13423 22 | 2.389 % | 565.74/565.90 c =============================================================================== 565.74/565.90 c #cores: 7 565.74/565.90 c Final Weight: 44 565.74/565.90 o 44 565.74/565.90 s OPTIMUM FOUND 565.74/565.90 v -x1 -x2 -x3 x4 -x5 -x6 x601 -x49 x50 -x51 -x52 x53 -x54 x55 x56 x57 x58 -x59 -x60 -x600 x42 -x43 -x44 -x45 x46 -x47 -x48 -x599 -x598 -x597 -x596 -x595 x35 -x36 -x37 x38 -x39 -x40 -x41 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 x28 x29 -x30 x31 -x32 -x33 -x34 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 x570 -x569 -x568 -x567 -x566 -x565 -x564 x563 x562 x561 -x560 x559 x558 x557 x556 x555 x554 x553 x552 x551 -x21 x22 x23 -x24 -x25 -x26 -x27 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 x530 x529 -x528 x527 x526 -x525 -x524 -x523 -x522 x521 x520 -x519 x518 x517 x516 x515 x514 x513 x512 x511 -x510 -x509 -x508 x507 x506 -x505 x504 x503 x502 x501 x500 x499 x498 x497 -x496 -x7 x8 -x9 -x10 -x11 -x12 -x13 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 x466 x465 x464 -x463 -x462 -x461 -x460 -x459 -x458 x457 x456 x455 -x454 x453 x452 x451 -x450 x449 x448 x447 x446 -x445 -x444 -x443 -x442 -x441 -x440 x439 x438 x437 -x436 x435 x434 x433 x432 -x431 x430 x429 x428 x427 -x426 -x425 -x424 -x423 x422 x421 x420 x419 x418 x417 x416 x415 x414 x413 x412 -x411 x410 x409 x408 x407 x406 x405 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 x386 x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 x372 x371 -x370 x369 x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 x360 x359 x358 -x357 x356 x355 x354 -x353 x352 x351 x350 x349 x348 x347 x346 x345 -x344 -x343 -x342 -x341 -x340 -x339 x338 x337 x336 -x335 x334 x333 x332 -x331 -x330 x329 x328 x327 x326 -x325 x324 x323 x322 x321 -x320 -x319 -x318 -x317 x316 x315 -x314 x313 x312 x311 x310 x309 x308 x307 x306 -x305 x304 x303 x302 x301 x300 -x299 x298 x297 x296 x295 x294 x293 -x292 x291 x290 x289 x288 x287 x286 x285 x284 x283 x282 x281 x280 x279 -x278 x277 x276 x275 x274 x273 x272 x271 x270 x269 x268 x267 x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 x245 x244 x243 x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 x228 -x227 x226 x225 x224 x223 x222 x221 -x220 -x219 -x218 -x217 -x216 -x215 x214 x213 x212 -x211 x210 x209 x208 -x207 x206 x205 x204 x203 x202 x201 x200 x199 x198 x197 x196 x195 -x194 -x193 -x192 -x191 -x190 -x189 x188 x187 x186 -x185 x184 x183 x182 -x181 -x180 x179 x178 x177 x176 -x175 x174 x173 x172 x171 -x170 x169 x168 x167 x166 x165 -x164 -x163 -x162 x161 x160 -x159 x158 x157 x156 x155 x154 x153 x152 x151 -x150 x149 x148 x147 x146 x145 -x144 x143 x142 x141 x140 x139 x138 x137 x136 x135 x134 x133 x132 -x131 x130 x129 x128 x127 x126 x125 x124 x123 x122 x121 x120 x119 x118 -x117 x116 x115 x114 x113 x112 x111 x110 x109 x108 x107 x106 x105 x104 x103 x102 x101 x100 x99 x98 x97 x96 x95 x94 x93 x92 x91 x90 x89 x88 x87 x86 x85 x84 x83 x82 x81 x80 x79 x78 x77 x76 x75 x74 x73 x72 x71 x70 x69 x68 x67 x66 x65 x64 x63 x62 x61 565.74/565.90 c Total CPU time: 562.715 s
OK 44
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680719-1277458773/watcher-2680719-1277458773 -o /tmp/evaluation-result-2680719-1277458773/solver-2680719-1277458773 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680719-1277458773.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.94 3/105 27716 /proc/meminfo: memFree=1856240/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=2768 CPUtime=0 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 294 0 0 0 0 0 0 0 25 0 1 0 87170798 2834432 213 1992294400 134512640 135752675 4288080240 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 692 213 139 303 0 338 0 [startup+0.0886609 s] /proc/loadavg: 1.00 1.00 0.94 3/105 27716 /proc/meminfo: memFree=1856240/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=3364 CPUtime=0.08 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 551 0 0 0 8 0 0 0 25 0 1 0 87170798 3444736 421 1992294400 134512640 135752675 4288080240 18446744073709551615 134518848 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 841 421 144 303 0 536 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3364 [startup+0.101662 s] /proc/loadavg: 1.00 1.00 0.94 3/105 27716 /proc/meminfo: memFree=1856240/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=3364 CPUtime=0.09 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 552 0 0 0 9 0 0 0 25 0 1 0 87170798 3444736 422 1992294400 134512640 135752675 4288080240 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 841 422 145 303 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3364 [startup+0.301682 s] /proc/loadavg: 1.00 1.00 0.94 3/105 27716 /proc/meminfo: memFree=1856240/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=3496 CPUtime=0.29 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 566 0 0 0 29 0 0 0 25 0 1 0 87170798 3579904 436 1992294400 134512640 135752675 4288080240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 874 436 145 303 0 569 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3496 [startup+0.701723 s] /proc/loadavg: 1.00 1.00 0.94 3/105 27716 /proc/meminfo: memFree=1856240/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=3760 CPUtime=0.69 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 624 0 0 0 68 1 0 0 25 0 1 0 87170798 3850240 494 1992294400 134512640 135752675 4288080240 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 940 494 145 303 0 635 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3760 [startup+1.5008 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27717 /proc/meminfo: memFree=1854496/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=4168 CPUtime=1.49 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 739 0 0 0 148 1 0 0 25 0 1 0 87170798 4268032 609 1992294400 134512640 135752675 4288080240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 1042 609 145 303 0 737 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4168 [startup+3.10095 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27717 /proc/meminfo: memFree=1853752/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=4960 CPUtime=3.09 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 933 0 0 0 307 2 0 0 25 0 1 0 87170798 5079040 803 1992294400 134512640 135752675 4288080240 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 1240 803 145 303 0 935 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4960 [startup+6.30126 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27717 /proc/meminfo: memFree=1852016/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=6412 CPUtime=6.29 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 1307 0 0 0 625 4 0 0 25 0 1 0 87170798 6565888 1177 1992294400 134512640 135752675 4288080240 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 1603 1177 145 303 0 1298 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6412 [startup+12.7009 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27717 /proc/meminfo: memFree=1849296/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=9200 CPUtime=12.69 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 1987 0 0 0 1261 8 0 0 25 0 1 0 87170798 9420800 1857 1992294400 134512640 135752675 4288080240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 2300 1857 145 303 0 1995 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9200 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27717 /proc/meminfo: memFree=1843716/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=14632 CPUtime=25.48 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 3351 0 0 0 2534 14 0 0 25 0 1 0 87170798 14983168 3221 1992294400 134512640 135752675 4288080240 18446744073709551615 134611713 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 3658 3221 145 303 0 3353 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14632 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27719 /proc/meminfo: memFree=1832928/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=25472 CPUtime=51.07 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 6052 0 0 0 5080 27 0 0 25 0 1 0 87170798 26083328 5922 1992294400 134512640 135752675 4288080240 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 6368 5922 145 303 0 6063 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25472 [startup+102.309 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27719 /proc/meminfo: memFree=1812468/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=45428 CPUtime=102.27 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 11051 0 0 0 10170 57 0 0 25 0 1 0 87170798 46518272 10921 1992294400 134512640 135752675 4288080240 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 11357 10921 145 303 0 11052 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 45428 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27721 /proc/meminfo: memFree=1792628/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=65280 CPUtime=162.25 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 16021 0 0 0 16137 88 0 0 25 0 1 0 87170798 66846720 15891 1992294400 134512640 135752675 4288080240 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 16320 15891 145 303 0 16015 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 65280 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27723 /proc/meminfo: memFree=1786056/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=71748 CPUtime=222.23 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 17614 0 0 0 22106 117 0 0 25 0 1 0 87170798 73469952 17484 1992294400 134512640 135752675 4288080240 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 17937 17484 146 303 0 17632 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 71748 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27725 /proc/meminfo: memFree=1782460/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=75352 CPUtime=282.21 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 18518 0 0 0 28071 150 0 0 25 0 1 0 87170798 77160448 18388 1992294400 134512640 135752675 4288080240 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 18838 18388 146 303 0 18533 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 75352 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27727 /proc/meminfo: memFree=1771920/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=85684 CPUtime=342.2 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 21112 0 0 0 34038 182 0 0 25 0 1 0 87170798 87740416 20982 1992294400 134512640 135752675 4288080240 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 21421 20982 146 303 0 21116 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 85684 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27727 /proc/meminfo: memFree=1760264/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=97204 CPUtime=402.18 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 24001 0 0 0 40003 215 0 0 25 0 1 0 87170798 99536896 23871 1992294400 134512640 135752675 4288080240 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 24301 23871 146 303 0 23996 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 97204 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27729 /proc/meminfo: memFree=1746872/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=110580 CPUtime=462.17 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 27315 0 0 0 45971 246 0 0 25 0 1 0 87170798 113233920 27185 1992294400 134512640 135752675 4288080240 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 27645 27185 146 303 0 27340 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 110580 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27731 /proc/meminfo: memFree=1735588/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=121948 CPUtime=522.15 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 30171 0 0 0 51935 280 0 0 25 0 1 0 87170798 124874752 30041 1992294400 134512640 135752675 4288080240 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 30487 30041 146 303 0 30182 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 121948 Solver just ended. Dumping a history of the last processes samples [startup+537.501 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27731 /proc/meminfo: memFree=1732116/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=125368 CPUtime=537.34 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 31017 0 0 0 53446 288 0 0 25 0 1 0 87170798 128376832 30887 1992294400 134512640 135752675 4288080240 18446744073709551615 134518848 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 31342 30887 146 303 0 31037 0 Current children cumulated CPU time (s) 537.34 Current children cumulated vsize (KiB) 125368 [startup+550.301 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27731 /proc/meminfo: memFree=1729016/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=128276 CPUtime=550.14 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 31761 0 0 0 54719 295 0 0 25 0 1 0 87170798 131354624 31631 1992294400 134512640 135752675 4288080240 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 32069 31631 146 303 0 31764 0 Current children cumulated CPU time (s) 550.14 Current children cumulated vsize (KiB) 128276 [startup+556.702 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27733 /proc/meminfo: memFree=1727280/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=129988 CPUtime=556.53 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 32186 0 0 0 55356 297 0 0 25 0 1 0 87170798 133107712 32056 1992294400 134512640 135752675 4288080240 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 32497 32056 146 303 0 32192 0 Current children cumulated CPU time (s) 556.53 Current children cumulated vsize (KiB) 129988 [startup+559.908 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27733 /proc/meminfo: memFree=1726288/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=130912 CPUtime=559.74 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 32426 0 0 0 55675 299 0 0 25 0 1 0 87170798 134053888 32296 1992294400 134512640 135752675 4288080240 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 32728 32296 146 303 0 32423 0 Current children cumulated CPU time (s) 559.74 Current children cumulated vsize (KiB) 130912 [startup+563.101 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27733 /proc/meminfo: memFree=1725420/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=131836 CPUtime=562.94 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 32640 0 0 0 55993 301 0 0 25 0 1 0 87170798 135000064 32510 1992294400 134512640 135752675 4288080240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 32959 32510 146 303 0 32654 0 Current children cumulated CPU time (s) 562.94 Current children cumulated vsize (KiB) 131836 [startup+564.702 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27733 /proc/meminfo: memFree=1725048/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=132376 CPUtime=564.53 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 32767 0 0 0 56151 302 0 0 25 0 1 0 87170798 135553024 32637 1992294400 134512640 135752675 4288080240 18446744073709551615 134605267 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 33094 32637 146 303 0 32789 0 Current children cumulated CPU time (s) 564.53 Current children cumulated vsize (KiB) 132376 [startup+565.501 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27733 /proc/meminfo: memFree=1724676/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=132640 CPUtime=565.34 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 32826 0 0 0 56231 303 0 0 25 0 1 0 87170798 135823360 32696 1992294400 134512640 135752675 4288080240 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 33160 32696 146 303 0 32855 0 Current children cumulated CPU time (s) 565.34 Current children cumulated vsize (KiB) 132640 [startup+565.901 s] /proc/loadavg: 1.00 1.00 0.94 2/106 27733 /proc/meminfo: memFree=1724676/2059040 swapFree=4140364/4192956 [pid=27716] ppid=27714 vsize=132772 CPUtime=565.74 /proc/27716/stat : 27716 (wbo1.4b) R 27714 27716 27340 0 -1 4202496 32860 0 0 0 56271 303 0 0 25 0 1 0 87170798 135958528 32730 1992294400 134512640 135752675 4288080240 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27716/statm: 33193 32730 146 303 0 32888 0 Current children cumulated CPU time (s) 565.74 Current children cumulated vsize (KiB) 132772 Child status: 0 Real time (s): 565.921 CPU time (s): 565.765 CPU user time (s): 562.715 CPU system time (s): 3.04954 CPU usage (%): 99.9724 Max. virtual memory (cumulated for all children) (KiB): 132772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 562.715 system time used= 3.04954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32861 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= 614 runsolver used 0.911861 second user time and 2.71459 second system time The end
Begin job on node089 at 2010-06-25 11:39:33 IDJOB=2680719 IDBENCH=2943 IDSOLVER=1190 FILE ID=node089/2680719-1277458773 PBS_JOBID= 11188101 Free space on /tmp= 62556 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_9.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680719-1277458773/watcher-2680719-1277458773 -o /tmp/evaluation-result-2680719-1277458773/solver-2680719-1277458773 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680719-1277458773.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a849a24692bdc034ba3174a2ba23709e RANDOM SEED=788557759 node089.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.244 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1856776 kB Buffers: 15688 kB Cached: 84344 kB SwapCached: 5456 kB Active: 23464 kB Inactive: 89052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1856776 kB SwapTotal: 4192956 kB SwapFree: 4140364 kB Dirty: 2860 kB Writeback: 0 kB AnonPages: 11164 kB Mapped: 11956 kB Slab: 67872 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181468 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62552 MiB End job on node089 at 2010-06-25 11:48:59