Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| wbo 1.4b | ? (TO) | 1800.17 | 1800.71 |
| Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data6_3.opb |
| MD5SUM | f675f355e04fd5af6f49610fb88dbbd3 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 24973 |
| Best CPU time to get the best result obtained on this benchmark | 1798.04 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 24674 |
| Optimality of the best value was proved | NO |
| Number of variables | 540 |
| Total number of constraints | 4476 |
| Number of constraints which are clauses | 2532 |
| Number of constraints which are cardinality constraints (but not clauses) | 264 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1680 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 20 |
| Number of terms in the objective function | 180 |
| Biggest coefficient in the objective function | 1380 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 116904 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 1380 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 116904 |
| Number of bits of the biggest sum of numbers | 17 |
| 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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655973-1276399030.opb. 0.00/0.00 c Instance file HOME/instance-2655973-1276399030.opb 0.00/0.00 c File size is 202954 bytes. 0.00/0.03 c Highest Coefficient sum: 40 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 540 | 0.00/0.03 c | Number Clauses: 2682 | 0.00/0.03 c | Number Cardinality: 264 | 0.00/0.03 c | Number PB Constraints: 1680 | 0.00/0.06 c ============================[ Search Statistics ]============================== 0.00/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 540 4626 21888 | 5000 0 nan | 0.000 % | 0.00/0.06 c | 102 | 540 4626 21888 | 5500 102 25 | 0.001 % | 0.00/0.07 c | 253 | 540 4626 21888 | 6050 253 31 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 35895 0.00/0.07 o 35895 0.00/0.07 c Elapsed CPU time: 0.076988 s Remaining CPU time: 179.923 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 257 | 540 4627 22068 | 5000 257 31 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 33618 0.00/0.08 o 33618 0.00/0.08 c Elapsed CPU time: 0.077988 s Remaining CPU time: 179.922 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 258 | 540 4628 22248 | 5000 258 31 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 31644 0.00/0.08 o 31644 0.00/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 179.918 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 279 | 540 4629 22428 | 5000 279 32 | 0.000 % | 0.08/0.09 c | 379 | 540 4629 22428 | 5500 379 41 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 30628 0.09/0.10 o 30628 0.09/0.10 c Elapsed CPU time: 0.103984 s Remaining CPU time: 179.896 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 418 | 540 4630 22608 | 5000 418 41 | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c New solution: 30339 0.09/0.10 o 30339 0.09/0.10 c Elapsed CPU time: 0.106983 s Remaining CPU time: 179.893 s 0.09/0.10 c =============================================================================== 0.09/0.10 c | 426 | 540 4631 22788 | 5000 426 42 | 0.000 % | 0.09/0.12 c | 526 | 540 4631 22788 | 5500 526 48 | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 29556 0.09/0.13 o 29556 0.09/0.13 c Elapsed CPU time: 0.12798 s Remaining CPU time: 179.872 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 584 | 540 4632 22968 | 5000 584 47 | 0.000 % | 0.09/0.13 c =============================================================================== 0.09/0.13 c New solution: 28898 0.09/0.13 o 28898 0.09/0.13 c Elapsed CPU time: 0.133979 s Remaining CPU time: 179.866 s 0.09/0.13 c =============================================================================== 0.09/0.13 c | 621 | 540 4633 23148 | 5000 621 48 | 0.000 % | 0.09/0.15 c | 722 | 540 4633 23148 | 5500 722 50 | 0.000 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c New solution: 28665 0.09/0.15 o 28665 0.09/0.15 c Elapsed CPU time: 0.155976 s Remaining CPU time: 179.844 s 0.09/0.15 c =============================================================================== 0.09/0.15 c | 747 | 540 4634 23328 | 5000 747 50 | 0.000 % | 0.09/0.17 c | 847 | 540 4634 23328 | 5500 847 54 | 0.000 % | 0.09/0.19 c | 998 | 540 4634 23328 | 6050 998 51 | 0.000 % | 0.19/0.23 c | 1223 | 540 4634 23328 | 6655 1223 52 | 0.000 % | 0.19/0.28 c | 1564 | 540 4634 23328 | 7320 1564 54 | 0.000 % | 0.19/0.29 c =============================================================================== 0.19/0.29 c New solution: 27785 0.19/0.29 o 27785 0.19/0.29 c Elapsed CPU time: 0.289955 s Remaining CPU time: 179.71 s 0.19/0.29 c =============================================================================== 0.19/0.29 c | 1615 | 540 4635 23508 | 5000 1615 54 | 0.000 % | 0.29/0.31 c | 1716 | 540 4635 23508 | 5500 1716 53 | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 27209 0.29/0.31 o 27209 0.29/0.31 c Elapsed CPU time: 0.309952 s Remaining CPU time: 179.69 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 1733 | 540 4636 23688 | 5000 1733 53 | 0.000 % | 0.29/0.32 c | 1833 | 540 4636 23688 | 5500 1833 53 | 0.001 % | 0.29/0.35 c | 1983 | 540 4636 23688 | 6050 1983 53 | 0.000 % | 0.29/0.39 c | 2209 | 540 4636 23688 | 6655 2209 54 | 0.000 % | 0.39/0.46 c | 2547 | 540 4636 23688 | 7320 2547 55 | 0.000 % | 0.50/0.55 c | 3053 | 540 4636 23688 | 8052 3053 57 | 0.000 % | 0.69/0.70 c | 3813 | 540 4636 23688 | 8857 3813 64 | 0.000 % | 0.89/0.98 c | 4955 | 540 4636 23688 | 9743 4955 64 | 0.000 % | 1.49/1.54 c | 6663 | 540 4636 23688 | 10717 6663 64 | 0.000 % | 2.29/2.31 c | 9226 | 540 4636 23688 | 11789 9226 71 | 0.000 % | 3.29/3.38 c =============================================================================== 3.29/3.38 c New solution: 27163 3.29/3.38 o 27163 3.29/3.38 c Elapsed CPU time: 3.34649 s Remaining CPU time: 176.654 s 3.29/3.38 c =============================================================================== 3.29/3.38 c | 12400 | 540 4637 23868 | 5000 6390 93 | 0.000 % | 3.39/3.41 c | 12502 | 540 4637 23868 | 5500 3297 95 | 0.000 % | 3.39/3.45 c | 12652 | 540 4637 23868 | 6050 3447 94 | 0.000 % | 3.50/3.50 c | 12877 | 540 4637 23868 | 6655 3672 92 | 0.000 % | 3.50/3.56 c | 13214 | 540 4637 23868 | 7320 4009 88 | 0.001 % | 3.60/3.68 c | 13720 | 540 4637 23868 | 8052 4515 84 | 0.000 % | 3.79/3.84 c | 14480 | 540 4637 23868 | 8857 5275 82 | 0.000 % | 3.99/4.01 c =============================================================================== 3.99/4.01 c New solution: 26924 3.99/4.01 o 26924 3.99/4.01 c Elapsed CPU time: 3.9714 s Remaining CPU time: 176.029 s 3.99/4.01 c =============================================================================== 3.99/4.01 c | 14993 | 540 4638 24048 | 5000 5788 82 | 0.000 % | 3.99/4.02 c =============================================================================== 3.99/4.03 c New solution: 26921 3.99/4.03 o 26921 3.99/4.03 c Elapsed CPU time: 3.98339 s Remaining CPU time: 176.017 s 3.99/4.03 c =============================================================================== 3.99/4.03 c | 15007 | 540 4639 24228 | 5000 2908 55 | 0.000 % | 3.99/4.05 c | 15109 | 540 4639 24228 | 5500 3010 56 | 0.000 % | 3.99/4.08 c | 15259 | 540 4639 24228 | 6050 3160 55 | 0.001 % | 4.09/4.14 c | 15485 | 540 4639 24228 | 6655 3386 57 | 0.000 % | 4.19/4.23 c | 15824 | 540 4639 24228 | 7320 3725 58 | 0.000 % | 4.30/4.34 c | 16331 | 540 4639 24228 | 8052 4232 61 | 0.000 % | 4.49/4.54 c | 17090 | 540 4639 24228 | 8857 4991 66 | 0.000 % | 4.79/4.80 c =============================================================================== 4.79/4.80 c New solution: 26592 4.79/4.80 o 26592 4.79/4.80 c Elapsed CPU time: 4.74728 s Remaining CPU time: 175.253 s 4.79/4.80 c =============================================================================== 4.79/4.80 c | 18027 | 540 4640 24408 | 5000 5928 72 | 0.000 % | 4.79/4.83 c | 18128 | 540 4640 24408 | 5500 3065 77 | 0.000 % | 4.79/4.88 c | 18278 | 540 4640 24408 | 6050 3215 77 | 0.000 % | 4.89/4.93 c | 18503 | 540 4640 24408 | 6655 3440 77 | 0.000 % | 4.99/5.02 c | 18840 | 540 4640 24408 | 7320 3777 75 | 0.000 % | 5.09/5.17 c | 19347 | 540 4640 24408 | 8052 4284 77 | 0.000 % | 5.09/5.18 c =============================================================================== 5.09/5.18 c New solution: 26539 5.09/5.18 o 26539 5.09/5.18 c Elapsed CPU time: 5.12122 s Remaining CPU time: 174.879 s 5.09/5.18 c =============================================================================== 5.09/5.18 c | 19354 | 540 4641 24588 | 5000 4291 77 | 0.000 % | 5.09/5.19 c =============================================================================== 5.09/5.19 c New solution: 26476 5.09/5.19 o 26476 5.09/5.19 c Elapsed CPU time: 5.13122 s Remaining CPU time: 174.869 s 5.09/5.19 c =============================================================================== 5.09/5.19 c | 19397 | 540 4642 24768 | 5000 4334 77 | 0.000 % | 5.20/5.22 c | 19498 | 540 4642 24768 | 5500 4435 76 | 0.001 % | 5.20/5.25 c | 19648 | 540 4642 24768 | 6050 4585 75 | 0.000 % | 5.30/5.32 c | 19873 | 540 4642 24768 | 6655 4810 75 | 0.000 % | 5.40/5.43 c | 20210 | 540 4642 24768 | 7320 5147 75 | 0.000 % | 5.50/5.57 c | 20721 | 540 4642 24768 | 8052 5658 77 | 0.000 % | 5.69/5.80 c | 21483 | 540 4642 24768 | 8857 6420 79 | 0.000 % | 6.09/6.18 c | 22623 | 540 4642 24768 | 9743 7560 80 | 0.000 % | 6.79/6.90 c | 24332 | 540 4642 24768 | 10717 9269 81 | 0.000 % | 7.89/7.91 c | 26894 | 540 4642 24768 | 11789 6307 84 | 0.000 % | 8.89/8.92 c =============================================================================== 8.89/8.92 c New solution: 26390 8.89/8.92 o 26390 8.89/8.92 c Elapsed CPU time: 8.82366 s Remaining CPU time: 171.176 s 8.89/8.92 c =============================================================================== 8.89/8.92 c | 29535 | 540 4643 24948 | 5000 8948 85 | 0.000 % | 8.89/8.96 c | 29639 | 540 4643 24948 | 5500 4578 73 | 0.000 % | 8.89/8.99 c | 29789 | 540 4643 24948 | 6050 4728 74 | 0.000 % | 8.99/9.05 c | 30014 | 540 4643 24948 | 6655 4953 74 | 0.000 % | 9.09/9.14 c =============================================================================== 9.09/9.14 c New solution: 26258 9.09/9.14 o 26258 9.09/9.14 c Elapsed CPU time: 9.03862 s Remaining CPU time: 170.961 s 9.09/9.14 c =============================================================================== 9.09/9.14 c | 30296 | 540 4644 25128 | 5000 5235 74 | 0.000 % | 9.09/9.17 c | 30396 | 540 4644 25128 | 5500 2718 63 | 0.000 % | 9.18/9.20 c | 30546 | 540 4644 25128 | 6050 2868 64 | 0.000 % | 9.18/9.25 c | 30772 | 540 4644 25128 | 6655 3094 63 | 0.000 % | 9.28/9.33 c | 31111 | 540 4644 25128 | 7320 3433 65 | 0.000 % | 9.39/9.47 c | 31619 | 540 4644 25128 | 8052 3941 68 | 0.000 % | 9.59/9.66 c | 32378 | 540 4644 25128 | 8857 4700 70 | 0.000 % | 9.99/10.04 c | 33523 | 540 4644 25128 | 9743 5845 67 | 0.001 % | 10.59/10.67 c | 35231 | 540 4644 25128 | 10717 7553 72 | 0.000 % | 11.69/11.77 c | 37793 | 540 4644 25128 | 11789 10115 81 | 0.000 % | 13.20/13.29 c | 41637 | 540 4644 25128 | 12968 7946 95 | 0.000 % | 15.69/15.71 c | 47404 | 540 4644 25128 | 14265 7130 90 | 0.000 % | 17.50/17.55 c =============================================================================== 17.50/17.55 c New solution: 26121 17.50/17.55 o 26121 17.50/17.55 c Elapsed CPU time: 17.3804 s Remaining CPU time: 162.62 s 17.50/17.55 c =============================================================================== 17.50/17.55 c | 52035 | 540 4645 25308 | 5000 11761 92 | 0.000 % | 17.60/17.61 c | 52138 | 540 4645 25308 | 5500 3044 72 | 0.000 % | 17.60/17.65 c | 52288 | 540 4645 25308 | 6050 3194 72 | 0.000 % | 17.69/17.71 c | 52516 | 540 4645 25308 | 6655 3422 72 | 0.000 % | 17.69/17.79 c | 52853 | 540 4645 25308 | 7320 3759 72 | 0.000 % | 17.89/17.92 c | 53359 | 540 4645 25308 | 8052 4265 77 | 0.000 % | 18.09/18.15 c | 54119 | 540 4645 25308 | 8857 5025 75 | 0.000 % | 18.39/18.48 c | 55258 | 540 4645 25308 | 9743 6164 78 | 0.000 % | 19.09/19.18 c | 56966 | 540 4645 25308 | 10717 7872 83 | 0.000 % | 20.19/20.22 c | 59529 | 540 4645 25308 | 11789 10435 83 | 0.000 % | 21.59/21.68 c | 63373 | 540 4645 25308 | 12968 8304 81 | 0.000 % | 24.68/24.73 c | 69142 | 540 4645 25308 | 14265 7510 60 | 0.001 % | 29.28/29.35 c | 77793 | 540 4645 25308 | 15692 8940 82 | 0.000 % | 36.08/36.19 c | 90768 | 540 4645 25308 | 17261 13937 99 | 0.000 % | 42.58/42.65 c =============================================================================== 42.58/42.65 c New solution: 25510 42.58/42.65 o 25510 42.58/42.65 c Elapsed CPU time: 42.2836 s Remaining CPU time: 137.716 s 42.58/42.65 c =============================================================================== 42.58/42.65 c | 101845 | 540 4646 25488 | 5000 16310 102 | 0.000 % | 42.68/42.73 c | 101947 | 540 4646 25488 | 5500 4180 91 | 0.000 % | 42.78/42.80 c | 102097 | 540 4646 25488 | 6050 4330 92 | 0.000 % | 42.78/42.89 c | 102323 | 540 4646 25488 | 6655 4556 93 | 0.000 % | 42.98/43.03 c | 102660 | 540 4646 25488 | 7320 4893 95 | 0.000 % | 43.18/43.20 c | 103166 | 540 4646 25488 | 8052 5399 99 | 0.000 % | 43.48/43.56 c | 103925 | 540 4646 25488 | 8857 6158 100 | 0.000 % | 43.89/44.00 c | 105064 | 540 4646 25488 | 9743 7297 100 | 0.000 % | 44.48/44.58 c | 106772 | 540 4646 25488 | 10717 9005 99 | 0.000 % | 45.78/45.87 c | 109335 | 540 4646 25488 | 11789 6080 86 | 0.000 % | 47.38/47.43 c | 113180 | 540 4646 25488 | 12968 9925 89 | 0.000 % | 49.78/49.87 c | 118946 | 540 4646 25488 | 14265 9127 96 | 0.000 % | 54.08/54.13 c | 127596 | 540 4646 25488 | 15692 10555 79 | 0.000 % | 60.77/60.83 c | 140571 | 540 4646 25488 | 17261 15578 86 | 0.000 % | 74.57/74.65 c | 160032 | 540 4646 25488 | 18987 8853 82 | 0.000 % | 97.87/97.93 c | 189228 | 540 4646 25488 | 20886 18864 111 | 0.000 % | 131.55/131.63 c | 233019 | 540 4646 25488 | 22974 20331 112 | 0.000 % | 181.14/181.22 c There are 0 assigned variables. 0 in cost function. 182.64/182.80 c core #1 182.64/182.80 c core #2 182.64/182.80 c core #3 182.64/182.80 c core #4 182.64/182.80 c core #5 182.64/182.80 c core #6 182.64/182.80 c core #7 182.64/182.80 c core #8 182.64/182.80 c core #9 182.64/182.80 c core #10 182.64/182.80 c core #11 182.64/182.80 c core #12 182.64/182.80 c core #13 182.64/182.80 c core #14 182.64/182.80 c core #15 182.64/182.80 c core #16 182.64/182.80 c core #17 182.64/182.80 c core #18 182.64/182.80 c core #19 182.64/182.80 c core #20 182.64/182.80 c core #21 182.64/182.80 c core #22 182.64/182.80 c core #23 182.64/182.80 c core #24 182.64/182.80 c core #25 182.64/182.80 c core #26 182.64/182.80 c core #27 182.64/182.80 c core #28 182.64/182.80 c core #29 182.64/182.80 c core #30 182.64/182.80 c core #31 182.64/182.80 c core #32 182.64/182.80 c core #33 182.64/182.80 c core #34 182.64/182.80 c core #35 182.64/182.80 c core #36 182.64/182.80 c core #37 182.64/182.80 c core #38 182.64/182.80 c core #39 182.64/182.80 c core #40 182.64/182.80 c core #41 182.64/182.80 c core #42 182.64/182.80 c core #43 182.64/182.80 c core #44 182.64/182.80 c core #45 182.64/182.80 c core #46 182.64/182.80 c core #47 182.64/182.80 c core #48 182.64/182.80 c core #49 182.64/182.80 c core #50 182.64/182.80 c core #51 182.64/182.80 c core #52 182.64/182.80 c core #53 182.64/182.80 c core #54 182.64/182.80 c core #55 182.64/182.80 c core #56 182.64/182.80 c core #57 182.64/182.80 c core #58 182.64/182.80 c core #59 182.64/182.80 c core #60 182.64/182.80 c core #61 182.64/182.80 c core #62 182.64/182.80 c core #63 182.64/182.80 c core #64 182.64/182.80 c core #65 182.64/182.80 c core #66 182.64/182.80 c core #67 182.64/182.80 c core #68 182.64/182.80 c core #69 182.64/182.80 c core #70 182.64/182.80 c core #71 182.64/182.80 c core #72 182.64/182.80 c core #73 182.64/182.80 c core #74 182.64/182.80 c core #75 182.64/182.80 c core #76 182.64/182.80 c core #77 182.64/182.80 c core #78 182.64/182.80 c core #79 182.64/182.80 c core #80 182.64/182.80 c core #81 182.64/182.80 c core #82 182.64/182.80 c core #83 182.64/182.80 c core #84 182.64/182.80 c core #85 182.64/182.80 c core #86 182.64/182.80 c core #87 182.64/182.80 c core #88 182.64/182.80 c core #89 182.64/182.80 c core #90 182.64/182.80 c ============================[ Search Statistics ]============================== 182.64/182.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.80 c =============================================================================== 182.64/182.80 c | 0 | 982 5452 18451 | 5000 0 nan | 0.000 % | 182.64/182.80 c =============================================================================== 182.74/182.82 c core #91 182.74/182.82 c ============================[ Search Statistics ]============================== 182.74/182.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.82 c =============================================================================== 182.74/182.82 c | 0 | 987 5455 18459 | 5000 0 nan | 0.000 % | 182.74/182.83 c =============================================================================== 182.74/182.84 c core #92 182.74/182.84 c ============================[ Search Statistics ]============================== 182.74/182.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.84 c =============================================================================== 182.74/182.84 c | 0 | 995 5463 18492 | 5000 0 nan | 0.000 % | 182.74/182.84 c =============================================================================== 182.74/182.86 c core #93 182.74/182.86 c ============================[ Search Statistics ]============================== 182.74/182.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.86 c =============================================================================== 182.74/182.86 c | 0 | 1031 5473 18624 | 5000 0 nan | 0.000 % | 182.74/182.86 c =============================================================================== 182.74/182.89 c core #94 182.74/182.89 c ============================[ Search Statistics ]============================== 182.74/182.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.89 c =============================================================================== 182.74/182.89 c | 0 | 1041 5481 18649 | 5000 0 nan | 0.000 % | 182.74/182.89 c =============================================================================== 182.84/182.91 c core #95 182.84/182.91 c ============================[ Search Statistics ]============================== 182.84/182.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.91 c =============================================================================== 182.84/182.91 c | 0 | 1059 5498 18812 | 5000 0 nan | 0.000 % | 182.84/182.91 c =============================================================================== 182.84/182.94 c core #96 182.84/182.94 c ============================[ Search Statistics ]============================== 182.84/182.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.94 c =============================================================================== 182.84/182.94 c | 0 | 1078 5511 18855 | 5000 0 nan | 0.000 % | 182.84/182.94 c =============================================================================== 182.84/182.96 c core #97 182.84/182.96 c ============================[ Search Statistics ]============================== 182.84/182.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.96 c =============================================================================== 182.84/182.96 c | 0 | 1085 5516 18871 | 5000 0 nan | 0.000 % | 182.84/182.96 c =============================================================================== 182.84/182.99 c core #98 182.84/182.99 c ============================[ Search Statistics ]============================== 182.84/182.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.99 c =============================================================================== 182.84/182.99 c | 0 | 1097 5527 18897 | 5000 0 nan | 0.000 % | 182.84/182.99 c =============================================================================== 182.94/183.01 c core #99 182.94/183.01 c ============================[ Search Statistics ]============================== 182.94/183.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.01 c =============================================================================== 182.94/183.01 c | 0 | 1104 5532 18913 | 5000 0 nan | 0.000 % | 182.94/183.02 c =============================================================================== 182.94/183.04 c core #100 182.94/183.04 c ============================[ Search Statistics ]============================== 182.94/183.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.04 c =============================================================================== 182.94/183.04 c | 0 | 1117 5544 19066 | 5000 0 nan | 0.000 % | 182.94/183.04 c =============================================================================== 182.94/183.06 c core #101 182.94/183.06 c ============================[ Search Statistics ]============================== 182.94/183.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.06 c =============================================================================== 182.94/183.06 c | 0 | 1122 5547 19074 | 5000 0 nan | 0.000 % | 182.94/183.07 c =============================================================================== 182.94/183.09 c core #102 182.94/183.09 c ============================[ Search Statistics ]============================== 182.94/183.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.94/183.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.94/183.09 c =============================================================================== 182.94/183.09 c | 0 | 1130 5553 19085 | 5000 0 nan | 0.000 % | 182.94/183.09 c =============================================================================== 183.04/183.11 c core #103 183.04/183.11 c ============================[ Search Statistics ]============================== 183.04/183.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.11 c =============================================================================== 183.04/183.11 c | 0 | 1147 5566 19131 | 5000 0 nan | 0.000 % | 183.04/183.12 c =============================================================================== 183.04/183.14 c core #104 183.04/183.14 c ============================[ Search Statistics ]============================== 183.04/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.14 c =============================================================================== 183.04/183.14 c | 0 | 1169 5586 19189 | 5000 0 nan | 0.000 % | 183.04/183.15 c =============================================================================== 183.04/183.16 c core #105 183.04/183.16 c ============================[ Search Statistics ]============================== 183.04/183.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.16 c =============================================================================== 183.04/183.16 c | 0 | 1182 5598 19222 | 5000 0 nan | 0.000 % | 183.04/183.17 c =============================================================================== 183.04/183.19 c core #106 183.04/183.19 c ============================[ Search Statistics ]============================== 183.04/183.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.19 c =============================================================================== 183.04/183.19 c | 0 | 1202 5613 19263 | 5000 0 nan | 0.000 % | 183.13/183.20 c =============================================================================== 183.13/183.21 c core #107 183.13/183.21 c ============================[ Search Statistics ]============================== 183.13/183.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.21 c =============================================================================== 183.13/183.21 c | 0 | 1215 5625 19302 | 5000 0 nan | 0.000 % | 183.13/183.22 c =============================================================================== 183.13/183.24 c core #108 183.13/183.24 c ============================[ Search Statistics ]============================== 183.13/183.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.24 c =============================================================================== 183.13/183.24 c | 0 | 1229 5637 19383 | 5000 0 nan | 0.000 % | 183.13/183.25 c =============================================================================== 183.13/183.27 c core #109 183.13/183.27 c ============================[ Search Statistics ]============================== 183.13/183.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.27 c =============================================================================== 183.13/183.27 c | 0 | 1243 5650 19423 | 5000 0 nan | 0.000 % | 183.13/183.28 c =============================================================================== 183.13/183.30 c core #110 183.13/183.30 c ============================[ Search Statistics ]============================== 183.13/183.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.30 c =============================================================================== 183.13/183.30 c | 0 | 1257 5663 19598 | 5000 0 nan | 0.000 % | 183.24/183.30 c =============================================================================== 183.24/183.32 c core #111 183.24/183.32 c ============================[ Search Statistics ]============================== 183.24/183.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.32 c =============================================================================== 183.24/183.32 c | 0 | 1271 5676 19644 | 5000 0 nan | 0.000 % | 183.24/183.33 c =============================================================================== 183.24/183.35 c core #112 183.24/183.35 c ============================[ Search Statistics ]============================== 183.24/183.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.35 c =============================================================================== 183.24/183.35 c | 0 | 1292 5693 19710 | 5000 0 nan | 0.000 % | 183.24/183.36 c =============================================================================== 183.24/183.37 c core #113 183.24/183.37 c ============================[ Search Statistics ]============================== 183.24/183.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.37 c =============================================================================== 183.24/183.37 c | 0 | 1318 5718 19915 | 5000 0 nan | 0.000 % | 183.24/183.38 c =============================================================================== 183.34/183.40 c core #114 183.34/183.40 c ============================[ Search Statistics ]============================== 183.34/183.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.40 c =============================================================================== 183.34/183.40 c | 0 | 1336 5735 19974 | 5000 0 nan | 0.000 % | 183.34/183.41 c =============================================================================== 183.34/183.43 c core #115 183.34/183.43 c ============================[ Search Statistics ]============================== 183.34/183.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.43 c =============================================================================== 183.34/183.43 c | 0 | 1358 5755 20050 | 5000 0 nan | 0.000 % | 183.34/183.44 c =============================================================================== 183.34/183.46 c core #116 183.34/183.46 c ============================[ Search Statistics ]============================== 183.34/183.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.46 c =============================================================================== 183.34/183.46 c | 0 | 1363 5759 20066 | 5000 0 nan | 0.000 % | 183.34/183.46 c =============================================================================== 183.34/183.48 c core #117 183.34/183.48 c ============================[ Search Statistics ]============================== 183.34/183.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.48 c =============================================================================== 183.34/183.48 c | 0 | 1391 5785 20160 | 5000 0 nan | 0.000 % | 183.34/183.49 c =============================================================================== 183.44/183.51 c core #118 183.44/183.51 c ============================[ Search Statistics ]============================== 183.44/183.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.51 c =============================================================================== 183.44/183.51 c | 0 | 1419 5812 20262 | 5000 0 nan | 0.000 % | 183.44/183.52 c =============================================================================== 183.44/183.53 c core #119 183.44/183.53 c ============================[ Search Statistics ]============================== 183.44/183.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.53 c =============================================================================== 183.44/183.53 c | 0 | 1447 5840 20363 | 5000 0 nan | 0.000 % | 183.44/183.54 c =============================================================================== 183.44/183.57 c core #120 183.44/183.57 c ============================[ Search Statistics ]============================== 183.44/183.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.57 c =============================================================================== 183.44/183.57 c | 0 | 1483 5875 20497 | 5000 0 nan | 0.000 % | 183.44/183.57 c =============================================================================== 183.44/183.59 c core #121 183.44/183.59 c ============================[ Search Statistics ]============================== 183.44/183.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.44/183.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.44/183.59 c =============================================================================== 183.44/183.59 c | 0 | 1525 5914 20656 | 5000 0 nan | 0.000 % | 183.54/183.60 c =============================================================================== 183.54/183.62 c core #122 183.54/183.62 c ============================[ Search Statistics ]============================== 183.54/183.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.62 c =============================================================================== 183.54/183.62 c | 0 | 1561 5948 20793 | 5000 0 nan | 0.000 % | 183.54/183.63 c =============================================================================== 183.54/183.65 c core #123 183.54/183.65 c ============================[ Search Statistics ]============================== 183.54/183.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.65 c =============================================================================== 183.54/183.65 c | 0 | 1599 5985 20943 | 5000 0 nan | 0.000 % | 183.54/183.66 c =============================================================================== 183.54/183.69 c core #124 183.54/183.69 c ============================[ Search Statistics ]============================== 183.54/183.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.69 c =============================================================================== 183.54/183.69 c | 0 | 1643 6029 21117 | 5000 0 nan | 0.000 % | 183.54/183.69 c =============================================================================== 183.65/183.72 c core #125 183.65/183.72 c ============================[ Search Statistics ]============================== 183.65/183.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.72 c =============================================================================== 183.65/183.72 c | 0 | 1685 6071 21277 | 5000 0 nan | 0.000 % | 183.65/183.72 c =============================================================================== 183.65/183.74 c core #126 183.65/183.74 c ============================[ Search Statistics ]============================== 183.65/183.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.74 c =============================================================================== 183.65/183.74 c | 0 | 1719 6104 21401 | 5000 0 nan | 0.000 % | 183.65/183.75 c =============================================================================== 183.65/183.77 c core #127 183.65/183.77 c ============================[ Search Statistics ]============================== 183.65/183.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.77 c =============================================================================== 183.65/183.77 c | 0 | 1752 6135 21520 | 5000 0 nan | 0.000 % | 183.65/183.78 c =============================================================================== 183.74/183.80 c core #128 183.74/183.80 c ============================[ Search Statistics ]============================== 183.74/183.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.80 c =============================================================================== 183.74/183.80 c | 0 | 1790 6171 21661 | 5000 0 nan | 0.000 % | 183.74/183.81 c =============================================================================== 183.74/183.83 c core #129 183.74/183.83 c ============================[ Search Statistics ]============================== 183.74/183.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.83 c =============================================================================== 183.74/183.83 c | 0 | 1837 6213 21841 | 5000 0 nan | 0.000 % | 183.74/183.84 c =============================================================================== 183.74/183.87 c core #130 183.74/183.87 c ============================[ Search Statistics ]============================== 183.74/183.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.87 c =============================================================================== 183.74/183.87 c | 0 | 1881 6256 22013 | 5000 0 nan | 0.000 % | 183.74/183.87 c =============================================================================== 183.84/183.90 c core #131 183.84/183.90 c ============================[ Search Statistics ]============================== 183.84/183.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.90 c =============================================================================== 183.84/183.90 c | 0 | 1918 6293 22156 | 5000 0 nan | 0.000 % | 183.84/183.91 c =============================================================================== 183.84/183.93 c core #132 183.84/183.93 c ============================[ Search Statistics ]============================== 183.84/183.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.93 c =============================================================================== 183.84/183.93 c | 0 | 1964 6337 22346 | 5000 0 nan | 0.000 % | 183.84/183.94 c =============================================================================== 183.84/183.96 c core #133 183.84/183.96 c ============================[ Search Statistics ]============================== 183.84/183.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.96 c =============================================================================== 183.84/183.96 c | 0 | 2003 6375 22495 | 5000 0 nan | 0.000 % | 183.84/183.97 c =============================================================================== 183.84/183.99 c core #134 183.84/183.99 c ============================[ Search Statistics ]============================== 183.84/183.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.84/183.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.84/183.99 c =============================================================================== 183.84/183.99 c | 0 | 2040 6410 22810 | 5000 0 nan | 0.000 % | 183.93/184.00 c =============================================================================== 183.93/184.03 c core #135 183.93/184.03 c ============================[ Search Statistics ]============================== 183.93/184.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.03 c =============================================================================== 183.93/184.03 c | 0 | 2093 6462 23048 | 5000 0 nan | 0.000 % | 183.93/184.04 c =============================================================================== 183.93/184.06 c core #136 183.93/184.06 c ============================[ Search Statistics ]============================== 183.93/184.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.06 c =============================================================================== 183.93/184.06 c | 0 | 2134 6499 23209 | 5000 0 nan | 0.000 % | 183.93/184.07 c =============================================================================== 183.93/184.09 c core #137 183.93/184.09 c ============================[ Search Statistics ]============================== 183.93/184.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.09 c =============================================================================== 183.93/184.09 c | 0 | 2187 6552 23430 | 5000 0 nan | 0.000 % | 184.04/184.10 c =============================================================================== 184.04/184.13 c core #138 184.04/184.13 c ============================[ Search Statistics ]============================== 184.04/184.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.13 c =============================================================================== 184.04/184.13 c | 0 | 2223 6587 23754 | 5000 0 nan | 0.000 % | 184.04/184.14 c =============================================================================== 184.04/184.16 c core #139 184.04/184.16 c ============================[ Search Statistics ]============================== 184.04/184.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.04/184.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.04/184.16 c =============================================================================== 184.04/184.16 c | 0 | 2270 6634 23951 | 5000 0 nan | 0.000 % | 184.04/184.17 c =============================================================================== 184.14/184.20 c core #140 184.14/184.20 c ============================[ Search Statistics ]============================== 184.14/184.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.20 c =============================================================================== 184.14/184.20 c | 0 | 2314 6676 24128 | 5000 0 nan | 0.000 % | 184.14/184.21 c =============================================================================== 184.14/184.23 c core #141 184.14/184.23 c ============================[ Search Statistics ]============================== 184.14/184.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.23 c =============================================================================== 184.14/184.23 c | 0 | 2351 6713 24279 | 5000 0 nan | 0.000 % | 184.14/184.25 c =============================================================================== 184.14/184.27 c core #142 184.14/184.27 c ============================[ Search Statistics ]============================== 184.14/184.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.14/184.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.14/184.27 c =============================================================================== 184.14/184.27 c | 0 | 2394 6756 24459 | 5000 0 nan | 0.000 % | 184.14/184.28 c =============================================================================== 184.24/184.31 c core #143 184.24/184.31 c ============================[ Search Statistics ]============================== 184.24/184.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.31 c =============================================================================== 184.24/184.31 c | 0 | 2438 6800 24642 | 5000 0 nan | 0.000 % | 184.24/184.32 c =============================================================================== 184.24/184.35 c core #144 184.24/184.35 c ============================[ Search Statistics ]============================== 184.24/184.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.35 c =============================================================================== 184.24/184.35 c | 0 | 2474 6835 24787 | 5000 0 nan | 0.000 % | 184.24/184.36 c =============================================================================== 184.24/184.38 c core #145 184.24/184.38 c ============================[ Search Statistics ]============================== 184.24/184.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.24/184.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.24/184.38 c =============================================================================== 184.24/184.38 c | 0 | 2517 6875 24957 | 5000 0 nan | 0.000 % | 184.24/184.39 c =============================================================================== 184.34/184.42 c core #146 184.34/184.42 c ============================[ Search Statistics ]============================== 184.34/184.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.42 c =============================================================================== 184.34/184.42 c | 0 | 2558 6915 25128 | 5000 0 nan | 0.000 % | 184.34/184.43 c =============================================================================== 184.34/184.46 c core #147 184.34/184.46 c ============================[ Search Statistics ]============================== 184.34/184.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.46 c =============================================================================== 184.34/184.46 c | 0 | 2615 6970 25372 | 5000 0 nan | 0.000 % | 184.34/184.47 c =============================================================================== 184.44/184.50 c core #148 184.44/184.50 c ============================[ Search Statistics ]============================== 184.44/184.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.50 c =============================================================================== 184.44/184.50 c | 0 | 2670 7020 25594 | 5000 0 nan | 0.000 % | 184.44/184.51 c =============================================================================== 184.44/184.53 c core #149 184.44/184.53 c ============================[ Search Statistics ]============================== 184.44/184.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.53 c =============================================================================== 184.44/184.53 c | 0 | 2710 7059 25758 | 5000 0 nan | 0.000 % | 184.44/184.54 c =============================================================================== 184.44/184.57 c core #150 184.44/184.57 c ============================[ Search Statistics ]============================== 184.44/184.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.44/184.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.44/184.57 c =============================================================================== 184.44/184.57 c | 0 | 2762 7107 25975 | 5000 0 nan | 0.000 % | 184.44/184.58 c =============================================================================== 184.54/184.61 c core #151 184.54/184.61 c ============================[ Search Statistics ]============================== 184.54/184.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.61 c =============================================================================== 184.54/184.61 c | 0 | 2799 7143 26123 | 5000 0 nan | 0.000 % | 184.54/184.62 c =============================================================================== 184.54/184.64 c core #152 184.54/184.64 c ============================[ Search Statistics ]============================== 184.54/184.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.64 c =============================================================================== 184.54/184.64 c | 0 | 2844 7186 26313 | 5000 0 nan | 0.000 % | 184.54/184.66 c =============================================================================== 184.54/184.69 c core #153 184.54/184.69 c ============================[ Search Statistics ]============================== 184.54/184.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.54/184.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.54/184.69 c =============================================================================== 184.54/184.69 c | 0 | 2879 7221 26459 | 5000 0 nan | 0.000 % | 184.65/184.70 c =============================================================================== 184.65/184.73 c core #154 184.65/184.73 c ============================[ Search Statistics ]============================== 184.65/184.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.73 c =============================================================================== 184.65/184.73 c | 0 | 2921 7262 26626 | 5000 0 nan | 0.000 % | 184.65/184.74 c =============================================================================== 184.65/184.77 c core #155 184.65/184.77 c ============================[ Search Statistics ]============================== 184.65/184.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.65/184.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.65/184.77 c =============================================================================== 184.65/184.77 c | 0 | 2995 7319 27087 | 5000 0 nan | 0.000 % | 184.65/184.78 c =============================================================================== 184.74/184.81 c core #156 184.74/184.81 c ============================[ Search Statistics ]============================== 184.74/184.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.81 c =============================================================================== 184.74/184.81 c | 0 | 3039 7358 27261 | 5000 0 nan | 0.000 % | 184.74/184.82 c =============================================================================== 184.74/184.85 c core #157 184.74/184.85 c ============================[ Search Statistics ]============================== 184.74/184.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.85 c =============================================================================== 184.74/184.85 c | 0 | 3087 7396 27442 | 5000 0 nan | 0.000 % | 184.74/184.86 c =============================================================================== 184.74/184.89 c core #158 184.74/184.89 c ============================[ Search Statistics ]============================== 184.74/184.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.89 c =============================================================================== 184.74/184.89 c | 0 | 3140 7439 27646 | 5000 0 nan | 0.000 % | 184.84/184.90 c =============================================================================== 184.84/184.93 c core #159 184.84/184.93 c ============================[ Search Statistics ]============================== 184.84/184.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.93 c =============================================================================== 184.84/184.93 c | 0 | 3183 7474 27809 | 5000 0 nan | 0.000 % | 184.84/184.95 c =============================================================================== 184.84/184.97 c core #160 184.84/184.97 c ============================[ Search Statistics ]============================== 184.84/184.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.84/184.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.84/184.97 c =============================================================================== 184.84/184.97 c | 0 | 3236 7527 28055 | 5000 0 nan | 0.000 % | 184.84/184.99 c =============================================================================== 184.94/185.02 c core #161 184.94/185.02 c ============================[ Search Statistics ]============================== 184.94/185.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.02 c =============================================================================== 184.94/185.02 c | 0 | 3296 7573 28290 | 5000 0 nan | 0.000 % | 184.94/185.04 c =============================================================================== 184.94/185.07 c core #162 184.94/185.07 c ============================[ Search Statistics ]============================== 184.94/185.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.94/185.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.94/185.07 c =============================================================================== 184.94/185.07 c | 0 | 3356 7628 28558 | 5000 0 nan | 0.000 % | 184.94/185.08 c =============================================================================== 185.04/185.11 c core #163 185.04/185.11 c ============================[ Search Statistics ]============================== 185.04/185.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.04/185.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.04/185.11 c =============================================================================== 185.04/185.11 c | 0 | 3421 7683 28815 | 5000 0 nan | 0.000 % | 185.04/185.13 c =============================================================================== 185.04/185.16 c core #164 185.04/185.16 c ============================[ Search Statistics ]============================== 185.04/185.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.04/185.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.04/185.16 c =============================================================================== 185.04/185.16 c | 0 | 3508 7738 29136 | 5000 0 nan | 0.000 % | 185.04/185.17 c =============================================================================== 185.14/185.20 c core #165 185.14/185.20 c ============================[ Search Statistics ]============================== 185.14/185.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.20 c =============================================================================== 185.14/185.20 c | 0 | 3593 7803 29481 | 5000 0 nan | 0.000 % | 185.14/185.23 c =============================================================================== 185.14/185.25 c core #166 185.14/185.25 c ============================[ Search Statistics ]============================== 185.14/185.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.14/185.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.14/185.25 c =============================================================================== 185.14/185.25 c | 0 | 3680 7862 29810 | 5000 0 nan | 0.000 % | 185.14/185.28 c =============================================================================== 185.24/185.31 c core #167 185.24/185.31 c ============================[ Search Statistics ]============================== 185.24/185.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.31 c =============================================================================== 185.24/185.31 c | 0 | 3766 7932 30166 | 5000 0 nan | 0.000 % | 185.24/185.33 c =============================================================================== 185.24/185.36 c core #168 185.24/185.36 c ============================[ Search Statistics ]============================== 185.24/185.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.24/185.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.24/185.36 c =============================================================================== 185.24/185.36 c | 0 | 3837 7980 30433 | 5000 0 nan | 0.000 % | 185.24/185.38 c =============================================================================== 185.34/185.41 c core #169 185.34/185.41 c ============================[ Search Statistics ]============================== 185.34/185.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.41 c =============================================================================== 185.34/185.41 c | 0 | 3909 8039 30752 | 5000 0 nan | 0.000 % | 185.34/185.44 c | 100 | 3909 8039 30752 | 5500 100 10 | 3.932 % | 185.34/185.44 c =============================================================================== 185.34/185.47 c core #170 185.34/185.47 c ============================[ Search Statistics ]============================== 185.34/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.34/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.34/185.47 c =============================================================================== 185.34/185.47 c | 0 | 4005 8111 31143 | 5000 0 nan | 0.000 % | 185.34/185.49 c =============================================================================== 185.44/185.52 c core #171 185.44/185.52 c ============================[ Search Statistics ]============================== 185.44/185.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.52 c =============================================================================== 185.44/185.52 c | 0 | 4095 8178 31499 | 5000 0 nan | 0.000 % | 185.44/185.55 c | 100 | 4043 8178 31499 | 5500 53 15 | 5.405 % | 185.44/185.55 c =============================================================================== 185.44/185.58 c core #172 185.44/185.58 c ============================[ Search Statistics ]============================== 185.44/185.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.44/185.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.44/185.58 c =============================================================================== 185.44/185.58 c | 0 | 4212 8242 31905 | 5000 0 nan | 0.000 % | 185.53/185.61 c | 102 | 4202 8242 31905 | 5500 102 10 | 4.164 % | 185.53/185.62 c =============================================================================== 185.53/185.65 c core #173 185.53/185.65 c ============================[ Search Statistics ]============================== 185.53/185.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.53/185.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.53/185.65 c =============================================================================== 185.53/185.65 c | 0 | 4385 8318 32450 | 5000 0 nan | 0.000 % | 185.53/185.67 c =============================================================================== 185.64/185.70 c core #174 185.64/185.70 c ============================[ Search Statistics ]============================== 185.64/185.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.70 c =============================================================================== 185.64/185.70 c | 0 | 4507 8372 32833 | 5000 0 nan | 0.000 % | 185.64/185.74 c | 100 | 4462 8372 32833 | 5500 40 16 | 4.393 % | 185.64/185.76 c | 251 | 4453 8372 32833 | 6050 187 11 | 5.421 % | 185.64/185.76 c =============================================================================== 185.64/185.79 c core #175 185.64/185.79 c ============================[ Search Statistics ]============================== 185.64/185.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.64/185.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.64/185.79 c =============================================================================== 185.64/185.79 c | 0 | 4797 8442 33605 | 5000 0 nan | 0.000 % | 185.74/185.82 c | 101 | 4793 8442 33605 | 5500 101 16 | 3.369 % | 185.74/185.85 c | 252 | 4772 8442 33605 | 6050 226 14 | 3.732 % | 185.74/185.88 c | 477 | 4772 8442 33605 | 6655 451 13 | 3.732 % | 185.74/185.90 c =============================================================================== 185.84/185.93 c core #176 185.84/185.93 c ============================[ Search Statistics ]============================== 185.84/185.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.84/185.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.84/185.93 c =============================================================================== 185.84/185.93 c | 0 | 5143 8498 34455 | 5000 0 nan | 0.000 % | 185.84/185.97 c | 100 | 5143 8498 34455 | 5500 100 19 | 3.017 % | 185.84/185.99 c | 250 | 5134 8498 34455 | 6050 250 15 | 3.357 % | 185.94/186.03 c | 475 | 5125 8498 34455 | 6655 445 14 | 3.357 % | 186.04/186.10 c | 813 | 5125 8498 34455 | 7320 783 13 | 3.357 % | 186.04/186.20 c | 1320 | 5068 8498 34455 | 8052 195 13 | 4.433 % | 186.14/186.20 c =============================================================================== 186.14/186.24 c core #177 186.14/186.24 c ============================[ Search Statistics ]============================== 186.14/186.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.14/186.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.14/186.24 c =============================================================================== 186.14/186.24 c | 0 | 5693 8586 35786 | 5000 0 nan | 0.000 % | 186.14/186.28 c | 104 | 5693 8586 35786 | 5500 104 23 | 2.768 % | 186.24/186.32 c | 256 | 5687 8586 35786 | 6050 253 25 | 3.041 % | 186.24/186.37 c | 481 | 5675 8586 35786 | 6655 455 22 | 3.041 % | 186.34/186.44 c | 820 | 5673 8586 35786 | 7320 793 22 | 3.075 % | 186.44/186.56 c | 1327 | 5673 8586 35786 | 8052 1300 26 | 3.075 % | 186.64/186.73 c | 2086 | 5673 8586 35786 | 8857 2059 26 | 3.075 % | 186.95/187.04 c | 3225 | 5673 8586 35786 | 9743 3198 29 | 3.075 % | 187.43/187.55 c | 4933 | 5670 8586 35786 | 10717 4900 28 | 3.127 % | 188.24/188.37 c | 7495 | 5670 8586 35786 | 11789 7462 30 | 3.127 % | 189.54/189.68 c | 11339 | 5670 8586 35786 | 12968 11306 28 | 3.127 % | 191.34/191.46 c | 17106 | 5670 8586 35786 | 14265 10424 24 | 3.127 % | 192.23/192.32 c =============================================================================== 192.44/192.53 c core #178 192.44/192.53 c ============================[ Search Statistics ]============================== 192.44/192.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.44/192.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.44/192.53 c =============================================================================== 192.44/192.53 c | 0 | 6463 8682 37585 | 5000 0 nan | 0.000 % | 192.44/192.57 c | 100 | 6436 8682 37585 | 5500 79 28 | 2.869 % | 192.54/192.61 c | 251 | 6436 8682 37585 | 6050 230 25 | 2.869 % | 192.54/192.68 c | 476 | 6433 8682 37585 | 6655 450 26 | 2.869 % | 192.64/192.78 c | 814 | 6433 8682 37585 | 7320 788 29 | 2.869 % | 192.84/192.91 c | 1320 | 6433 8682 37585 | 8052 1294 28 | 2.869 % | 193.04/193.13 c | 2079 | 6433 8682 37585 | 8857 2053 29 | 2.869 % | 193.34/193.42 c | 3221 | 6433 8682 37585 | 9743 3195 31 | 2.869 % | 193.84/194.00 c | 4929 | 6433 8682 37585 | 10717 4903 36 | 2.869 % | 194.83/194.94 c | 7492 | 6433 8682 37585 | 11789 7466 37 | 2.869 % | 196.04/196.18 c | 11336 | 6433 8682 37585 | 12968 11310 37 | 2.869 % | 199.14/199.24 c | 17106 | 6431 8682 37585 | 14265 10246 54 | 2.914 % | 204.74/204.87 c | 25755 | 6430 8682 37585 | 15692 11419 73 | 2.914 % | 211.33/211.48 c | 38729 | 6423 8682 37585 | 17261 16018 49 | 3.020 % | 222.03/222.12 c | 58191 | 6416 8682 37585 | 18987 17462 64 | 3.125 % | 241.83/241.93 c | 87383 | 6391 8682 37585 | 20886 16881 79 | 3.503 % | 264.62/264.74 c | 131174 | 6381 8682 37585 | 22974 17463 54 | 3.654 % | 287.71/287.80 c =============================================================================== 290.11/290.24 c core #179 290.11/290.24 c ============================[ Search Statistics ]============================== 290.11/290.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 290.11/290.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 290.11/290.24 c =============================================================================== 290.11/290.24 c | 0 | 7331 8776 39572 | 5000 0 nan | 0.000 % | 290.22/290.31 c | 100 | 7331 8776 39572 | 5500 100 43 | 2.136 % | 290.22/290.36 c | 250 | 7323 8776 39572 | 6050 240 29 | 2.243 % | 290.32/290.42 c | 475 | 7321 8776 39572 | 6655 462 25 | 2.416 % | 290.41/290.53 c | 815 | 7310 8776 39572 | 7320 777 26 | 2.416 % | 290.61/290.70 c | 1324 | 7310 8776 39572 | 8052 1286 28 | 2.416 % | 290.81/290.96 c | 2086 | 7310 8776 39572 | 8857 2048 34 | 2.416 % | 291.21/291.32 c | 3227 | 7310 8776 39572 | 9743 3189 36 | 2.416 % | 291.91/292.01 c | 4938 | 7300 8776 39572 | 10717 4899 41 | 2.550 % | 293.11/293.28 c | 7500 | 7300 8776 39572 | 11789 7461 50 | 2.550 % | 295.82/295.92 c | 11348 | 7300 8776 39572 | 12968 11309 63 | 2.550 % | 300.40/300.51 c | 17115 | 7300 8776 39572 | 14265 10273 80 | 2.550 % | 305.40/305.51 c | 25765 | 7286 8776 39572 | 15692 11577 72 | 2.737 % | 312.81/312.98 c | 38739 | 7284 8776 39572 | 17261 16157 70 | 2.763 % | 326.30/326.40 c | 58202 | 7284 8776 39572 | 18987 17390 77 | 2.763 % | 344.89/345.03 c | 87397 | 7273 8776 39572 | 20886 17292 70 | 2.910 % | 369.89/370.07 c | 131189 | 7258 8776 39572 | 22974 17268 49 | 3.110 % | 416.37/416.53 c | 196873 | 7252 8776 39572 | 25272 21800 85 | 3.190 % | 528.14/528.30 c | 295401 | 7252 8776 39572 | 27799 23492 90 | 3.190 % | 557.92/558.12 c =============================================================================== 558.22/558.49 c core #180 558.22/558.49 c ============================[ Search Statistics ]============================== 558.22/558.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 558.22/558.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 558.22/558.49 c =============================================================================== 558.22/558.49 c | 0 | 7401 8836 39854 | 5000 0 nan | 0.000 % | 558.32/558.59 c | 101 | 7401 8836 39854 | 5500 101 71 | 2.116 % | 558.43/558.64 c | 251 | 7388 8836 39854 | 6050 244 49 | 2.288 % | 558.53/558.71 c | 476 | 7388 8836 39854 | 6655 465 42 | 2.288 % | 558.63/558.83 c | 814 | 7388 8836 39854 | 7320 803 44 | 2.288 % | 558.83/559.02 c | 1320 | 7388 8836 39854 | 8052 1309 45 | 2.288 % | 559.12/559.31 c | 2079 | 7388 8836 39854 | 8857 2068 43 | 2.288 % | 559.52/559.78 c | 3219 | 7388 8836 39854 | 9743 3208 41 | 2.288 % | 560.13/560.37 c | 4930 | 7388 8836 39854 | 10717 4919 44 | 2.288 % | 561.02/561.20 c | 7495 | 7384 8836 39854 | 11789 7481 53 | 2.341 % | 562.53/562.72 c | 11339 | 7384 8836 39854 | 12968 11325 60 | 2.341 % | 565.92/566.16 c | 17105 | 7384 8836 39854 | 14265 10408 81 | 2.341 % | 572.12/572.35 c | 25756 | 7384 8836 39854 | 15692 11560 83 | 2.341 % | 580.82/581.01 c | 38736 | 7382 8836 39854 | 17261 16442 95 | 2.367 % | 591.92/592.13 c | 58206 | 7358 8836 39854 | 18987 18306 72 | 2.777 % | 618.30/618.52 c | 87398 | 7351 8836 39854 | 20886 17829 101 | 2.777 % | 652.39/652.60 c | 131188 | 7349 8836 39854 | 22974 18145 93 | 2.804 % | 708.68/708.95 c | 196872 | 7337 8836 39854 | 25272 12206 73 | 2.963 % | 809.64/809.97 c | 295404 | 7327 8836 39854 | 27799 17125 115 | 3.095 % | 921.41/921.75 c | 443193 | 7325 8836 39854 | 30579 15067 62 | 3.121 % | 1181.42/1181.82 c | 664879 | 7325 8836 39854 | 33637 31814 122 | 3.121 % | 1642.09/1642.66 c | 997411 | 7325 8836 39854 | 37001 21729 131 | 3.121 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655973-1276399030/watcher-2655973-1276399030 -o /tmp/evaluation-result-2655973-1276399030/solver-2655973-1276399030 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655973-1276399030.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 1.06 3/106 22084 /proc/meminfo: memFree=1777456/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=2904 CPUtime=0 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 312 0 0 0 0 0 0 0 20 0 1 0 15504319 2973696 231 1992294400 134512640 135751879 4287572784 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 726 231 146 303 0 371 0 [startup+0.086152 s] /proc/loadavg: 0.92 0.97 1.06 3/106 22084 /proc/meminfo: memFree=1777456/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=3496 CPUtime=0.08 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 586 0 0 0 8 0 0 0 20 0 1 0 15504319 3579904 455 1992294400 134512640 135751879 4287572784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 874 455 147 303 0 569 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3496 [startup+0.101155 s] /proc/loadavg: 0.92 0.97 1.06 3/106 22084 /proc/meminfo: memFree=1777456/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=3496 CPUtime=0.09 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 586 0 0 0 9 0 0 0 20 0 1 0 15504319 3579904 455 1992294400 134512640 135751879 4287572784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 874 455 147 303 0 569 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3496 [startup+0.301173 s] /proc/loadavg: 0.92 0.97 1.06 3/106 22084 /proc/meminfo: memFree=1777456/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=3760 CPUtime=0.29 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 651 0 0 0 29 0 0 0 20 0 1 0 15504319 3850240 520 1992294400 134512640 135751879 4287572784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 940 520 147 303 0 635 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3760 [startup+0.701211 s] /proc/loadavg: 0.92 0.97 1.06 3/106 22084 /proc/meminfo: memFree=1777456/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=4680 CPUtime=0.69 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 857 0 0 0 68 1 0 0 21 0 1 0 15504319 4792320 726 1992294400 134512640 135751879 4287572784 18446744073709551615 134616728 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 1170 727 147 303 0 865 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4680 [startup+1.50129 s] /proc/loadavg: 0.92 0.97 1.06 2/107 22085 /proc/meminfo: memFree=1774472/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=5604 CPUtime=1.49 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 1107 0 0 0 147 2 0 0 23 0 1 0 15504319 5738496 976 1992294400 134512640 135751879 4287572784 18446744073709551615 134616550 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 1401 976 147 303 0 1096 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5604 [startup+3.10144 s] /proc/loadavg: 0.92 0.97 1.06 2/107 22085 /proc/meminfo: memFree=1772984/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=8096 CPUtime=3.09 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 1734 0 0 0 306 3 0 0 25 0 1 0 15504319 8290304 1603 1992294400 134512640 135751879 4287572784 18446744073709551615 134607819 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 2024 1603 147 303 0 1719 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8096 [startup+6.30174 s] /proc/loadavg: 0.92 0.97 1.06 2/107 22087 /proc/meminfo: memFree=1767776/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=12824 CPUtime=6.29 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 2897 0 0 0 622 7 0 0 25 0 1 0 15504319 13131776 2766 1992294400 134512640 135751879 4287572784 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 3206 2766 148 303 0 2901 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12824 [startup+12.7013 s] /proc/loadavg: 0.93 0.97 1.06 2/107 22087 /proc/meminfo: memFree=1759716/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=20456 CPUtime=12.69 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 4815 0 0 0 1256 13 0 0 25 0 1 0 15504319 20946944 4684 1992294400 134512640 135751879 4287572784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 5114 4684 148 303 0 4809 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20456 [startup+25.5006 s] /proc/loadavg: 0.94 0.97 1.05 2/107 22087 /proc/meminfo: memFree=1745580/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=33936 CPUtime=25.48 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 8188 0 0 0 2526 22 0 0 25 0 1 0 15504319 34750464 8057 1992294400 134512640 135751879 4287572784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 8484 8057 148 303 0 8179 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33936 [startup+51.101 s] /proc/loadavg: 0.96 0.97 1.05 2/107 22087 /proc/meminfo: memFree=1720656/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=59060 CPUtime=51.08 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 14456 0 0 0 5065 43 0 0 25 0 1 0 15504319 60477440 14325 1992294400 134512640 135751879 4287572784 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 14765 14325 148 303 0 14460 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 59060 [startup+102.308 s] /proc/loadavg: 0.98 0.97 1.05 2/107 22089 /proc/meminfo: memFree=1682712/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=96272 CPUtime=102.27 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 23758 0 0 0 10152 75 0 0 25 0 1 0 15504319 98582528 23627 1992294400 134512640 135751879 4287572784 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 24068 23627 148 303 0 23763 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 96272 [startup+162.3 s] /proc/loadavg: 0.99 0.97 1.04 2/107 22091 /proc/meminfo: memFree=1645016/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=134380 CPUtime=162.25 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 33272 0 0 0 16118 107 0 0 25 0 1 0 15504319 137605120 33141 1992294400 134512640 135751879 4287572784 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 33595 33141 148 303 0 33290 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 134380 [startup+222.301 s] /proc/loadavg: 0.99 0.97 1.04 2/107 22091 /proc/meminfo: memFree=1616124/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=162644 CPUtime=222.23 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 40346 0 0 0 22067 156 0 0 25 0 1 0 15504319 166547456 40215 1992294400 134512640 135751879 4287572784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 40661 40215 151 303 0 40356 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 162644 [startup+282.301 s] /proc/loadavg: 0.99 0.97 1.03 2/107 22093 /proc/meminfo: memFree=1577064/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=202324 CPUtime=282.21 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 50268 0 0 0 28022 199 0 0 25 0 1 0 15504319 207179776 50137 1992294400 134512640 135751879 4287572784 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 50581 50137 151 303 0 50276 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 202324 [startup+342.3 s] /proc/loadavg: 0.99 0.97 1.02 2/107 22095 /proc/meminfo: memFree=1551892/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=226888 CPUtime=342.19 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 56388 0 0 0 33984 235 0 0 25 0 1 0 15504319 232333312 56257 1992294400 134512640 135751879 4287572784 18446744073709551615 134610764 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 56722 56257 151 303 0 56417 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 226888 [startup+402.301 s] /proc/loadavg: 0.99 0.97 1.02 2/107 22097 /proc/meminfo: memFree=1520768/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=258172 CPUtime=402.18 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 64186 0 0 0 39946 272 0 0 25 0 1 0 15504319 264368128 64055 1992294400 134512640 135751879 4287572784 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 64543 64055 151 303 0 64238 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 258172 [startup+462.301 s] /proc/loadavg: 0.99 0.97 1.01 2/107 22099 /proc/meminfo: memFree=1489024/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=289512 CPUtime=462.16 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 72023 0 0 0 45920 296 0 0 25 0 1 0 15504319 296460288 71892 1992294400 134512640 135751879 4287572784 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 72378 71892 151 303 0 72073 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 289512 [startup+522.3 s] /proc/loadavg: 0.99 0.97 1.01 2/107 22099 /proc/meminfo: memFree=1460628/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=318572 CPUtime=522.14 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 79229 0 0 0 51892 322 0 0 25 0 1 0 15504319 326217728 79098 1992294400 134512640 135751879 4287572784 18446744073709551615 134616520 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 79643 79098 151 303 0 79338 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 318572 [startup+582.301 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22101 /proc/meminfo: memFree=1443392/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=334660 CPUtime=582.12 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 83451 0 0 0 57860 352 0 0 25 0 1 0 15504319 342691840 83203 1992294400 134512640 135751879 4287572784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 83665 83203 151 303 0 83360 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 334660 [startup+642.301 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22103 /proc/meminfo: memFree=1417352/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=360732 CPUtime=642.11 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 89955 0 0 0 63823 388 0 0 25 0 1 0 15504319 369389568 89707 1992294400 134512640 135751879 4287572784 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 90183 89707 151 303 0 89878 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 360732 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22107 /proc/meminfo: memFree=1325592/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=452712 CPUtime=822.04 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 112888 0 0 0 81727 477 0 0 25 0 1 0 15504319 463577088 112640 1992294400 134512640 135751879 4287572784 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 113178 112640 151 303 0 112873 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 452712 [startup+882.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22109 /proc/meminfo: memFree=1289260/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=488860 CPUtime=882.02 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 121925 0 0 0 87695 507 0 0 25 0 1 0 15504319 500592640 121677 1992294400 134512640 135751879 4287572784 18446744073709551615 134608015 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 122215 121677 151 303 0 121910 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 488860 [startup+942.301 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22111 /proc/meminfo: memFree=1252928/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=525428 CPUtime=942 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 131040 0 0 0 93660 540 0 0 25 0 1 0 15504319 538038272 130792 1992294400 134512640 135751879 4287572784 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 131357 130792 151 303 0 131052 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 525428 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22113 /proc/meminfo: memFree=1216596/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=561416 CPUtime=1001.98 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 140032 0 0 0 99630 568 0 0 25 0 1 0 15504319 574889984 139784 1992294400 134512640 135751879 4287572784 18446744073709551615 134616794 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 140354 139784 151 303 0 140049 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 561416 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22115 /proc/meminfo: memFree=1193036/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=585188 CPUtime=1061.97 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 145924 0 0 0 105608 589 0 0 25 0 1 0 15504319 599232512 145676 1992294400 134512640 135751879 4287572784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 146297 145676 151 303 0 145992 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 585188 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22115 /proc/meminfo: memFree=1161416/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=616980 CPUtime=1121.95 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 153825 0 0 0 111579 616 0 0 25 0 1 0 15504319 631787520 153577 1992294400 134512640 135751879 4287572784 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 154245 153577 151 303 0 153940 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 616980 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22117 /proc/meminfo: memFree=1130540/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=647892 CPUtime=1181.93 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 161542 0 0 0 117548 645 0 0 25 0 1 0 15504319 663441408 161294 1992294400 134512640 135751879 4287572784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 161973 161294 151 303 0 161668 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 647892 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22119 /proc/meminfo: memFree=1097184/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=680736 CPUtime=1241.91 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 169757 0 0 0 123519 672 0 0 25 0 1 0 15504319 697073664 169509 1992294400 134512640 135751879 4287572784 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 170184 169509 151 303 0 169879 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 680736 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22121 /proc/meminfo: memFree=1059736/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=717980 CPUtime=1301.9 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 179052 0 0 0 129487 703 0 0 25 0 1 0 15504319 735211520 178804 1992294400 134512640 135751879 4287572784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 179495 178804 151 303 0 179190 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 717980 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22123 /proc/meminfo: memFree=1026256/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=751816 CPUtime=1361.87 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 187522 0 0 0 135460 727 0 0 25 0 1 0 15504319 769859584 187274 1992294400 134512640 135751879 4287572784 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 187954 187274 151 303 0 187649 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 751816 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22123 /proc/meminfo: memFree=993024/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=784588 CPUtime=1421.86 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 195694 0 0 0 141440 746 0 0 25 0 1 0 15504319 803418112 195446 1992294400 134512640 135751879 4287572784 18446744073709551615 134616740 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 196147 195446 151 303 0 195842 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 784588 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22125 /proc/meminfo: memFree=957188/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=820724 CPUtime=1481.84 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 204706 0 0 0 147412 772 0 0 25 0 1 0 15504319 840421376 204458 1992294400 134512640 135751879 4287572784 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 205181 204458 151 303 0 204876 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 820724 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22127 /proc/meminfo: memFree=921848/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=855724 CPUtime=1541.83 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 213449 0 0 0 153387 796 0 0 25 0 1 0 15504319 876261376 213201 1992294400 134512640 135751879 4287572784 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 213931 213201 151 303 0 213626 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 855724 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22129 /proc/meminfo: memFree=884400/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=893420 CPUtime=1601.81 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 222859 0 0 0 159363 818 0 0 25 0 1 0 15504319 914862080 222611 1992294400 134512640 135751879 4287572784 18446744073709551615 134610836 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 223355 222611 151 303 0 223050 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 893420 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22131 /proc/meminfo: memFree=857244/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=920336 CPUtime=1661.79 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 229580 0 0 0 165337 842 0 0 25 0 1 0 15504319 942424064 229332 1992294400 134512640 135751879 4287572784 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 230084 229332 151 303 0 229779 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 920336 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22131 /proc/meminfo: memFree=825748/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=952136 CPUtime=1721.77 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 237498 0 0 0 171308 869 0 0 25 0 1 0 15504319 974987264 237250 1992294400 134512640 135751879 4287572784 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 238034 237250 151 303 0 237729 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 952136 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22133 /proc/meminfo: memFree=787556/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=989992 CPUtime=1781.75 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 246955 0 0 0 177282 893 0 0 25 0 1 0 15504319 1013751808 246707 1992294400 134512640 135751879 4287572784 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 247498 246707 151 303 0 247193 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 989992 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 1.00 2/107 22133 /proc/meminfo: memFree=777264/2059040 swapFree=4135852/4192956 [pid=22084] ppid=22082 vsize=999948 CPUtime=1800.06 /proc/22084/stat : 22084 (wbo1.4b) R 22082 22084 14916 0 -1 4202496 249450 0 0 0 179107 899 0 0 25 0 1 0 15504319 1023946752 249202 1992294400 134512640 135751879 4287572784 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22084/statm: 249987 249202 151 303 0 249682 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 999948 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.71 CPU time (s): 1800.17 CPU user time (s): 1791.08 CPU system time (s): 9.09262 CPU usage (%): 99.9701 Max. virtual memory (cumulated for all children) (KiB): 999948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.08 system time used= 9.09262 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 249450 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= 24 involuntary context switches= 1864 runsolver used 3.24151 second user time and 8.26274 second system time The end
Begin job on node015 at 2010-06-13 05:17:10 IDJOB=2655973 IDBENCH=2010 IDSOLVER=1161 FILE ID=node015/2655973-1276399030 PBS_JOBID= 11173255 Free space on /tmp= 62548 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data6_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655973-1276399030/watcher-2655973-1276399030 -o /tmp/evaluation-result-2655973-1276399030/solver-2655973-1276399030 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655973-1276399030.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f675f355e04fd5af6f49610fb88dbbd3 RANDOM SEED=1804370243 node015.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 : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1777860 kB Buffers: 55404 kB Cached: 144252 kB SwapCached: 14552 kB Active: 133256 kB Inactive: 83680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1777860 kB SwapTotal: 4192956 kB SwapFree: 4135852 kB Dirty: 2940 kB Writeback: 8 kB AnonPages: 11780 kB Mapped: 9160 kB Slab: 42400 kB PageTables: 4076 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180084 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= 62544 MiB End job on node015 at 2010-06-13 05:47:13