Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1543.65 | 1544.47 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-duke2.b.opb |
MD5SUM | ad998dfe89909927555ae6165c9e8c9e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 70 |
Best CPU time to get the best result obtained on this benchmark | 35.1127 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 70 |
Optimality of the best value was proved | NO |
Number of variables | 1821 |
Total number of constraints | 4706 |
Number of constraints which are clauses | 4706 |
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 | 382 |
Number of terms in the objective function | 1821 |
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 | 1821 |
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 | 1821 |
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875571-1245173874.opb. 0.00/0.00 c Instance file HOME/instance-1875571-1245173874.opb 0.00/0.00 c File size is 1231942 bytes. 0.10/0.16 c Highest Coefficient sum: 383 0.10/0.16 c ============================[ Problem Statistics ]============================= 0.10/0.16 c | | 0.10/0.16 c | Parsing time: 0.17 s | 0.10/0.16 c | Number Variables: 1821 | 0.10/0.16 c | Number Clauses: 6527 | 0.10/0.16 c | Number Cardinality: 0 | 0.10/0.16 c | Number PB Constraints: 0 | 0.10/0.16 c core #1 0.10/0.16 c Core size: 60 Core Weight: 1 Total Weight: 1 0.10/0.16 c Elapsed CPU time: 0.165974 s Remaining CPU time: 1799.83 s 0.10/0.18 c core #2 0.10/0.18 c Core size: 149 Core Weight: 1 Total Weight: 2 0.10/0.18 c Elapsed CPU time: 0.181972 s Remaining CPU time: 1799.82 s 0.10/0.20 c core #3 0.10/0.20 c Core size: 2 Core Weight: 1 Total Weight: 3 0.10/0.20 c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s 0.19/0.21 c core #4 0.19/0.21 c Core size: 2 Core Weight: 1 Total Weight: 4 0.19/0.21 c Elapsed CPU time: 0.211967 s Remaining CPU time: 1799.79 s 0.19/0.23 c core #5 0.19/0.23 c Core size: 2 Core Weight: 1 Total Weight: 5 0.19/0.23 c Elapsed CPU time: 0.231964 s Remaining CPU time: 1799.77 s 0.19/0.25 c core #6 0.19/0.25 c Core size: 28 Core Weight: 1 Total Weight: 6 0.19/0.25 c Elapsed CPU time: 0.251961 s Remaining CPU time: 1799.75 s 0.19/0.27 c core #7 0.19/0.27 c Core size: 15 Core Weight: 1 Total Weight: 7 0.19/0.27 c Elapsed CPU time: 0.270958 s Remaining CPU time: 1799.73 s 0.19/0.29 c core #8 0.19/0.29 c Core size: 28 Core Weight: 1 Total Weight: 8 0.19/0.29 c Elapsed CPU time: 0.287956 s Remaining CPU time: 1799.71 s 0.29/0.31 c core #9 0.29/0.31 c Core size: 23 Core Weight: 1 Total Weight: 9 0.29/0.31 c Elapsed CPU time: 0.307953 s Remaining CPU time: 1799.69 s 0.29/0.33 c core #10 0.29/0.33 c Core size: 4 Core Weight: 1 Total Weight: 10 0.29/0.33 c Elapsed CPU time: 0.32795 s Remaining CPU time: 1799.67 s 0.29/0.35 c core #11 0.29/0.35 c Core size: 2 Core Weight: 1 Total Weight: 11 0.29/0.35 c Elapsed CPU time: 0.348946 s Remaining CPU time: 1799.65 s 0.29/0.37 c core #12 0.29/0.37 c Core size: 2 Core Weight: 1 Total Weight: 12 0.29/0.37 c Elapsed CPU time: 0.368943 s Remaining CPU time: 1799.63 s 0.29/0.39 c core #13 0.29/0.39 c Core size: 13 Core Weight: 1 Total Weight: 13 0.29/0.39 c Elapsed CPU time: 0.38894 s Remaining CPU time: 1799.61 s 0.39/0.41 c core #14 0.39/0.41 c Core size: 25 Core Weight: 1 Total Weight: 14 0.39/0.41 c Elapsed CPU time: 0.408937 s Remaining CPU time: 1799.59 s 0.39/0.43 c core #15 0.39/0.43 c Core size: 5 Core Weight: 1 Total Weight: 15 0.39/0.43 c Elapsed CPU time: 0.428934 s Remaining CPU time: 1799.57 s 0.39/0.45 c core #16 0.39/0.45 c Core size: 2 Core Weight: 1 Total Weight: 16 0.39/0.45 c Elapsed CPU time: 0.448931 s Remaining CPU time: 1799.55 s 0.39/0.47 c core #17 0.39/0.47 c Core size: 19 Core Weight: 1 Total Weight: 17 0.39/0.47 c Elapsed CPU time: 0.468928 s Remaining CPU time: 1799.53 s 0.39/0.49 c core #18 0.39/0.49 c Core size: 2 Core Weight: 1 Total Weight: 18 0.39/0.49 c Elapsed CPU time: 0.489925 s Remaining CPU time: 1799.51 s 0.49/0.51 c core #19 0.49/0.51 c Core size: 2 Core Weight: 1 Total Weight: 19 0.49/0.51 c Elapsed CPU time: 0.509922 s Remaining CPU time: 1799.49 s 0.49/0.53 c core #20 0.49/0.53 c Core size: 33 Core Weight: 1 Total Weight: 20 0.49/0.53 c Elapsed CPU time: 0.530919 s Remaining CPU time: 1799.47 s 0.49/0.55 c core #21 0.49/0.55 c Core size: 2 Core Weight: 1 Total Weight: 21 0.49/0.55 c Elapsed CPU time: 0.550916 s Remaining CPU time: 1799.45 s 0.49/0.57 c core #22 0.49/0.57 c Core size: 2 Core Weight: 1 Total Weight: 22 0.49/0.57 c Elapsed CPU time: 0.571913 s Remaining CPU time: 1799.43 s 0.49/0.59 c core #23 0.49/0.59 c Core size: 2 Core Weight: 1 Total Weight: 23 0.49/0.59 c Elapsed CPU time: 0.592909 s Remaining CPU time: 1799.41 s 0.59/0.61 c core #24 0.59/0.61 c Core size: 23 Core Weight: 1 Total Weight: 24 0.59/0.61 c Elapsed CPU time: 0.609907 s Remaining CPU time: 1799.39 s 0.59/0.63 c core #25 0.59/0.63 c Core size: 35 Core Weight: 1 Total Weight: 25 0.59/0.63 c Elapsed CPU time: 0.629904 s Remaining CPU time: 1799.37 s 0.59/0.65 c core #26 0.59/0.65 c Core size: 3 Core Weight: 1 Total Weight: 26 0.59/0.65 c Elapsed CPU time: 0.646901 s Remaining CPU time: 1799.35 s 0.59/0.67 c core #27 0.59/0.67 c Core size: 2 Core Weight: 1 Total Weight: 27 0.59/0.67 c Elapsed CPU time: 0.667898 s Remaining CPU time: 1799.33 s 0.59/0.69 c core #28 0.59/0.69 c Core size: 2 Core Weight: 1 Total Weight: 28 0.59/0.69 c Elapsed CPU time: 0.688895 s Remaining CPU time: 1799.31 s 0.69/0.71 c core #29 0.69/0.71 c Core size: 2 Core Weight: 1 Total Weight: 29 0.69/0.71 c Elapsed CPU time: 0.709892 s Remaining CPU time: 1799.29 s 0.69/0.73 c core #30 0.69/0.73 c Core size: 2 Core Weight: 1 Total Weight: 30 0.69/0.73 c Elapsed CPU time: 0.730888 s Remaining CPU time: 1799.27 s 0.69/0.75 c core #31 0.69/0.75 c Core size: 5 Core Weight: 1 Total Weight: 31 0.69/0.75 c Elapsed CPU time: 0.750885 s Remaining CPU time: 1799.25 s 0.69/0.77 c core #32 0.69/0.77 c Core size: 39 Core Weight: 1 Total Weight: 32 0.69/0.77 c Elapsed CPU time: 0.768883 s Remaining CPU time: 1799.23 s 0.69/0.79 c core #33 0.69/0.79 c Core size: 5 Core Weight: 1 Total Weight: 33 0.69/0.79 c Elapsed CPU time: 0.78588 s Remaining CPU time: 1799.21 s 0.79/0.80 c core #34 0.79/0.80 c Core size: 2 Core Weight: 1 Total Weight: 34 0.79/0.80 c Elapsed CPU time: 0.802877 s Remaining CPU time: 1799.2 s 0.79/0.82 c core #35 0.79/0.82 c Core size: 3 Core Weight: 1 Total Weight: 35 0.79/0.82 c Elapsed CPU time: 0.823874 s Remaining CPU time: 1799.18 s 0.79/0.84 c core #36 0.79/0.84 c Core size: 2 Core Weight: 1 Total Weight: 36 0.79/0.84 c Elapsed CPU time: 0.844871 s Remaining CPU time: 1799.16 s 0.79/0.87 c core #37 0.79/0.87 c Core size: 2 Core Weight: 1 Total Weight: 37 0.79/0.87 c Elapsed CPU time: 0.865868 s Remaining CPU time: 1799.13 s 0.79/0.89 c core #38 0.79/0.89 c Core size: 8 Core Weight: 1 Total Weight: 38 0.79/0.89 c Elapsed CPU time: 0.886865 s Remaining CPU time: 1799.11 s 0.89/0.91 c core #39 0.89/0.91 c Core size: 11 Core Weight: 1 Total Weight: 39 0.89/0.91 c Elapsed CPU time: 0.907861 s Remaining CPU time: 1799.09 s 0.89/0.93 c core #40 0.89/0.93 c Core size: 40 Core Weight: 1 Total Weight: 40 0.89/0.93 c Elapsed CPU time: 0.928858 s Remaining CPU time: 1799.07 s 0.89/0.95 c core #41 0.89/0.95 c Core size: 2 Core Weight: 1 Total Weight: 41 0.89/0.95 c Elapsed CPU time: 0.945856 s Remaining CPU time: 1799.05 s 0.89/0.97 c core #42 0.89/0.97 c Core size: 6 Core Weight: 1 Total Weight: 42 0.89/0.97 c Elapsed CPU time: 0.967852 s Remaining CPU time: 1799.03 s 0.89/0.99 c core #43 0.89/0.99 c Core size: 4 Core Weight: 1 Total Weight: 43 0.89/0.99 c Elapsed CPU time: 0.988849 s Remaining CPU time: 1799.01 s 1.00/1.01 c core #44 1.00/1.01 c Core size: 40 Core Weight: 1 Total Weight: 44 1.00/1.01 c Elapsed CPU time: 1.00685 s Remaining CPU time: 1798.99 s 1.00/1.02 c core #45 1.00/1.02 c Core size: 34 Core Weight: 1 Total Weight: 45 1.00/1.02 c Elapsed CPU time: 1.02484 s Remaining CPU time: 1798.98 s 1.00/1.05 c core #46 1.00/1.05 c Core size: 23 Core Weight: 1 Total Weight: 46 1.00/1.05 c Elapsed CPU time: 1.04684 s Remaining CPU time: 1798.95 s 1.00/1.07 c core #47 1.00/1.07 c Core size: 30 Core Weight: 1 Total Weight: 47 1.00/1.07 c Elapsed CPU time: 1.06884 s Remaining CPU time: 1798.93 s 1.00/1.09 c core #48 1.00/1.09 c Core size: 48 Core Weight: 1 Total Weight: 48 1.00/1.09 c Elapsed CPU time: 1.09083 s Remaining CPU time: 1798.91 s 1.10/1.11 c core #49 1.10/1.11 c Core size: 37 Core Weight: 1 Total Weight: 49 1.10/1.11 c Elapsed CPU time: 1.11183 s Remaining CPU time: 1798.89 s 1.10/1.13 c ============================[ Search Statistics ]============================== 1.10/1.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 1400 6576 73122 | 5000 0 nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c core #50 1.10/1.13 c Core size: 79 Core Weight: 1 Total Weight: 50 1.10/1.13 c Elapsed CPU time: 1.13283 s Remaining CPU time: 1798.87 s 1.10/1.15 c Learning 2 hard constraints 1.10/1.15 c ============================[ Search Statistics ]============================== 1.10/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.15 c =============================================================================== 1.10/1.15 c | 0 | 1465 6579 73282 | 5000 0 nan | 0.000 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c core #51 1.10/1.16 c Core size: 49 Core Weight: 1 Total Weight: 51 1.10/1.16 c Elapsed CPU time: 1.15782 s Remaining CPU time: 1798.84 s 1.10/1.18 c Learning 1 hard constraints 1.10/1.18 c ============================[ Search Statistics ]============================== 1.10/1.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.10/1.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.10/1.18 c =============================================================================== 1.10/1.18 c | 0 | 1518 6581 73756 | 5000 0 nan | 0.000 % | 1.10/1.18 c =============================================================================== 1.10/1.18 c core #52 1.10/1.18 c Core size: 23 Core Weight: 1 Total Weight: 52 1.10/1.18 c Elapsed CPU time: 1.18182 s Remaining CPU time: 1798.82 s 1.19/1.20 c ============================[ Search Statistics ]============================== 1.19/1.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.20 c =============================================================================== 1.19/1.20 c | 0 | 1545 6582 74325 | 5000 0 nan | 0.000 % | 1.19/1.21 c | 100 | 1545 6582 74325 | 5500 100 52 | 42.905 % | 1.19/1.22 c | 250 | 1542 6582 74325 | 6050 250 77 | 43.016 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c core #53 1.19/1.23 c Core size: 260 Core Weight: 1 Total Weight: 53 1.19/1.23 c Elapsed CPU time: 1.22381 s Remaining CPU time: 1798.78 s 1.19/1.25 c Learning 1 hard constraints 1.19/1.25 c ============================[ Search Statistics ]============================== 1.19/1.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.25 c =============================================================================== 1.19/1.25 c | 0 | 1877 6584 80766 | 5000 0 nan | 0.000 % | 1.19/1.26 c | 100 | 1875 6584 80766 | 5500 100 62 | 35.975 % | 1.19/1.29 c | 255 | 1875 6584 80766 | 6050 255 94 | 35.975 % | 1.29/1.34 c | 480 | 1875 6584 80766 | 6655 480 108 | 35.975 % | 1.39/1.40 c | 824 | 1874 6584 80766 | 7320 822 131 | 35.975 % | 1.39/1.44 c =============================================================================== 1.39/1.45 c core #54 1.39/1.45 c Core size: 545 Core Weight: 1 Total Weight: 54 1.39/1.45 c Elapsed CPU time: 1.43978 s Remaining CPU time: 1798.56 s 1.39/1.47 c Learning 3 hard constraints 1.39/1.47 c ============================[ Search Statistics ]============================== 1.39/1.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.47 c =============================================================================== 1.39/1.47 c | 0 | 2467 6588 93040 | 5000 0 nan | 0.000 % | 1.39/1.48 c | 102 | 2467 6588 93040 | 5500 102 183 | 26.292 % | 1.49/1.54 c | 253 | 2467 6588 93040 | 6050 253 237 | 26.292 % | 1.59/1.62 c | 478 | 2467 6588 93040 | 6655 478 236 | 26.292 % | 1.69/1.78 c | 818 | 2467 6588 93040 | 7320 818 280 | 26.292 % | 1.89/1.97 c | 1325 | 2467 6588 93040 | 8052 1325 271 | 26.292 % | 2.39/2.41 c | 2087 | 2467 6588 93040 | 8857 2087 254 | 26.292 % | 2.89/2.99 c | 3227 | 2467 6588 93040 | 9743 3227 252 | 26.292 % | 3.69/3.71 c | 4937 | 2467 6588 93040 | 10717 4937 258 | 26.292 % | 5.09/5.19 c | 7499 | 2467 6588 93040 | 11789 7499 297 | 26.292 % | 8.58/8.64 c | 11347 | 2467 6588 93040 | 12968 11347 341 | 26.292 % | 14.68/14.74 c | 17115 | 2467 6588 93040 | 14265 10094 352 | 26.292 % | 23.08/23.15 c | 25766 | 2467 6588 93040 | 15692 10976 323 | 26.292 % | 26.28/26.39 c =============================================================================== 26.67/26.74 c core #55 26.67/26.74 c Core size: 1198 Core Weight: 1 Total Weight: 55 26.67/26.74 c Elapsed CPU time: 26.511 s Remaining CPU time: 1773.49 s 26.78/26.80 c Learning 4 hard constraints 26.78/26.80 c ============================[ Search Statistics ]============================== 26.78/26.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.78/26.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.78/26.80 c =============================================================================== 26.78/26.80 c | 0 | 3639 6593 109523 | 5000 0 nan | 0.000 % | 26.78/26.82 c | 100 | 3639 6593 109523 | 5500 100 142 | 14.658 % | 26.78/26.86 c | 250 | 3639 6593 109523 | 6050 250 107 | 14.658 % | 26.97/27.00 c | 475 | 3639 6593 109523 | 6655 475 154 | 14.658 % | 27.07/27.16 c | 815 | 3639 6593 109523 | 7320 815 177 | 14.658 % | 27.27/27.34 c | 1323 | 3637 6593 109523 | 8052 1322 161 | 14.705 % | 28.17/28.30 c | 2082 | 3637 6593 109523 | 8857 2081 267 | 14.705 % | 29.17/29.22 c | 3221 | 3637 6593 109523 | 9743 3220 269 | 14.705 % | 30.17/30.27 c | 4930 | 3637 6593 109523 | 10717 4929 267 | 14.705 % | 33.97/34.05 c | 7494 | 3637 6593 109523 | 11789 7493 354 | 14.705 % | 38.26/38.39 c | 11338 | 3637 6593 109523 | 12968 11337 388 | 14.705 % | 43.96/44.07 c | 17104 | 3637 6593 109523 | 14265 10144 337 | 14.705 % | 55.96/56.09 c | 25753 | 3637 6593 109523 | 15692 11161 221 | 14.705 % | 70.05/70.17 c | 38729 | 3637 6593 109523 | 17261 15746 245 | 14.705 % | 84.64/84.79 c | 58191 | 3637 6593 109523 | 18987 16862 118 | 14.705 % | 116.03/116.16 c | 87385 | 3637 6593 109523 | 20886 16224 283 | 14.705 % | 162.90/163.09 c | 131174 | 3611 6593 109523 | 22974 16273 279 | 15.314 % | 238.85/239.08 c | 196858 | 3611 6593 109523 | 25272 22049 302 | 15.314 % | 326.20/326.46 c =============================================================================== 330.10/330.36 c core #56 330.10/330.36 c Core size: 1251 Core Weight: 1 Total Weight: 56 330.10/330.36 c Elapsed CPU time: 327.98 s Remaining CPU time: 1472.02 s 330.40/330.68 c Learning 8 hard constraints 330.40/330.68 c ============================[ Search Statistics ]============================== 330.40/330.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 330.40/330.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 330.40/330.68 c =============================================================================== 330.40/330.68 c | 0 | 4669 6602 117338 | 5000 0 nan | 0.000 % | 330.50/330.76 c | 100 | 4669 6602 117338 | 5500 100 206 | 9.865 % | 330.50/330.78 c | 250 | 4666 6602 117338 | 6050 250 115 | 9.942 % | 330.60/330.88 c | 475 | 4666 6602 117338 | 6655 475 103 | 9.942 % | 330.90/331.19 c | 820 | 4665 6602 117338 | 7320 818 155 | 9.942 % | 331.49/331.70 c | 1326 | 4665 6602 117338 | 8052 1324 169 | 9.942 % | 332.20/332.42 c | 2086 | 4665 6602 117338 | 8857 2084 177 | 9.942 % | 332.80/333.07 c | 3227 | 4665 6602 117338 | 9743 3225 208 | 9.942 % | 333.59/333.89 c | 4937 | 4665 6602 117338 | 10717 4935 216 | 9.942 % | 334.90/335.12 c | 7504 | 4665 6602 117338 | 11789 7502 192 | 9.942 % | 338.50/338.73 c | 11357 | 4665 6602 117338 | 12968 11355 230 | 9.942 % | 342.79/343.08 c | 17124 | 4665 6602 117338 | 14265 10277 274 | 9.942 % | 355.49/355.71 c | 25773 | 4665 6602 117338 | 15692 11180 418 | 9.942 % | 364.28/364.51 c | 38747 | 4665 6602 117338 | 17261 15915 210 | 9.942 % | 390.07/390.35 c | 58210 | 4665 6602 117338 | 18987 16979 282 | 9.942 % | 430.16/430.40 c | 87402 | 4665 6602 117338 | 20886 15528 415 | 9.942 % | 491.51/491.85 c | 131191 | 4665 6602 117338 | 22974 15087 368 | 9.942 % | 600.16/600.51 c | 196875 | 4665 6602 117338 | 25272 19963 627 | 9.942 % | 751.09/751.58 c | 295406 | 4665 6602 117338 | 27799 18119 454 | 9.942 % | 1088.42/1089.04 c | 443199 | 4665 6602 117338 | 30579 21839 500 | 9.942 % | 1541.88/1542.75 c | 664884 | 4665 6602 117338 | 33637 18511 420 | 9.942 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875571-1245173874/watcher-1875571-1245173874 -o /tmp/evaluation-result-1875571-1245173874/solver-1875571-1245173874 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875571-1245173874.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8468 /proc/meminfo: memFree=1910680/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=4056 CPUtime=0 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 70120353 4153344 251 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 1014 251 128 292 0 418 0 [startup+0.038681 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8468 /proc/meminfo: memFree=1910680/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=4188 CPUtime=0.03 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 362 0 0 0 3 0 0 0 18 0 1 0 70120353 4288512 346 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 1047 346 188 292 0 451 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 4188 [startup+0.101693 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8468 /proc/meminfo: memFree=1910680/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=4452 CPUtime=0.1 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 545 0 0 0 10 0 0 0 18 0 1 0 70120353 4558848 529 1992294400 134512640 135709839 4294956240 18446744073709551615 134548115 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 1113 529 302 292 0 517 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 4452 [startup+0.301733 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8468 /proc/meminfo: memFree=1910680/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=4780 CPUtime=0.29 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 1069 0 0 0 29 0 0 0 19 0 1 0 70120353 4894720 752 1992294400 134512640 135709839 4294956240 18446744073709551615 134607563 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 1195 752 133 292 0 900 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4780 [startup+0.702812 s] /proc/loadavg: 1.00 1.00 1.00 3/64 8468 /proc/meminfo: memFree=1910680/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=4716 CPUtime=0.69 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 1087 0 0 0 69 0 0 0 23 0 1 0 70120353 4829184 757 1992294400 134512640 135709839 4294956240 18446744073709551615 134530651 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 1179 757 133 292 0 884 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4716 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1908048/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=6104 CPUtime=1.49 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 1468 0 0 0 148 1 0 0 25 0 1 0 70120353 6250496 1098 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 1526 1098 136 292 0 1231 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6104 [startup+3.10129 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1906000/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=8876 CPUtime=3.09 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 2159 0 0 0 306 3 0 0 25 0 1 0 70120353 9089024 1789 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 2219 1789 136 292 0 1924 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8876 [startup+6.30194 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1896464/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=18248 CPUtime=6.29 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 4497 0 0 0 622 7 0 0 25 0 1 0 70120353 18685952 4127 1992294400 134512640 135709839 4294956240 18446744073709551615 134579046 0 0 4096 3 0 0 0 17 1 0 0 /proc/8468/statm: 4562 4127 136 292 0 4267 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18248 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1882448/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=31720 CPUtime=12.68 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 7864 0 0 0 1257 11 0 0 25 0 1 0 70120353 32481280 7494 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 7930 7494 136 292 0 7635 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 31720 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1856976/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=56600 CPUtime=25.48 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 14089 0 0 0 2527 21 0 0 25 0 1 0 70120353 57958400 13719 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 14150 13719 136 292 0 13855 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56600 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1835216/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=78320 CPUtime=51.06 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 19486 0 0 0 5068 38 0 0 25 0 1 0 70120353 80199680 19116 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 19580 19116 136 292 0 19285 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 78320 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1774864/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=137980 CPUtime=102.23 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 34386 0 0 0 10148 75 0 0 25 0 1 0 70120353 141291520 34016 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 34495 34016 136 292 0 34200 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 137980 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1684752/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=228596 CPUtime=162.19 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 57049 0 0 0 16101 118 0 0 25 0 1 0 70120353 234082304 56679 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 57149 56679 136 292 0 56854 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 228596 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1602128/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=310384 CPUtime=222.16 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 77498 0 0 0 22060 156 0 0 25 0 1 0 70120353 317833216 77128 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 77596 77128 136 292 0 77301 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 310384 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1529104/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=384240 CPUtime=282.12 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 95939 0 0 0 28021 191 0 0 25 0 1 0 70120353 393461760 95569 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 96060 95569 136 292 0 95765 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 384240 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1465872/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=445844 CPUtime=342.1 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 111424 0 0 0 33977 233 0 0 25 0 1 0 70120353 456544256 111004 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 111461 111004 136 292 0 111166 0 Current children cumulated CPU time (s) 342.1 Current children cumulated vsize (KiB) 445844 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1465808/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=445844 CPUtime=402.07 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 111448 0 0 0 39934 273 0 0 25 0 1 0 70120353 456544256 111028 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 111461 111028 136 292 0 111166 0 Current children cumulated CPU time (s) 402.07 Current children cumulated vsize (KiB) 445844 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1409616/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=502496 CPUtime=462.03 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 125602 0 0 0 45890 313 0 0 25 0 1 0 70120353 514555904 125182 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 125624 125183 136 292 0 125329 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 502496 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1346704/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=565680 CPUtime=522 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 141385 0 0 0 51856 344 0 0 25 0 1 0 70120353 579256320 140965 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 141420 140965 136 292 0 141125 0 Current children cumulated CPU time (s) 522 Current children cumulated vsize (KiB) 565680 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1256784/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=655136 CPUtime=581.98 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 163738 0 0 0 57823 375 0 0 25 0 1 0 70120353 670859264 163318 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 163784 163318 136 292 0 163489 0 Current children cumulated CPU time (s) 581.98 Current children cumulated vsize (KiB) 655136 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1144272/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=766760 CPUtime=641.95 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 191667 0 0 0 63774 421 0 0 25 0 1 0 70120353 785162240 191247 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 191690 191247 136 292 0 191395 0 Current children cumulated CPU time (s) 641.95 Current children cumulated vsize (KiB) 766760 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=1052176/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=859256 CPUtime=701.91 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 214778 0 0 0 69729 462 0 0 25 0 1 0 70120353 879878144 214358 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 214814 214358 136 292 0 214519 0 Current children cumulated CPU time (s) 701.91 Current children cumulated vsize (KiB) 859256 [startup+762.307 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=966736/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=943912 CPUtime=761.88 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 235934 0 0 0 75694 494 0 0 25 0 1 0 70120353 966565888 235514 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 235978 235514 136 292 0 235683 0 Current children cumulated CPU time (s) 761.88 Current children cumulated vsize (KiB) 943912 [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=892880/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1018360 CPUtime=821.85 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 254539 0 0 0 81660 525 0 0 25 0 1 0 70120353 1042800640 254119 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 254590 254119 136 292 0 254295 0 Current children cumulated CPU time (s) 821.85 Current children cumulated vsize (KiB) 1018360 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=815632/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1095024 CPUtime=881.83 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 273680 0 0 0 87629 554 0 0 25 0 1 0 70120353 1121304576 273260 1992294400 134512640 135709839 4294956240 18446744073709551615 134577667 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 273756 273260 136 292 0 273461 0 Current children cumulated CPU time (s) 881.83 Current children cumulated vsize (KiB) 1095024 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8469 /proc/meminfo: memFree=759952/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1150756 CPUtime=941.79 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 287607 0 0 0 93599 580 0 0 25 0 1 0 70120353 1178374144 287187 1992294400 134512640 135709839 4294956240 18446744073709551615 134572699 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 287689 287187 136 292 0 287394 0 Current children cumulated CPU time (s) 941.79 Current children cumulated vsize (KiB) 1150756 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8471 /proc/meminfo: memFree=703632/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1206796 CPUtime=1001.76 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 301584 0 0 0 99577 599 0 0 25 0 1 0 70120353 1235759104 301164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 301699 301164 136 292 0 301404 0 Current children cumulated CPU time (s) 1001.76 Current children cumulated vsize (KiB) 1206796 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8471 /proc/meminfo: memFree=648144/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1262708 CPUtime=1061.72 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 315550 0 0 0 105552 620 0 0 25 0 1 0 70120353 1293012992 315130 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 315677 315130 136 292 0 315382 0 Current children cumulated CPU time (s) 1061.72 Current children cumulated vsize (KiB) 1262708 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8471 /proc/meminfo: memFree=578192/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1332376 CPUtime=1121.69 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 332943 0 0 0 111522 647 0 0 25 0 1 0 70120353 1364353024 332523 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 333094 332523 136 292 0 332799 0 Current children cumulated CPU time (s) 1121.69 Current children cumulated vsize (KiB) 1332376 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8471 /proc/meminfo: memFree=511248/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1400232 CPUtime=1181.67 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 349883 0 0 0 117493 674 0 0 25 0 1 0 70120353 1433837568 349463 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 350058 349463 136 292 0 349763 0 Current children cumulated CPU time (s) 1181.67 Current children cumulated vsize (KiB) 1400232 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8471 /proc/meminfo: memFree=413584/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1496568 CPUtime=1241.64 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 373974 0 0 0 123457 707 0 0 25 0 1 0 70120353 1532485632 373554 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 374142 373554 136 292 0 373847 0 Current children cumulated CPU time (s) 1241.64 Current children cumulated vsize (KiB) 1496568 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8471 /proc/meminfo: memFree=314064/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1595496 CPUtime=1301.62 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 398685 0 0 0 129417 745 0 0 25 0 1 0 70120353 1633787904 398265 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 398874 398265 136 292 0 398579 0 Current children cumulated CPU time (s) 1301.62 Current children cumulated vsize (KiB) 1595496 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8471 /proc/meminfo: memFree=231120/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1678820 CPUtime=1361.57 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 419522 0 0 0 135375 782 0 0 25 0 1 0 70120353 1719111680 419102 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 419705 419102 136 292 0 419410 0 Current children cumulated CPU time (s) 1361.57 Current children cumulated vsize (KiB) 1678820 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8477 /proc/meminfo: memFree=175312/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1734080 CPUtime=1421.55 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 433321 0 0 0 141347 808 0 0 25 0 1 0 70120353 1775697920 432901 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 433520 432901 136 292 0 433225 0 Current children cumulated CPU time (s) 1421.55 Current children cumulated vsize (KiB) 1734080 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8477 /proc/meminfo: memFree=123984/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1785928 CPUtime=1481.51 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 446296 0 0 0 147326 825 0 0 25 0 1 0 70120353 1828790272 445876 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 446482 445876 136 292 0 446187 0 Current children cumulated CPU time (s) 1481.51 Current children cumulated vsize (KiB) 1785928 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8477 /proc/meminfo: memFree=69968/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1839480 CPUtime=1541.48 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 459660 0 0 0 153302 846 0 0 25 0 1 0 70120353 1883627520 459240 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 459870 459240 136 292 0 459575 0 Current children cumulated CPU time (s) 1541.48 Current children cumulated vsize (KiB) 1839480 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1544.2 s] /proc/loadavg: 1.00 1.00 1.00 2/65 8477 /proc/meminfo: memFree=65744/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=1843308 CPUtime=1543.38 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4194304 460616 0 0 0 153489 849 0 0 25 0 1 0 70120353 1887547392 460196 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 460827 460196 136 292 0 460532 0 Current children cumulated CPU time (s) 1543.38 Current children cumulated vsize (KiB) 1843308 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1544.41 s] /proc/loadavg: 1.00 1.00 1.00 2/66 8478 /proc/meminfo: memFree=767176/2055920 swapFree=4191900/4192956 [pid=8468] ppid=8466 vsize=0 CPUtime=1543.58 /proc/8468/stat : 8468 (wbo) R 8466 8468 8344 0 -1 4195332 460616 0 0 0 153489 869 0 0 25 0 1 0 70120353 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/8468/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1543.58 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1544.47 CPU time (s): 1543.65 CPU user time (s): 1534.9 CPU system time (s): 8.75067 CPU usage (%): 99.9471 Max. virtual memory (cumulated for all children) (KiB): 1843308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1534.9 system time used= 8.75067 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460616 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= 2 involuntary context switches= 3792 runsolver used 1.24581 second user time and 4.38733 second system time The end
Begin job on node33 at 2009-06-16 19:37:54 IDJOB=1875571 IDBENCH=2892 IDSOLVER=698 FILE ID=node33/1875571-1245173874 PBS_JOBID= 9363907 Free space on /tmp= 65952 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-duke2.b.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875571-1245173874/watcher-1875571-1245173874 -o /tmp/evaluation-result-1875571-1245173874/solver-1875571-1245173874 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875571-1245173874.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= ad998dfe89909927555ae6165c9e8c9e RANDOM SEED=1535715928 node33.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.261 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1911160 kB Buffers: 32644 kB Cached: 57412 kB SwapCached: 384 kB Active: 58736 kB Inactive: 44688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1911160 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3580 kB Writeback: 0 kB Mapped: 21808 kB Slab: 27368 kB Committed_AS: 121136 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875571-1245173874.opb Free space on /tmp at the end= 65948 MiB End job on node33 at 2009-06-16 20:03:40