Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.6 | ? (TO) | 1800.13 | 1800.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-alu2.b.opb |
MD5SUM | a793af2f16b39bdc1dda733b5326bfb4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 60 |
Best CPU time to get the best result obtained on this benchmark | 63.6203 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | NO |
Number of variables | 1266 |
Total number of constraints | 2888 |
Number of constraints which are clauses | 2888 |
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 | 1 |
Maximum length of a constraint | 183 |
Number of terms in the objective function | 1266 |
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 | 1266 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1266 |
Number of bits of the biggest sum of numbers | 11 |
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-3460827-1307103825.opb. 0.00/0.00 c Instance file HOME/instance-3460827-1307103825.opb 0.00/0.00 c File size is 613565 bytes. 0.00/0.04 c Highest Coefficient sum: 184 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 1266 | 0.00/0.04 c | Number Clauses: 2888 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 0 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 1253 2888 72490 | 5000 0 -nan | 0.000 % | 0.10/0.17 c core #1 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 181 Core Weight: 1 Total Weight: 14 0.10/0.17 c Current CPU time: 0.041993 s 0.10/0.17 c 0.10/0.17 c core #2 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 28 Core Weight: 1 Total Weight: 15 0.10/0.17 c Current CPU time: 0.045993 s 0.10/0.17 c 0.10/0.17 c core #3 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 20 Core Weight: 1 Total Weight: 16 0.10/0.17 c Current CPU time: 0.048992 s 0.10/0.17 c 0.10/0.17 c core #4 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 8 Core Weight: 1 Total Weight: 17 0.10/0.17 c Current CPU time: 0.052991 s 0.10/0.17 c 0.10/0.17 c core #5 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 4 Core Weight: 1 Total Weight: 18 0.10/0.17 c Current CPU time: 0.056991 s 0.10/0.17 c 0.10/0.17 c core #6 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 7 Core Weight: 1 Total Weight: 19 0.10/0.17 c Current CPU time: 0.06099 s 0.10/0.17 c 0.10/0.17 c core #7 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 18 Core Weight: 1 Total Weight: 20 0.10/0.17 c Current CPU time: 0.06499 s 0.10/0.17 c 0.10/0.17 c core #8 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 21 0.10/0.17 c Current CPU time: 0.068989 s 0.10/0.17 c 0.10/0.17 c core #9 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 7 Core Weight: 1 Total Weight: 22 0.10/0.17 c Current CPU time: 0.071989 s 0.10/0.17 c 0.10/0.17 c core #10 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 23 0.10/0.17 c Current CPU time: 0.075988 s 0.10/0.17 c 0.10/0.17 c core #11 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 30 Core Weight: 1 Total Weight: 24 0.10/0.17 c Current CPU time: 0.079987 s 0.10/0.17 c 0.10/0.17 c core #12 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 25 0.10/0.17 c Current CPU time: 0.083987 s 0.10/0.17 c 0.10/0.17 c core #13 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 8 Core Weight: 1 Total Weight: 26 0.10/0.17 c Current CPU time: 0.087986 s 0.10/0.17 c 0.10/0.17 c core #14 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 8 Core Weight: 1 Total Weight: 27 0.10/0.17 c Current CPU time: 0.091986 s 0.10/0.17 c 0.10/0.17 c core #15 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 6 Core Weight: 1 Total Weight: 28 0.10/0.17 c Current CPU time: 0.094985 s 0.10/0.17 c 0.10/0.17 c core #16 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 7 Core Weight: 1 Total Weight: 29 0.10/0.17 c Current CPU time: 0.098984 s 0.10/0.17 c 0.10/0.17 c core #17 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 12 Core Weight: 1 Total Weight: 30 0.10/0.17 c Current CPU time: 0.102984 s 0.10/0.17 c 0.10/0.17 c core #18 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 31 0.10/0.17 c Current CPU time: 0.106983 s 0.10/0.17 c 0.10/0.17 c core #19 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 15 Core Weight: 1 Total Weight: 32 0.10/0.17 c Current CPU time: 0.110983 s 0.10/0.17 c 0.10/0.17 c core #20 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 33 0.10/0.17 c Current CPU time: 0.114982 s 0.10/0.17 c 0.10/0.17 c core #21 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 3 Core Weight: 1 Total Weight: 34 0.10/0.17 c Current CPU time: 0.118981 s 0.10/0.17 c 0.10/0.17 c core #22 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 9 Core Weight: 1 Total Weight: 35 0.10/0.17 c Current CPU time: 0.122981 s 0.10/0.17 c 0.10/0.17 c core #23 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 8 Core Weight: 1 Total Weight: 36 0.10/0.17 c Current CPU time: 0.12698 s 0.10/0.17 c 0.10/0.17 c core #24 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 10 Core Weight: 1 Total Weight: 37 0.10/0.17 c Current CPU time: 0.13098 s 0.10/0.17 c 0.10/0.17 c core #25 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 10 Core Weight: 1 Total Weight: 38 0.10/0.17 c Current CPU time: 0.134979 s 0.10/0.17 c 0.10/0.17 c core #26 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 12 Core Weight: 1 Total Weight: 39 0.10/0.17 c Current CPU time: 0.138978 s 0.10/0.17 c 0.10/0.17 c core #27 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 18 Core Weight: 1 Total Weight: 40 0.10/0.17 c Current CPU time: 0.142978 s 0.10/0.17 c 0.10/0.17 c core #28 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 5 Core Weight: 1 Total Weight: 41 0.10/0.17 c Current CPU time: 0.147977 s 0.10/0.17 c 0.10/0.17 c core #29 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 10 Core Weight: 1 Total Weight: 42 0.10/0.17 c Current CPU time: 0.151976 s 0.10/0.17 c 0.10/0.17 c core #30 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 74 Core Weight: 1 Total Weight: 43 0.10/0.17 c Current CPU time: 0.155976 s 0.10/0.17 c 0.10/0.17 c core #31 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 15 Core Weight: 1 Total Weight: 44 0.10/0.17 c Current CPU time: 0.159975 s 0.10/0.17 c 0.10/0.17 c core #32 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 35 Core Weight: 1 Total Weight: 45 0.10/0.17 c Current CPU time: 0.164974 s 0.10/0.17 c 0.10/0.17 c ============================[ Search Statistics ]============================== 0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.17 c =============================================================================== 0.10/0.17 c | 0 | 1063 4066 37744 | 5000 0 -nan | 0.000 % | 0.10/0.17 c =============================================================================== 0.10/0.17 c core #33 0.10/0.17 c 0.10/0.17 c 0.10/0.17 c Core size: 66 Core Weight: 1 Total Weight: 46 0.10/0.17 c Current CPU time: 0.168974 s 0.10/0.17 c 0.10/0.17 c ============================[ Search Statistics ]============================== 0.10/0.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.17 c =============================================================================== 0.10/0.17 c | 0 | 1162 4067 39425 | 5000 0 -nan | 0.000 % | 0.10/0.18 c =============================================================================== 0.10/0.18 c core #34 0.10/0.18 c 0.10/0.18 c 0.10/0.18 c Core size: 78 Core Weight: 1 Total Weight: 47 0.10/0.18 c Current CPU time: 0.174973 s 0.10/0.18 c 0.10/0.18 c ============================[ Search Statistics ]============================== 0.10/0.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.18 c =============================================================================== 0.10/0.18 c | 0 | 1308 4068 42830 | 5000 0 -nan | 0.000 % | 0.10/0.18 c | 104 | 1308 4068 42830 | 5500 104 25 | 32.716 % | 0.10/0.18 c =============================================================================== 0.10/0.19 c core #35 0.10/0.19 c 0.10/0.19 c 0.10/0.19 c Core size: 120 Core Weight: 1 Total Weight: 48 0.10/0.19 c Current CPU time: 0.182972 s 0.10/0.19 c 0.10/0.19 c ============================[ Search Statistics ]============================== 0.10/0.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.19 c =============================================================================== 0.10/0.19 c | 0 | 1438 4069 44372 | 5000 0 -nan | 0.000 % | 0.10/0.19 c | 100 | 1438 4069 44372 | 5500 100 20 | 30.194 % | 0.10/0.19 c =============================================================================== 0.19/0.20 c core #36 0.19/0.20 c 0.19/0.20 c 0.19/0.20 c Core size: 171 Core Weight: 1 Total Weight: 49 0.19/0.20 c Current CPU time: 0.19097 s 0.19/0.20 c 0.19/0.20 c ============================[ Search Statistics ]============================== 0.19/0.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.20 c =============================================================================== 0.19/0.20 c | 0 | 1692 4070 51715 | 5000 0 -nan | 0.000 % | 0.19/0.20 c | 101 | 1692 4070 51715 | 5500 101 59 | 24.092 % | 0.19/0.21 c | 251 | 1692 4070 51715 | 6050 251 38 | 24.092 % | 0.19/0.22 c | 476 | 1692 4070 51715 | 6655 476 46 | 24.092 % | 0.19/0.24 c | 813 | 1692 4070 51715 | 7320 813 61 | 24.092 % | 0.19/0.27 c | 1319 | 1692 4070 51715 | 8052 1319 59 | 24.092 % | 0.29/0.31 c | 2080 | 1685 4070 51715 | 8857 2080 56 | 25.393 % | 0.29/0.32 c =============================================================================== 0.29/0.33 c core #37 0.29/0.33 c 0.29/0.33 c 0.29/0.33 c Core size: 198 Core Weight: 1 Total Weight: 50 0.29/0.33 c Current CPU time: 0.303953 s 0.29/0.33 c 0.29/0.33 c ============================[ Search Statistics ]============================== 0.29/0.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.29/0.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.29/0.33 c =============================================================================== 0.29/0.33 c | 0 | 1894 4072 52874 | 5000 0 -nan | 0.000 % | 0.29/0.34 c | 102 | 1893 4072 52874 | 5500 102 41 | 21.947 % | 0.29/0.34 c | 254 | 1893 4072 52874 | 6050 254 85 | 21.947 % | 0.29/0.35 c | 479 | 1893 4072 52874 | 6655 479 75 | 21.947 % | 0.29/0.37 c | 816 | 1892 4072 52874 | 7320 816 101 | 21.947 % | 0.39/0.40 c | 1322 | 1892 4072 52874 | 8052 1322 101 | 21.947 % | 0.39/0.46 c | 2084 | 1892 4072 52874 | 8857 2084 128 | 21.947 % | 0.49/0.57 c | 3223 | 1892 4072 52874 | 9743 3223 136 | 21.947 % | 0.69/0.72 c | 4931 | 1892 4072 52874 | 10717 4931 130 | 21.947 % | 0.89/0.91 c | 7494 | 1892 4072 52874 | 11789 7494 129 | 21.947 % | 1.10/1.15 c | 11340 | 1892 4072 52874 | 12968 11340 116 | 21.947 % | 1.10/1.21 c =============================================================================== 1.21/1.23 c core #38 1.21/1.23 c 1.21/1.23 c 1.21/1.23 c Core size: 150 Core Weight: 1 Total Weight: 51 1.21/1.23 c Current CPU time: 1.13183 s 1.21/1.23 c 1.21/1.23 c ============================[ Search Statistics ]============================== 1.21/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.21/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.21/1.23 c =============================================================================== 1.21/1.23 c | 0 | 2054 4073 53809 | 5000 0 -nan | 0.000 % | 1.21/1.23 c | 100 | 2054 4073 53809 | 5500 100 56 | 20.171 % | 1.21/1.24 c | 252 | 2054 4073 53809 | 6050 252 62 | 20.171 % | 1.21/1.26 c | 480 | 2054 4073 53809 | 6655 480 85 | 20.171 % | 1.21/1.27 c | 817 | 2054 4073 53809 | 7320 817 98 | 20.171 % | 1.29/1.30 c | 1323 | 2050 4073 53809 | 8052 1323 119 | 20.365 % | 1.29/1.35 c | 2082 | 2049 4073 53809 | 8857 2082 136 | 20.365 % | 1.39/1.43 c | 3223 | 2049 4073 53809 | 9743 3223 153 | 20.365 % | 1.49/1.56 c | 4934 | 2049 4073 53809 | 10717 4934 170 | 20.365 % | 1.69/1.79 c | 7496 | 2048 4073 53809 | 11789 7496 179 | 20.404 % | 1.89/1.98 c =============================================================================== 1.99/2.01 c core #39 1.99/2.01 c 1.99/2.01 c 1.99/2.01 c Core size: 336 Core Weight: 1 Total Weight: 52 1.99/2.01 c Current CPU time: 1.87072 s 1.99/2.01 c 1.99/2.01 c ============================[ Search Statistics ]============================== 1.99/2.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.01 c =============================================================================== 1.99/2.01 c | 0 | 2516 4074 59892 | 5000 0 -nan | 0.000 % | 1.99/2.01 c | 100 | 2516 4074 59892 | 5500 100 51 | 13.450 % | 1.99/2.02 c | 251 | 2516 4074 59892 | 6050 251 50 | 13.450 % | 1.99/2.03 c | 477 | 2516 4074 59892 | 6655 477 61 | 13.450 % | 1.99/2.06 c | 814 | 2516 4074 59892 | 7320 814 88 | 13.450 % | 2.09/2.12 c | 1323 | 2516 4074 59892 | 8052 1323 127 | 13.450 % | 2.09/2.19 c | 2086 | 2516 4074 59892 | 8857 2086 178 | 13.450 % | 2.19/2.30 c | 3225 | 2516 4074 59892 | 9743 3225 190 | 13.450 % | 2.39/2.46 c | 4933 | 2516 4074 59892 | 10717 4933 177 | 13.450 % | 2.69/2.71 c | 7496 | 2516 4074 59892 | 11789 7496 165 | 13.450 % | 2.99/3.09 c | 11340 | 2516 4074 59892 | 12968 11340 176 | 13.450 % | 3.59/3.69 c | 17115 | 2516 4074 59892 | 14265 9901 196 | 13.450 % | 4.99/5.06 c | 25766 | 2516 4074 59892 | 15692 11140 220 | 13.450 % | 7.39/7.47 c | 38740 | 2516 4074 59892 | 17261 15990 246 | 13.450 % | 11.49/11.55 c | 58203 | 2516 4074 59892 | 18987 17420 245 | 13.450 % | 17.09/17.16 c | 87396 | 2516 4074 59892 | 20886 16812 233 | 13.450 % | 27.89/27.97 c | 131187 | 2516 4074 59892 | 22974 17158 307 | 13.450 % | 46.59/46.67 c | 196872 | 2516 4074 59892 | 25272 23576 297 | 13.450 % | 74.90/74.99 c | 295398 | 2516 4074 59892 | 27799 15615 301 | 13.450 % | 118.19/118.27 c | 443187 | 2516 4074 59892 | 30579 23280 350 | 13.450 % | 148.09/148.19 c =============================================================================== 152.09/152.17 c core #40 152.09/152.17 c 152.09/152.17 c 152.09/152.17 c Core size: 682 Core Weight: 1 Total Weight: 53 152.09/152.17 c Current CPU time: 149.332 s 152.09/152.17 c 152.09/152.17 c ============================[ Search Statistics ]============================== 152.09/152.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 152.09/152.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 152.09/152.17 c =============================================================================== 152.09/152.17 c | 0 | 3332 4075 67614 | 5000 0 -nan | 0.000 % | 152.09/152.18 c | 101 | 3332 4075 67614 | 5500 101 74 | 7.057 % | 152.09/152.19 c | 251 | 3332 4075 67614 | 6050 251 146 | 7.057 % | 152.19/152.21 c | 478 | 3332 4075 67614 | 6655 478 126 | 7.057 % | 152.19/152.25 c | 815 | 3332 4075 67614 | 7320 815 118 | 7.057 % | 152.19/152.28 c | 1321 | 3332 4075 67614 | 8052 1321 121 | 7.057 % | 152.40/152.41 c | 2080 | 3332 4075 67614 | 8857 2080 141 | 7.057 % | 152.49/152.51 c | 3220 | 3332 4075 67614 | 9743 3220 157 | 7.057 % | 152.59/152.68 c | 4928 | 3332 4075 67614 | 10717 4928 183 | 7.057 % | 153.09/153.11 c | 7491 | 3332 4075 67614 | 11789 7491 263 | 7.057 % | 154.30/154.33 c | 11337 | 3332 4075 67614 | 12968 11337 337 | 7.057 % | 155.21/155.23 c | 17114 | 3332 4075 67614 | 14265 10327 344 | 7.057 % | 157.19/157.30 c | 25763 | 3332 4075 67614 | 15692 11195 343 | 7.057 % | 162.29/162.37 c | 38739 | 3332 4075 67614 | 17261 15756 439 | 7.057 % | 169.90/169.90 c | 58200 | 3332 4075 67614 | 18987 17011 509 | 7.057 % | 182.71/182.78 c | 87392 | 3332 4075 67614 | 20886 16251 475 | 7.057 % | 200.39/200.43 c | 131181 | 3332 4075 67614 | 22974 15936 494 | 7.057 % | 229.09/229.18 c | 196865 | 3332 4075 67614 | 25272 21481 459 | 7.057 % | 275.00/275.08 c | 295391 | 3332 4075 67614 | 27799 25092 498 | 7.057 % | 324.30/324.37 c | 443182 | 3332 4075 67614 | 30579 27360 503 | 7.057 % | 424.00/424.04 c | 664870 | 3332 4075 67614 | 33637 21811 456 | 7.057 % | 564.42/564.42 c | 997398 | 3332 4075 67614 | 37001 31284 510 | 7.057 % | 817.90/817.97 c | 1496187 | 3332 4075 67614 | 40701 33086 553 | 7.057 % | 1144.47/1144.54 c | 2244371 | 3332 4075 67614 | 44771 17698 385 | 7.057 % | 1649.16/1649.29 c | 3366645 | 3332 4075 67614 | 49248 25128 579 | 7.057 % |
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-3460827-1307103825/watcher-3460827-1307103825 -o /tmp/evaluation-result-3460827-1307103825/solver-3460827-1307103825 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460827-1307103825.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.04 2.00 1/486 11480 /proc/meminfo: memFree=21524200/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=2856 CPUtime=0 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 358 0 0 0 0 0 0 0 21 0 1 0 554573751 2924544 311 33554432000 4194304 5714214 140733883063904 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 714 311 183 372 0 189 0 [startup+0.113962 s] /proc/loadavg: 2.01 2.04 2.00 1/486 11480 /proc/meminfo: memFree=21524200/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=4036 CPUtime=0.1 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 937 0 0 0 10 0 0 0 22 0 1 0 554573751 4132864 740 33554432000 4194304 5714214 140733883063904 18446744073709551615 4969593 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 1009 740 175 372 0 634 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4036 [startup+0.200945 s] /proc/loadavg: 2.01 2.04 2.00 1/486 11480 /proc/meminfo: memFree=21524200/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=4372 CPUtime=0.19 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 1041 0 0 0 19 0 0 0 18 0 1 0 554573751 4476928 844 33554432000 4194304 5714214 140733883063904 18446744073709551615 4345930 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 1093 844 180 372 0 718 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4372 [startup+0.30092 s] /proc/loadavg: 2.01 2.04 2.00 1/486 11480 /proc/meminfo: memFree=21524200/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=4372 CPUtime=0.29 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 1043 0 0 0 27 2 0 0 18 0 1 0 554573751 4476928 846 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 1093 846 180 372 0 718 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4372 [startup+0.700848 s] /proc/loadavg: 2.01 2.04 2.00 1/486 11480 /proc/meminfo: memFree=21524200/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=7208 CPUtime=0.69 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 1740 0 0 0 64 5 0 0 18 0 1 0 554573751 7380992 1543 33554432000 4194304 5714214 140733883063904 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 1802 1543 180 372 0 1427 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7208 [startup+1.50072 s] /proc/loadavg: 2.01 2.04 2.00 2/484 11525 /proc/meminfo: memFree=21522044/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=13416 CPUtime=1.49 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 3337 0 0 0 138 11 0 0 19 0 1 0 554573751 13737984 3115 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 3354 3115 180 372 0 2979 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13416 [startup+3.10042 s] /proc/loadavg: 2.01 2.04 2.00 3/489 11535 /proc/meminfo: memFree=21506020/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=14844 CPUtime=3.09 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 3671 0 0 0 289 20 0 0 18 0 1 0 554573751 15200256 3449 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 3711 3449 180 372 0 3336 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14844 [startup+6.30086 s] /proc/loadavg: 2.01 2.04 2.00 3/489 11535 /proc/meminfo: memFree=21485400/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=27556 CPUtime=6.29 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 6844 0 0 0 599 30 0 0 19 0 1 0 554573751 28217344 6622 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 6889 6622 180 372 0 6514 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 27556 [startup+12.7007 s] /proc/loadavg: 2.01 2.04 2.00 4/489 11536 /proc/meminfo: memFree=21457704/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=39652 CPUtime=12.69 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 9833 0 0 0 1223 46 0 0 25 0 1 0 554573751 40603648 9611 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319752 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 9913 9611 180 372 0 9538 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 39652 [startup+25.5005 s] /proc/loadavg: 2.00 2.03 2.00 4/489 11536 /proc/meminfo: memFree=21435764/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=56032 CPUtime=25.49 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 13876 0 0 0 2479 70 0 0 25 0 1 0 554573751 57376768 13654 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 14008 13654 180 372 0 13633 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 56032 [startup+51.101 s] /proc/loadavg: 2.00 2.03 2.00 3/489 11537 /proc/meminfo: memFree=21381232/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=87224 CPUtime=51.09 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 21572 0 0 0 4994 115 0 0 25 0 1 0 554573751 89317376 21350 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 21806 21350 180 372 0 21431 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 87224 [startup+102.301 s] /proc/loadavg: 2.04 2.04 2.00 3/489 11538 /proc/meminfo: memFree=21297628/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=131524 CPUtime=102.29 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 32584 0 0 0 10038 191 0 0 25 0 1 0 554573751 134680576 32362 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 32881 32362 180 372 0 32506 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 131524 [startup+162.3 s] /proc/loadavg: 2.01 2.03 2.00 3/489 11540 /proc/meminfo: memFree=21198760/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=183860 CPUtime=162.29 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 45722 0 0 0 15946 283 0 0 25 0 1 0 554573751 188272640 45438 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 45965 45438 180 372 0 45590 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 183860 [startup+222.318 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11541 /proc/meminfo: memFree=21148504/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=183860 CPUtime=222.31 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 45851 0 0 0 21861 370 0 0 25 0 1 0 554573751 188272640 45567 33554432000 4194304 5714214 140733883063904 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 45965 45567 180 372 0 45590 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 183860 [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.00 4/489 11543 /proc/meminfo: memFree=21123920/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=183860 CPUtime=282.3 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 45904 0 0 0 27782 448 0 0 25 0 1 0 554573751 188272640 45620 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 45965 45620 180 372 0 45590 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 183860 [startup+342.301 s] /proc/loadavg: 2.00 2.01 2.00 3/489 11544 /proc/meminfo: memFree=21085688/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=183860 CPUtime=342.29 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 45987 0 0 0 33697 532 0 0 25 0 1 0 554573751 188272640 45703 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 45965 45703 180 372 0 45590 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 183860 [startup+402.301 s] /proc/loadavg: 2.00 2.00 2.00 3/489 11546 /proc/meminfo: memFree=21022548/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=210952 CPUtime=402.3 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 52717 0 0 0 39617 613 0 0 25 0 1 0 554573751 216014848 52433 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 52738 52433 180 372 0 52363 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 210952 [startup+462.301 s] /proc/loadavg: 2.13 2.03 2.01 3/489 11548 /proc/meminfo: memFree=20964588/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=237572 CPUtime=462.3 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 59304 0 0 0 45535 695 0 0 25 0 1 0 554573751 243273728 59020 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 59393 59020 180 372 0 59018 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 237572 [startup+522.301 s] /proc/loadavg: 2.11 2.04 2.01 3/489 11549 /proc/meminfo: memFree=20896096/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=273536 CPUtime=522.3 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 68262 0 0 0 51462 768 0 0 25 0 1 0 554573751 280100864 67978 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 68384 67978 180 372 0 68009 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 273536 [startup+582.3 s] /proc/loadavg: 2.15 2.06 2.01 3/489 11551 /proc/meminfo: memFree=20839532/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=307032 CPUtime=582.3 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 76566 0 0 0 57379 851 0 0 25 0 1 0 554573751 314400768 76282 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 76758 76282 180 372 0 76383 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 307032 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.03 2.00 3/489 11557 /proc/meminfo: memFree=20541464/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=457468 CPUtime=822.3 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 113603 0 0 0 81136 1094 0 0 25 0 1 0 554573751 468447232 113319 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 114367 113319 180 372 0 113992 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 457468 [startup+882.318 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11559 /proc/meminfo: memFree=20507328/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=469896 CPUtime=882.32 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 116683 0 0 0 87067 1165 0 0 25 0 1 0 554573751 481173504 116399 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 117474 116399 180 372 0 117099 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 469896 [startup+942.301 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11560 /proc/meminfo: memFree=20445052/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=514292 CPUtime=942.31 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 127758 0 0 0 92974 1257 0 0 25 0 1 0 554573751 526635008 127474 33554432000 4194304 5714214 140733883063904 18446744073709551615 4310968 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 128573 127474 180 372 0 128198 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 514292 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 11562 /proc/meminfo: memFree=20381016/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=548220 CPUtime=1002.31 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 136172 0 0 0 98917 1314 0 0 25 0 1 0 554573751 561377280 135888 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/11480/statm: 137055 135888 180 372 0 136680 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 548220 [startup+1062.3 s] /proc/loadavg: 2.07 2.03 2.01 3/489 11564 /proc/meminfo: memFree=20350244/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=561328 CPUtime=1062.27 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 139403 0 0 0 104859 1368 0 0 25 0 1 0 554573751 574799872 139119 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 140332 139119 180 372 0 139957 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 561328 [startup+1122.3 s] /proc/loadavg: 2.14 2.05 2.01 3/489 11565 /proc/meminfo: memFree=20288224/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=587712 CPUtime=1122.27 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 145896 0 0 0 110777 1450 0 0 25 0 1 0 554573751 601817088 145612 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319832 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 146928 145612 180 372 0 146553 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 587712 [startup+1182.3 s] /proc/loadavg: 2.12 2.06 2.01 4/489 11567 /proc/meminfo: memFree=20109876/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=635588 CPUtime=1182.27 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 157837 0 0 0 116686 1541 0 0 25 0 1 0 554573751 650842112 157553 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 158897 157553 180 372 0 158522 0 Current children cumulated CPU time (s) 1182.27 Current children cumulated vsize (KiB) 635588 [startup+1242.3 s] /proc/loadavg: 2.04 2.05 2.00 3/489 11568 /proc/meminfo: memFree=20080436/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=662364 CPUtime=1242.27 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 164476 0 0 0 122599 1628 0 0 25 0 1 0 554573751 678260736 164192 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 165591 164192 180 372 0 165216 0 Current children cumulated CPU time (s) 1242.27 Current children cumulated vsize (KiB) 662364 [startup+1302.3 s] /proc/loadavg: 2.01 2.03 2.00 3/489 11570 /proc/meminfo: memFree=20031056/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=710264 CPUtime=1302.27 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 176424 0 0 0 128517 1710 0 0 25 0 1 0 554573751 727310336 176140 33554432000 4194304 5714214 140733883063904 18446744073709551615 4311848 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 177566 176140 180 372 0 177191 0 Current children cumulated CPU time (s) 1302.27 Current children cumulated vsize (KiB) 710264 [startup+1362.3 s] /proc/loadavg: 2.00 2.03 2.00 3/489 11572 /proc/meminfo: memFree=20001504/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=741312 CPUtime=1362.26 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 184201 0 0 0 134457 1769 0 0 25 0 1 0 554573751 759103488 183917 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 185328 183917 180 372 0 184953 0 Current children cumulated CPU time (s) 1362.26 Current children cumulated vsize (KiB) 741312 [startup+1422.3 s] /proc/loadavg: 2.00 2.02 2.00 3/489 11573 /proc/meminfo: memFree=19990788/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=751308 CPUtime=1422.26 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 186674 0 0 0 140399 1827 0 0 25 0 1 0 554573751 769339392 186390 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 187827 186390 180 372 0 187452 0 Current children cumulated CPU time (s) 1422.26 Current children cumulated vsize (KiB) 751308 [startup+1482.3 s] /proc/loadavg: 2.00 2.01 2.00 3/489 11575 /proc/meminfo: memFree=19976996/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=763876 CPUtime=1482.27 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 189799 0 0 0 146319 1908 0 0 25 0 1 0 554573751 782209024 189515 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 190969 189515 180 372 0 190594 0 Current children cumulated CPU time (s) 1482.27 Current children cumulated vsize (KiB) 763876 [startup+1542.32 s] /proc/loadavg: 2.00 2.01 2.00 3/489 11576 /proc/meminfo: memFree=19937756/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=802524 CPUtime=1542.28 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 199495 0 0 0 152243 1985 0 0 25 0 1 0 554573751 821784576 199211 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 200631 199211 180 372 0 200256 0 Current children cumulated CPU time (s) 1542.28 Current children cumulated vsize (KiB) 802524 [startup+1602.3 s] /proc/loadavg: 2.05 2.02 2.00 3/489 11578 /proc/meminfo: memFree=19899536/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=840644 CPUtime=1602.27 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 208941 0 0 0 158170 2057 0 0 25 0 1 0 554573751 860819456 208657 33554432000 4194304 5714214 140733883063904 18446744073709551615 4323063 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 210161 208657 180 372 0 209786 0 Current children cumulated CPU time (s) 1602.27 Current children cumulated vsize (KiB) 840644 [startup+1662.3 s] /proc/loadavg: 2.06 2.03 2.00 3/489 11580 /proc/meminfo: memFree=19830688/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=909560 CPUtime=1662.26 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 226137 0 0 0 164090 2136 0 0 25 0 1 0 554573751 931389440 225853 33554432000 4194304 5714214 140733883063904 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 227390 225853 180 372 0 227015 0 Current children cumulated CPU time (s) 1662.26 Current children cumulated vsize (KiB) 909560 [startup+1722.3 s] /proc/loadavg: 2.10 2.05 2.01 4/489 11581 /proc/meminfo: memFree=19814288/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=925684 CPUtime=1722.27 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 230141 0 0 0 170016 2211 0 0 25 0 1 0 554573751 947900416 229857 33554432000 4194304 5714214 140733883063904 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 231421 229857 180 372 0 231046 0 Current children cumulated CPU time (s) 1722.27 Current children cumulated vsize (KiB) 925684 [startup+1782.3 s] /proc/loadavg: 2.07 2.05 2.01 3/489 11583 /proc/meminfo: memFree=19794412/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=943268 CPUtime=1782.27 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 234506 0 0 0 175953 2274 0 0 25 0 1 0 554573751 965906432 234222 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 235817 234222 180 372 0 235442 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (KiB) 943268 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.05 2.05 2.00 3/489 11583 /proc/meminfo: memFree=19787948/32951124 swapFree=46575304/67111528 [pid=11480] ppid=11478 vsize=950132 CPUtime=1800.07 cores=1,3,5,7 /proc/11480/stat : 11480 (wbo1.6) R 11478 11480 5006 0 -1 4202496 236255 0 0 0 177711 2296 0 0 25 0 1 0 554573751 972935168 235971 33554432000 4194304 5714214 140733883063904 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/11480/statm: 237533 235971 180 372 0 237158 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 950132 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.16 CPU time (s): 1800.13 CPU user time (s): 1777.13 CPU system time (s): 23.0015 CPU usage (%): 99.9986 Max. virtual memory (cumulated for all children) (KiB): 950132 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1777.13 system time used= 23.0015 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 236255 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= 15 involuntary context switches= 3268 runsolver used 8.06977 second user time and 19.779 second system time The end
Begin job on node107 at 2011-06-03 14:23:45 IDJOB=3460827 IDBENCH=2876 IDSOLVER=1953 FILE ID=node107/3460827-1307103825 RUNJOBID= node107-1307093011-10828 PBS_JOBID= 13497967 Free space on /tmp= 73860 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-alu2.b.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3460827-1307103825/watcher-3460827-1307103825 -o /tmp/evaluation-result-3460827-1307103825/solver-3460827-1307103825 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3460827-1307103825.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a793af2f16b39bdc1dda733b5326bfb4 RANDOM SEED=1634321499 node107.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.829 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.65 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.829 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 : 5332.75 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.829 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.67 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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 : 5359.47 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.829 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.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21524348 kB Buffers: 309960 kB Cached: 2060504 kB SwapCached: 22548 kB Active: 9127140 kB Inactive: 1950256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21524348 kB SwapTotal: 67111528 kB SwapFree: 46575304 kB Dirty: 4672 kB Writeback: 0 kB AnonPages: 8701880 kB Mapped: 32720 kB Slab: 185728 kB PageTables: 94440 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 145112364 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= 73856 MiB End job on node107 at 2011-06-03 14:53:47