Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.17 | 1801.05 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cc.opb |
MD5SUM | 2dad588c047f66368bead690393575a4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1567 |
Best CPU time to get the best result obtained on this benchmark | 0.050992 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1567 |
Optimality of the best value was proved | YES |
Number of variables | 133 |
Total number of constraints | 229 |
Number of constraints which are clauses | 229 |
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 | 31 |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 5699 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 5699 |
Number of bits of the biggest sum of numbers | 13 |
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-1876144-1245147764.opb. 0.00/0.00 c Instance file HOME/instance-1876144-1245147764.opb 0.00/0.00 c File size is 8927 bytes. 0.00/0.00 c Highest Coefficient sum: 32 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: 133 | 0.00/0.00 c | Number Clauses: 362 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c core #1 0.00/0.00 c Core size: 3 Core Weight: 34 Total Weight: 34 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #2 0.00/0.00 c Core size: 14 Core Weight: 32 Total Weight: 66 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s 0.00/0.00 c core #3 0.00/0.00 c Core size: 7 Core Weight: 18 Total Weight: 84 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #4 0.00/0.00 c Core size: 19 Core Weight: 10 Total Weight: 94 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #5 0.00/0.00 c Core size: 5 Core Weight: 34 Total Weight: 128 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s 0.00/0.00 c core #6 0.00/0.00 c Core size: 5 Core Weight: 16 Total Weight: 144 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #7 0.00/0.00 c Core size: 7 Core Weight: 10 Total Weight: 154 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #8 0.00/0.00 c Core size: 2 Core Weight: 25 Total Weight: 179 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s 0.00/0.00 c core #9 0.00/0.00 c Core size: 3 Core Weight: 34 Total Weight: 213 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #10 0.00/0.00 c Core size: 2 Core Weight: 42 Total Weight: 255 0.00/0.00 c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #11 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 297 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #12 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 339 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #13 0.00/0.00 c Core size: 2 Core Weight: 42 Total Weight: 381 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #14 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 423 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #15 0.00/0.00 c Core size: 2 Core Weight: 42 Total Weight: 465 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #16 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 507 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #17 0.00/0.00 c Core size: 4 Core Weight: 40 Total Weight: 547 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #18 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 589 0.00/0.00 c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #19 0.00/0.00 c Core size: 5 Core Weight: 42 Total Weight: 631 0.00/0.00 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.00 c core #20 0.00/0.00 c Core size: 3 Core Weight: 42 Total Weight: 673 0.00/0.00 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #21 0.00/0.01 c Core size: 5 Core Weight: 42 Total Weight: 715 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #22 0.00/0.01 c Core size: 2 Core Weight: 42 Total Weight: 757 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #23 0.00/0.01 c Core size: 5 Core Weight: 42 Total Weight: 799 0.00/0.01 c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #24 0.00/0.01 c Core size: 3 Core Weight: 42 Total Weight: 841 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #25 0.00/0.01 c Core size: 3 Core Weight: 42 Total Weight: 883 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #26 0.00/0.01 c Core size: 5 Core Weight: 42 Total Weight: 925 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #27 0.00/0.01 c Core size: 2 Core Weight: 42 Total Weight: 967 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #28 0.00/0.01 c Core size: 5 Core Weight: 42 Total Weight: 1009 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #29 0.00/0.01 c Core size: 3 Core Weight: 42 Total Weight: 1051 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #30 0.00/0.01 c Core size: 2 Core Weight: 25 Total Weight: 1076 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #31 0.00/0.01 c Core size: 2 Core Weight: 25 Total Weight: 1101 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #32 0.00/0.01 c Core size: 3 Core Weight: 8 Total Weight: 1109 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s 0.00/0.01 c core #33 0.00/0.01 c Core size: 32 Core Weight: 8 Total Weight: 1117 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #34 0.00/0.01 c Core size: 16 Core Weight: 10 Total Weight: 1127 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #35 0.00/0.01 c Core size: 11 Core Weight: 9 Total Weight: 1136 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #36 0.00/0.01 c Core size: 3 Core Weight: 41 Total Weight: 1177 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #37 0.00/0.01 c Core size: 2 Core Weight: 42 Total Weight: 1219 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #38 0.00/0.01 c Core size: 3 Core Weight: 41 Total Weight: 1260 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #39 0.00/0.01 c Core size: 5 Core Weight: 34 Total Weight: 1294 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #40 0.00/0.01 c Core size: 4 Core Weight: 11 Total Weight: 1305 0.00/0.01 c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #41 0.00/0.01 c Core size: 2 Core Weight: 25 Total Weight: 1330 0.00/0.01 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.01 c core #42 0.00/0.01 c Core size: 4 Core Weight: 8 Total Weight: 1338 0.00/0.01 c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #43 0.00/0.02 c Core size: 6 Core Weight: 4 Total Weight: 1342 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #44 0.00/0.02 c Core size: 3 Core Weight: 17 Total Weight: 1359 0.00/0.02 c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #45 0.00/0.02 c Core size: 8 Core Weight: 17 Total Weight: 1376 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #46 0.00/0.02 c Core size: 6 Core Weight: 16 Total Weight: 1392 0.00/0.02 c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #47 0.00/0.02 c Core size: 6 Core Weight: 16 Total Weight: 1408 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #48 0.00/0.02 c Core size: 11 Core Weight: 1 Total Weight: 1409 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #49 0.00/0.02 c Core size: 5 Core Weight: 23 Total Weight: 1432 0.00/0.02 c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #50 0.00/0.02 c Core size: 6 Core Weight: 2 Total Weight: 1434 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #51 0.00/0.02 c Core size: 6 Core Weight: 6 Total Weight: 1440 0.00/0.02 c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s 0.00/0.02 c core #52 0.00/0.02 c Core size: 11 Core Weight: 4 Total Weight: 1444 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #53 0.00/0.02 c Core size: 10 Core Weight: 10 Total Weight: 1454 0.00/0.02 c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #54 0.00/0.02 c Core size: 11 Core Weight: 7 Total Weight: 1461 0.00/0.02 c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #55 0.00/0.02 c Core size: 10 Core Weight: 8 Total Weight: 1469 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #56 0.00/0.02 c Core size: 12 Core Weight: 1 Total Weight: 1470 0.00/0.02 c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #57 0.00/0.02 c Core size: 11 Core Weight: 2 Total Weight: 1472 0.00/0.02 c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #58 0.00/0.02 c Core size: 8 Core Weight: 8 Total Weight: 1480 0.00/0.02 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.02 c core #59 0.00/0.02 c Core size: 14 Core Weight: 1 Total Weight: 1481 0.00/0.02 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #60 0.00/0.03 c Core size: 14 Core Weight: 14 Total Weight: 1495 0.00/0.03 c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #61 0.00/0.03 c Core size: 20 Core Weight: 1 Total Weight: 1496 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #62 0.00/0.03 c Core size: 45 Core Weight: 1 Total Weight: 1497 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #63 0.00/0.03 c Core size: 56 Core Weight: 7 Total Weight: 1504 0.00/0.03 c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #64 0.00/0.03 c Core size: 29 Core Weight: 1 Total Weight: 1505 0.00/0.03 c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #65 0.00/0.03 c Core size: 34 Core Weight: 7 Total Weight: 1512 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s 0.00/0.03 c core #66 0.00/0.03 c Core size: 26 Core Weight: 1 Total Weight: 1513 0.00/0.03 c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #67 0.00/0.03 c Core size: 29 Core Weight: 1 Total Weight: 1514 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #68 0.00/0.03 c Core size: 29 Core Weight: 6 Total Weight: 1520 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s 0.00/0.03 c core #69 0.00/0.03 c Core size: 29 Core Weight: 1 Total Weight: 1521 0.00/0.03 c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s 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 | 430 735 1466 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c core #70 0.00/0.03 c Core size: 19 Core Weight: 1 Total Weight: 1522 0.00/0.03 c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s 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 | 439 741 1479 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #71 0.00/0.04 c Core size: 20 Core Weight: 1 Total Weight: 1523 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 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 | 448 747 1492 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #72 0.00/0.04 c Core size: 46 Core Weight: 1 Total Weight: 1524 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s 0.04/0.04 c ============================[ Search Statistics ]============================== 0.04/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.04 c =============================================================================== 0.04/0.04 c | 0 | 471 759 1527 | 5000 0 nan | 0.000 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c core #73 0.04/0.04 c Core size: 39 Core Weight: 1 Total Weight: 1525 0.04/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s 0.04/0.04 c ============================[ Search Statistics ]============================== 0.04/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.04 c =============================================================================== 0.04/0.04 c | 0 | 498 780 1637 | 5000 0 nan | 0.000 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c core #74 0.04/0.04 c Core size: 57 Core Weight: 1 Total Weight: 1526 0.04/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 1799.96 s 0.04/0.04 c ============================[ Search Statistics ]============================== 0.04/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.04 c =============================================================================== 0.04/0.04 c | 0 | 529 795 1697 | 5000 0 nan | 0.000 % | 0.04/0.04 c =============================================================================== 0.04/0.04 c core #75 0.04/0.04 c Core size: 106 Core Weight: 1 Total Weight: 1527 0.04/0.04 c Elapsed CPU time: 0.046992 s Remaining CPU time: 1799.95 s 0.04/0.04 c Learning 1 hard constraints 0.04/0.04 c ============================[ Search Statistics ]============================== 0.04/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.04 c =============================================================================== 0.04/0.04 c | 0 | 602 850 1963 | 5000 0 nan | 0.000 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c core #76 0.04/0.05 c Core size: 39 Core Weight: 1 Total Weight: 1528 0.04/0.05 c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s 0.04/0.05 c ============================[ Search Statistics ]============================== 0.04/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.05 c =============================================================================== 0.04/0.05 c | 0 | 622 865 2036 | 5000 0 nan | 0.000 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c core #77 0.04/0.05 c Core size: 85 Core Weight: 1 Total Weight: 1529 0.04/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s 0.04/0.05 c ============================[ Search Statistics ]============================== 0.04/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.05 c =============================================================================== 0.04/0.05 c | 0 | 676 913 2243 | 5000 0 nan | 0.000 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c core #78 0.04/0.05 c Core size: 41 Core Weight: 1 Total Weight: 1530 0.04/0.05 c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s 0.04/0.05 c ============================[ Search Statistics ]============================== 0.04/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.05 c =============================================================================== 0.04/0.05 c | 0 | 696 931 2305 | 5000 0 nan | 0.000 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c core #79 0.04/0.05 c Core size: 37 Core Weight: 4 Total Weight: 1534 0.04/0.05 c Elapsed CPU time: 0.053991 s Remaining CPU time: 1799.95 s 0.04/0.05 c ============================[ Search Statistics ]============================== 0.04/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.05 c =============================================================================== 0.04/0.05 c | 0 | 714 948 2388 | 5000 0 nan | 0.000 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c core #80 0.04/0.05 c Core size: 76 Core Weight: 1 Total Weight: 1535 0.04/0.05 c Elapsed CPU time: 0.055991 s Remaining CPU time: 1799.94 s 0.04/0.05 c ============================[ Search Statistics ]============================== 0.04/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.05 c =============================================================================== 0.04/0.05 c | 0 | 748 979 2525 | 5000 0 nan | 0.000 % | 0.04/0.05 c =============================================================================== 0.04/0.05 c core #81 0.04/0.05 c Core size: 74 Core Weight: 1 Total Weight: 1536 0.04/0.05 c Elapsed CPU time: 0.057991 s Remaining CPU time: 1799.94 s 0.04/0.06 c Learning 1 hard constraints 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 780 1011 2638 | 5000 0 nan | 0.000 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #82 0.04/0.06 c Core size: 110 Core Weight: 1 Total Weight: 1537 0.04/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 838 1058 2837 | 5000 0 nan | 0.000 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #83 0.04/0.06 c Core size: 67 Core Weight: 1 Total Weight: 1538 0.04/0.06 c Elapsed CPU time: 0.06199 s Remaining CPU time: 1799.94 s 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 867 1087 2936 | 5000 0 nan | 0.000 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #84 0.04/0.06 c Core size: 62 Core Weight: 1 Total Weight: 1539 0.04/0.06 c Elapsed CPU time: 0.06399 s Remaining CPU time: 1799.94 s 0.04/0.06 c ============================[ Search Statistics ]============================== 0.04/0.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.06 c =============================================================================== 0.04/0.06 c | 0 | 890 1109 3032 | 5000 0 nan | 0.000 % | 0.04/0.06 c =============================================================================== 0.04/0.06 c core #85 0.04/0.06 c Core size: 60 Core Weight: 1 Total Weight: 1540 0.04/0.06 c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s 0.04/0.07 c ============================[ Search Statistics ]============================== 0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.07 c =============================================================================== 0.04/0.07 c | 0 | 918 1131 3187 | 5000 0 nan | 0.000 % | 0.04/0.07 c =============================================================================== 0.04/0.07 c core #86 0.04/0.07 c Core size: 39 Core Weight: 1 Total Weight: 1541 0.04/0.07 c Elapsed CPU time: 0.067989 s Remaining CPU time: 1799.93 s 0.04/0.07 c ============================[ Search Statistics ]============================== 0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.07 c =============================================================================== 0.04/0.07 c | 0 | 937 1150 3255 | 5000 0 nan | 0.000 % | 0.04/0.07 c =============================================================================== 0.04/0.07 c core #87 0.04/0.07 c Core size: 38 Core Weight: 3 Total Weight: 1544 0.04/0.07 c Elapsed CPU time: 0.069989 s Remaining CPU time: 1799.93 s 0.04/0.07 c ============================[ Search Statistics ]============================== 0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.07 c =============================================================================== 0.04/0.07 c | 0 | 970 1168 3385 | 5000 0 nan | 0.000 % | 0.04/0.07 c =============================================================================== 0.04/0.07 c core #88 0.04/0.07 c Core size: 35 Core Weight: 1 Total Weight: 1545 0.04/0.07 c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s 0.04/0.07 c ============================[ Search Statistics ]============================== 0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.07 c =============================================================================== 0.04/0.07 c | 0 | 988 1184 3439 | 5000 0 nan | 0.000 % | 0.04/0.07 c =============================================================================== 0.04/0.07 c core #89 0.04/0.07 c Core size: 86 Core Weight: 1 Total Weight: 1546 0.04/0.07 c Elapsed CPU time: 0.075988 s Remaining CPU time: 1799.92 s 0.04/0.08 c ============================[ Search Statistics ]============================== 0.04/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.08 c =============================================================================== 0.04/0.08 c | 0 | 1032 1209 3566 | 5000 0 nan | 0.000 % | 0.04/0.08 c =============================================================================== 0.04/0.08 c core #90 0.04/0.08 c Core size: 102 Core Weight: 1 Total Weight: 1547 0.04/0.08 c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s 0.04/0.08 c Learning 1 hard constraints 0.04/0.08 c ============================[ Search Statistics ]============================== 0.04/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.08 c =============================================================================== 0.04/0.08 c | 0 | 1085 1235 3712 | 5000 0 nan | 0.000 % | 0.04/0.08 c =============================================================================== 0.04/0.08 c core #91 0.04/0.08 c Core size: 150 Core Weight: 1 Total Weight: 1548 0.04/0.08 c Elapsed CPU time: 0.081987 s Remaining CPU time: 1799.92 s 0.04/0.08 c ============================[ Search Statistics ]============================== 0.04/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.08 c =============================================================================== 0.04/0.08 c | 0 | 1172 1278 3968 | 5000 0 nan | 0.000 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c core #92 0.04/0.09 c Core size: 116 Core Weight: 1 Total Weight: 1549 0.04/0.09 c Elapsed CPU time: 0.087986 s Remaining CPU time: 1799.91 s 0.04/0.09 c ============================[ Search Statistics ]============================== 0.04/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.09 c =============================================================================== 0.04/0.09 c | 0 | 1231 1321 4201 | 5000 0 nan | 0.000 % | 0.04/0.09 c =============================================================================== 0.04/0.09 c core #93 0.04/0.09 c Core size: 45 Core Weight: 1 Total Weight: 1550 0.04/0.09 c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s 0.04/0.09 c ============================[ Search Statistics ]============================== 0.04/0.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.04/0.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.04/0.09 c =============================================================================== 0.04/0.09 c | 0 | 1256 1342 4271 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 100 | 1234 1342 4271 | 5500 100 12 | 11.690 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #94 0.09/0.10 c Core size: 66 Core Weight: 1 Total Weight: 1551 0.09/0.10 c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s 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 | 1294 1367 4376 | 5000 0 nan | 0.000 % | 0.09/0.10 c =============================================================================== 0.09/0.10 c core #95 0.09/0.10 c Core size: 38 Core Weight: 1 Total Weight: 1552 0.09/0.10 c Elapsed CPU time: 0.101984 s Remaining CPU time: 1799.9 s 0.09/0.11 c Learning 1 hard constraints 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1337 1381 4598 | 5000 0 nan | 0.000 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c core #96 0.09/0.11 c Core size: 70 Core Weight: 1 Total Weight: 1553 0.09/0.11 c Elapsed CPU time: 0.107983 s Remaining CPU time: 1799.89 s 0.09/0.11 c ============================[ Search Statistics ]============================== 0.09/0.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.11 c =============================================================================== 0.09/0.11 c | 0 | 1383 1398 4720 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #97 0.09/0.12 c Core size: 58 Core Weight: 1 Total Weight: 1554 0.09/0.12 c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s 0.09/0.12 c ============================[ Search Statistics ]============================== 0.09/0.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.12 c =============================================================================== 0.09/0.12 c | 0 | 1418 1429 4861 | 5000 0 nan | 0.000 % | 0.09/0.12 c =============================================================================== 0.09/0.12 c core #98 0.09/0.12 c Core size: 68 Core Weight: 1 Total Weight: 1555 0.09/0.12 c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s 0.09/0.13 c ============================[ Search Statistics ]============================== 0.09/0.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.13 c =============================================================================== 0.09/0.13 c | 0 | 1459 1450 4979 | 5000 0 nan | 0.000 % | 0.09/0.13 c | 102 | 1454 1450 4979 | 5500 102 12 | 4.666 % | 0.09/0.14 c =============================================================================== 0.09/0.14 c core #99 0.09/0.14 c Core size: 123 Core Weight: 1 Total Weight: 1556 0.09/0.14 c Elapsed CPU time: 0.132979 s Remaining CPU time: 1799.87 s 0.09/0.14 c Learning 1 hard constraints 0.09/0.14 c ============================[ Search Statistics ]============================== 0.09/0.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.09/0.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.09/0.14 c =============================================================================== 0.09/0.14 c | 0 | 1547 1476 5210 | 5000 0 nan | 0.000 % | 0.09/0.14 c | 100 | 1521 1476 5210 | 5500 100 14 | 8.494 % | 0.09/0.15 c | 250 | 1466 1476 5210 | 6050 240 12 | 9.114 % | 0.09/0.15 c =============================================================================== 0.09/0.15 c core #100 0.09/0.15 c Core size: 143 Core Weight: 1 Total Weight: 1557 0.09/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 1799.85 s 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 | 1666 1493 5528 | 5000 0 nan | 0.000 % | 0.09/0.16 c | 100 | 1637 1493 5528 | 5500 100 20 | 7.105 % | 0.09/0.17 c | 253 | 1594 1493 5528 | 6050 245 18 | 7.688 % | 0.09/0.19 c | 478 | 1584 1493 5528 | 6655 469 16 | 7.747 % | 0.19/0.21 c | 815 | 1576 1493 5528 | 7320 805 15 | 8.911 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c core #101 0.19/0.21 c Core size: 139 Core Weight: 1 Total Weight: 1558 0.19/0.21 c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s 0.19/0.22 c ============================[ Search Statistics ]============================== 0.19/0.22 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.22 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.22 c =============================================================================== 0.19/0.22 c | 0 | 1772 1509 5764 | 5000 0 nan | 0.000 % | 0.19/0.22 c | 102 | 1757 1509 5764 | 5500 102 17 | 6.637 % | 0.19/0.23 c | 253 | 1699 1509 5764 | 6050 247 16 | 7.186 % | 0.19/0.25 c | 480 | 1692 1509 5764 | 6655 473 19 | 7.186 % | 0.19/0.27 c | 819 | 1691 1509 5764 | 7320 811 20 | 7.241 % | 0.29/0.31 c | 1325 | 1691 1509 5764 | 8052 1317 20 | 7.241 % | 0.29/0.38 c | 2087 | 1691 1509 5764 | 8857 2079 22 | 7.241 % | 0.39/0.49 c | 3226 | 1691 1509 5764 | 9743 3218 25 | 7.241 % | 0.59/0.68 c | 4935 | 1691 1509 5764 | 10717 4927 24 | 7.242 % | 0.89/0.95 c | 7498 | 1691 1509 5764 | 11789 7490 23 | 7.241 % | 0.99/1.07 c =============================================================================== 1.09/1.11 c core #102 1.09/1.11 c Core size: 208 Core Weight: 1 Total Weight: 1559 1.09/1.11 c Elapsed CPU time: 1.07584 s Remaining CPU time: 1798.92 s 1.09/1.12 c Learning 1 hard constraints 1.09/1.12 c ============================[ Search Statistics ]============================== 1.09/1.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.12 c =============================================================================== 1.09/1.12 c | 0 | 1938 1524 6121 | 5000 0 nan | 0.000 % | 1.09/1.13 c | 102 | 1936 1524 6121 | 5500 102 31 | 2.665 % | 1.09/1.14 c | 253 | 1935 1524 6121 | 6050 249 20 | 3.168 % | 1.09/1.16 c | 484 | 1926 1524 6121 | 6655 479 26 | 3.167 % | 1.09/1.19 c | 821 | 1926 1524 6121 | 7320 816 28 | 3.167 % | 1.19/1.23 c | 1327 | 1926 1524 6121 | 8052 1322 23 | 3.168 % | 1.29/1.31 c | 2087 | 1926 1524 6121 | 8857 2082 27 | 3.167 % | 1.39/1.47 c | 3226 | 1926 1524 6121 | 9743 3221 32 | 3.167 % | 1.69/1.73 c | 4934 | 1926 1524 6121 | 10717 4929 33 | 3.168 % | 1.99/2.08 c | 7499 | 1926 1524 6121 | 11789 7494 30 | 3.167 % | 2.59/2.66 c | 11344 | 1926 1524 6121 | 12968 11339 31 | 3.167 % | 3.89/3.98 c | 17110 | 1926 1524 6121 | 14265 10575 31 | 3.167 % | 5.59/5.61 c | 25760 | 1926 1524 6121 | 15692 12002 30 | 3.168 % | 8.99/9.04 c | 38734 | 1926 1524 6121 | 17261 9039 40 | 3.167 % | 15.89/15.92 c | 58195 | 1926 1524 6121 | 18987 10931 37 | 3.167 % | 21.68/21.70 c =============================================================================== 22.49/22.57 c core #103 22.49/22.57 c Core size: 238 Core Weight: 1 Total Weight: 1560 22.49/22.57 c Elapsed CPU time: 22.3576 s Remaining CPU time: 1777.64 s 22.59/22.65 c ============================[ Search Statistics ]============================== 22.59/22.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.59/22.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.59/22.65 c =============================================================================== 22.59/22.65 c | 0 | 2130 1540 6523 | 5000 0 nan | 0.000 % | 22.59/22.67 c | 102 | 2108 1540 6523 | 5500 102 40 | 5.686 % | 22.59/22.69 c | 252 | 2056 1540 6523 | 6050 241 26 | 6.144 % | 22.69/22.70 c | 478 | 2047 1540 6523 | 6655 466 26 | 6.144 % | 22.69/22.74 c | 816 | 2047 1540 6523 | 7320 804 27 | 6.144 % | 22.69/22.78 c | 1323 | 2047 1540 6523 | 8052 1311 32 | 6.144 % | 22.78/22.87 c | 2082 | 2047 1540 6523 | 8857 2070 32 | 6.144 % | 22.99/23.02 c | 3223 | 2047 1540 6523 | 9743 3211 31 | 6.144 % | 23.18/23.29 c | 4933 | 2047 1540 6523 | 10717 4921 38 | 6.144 % | 23.78/23.85 c | 7496 | 2047 1540 6523 | 11789 7484 45 | 6.144 % | 25.29/25.32 c | 11341 | 2047 1540 6523 | 12968 11329 53 | 6.144 % | 27.48/27.59 c | 17107 | 2047 1540 6523 | 14265 10476 60 | 6.144 % | 29.48/29.58 c | 25756 | 2047 1540 6523 | 15692 11786 41 | 6.144 % | 33.68/33.73 c | 38730 | 2047 1540 6523 | 17261 8798 48 | 6.144 % | 41.27/41.36 c | 58193 | 2047 1540 6523 | 18987 10601 56 | 6.144 % | 50.87/50.90 c | 87388 | 2047 1540 6523 | 20886 10676 57 | 6.144 % | 63.26/63.30 c | 131180 | 2047 1540 6523 | 22974 11934 37 | 6.144 % | 93.66/93.70 c | 196866 | 2047 1540 6523 | 25272 18721 55 | 6.144 % | 163.22/163.39 c | 295393 | 2017 1540 6523 | 27799 25695 90 | 7.520 % | 285.37/285.57 c | 443182 | 2017 1540 6523 | 30579 23630 49 | 7.520 % | 402.31/402.59 c | 664865 | 2007 1540 6523 | 33637 17873 44 | 7.978 % | 646.28/646.68 c | 997393 | 1824 1540 6523 | 37001 22872 55 | 16.369 % | 764.41/764.80 c =============================================================================== 784.50/784.99 c core #104 784.50/784.99 c Core size: 272 Core Weight: 1 Total Weight: 1561 784.50/784.99 c Elapsed CPU time: 780.935 s Remaining CPU time: 1019.06 s 785.70/786.19 c ============================[ Search Statistics ]============================== 785.70/786.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 785.70/786.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 785.70/786.19 c =============================================================================== 785.70/786.19 c | 0 | 2353 1556 6987 | 5000 0 nan | 0.000 % | 785.90/786.30 c | 100 | 2353 1556 6987 | 5500 100 56 | 2.121 % | 785.90/786.37 c | 251 | 2343 1556 6987 | 6050 250 32 | 2.538 % | 785.90/786.40 c | 477 | 2343 1556 6987 | 6655 476 31 | 2.537 % | 786.00/786.44 c | 815 | 2343 1556 6987 | 7320 814 32 | 2.537 % | 786.10/786.55 c | 1321 | 2343 1556 6987 | 8052 1320 32 | 2.538 % | 786.20/786.67 c | 2082 | 2343 1556 6987 | 8857 2081 50 | 2.537 % | 786.40/786.82 c | 3221 | 2343 1556 6987 | 9743 3220 46 | 2.538 % | 786.69/787.12 c | 4935 | 2343 1556 6987 | 10717 4934 61 | 2.537 % | 787.30/787.70 c | 7498 | 2326 1556 6987 | 11789 7496 65 | 4.326 % | 788.60/789.01 c | 11342 | 2300 1556 6987 | 12968 11338 70 | 4.326 % | 790.10/790.59 c | 17110 | 2300 1556 6987 | 14265 10440 55 | 4.326 % | 792.99/793.50 c | 25759 | 2300 1556 6987 | 15692 11762 59 | 4.326 % | 798.20/798.69 c | 38738 | 2300 1556 6987 | 17261 8744 47 | 4.326 % | 807.89/808.35 c | 58199 | 2300 1556 6987 | 18987 10438 82 | 4.326 % | 819.38/819.88 c | 87391 | 2300 1556 6987 | 20886 10675 40 | 4.326 % | 843.28/843.78 c | 131181 | 2298 1556 6987 | 22974 11897 72 | 4.409 % | 906.44/906.91 c | 196866 | 2281 1556 6987 | 25272 18633 79 | 5.116 % | 1010.50/1011.04 c | 295399 | 2281 1556 6987 | 27799 25685 83 | 5.116 % | 1150.64/1151.21 c | 443188 | 1993 1556 6987 | 30579 21069 100 | 17.097 % | 1317.75/1318.47 c | 664871 | 1983 1556 6987 | 33637 22818 80 | 17.513 % | 1560.25/1561.03 c | 997402 | 1983 1556 6987 | 37001 22879 75 | 17.512 % |
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-1876144-1245147764/watcher-1876144-1245147764 -o /tmp/evaluation-result-1876144-1245147764/solver-1876144-1245147764 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876144-1245147764.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.03 1.02 1.00 3/64 3897 /proc/meminfo: memFree=1869808/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=2524 CPUtime=0 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 204 0 0 0 0 0 0 0 18 0 1 0 182373461 2584576 185 1992294400 134512640 135709839 4294956240 18446744073709551615 135230974 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 631 185 133 292 0 336 0 [startup+0.042335 s] /proc/loadavg: 1.03 1.02 1.00 3/64 3897 /proc/meminfo: memFree=1869808/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=2788 CPUtime=0.04 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 278 0 0 0 4 0 0 0 18 0 1 0 182373461 2854912 259 1992294400 134512640 135709839 4294956240 18446744073709551615 134529856 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 697 259 135 292 0 402 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2788 [startup+0.101342 s] /proc/loadavg: 1.03 1.02 1.00 3/64 3897 /proc/meminfo: memFree=1869808/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=3436 CPUtime=0.09 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 445 0 0 0 9 0 0 0 18 0 1 0 182373461 3518464 426 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 859 426 135 292 0 564 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3436 [startup+0.301371 s] /proc/loadavg: 1.03 1.02 1.00 3/64 3897 /proc/meminfo: memFree=1869808/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=4140 CPUtime=0.29 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 596 0 0 0 28 1 0 0 18 0 1 0 182373461 4239360 577 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 1035 577 136 292 0 740 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4140 [startup+0.701429 s] /proc/loadavg: 1.03 1.02 1.00 3/64 3897 /proc/meminfo: memFree=1869808/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=5064 CPUtime=0.69 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 857 0 0 0 67 2 0 0 22 0 1 0 182373461 5185536 838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 1266 838 136 292 0 971 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5064 [startup+1.50154 s] /proc/loadavg: 1.03 1.02 1.00 2/65 3898 /proc/meminfo: memFree=1866216/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=6532 CPUtime=1.49 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 1216 0 0 0 145 4 0 0 25 0 1 0 182373461 6688768 1197 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 1633 1197 136 292 0 1338 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6532 [startup+3.10177 s] /proc/loadavg: 1.03 1.02 1.00 2/65 3898 /proc/meminfo: memFree=1865448/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=8120 CPUtime=3.09 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 1613 0 0 0 303 6 0 0 25 0 1 0 182373461 8314880 1594 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 2030 1594 136 292 0 1735 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8120 [startup+6.30123 s] /proc/loadavg: 1.03 1.02 1.00 2/65 3898 /proc/meminfo: memFree=1860200/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=13148 CPUtime=6.29 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 2877 0 0 0 619 10 0 0 25 0 1 0 182373461 13463552 2858 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 3287 2858 136 292 0 2992 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 13148 [startup+12.7011 s] /proc/loadavg: 1.02 1.02 1.00 2/65 3898 /proc/meminfo: memFree=1852336/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=20416 CPUtime=12.69 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 4667 0 0 0 1255 14 0 0 25 0 1 0 182373461 20905984 4648 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 5104 4648 136 292 0 4809 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20416 [startup+25.502 s] /proc/loadavg: 1.02 1.02 1.00 2/65 3898 /proc/meminfo: memFree=1838768/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=33276 CPUtime=25.48 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 7888 0 0 0 2525 23 0 0 25 0 1 0 182373461 34074624 7869 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 8319 7869 136 292 0 8024 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33276 [startup+51.1017 s] /proc/loadavg: 1.01 1.02 1.00 2/65 3898 /proc/meminfo: memFree=1817520/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=55304 CPUtime=51.07 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 13403 0 0 0 5065 42 0 0 25 0 1 0 182373461 56631296 13384 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 13826 13384 136 292 0 13531 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 55304 [startup+102.306 s] /proc/loadavg: 1.00 1.01 1.00 2/65 3898 /proc/meminfo: memFree=1767152/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=104856 CPUtime=102.25 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 25763 0 0 0 10151 74 0 0 25 0 1 0 182373461 107372544 25744 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 26214 25744 136 292 0 25919 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 104856 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1727344/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=144952 CPUtime=162.22 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 35751 0 0 0 16122 100 0 0 25 0 1 0 182373461 148430848 35732 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 36238 35732 136 292 0 35943 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 144952 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1685808/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=186336 CPUtime=222.19 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 46056 0 0 0 22095 124 0 0 25 0 1 0 182373461 190808064 46037 1992294400 134512640 135709839 4294956240 18446744073709551615 134573775 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 46584 46037 136 292 0 46289 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 186336 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1645808/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=226896 CPUtime=282.17 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 56194 0 0 0 28068 149 0 0 25 0 1 0 182373461 232341504 56175 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 56724 56175 136 292 0 56429 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 226896 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1601776/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=270316 CPUtime=342.14 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 67022 0 0 0 34039 175 0 0 25 0 1 0 182373461 276803584 67003 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 67579 67003 136 292 0 67284 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 270316 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1561584/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=311760 CPUtime=402.1 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 77352 0 0 0 40005 205 0 0 25 0 1 0 182373461 319242240 77333 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 77940 77333 136 292 0 77645 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 311760 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1519280/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=352932 CPUtime=462.08 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 87637 0 0 0 45976 232 0 0 25 0 1 0 182373461 361402368 87618 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 88233 87618 136 292 0 87938 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 352932 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1485296/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=386920 CPUtime=522.05 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 96114 0 0 0 51948 257 0 0 25 0 1 0 182373461 396206080 96095 1992294400 134512640 135709839 4294956240 18446744073709551615 134568563 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 96730 96095 136 292 0 96435 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 386920 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1454256/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=417948 CPUtime=582 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 103836 0 0 0 57921 279 0 0 25 0 1 0 182373461 427978752 103817 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/3897/statm: 104487 103817 136 292 0 104192 0 Current children cumulated CPU time (s) 582 Current children cumulated vsize (KiB) 417948 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1415152/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=456856 CPUtime=641.98 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 113546 0 0 0 63891 307 0 0 25 0 1 0 182373461 467820544 113527 1992294400 134512640 135709839 4294956240 18446744073709551615 134611867 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 114214 113527 136 292 0 113919 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 456856 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1304560/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=567008 CPUtime=881.86 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 141123 0 0 0 87784 402 0 0 25 0 1 0 182373461 580616192 141067 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 141752 141067 136 292 0 141457 0 Current children cumulated CPU time (s) 881.86 Current children cumulated vsize (KiB) 567008 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1304304/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=567008 CPUtime=941.83 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 141203 0 0 0 93768 415 0 0 25 0 1 0 182373461 580616192 141147 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 141752 141147 136 292 0 141457 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 567008 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1303600/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=567008 CPUtime=1001.81 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 141363 0 0 0 99756 425 0 0 25 0 1 0 182373461 580616192 141307 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 141752 141307 136 292 0 141457 0 Current children cumulated CPU time (s) 1001.81 Current children cumulated vsize (KiB) 567008 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1293936/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=576992 CPUtime=1061.78 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 143859 0 0 0 105735 443 0 0 25 0 1 0 182373461 590839808 143803 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 144248 143803 136 292 0 143953 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 576992 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1264368/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=606528 CPUtime=1121.75 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 151178 0 0 0 111713 462 0 0 25 0 1 0 182373461 621084672 151122 1992294400 134512640 135709839 4294956240 18446744073709551615 134573823 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 151632 151122 136 292 0 151337 0 Current children cumulated CPU time (s) 1121.75 Current children cumulated vsize (KiB) 606528 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1232752/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=638308 CPUtime=1181.72 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 159100 0 0 0 117689 483 0 0 25 0 1 0 182373461 653627392 159044 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 159577 159044 136 292 0 159282 0 Current children cumulated CPU time (s) 1181.72 Current children cumulated vsize (KiB) 638308 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1200560/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=670516 CPUtime=1241.7 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 167133 0 0 0 123662 508 0 0 25 0 1 0 182373461 686608384 167077 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 167629 167077 136 292 0 167334 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 670516 [startup+1302.3 s] /proc/loadavg: 1.06 1.02 1.00 2/65 3898 /proc/meminfo: memFree=1170864/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=699908 CPUtime=1301.66 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 174425 0 0 0 129630 536 0 0 25 0 1 0 182373461 716705792 174369 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 174977 174369 136 292 0 174682 0 Current children cumulated CPU time (s) 1301.66 Current children cumulated vsize (KiB) 699908 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.00 2/65 3898 /proc/meminfo: memFree=1137200/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=733780 CPUtime=1361.63 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 182842 0 0 0 135605 558 0 0 25 0 1 0 182373461 751390720 182786 1992294400 134512640 135709839 4294956240 18446744073709551615 134568263 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 183445 182786 136 292 0 183150 0 Current children cumulated CPU time (s) 1361.63 Current children cumulated vsize (KiB) 733780 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1103792/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=767184 CPUtime=1421.61 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 191154 0 0 0 141578 583 0 0 25 0 1 0 182373461 785596416 191098 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 191796 191098 136 292 0 191501 0 Current children cumulated CPU time (s) 1421.61 Current children cumulated vsize (KiB) 767184 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1064624/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=806572 CPUtime=1481.58 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 201012 0 0 0 147549 609 0 0 25 0 1 0 182373461 825929728 200956 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 201643 200956 136 292 0 201348 0 Current children cumulated CPU time (s) 1481.58 Current children cumulated vsize (KiB) 806572 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=1023984/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=846944 CPUtime=1541.55 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 211077 0 0 0 153522 633 0 0 25 0 1 0 182373461 867270656 211021 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 211736 211021 136 292 0 211441 0 Current children cumulated CPU time (s) 1541.55 Current children cumulated vsize (KiB) 846944 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=988592/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=882544 CPUtime=1601.53 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 219956 0 0 0 159498 655 0 0 25 0 1 0 182373461 903725056 219900 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 220636 219900 136 292 0 220341 0 Current children cumulated CPU time (s) 1601.53 Current children cumulated vsize (KiB) 882544 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3898 /proc/meminfo: memFree=946736/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=924272 CPUtime=1661.49 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 230353 0 0 0 165470 679 0 0 25 0 1 0 182373461 946454528 230297 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 231068 230297 136 292 0 230773 0 Current children cumulated CPU time (s) 1661.49 Current children cumulated vsize (KiB) 924272 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3900 /proc/meminfo: memFree=913392/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=957908 CPUtime=1721.44 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 238744 0 0 0 171442 702 0 0 25 0 1 0 182373461 980897792 238688 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 239477 238688 136 292 0 239182 0 Current children cumulated CPU time (s) 1721.44 Current children cumulated vsize (KiB) 957908 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3900 /proc/meminfo: memFree=879792/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=991188 CPUtime=1781.43 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 247036 0 0 0 177418 725 0 0 25 0 1 0 182373461 1014976512 246980 1992294400 134512640 135709839 4294956240 18446744073709551615 134573757 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 247797 246980 136 292 0 247502 0 Current children cumulated CPU time (s) 1781.43 Current children cumulated vsize (KiB) 991188 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3900 /proc/meminfo: memFree=871024/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=999648 CPUtime=1800.01 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4194304 249162 0 0 0 179272 729 0 0 25 0 1 0 182373461 1023639552 249106 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 249912 249106 136 292 0 249617 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 999648 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3900 /proc/meminfo: memFree=871024/2055920 swapFree=4182572/4192956 [pid=3897] ppid=3895 vsize=0 CPUtime=1800.11 /proc/3897/stat : 3897 (wbo) R 3895 3897 3578 0 -1 4195332 249162 0 0 0 179272 739 0 0 25 0 1 0 182373461 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/3897/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.05 CPU time (s): 1800.17 CPU user time (s): 1792.73 CPU system time (s): 7.44387 CPU usage (%): 99.9512 Max. virtual memory (cumulated for all children) (KiB): 999648 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.73 system time used= 7.44387 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 249162 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= 8 involuntary context switches= 6169 runsolver used 1.87671 second user time and 4.69429 second system time The end
Begin job on node39 at 2009-06-16 12:22:44 IDJOB=1876144 IDBENCH=2023 IDSOLVER=698 FILE ID=node39/1876144-1245147764 PBS_JOBID= 9363734 Free space on /tmp= 66128 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cc.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-1876144-1245147764/watcher-1876144-1245147764 -o /tmp/evaluation-result-1876144-1245147764/solver-1876144-1245147764 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876144-1245147764.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2dad588c047f66368bead690393575a4 RANDOM SEED=591352540 node39.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.263 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.263 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: 1870352 kB Buffers: 30764 kB Cached: 86672 kB SwapCached: 4216 kB Active: 27088 kB Inactive: 98320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1870352 kB SwapTotal: 4192956 kB SwapFree: 4182572 kB Dirty: 2668 kB Writeback: 0 kB Mapped: 13660 kB Slab: 46160 kB Committed_AS: 135004 kB PageTables: 1384 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-1876144-1245147764.opb Free space on /tmp at the end= 66128 MiB End job on node39 at 2009-06-16 12:52:47