Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.27 | 1800.88 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-mzzv11.opb |
MD5SUM | a74bcf40291587dc368e3a23fd278be9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -10664 |
Best CPU time to get the best result obtained on this benchmark | 1801.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -10639 |
Optimality of the best value was proved | NO |
Number of variables | 11247 |
Total number of constraints | 9744 |
Number of constraints which are clauses | 77 |
Number of constraints which are cardinality constraints (but not clauses) | 5755 |
Number of constraints which are nor clauses,nor cardinality constraints | 3912 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 68 |
Number of terms in the objective function | 773 |
Biggest coefficient in the objective function | 1000 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 76861 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 1999 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 76861 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c 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-1875698-1245135110.opb. 0.00/0.00 c Instance file HOME/instance-1875698-1245135110.opb 0.00/0.00 c File size is 1337178 bytes. 0.19/0.25 c Highest Coefficient sum: 12199 0.19/0.25 c ============================[ Problem Statistics ]============================= 0.19/0.25 c | | 0.19/0.25 c | Parsing time: 0.24 s | 0.19/0.25 c | Number Variables: 11247 | 0.19/0.25 c | Number Clauses: 1923 | 0.19/0.25 c | Number Cardinality: 11249 | 0.19/0.25 c | Number PB Constraints: 717 | 0.19/0.25 c core #1 0.19/0.25 c Core size: 119 Core Weight: 25 Total Weight: -13464 0.19/0.25 c Elapsed CPU time: 0.241963 s Remaining CPU time: 1799.76 s 0.29/0.32 c core #2 0.29/0.32 c Core size: 106 Core Weight: 25 Total Weight: -13439 0.29/0.32 c Elapsed CPU time: 0.306953 s Remaining CPU time: 1799.69 s 0.29/0.39 c core #3 0.29/0.39 c Core size: 46 Core Weight: 10 Total Weight: -13429 0.29/0.39 c Elapsed CPU time: 0.376942 s Remaining CPU time: 1799.62 s 0.39/0.47 c core #4 0.39/0.47 c Core size: 27 Core Weight: 50 Total Weight: -13379 0.39/0.47 c Elapsed CPU time: 0.45593 s Remaining CPU time: 1799.54 s 0.49/0.57 c core #5 0.49/0.57 c Core size: 359 Core Weight: 5 Total Weight: -13374 0.49/0.57 c Elapsed CPU time: 0.542917 s Remaining CPU time: 1799.46 s 0.59/0.65 c core #6 0.59/0.65 c Core size: 52 Core Weight: 25 Total Weight: -13349 0.59/0.65 c Elapsed CPU time: 0.621905 s Remaining CPU time: 1799.38 s 0.69/0.74 c core #7 0.69/0.74 c Core size: 103 Core Weight: 50 Total Weight: -13299 0.69/0.74 c Elapsed CPU time: 0.706892 s Remaining CPU time: 1799.29 s 0.79/0.82 c core #8 0.79/0.82 c Core size: 92 Core Weight: 50 Total Weight: -13249 0.79/0.82 c Elapsed CPU time: 0.78388 s Remaining CPU time: 1799.22 s 0.89/0.90 c core #9 0.89/0.90 c Core size: 83 Core Weight: 50 Total Weight: -13199 0.89/0.90 c Elapsed CPU time: 0.862868 s Remaining CPU time: 1799.14 s 0.89/0.99 c core #10 0.89/0.99 c Core size: 24 Core Weight: 25 Total Weight: -13174 0.89/0.99 c Elapsed CPU time: 0.944856 s Remaining CPU time: 1799.06 s 0.99/1.07 c core #11 0.99/1.07 c Core size: 24 Core Weight: 25 Total Weight: -13149 0.99/1.07 c Elapsed CPU time: 1.02984 s Remaining CPU time: 1798.97 s 1.09/1.16 c ============================[ Search Statistics ]============================== 1.09/1.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.16 c =============================================================================== 1.09/1.16 c | 0 | 5473 14101 158221 | 5000 0 nan | 0.000 % | 1.09/1.16 c =============================================================================== 1.09/1.16 c core #12 1.09/1.16 c Core size: 45 Core Weight: 25 Total Weight: -13124 1.09/1.16 c Elapsed CPU time: 1.11883 s Remaining CPU time: 1798.88 s 1.19/1.24 c Learning 3 hard constraints 1.19/1.24 c ============================[ Search Statistics ]============================== 1.19/1.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.24 c =============================================================================== 1.19/1.24 c | 0 | 5512 14114 158341 | 5000 0 nan | 0.000 % | 1.19/1.25 c =============================================================================== 1.19/1.25 c core #13 1.19/1.25 c Core size: 55 Core Weight: 25 Total Weight: -13099 1.19/1.25 c Elapsed CPU time: 1.20182 s Remaining CPU time: 1798.8 s 1.29/1.33 c Learning 7 hard constraints 1.29/1.33 c ============================[ Search Statistics ]============================== 1.29/1.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.33 c =============================================================================== 1.29/1.33 c | 0 | 5533 14131 158453 | 5000 0 nan | 0.000 % | 1.29/1.34 c =============================================================================== 1.29/1.34 c core #14 1.29/1.34 c Core size: 60 Core Weight: 25 Total Weight: -13074 1.29/1.34 c Elapsed CPU time: 1.2908 s Remaining CPU time: 1798.71 s 1.39/1.42 c Learning 9 hard constraints 1.39/1.42 c ============================[ Search Statistics ]============================== 1.39/1.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.42 c =============================================================================== 1.39/1.42 c | 0 | 5560 14146 158626 | 5000 0 nan | 0.000 % | 1.39/1.43 c =============================================================================== 1.39/1.43 c core #15 1.39/1.43 c Core size: 64 Core Weight: 25 Total Weight: -13049 1.39/1.43 c Elapsed CPU time: 1.37679 s Remaining CPU time: 1798.62 s 1.49/1.51 c Learning 43 hard constraints 1.49/1.51 c ============================[ Search Statistics ]============================== 1.49/1.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.51 c =============================================================================== 1.49/1.51 c | 0 | 5583 14195 159107 | 5000 0 nan | 0.000 % | 1.49/1.52 c =============================================================================== 1.49/1.52 c core #16 1.49/1.52 c Core size: 48 Core Weight: 25 Total Weight: -13024 1.49/1.52 c Elapsed CPU time: 1.46278 s Remaining CPU time: 1798.54 s 1.59/1.60 c Learning 17 hard constraints 1.59/1.60 c ============================[ Search Statistics ]============================== 1.59/1.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.60 c =============================================================================== 1.59/1.60 c | 0 | 5605 14217 159278 | 5000 0 nan | 0.000 % | 1.59/1.60 c =============================================================================== 1.59/1.60 c core #17 1.59/1.60 c Core size: 45 Core Weight: 25 Total Weight: -12999 1.59/1.60 c Elapsed CPU time: 1.54976 s Remaining CPU time: 1798.45 s 1.59/1.68 c Learning 5 hard constraints 1.59/1.68 c ============================[ Search Statistics ]============================== 1.59/1.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.68 c =============================================================================== 1.59/1.68 c | 0 | 5635 14232 159398 | 5000 0 nan | 0.000 % | 1.59/1.70 c =============================================================================== 1.59/1.70 c core #18 1.59/1.70 c Core size: 190 Core Weight: 20 Total Weight: -12979 1.59/1.70 c Elapsed CPU time: 1.63475 s Remaining CPU time: 1798.37 s 1.69/1.78 c Learning 14 hard constraints 1.69/1.78 c ============================[ Search Statistics ]============================== 1.69/1.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.69/1.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.69/1.78 c =============================================================================== 1.69/1.78 c | 0 | 5801 14290 159692 | 5000 0 nan | 0.000 % | 1.69/1.79 c =============================================================================== 1.69/1.79 c core #19 1.69/1.79 c Core size: 173 Core Weight: 15 Total Weight: -12964 1.69/1.79 c Elapsed CPU time: 1.72174 s Remaining CPU time: 1798.28 s 1.79/1.87 c Learning 7 hard constraints 1.79/1.87 c ============================[ Search Statistics ]============================== 1.79/1.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.87 c =============================================================================== 1.79/1.87 c | 0 | 5905 14327 159880 | 5000 0 nan | 0.000 % | 1.79/1.88 c =============================================================================== 1.79/1.88 c core #20 1.79/1.88 c Core size: 140 Core Weight: 15 Total Weight: -12949 1.79/1.88 c Elapsed CPU time: 1.80673 s Remaining CPU time: 1798.19 s 1.89/1.96 c Learning 5 hard constraints 1.89/1.96 c ============================[ Search Statistics ]============================== 1.89/1.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.89/1.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.89/1.96 c =============================================================================== 1.89/1.96 c | 0 | 6011 14358 160047 | 5000 0 nan | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.98 c core #21 1.89/1.98 c Core size: 175 Core Weight: 5 Total Weight: -12944 1.89/1.98 c Elapsed CPU time: 1.89871 s Remaining CPU time: 1798.1 s 1.99/2.06 c Learning 13 hard constraints 1.99/2.06 c ============================[ Search Statistics ]============================== 1.99/2.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.06 c =============================================================================== 1.99/2.06 c | 0 | 6061 14409 160453 | 5000 0 nan | 0.000 % | 1.99/2.07 c =============================================================================== 1.99/2.07 c core #22 1.99/2.07 c Core size: 270 Core Weight: 5 Total Weight: -12939 1.99/2.07 c Elapsed CPU time: 1.9947 s Remaining CPU time: 1798.01 s 2.10/2.16 c Learning 10 hard constraints 2.10/2.16 c ============================[ Search Statistics ]============================== 2.10/2.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.10/2.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.10/2.16 c =============================================================================== 2.10/2.16 c | 0 | 6152 14509 160856 | 5000 0 nan | 0.000 % | 2.10/2.18 c =============================================================================== 2.10/2.18 c core #23 2.10/2.18 c Core size: 278 Core Weight: 5 Total Weight: -12934 2.10/2.18 c Elapsed CPU time: 2.08968 s Remaining CPU time: 1797.91 s 2.20/2.26 c Learning 11 hard constraints 2.20/2.26 c ============================[ Search Statistics ]============================== 2.20/2.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.20/2.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.20/2.26 c =============================================================================== 2.20/2.26 c | 0 | 6213 14587 161327 | 5000 0 nan | 0.000 % | 2.20/2.29 c =============================================================================== 2.20/2.29 c core #24 2.20/2.29 c Core size: 303 Core Weight: 5 Total Weight: -12929 2.20/2.29 c Elapsed CPU time: 2.19467 s Remaining CPU time: 1797.81 s 2.29/2.37 c Learning 6 hard constraints 2.29/2.37 c ============================[ Search Statistics ]============================== 2.29/2.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.29/2.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.29/2.37 c =============================================================================== 2.29/2.37 c | 0 | 6305 14661 161660 | 5000 0 nan | 0.000 % | 2.39/2.40 c =============================================================================== 2.39/2.40 c core #25 2.39/2.40 c Core size: 303 Core Weight: 5 Total Weight: -12924 2.39/2.40 c Elapsed CPU time: 2.30465 s Remaining CPU time: 1797.7 s 2.39/2.48 c Learning 7 hard constraints 2.39/2.48 c ============================[ Search Statistics ]============================== 2.39/2.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.39/2.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.39/2.48 c =============================================================================== 2.39/2.48 c | 0 | 6403 14735 161977 | 5000 0 nan | 0.000 % | 2.49/2.51 c =============================================================================== 2.49/2.51 c core #26 2.49/2.51 c Core size: 340 Core Weight: 5 Total Weight: -12919 2.49/2.51 c Elapsed CPU time: 2.41363 s Remaining CPU time: 1797.59 s 2.49/2.59 c Learning 17 hard constraints 2.49/2.59 c ============================[ Search Statistics ]============================== 2.49/2.59 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.59 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.59 c =============================================================================== 2.49/2.59 c | 0 | 6500 14807 162596 | 5000 0 nan | 0.000 % | 2.59/2.63 c | 100 | 6500 14807 162596 | 5500 100 73 | 46.874 % | 2.59/2.65 c =============================================================================== 2.59/2.65 c core #27 2.59/2.65 c Core size: 458 Core Weight: 5 Total Weight: -12914 2.59/2.65 c Elapsed CPU time: 2.54761 s Remaining CPU time: 1797.45 s 2.69/2.73 c Learning 37 hard constraints 2.69/2.73 c ============================[ Search Statistics ]============================== 2.69/2.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.69/2.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.69/2.73 c =============================================================================== 2.69/2.73 c | 0 | 6608 14921 163753 | 5000 0 nan | 0.000 % | 2.69/2.76 c | 103 | 6607 14921 163753 | 5500 103 32 | 46.541 % | 2.69/2.77 c =============================================================================== 2.69/2.77 c core #28 2.69/2.77 c Core size: 507 Core Weight: 5 Total Weight: -12909 2.69/2.77 c Elapsed CPU time: 2.67159 s Remaining CPU time: 1797.33 s 2.79/2.86 c Learning 65 hard constraints 2.79/2.86 c ============================[ Search Statistics ]============================== 2.79/2.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.86 c =============================================================================== 2.79/2.86 c | 0 | 6743 15051 166286 | 5017 0 nan | 0.000 % | 2.79/2.86 c =============================================================================== 2.79/2.86 c core #29 2.79/2.86 c Core size: 54 Core Weight: 25 Total Weight: -12884 2.79/2.86 c Elapsed CPU time: 2.75958 s Remaining CPU time: 1797.24 s 2.88/2.95 c ============================[ Search Statistics ]============================== 2.88/2.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.88/2.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.88/2.95 c =============================================================================== 2.88/2.95 c | 0 | 6769 15070 166320 | 5023 0 nan | 0.000 % | 2.88/2.96 c =============================================================================== 2.88/2.96 c core #30 2.88/2.96 c Core size: 55 Core Weight: 25 Total Weight: -12859 2.88/2.96 c Elapsed CPU time: 2.84557 s Remaining CPU time: 1797.15 s 2.99/3.04 c Learning 1 hard constraints 2.99/3.04 c ============================[ Search Statistics ]============================== 2.99/3.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.99/3.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.99/3.04 c =============================================================================== 2.99/3.04 c | 0 | 6808 15082 166456 | 5027 0 nan | 0.000 % | 2.99/3.07 c | 100 | 6808 15082 166456 | 5530 100 68 | 45.742 % | 2.99/3.08 c =============================================================================== 2.99/3.08 c core #31 2.99/3.08 c Core size: 432 Core Weight: 5 Total Weight: -12854 2.99/3.08 c Elapsed CPU time: 2.96255 s Remaining CPU time: 1797.04 s 3.09/3.16 c Learning 38 hard constraints 3.09/3.16 c ============================[ Search Statistics ]============================== 3.09/3.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.16 c =============================================================================== 3.09/3.16 c | 0 | 6912 15184 169148 | 5061 0 nan | 0.000 % | 3.09/3.20 c | 100 | 6910 15184 169148 | 5567 100 98 | 45.341 % | 3.19/3.22 c =============================================================================== 3.19/3.22 c core #32 3.19/3.22 c Core size: 482 Core Weight: 5 Total Weight: -12849 3.19/3.22 c Elapsed CPU time: 3.09653 s Remaining CPU time: 1796.9 s 3.29/3.31 c Learning 9 hard constraints 3.29/3.31 c ============================[ Search Statistics ]============================== 3.29/3.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.29/3.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.29/3.31 c =============================================================================== 3.29/3.31 c | 0 | 7093 15265 169869 | 5088 0 nan | 0.000 % | 3.29/3.33 c | 101 | 7091 15265 169869 | 5597 101 72 | 44.701 % | 3.39/3.42 c =============================================================================== 3.39/3.42 c core #33 3.39/3.42 c Core size: 927 Core Weight: 5 Total Weight: -12844 3.39/3.42 c Elapsed CPU time: 3.2955 s Remaining CPU time: 1796.7 s 3.49/3.51 c Learning 40 hard constraints 3.49/3.51 c ============================[ Search Statistics ]============================== 3.49/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.51 c =============================================================================== 3.49/3.51 c | 0 | 7254 15402 171970 | 5134 0 nan | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c core #34 3.49/3.53 c Core size: 350 Core Weight: 5 Total Weight: -12839 3.49/3.53 c Elapsed CPU time: 3.39948 s Remaining CPU time: 1796.6 s 3.59/3.62 c Learning 24 hard constraints 3.59/3.62 c ============================[ Search Statistics ]============================== 3.59/3.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.59/3.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.59/3.62 c =============================================================================== 3.59/3.62 c | 0 | 7451 15482 172795 | 5160 0 nan | 0.000 % | 3.59/3.70 c =============================================================================== 3.68/3.70 c core #35 3.68/3.70 c Core size: 866 Core Weight: 5 Total Weight: -12834 3.68/3.70 c Elapsed CPU time: 3.55946 s Remaining CPU time: 1796.44 s 3.68/3.78 c Learning 32 hard constraints 3.68/3.78 c ============================[ Search Statistics ]============================== 3.68/3.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.68/3.78 c =============================================================================== 3.68/3.78 c | 0 | 7591 15589 173710 | 5196 0 nan | 0.000 % | 3.79/3.80 c =============================================================================== 3.79/3.80 c core #36 3.79/3.80 c Core size: 84 Core Weight: 5 Total Weight: -12829 3.79/3.80 c Elapsed CPU time: 3.65444 s Remaining CPU time: 1796.35 s 3.79/3.88 c Learning 14 hard constraints 3.79/3.88 c ============================[ Search Statistics ]============================== 3.79/3.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.79/3.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.79/3.88 c =============================================================================== 3.79/3.88 c | 0 | 7612 15616 173870 | 5205 0 nan | 0.000 % | 3.79/3.89 c =============================================================================== 3.79/3.89 c core #37 3.79/3.89 c Core size: 66 Core Weight: 5 Total Weight: -12824 3.79/3.89 c Elapsed CPU time: 3.74543 s Remaining CPU time: 1796.25 s 3.88/3.98 c Learning 3 hard constraints 3.88/3.98 c ============================[ Search Statistics ]============================== 3.88/3.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.88/3.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.88/3.98 c =============================================================================== 3.88/3.98 c | 0 | 7627 15630 173942 | 5210 0 nan | 0.000 % | 3.88/3.99 c =============================================================================== 3.88/3.99 c core #38 3.88/3.99 c Core size: 74 Core Weight: 5 Total Weight: -12819 3.88/3.99 c Elapsed CPU time: 3.83442 s Remaining CPU time: 1796.17 s 3.99/4.07 c Learning 1 hard constraints 3.99/4.07 c ============================[ Search Statistics ]============================== 3.99/4.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.99/4.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.99/4.07 c =============================================================================== 3.99/4.07 c | 0 | 7649 15642 173990 | 5214 0 nan | 0.000 % | 3.99/4.08 c =============================================================================== 3.99/4.08 c core #39 3.99/4.08 c Core size: 73 Core Weight: 5 Total Weight: -12814 3.99/4.08 c Elapsed CPU time: 3.9284 s Remaining CPU time: 1796.07 s 4.08/4.17 c Learning 7 hard constraints 4.08/4.17 c ============================[ Search Statistics ]============================== 4.08/4.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.08/4.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.08/4.17 c =============================================================================== 4.08/4.17 c | 0 | 7660 15660 174094 | 5220 0 nan | 0.000 % | 4.08/4.18 c =============================================================================== 4.08/4.18 c core #40 4.08/4.18 c Core size: 55 Core Weight: 10 Total Weight: -12804 4.08/4.18 c Elapsed CPU time: 4.01639 s Remaining CPU time: 1795.98 s 4.19/4.26 c Learning 3 hard constraints 4.19/4.26 c ============================[ Search Statistics ]============================== 4.19/4.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.19/4.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.19/4.26 c =============================================================================== 4.19/4.26 c | 0 | 7716 15672 174271 | 5224 0 nan | 0.000 % | 4.19/4.27 c =============================================================================== 4.19/4.27 c core #41 4.19/4.27 c Core size: 114 Core Weight: 5 Total Weight: -12799 4.19/4.27 c Elapsed CPU time: 4.10837 s Remaining CPU time: 1795.89 s 4.29/4.36 c Learning 7 hard constraints 4.29/4.36 c ============================[ Search Statistics ]============================== 4.29/4.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.29/4.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.29/4.36 c =============================================================================== 4.29/4.36 c | 0 | 7747 15692 174435 | 5230 0 nan | 0.000 % | 4.29/4.37 c =============================================================================== 4.29/4.37 c core #42 4.29/4.37 c Core size: 122 Core Weight: 5 Total Weight: -12794 4.29/4.37 c Elapsed CPU time: 4.20236 s Remaining CPU time: 1795.8 s 4.39/4.46 c Learning 5 hard constraints 4.39/4.46 c ============================[ Search Statistics ]============================== 4.39/4.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.39/4.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.39/4.46 c =============================================================================== 4.39/4.46 c | 0 | 7776 15706 174535 | 5235 0 nan | 0.000 % | 4.39/4.48 c =============================================================================== 4.39/4.48 c core #43 4.39/4.48 c Core size: 266 Core Weight: 5 Total Weight: -12789 4.39/4.48 c Elapsed CPU time: 4.30234 s Remaining CPU time: 1795.7 s 4.49/4.56 c Learning 21 hard constraints 4.49/4.56 c ============================[ Search Statistics ]============================== 4.49/4.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.49/4.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.49/4.56 c =============================================================================== 4.49/4.56 c | 0 | 7924 15788 174967 | 5262 0 nan | 0.000 % | 4.49/4.59 c | 100 | 7923 15788 174967 | 5788 100 36 | 41.228 % | 4.58/4.60 c =============================================================================== 4.58/4.60 c core #44 4.58/4.60 c Core size: 215 Core Weight: 5 Total Weight: -12784 4.58/4.60 c Elapsed CPU time: 4.42133 s Remaining CPU time: 1795.58 s 4.58/4.69 c Learning 9 hard constraints 4.58/4.69 c ============================[ Search Statistics ]============================== 4.58/4.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.58/4.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.58/4.69 c =============================================================================== 4.58/4.69 c | 0 | 8050 15826 175269 | 5275 0 nan | 0.000 % | 4.68/4.72 c | 100 | 8050 15826 175269 | 5802 100 47 | 40.709 % | 4.68/4.74 c | 250 | 8049 15826 175269 | 6383 250 29 | 40.716 % | 4.68/4.76 c =============================================================================== 4.68/4.77 c core #45 4.68/4.77 c Core size: 164 Core Weight: 5 Total Weight: -12779 4.68/4.77 c Elapsed CPU time: 4.5803 s Remaining CPU time: 1795.42 s 4.78/4.85 c Learning 11 hard constraints 4.78/4.85 c ============================[ Search Statistics ]============================== 4.78/4.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 4.78/4.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 4.78/4.85 c =============================================================================== 4.78/4.85 c | 0 | 8121 15846 175569 | 5282 0 nan | 0.000 % | 4.78/4.88 c | 101 | 8121 15846 175569 | 5810 101 71 | 40.501 % | 4.88/4.90 c | 254 | 8121 15846 175569 | 6391 254 50 | 40.501 % | 4.88/4.94 c | 482 | 8121 15846 175569 | 7030 482 45 | 40.501 % | 4.88/4.97 c | 821 | 8121 15846 175569 | 7733 821 37 | 40.501 % | 4.98/5.05 c | 1328 | 8121 15846 175569 | 8506 1328 36 | 40.501 % | 5.08/5.17 c | 2089 | 8121 15846 175569 | 9357 2089 46 | 40.501 % | 5.28/5.35 c | 3229 | 8120 15846 175569 | 10293 2659 38 | 40.508 % | 5.39/5.46 c =============================================================================== 5.39/5.48 c core #46 5.39/5.48 c Core size: 144 Core Weight: 5 Total Weight: -12774 5.39/5.48 c Elapsed CPU time: 5.2822 s Remaining CPU time: 1794.72 s 5.48/5.57 c Learning 2 hard constraints 5.48/5.57 c ============================[ Search Statistics ]============================== 5.48/5.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.48/5.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.48/5.57 c =============================================================================== 5.48/5.57 c | 0 | 8195 15857 175718 | 5285 0 nan | 0.000 % | 5.57/5.61 c | 100 | 8195 15857 175718 | 5814 100 91 | 40.283 % | 5.57/5.63 c | 250 | 8195 15857 175718 | 6395 250 59 | 40.283 % | 5.57/5.63 c =============================================================================== 5.57/5.63 c core #47 5.57/5.63 c Core size: 54 Core Weight: 390 Total Weight: -12384 5.57/5.63 c Elapsed CPU time: 5.42317 s Remaining CPU time: 1794.58 s 5.68/5.72 c Learning 36 hard constraints 5.68/5.72 c ============================[ Search Statistics ]============================== 5.68/5.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.68/5.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.68/5.72 c =============================================================================== 5.68/5.72 c | 0 | 8262 15896 176044 | 5298 0 nan | 0.000 % | 5.68/5.73 c =============================================================================== 5.68/5.73 c core #48 5.68/5.73 c Core size: 151 Core Weight: 5 Total Weight: -12379 5.68/5.73 c Elapsed CPU time: 5.52116 s Remaining CPU time: 1794.48 s 5.78/5.82 c Learning 3 hard constraints 5.78/5.82 c ============================[ Search Statistics ]============================== 5.78/5.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.78/5.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.78/5.82 c =============================================================================== 5.78/5.82 c | 0 | 8291 15908 176132 | 5302 0 nan | 0.000 % | 5.78/5.83 c =============================================================================== 5.78/5.83 c core #49 5.78/5.83 c Core size: 115 Core Weight: 5 Total Weight: -12374 5.78/5.83 c Elapsed CPU time: 5.61815 s Remaining CPU time: 1794.38 s 5.88/5.92 c Learning 2 hard constraints 5.88/5.92 c ============================[ Search Statistics ]============================== 5.88/5.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.88/5.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.88/5.92 c =============================================================================== 5.88/5.92 c | 0 | 8340 15918 176256 | 5306 0 nan | 0.000 % | 5.88/5.95 c | 102 | 8340 15918 176256 | 5836 102 37 | 39.587 % | 5.88/5.96 c =============================================================================== 5.88/5.96 c core #50 5.88/5.96 c Core size: 150 Core Weight: 5 Total Weight: -12369 5.88/5.96 c Elapsed CPU time: 5.74213 s Remaining CPU time: 1794.26 s 5.98/6.05 c Learning 6 hard constraints 5.98/6.05 c ============================[ Search Statistics ]============================== 5.98/6.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.98/6.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.98/6.05 c =============================================================================== 5.98/6.05 c | 0 | 8396 15932 176493 | 5310 0 nan | 0.000 % | 5.98/6.07 c | 100 | 8396 15932 176493 | 5841 100 38 | 39.427 % | 5.98/6.09 c | 250 | 8396 15932 176493 | 6425 250 38 | 39.427 % | 6.08/6.11 c | 476 | 8396 15932 176493 | 7068 476 34 | 39.427 % | 6.08/6.16 c | 813 | 8396 15932 176493 | 7775 813 37 | 39.427 % | 6.17/6.27 c | 1319 | 8396 15932 176493 | 8552 1319 45 | 39.427 % | 6.27/6.36 c =============================================================================== 6.27/6.37 c core #51 6.27/6.37 c Core size: 254 Core Weight: 5 Total Weight: -12364 6.27/6.37 c Elapsed CPU time: 6.14207 s Remaining CPU time: 1793.86 s 6.37/6.46 c ============================[ Search Statistics ]============================== 6.37/6.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.37/6.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.37/6.46 c =============================================================================== 6.37/6.46 c | 0 | 8473 15949 176631 | 5316 0 nan | 0.000 % | 6.37/6.48 c | 100 | 8473 15949 176631 | 5847 100 50 | 39.209 % | 6.47/6.51 c | 250 | 8473 15949 176631 | 6432 250 47 | 39.209 % | 6.47/6.52 c =============================================================================== 6.47/6.52 c core #52 6.47/6.52 c Core size: 230 Core Weight: 20 Total Weight: -12344 6.47/6.52 c Elapsed CPU time: 6.29104 s Remaining CPU time: 1793.71 s 6.58/6.61 c Learning 57 hard constraints 6.58/6.61 c ============================[ Search Statistics ]============================== 6.58/6.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.58/6.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.58/6.61 c =============================================================================== 6.58/6.61 c | 0 | 8496 16023 177590 | 5341 0 nan | 0.000 % | 6.58/6.63 c =============================================================================== 6.58/6.63 c core #53 6.58/6.63 c Core size: 228 Core Weight: 5 Total Weight: -12339 6.58/6.63 c Elapsed CPU time: 6.39503 s Remaining CPU time: 1793.6 s 6.67/6.72 c Learning 11 hard constraints 6.67/6.72 c ============================[ Search Statistics ]============================== 6.67/6.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.67/6.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.67/6.72 c =============================================================================== 6.67/6.72 c | 0 | 8589 16050 177993 | 5350 0 nan | 0.000 % | 6.67/6.72 c =============================================================================== 6.67/6.72 c core #54 6.67/6.72 c Core size: 148 Core Weight: 5 Total Weight: -12334 6.67/6.72 c Elapsed CPU time: 6.48701 s Remaining CPU time: 1793.51 s 6.77/6.81 c Learning 2 hard constraints 6.77/6.81 c ============================[ Search Statistics ]============================== 6.77/6.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.77/6.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.77/6.81 c =============================================================================== 6.77/6.81 c | 0 | 8628 16069 178109 | 5356 0 nan | 0.000 % | 6.77/6.82 c =============================================================================== 6.77/6.82 c core #55 6.77/6.82 c Core size: 133 Core Weight: 5 Total Weight: -12329 6.77/6.82 c Elapsed CPU time: 6.581 s Remaining CPU time: 1793.42 s 6.87/6.91 c Learning 6 hard constraints 6.87/6.91 c ============================[ Search Statistics ]============================== 6.87/6.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.87/6.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.87/6.91 c =============================================================================== 6.87/6.91 c | 0 | 8652 16088 178218 | 5362 0 nan | 0.000 % | 6.87/6.92 c =============================================================================== 6.87/6.92 c core #56 6.87/6.92 c Core size: 119 Core Weight: 5 Total Weight: -12324 6.87/6.92 c Elapsed CPU time: 6.67498 s Remaining CPU time: 1793.33 s 6.98/7.01 c ============================[ Search Statistics ]============================== 6.98/7.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.98/7.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.98/7.01 c =============================================================================== 6.98/7.01 c | 0 | 8682 16101 178266 | 5367 0 nan | 0.000 % | 6.98/7.02 c =============================================================================== 6.98/7.02 c core #57 6.98/7.02 c Core size: 138 Core Weight: 5 Total Weight: -12319 6.98/7.02 c Elapsed CPU time: 6.77097 s Remaining CPU time: 1793.23 s 7.07/7.10 c Learning 3 hard constraints 7.07/7.10 c ============================[ Search Statistics ]============================== 7.07/7.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.07/7.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.07/7.10 c =============================================================================== 7.07/7.10 c | 0 | 8739 16119 178563 | 5373 0 nan | 0.000 % | 7.07/7.12 c =============================================================================== 7.07/7.12 c core #58 7.07/7.12 c Core size: 176 Core Weight: 5 Total Weight: -12314 7.07/7.12 c Elapsed CPU time: 6.86596 s Remaining CPU time: 1793.13 s 7.17/7.20 c Learning 5 hard constraints 7.17/7.20 c ============================[ Search Statistics ]============================== 7.17/7.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.17/7.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.17/7.20 c =============================================================================== 7.17/7.20 c | 0 | 8792 16144 178772 | 5381 0 nan | 0.000 % | 7.17/7.22 c =============================================================================== 7.17/7.22 c core #59 7.17/7.22 c Core size: 211 Core Weight: 5 Total Weight: -12309 7.17/7.22 c Elapsed CPU time: 6.97194 s Remaining CPU time: 1793.03 s 7.27/7.31 c ============================[ Search Statistics ]============================== 7.27/7.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.27/7.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.27/7.31 c =============================================================================== 7.27/7.31 c | 0 | 8875 16162 178942 | 5387 0 nan | 0.000 % | 7.27/7.34 c | 101 | 8875 16162 178942 | 5926 101 57 | 37.737 % | 7.27/7.36 c =============================================================================== 7.27/7.36 c core #60 7.27/7.36 c Core size: 219 Core Weight: 5 Total Weight: -12304 7.27/7.36 c Elapsed CPU time: 7.10492 s Remaining CPU time: 1792.9 s 7.37/7.45 c Learning 12 hard constraints 7.37/7.45 c ============================[ Search Statistics ]============================== 7.37/7.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.37/7.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.37/7.45 c =============================================================================== 7.37/7.45 c | 0 | 8939 16190 179369 | 5396 0 nan | 0.000 % | 7.37/7.48 c | 109 | 8939 16190 179369 | 5936 109 40 | 37.581 % | 7.47/7.50 c | 260 | 8904 16190 179369 | 6529 260 37 | 39.976 % | 7.47/7.51 c =============================================================================== 7.47/7.52 c core #61 7.47/7.52 c Core size: 327 Core Weight: 5 Total Weight: -12299 7.47/7.52 c Elapsed CPU time: 7.2529 s Remaining CPU time: 1792.75 s 7.57/7.61 c Learning 10 hard constraints 7.57/7.61 c ============================[ Search Statistics ]============================== 7.57/7.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.57/7.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.57/7.61 c =============================================================================== 7.57/7.61 c | 0 | 8761 16212 179673 | 5404 0 nan | 0.000 % | 7.57/7.62 c =============================================================================== 7.57/7.62 c core #62 7.57/7.62 c Core size: 117 Core Weight: 55 Total Weight: -12244 7.57/7.62 c Elapsed CPU time: 7.34688 s Remaining CPU time: 1792.65 s 7.68/7.71 c Learning 32 hard constraints 7.68/7.71 c ============================[ Search Statistics ]============================== 7.68/7.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.68/7.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.68/7.71 c =============================================================================== 7.68/7.71 c | 0 | 8766 16247 180086 | 5415 0 nan | 0.000 % | 7.68/7.72 c =============================================================================== 7.68/7.72 c core #63 7.68/7.72 c Core size: 204 Core Weight: 5 Total Weight: -12239 7.68/7.72 c Elapsed CPU time: 7.44087 s Remaining CPU time: 1792.56 s 7.77/7.81 c ============================[ Search Statistics ]============================== 7.77/7.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.77/7.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.77/7.81 c =============================================================================== 7.77/7.81 c | 0 | 8819 16276 180173 | 5425 0 nan | 0.000 % | 7.77/7.85 c | 100 | 8774 16276 180173 | 5967 100 43 | 40.075 % | 7.77/7.88 c =============================================================================== 7.77/7.88 c core #64 7.77/7.88 c Core size: 739 Core Weight: 5 Total Weight: -12234 7.77/7.88 c Elapsed CPU time: 7.59485 s Remaining CPU time: 1792.41 s 7.87/7.97 c Learning 93 hard constraints 7.87/7.97 c ============================[ Search Statistics ]============================== 7.87/7.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.87/7.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.87/7.97 c =============================================================================== 7.87/7.97 c | 0 | 8867 16422 181703 | 5474 0 nan | 0.000 % | 7.87/7.99 c =============================================================================== 7.87/7.99 c core #65 7.87/7.99 c Core size: 281 Core Weight: 5 Total Weight: -12229 7.87/7.99 c Elapsed CPU time: 7.69883 s Remaining CPU time: 1792.3 s 7.96/8.08 c Learning 13 hard constraints 7.96/8.08 c ============================[ Search Statistics ]============================== 7.96/8.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.96/8.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 7.96/8.08 c =============================================================================== 7.96/8.08 c | 0 | 8903 16469 182017 | 5489 0 nan | 0.000 % | 7.96/8.08 c =============================================================================== 7.96/8.08 c core #66 7.96/8.08 c Core size: 148 Core Weight: 5 Total Weight: -12224 7.96/8.08 c Elapsed CPU time: 7.79282 s Remaining CPU time: 1792.21 s 8.07/8.17 c Learning 2 hard constraints 8.07/8.17 c ============================[ Search Statistics ]============================== 8.07/8.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.07/8.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.07/8.17 c =============================================================================== 8.07/8.17 c | 0 | 8937 16489 182199 | 5496 0 nan | 0.000 % | 8.07/8.18 c =============================================================================== 8.07/8.18 c core #67 8.07/8.18 c Core size: 182 Core Weight: 5 Total Weight: -12219 8.07/8.18 c Elapsed CPU time: 7.8878 s Remaining CPU time: 1792.11 s 8.17/8.27 c Learning 2 hard constraints 8.17/8.27 c ============================[ Search Statistics ]============================== 8.17/8.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.17/8.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.17/8.27 c =============================================================================== 8.17/8.27 c | 0 | 8981 16511 182365 | 5503 0 nan | 0.000 % | 8.17/8.29 c =============================================================================== 8.17/8.29 c core #68 8.17/8.29 c Core size: 225 Core Weight: 5 Total Weight: -12214 8.17/8.29 c Elapsed CPU time: 7.99878 s Remaining CPU time: 1792 s 8.27/8.38 c Learning 4 hard constraints 8.27/8.38 c ============================[ Search Statistics ]============================== 8.27/8.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.27/8.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.27/8.38 c =============================================================================== 8.27/8.38 c | 0 | 9054 16535 182585 | 5511 0 nan | 0.000 % | 8.36/8.41 c | 101 | 9054 16535 182585 | 6062 101 53 | 38.488 % | 8.36/8.43 c | 252 | 9054 16535 182585 | 6669 252 63 | 38.488 % | 8.36/8.48 c | 478 | 9054 16535 182585 | 7336 478 70 | 38.522 % | 8.46/8.53 c =============================================================================== 8.46/8.54 c core #69 8.46/8.54 c Core size: 941 Core Weight: 5 Total Weight: -12209 8.46/8.54 c Elapsed CPU time: 8.23275 s Remaining CPU time: 1791.77 s 8.56/8.63 c Learning 8 hard constraints 8.56/8.63 c ============================[ Search Statistics ]============================== 8.56/8.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.56/8.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.56/8.63 c =============================================================================== 8.56/8.63 c | 0 | 9273 16607 183297 | 5535 0 nan | 0.000 % | 8.56/8.65 c | 102 | 9272 16607 183297 | 6089 102 33 | 37.973 % | 8.56/8.68 c | 253 | 9271 16607 183297 | 6698 253 44 | 37.973 % | 8.67/8.72 c | 480 | 9271 16607 183297 | 7367 480 47 | 37.973 % | 8.67/8.78 c | 819 | 9265 16607 183297 | 8104 817 59 | 37.973 % | 8.77/8.88 c | 1326 | 9265 16607 183297 | 8915 1324 55 | 37.973 % | 8.77/8.88 c =============================================================================== 8.86/8.90 c core #70 8.86/8.90 c Core size: 450 Core Weight: 5 Total Weight: -12204 8.86/8.90 c Elapsed CPU time: 8.58769 s Remaining CPU time: 1791.41 s 8.86/8.99 c Learning 6 hard constraints 8.86/8.99 c ============================[ Search Statistics ]============================== 8.86/8.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.86/8.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.86/8.99 c =============================================================================== 8.86/8.99 c | 0 | 9431 16657 183753 | 5552 0 nan | 0.000 % | 8.96/9.00 c =============================================================================== 8.96/9.00 c core #71 8.96/9.00 c Core size: 115 Core Weight: 20 Total Weight: -12184 8.96/9.00 c Elapsed CPU time: 8.68568 s Remaining CPU time: 1791.31 s 8.96/9.09 c Learning 2 hard constraints 8.96/9.09 c ============================[ Search Statistics ]============================== 8.96/9.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.96/9.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.96/9.09 c =============================================================================== 8.96/9.09 c | 0 | 9437 16663 183937 | 5554 0 nan | 0.000 % | 9.06/9.10 c =============================================================================== 9.06/9.10 c core #72 9.06/9.10 c Core size: 122 Core Weight: 5 Total Weight: -12179 9.06/9.10 c Elapsed CPU time: 8.78067 s Remaining CPU time: 1791.22 s 9.06/9.19 c Learning 1 hard constraints 9.06/9.19 c ============================[ Search Statistics ]============================== 9.06/9.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.06/9.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.06/9.19 c =============================================================================== 9.06/9.19 c | 0 | 9449 16670 183984 | 5556 0 nan | 0.000 % | 9.16/9.20 c =============================================================================== 9.16/9.20 c core #73 9.16/9.20 c Core size: 78 Core Weight: 5 Total Weight: -12174 9.16/9.20 c Elapsed CPU time: 8.87765 s Remaining CPU time: 1791.12 s 9.16/9.29 c ============================[ Search Statistics ]============================== 9.16/9.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.16/9.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.16/9.29 c =============================================================================== 9.16/9.29 c | 0 | 9464 16676 184015 | 5558 0 nan | 0.000 % | 9.26/9.31 c =============================================================================== 9.26/9.31 c core #74 9.26/9.31 c Core size: 261 Core Weight: 5 Total Weight: -12169 9.26/9.31 c Elapsed CPU time: 8.97763 s Remaining CPU time: 1791.02 s 9.36/9.40 c ============================[ Search Statistics ]============================== 9.36/9.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.36/9.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.36/9.40 c =============================================================================== 9.36/9.40 c | 0 | 9535 16708 184150 | 5569 0 nan | 0.000 % | 9.36/9.47 c =============================================================================== 9.36/9.47 c core #75 9.36/9.47 c Core size: 334 Core Weight: 5 Total Weight: -12164 9.36/9.47 c Elapsed CPU time: 9.14061 s Remaining CPU time: 1790.86 s 9.46/9.56 c Learning 2 hard constraints 9.46/9.56 c ============================[ Search Statistics ]============================== 9.46/9.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.46/9.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.46/9.56 c =============================================================================== 9.46/9.56 c | 0 | 9655 16735 184546 | 5578 0 nan | 0.000 % | 9.56/9.65 c | 101 | 9654 16735 184546 | 6136 101 73 | 36.960 % | 9.56/9.69 c | 251 | 9652 16735 184546 | 6749 251 57 | 36.973 % | 9.66/9.71 c =============================================================================== 9.66/9.71 c core #76 9.66/9.71 c Core size: 465 Core Weight: 5 Total Weight: -12159 9.66/9.71 c Elapsed CPU time: 9.36957 s Remaining CPU time: 1790.63 s 9.76/9.80 c Learning 31 hard constraints 9.76/9.80 c ============================[ Search Statistics ]============================== 9.76/9.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 9.76/9.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 9.76/9.80 c =============================================================================== 9.76/9.80 c | 0 | 9801 16794 185834 | 5598 0 nan | 0.000 % | 9.76/9.87 c | 100 | 9799 16794 185834 | 6157 100 82 | 37.057 % | 9.86/9.91 c | 250 | 9696 16794 185834 | 6773 250 49 | 37.730 % | 9.86/9.97 c | 475 | 9625 16794 185834 | 7450 417 43 | 40.569 % | 9.95/10.05 c | 817 | 9155 16794 185834 | 8196 742 55 | 40.783 % | 9.95/10.07 c =============================================================================== 9.95/10.08 c core #77 9.95/10.08 c Core size: 647 Core Weight: 5 Total Weight: -12154 9.95/10.08 c Elapsed CPU time: 9.73652 s Remaining CPU time: 1790.26 s 10.05/10.17 c Learning 11 hard constraints 10.05/10.17 c ============================[ Search Statistics ]============================== 10.05/10.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.05/10.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.05/10.18 c =============================================================================== 10.05/10.18 c | 0 | 9998 16836 186442 | 5612 0 nan | 0.000 % | 10.16/10.24 c | 102 | 9997 16836 186442 | 6173 102 97 | 36.150 % | 10.16/10.29 c =============================================================================== 10.16/10.29 c core #78 10.16/10.29 c Core size: 540 Core Weight: 5 Total Weight: -12149 10.16/10.29 c Elapsed CPU time: 9.93849 s Remaining CPU time: 1790.06 s 10.26/10.38 c Learning 82 hard constraints 10.26/10.38 c ============================[ Search Statistics ]============================== 10.26/10.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.26/10.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.26/10.38 c =============================================================================== 10.26/10.38 c | 0 | 10040 16949 188274 | 5649 0 nan | 0.000 % | 10.36/10.43 c =============================================================================== 10.36/10.43 c core #79 10.36/10.43 c Core size: 305 Core Weight: 5 Total Weight: -12144 10.36/10.43 c Elapsed CPU time: 10.0805 s Remaining CPU time: 1789.92 s 10.46/10.52 c Learning 12 hard constraints 10.46/10.52 c ============================[ Search Statistics ]============================== 10.46/10.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.46/10.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.46/10.52 c =============================================================================== 10.46/10.52 c | 0 | 10081 16984 188836 | 5661 0 nan | 0.000 % | 10.46/10.58 c =============================================================================== 10.46/10.59 c core #80 10.46/10.59 c Core size: 759 Core Weight: 5 Total Weight: -12139 10.46/10.59 c Elapsed CPU time: 10.2294 s Remaining CPU time: 1789.77 s 10.55/10.68 c Learning 9 hard constraints 10.55/10.68 c ============================[ Search Statistics ]============================== 10.55/10.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.55/10.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.55/10.68 c =============================================================================== 10.55/10.68 c | 0 | 10185 17039 189373 | 5679 0 nan | 0.000 % | 10.66/10.72 c | 100 | 10184 17039 189373 | 6247 100 45 | 35.856 % | 10.66/10.74 c =============================================================================== 10.66/10.74 c core #81 10.66/10.74 c Core size: 568 Core Weight: 5 Total Weight: -12134 10.66/10.74 c Elapsed CPU time: 10.3734 s Remaining CPU time: 1789.63 s 10.76/10.83 c Learning 70 hard constraints 10.76/10.83 c ============================[ Search Statistics ]============================== 10.76/10.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.76/10.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.76/10.83 c =============================================================================== 10.76/10.83 c | 0 | 10266 17138 191067 | 5712 0 nan | 0.000 % | 10.76/10.90 c =============================================================================== 10.76/10.90 c core #82 10.76/10.90 c Core size: 512 Core Weight: 5 Total Weight: -12129 10.76/10.90 c Elapsed CPU time: 10.5274 s Remaining CPU time: 1789.47 s 10.86/10.99 c Learning 11 hard constraints 10.86/10.99 c ============================[ Search Statistics ]============================== 10.86/10.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.86/10.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.86/10.99 c =============================================================================== 10.86/10.99 c | 0 | 10339 17180 191556 | 5726 0 nan | 0.000 % | 10.96/11.03 c | 101 | 10335 17180 191556 | 6299 101 51 | 35.515 % | 10.96/11.08 c | 251 | 10335 17180 191556 | 6929 251 61 | 35.515 % | 11.06/11.13 c =============================================================================== 11.06/11.13 c core #83 11.06/11.13 c Core size: 501 Core Weight: 5 Total Weight: -12124 11.06/11.13 c Elapsed CPU time: 10.7564 s Remaining CPU time: 1789.24 s 11.15/11.22 c Learning 11 hard constraints 11.15/11.22 c ============================[ Search Statistics ]============================== 11.15/11.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.15/11.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.15/11.23 c =============================================================================== 11.15/11.23 c | 0 | 10291 17215 192528 | 5738 0 nan | 0.000 % | 11.15/11.25 c | 100 | 10291 17215 192528 | 6312 100 21 | 36.295 % | 11.15/11.28 c | 255 | 10291 17215 192528 | 6943 255 20 | 36.294 % | 11.25/11.34 c | 481 | 10267 17215 192528 | 7637 232 67 | 36.511 % | 11.36/11.42 c | 819 | 10267 17215 192528 | 8401 570 79 | 36.511 % | 11.46/11.54 c | 1325 | 10256 17215 192528 | 9241 1066 98 | 36.511 % | 11.46/11.56 c =============================================================================== 11.46/11.56 c core #84 11.46/11.56 c Core size: 316 Core Weight: 5 Total Weight: -12119 11.46/11.56 c Elapsed CPU time: 11.1803 s Remaining CPU time: 1788.82 s 11.56/11.66 c Learning 7 hard constraints 11.56/11.66 c ============================[ Search Statistics ]============================== 11.56/11.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.56/11.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.56/11.66 c =============================================================================== 11.56/11.66 c | 0 | 10339 17237 192833 | 5745 0 nan | 0.000 % | 11.56/11.69 c | 100 | 10339 17237 192833 | 6320 100 35 | 36.187 % | 11.65/11.72 c | 250 | 10339 17237 192833 | 6952 250 32 | 36.187 % | 11.65/11.76 c | 476 | 10339 17237 192833 | 7647 476 32 | 36.187 % | 11.75/11.82 c | 815 | 10339 17237 192833 | 8412 815 31 | 36.187 % | 11.85/11.92 c | 1324 | 10339 17237 192833 | 9253 1324 32 | 36.187 % | 12.06/12.10 c | 2084 | 10337 17237 192833 | 10178 2083 33 | 37.958 % | 12.35/12.41 c =============================================================================== 12.35/12.44 c core #85 12.35/12.44 c Core size: 304 Core Weight: 5 Total Weight: -12114 12.35/12.44 c Elapsed CPU time: 12.0482 s Remaining CPU time: 1787.95 s 12.46/12.54 c ============================[ Search Statistics ]============================== 12.46/12.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.46/12.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.46/12.54 c =============================================================================== 12.46/12.54 c | 0 | 10395 17248 192935 | 5749 0 nan | 0.000 % | 12.46/12.56 c | 100 | 10395 17248 192935 | 6324 100 49 | 36.062 % | 12.46/12.59 c | 251 | 10395 17248 192935 | 6956 251 42 | 36.062 % | 12.55/12.62 c | 479 | 10395 17248 192935 | 7652 479 41 | 36.062 % | 12.55/12.67 c | 817 | 10365 17248 192935 | 8417 816 38 | 36.247 % | 12.65/12.75 c | 1326 | 10365 17248 192935 | 9259 1325 39 | 36.247 % | 12.85/12.90 c | 2087 | 10365 17248 192935 | 10185 2086 40 | 36.247 % | 13.05/13.11 c =============================================================================== 13.05/13.11 c core #86 13.05/13.11 c Core size: 147 Core Weight: 5 Total Weight: -12109 13.05/13.11 c Elapsed CPU time: 12.7071 s Remaining CPU time: 1787.29 s 13.16/13.21 c Learning 4 hard constraints 13.16/13.21 c ============================[ Search Statistics ]============================== 13.16/13.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.16/13.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.16/13.21 c =============================================================================== 13.16/13.21 c | 0 | 10477 17263 193111 | 5754 0 nan | 0.000 % | 13.16/13.24 c | 102 | 10477 17263 193111 | 6329 102 72 | 35.681 % | 13.16/13.25 c =============================================================================== 13.16/13.25 c core #87 13.16/13.25 c Core size: 116 Core Weight: 5 Total Weight: -12104 13.16/13.25 c Elapsed CPU time: 12.841 s Remaining CPU time: 1787.16 s 13.25/13.34 c Learning 2 hard constraints 13.25/13.34 c ============================[ Search Statistics ]============================== 13.25/13.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.25/13.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.25/13.34 c =============================================================================== 13.25/13.34 c | 0 | 10521 17275 193244 | 5758 0 nan | 0.000 % | 13.25/13.36 c =============================================================================== 13.25/13.36 c core #88 13.25/13.36 c Core size: 110 Core Weight: 10 Total Weight: -12094 13.25/13.36 c Elapsed CPU time: 12.95 s Remaining CPU time: 1787.05 s 13.35/13.45 c Learning 8 hard constraints 13.35/13.45 c ============================[ Search Statistics ]============================== 13.35/13.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.35/13.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.35/13.45 c =============================================================================== 13.35/13.45 c | 0 | 10531 17287 193445 | 5762 0 nan | 0.000 % | 13.35/13.46 c =============================================================================== 13.35/13.46 c core #89 13.35/13.46 c Core size: 109 Core Weight: 5 Total Weight: -12089 13.35/13.46 c Elapsed CPU time: 13.049 s Remaining CPU time: 1786.95 s 13.45/13.55 c ============================[ Search Statistics ]============================== 13.45/13.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.45/13.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.45/13.55 c =============================================================================== 13.45/13.55 c | 0 | 10544 17291 193468 | 5763 0 nan | 0.000 % | 13.45/13.56 c =============================================================================== 13.45/13.56 c core #90 13.45/13.56 c Core size: 99 Core Weight: 5 Total Weight: -12084 13.45/13.56 c Elapsed CPU time: 13.15 s Remaining CPU time: 1786.85 s 13.55/13.66 c ============================[ Search Statistics ]============================== 13.55/13.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.55/13.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.55/13.66 c =============================================================================== 13.55/13.66 c | 0 | 10551 17295 193534 | 5765 0 nan | 0.000 % | 13.55/13.66 c =============================================================================== 13.55/13.66 c core #91 13.55/13.66 c Core size: 94 Core Weight: 5 Total Weight: -12079 13.55/13.66 c Elapsed CPU time: 13.243 s Remaining CPU time: 1786.76 s 13.65/13.76 c ============================[ Search Statistics ]============================== 13.65/13.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.65/13.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.65/13.76 c =============================================================================== 13.65/13.76 c | 0 | 10556 17299 193544 | 5766 0 nan | 0.000 % | 13.65/13.77 c =============================================================================== 13.65/13.77 c core #92 13.65/13.77 c Core size: 94 Core Weight: 5 Total Weight: -12074 13.65/13.77 c Elapsed CPU time: 13.336 s Remaining CPU time: 1786.66 s 13.75/13.86 c ============================[ Search Statistics ]============================== 13.75/13.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.75/13.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.75/13.86 c =============================================================================== 13.75/13.86 c | 0 | 10561 17303 193554 | 5767 0 nan | 0.000 % | 13.75/13.87 c =============================================================================== 13.75/13.87 c core #93 13.75/13.87 c Core size: 100 Core Weight: 5 Total Weight: -12069 13.75/13.87 c Elapsed CPU time: 13.432 s Remaining CPU time: 1786.57 s 13.85/13.96 c ============================[ Search Statistics ]============================== 13.85/13.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.85/13.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.85/13.96 c =============================================================================== 13.85/13.96 c | 0 | 10569 17306 193568 | 5768 0 nan | 0.000 % | 13.85/13.97 c =============================================================================== 13.85/13.97 c core #94 13.85/13.97 c Core size: 119 Core Weight: 5 Total Weight: -12064 13.85/13.97 c Elapsed CPU time: 13.5309 s Remaining CPU time: 1786.47 s 13.94/14.06 c ============================[ Search Statistics ]============================== 13.94/14.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.94/14.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.94/14.06 c =============================================================================== 13.94/14.06 c | 0 | 10586 17309 193600 | 5769 0 nan | 0.000 % | 13.94/14.07 c =============================================================================== 13.94/14.07 c core #95 13.94/14.07 c Core size: 112 Core Weight: 5 Total Weight: -12059 13.94/14.07 c Elapsed CPU time: 13.6289 s Remaining CPU time: 1786.37 s 14.05/14.16 c ============================[ Search Statistics ]============================== 14.05/14.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.05/14.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.05/14.16 c =============================================================================== 14.05/14.16 c | 0 | 10601 17312 193628 | 5770 0 nan | 0.000 % | 14.05/14.18 c =============================================================================== 14.05/14.18 c core #96 14.05/14.18 c Core size: 127 Core Weight: 5 Total Weight: -12054 14.05/14.18 c Elapsed CPU time: 13.7289 s Remaining CPU time: 1786.27 s 14.15/14.27 c ============================[ Search Statistics ]============================== 14.15/14.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.15/14.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.15/14.27 c =============================================================================== 14.15/14.27 c | 0 | 10624 17315 193672 | 5771 0 nan | 0.000 % | 14.15/14.28 c | 101 | 10624 17315 193672 | 6348 101 20 | 35.354 % | 14.15/14.29 c | 252 | 10624 17315 193672 | 6983 252 18 | 35.354 % | 14.25/14.31 c =============================================================================== 14.25/14.32 c core #97 14.25/14.32 c Core size: 129 Core Weight: 5 Total Weight: -12049 14.25/14.32 c Elapsed CPU time: 13.8619 s Remaining CPU time: 1786.14 s 14.34/14.41 c ============================[ Search Statistics ]============================== 14.34/14.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.34/14.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.34/14.41 c =============================================================================== 14.34/14.41 c | 0 | 10648 17318 193718 | 5772 0 nan | 0.000 % | 14.34/14.42 c | 101 | 10648 17318 193718 | 6349 101 30 | 35.303 % | 14.34/14.43 c | 251 | 10648 17318 193718 | 6984 251 30 | 35.303 % | 14.34/14.45 c | 476 | 10648 17318 193718 | 7683 476 29 | 35.309 % | 14.34/14.48 c | 814 | 10648 17318 193718 | 8451 814 28 | 35.309 % | 14.44/14.53 c | 1320 | 10648 17318 193718 | 9296 1320 28 | 35.309 % | 14.54/14.63 c | 2079 | 10648 17318 193718 | 10226 2079 27 | 35.309 % | 14.65/14.78 c | 3218 | 10647 17318 193718 | 11249 3217 26 | 35.309 % | 14.84/14.93 c =============================================================================== 14.84/14.97 c core #98 14.84/14.97 c Core size: 138 Core Weight: 5 Total Weight: -12044 14.84/14.97 c Elapsed CPU time: 14.4998 s Remaining CPU time: 1785.5 s 14.94/15.06 c ============================[ Search Statistics ]============================== 14.94/15.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.94/15.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.94/15.07 c =============================================================================== 14.94/15.07 c | 0 | 10677 17321 193774 | 5773 0 nan | 0.000 % | 14.94/15.08 c | 101 | 10677 17321 193774 | 6351 101 40 | 35.241 % | 14.94/15.09 c | 251 | 10677 17321 193774 | 6986 251 41 | 35.241 % | 15.05/15.11 c | 477 | 10677 17321 193774 | 7684 477 40 | 35.247 % | 15.05/15.14 c | 814 | 10677 17321 193774 | 8453 814 40 | 35.247 % | 15.14/15.21 c | 1321 | 10677 17321 193774 | 9298 1321 42 | 35.247 % | 15.25/15.33 c | 2081 | 10676 17321 193774 | 10228 2080 42 | 35.247 % | 15.44/15.52 c | 3220 | 10676 17321 193774 | 11251 3219 41 | 35.247 % | 15.84/15.90 c | 4934 | 10676 17321 193774 | 12376 4933 41 | 35.247 % | 16.44/16.57 c | 7497 | 10676 17321 193774 | 13614 7496 42 | 35.247 % | 17.95/18.05 c | 11343 | 10676 17321 193774 | 14975 11342 41 | 35.247 % | 19.34/19.42 c =============================================================================== 19.54/19.63 c core #99 19.54/19.63 c Core size: 168 Core Weight: 5 Total Weight: -12039 19.54/19.63 c Elapsed CPU time: 19.1211 s Remaining CPU time: 1780.88 s 19.64/19.74 c ============================[ Search Statistics ]============================== 19.64/19.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.64/19.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.64/19.74 c =============================================================================== 19.64/19.74 c | 0 | 10724 17325 193868 | 5775 0 nan | 0.000 % | 19.64/19.76 c | 101 | 10724 17325 193868 | 6352 101 50 | 35.140 % | 19.64/19.77 c | 253 | 10724 17325 193868 | 6987 253 30 | 35.140 % | 19.64/19.79 c | 480 | 10724 17325 193868 | 7686 480 32 | 35.140 % | 19.75/19.81 c =============================================================================== 19.75/19.81 c core #100 19.75/19.81 c Core size: 121 Core Weight: 5 Total Weight: -12034 19.75/19.81 c Elapsed CPU time: 19.2901 s Remaining CPU time: 1780.71 s 19.84/19.90 c ============================[ Search Statistics ]============================== 19.84/19.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.84/19.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.84/19.90 c =============================================================================== 19.84/19.90 c | 0 | 10747 17328 193912 | 5776 0 nan | 0.000 % | 19.84/19.92 c | 101 | 10747 17328 193912 | 6353 101 50 | 35.091 % | 19.84/19.93 c | 252 | 10747 17328 193912 | 6988 252 48 | 35.097 % | 19.84/19.95 c | 477 | 10747 17328 193912 | 7687 477 55 | 35.097 % | 19.84/19.98 c | 814 | 10747 17328 193912 | 8456 814 59 | 35.097 % | 19.94/20.04 c | 1320 | 10747 17328 193912 | 9302 1320 57 | 35.097 % | 20.04/20.12 c | 2081 | 10747 17328 193912 | 10232 2081 56 | 35.097 % | 20.24/20.30 c | 3223 | 10746 17328 193912 | 11255 3222 56 | 35.097 % | 20.54/20.60 c | 4931 | 10746 17328 193912 | 12381 4930 57 | 35.097 % | 21.14/21.21 c | 7493 | 10746 17328 193912 | 13619 7492 57 | 35.097 % | 22.14/22.29 c | 11338 | 10746 17328 193912 | 14981 11337 57 | 35.097 % | 24.34/24.42 c | 17106 | 10746 17328 193912 | 16479 17105 60 | 35.097 % | 27.94/28.04 c | 25757 | 10746 17328 193912 | 18127 13916 57 | 35.097 % | 36.24/36.36 c | 38732 | 10746 17328 193912 | 19940 14120 54 | 35.097 % | 45.13/45.21 c | 58200 | 10746 17328 193912 | 21934 18727 53 | 35.097 % | 63.12/63.20 c | 87392 | 10721 17328 193912 | 24127 15655 51 | 35.248 % | 95.41/95.50 c | 131181 | 10720 17328 193912 | 26540 23110 59 | 35.490 % | 150.61/150.72 c | 196868 | 10639 17328 193912 | 29194 27015 54 | 35.744 % | 164.90/165.04 c =============================================================================== 168.90/169.01 c core #101 168.90/169.01 c Core size: 188 Core Weight: 5 Total Weight: -12029 168.90/169.01 c Elapsed CPU time: 167.766 s Remaining CPU time: 1632.23 s 169.19/169.33 c ============================[ Search Statistics ]============================== 169.19/169.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 169.19/169.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 169.19/169.33 c =============================================================================== 169.19/169.33 c | 0 | 10806 17331 194028 | 5777 0 nan | 0.000 % | 169.19/169.38 c | 101 | 10806 17331 194028 | 6354 101 60 | 34.967 % | 169.19/169.39 c | 252 | 10806 17331 194028 | 6990 252 62 | 34.966 % | 169.30/169.41 c | 480 | 10806 17331 194028 | 7689 480 65 | 34.967 % | 169.30/169.45 c | 819 | 10806 17331 194028 | 8458 819 66 | 34.967 % | 169.39/169.52 c | 1325 | 10806 17331 194028 | 9303 1325 72 | 34.967 % | 169.49/169.65 c | 2084 | 10806 17331 194028 | 10234 2084 77 | 34.967 % | 169.79/169.98 c | 3223 | 10806 17331 194028 | 11257 3223 82 | 34.966 % | 170.30/170.45 c | 4934 | 10806 17331 194028 | 12383 4934 80 | 34.967 % | 170.89/171.05 c | 7498 | 10806 17331 194028 | 13621 7498 78 | 34.967 % | 172.29/172.49 c | 11342 | 10806 17331 194028 | 14984 11342 80 | 34.967 % | 176.59/176.77 c | 17109 | 10806 17331 194028 | 16482 17109 83 | 34.967 % | 182.89/183.03 c | 25758 | 10806 17331 194028 | 18130 13921 86 | 34.967 % | 192.68/192.80 c | 38736 | 10804 17331 194028 | 19943 12960 71 | 34.979 % | 203.79/203.90 c | 58201 | 10804 17331 194028 | 21938 17159 76 | 36.393 % | 227.87/228.07 c | 87394 | 10569 17331 194028 | 24131 29459 73 | 36.393 % | 262.97/263.10 c | 131186 | 10526 17331 194028 | 26545 17077 74 | 36.652 % | 265.17/265.39 c =============================================================================== 265.17/265.39 c core #102 265.17/265.39 c Core size: 89 Core Weight: 25 Total Weight: -12004 265.17/265.39 c Elapsed CPU time: 263.727 s Remaining CPU time: 1536.27 s 265.46/265.62 c ============================[ Search Statistics ]============================== 265.46/265.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 265.46/265.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 265.46/265.62 c =============================================================================== 265.46/265.62 c | 0 | 10851 17355 194114 | 5785 0 nan | 0.000 % | 265.46/265.67 c | 100 | 10851 17355 194114 | 6363 100 59 | 34.864 % | 265.46/265.68 c | 251 | 10851 17355 194114 | 6999 251 52 | 34.864 % | 265.56/265.71 c | 481 | 10851 17355 194114 | 7699 481 58 | 34.864 % | 265.56/265.74 c | 818 | 10851 17355 194114 | 8469 818 60 | 34.864 % | 265.56/265.78 c | 1327 | 10851 17355 194114 | 9316 1327 58 | 34.864 % | 265.66/265.88 c | 2089 | 10851 17355 194114 | 10248 2089 58 | 34.864 % | 265.86/266.03 c | 3228 | 10851 17355 194114 | 11273 3228 61 | 34.864 % | 266.16/266.32 c | 4938 | 10851 17355 194114 | 12400 4938 63 | 34.864 % | 266.76/266.97 c | 7500 | 10851 17355 194114 | 13640 7500 64 | 34.864 % | 268.06/268.28 c | 11345 | 10851 17355 194114 | 15004 11345 65 | 34.864 % | 270.66/270.83 c | 17118 | 10851 17355 194114 | 16505 17118 68 | 34.864 % | 274.76/274.99 c | 25767 | 10837 17355 194114 | 18155 13836 70 | 35.009 % | 282.06/282.24 c | 38743 | 10771 17355 194114 | 19971 13408 70 | 35.345 % | 292.65/292.82 c | 58208 | 10771 17355 194114 | 21968 18696 71 | 35.345 % | 313.65/313.88 c | 87401 | 10771 17355 194114 | 24165 15620 69 | 35.345 % | 341.14/341.39 c | 131191 | 10771 17355 194114 | 26581 22500 74 | 35.345 % | 408.92/409.18 c | 196876 | 10763 17355 194114 | 29240 27402 73 | 35.681 % | 486.79/487.09 c | 295404 | 10661 17355 194114 | 32164 31532 76 | 36.005 % | 552.77/553.02 c =============================================================================== 552.77/553.02 c core #103 552.77/553.02 c Core size: 163 Core Weight: 25 Total Weight: -11979 552.77/553.02 c Elapsed CPU time: 550.056 s Remaining CPU time: 1249.94 s 553.16/553.48 c Learning 9 hard constraints 553.16/553.48 c ============================[ Search Statistics ]============================== 553.16/553.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 553.16/553.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 553.16/553.48 c =============================================================================== 553.16/553.48 c | 0 | 10923 17386 194344 | 5795 0 nan | 0.000 % | 553.26/553.58 c | 101 | 10923 17386 194344 | 6374 101 45 | 34.660 % | 553.26/553.59 c | 253 | 10923 17386 194344 | 7012 253 40 | 34.660 % | 553.36/553.61 c | 479 | 10923 17386 194344 | 7713 479 48 | 34.660 % | 553.36/553.65 c | 821 | 10920 17386 194344 | 8484 821 48 | 34.839 % | 553.47/553.70 c | 1329 | 10920 17386 194344 | 9333 1329 61 | 34.839 % | 553.47/553.79 c | 2093 | 10920 17386 194344 | 10266 2093 64 | 34.839 % | 553.77/554.00 c | 3233 | 10893 17386 194344 | 11293 3232 70 | 34.839 % | 554.07/554.39 c | 4942 | 10893 17386 194344 | 12422 4941 72 | 34.839 % | 554.87/555.19 c | 7504 | 10893 17386 194344 | 13665 7503 74 | 34.839 % | 556.57/556.88 c | 11351 | 10893 17386 194344 | 15031 11350 76 | 34.839 % | 559.46/559.74 c | 17118 | 10893 17386 194344 | 16534 17117 78 | 34.839 % | 564.57/564.88 c | 25767 | 10892 17386 194344 | 18188 13942 77 | 34.845 % | 575.96/576.28 c | 38741 | 10885 17386 194344 | 20007 13973 74 | 34.887 % | 594.05/594.37 c | 58203 | 10885 17386 194344 | 22007 18615 77 | 34.887 % | 622.55/622.88 c | 87397 | 10872 17386 194344 | 24208 13346 71 | 35.120 % | 653.44/653.74 c | 131186 | 10872 17386 194344 | 26629 20314 114 | 35.120 % | 674.22/674.55 c =============================================================================== 677.82/678.18 c core #104 677.82/678.18 c Core size: 315 Core Weight: 5 Total Weight: -11974 677.82/678.18 c Elapsed CPU time: 674.688 s Remaining CPU time: 1125.31 s 678.22/678.51 c Learning 1 hard constraints 678.22/678.51 c ============================[ Search Statistics ]============================== 678.22/678.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 678.22/678.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 678.22/678.51 c =============================================================================== 678.22/678.51 c | 0 | 11005 17395 194539 | 5798 0 nan | 0.000 % | 678.22/678.59 c | 101 | 11005 17395 194539 | 6378 101 53 | 34.490 % | 678.22/678.60 c | 254 | 11005 17395 194539 | 7015 254 37 | 34.490 % | 678.33/678.62 c | 482 | 11005 17395 194539 | 7717 482 32 | 34.490 % | 678.33/678.65 c | 820 | 11005 17395 194539 | 8489 820 29 | 34.490 % | 678.43/678.70 c | 1330 | 11005 17395 194539 | 9338 1330 27 | 34.490 % | 678.53/678.81 c | 2090 | 11005 17395 194539 | 10272 2090 26 | 34.490 % | 678.63/678.92 c =============================================================================== 678.63/678.93 c core #105 678.63/678.93 c Core size: 130 Core Weight: 5 Total Weight: -11969 678.63/678.93 c Elapsed CPU time: 675.44 s Remaining CPU time: 1124.56 s 678.73/679.06 c ============================[ Search Statistics ]============================== 678.73/679.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 678.73/679.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 678.73/679.06 c =============================================================================== 678.73/679.06 c | 0 | 11033 17398 194593 | 5799 0 nan | 0.000 % | 678.73/679.08 c | 101 | 11033 17398 194593 | 6379 101 53 | 34.433 % | 678.82/679.10 c | 251 | 11030 17398 194593 | 7017 251 39 | 34.766 % | 678.82/679.12 c | 477 | 11030 17398 194593 | 7718 477 54 | 34.766 % | 678.82/679.16 c | 814 | 11028 17398 194593 | 8490 814 51 | 34.766 % | 678.92/679.23 c | 1322 | 11028 17398 194593 | 9339 1322 57 | 34.766 % | 679.02/679.32 c | 2081 | 10977 17398 194593 | 10273 2077 65 | 34.766 % | 679.22/679.52 c | 3221 | 10977 17398 194593 | 11301 3217 65 | 34.766 % | 679.53/679.86 c | 4929 | 10977 17398 194593 | 12431 4925 79 | 34.766 % | 680.22/680.52 c | 7491 | 10977 17398 194593 | 13674 7487 80 | 34.766 % | 682.12/682.46 c | 11337 | 10977 17398 194593 | 15041 11333 89 | 34.766 % | 686.12/686.49 c | 17103 | 10976 17398 194593 | 16546 17098 96 | 34.772 % | 694.11/694.48 c | 25752 | 10976 17398 194593 | 18200 14338 99 | 34.944 % | 701.42/701.74 c | 38727 | 10823 17398 194593 | 20020 14398 95 | 35.681 % | 716.41/716.72 c | 58197 | 10822 17398 194593 | 22022 19752 80 | 35.687 % | 738.71/739.04 c | 87390 | 10822 17398 194593 | 24225 18103 80 | 35.687 % | 766.59/766.96 c | 131180 | 10819 17398 194593 | 26647 24171 86 | 35.705 % | 815.79/816.18 c | 196866 | 10818 17398 194593 | 29312 29829 97 | 35.716 % | 905.86/906.29 c | 295394 | 10795 17398 194593 | 32243 15938 85 | 35.847 % | 1047.61/1048.00 c =============================================================================== 1047.61/1048.04 c core #106 1047.61/1048.04 c Core size: 300 Core Weight: 5 Total Weight: -11964 1047.61/1048.04 c Elapsed CPU time: 1042.95 s Remaining CPU time: 757.055 s 1048.11/1048.57 c Learning 32 hard constraints 1048.11/1048.57 c ============================[ Search Statistics ]============================== 1048.11/1048.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1048.11/1048.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1048.11/1048.57 c =============================================================================== 1048.11/1048.57 c | 0 | 11183 17434 195827 | 5811 0 nan | 0.000 % | 1048.21/1048.69 c | 100 | 11183 17434 195827 | 6392 100 55 | 33.762 % | 1048.31/1048.70 c =============================================================================== 1048.31/1048.70 c core #107 1048.31/1048.70 c Core size: 89 Core Weight: 5 Total Weight: -11959 1048.31/1048.70 c Elapsed CPU time: 1043.6 s Remaining CPU time: 756.398 s 1048.41/1048.82 c Learning 4 hard constraints 1048.41/1048.82 c ============================[ Search Statistics ]============================== 1048.41/1048.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 1048.41/1048.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1048.41/1048.82 c =============================================================================== 1048.41/1048.82 c | 0 | 11219 17469 195892 | 5823 0 nan | 0.000 % | 1048.41/1048.84 c | 101 | 11150 17469 195892 | 6405 101 42 | 34.303 % | 1048.41/1048.87 c | 253 | 11149 17469 195892 | 7045 253 62 | 34.309 % | 1048.41/1048.90 c | 479 | 11149 17469 195892 | 7750 479 62 | 34.309 % | 1048.51/1048.93 c | 817 | 11149 17469 195892 | 8525 817 75 | 34.309 % | 1048.51/1048.98 c | 1323 | 11113 17469 195892 | 9377 1320 77 | 34.309 % | 1048.71/1049.11 c | 2085 | 11113 17469 195892 | 10315 2082 90 | 34.309 % | 1048.81/1049.30 c | 3224 | 11113 17469 195892 | 11347 3221 92 | 34.309 % | 1049.31/1049.70 c | 4936 | 11105 17469 195892 | 12482 4931 96 | 34.356 % | 1050.01/1050.45 c | 7499 | 11105 17469 195892 | 13730 7494 97 | 34.356 % | 1052.00/1052.44 c | 11343 | 11105 17469 195892 | 15103 11334 100 | 34.356 % | 1056.91/1057.36 c | 17109 | 11105 17469 195892 | 16613 17100 108 | 34.687 % | 1064.11/1064.58 c | 25759 | 11049 17469 195892 | 18275 14421 114 | 34.687 % | 1074.61/1075.04 c | 38735 | 11016 17469 195892 | 20102 14795 109 | 35.201 % | 1086.00/1086.45 c =============================================================================== 1086.30/1086.72 c core #108 1086.30/1086.72 c Core size: 323 Core Weight: 5 Total Weight: -11954 1086.30/1086.72 c Elapsed CPU time: 1081.48 s Remaining CPU time: 718.518 s 1086.50/1086.92 c Learning 9 hard constraints 1086.50/1086.92 c ============================[ Search Statistics ]============================== 1086.50/1086.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 1086.50/1086.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1086.50/1086.92 c =============================================================================== 1086.50/1086.92 c | 0 | 11267 17482 196188 | 5827 0 nan | 0.000 % | 1086.50/1086.98 c | 101 | 11261 17482 196188 | 6410 101 16 | 34.223 % | 1086.60/1087.01 c | 253 | 11090 17482 196188 | 7051 253 31 | 34.795 % | 1086.60/1087.04 c | 478 | 11090 17482 196188 | 7756 478 24 | 34.795 % | 1086.70/1087.10 c | 818 | 11062 17482 196188 | 8531 805 27 | 34.795 % | 1086.70/1087.18 c | 1327 | 11062 17482 196188 | 9384 1314 31 | 34.795 % | 1086.80/1087.29 c | 2090 | 11062 17482 196188 | 10323 2077 36 | 34.795 % | 1086.99/1087.47 c | 3234 | 11062 17482 196188 | 11355 3221 38 | 34.795 % | 1087.60/1088.00 c | 4944 | 11062 17482 196188 | 12491 4931 41 | 34.795 % | 1088.60/1089.01 c | 7507 | 11062 17482 196188 | 13740 7494 45 | 34.795 % | 1090.49/1090.99 c | 11352 | 11062 17482 196188 | 15114 11339 47 | 34.795 % | 1096.59/1097.09 c | 17118 | 11062 17482 196188 | 16626 17105 49 | 34.795 % | 1105.79/1106.29 c | 25770 | 11062 17482 196188 | 18288 14249 50 | 34.795 % | 1118.18/1118.63 c | 38746 | 11062 17482 196188 | 20117 14897 49 | 34.795 % | 1134.78/1135.28 c | 58207 | 11062 17482 196188 | 22129 20519 47 | 34.795 % | 1153.97/1154.45 c =============================================================================== 1155.97/1156.49 c core #109 1155.97/1156.49 c Core size: 302 Core Weight: 5 Total Weight: -11949 1155.97/1156.49 c Elapsed CPU time: 1151.07 s Remaining CPU time: 648.929 s 1156.27/1156.74 c Learning 5 hard constraints 1156.27/1156.74 c ============================[ Search Statistics ]============================== 1156.27/1156.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 1156.27/1156.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1156.27/1156.74 c =============================================================================== 1156.27/1156.74 c | 0 | 11319 17498 196422 | 5832 0 nan | 0.000 % | 1156.37/1156.83 c | 100 | 11233 17498 196422 | 6415 100 27 | 34.183 % | 1156.37/1156.86 c | 250 | 11233 17498 196422 | 7057 250 40 | 34.184 % | 1156.37/1156.89 c | 475 | 11170 17498 196422 | 7763 467 39 | 34.360 % | 1156.47/1156.96 c | 812 | 11170 17498 196422 | 8539 804 52 | 34.360 % | 1156.57/1157.05 c | 1318 | 11170 17498 196422 | 9393 1310 59 | 34.360 % | 1156.78/1157.29 c | 2079 | 11170 17498 196422 | 10332 2071 63 | 34.360 % | 1157.17/1157.67 c | 3219 | 11170 17498 196422 | 11366 3211 67 | 34.360 % | 1158.07/1158.51 c | 4927 | 11170 17498 196422 | 12502 4919 70 | 34.360 % | 1159.47/1159.94 c | 7490 | 11170 17498 196422 | 13753 7482 73 | 34.360 % | 1161.86/1162.35 c | 11335 | 11170 17498 196422 | 15128 11327 76 | 34.360 % | 1168.07/1168.53 c | 17101 | 11169 17498 196422 | 16641 17092 79 | 34.366 % | 1182.46/1182.98 c | 25753 | 11143 17498 196422 | 18305 14273 81 | 34.524 % | 1204.45/1204.93 c | 38727 | 11143 17498 196422 | 20135 14789 79 | 35.271 % | 1236.04/1236.59 c | 58189 | 11014 17498 196422 | 22149 20185 78 | 35.277 % | 1265.54/1266.02 c | 87382 | 10929 17498 196422 | 24364 17019 75 | 35.776 % | 1316.13/1316.62 c | 131176 | 10928 17498 196422 | 26800 24713 76 | 35.782 % | 1391.09/1391.69 c | 196864 | 10921 17498 196422 | 29481 27982 74 | 35.835 % | 1486.47/1487.06 c | 295392 | 10919 17498 196422 | 32429 33208 91 | 35.835 % | 1703.00/1703.69 c | 443182 | 10895 17498 196422 | 35672 32853 112 | 35.976 % |
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-1875698-1245135110/watcher-1875698-1245135110 -o /tmp/evaluation-result-1875698-1245135110/solver-1875698-1245135110 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875698-1245135110.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 5495 /proc/meminfo: memFree=1374008/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=3992 CPUtime=0 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 181110350 4087808 234 1992294400 134512640 135709839 4294956240 18446744073709551615 134547795 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 998 234 127 292 0 376 0 [startup+0.0236189 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5495 /proc/meminfo: memFree=1374008/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=5068 CPUtime=0.02 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 534 0 0 0 2 0 0 0 18 0 1 0 181110350 5189632 518 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 1267 518 148 292 0 645 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5068 [startup+0.10263 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5495 /proc/meminfo: memFree=1374008/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=7644 CPUtime=0.09 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 1249 0 0 0 9 0 0 0 18 0 1 0 181110350 7827456 1233 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 1911 1233 250 292 0 1289 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7644 [startup+0.302661 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5495 /proc/meminfo: memFree=1374008/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=14892 CPUtime=0.29 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 3552 0 0 0 28 1 0 0 19 0 1 0 181110350 15249408 3209 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 3723 3210 134 292 0 3428 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14892 [startup+0.701722 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5495 /proc/meminfo: memFree=1374008/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=29576 CPUtime=0.69 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 7551 0 0 0 66 3 0 0 22 0 1 0 181110350 30285824 6942 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 7427 6942 134 292 0 7132 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29576 [startup+1.50184 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=1335344/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=59456 CPUtime=1.49 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 14971 0 0 0 144 5 0 0 25 0 1 0 181110350 60882944 14362 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 14864 14363 135 292 0 14569 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 59456 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=1297520/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=107812 CPUtime=3.09 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 27084 0 0 0 297 12 0 0 25 0 1 0 181110350 110399488 26475 1992294400 134512640 135709839 4294956240 18446744073709551615 134574762 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 26953 26475 136 292 0 26658 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 107812 [startup+6.30158 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=1220656/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=171520 CPUtime=6.27 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 43265 0 0 0 606 21 0 0 25 0 1 0 181110350 175636480 42332 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 42880 42332 136 292 0 42585 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 171520 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=1094200/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=285264 CPUtime=12.65 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 71713 0 0 0 1229 36 0 0 25 0 1 0 181110350 292110336 70780 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 71316 70780 136 292 0 71021 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 285264 [startup+25.5025 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=1038200/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=337408 CPUtime=25.44 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 84818 0 0 0 2492 52 0 0 25 0 1 0 181110350 345505792 83885 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 84352 83885 136 292 0 84057 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 337408 [startup+51.1024 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=1018808/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=356932 CPUtime=51.03 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 89672 0 0 0 5037 66 0 0 25 0 1 0 181110350 365498368 88739 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 89233 88739 136 292 0 88938 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 356932 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=988152/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=387344 CPUtime=102.22 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 97237 0 0 0 10133 89 0 0 25 0 1 0 181110350 396640256 96304 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 96836 96304 136 292 0 96541 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 387344 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=960888/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=414788 CPUtime=162.19 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 104070 0 0 0 16106 113 0 0 25 0 1 0 181110350 424742912 103137 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 103697 103137 136 292 0 103402 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 414788 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=940536/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=434796 CPUtime=222.17 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 109123 0 0 0 22083 134 0 0 25 0 1 0 181110350 445231104 108190 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 108699 108190 136 292 0 108404 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 434796 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=919992/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=455164 CPUtime=282.16 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 114208 0 0 0 28053 163 0 0 25 0 1 0 181110350 466087936 113275 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 113791 113275 136 292 0 113496 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 455164 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=888952/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=486324 CPUtime=342.13 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 121978 0 0 0 34020 193 0 0 25 0 1 0 181110350 497995776 121045 1992294400 134512640 135709839 4294956240 18446744073709551615 134517181 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 121581 121045 136 292 0 121286 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 486324 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=860536/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=515320 CPUtime=402.12 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 129189 0 0 0 39998 214 0 0 25 0 1 0 181110350 527687680 128256 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 128830 128256 136 292 0 128535 0 Current children cumulated CPU time (s) 402.12 Current children cumulated vsize (KiB) 515320 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=824824/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=550640 CPUtime=462.1 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 138022 0 0 0 45973 237 0 0 25 0 1 0 181110350 563855360 137089 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 137660 137089 136 292 0 137365 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 550640 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5496 /proc/meminfo: memFree=791672/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=584544 CPUtime=522.09 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 146466 0 0 0 51946 263 0 0 25 0 1 0 181110350 598573056 145533 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 146136 145533 136 292 0 145841 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 584544 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=768184/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=606800 CPUtime=582.05 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 152132 0 0 0 57920 285 0 0 25 0 1 0 181110350 621363200 151199 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 151700 151199 136 292 0 151405 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 606800 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=748984/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=625956 CPUtime=642.05 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 156896 0 0 0 63896 309 0 0 25 0 1 0 181110350 640978944 155963 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 156489 155963 136 292 0 156194 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 625956 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=616440/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=758296 CPUtime=881.97 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 189953 0 0 0 87785 412 0 0 25 0 1 0 181110350 776495104 189020 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 189574 189020 136 292 0 189279 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 758296 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=578936/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=796004 CPUtime=941.94 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 199363 0 0 0 93759 435 0 0 25 0 1 0 181110350 815108096 198430 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 199001 198430 136 292 0 198706 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 796004 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=547384/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=827384 CPUtime=1001.92 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 207166 0 0 0 99737 455 0 0 25 0 1 0 181110350 847241216 206233 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 206846 206233 136 292 0 206551 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 827384 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=516280/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=858352 CPUtime=1061.91 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 214899 0 0 0 105714 477 0 0 25 0 1 0 181110350 878952448 213966 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 214588 213966 136 292 0 214293 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 858352 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=515640/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=858352 CPUtime=1121.88 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 215049 0 0 0 111695 493 0 0 25 0 1 0 181110350 878952448 214116 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 214588 214116 136 292 0 214293 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 858352 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=514552/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=859824 CPUtime=1181.86 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 215436 0 0 0 117680 506 0 0 25 0 1 0 181110350 880459776 214503 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 214956 214503 136 292 0 214661 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 859824 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=499640/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=874396 CPUtime=1241.84 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 219045 0 0 0 123664 520 0 0 25 0 1 0 181110350 895381504 218112 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 218599 218112 136 292 0 218304 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 874396 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=479544/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=894632 CPUtime=1301.83 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 224031 0 0 0 129647 536 0 0 25 0 1 0 181110350 916103168 223098 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 223658 223098 136 292 0 223363 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 894632 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=456888/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=917640 CPUtime=1361.8 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 229725 0 0 0 135626 554 0 0 25 0 1 0 181110350 939663360 228792 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 229410 228792 136 292 0 229115 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 917640 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=434744/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=939620 CPUtime=1421.79 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 235210 0 0 0 141608 571 0 0 25 0 1 0 181110350 962170880 234277 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 234905 234277 136 292 0 234610 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 939620 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=398712/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=975908 CPUtime=1481.77 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 244276 0 0 0 147584 593 0 0 25 0 1 0 181110350 999329792 243343 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 243977 243343 136 292 0 243682 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 975908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=371064/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=1003276 CPUtime=1541.75 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 251107 0 0 0 153563 612 0 0 25 0 1 0 181110350 1027354624 250174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 250819 250174 136 292 0 250524 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 1003276 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=343992/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=1030452 CPUtime=1601.73 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 257892 0 0 0 159542 631 0 0 25 0 1 0 181110350 1055182848 256959 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 257613 256959 136 292 0 257318 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 1030452 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=316216/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=1058152 CPUtime=1661.71 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 264801 0 0 0 165524 647 0 0 25 0 1 0 181110350 1083547648 263868 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 264538 263868 136 292 0 264243 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 1058152 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=295416/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=1079112 CPUtime=1721.7 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 270004 0 0 0 171509 661 0 0 25 0 1 0 181110350 1105010688 269071 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 269778 269071 136 292 0 269483 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1079112 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=261304/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=1113348 CPUtime=1781.68 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 278554 0 0 0 177486 682 0 0 25 0 1 0 181110350 1140068352 277621 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 278337 277621 136 292 0 278042 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 1113348 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=253752/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=1120500 CPUtime=1800.08 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4194304 280341 0 0 0 179321 687 0 0 25 0 1 0 181110350 1147392000 279408 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 280125 279408 136 292 0 279830 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1120500 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5502 /proc/meminfo: memFree=253752/2055920 swapFree=4191900/4192956 [pid=5495] ppid=5493 vsize=0 CPUtime=1800.18 /proc/5495/stat : 5495 (wbo) R 5493 5495 5288 0 -1 4195332 280341 0 0 0 179321 697 0 0 25 0 1 0 181110350 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/5495/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.88 CPU time (s): 1800.27 CPU user time (s): 1793.21 CPU system time (s): 7.05093 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 1120500 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.21 system time used= 7.05093 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 280341 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= 4489 runsolver used 1.64175 second user time and 3.44248 second system time The end
Begin job on node34 at 2009-06-16 08:51:51 IDJOB=1875698 IDBENCH=1875 IDSOLVER=698 FILE ID=node34/1875698-1245135110 PBS_JOBID= 9363723 Free space on /tmp= 66252 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv11.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-1875698-1245135110/watcher-1875698-1245135110 -o /tmp/evaluation-result-1875698-1245135110/solver-1875698-1245135110 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875698-1245135110.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a74bcf40291587dc368e3a23fd278be9 RANDOM SEED=2075619784 node34.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: 1374424 kB Buffers: 51428 kB Cached: 546168 kB SwapCached: 260 kB Active: 69200 kB Inactive: 541680 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1374424 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3684 kB Writeback: 0 kB Mapped: 21764 kB Slab: 56648 kB Committed_AS: 162276 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-1875698-1245135110.opb Free space on /tmp at the end= 66248 MiB End job on node34 at 2009-06-16 09:21:53