Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.13 | 1800.06 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-e64.b.opb |
MD5SUM | 4a444f89cff56050e88660d23e3d8694 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 47 |
Best CPU time to get the best result obtained on this benchmark | 15.4517 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 47 |
Optimality of the best value was proved | NO |
Number of variables | 607 |
Total number of constraints | 1022 |
Number of constraints which are clauses | 1022 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 607 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 607 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 607 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.6 beta - 20110321 0.00/0.00 c Parsing opb file format. File HOME/instance-3460935-1307081842.opb. 0.00/0.00 c Instance file HOME/instance-3460935-1307081842.opb 0.00/0.00 c File size is 75788 bytes. 0.00/0.00 c Highest Coefficient sum: 33 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 607 | 0.00/0.00 c | Number Clauses: 1022 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 607 1022 8200 | 5000 0 -nan | 0.000 % | 0.00/0.02 c core #1 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 1 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #2 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 2 0.00/0.02 c Current CPU time: 0.006998 s 0.00/0.02 c 0.00/0.02 c core #3 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 3 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #4 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 4 0.00/0.02 c Current CPU time: 0.007998 s 0.00/0.02 c 0.00/0.02 c core #5 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 21 Core Weight: 1 Total Weight: 5 0.00/0.02 c Current CPU time: 0.008998 s 0.00/0.02 c 0.00/0.02 c core #6 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 6 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #7 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 7 0.00/0.02 c Current CPU time: 0.009998 s 0.00/0.02 c 0.00/0.02 c core #8 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 8 0.00/0.02 c Current CPU time: 0.010998 s 0.00/0.02 c 0.00/0.02 c core #9 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 9 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #10 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 10 0.00/0.02 c Current CPU time: 0.011998 s 0.00/0.02 c 0.00/0.02 c core #11 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 11 0.00/0.02 c Current CPU time: 0.012998 s 0.00/0.02 c 0.00/0.02 c core #12 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 12 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #13 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 13 0.00/0.02 c Current CPU time: 0.013997 s 0.00/0.02 c 0.00/0.02 c core #14 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 15 Core Weight: 1 Total Weight: 14 0.00/0.02 c Current CPU time: 0.014997 s 0.00/0.02 c 0.00/0.02 c core #15 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 15 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #16 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 16 0.00/0.02 c Current CPU time: 0.015997 s 0.00/0.02 c 0.00/0.02 c core #17 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 5 Core Weight: 1 Total Weight: 17 0.00/0.02 c Current CPU time: 0.016997 s 0.00/0.02 c 0.00/0.02 c core #18 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 9 Core Weight: 1 Total Weight: 18 0.00/0.02 c Current CPU time: 0.017997 s 0.00/0.02 c 0.00/0.02 c core #19 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 31 Core Weight: 1 Total Weight: 19 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #20 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 26 Core Weight: 1 Total Weight: 20 0.00/0.02 c Current CPU time: 0.018997 s 0.00/0.02 c 0.00/0.02 c core #21 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 10 Core Weight: 1 Total Weight: 21 0.00/0.02 c Current CPU time: 0.019996 s 0.00/0.02 c 0.00/0.02 c core #22 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 40 Core Weight: 1 Total Weight: 22 0.00/0.02 c Current CPU time: 0.020996 s 0.00/0.02 c 0.00/0.02 c core #23 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 29 Core Weight: 1 Total Weight: 23 0.00/0.02 c Current CPU time: 0.021996 s 0.00/0.02 c 0.00/0.02 c core #24 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 29 Core Weight: 1 Total Weight: 24 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c core #25 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 39 Core Weight: 1 Total Weight: 25 0.00/0.02 c Current CPU time: 0.022996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 770 1654 6549 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #26 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 40 Core Weight: 1 Total Weight: 26 0.00/0.02 c Current CPU time: 0.023996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 830 1655 6914 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #27 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 47 Core Weight: 1 Total Weight: 27 0.00/0.02 c Current CPU time: 0.024996 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 900 1656 7350 | 5000 0 -nan | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c core #28 0.00/0.02 c 0.00/0.02 c 0.00/0.02 c Core size: 53 Core Weight: 1 Total Weight: 28 0.00/0.02 c Current CPU time: 0.026995 s 0.00/0.02 c 0.00/0.02 c ============================[ Search Statistics ]============================== 0.00/0.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.02 c =============================================================================== 0.00/0.02 c | 0 | 963 1657 7669 | 5000 0 -nan | 0.000 % | 0.00/0.02 c | 101 | 963 1657 7669 | 5500 101 20 | 15.229 % | 0.00/0.03 c | 252 | 963 1657 7669 | 6050 252 19 | 15.229 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #29 0.00/0.03 c 0.00/0.03 c 0.00/0.03 c Core size: 125 Core Weight: 1 Total Weight: 29 0.00/0.03 c Current CPU time: 0.030995 s 0.00/0.03 c 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 1109 1658 8238 | 5000 0 -nan | 0.000 % | 0.00/0.03 c | 101 | 1109 1658 8238 | 5500 101 34 | 11.844 % | 0.00/0.03 c | 254 | 1109 1658 8238 | 6050 254 42 | 11.844 % | 0.00/0.04 c | 479 | 1109 1658 8238 | 6655 479 45 | 11.844 % | 0.00/0.05 c | 817 | 1109 1658 8238 | 7320 817 41 | 11.844 % | 0.06/0.07 c | 1323 | 1109 1658 8238 | 8052 1323 43 | 11.844 % | 0.06/0.09 c | 2083 | 1109 1658 8238 | 8857 2083 43 | 11.844 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #30 0.09/0.10 c 0.09/0.10 c 0.09/0.10 c Core size: 52 Core Weight: 1 Total Weight: 30 0.09/0.10 c Current CPU time: 0.100984 s 0.09/0.10 c 0.09/0.10 c ============================[ Search Statistics ]============================== 0.09/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.10 c =============================================================================== 0.09/0.10 c | 0 | 1163 1659 8513 | 5000 0 -nan | 0.000 % | 0.09/0.10 c | 103 | 1163 1659 8513 | 5500 103 26 | 10.332 % | 0.09/0.10 c | 255 | 1163 1659 8513 | 6050 255 25 | 10.332 % | 0.09/0.11 c | 481 | 1163 1659 8513 | 6655 481 29 | 10.332 % | 0.09/0.12 c | 818 | 1163 1659 8513 | 7320 818 33 | 10.332 % | 0.09/0.13 c | 1324 | 1163 1659 8513 | 8052 1324 34 | 10.332 % | 0.09/0.15 c | 2083 | 1163 1659 8513 | 8857 2083 35 | 10.332 % | 0.09/0.16 c =============================================================================== 0.09/0.16 c core #31 0.09/0.16 c 0.09/0.16 c 0.09/0.16 c Core size: 47 Core Weight: 1 Total Weight: 31 0.09/0.16 c Current CPU time: 0.157975 s 0.09/0.16 c 0.09/0.16 c ============================[ Search Statistics ]============================== 0.09/0.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.16 c =============================================================================== 0.09/0.16 c | 0 | 1216 1660 8810 | 5000 0 -nan | 0.000 % | 0.09/0.16 c | 100 | 1216 1660 8810 | 5500 100 37 | 8.640 % | 0.09/0.16 c | 250 | 1216 1660 8810 | 6050 250 33 | 8.640 % | 0.09/0.17 c | 476 | 1216 1660 8810 | 6655 476 32 | 8.640 % | 0.09/0.18 c | 814 | 1216 1660 8810 | 7320 814 35 | 8.640 % | 0.09/0.19 c | 1321 | 1216 1660 8810 | 8052 1321 32 | 8.640 % | 0.19/0.22 c | 2081 | 1216 1660 8810 | 8857 2081 33 | 8.640 % | 0.19/0.27 c | 3220 | 1215 1660 8810 | 9743 3220 30 | 8.715 % | 0.19/0.28 c =============================================================================== 0.19/0.28 c core #32 0.19/0.28 c 0.19/0.28 c 0.19/0.28 c Core size: 90 Core Weight: 1 Total Weight: 32 0.19/0.28 c Current CPU time: 0.282956 s 0.19/0.28 c 0.19/0.28 c ============================[ Search Statistics ]============================== 0.19/0.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.28 c =============================================================================== 0.19/0.29 c | 0 | 1307 1661 9030 | 5000 0 -nan | 0.000 % | 0.19/0.29 c | 100 | 1307 1661 9030 | 5500 100 58 | 7.828 % | 0.19/0.29 c | 253 | 1307 1661 9030 | 6050 253 45 | 7.828 % | 0.29/0.30 c | 480 | 1307 1661 9030 | 6655 480 54 | 7.828 % | 0.29/0.31 c | 817 | 1307 1661 9030 | 7320 817 57 | 7.828 % | 0.29/0.33 c | 1323 | 1307 1661 9030 | 8052 1323 66 | 7.828 % | 0.29/0.36 c | 2082 | 1307 1661 9030 | 8857 2082 62 | 7.828 % | 0.39/0.43 c | 3224 | 1307 1661 9030 | 9743 3224 61 | 7.828 % | 0.49/0.51 c | 4938 | 1307 1661 9030 | 10717 4938 59 | 7.828 % | 0.59/0.66 c | 7502 | 1307 1661 9030 | 11789 7502 59 | 7.828 % | 0.79/0.80 c =============================================================================== 0.79/0.80 c core #33 0.79/0.80 c 0.79/0.80 c 0.79/0.80 c Core size: 64 Core Weight: 1 Total Weight: 33 0.79/0.80 c Current CPU time: 0.789879 s 0.79/0.80 c 0.79/0.80 c ============================[ Search Statistics ]============================== 0.79/0.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.80 c =============================================================================== 0.79/0.80 c | 0 | 1384 1662 9351 | 5000 0 -nan | 0.000 % | 0.79/0.81 c | 100 | 1384 1662 9351 | 5500 100 66 | 6.487 % | 0.79/0.81 c | 250 | 1384 1662 9351 | 6050 250 55 | 6.487 % | 0.79/0.82 c | 476 | 1384 1662 9351 | 6655 476 58 | 6.487 % | 0.79/0.83 c | 813 | 1384 1662 9351 | 7320 813 64 | 6.487 % | 0.79/0.85 c | 1321 | 1384 1662 9351 | 8052 1321 68 | 6.487 % | 0.79/0.88 c | 2082 | 1384 1662 9351 | 8857 2082 73 | 6.487 % | 0.89/0.94 c | 3224 | 1384 1662 9351 | 9743 3224 71 | 6.487 % | 1.01/1.04 c | 4934 | 1384 1662 9351 | 10717 4934 75 | 6.487 % | 1.19/1.25 c | 7496 | 1384 1662 9351 | 11789 7496 81 | 6.487 % | 1.49/1.58 c | 11340 | 1384 1662 9351 | 12968 11340 79 | 6.487 % | 2.21/2.23 c | 17107 | 1384 1662 9351 | 14265 10517 77 | 6.487 % | 2.99/3.07 c | 25757 | 1384 1662 9351 | 15692 11928 65 | 6.487 % | 4.41/4.47 c | 38731 | 1384 1662 9351 | 17261 9061 70 | 6.487 % | 6.09/6.14 c =============================================================================== 6.29/6.39 c core #34 6.29/6.39 c 6.29/6.39 c 6.29/6.39 c Core size: 143 Core Weight: 1 Total Weight: 34 6.29/6.39 c Current CPU time: 6.29404 s 6.29/6.39 c 6.29/6.39 c ============================[ Search Statistics ]============================== 6.29/6.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.29/6.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.29/6.39 c =============================================================================== 6.29/6.39 c | 0 | 1524 1663 9631 | 5000 0 -nan | 0.000 % | 6.39/6.40 c | 103 | 1524 1663 9631 | 5500 103 73 | 5.926 % | 6.39/6.40 c | 254 | 1524 1663 9631 | 6050 254 65 | 5.926 % | 6.39/6.41 c | 480 | 1524 1663 9631 | 6655 480 65 | 5.926 % | 6.39/6.42 c | 818 | 1524 1663 9631 | 7320 818 64 | 5.926 % | 6.39/6.44 c | 1325 | 1524 1663 9631 | 8052 1325 66 | 5.926 % | 6.39/6.48 c | 2092 | 1524 1663 9631 | 8857 2092 69 | 5.926 % | 6.51/6.54 c | 3237 | 1524 1663 9631 | 9743 3237 73 | 5.926 % | 6.61/6.63 c | 4946 | 1524 1663 9631 | 10717 4946 72 | 5.926 % | 6.79/6.80 c | 7510 | 1524 1663 9631 | 11789 7510 73 | 5.926 % | 7.09/7.15 c | 11355 | 1524 1663 9631 | 12968 11355 81 | 5.926 % | 7.61/7.68 c | 17121 | 1524 1663 9631 | 14265 10471 98 | 5.926 % | 8.59/8.67 c | 25775 | 1524 1663 9631 | 15692 11838 104 | 5.926 % | 8.59/8.69 c =============================================================================== 8.59/8.69 c core #35 8.59/8.69 c 8.59/8.69 c 8.59/8.69 c Core size: 68 Core Weight: 1 Total Weight: 35 8.59/8.69 c Current CPU time: 8.5727 s 8.59/8.69 c 8.59/8.69 c ============================[ Search Statistics ]============================== 8.59/8.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.59/8.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.59/8.69 c =============================================================================== 8.59/8.69 c | 0 | 1593 1664 9820 | 5000 0 -nan | 0.000 % | 8.59/8.70 c | 100 | 1593 1664 9820 | 5500 100 38 | 5.404 % | 8.59/8.70 c | 250 | 1593 1664 9820 | 6050 250 51 | 5.404 % | 8.59/8.70 c | 475 | 1593 1664 9820 | 6655 475 63 | 5.404 % | 8.70/8.72 c | 813 | 1593 1664 9820 | 7320 813 72 | 5.404 % | 8.70/8.74 c | 1319 | 1593 1664 9820 | 8052 1319 88 | 5.404 % | 8.70/8.77 c | 2078 | 1593 1664 9820 | 8857 2078 88 | 5.404 % | 8.81/8.83 c | 3219 | 1593 1664 9820 | 9743 3219 83 | 5.404 % | 8.89/8.92 c | 4927 | 1593 1664 9820 | 10717 4927 89 | 5.404 % | 8.99/9.07 c | 7492 | 1593 1664 9820 | 11789 7492 89 | 5.404 % | 9.29/9.38 c | 11339 | 1593 1664 9820 | 12968 11339 107 | 5.404 % | 9.99/10.00 c | 17109 | 1593 1664 9820 | 14265 10481 129 | 5.404 % | 11.09/11.14 c | 25760 | 1593 1664 9820 | 15692 11849 117 | 5.404 % | 12.99/13.08 c | 38738 | 1593 1664 9820 | 17261 8789 125 | 5.404 % | 13.69/13.77 c =============================================================================== 13.69/13.79 c core #36 13.69/13.79 c 13.69/13.79 c 13.69/13.79 c Core size: 46 Core Weight: 1 Total Weight: 36 13.69/13.79 c Current CPU time: 13.6259 s 13.69/13.79 c 13.69/13.79 c ============================[ Search Statistics ]============================== 13.69/13.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.69/13.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.69/13.79 c =============================================================================== 13.69/13.79 c | 0 | 1661 1665 10233 | 5000 0 -nan | 0.000 % | 13.69/13.79 c | 102 | 1661 1665 10233 | 5500 102 75 | 3.877 % | 13.79/13.80 c | 254 | 1661 1665 10233 | 6050 254 65 | 3.877 % | 13.79/13.80 c | 480 | 1661 1665 10233 | 6655 480 63 | 3.877 % | 13.79/13.81 c | 817 | 1661 1665 10233 | 7320 817 64 | 3.877 % | 13.79/13.83 c | 1323 | 1661 1665 10233 | 8052 1323 64 | 3.877 % | 13.79/13.86 c | 2083 | 1661 1665 10233 | 8857 2083 73 | 3.877 % | 13.89/13.92 c | 3224 | 1661 1665 10233 | 9743 3224 77 | 3.877 % | 13.99/14.08 c | 4934 | 1661 1665 10233 | 10717 4934 78 | 3.877 % | 14.39/14.40 c | 7496 | 1661 1665 10233 | 11789 7496 81 | 3.877 % | 14.89/14.92 c | 11343 | 1661 1665 10233 | 12968 11343 83 | 3.877 % | 15.49/15.59 c | 17112 | 1661 1665 10233 | 14265 10581 84 | 3.877 % | 16.29/16.31 c =============================================================================== 16.29/16.32 c core #37 16.29/16.32 c 16.29/16.32 c 16.29/16.32 c Core size: 81 Core Weight: 1 Total Weight: 37 16.29/16.32 c Current CPU time: 16.1385 s 16.29/16.32 c 16.29/16.32 c ============================[ Search Statistics ]============================== 16.29/16.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 16.29/16.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 16.29/16.32 c =============================================================================== 16.29/16.32 c | 0 | 1745 1666 10497 | 5000 0 -nan | 0.000 % | 16.29/16.32 c | 103 | 1745 1666 10497 | 5500 103 48 | 3.217 % | 16.29/16.32 c | 254 | 1745 1666 10497 | 6050 254 75 | 3.217 % | 16.29/16.33 c | 479 | 1745 1666 10497 | 6655 479 89 | 3.217 % | 16.29/16.34 c | 818 | 1745 1666 10497 | 7320 818 89 | 3.217 % | 16.29/16.36 c | 1324 | 1745 1666 10497 | 8052 1324 87 | 3.217 % | 16.29/16.40 c | 2083 | 1745 1666 10497 | 8857 2083 89 | 3.217 % | 16.41/16.45 c | 3225 | 1745 1666 10497 | 9743 3225 88 | 3.217 % | 16.51/16.54 c | 4933 | 1745 1666 10497 | 10717 4933 85 | 3.217 % | 16.69/16.76 c | 7495 | 1745 1666 10497 | 11789 7495 85 | 3.217 % | 17.09/17.10 c | 11340 | 1745 1666 10497 | 12968 11340 83 | 3.217 % | 17.69/17.70 c | 17106 | 1745 1666 10497 | 14265 10497 87 | 3.217 % | 18.49/18.57 c =============================================================================== 18.49/18.58 c core #38 18.49/18.58 c 18.49/18.58 c 18.49/18.58 c Core size: 72 Core Weight: 1 Total Weight: 38 18.49/18.58 c Current CPU time: 18.3742 s 18.49/18.58 c 18.49/18.58 c ============================[ Search Statistics ]============================== 18.49/18.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.49/18.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.49/18.58 c =============================================================================== 18.49/18.58 c | 0 | 1824 1667 10784 | 5000 0 -nan | 0.000 % | 18.49/18.58 c | 100 | 1824 1667 10784 | 5500 100 39 | 2.512 % | 18.49/18.58 c | 250 | 1824 1667 10784 | 6050 250 41 | 2.512 % | 18.49/18.59 c | 475 | 1824 1667 10784 | 6655 475 52 | 2.512 % | 18.49/18.60 c | 812 | 1824 1667 10784 | 7320 812 61 | 2.512 % | 18.60/18.62 c | 1322 | 1824 1667 10784 | 8052 1322 65 | 2.512 % | 18.60/18.65 c | 2083 | 1824 1667 10784 | 8857 2083 67 | 2.512 % | 18.60/18.69 c | 3222 | 1824 1667 10784 | 9743 3222 64 | 2.512 % | 18.71/18.73 c | 4931 | 1824 1667 10784 | 10717 4931 51 | 2.512 % | 18.79/18.82 c | 7496 | 1823 1667 10784 | 11789 7496 41 | 2.566 % | 18.79/18.82 c =============================================================================== 18.79/18.84 c core #39 18.79/18.84 c 18.79/18.84 c 18.79/18.84 c Core size: 115 Core Weight: 1 Total Weight: 39 18.79/18.84 c Current CPU time: 18.6322 s 18.79/18.84 c 18.79/18.84 c ============================[ Search Statistics ]============================== 18.79/18.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.79/18.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.79/18.84 c =============================================================================== 18.79/18.84 c | 0 | 1942 1668 11052 | 5000 0 -nan | 0.000 % | 18.79/18.84 c | 101 | 1942 1668 11052 | 5500 101 96 | 2.216 % | 18.79/18.84 c | 251 | 1942 1668 11052 | 6050 251 80 | 2.216 % | 18.79/18.85 c | 476 | 1942 1668 11052 | 6655 476 69 | 2.216 % | 18.79/18.86 c | 814 | 1942 1668 11052 | 7320 814 68 | 2.216 % | 18.79/18.88 c | 1321 | 1942 1668 11052 | 8052 1321 67 | 2.216 % | 18.89/18.91 c | 2082 | 1942 1668 11052 | 8857 2082 73 | 2.216 % | 18.89/18.97 c | 3223 | 1942 1668 11052 | 9743 3223 78 | 2.216 % | 19.09/19.10 c | 4933 | 1942 1668 11052 | 10717 4933 82 | 2.216 % | 19.29/19.36 c | 7496 | 1942 1668 11052 | 11789 7496 84 | 2.216 % | 19.70/19.77 c | 11340 | 1942 1668 11052 | 12968 11340 86 | 2.216 % | 20.19/20.26 c | 17108 | 1942 1668 11052 | 14265 10509 85 | 2.216 % | 20.99/21.01 c | 25759 | 1942 1668 11052 | 15692 11937 79 | 2.216 % | 22.19/22.27 c | 38734 | 1942 1668 11052 | 17261 8691 130 | 2.216 % | 24.70/24.79 c | 58195 | 1920 1668 11052 | 18987 10724 126 | 3.323 % | 29.30/29.38 c | 87387 | 1920 1668 11052 | 20886 11095 106 | 3.323 % | 31.09/31.14 c =============================================================================== 31.09/31.17 c core #40 31.09/31.17 c 31.09/31.17 c 31.09/31.17 c Core size: 74 Core Weight: 1 Total Weight: 40 31.09/31.17 c Current CPU time: 30.8353 s 31.09/31.17 c 31.09/31.17 c ============================[ Search Statistics ]============================== 31.09/31.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.09/31.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.09/31.17 c =============================================================================== 31.09/31.17 c | 0 | 2043 1669 11546 | 5000 0 -nan | 0.000 % | 31.09/31.17 c | 100 | 2043 1669 11546 | 5500 100 96 | 0.632 % | 31.09/31.18 c | 250 | 2043 1669 11546 | 6050 250 68 | 0.632 % | 31.09/31.19 c | 477 | 2043 1669 11546 | 6655 477 83 | 0.632 % | 31.19/31.20 c | 823 | 2043 1669 11546 | 7320 823 104 | 0.632 % | 31.19/31.22 c | 1329 | 2043 1669 11546 | 8052 1329 84 | 0.632 % | 31.19/31.24 c | 2088 | 2043 1669 11546 | 8857 2088 72 | 0.632 % | 31.19/31.27 c | 3229 | 2043 1669 11546 | 9743 3229 64 | 0.632 % | 31.29/31.32 c | 4940 | 2043 1669 11546 | 10717 4940 64 | 0.632 % | 31.39/31.43 c | 7503 | 2043 1669 11546 | 11789 7503 64 | 0.632 % | 31.60/31.63 c | 11349 | 2043 1669 11546 | 12968 11349 63 | 0.632 % | 32.09/32.11 c | 17115 | 2043 1669 11546 | 14265 10562 70 | 0.632 % | 32.80/32.90 c | 25764 | 2043 1669 11546 | 15692 12056 67 | 0.632 % | 34.01/34.07 c | 38738 | 2043 1669 11546 | 17261 9184 67 | 0.632 % | 35.90/35.91 c | 58202 | 2043 1669 11546 | 18987 11294 70 | 0.632 % | 38.99/39.05 c | 87394 | 2042 1669 11546 | 20886 11844 79 | 0.681 % | 39.89/39.99 c =============================================================================== 40.40/40.46 c core #41 40.40/40.46 c 40.40/40.46 c 40.40/40.46 c Core size: 135 Core Weight: 1 Total Weight: 41 40.40/40.46 c Current CPU time: 40.0419 s 40.40/40.46 c 40.40/40.46 c ============================[ Search Statistics ]============================== 40.40/40.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 40.40/40.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 40.40/40.46 c =============================================================================== 40.40/40.46 c | 0 | 2178 1670 11848 | 5000 0 -nan | 0.000 % | 40.40/40.46 c | 100 | 2178 1670 11848 | 5500 100 97 | 0.457 % | 40.40/40.47 c | 250 | 2178 1670 11848 | 6050 250 93 | 0.457 % | 40.40/40.47 c | 475 | 2178 1670 11848 | 6655 475 74 | 0.457 % | 40.40/40.48 c | 814 | 2178 1670 11848 | 7320 814 67 | 0.457 % | 40.49/40.50 c | 1320 | 2178 1670 11848 | 8052 1320 69 | 0.457 % | 40.49/40.53 c | 2080 | 2178 1670 11848 | 8857 2080 67 | 0.457 % | 40.49/40.59 c | 3219 | 2178 1670 11848 | 9743 3219 71 | 0.457 % | 40.61/40.68 c | 4929 | 2178 1670 11848 | 10717 4929 75 | 0.457 % | 40.79/40.87 c | 7492 | 2178 1670 11848 | 11789 7492 78 | 0.457 % | 41.09/41.18 c | 11336 | 2178 1670 11848 | 12968 11336 77 | 0.457 % | 41.70/41.72 c | 17103 | 2178 1670 11848 | 14265 10505 76 | 0.457 % | 42.49/42.58 c | 25752 | 2178 1670 11848 | 15692 11958 79 | 0.457 % | 43.70/43.74 c | 38727 | 2177 1670 11848 | 17261 8809 93 | 0.503 % | 45.59/45.67 c | 58190 | 2177 1670 11848 | 18987 10848 94 | 0.503 % | 45.69/45.76 c =============================================================================== 45.69/45.78 c core #42 45.69/45.78 c 45.69/45.78 c 45.69/45.78 c Core size: 88 Core Weight: 1 Total Weight: 42 45.69/45.78 c Current CPU time: 45.3211 s 45.69/45.78 c 45.69/45.78 c ============================[ Search Statistics ]============================== 45.69/45.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 45.69/45.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 45.69/45.78 c =============================================================================== 45.69/45.78 c | 0 | 2265 1671 12030 | 5000 0 -nan | 0.000 % | 45.69/45.78 c | 102 | 2265 1671 12030 | 5500 102 112 | 0.352 % | 45.69/45.79 c | 254 | 2265 1671 12030 | 6050 254 83 | 0.352 % | 45.69/45.79 c | 480 | 2265 1671 12030 | 6655 480 80 | 0.352 % | 45.79/45.81 c | 817 | 2265 1671 12030 | 7320 817 84 | 0.352 % | 45.79/45.83 c | 1323 | 2265 1671 12030 | 8052 1323 83 | 0.352 % | 45.79/45.87 c | 2089 | 2265 1671 12030 | 8857 2089 83 | 0.352 % | 45.89/45.91 c | 3229 | 2265 1671 12030 | 9743 3229 82 | 0.352 % | 45.99/46.01 c | 4938 | 2265 1671 12030 | 10717 4938 87 | 0.352 % | 46.11/46.19 c | 7501 | 2265 1671 12030 | 11789 7501 92 | 0.352 % | 46.49/46.55 c | 11345 | 2265 1671 12030 | 12968 11345 100 | 0.352 % | 47.09/47.21 c | 17119 | 2265 1671 12030 | 14265 10626 107 | 0.352 % | 48.19/48.31 c | 25769 | 2265 1671 12030 | 15692 12128 115 | 0.352 % | 49.99/50.04 c | 38744 | 2265 1671 12030 | 17261 9340 126 | 0.352 % | 52.49/52.55 c | 58205 | 2265 1671 12030 | 18987 11333 138 | 0.352 % | 56.89/56.94 c | 87398 | 2264 1671 12030 | 20886 11605 152 | 0.396 % | 61.30/61.32 c =============================================================================== 61.30/61.38 c core #43 61.30/61.38 c 61.30/61.38 c 61.30/61.38 c Core size: 101 Core Weight: 1 Total Weight: 43 61.30/61.38 c Current CPU time: 60.7768 s 61.30/61.38 c 61.30/61.38 c ============================[ Search Statistics ]============================== 61.30/61.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 61.30/61.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 61.30/61.38 c =============================================================================== 61.30/61.38 c | 0 | 2367 1672 12259 | 5000 0 -nan | 0.000 % | 61.30/61.38 c | 100 | 2367 1672 12259 | 5500 100 46 | 0.211 % | 61.30/61.38 c | 251 | 2367 1672 12259 | 6050 251 52 | 0.211 % | 61.30/61.39 c | 479 | 2367 1672 12259 | 6655 479 46 | 0.211 % | 61.40/61.40 c | 816 | 2367 1672 12259 | 7320 816 56 | 0.211 % | 61.40/61.42 c | 1324 | 2367 1672 12259 | 8052 1324 65 | 0.211 % | 61.40/61.46 c | 2087 | 2367 1672 12259 | 8857 2087 65 | 0.211 % | 61.50/61.52 c | 3228 | 2367 1672 12259 | 9743 3228 71 | 0.211 % | 61.61/61.62 c | 4936 | 2367 1672 12259 | 10717 4936 72 | 0.211 % | 61.69/61.74 c | 7501 | 2367 1672 12259 | 11789 7501 70 | 0.211 % | 62.00/62.07 c | 11345 | 2367 1672 12259 | 12968 11345 92 | 0.211 % | 62.61/62.65 c | 17113 | 2367 1672 12259 | 14265 10535 118 | 0.211 % | 63.59/63.61 c | 25765 | 2367 1672 12259 | 15692 11954 107 | 0.211 % | 65.29/65.30 c | 38740 | 2367 1672 12259 | 17261 9022 115 | 0.211 % | 67.49/67.56 c | 58203 | 2367 1672 12259 | 18987 10668 70 | 0.211 % | 72.20/72.20 c | 87395 | 2366 1672 12259 | 20886 10982 193 | 0.253 % | 81.00/81.08 c | 131184 | 2366 1672 12259 | 22974 12706 172 | 0.253 % | 84.60/84.62 c =============================================================================== 85.09/85.11 c core #44 85.09/85.11 c 85.09/85.11 c 85.09/85.11 c Core size: 206 Core Weight: 1 Total Weight: 44 85.09/85.11 c Current CPU time: 84.3192 s 85.09/85.11 c 85.09/85.11 c ============================[ Search Statistics ]============================== 85.09/85.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.09/85.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.09/85.11 c =============================================================================== 85.09/85.11 c | 0 | 2573 1673 12710 | 5000 0 -nan | 0.000 % | 85.09/85.11 c | 100 | 2573 1673 12710 | 5500 100 105 | 0.078 % | 85.09/85.12 c | 253 | 2573 1673 12710 | 6050 253 65 | 0.078 % | 85.09/85.13 c | 478 | 2573 1673 12710 | 6655 478 77 | 0.078 % | 85.09/85.14 c | 815 | 2573 1673 12710 | 7320 815 81 | 0.078 % | 85.09/85.16 c | 1327 | 2573 1673 12710 | 8052 1327 79 | 0.078 % | 85.09/85.19 c | 2088 | 2573 1673 12710 | 8857 2088 92 | 0.078 % | 85.20/85.26 c | 3227 | 2573 1673 12710 | 9743 3227 109 | 0.078 % | 85.29/85.36 c | 4936 | 2573 1673 12710 | 10717 4936 120 | 0.078 % | 85.59/85.71 c | 7498 | 2573 1673 12710 | 11789 7498 148 | 0.078 % | 86.40/86.49 c | 11343 | 2573 1673 12710 | 12968 11343 162 | 0.078 % | 86.81/86.82 c | 17111 | 2573 1673 12710 | 14265 10191 113 | 0.078 % | 87.40/87.42 c | 25760 | 2573 1673 12710 | 15692 11587 92 | 0.078 % | 88.70/88.71 c | 38736 | 2573 1673 12710 | 17261 8728 93 | 0.078 % | 92.50/92.52 c | 58197 | 2573 1673 12710 | 18987 10776 147 | 0.078 % | 96.50/96.56 c | 87390 | 2573 1673 12710 | 20886 10628 51 | 0.078 % | 102.99/103.02 c | 131179 | 2573 1673 12710 | 22974 10965 149 | 0.078 % | 112.40/112.43 c | 196867 | 2573 1673 12710 | 25272 18076 198 | 0.078 % | 134.11/134.17 c | 295394 | 2573 1673 12710 | 27799 14864 169 | 0.078 % | 155.80/155.84 c | 443186 | 2573 1673 12710 | 30579 13569 74 | 0.078 % | 197.40/197.43 c | 664877 | 2573 1673 12710 | 33637 25416 117 | 0.078 % | 264.70/264.76 c | 997402 | 2573 1673 12710 | 37001 28622 153 | 0.078 % | 365.70/365.73 c | 1496193 | 2573 1673 12710 | 40701 33198 151 | 0.078 % | 503.60/503.67 c | 2244376 | 2573 1673 12710 | 44771 39090 187 | 0.078 % | 732.82/732.88 c | 3366650 | 2573 1673 12710 | 49248 27222 186 | 0.078 % | 1167.15/1167.17 c | 5050061 | 2573 1673 12710 | 54173 20441 209 | 0.078 % | 1355.64/1355.61 c =============================================================================== 1368.74/1368.70 c core #45 1368.74/1368.70 c 1368.74/1368.70 c 1368.74/1368.70 c Core size: 212 Core Weight: 1 Total Weight: 45 1368.74/1368.70 c Current CPU time: 1358.55 s 1368.74/1368.70 c 1368.74/1368.70 c ============================[ Search Statistics ]============================== 1368.74/1368.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 1368.74/1368.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1368.74/1368.70 c =============================================================================== 1368.74/1368.70 c | 0 | 2782 1674 13128 | 5000 0 -nan | 0.000 % | 1368.74/1368.71 c | 100 | 2782 1674 13128 | 5500 100 132 | 0.072 % | 1368.74/1368.71 c | 252 | 2782 1674 13128 | 6050 252 88 | 0.072 % | 1368.74/1368.72 c | 478 | 2782 1674 13128 | 6655 478 83 | 0.072 % | 1368.74/1368.73 c | 816 | 2782 1674 13128 | 7320 816 77 | 0.072 % | 1368.74/1368.74 c | 1323 | 2782 1674 13128 | 8052 1323 70 | 0.072 % | 1368.74/1368.78 c | 2082 | 2782 1674 13128 | 8857 2082 111 | 0.072 % | 1368.84/1368.84 c | 3221 | 2782 1674 13128 | 9743 3221 145 | 0.072 % | 1368.94/1368.98 c | 4929 | 2782 1674 13128 | 10717 4929 154 | 0.072 % | 1369.14/1369.11 c | 7492 | 2782 1674 13128 | 11789 7492 132 | 0.072 % | 1369.34/1369.38 c | 11336 | 2782 1674 13128 | 12968 11336 130 | 0.072 % | 1369.84/1369.80 c | 17107 | 2782 1674 13128 | 14265 10303 131 | 0.072 % | 1370.56/1370.61 c | 25756 | 2782 1674 13128 | 15692 11724 128 | 0.072 % | 1371.84/1371.86 c | 38730 | 2782 1674 13128 | 17261 8597 163 | 0.072 % | 1373.85/1373.83 c | 58195 | 2782 1674 13128 | 18987 10626 120 | 0.072 % | 1378.26/1378.25 c | 87387 | 2782 1674 13128 | 20886 10908 155 | 0.072 % | 1384.34/1384.31 c | 131180 | 2782 1674 13128 | 22974 11950 201 | 0.072 % | 1399.74/1399.76 c | 196867 | 2782 1674 13128 | 25272 19165 201 | 0.072 % | 1426.54/1426.61 c | 295398 | 2782 1674 13128 | 27799 25124 231 | 0.072 % | 1458.75/1458.75 c | 443188 | 2782 1674 13128 | 30579 27381 185 | 0.072 % | 1491.74/1491.77 c | 664872 | 2782 1674 13128 | 33637 27022 152 | 0.072 % | 1556.04/1556.07 c | 997398 | 2782 1674 13128 | 37001 18585 175 | 0.072 % | 1689.96/1689.92 c | 1496186 | 2782 1674 13128 | 40701 28996 272 | 0.072 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3460935-1307081842/watcher-3460935-1307081842 -o /tmp/evaluation-result-3460935-1307081842/solver-3460935-1307081842 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460935-1307081842.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.37 1.86 1.95 3/514 17161 /proc/meminfo: memFree=21836320/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=2500 CPUtime=0.01 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 451 0 0 0 1 0 0 0 25 0 1 0 800599804 2560000 385 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 625 385 175 372 0 250 0 [startup+0.0698401 s] /proc/loadavg: 1.37 1.86 1.95 3/514 17161 /proc/meminfo: memFree=21836320/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=3072 CPUtime=0.06 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 586 0 0 0 6 0 0 0 18 0 1 0 800599804 3145728 520 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 768 520 180 372 0 393 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3072 [startup+0.100808 s] /proc/loadavg: 1.37 1.86 1.95 3/514 17161 /proc/meminfo: memFree=21836320/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=3468 CPUtime=0.09 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 688 0 0 0 9 0 0 0 18 0 1 0 800599804 3551232 622 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 867 622 180 372 0 492 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3468 [startup+0.300792 s] /proc/loadavg: 1.37 1.86 1.95 3/514 17161 /proc/meminfo: memFree=21836320/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=4308 CPUtime=0.29 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 881 0 0 0 29 0 0 0 18 0 1 0 800599804 4411392 815 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 1077 815 180 372 0 702 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4308 [startup+0.700726 s] /proc/loadavg: 1.37 1.86 1.95 3/514 17161 /proc/meminfo: memFree=21836320/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=6444 CPUtime=0.69 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 1411 0 0 0 68 1 0 0 18 0 1 0 800599804 6598656 1345 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 1611 1345 180 372 0 1236 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6444 [startup+1.50057 s] /proc/loadavg: 1.37 1.86 1.95 3/515 17162 /proc/meminfo: memFree=21828772/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=8952 CPUtime=1.49 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 2030 0 0 0 146 3 0 0 19 0 1 0 800599804 9166848 1964 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 2238 1964 180 372 0 1863 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8952 [startup+3.10027 s] /proc/loadavg: 1.37 1.86 1.95 3/515 17162 /proc/meminfo: memFree=21822696/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=12744 CPUtime=3.09 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 2977 0 0 0 305 4 0 0 25 0 1 0 800599804 13049856 2911 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 3186 2911 180 372 0 2811 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12744 [startup+6.30067 s] /proc/loadavg: 1.42 1.86 1.95 3/515 17162 /proc/meminfo: memFree=21810124/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=21224 CPUtime=6.29 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 5085 0 0 0 621 8 0 0 25 0 1 0 800599804 21733376 5019 33554432000 4194304 5714214 140734236700048 18446744073709551615 4324692 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 5306 5019 180 372 0 4931 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21224 [startup+12.7005 s] /proc/loadavg: 1.47 1.87 1.95 3/515 17162 /proc/meminfo: memFree=21803064/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=21496 CPUtime=12.69 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 5200 0 0 0 1255 14 0 0 25 0 1 0 800599804 22011904 5099 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 5374 5099 180 372 0 4999 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21496 [startup+25.501 s] /proc/loadavg: 1.58 1.87 1.95 3/515 17162 /proc/meminfo: memFree=21785324/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=23124 CPUtime=25.49 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 5637 0 0 0 2523 26 0 0 25 0 1 0 800599804 23678976 5515 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 5781 5515 180 372 0 5406 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23124 [startup+51.1002 s] /proc/loadavg: 1.73 1.88 1.95 3/515 17163 /proc/meminfo: memFree=21752856/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=32352 CPUtime=51.1 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 8011 0 0 0 5061 49 0 0 25 0 1 0 800599804 33128448 7847 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 8088 7847 180 372 0 7713 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 32352 [startup+102.32 s] /proc/loadavg: 1.88 1.90 1.95 3/515 17164 /proc/meminfo: memFree=21691076/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=51252 CPUtime=102.31 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 12631 0 0 0 10147 84 0 0 25 0 1 0 800599804 52482048 12467 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 12813 12467 180 372 0 12438 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 51252 [startup+162.3 s] /proc/loadavg: 2.11 1.95 1.96 3/515 17166 /proc/meminfo: memFree=21591076/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=109052 CPUtime=162.3 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 26900 0 0 0 16106 124 0 0 25 0 1 0 800599804 111669248 26736 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319243 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 27263 26736 180 372 0 26888 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 109052 [startup+222.301 s] /proc/loadavg: 2.11 1.97 1.96 3/515 17167 /proc/meminfo: memFree=21484244/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=169800 CPUtime=222.3 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 41794 0 0 0 22076 154 0 0 25 0 1 0 800599804 173875200 41630 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 42450 41630 180 372 0 42075 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 169800 [startup+282.301 s] /proc/loadavg: 2.19 2.00 1.97 3/515 17169 /proc/meminfo: memFree=21383860/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=224668 CPUtime=282.3 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 55239 0 0 0 28043 187 0 0 25 0 1 0 800599804 230060032 55075 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 56167 55075 180 372 0 55792 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 224668 [startup+342.301 s] /proc/loadavg: 2.07 2.00 1.97 3/515 17171 /proc/meminfo: memFree=21268844/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=270396 CPUtime=342.3 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 66543 0 0 0 34017 213 0 0 25 0 1 0 800599804 276885504 66379 33554432000 4194304 5714214 140734236700048 18446744073709551615 4200720 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 67599 66379 180 372 0 67224 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 270396 [startup+402.301 s] /proc/loadavg: 2.02 2.00 1.97 3/515 17172 /proc/meminfo: memFree=21203828/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=337036 CPUtime=402.31 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 83061 0 0 0 39984 247 0 0 25 0 1 0 800599804 345124864 82897 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 84259 82897 180 372 0 83884 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 337036 [startup+462.3 s] /proc/loadavg: 2.01 2.00 1.97 3/515 17176 /proc/meminfo: memFree=21145744/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=394048 CPUtime=462.31 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 97143 0 0 0 45948 283 0 0 25 0 1 0 800599804 403505152 96979 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 98512 96979 180 372 0 98137 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 394048 [startup+522.301 s] /proc/loadavg: 2.04 2.01 1.98 3/515 17178 /proc/meminfo: memFree=21107628/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=434328 CPUtime=522.31 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 107008 0 0 0 51911 320 0 0 25 0 1 0 800599804 444751872 106844 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 108582 106844 180 372 0 108207 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 434328 [startup+582.301 s] /proc/loadavg: 2.01 2.01 1.98 3/515 17180 /proc/meminfo: memFree=21068048/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=474300 CPUtime=582.31 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 116783 0 0 0 57877 354 0 0 25 0 1 0 800599804 485683200 116619 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319364 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 118575 116619 180 372 0 118200 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 474300 [startup+642.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.10 2.05 2.00 3/515 17186 /proc/meminfo: memFree=20856672/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=656612 CPUtime=822.32 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 161957 0 0 0 81756 476 0 0 25 0 1 0 800599804 672370688 161793 33554432000 4194304 5714214 140734236700048 18446744073709551615 4200320 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 164153 161793 180 372 0 163778 0 Current children cumulated CPU time (s) 822.32 Current children cumulated vsize (KiB) 656612 [startup+882.301 s] /proc/loadavg: 2.07 2.05 2.00 3/515 17188 /proc/meminfo: memFree=20790528/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=693052 CPUtime=882.32 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 170907 0 0 0 87730 502 0 0 25 0 1 0 800599804 709685248 170743 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 173263 170743 180 372 0 172888 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 693052 [startup+942.301 s] /proc/loadavg: 2.02 2.04 2.00 3/515 17190 /proc/meminfo: memFree=20726380/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=717928 CPUtime=942.32 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 177037 0 0 0 93703 529 0 0 25 0 1 0 800599804 735158272 176873 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 179482 176873 180 372 0 179107 0 Current children cumulated CPU time (s) 942.32 Current children cumulated vsize (KiB) 717928 [startup+1002.3 s] /proc/loadavg: 2.01 2.03 2.00 3/515 17191 /proc/meminfo: memFree=20647100/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=768256 CPUtime=1002.33 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 189567 0 0 0 99678 555 0 0 25 0 1 0 800599804 786694144 189403 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 192064 189403 180 372 0 191689 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 768256 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 17193 /proc/meminfo: memFree=20576632/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=809188 CPUtime=1062.33 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 199756 0 0 0 105649 584 0 0 25 0 1 0 800599804 828608512 199592 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 202297 199592 180 372 0 201922 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 809188 [startup+1122.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 17194 /proc/meminfo: memFree=20493372/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=843780 CPUtime=1122.33 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 208372 0 0 0 111619 614 0 0 25 0 1 0 800599804 864030720 208208 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 210945 208208 180 372 0 210570 0 Current children cumulated CPU time (s) 1122.33 Current children cumulated vsize (KiB) 843780 [startup+1182.3 s] /proc/loadavg: 2.00 2.01 2.00 3/515 17196 /proc/meminfo: memFree=20431568/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=883724 CPUtime=1182.33 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 218337 0 0 0 117585 648 0 0 25 0 1 0 800599804 904933376 218173 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 220931 218173 180 372 0 220556 0 Current children cumulated CPU time (s) 1182.33 Current children cumulated vsize (KiB) 883724 [startup+1242.3 s] /proc/loadavg: 2.12 2.04 2.01 3/515 17198 /proc/meminfo: memFree=20384016/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=917724 CPUtime=1242.34 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 226632 0 0 0 123556 678 0 0 25 0 1 0 800599804 939749376 226468 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 229431 226468 180 372 0 229056 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 917724 [startup+1302.3 s] /proc/loadavg: 2.10 2.04 2.01 3/515 17199 /proc/meminfo: memFree=20312936/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=953996 CPUtime=1302.36 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 235599 0 0 0 129526 710 0 0 25 0 1 0 800599804 976891904 235435 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 238499 235435 180 372 0 238124 0 Current children cumulated CPU time (s) 1302.36 Current children cumulated vsize (KiB) 953996 [startup+1362.3 s] /proc/loadavg: 2.09 2.05 2.01 3/515 17201 /proc/meminfo: memFree=20207372/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=1033500 CPUtime=1362.34 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 255437 0 0 0 135492 742 0 0 25 0 1 0 800599804 1058304000 255273 33554432000 4194304 5714214 140734236700048 18446744073709551615 4324948 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 258375 255273 180 372 0 258000 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1033500 [startup+1422.32 s] /proc/loadavg: 2.03 2.03 2.00 3/515 17202 /proc/meminfo: memFree=20179560/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=1032964 CPUtime=1422.36 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 255585 0 0 0 141459 777 0 0 25 0 1 0 800599804 1057755136 255201 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 258241 255201 180 372 0 257866 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 1032964 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/515 17204 /proc/meminfo: memFree=20120980/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=1032964 CPUtime=1482.34 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 255927 0 0 0 147427 807 0 0 25 0 1 0 800599804 1057755136 255543 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 258241 255543 180 372 0 257866 0 Current children cumulated CPU time (s) 1482.34 Current children cumulated vsize (KiB) 1032964 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/515 17206 /proc/meminfo: memFree=20105308/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=1032964 CPUtime=1542.35 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 256119 0 0 0 153402 833 0 0 25 0 1 0 800599804 1057755136 255735 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319303 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 258241 255735 180 372 0 257866 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 1032964 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/515 17207 /proc/meminfo: memFree=20084672/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=1032964 CPUtime=1602.35 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 256399 0 0 0 159360 875 0 0 25 0 1 0 800599804 1057755136 256015 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 258241 256015 180 372 0 257866 0 Current children cumulated CPU time (s) 1602.35 Current children cumulated vsize (KiB) 1032964 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 2.00 3/515 17209 /proc/meminfo: memFree=20052148/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=1032964 CPUtime=1662.35 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 256520 0 0 0 165341 894 0 0 25 0 1 0 800599804 1057755136 256136 33554432000 4194304 5714214 140734236700048 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 258241 256136 180 372 0 257866 0 Current children cumulated CPU time (s) 1662.35 Current children cumulated vsize (KiB) 1032964 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/515 17210 /proc/meminfo: memFree=20016388/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=1032964 CPUtime=1722.35 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 256611 0 0 0 171317 918 0 0 25 0 1 0 800599804 1057755136 256227 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 258241 256227 180 372 0 257866 0 Current children cumulated CPU time (s) 1722.35 Current children cumulated vsize (KiB) 1032964 [startup+1782.3 s] /proc/loadavg: 2.07 2.03 2.01 3/515 17212 /proc/meminfo: memFree=19980248/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=1032964 CPUtime=1782.36 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 256666 0 0 0 177289 947 0 0 25 0 1 0 800599804 1057755136 256282 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 258241 256282 180 372 0 257866 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 1032964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.11 2.04 2.01 3/515 17241 /proc/meminfo: memFree=20817476/32951124 swapFree=62999000/67111528 [pid=17161] ppid=17159 vsize=1032964 CPUtime=1800.07 cores=0,2,4,6 /proc/17161/stat : 17161 (wbo1.6) R 17159 17161 742 0 -1 4202496 256714 0 0 0 179050 957 0 0 25 0 1 0 800599804 1057755136 256330 33554432000 4194304 5714214 140734236700048 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/17161/statm: 258241 256330 180 372 0 257866 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1032964 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.06 CPU time (s): 1800.13 CPU user time (s): 1790.51 CPU system time (s): 9.61954 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 1034096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.51 system time used= 9.61954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 256714 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= 9 involuntary context switches= 1954 runsolver used 9.54655 second user time and 20.0809 second system time The end
Begin job on node141 at 2011-06-03 08:17:22 IDJOB=3460935 IDBENCH=2053 IDSOLVER=1953 FILE ID=node141/3460935-1307081842 RUNJOBID= node141-1307081837-17113 PBS_JOBID= 13497845 Free space on /tmp= 73884 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460935-1307081842/watcher-3460935-1307081842 -o /tmp/evaluation-result-3460935-1307081842/solver-3460935-1307081842 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460935-1307081842.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694 RANDOM SEED=1782848489 node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5362.96 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21836600 kB Buffers: 233440 kB Cached: 610912 kB SwapCached: 8848 kB Active: 10303268 kB Inactive: 547256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21836600 kB SwapTotal: 67111528 kB SwapFree: 62999000 kB Dirty: 9308 kB Writeback: 0 kB AnonPages: 10005060 kB Mapped: 26208 kB Slab: 125324 kB PageTables: 69964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 150690872 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73880 MiB End job on node141 at 2011-06-03 08:47:24