Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | SAT (TO) | -5531 | 1800.12 | 949.574 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb |
| MD5SUM | aab1aa19ee49ed77df3100abf5070097 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -5712 |
| Best CPU time to get the best result obtained on this benchmark | 1800.1 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 4457 |
| Total number of constraints | 8814 |
| Number of constraints which are clauses | 4407 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 4407 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 4457 |
| Biggest coefficient in the objective function | 1072 |
| Number of bits for the biggest coefficient in the objective function | 11 |
| Sum of the numbers in the objective function | 385472 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 1072 |
| Number of bits of the biggest number in a constraint | 11 |
| Biggest sum of numbers in a constraint | 385472 |
| Number of bits of the biggest sum of numbers | 19 |
| 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.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4118818-1467236560.opb 0.09/0.12 c reading problem ... 0.09/0.13 c objective function found 1.03/0.51 c ... done. Wall clock time 0.388s. 1.03/0.51 c declared #vars 4457 1.03/0.51 c #constraints 8814 1.03/0.52 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.03/0.52 c constraints type 1.03/0.52 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4407 1.03/0.52 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4407 1.03/0.52 c 8814 constraints processed. 1.03/0.52 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.03/0.52 c constraints type 1.03/0.52 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4407 1.03/0.52 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4407 1.03/0.52 c 8814 constraints processed. 1.03/0.52 c objective function length is 4457 literals 1.40/0.63 c And the winner is solver0 1.93/1.02 c SATISFIABLE 1.93/1.02 c OPTIMIZING... 1.93/1.02 c Got one! Elapsed wall clock time (in seconds):0.898 1.93/1.02 o 0 2.18/1.11 c And the winner is solver0 2.34/1.55 c Got one! Elapsed wall clock time (in seconds):1.429 2.34/1.55 o -66 2.34/1.59 c And the winner is solver0 2.47/2.07 c Got one! Elapsed wall clock time (in seconds):1.947 2.47/2.07 o -132 2.56/2.10 c And the winner is solver0 2.71/2.58 c Got one! Elapsed wall clock time (in seconds):2.458 2.71/2.58 o -233 2.74/2.60 c And the winner is solver0 2.90/3.09 c Got one! Elapsed wall clock time (in seconds):2.967 2.90/3.09 o -308 2.91/3.11 c And the winner is solver0 2.96/3.60 c Got one! Elapsed wall clock time (in seconds):3.475 2.96/3.60 o -334 2.96/3.61 c And the winner is solver0 2.96/4.11 c Got one! Elapsed wall clock time (in seconds):3.983 2.96/4.11 o -447 2.96/4.13 c And the winner is solver0 3.04/4.61 c Got one! Elapsed wall clock time (in seconds):4.49 3.04/4.61 o -451 3.04/4.63 c And the winner is solver0 3.08/5.12 c Got one! Elapsed wall clock time (in seconds):4.996 3.08/5.12 o -564 3.08/5.16 c And the winner is solver0 3.17/5.64 c Got one! Elapsed wall clock time (in seconds):5.517 3.17/5.64 o -568 3.17/5.66 c And the winner is solver0 3.20/6.15 c Got one! Elapsed wall clock time (in seconds):6.023 3.20/6.15 o -698 3.20/6.18 c And the winner is solver0 3.49/6.65 c Got one! Elapsed wall clock time (in seconds):6.529 3.49/6.65 o -701 3.49/6.68 c And the winner is solver0 3.55/7.16 c Got one! Elapsed wall clock time (in seconds):7.035 3.55/7.16 o -804 3.62/7.20 c And the winner is solver0 3.84/7.67 c Got one! Elapsed wall clock time (in seconds):7.541 3.84/7.67 o -807 3.84/7.69 c And the winner is solver0 4.13/8.17 c Got one! Elapsed wall clock time (in seconds):8.047 4.13/8.17 o -826 4.13/8.19 c And the winner is solver0 4.20/8.68 c Got one! Elapsed wall clock time (in seconds):8.553 4.20/8.68 o -828 4.20/8.69 c And the winner is solver0 4.20/9.19 c Got one! Elapsed wall clock time (in seconds):9.059 4.20/9.19 o -834 4.22/9.20 c And the winner is solver0 4.26/9.69 c Got one! Elapsed wall clock time (in seconds):9.565 4.26/9.69 o -914 4.51/9.81 c And the winner is solver0 4.73/10.20 c Got one! Elapsed wall clock time (in seconds):10.07 4.73/10.20 o -977 4.73/10.26 c And the winner is solver0 5.19/10.70 c Got one! Elapsed wall clock time (in seconds):10.577 5.19/10.70 o -980 5.19/10.74 c And the winner is solver0 5.44/11.21 c Got one! Elapsed wall clock time (in seconds):11.082 5.44/11.21 o -1116 5.62/11.33 c And the winner is solver0 5.81/11.71 c Got one! Elapsed wall clock time (in seconds):11.588 5.81/11.71 o -1118 5.97/11.82 c And the winner is solver0 6.14/12.22 c Got one! Elapsed wall clock time (in seconds):12.094 6.14/12.22 o -1126 6.14/12.25 c And the winner is solver0 6.20/12.73 c Got one! Elapsed wall clock time (in seconds):12.6 6.20/12.73 o -1265 6.57/12.99 c And the winner is solver0 6.80/13.23 c Got one! Elapsed wall clock time (in seconds):13.106 6.80/13.23 o -1277 7.13/13.47 c And the winner is solver0 7.32/13.74 c Got one! Elapsed wall clock time (in seconds):13.612 7.32/13.74 o -1392 8.03/14.18 c And the winner is solver0 8.24/14.24 c Got one! Elapsed wall clock time (in seconds):14.117 8.24/14.24 o -1405 8.74/14.51 c And the winner is solver0 8.96/14.75 c Got one! Elapsed wall clock time (in seconds):14.623 8.96/14.75 o -1407 9.25/14.90 c And the winner is solver0 9.33/15.25 c Got one! Elapsed wall clock time (in seconds):15.129 9.33/15.25 o -1409 9.45/15.31 c And the winner is solver0 9.76/15.76 c Got one! Elapsed wall clock time (in seconds):15.635 9.76/15.76 o -1414 9.76/15.78 c And the winner is solver0 9.82/16.27 c Got one! Elapsed wall clock time (in seconds):16.141 9.82/16.27 o -1428 9.88/16.39 c And the winner is solver0 10.17/16.77 c Got one! Elapsed wall clock time (in seconds):16.647 10.17/16.77 o -1437 11.01/17.25 c And the winner is solver0 11.01/17.28 c Got one! Elapsed wall clock time (in seconds):17.153 11.01/17.28 o -1442 11.38/17.42 c And the winner is solver0 11.50/17.79 c Got one! Elapsed wall clock time (in seconds):17.663 11.50/17.79 o -1450 11.51/17.87 c And the winner is solver0 11.79/18.29 c Got one! Elapsed wall clock time (in seconds):18.169 11.79/18.29 o -1452 11.79/18.32 c And the winner is solver0 12.02/18.80 c Got one! Elapsed wall clock time (in seconds):18.675 12.02/18.80 o -1460 12.03/18.81 c And the winner is solver0 12.03/19.31 c Got one! Elapsed wall clock time (in seconds):19.181 12.03/19.31 o -1462 12.03/19.32 c And the winner is solver0 12.04/19.81 c Got one! Elapsed wall clock time (in seconds):19.687 12.04/19.81 o -1470 12.04/19.88 c And the winner is solver0 12.38/20.34 c Got one! Elapsed wall clock time (in seconds):20.219 12.38/20.34 o -1483 12.38/20.35 c And the winner is solver0 12.38/20.85 c Got one! Elapsed wall clock time (in seconds):20.725 12.38/20.85 o -1485 12.38/20.86 c And the winner is solver0 12.39/21.36 c Got one! Elapsed wall clock time (in seconds):21.23 12.39/21.36 o -1491 12.39/21.38 c And the winner is solver0 12.62/21.86 c Got one! Elapsed wall clock time (in seconds):21.736 12.62/21.86 o -1508 12.69/22.00 c And the winner is solver0 12.96/22.37 c Got one! Elapsed wall clock time (in seconds):22.242 12.96/22.37 o -1516 13.01/22.42 c And the winner is solver0 13.22/22.87 c Got one! Elapsed wall clock time (in seconds):22.748 13.22/22.87 o -1537 13.27/22.99 c And the winner is solver0 13.56/23.38 c Got one! Elapsed wall clock time (in seconds):23.254 13.56/23.38 o -1561 14.39/23.82 c And the winner is solver0 14.39/23.88 c Got one! Elapsed wall clock time (in seconds):23.76 14.39/23.88 o -1581 15.68/24.50 c And the winner is solver0 15.79/24.92 c Got one! Elapsed wall clock time (in seconds):24.792 15.79/24.92 o -1610 19.79/26.88 c And the winner is solver0 20.06/27.02 c Got one! Elapsed wall clock time (in seconds):26.898 20.06/27.02 o -1645 21.23/27.61 c And the winner is solver0 21.36/28.03 c Got one! Elapsed wall clock time (in seconds):27.905 21.36/28.03 o -1646 21.36/28.07 c And the winner is solver0 21.62/28.54 c Got one! Elapsed wall clock time (in seconds):28.411 21.62/28.54 o -1668 21.95/28.72 c And the winner is solver0 22.03/29.04 c Got one! Elapsed wall clock time (in seconds):28.917 22.03/29.04 o -1669 22.03/29.08 c And the winner is solver0 22.30/29.55 c Got one! Elapsed wall clock time (in seconds):29.423 22.30/29.55 o -1682 22.39/29.60 c And the winner is solver0 22.57/30.05 c Got one! Elapsed wall clock time (in seconds):29.93 22.57/30.05 o -1690 23.05/30.39 c And the winner is solver0 23.34/30.56 c Got one! Elapsed wall clock time (in seconds):30.436 23.34/30.56 o -1701 24.74/31.22 c cleaning 7104 clauses out of 14210 with flag 2005/14210 24.74/31.23 c And the winner is solver0 24.85/31.57 c Got one! Elapsed wall clock time (in seconds):31.442 24.85/31.57 o -1725 24.90/31.62 c And the winner is solver0 25.15/32.07 c Got one! Elapsed wall clock time (in seconds):31.949 25.15/32.07 o -1726 25.19/32.14 c And the winner is solver0 25.46/32.58 c Got one! Elapsed wall clock time (in seconds):32.455 25.46/32.58 o -1733 25.49/32.61 c And the winner is solver0 25.53/33.09 c Got one! Elapsed wall clock time (in seconds):32.961 25.53/33.09 o -1734 26.15/33.49 c And the winner is solver0 26.34/33.59 c Got one! Elapsed wall clock time (in seconds):33.467 26.34/33.59 o -1781 29.67/35.23 c And the winner is solver0 29.75/35.60 c Got one! Elapsed wall clock time (in seconds):35.474 29.75/35.60 o -1812 31.94/36.70 c cleaning 6607 clauses out of 13215 with flag 4004/20319 31.94/36.71 c And the winner is solver0 32.15/37.11 c Got one! Elapsed wall clock time (in seconds):36.98 32.15/37.11 o -1813 33.15/37.65 c And the winner is solver0 33.39/38.11 c Got one! Elapsed wall clock time (in seconds):37.987 33.39/38.11 o -1820 33.39/38.17 c And the winner is solver0 33.69/38.62 c Got one! Elapsed wall clock time (in seconds):38.493 33.69/38.62 o -1825 33.69/38.63 c And the winner is solver0 33.73/39.12 c Got one! Elapsed wall clock time (in seconds):38.999 33.73/39.12 o -1826 34.07/39.37 c And the winner is solver0 34.39/39.63 c Got one! Elapsed wall clock time (in seconds):39.505 34.39/39.63 o -1830 34.39/39.66 c And the winner is solver0 34.66/40.14 c Got one! Elapsed wall clock time (in seconds):40.012 34.66/40.14 o -1839 34.66/40.16 c And the winner is solver0 34.73/40.64 c Got one! Elapsed wall clock time (in seconds):40.518 34.73/40.64 o -1841 34.73/40.69 c And the winner is solver0 34.90/41.15 c Got one! Elapsed wall clock time (in seconds):41.024 34.90/41.15 o -1842 34.90/41.16 c And the winner is solver0 34.91/41.66 c Got one! Elapsed wall clock time (in seconds):41.531 34.91/41.66 o -1847 35.20/41.88 c And the winner is solver0 35.55/42.16 c Got one! Elapsed wall clock time (in seconds):42.038 35.55/42.16 o -1848 38.41/43.64 c And the winner is solver0 38.66/43.87 c Got one! Elapsed wall clock time (in seconds):43.745 38.66/43.87 o -1849 40.74/44.97 c cleaning 6760 clauses out of 13523 with flag 4005/27234 40.74/44.97 c And the winner is solver0 41.08/45.38 c Got one! Elapsed wall clock time (in seconds):45.252 41.08/45.38 o -1855 41.11/45.46 c And the winner is solver0 41.42/45.88 c Got one! Elapsed wall clock time (in seconds):45.758 41.42/45.88 o -1863 41.44/45.96 c And the winner is solver0 41.65/46.39 c Got one! Elapsed wall clock time (in seconds):46.265 41.65/46.39 o -1871 41.66/46.41 c And the winner is solver0 41.70/46.90 c Got one! Elapsed wall clock time (in seconds):46.771 41.70/46.90 o -1879 41.70/46.92 c And the winner is solver0 41.77/47.40 c Got one! Elapsed wall clock time (in seconds):47.278 41.77/47.40 o -1887 42.35/47.77 c And the winner is solver0 42.52/47.91 c Got one! Elapsed wall clock time (in seconds):47.784 42.52/47.91 o -1890 43.71/48.51 c And the winner is solver0 43.74/48.92 c Got one! Elapsed wall clock time (in seconds):48.791 43.74/48.92 o -1892 47.69/50.97 c cleaning 6378 clauses out of 12758 with flag 8001/33229 54.20/54.16 c cleaning 6190 clauses out of 12381 with flag 20003/39230 57.20/55.68 c And the winner is solver0 57.43/55.92 c Got one! Elapsed wall clock time (in seconds):55.798 57.43/55.92 o -1893 58.57/56.51 c And the winner is solver0 58.73/56.93 c Got one! Elapsed wall clock time (in seconds):56.805 58.73/56.93 o -1895 59.65/57.46 c And the winner is solver0 59.95/57.94 c Got one! Elapsed wall clock time (in seconds):57.812 59.95/57.94 o -1904 61.08/58.54 c And the winner is solver0 61.32/58.94 c Got one! Elapsed wall clock time (in seconds):58.819 61.32/58.94 o -1911 61.32/58.98 c And the winner is solver0 61.41/59.45 c Got one! Elapsed wall clock time (in seconds):59.326 61.41/59.45 o -1914 61.41/59.47 c And the winner is solver0 61.47/59.96 c Got one! Elapsed wall clock time (in seconds):59.833 61.47/59.96 o -1918 61.87/60.18 c And the winner is solver0 62.18/60.54 c Got one! Elapsed wall clock time (in seconds):60.416 62.18/60.54 o -1931 62.18/60.56 c And the winner is solver0 62.24/61.05 c Got one! Elapsed wall clock time (in seconds):60.922 62.24/61.05 o -1939 62.73/61.33 c And the winner is solver0 62.97/61.55 c Got one! Elapsed wall clock time (in seconds):61.429 62.97/61.55 o -1955 63.08/61.65 c And the winner is solver0 63.37/62.06 c Got one! Elapsed wall clock time (in seconds):61.936 63.37/62.06 o -1960 63.43/62.13 c And the winner is solver0 63.72/62.57 c Got one! Elapsed wall clock time (in seconds):62.443 63.72/62.57 o -1969 64.77/63.17 c cleaning 7136 clauses out of 14271 with flag 2003/47310 64.97/63.22 c And the winner is solver0 65.05/63.57 c Got one! Elapsed wall clock time (in seconds):63.45 65.05/63.57 o -1970 65.09/63.64 c And the winner is solver0 65.40/64.08 c Got one! Elapsed wall clock time (in seconds):63.957 65.40/64.08 o -1979 65.62/64.28 c And the winner is solver0 65.88/64.59 c Got one! Elapsed wall clock time (in seconds):64.464 65.88/64.59 o -1981 65.89/64.61 c And the winner is solver0 65.90/65.10 c Got one! Elapsed wall clock time (in seconds):64.971 65.90/65.10 o -1982 65.90/65.18 c And the winner is solver0 66.26/65.60 c Got one! Elapsed wall clock time (in seconds):65.478 66.26/65.60 o -1989 66.26/65.65 c And the winner is solver0 66.38/66.11 c Got one! Elapsed wall clock time (in seconds):65.985 66.38/66.11 o -1995 66.38/66.12 c And the winner is solver0 66.38/66.62 c Got one! Elapsed wall clock time (in seconds):66.492 66.38/66.62 o -2000 66.54/66.74 c And the winner is solver0 66.78/67.12 c Got one! Elapsed wall clock time (in seconds):67.0 66.78/67.12 o -2003 68.93/68.24 c And the winner is solver0 69.04/68.63 c Got one! Elapsed wall clock time (in seconds):68.508 69.04/68.63 o -2022 73.27/70.78 c And the winner is solver0 73.59/71.14 c Got one! Elapsed wall clock time (in seconds):71.017 73.59/71.14 o -2035 73.69/71.27 c And the winner is solver0 74.01/71.65 c Got one! Elapsed wall clock time (in seconds):71.524 74.01/71.65 o -2040 74.10/71.72 c And the winner is solver0 74.37/72.16 c Got one! Elapsed wall clock time (in seconds):72.031 74.37/72.16 o -2043 74.84/72.48 c And the winner is solver0 75.19/72.71 c Got one! Elapsed wall clock time (in seconds):72.588 75.19/72.71 o -2045 75.35/72.81 c And the winner is solver0 75.57/73.22 c Got one! Elapsed wall clock time (in seconds):73.095 75.57/73.22 o -2046 76.53/73.80 c cleaning 7928 clauses out of 15855 with flag 2019/56030 78.73/74.81 c And the winner is solver0 78.79/75.23 c Got one! Elapsed wall clock time (in seconds):75.103 78.79/75.23 o -2062 82.91/77.32 c cleaning 6944 clauses out of 13891 with flag 8003/61994 89.21/80.46 c cleaning 6472 clauses out of 12947 with flag 20003/67994 91.41/81.54 c And the winner is solver0 91.63/81.74 c Got one! Elapsed wall clock time (in seconds):81.615 91.63/81.74 o -2090 94.73/83.31 c cleaning 5767 clauses out of 11543 with flag 6002/73062 95.54/83.78 c And the winner is solver0 95.82/84.25 c Got one! Elapsed wall clock time (in seconds):84.122 95.82/84.25 o -2104 98.31/85.53 c And the winner is solver0 98.52/85.75 c Got one! Elapsed wall clock time (in seconds):85.629 98.52/85.75 o -2107 99.80/86.42 c And the winner is solver0 99.90/86.76 c Got one! Elapsed wall clock time (in seconds):86.636 99.90/86.76 o -2109 99.96/86.90 c And the winner is solver0 100.34/87.27 c Got one! Elapsed wall clock time (in seconds):87.143 100.34/87.27 o -2116 100.59/87.40 c And the winner is solver0 100.77/87.77 c Got one! Elapsed wall clock time (in seconds):87.65 100.77/87.77 o -2122 103.44/89.21 c cleaning 6342 clauses out of 12686 with flag 4005/79972 105.22/90.16 c And the winner is solver0 105.38/90.59 c Got one! Elapsed wall clock time (in seconds):90.464 105.38/90.59 o -2143 107.60/91.70 c And the winner is solver0 107.78/92.10 c Got one! Elapsed wall clock time (in seconds):91.972 107.78/92.10 o -2149 107.97/92.21 c And the winner is solver0 108.20/92.60 c Got one! Elapsed wall clock time (in seconds):92.48 108.20/92.60 o -2156 108.77/92.99 c And the winner is solver0 109.06/93.11 c Got one! Elapsed wall clock time (in seconds):92.988 109.06/93.11 o -2158 109.06/93.14 c And the winner is solver0 109.12/93.62 c Got one! Elapsed wall clock time (in seconds):93.495 109.12/93.62 o -2159 110.26/94.27 c And the winner is solver0 110.51/94.63 c Got one! Elapsed wall clock time (in seconds):94.503 110.51/94.63 o -2165 111.44/95.19 c cleaning 6670 clauses out of 13343 with flag 2004/86971 117.64/98.20 c cleaning 6336 clauses out of 12674 with flag 14006/92972 121.04/99.92 c And the winner is solver0 121.27/100.15 c Got one! Elapsed wall clock time (in seconds):100.022 121.27/100.15 o -2166 123.38/101.23 c cleaning 5851 clauses out of 11706 with flag 4005/98340 129.17/104.17 c And the winner is solver0 129.50/104.66 c Got one! Elapsed wall clock time (in seconds):104.53 129.50/104.66 o -2171 129.78/104.82 c And the winner is solver0 130.16/105.16 c Got one! Elapsed wall clock time (in seconds):105.038 130.16/105.16 o -2184 130.22/105.27 c And the winner is solver0 130.42/105.67 c Got one! Elapsed wall clock time (in seconds):105.545 130.42/105.67 o -2195 130.48/105.70 c And the winner is solver0 130.51/106.18 c Got one! Elapsed wall clock time (in seconds):106.054 130.51/106.18 o -2199 130.54/106.30 c And the winner is solver0 130.97/106.69 c Got one! Elapsed wall clock time (in seconds):106.562 130.97/106.69 o -2202 136.78/109.60 c cleaning 8592 clauses out of 17183 with flag 10030/109668 138.98/110.79 c And the winner is solver0 139.20/111.20 c Got one! Elapsed wall clock time (in seconds):111.07 139.20/111.20 o -2263 142.45/112.85 c cleaning 6882 clauses out of 13769 with flag 6005/114846 148.45/115.85 c cleaning 6439 clauses out of 12886 with flag 18003/120845 155.45/119.33 c cleaning 6724 clauses out of 13447 with flag 32003/127845 163.70/123.49 c cleaning 7358 clauses out of 14723 with flag 48003/135845 173.38/128.23 c cleaning 8180 clauses out of 16365 with flag 66003/144845 184.18/133.66 c cleaning 9091 clauses out of 18185 with flag 86003/154845 184.98/134.05 c And the winner is solver0 185.76/134.71 c Got one! Elapsed wall clock time (in seconds):134.583 185.76/134.71 o -2277 190.93/137.34 c cleaning 7400 clauses out of 14808 with flag 10004/160559 197.13/140.43 c cleaning 6703 clauses out of 13407 with flag 22002/166558 201.34/142.55 c And the winner is solver0 201.58/142.72 c Got one! Elapsed wall clock time (in seconds):142.593 201.58/142.72 o -2282 202.53/143.29 c cleaning 5855 clauses out of 11715 with flag 2003/171569 205.73/144.87 c And the winner is solver0 206.09/145.23 c Got one! Elapsed wall clock time (in seconds):145.102 206.09/145.23 o -2287 206.82/145.65 c And the winner is solver0 207.27/145.94 c Got one! Elapsed wall clock time (in seconds):145.818 207.27/145.94 o -2290 207.27/145.99 c And the winner is solver0 207.40/146.45 c Got one! Elapsed wall clock time (in seconds):146.327 207.40/146.45 o -2293 207.40/146.46 c And the winner is solver0 207.41/146.96 c Got one! Elapsed wall clock time (in seconds):146.836 207.41/146.96 o -2297 208.67/147.61 c And the winner is solver0 208.91/147.97 c Got one! Elapsed wall clock time (in seconds):147.845 208.91/147.97 o -2302 209.55/148.34 c And the winner is solver0 209.70/148.48 c Got one! Elapsed wall clock time (in seconds):148.353 209.70/148.48 o -2308 209.79/148.51 c And the winner is solver0 209.82/148.99 c Got one! Elapsed wall clock time (in seconds):148.862 209.82/148.99 o -2315 210.83/149.56 c cleaning 6301 clauses out of 12603 with flag 2036/178312 217.29/152.71 c cleaning 6149 clauses out of 12301 with flag 14034/184311 219.09/153.64 c And the winner is solver0 219.32/154.00 c Got one! Elapsed wall clock time (in seconds):153.872 219.32/154.00 o -2317 223.51/156.11 c cleaning 5969 clauses out of 11942 with flag 8003/190101 229.71/159.27 c cleaning 5984 clauses out of 11974 with flag 20005/196102 234.78/161.79 c And the winner is solver0 235.20/162.11 c Got one! Elapsed wall clock time (in seconds):161.982 235.20/162.11 o -2327 235.78/162.44 c And the winner is solver0 236.00/162.62 c Got one! Elapsed wall clock time (in seconds):162.491 236.00/162.62 o -2354 236.16/162.77 c And the winner is solver0 236.40/163.12 c Got one! Elapsed wall clock time (in seconds):162.999 236.40/163.12 o -2358 237.54/163.73 c cleaning 6309 clauses out of 12619 with flag 2037/202731 244.02/166.95 c cleaning 6152 clauses out of 12310 with flag 14037/208731 250.82/170.38 c And the winner is solver0 251.27/170.74 c Got one! Elapsed wall clock time (in seconds):170.61 251.27/170.74 o -2377 256.67/173.43 c cleaning 8872 clauses out of 17751 with flag 10003/220324 262.87/176.55 c cleaning 7433 clauses out of 14879 with flag 22003/226324 270.27/180.21 c cleaning 7221 clauses out of 14445 with flag 36001/233323 278.57/184.36 c cleaning 7608 clauses out of 15225 with flag 52003/241324 287.76/188.95 c cleaning 8304 clauses out of 16617 with flag 70003/250324 298.56/194.32 c cleaning 9153 clauses out of 18313 with flag 90003/260324 310.26/200.13 c cleaning 10078 clauses out of 20160 with flag 112003/271324 323.65/206.72 c cleaning 11034 clauses out of 22082 with flag 136003/283324 338.05/214.00 c cleaning 12021 clauses out of 24048 with flag 162003/296324 342.24/216.05 c And the winner is solver1 342.24/216.34 c Got one! Elapsed wall clock time (in seconds):216.211 342.24/216.34 o -3473 343.31/217.13 c And the winner is solver0 343.46/217.54 c Got one! Elapsed wall clock time (in seconds):217.417 343.46/217.54 o -3475 343.57/217.61 c And the winner is solver0 343.65/218.05 c Got one! Elapsed wall clock time (in seconds):217.926 343.65/218.05 o -3903 343.73/218.13 c And the winner is solver0 343.87/218.56 c Got one! Elapsed wall clock time (in seconds):218.434 343.87/218.56 o -4271 344.14/218.74 c And the winner is solver0 344.33/219.07 c Got one! Elapsed wall clock time (in seconds):218.944 344.33/219.07 o -4280 344.38/219.15 c And the winner is solver0 344.55/219.58 c Got one! Elapsed wall clock time (in seconds):219.452 344.55/219.58 o -4679 344.58/219.68 c And the winner is solver0 344.82/220.09 c Got one! Elapsed wall clock time (in seconds):219.961 344.82/220.09 o -4709 345.03/220.28 c And the winner is solver0 345.34/220.59 c Got one! Elapsed wall clock time (in seconds):220.47 345.34/220.59 o -4872 345.53/220.80 c And the winner is solver0 345.88/221.10 c Got one! Elapsed wall clock time (in seconds):220.979 345.88/221.10 o -4899 345.88/221.20 c And the winner is solver0 346.14/221.61 c Got one! Elapsed wall clock time (in seconds):221.488 346.14/221.61 o -5081 346.30/221.76 c And the winner is solver0 346.53/222.12 c Got one! Elapsed wall clock time (in seconds):221.997 346.53/222.12 o -5097 346.88/222.33 c And the winner is solver0 347.06/222.63 c Got one! Elapsed wall clock time (in seconds):222.506 347.06/222.63 o -5099 347.19/222.78 c And the winner is solver0 347.61/223.14 c Got one! Elapsed wall clock time (in seconds):223.015 347.61/223.14 o -5144 347.71/223.30 c And the winner is solver0 348.01/223.65 c Got one! Elapsed wall clock time (in seconds):223.524 348.01/223.65 o -5227 348.10/223.79 c And the winner is solver0 348.39/224.16 c Got one! Elapsed wall clock time (in seconds):224.033 348.39/224.16 o -5284 348.66/224.30 c And the winner is solver0 348.77/224.67 c Got one! Elapsed wall clock time (in seconds):224.542 348.77/224.67 o -5290 349.02/224.81 c And the winner is solver0 349.16/225.18 c Got one! Elapsed wall clock time (in seconds):225.051 349.16/225.18 o -5341 349.19/225.29 c And the winner is solver0 349.46/225.68 c Got one! Elapsed wall clock time (in seconds):225.56 349.46/225.68 o -5362 349.67/225.87 c And the winner is solver0 349.98/226.19 c Got one! Elapsed wall clock time (in seconds):226.069 349.98/226.19 o -5494 350.18/226.34 c And the winner is solver0 350.36/226.70 c Got one! Elapsed wall clock time (in seconds):226.578 350.36/226.70 o -5504 350.74/226.91 c And the winner is solver0 350.92/227.21 c Got one! Elapsed wall clock time (in seconds):227.087 350.92/227.21 o -5513 350.92/227.28 c And the winner is solver0 351.10/227.72 c Got one! Elapsed wall clock time (in seconds):227.596 351.10/227.72 o -5523 351.26/227.87 c And the winner is solver0 351.48/228.23 c Got one! Elapsed wall clock time (in seconds):228.105 351.48/228.23 o -5525 354.10/229.51 c cleaning 11032 clauses out of 22072 with flag 4984/306369 363.41/233.92 c cleaning 8520 clauses out of 17042 with flag 25159/312371 374.21/239.13 c cleaning 7758 clauses out of 15522 with flag 46579/319371 386.14/245.01 c cleaning 7877 clauses out of 15762 with flag 76754/327369 399.33/251.59 c cleaning 8444 clauses out of 16887 with flag 113421/336371 414.13/258.96 c cleaning 9222 clauses out of 18443 with flag 155740/346371 431.37/267.48 c cleaning 10101 clauses out of 20220 with flag 207975/357370 452.08/278.18 c cleaning 11057 clauses out of 22118 with flag 264632/369369 473.65/288.80 c cleaning 12031 clauses out of 24061 with flag 333416/382369 495.85/299.91 c cleaning 13014 clauses out of 26031 with flag 418415/396370 520.17/312.05 c cleaning 14008 clauses out of 28017 with flag 504546/411370 547.72/325.64 c cleaning 14999 clauses out of 30008 with flag 607185/427369 570.70/337.19 c And the winner is solver0 571.20/337.74 c Got one! Elapsed wall clock time (in seconds):337.614 571.20/337.74 o -5531 578.84/341.90 c cleaning 16892 clauses out of 33783 with flag 18410/446143 585.85/345.48 c cleaning 11441 clauses out of 22890 with flag 33813/452142 594.24/349.68 c cleaning 9223 clauses out of 18449 with flag 51233/459142 604.33/354.68 c cleaning 8612 clauses out of 17226 with flag 72543/467142 615.52/360.24 c cleaning 8803 clauses out of 17614 with flag 97185/476142 628.12/366.51 c cleaning 9404 clauses out of 18812 with flag 123960/486143 641.72/373.38 c cleaning 10201 clauses out of 20407 with flag 150790/497142 657.46/381.11 c cleaning 11102 clauses out of 22207 with flag 182592/509143 674.96/389.72 c cleaning 12050 clauses out of 24104 with flag 214792/522142 693.35/398.91 c cleaning 13024 clauses out of 26054 with flag 248291/536142 713.15/408.82 c cleaning 14016 clauses out of 28031 with flag 285319/551143 734.83/419.52 c cleaning 15003 clauses out of 30015 with flag 325719/567143 757.62/430.93 c cleaning 16002 clauses out of 32011 with flag 369074/584142 782.47/443.20 c cleaning 17003 clauses out of 34009 with flag 412137/602142 809.41/456.55 c cleaning 17998 clauses out of 36007 with flag 455673/621143 836.59/470.12 c cleaning 19000 clauses out of 38009 with flag 504293/641143 864.64/483.98 c cleaning 20000 clauses out of 40009 with flag 558027/662143 894.31/498.61 c cleaning 21003 clauses out of 42008 with flag 617589/684142 926.10/514.33 c cleaning 21998 clauses out of 44006 with flag 675420/707143 961.54/532.65 c cleaning 23003 clauses out of 46007 with flag 737692/731142 998.47/551.07 c cleaning 24002 clauses out of 48005 with flag 794445/756143 1038.19/570.71 c cleaning 24995 clauses out of 50002 with flag 857175/782142 1079.64/591.20 c cleaning 26002 clauses out of 52008 with flag 923750/809143 1120.88/611.43 c cleaning 27000 clauses out of 54007 with flag 999192/837144 1164.79/634.14 c cleaning 27999 clauses out of 56006 with flag 1080906/866143 1207.40/655.32 c cleaning 28999 clauses out of 58006 with flag 1168742/896142 1254.26/678.61 c cleaning 30003 clauses out of 60009 with flag 1253477/927144 1301.64/701.95 c cleaning 30999 clauses out of 62005 with flag 1346981/959143 1352.75/727.07 c cleaning 31999 clauses out of 64005 with flag 1435570/992142 1407.00/753.78 c cleaning 33001 clauses out of 66007 with flag 1531075/1026143 1463.82/783.22 c cleaning 34000 clauses out of 68005 with flag 1617943/1061142 1521.27/811.87 c cleaning 35000 clauses out of 70005 with flag 1714972/1097142 1578.11/839.99 c cleaning 35999 clauses out of 72005 with flag 1817071/1134142 1637.03/869.22 c cleaning 36998 clauses out of 74007 with flag 1916537/1172143 1698.07/899.32 c cleaning 38002 clauses out of 76008 with flag 2019777/1211142 1761.89/930.83 c cleaning 39003 clauses out of 78007 with flag 2133234/1251143 1800.12/949.50 c >>>>>>>>>> Solver number 0 (160 answers) <<<<<<<<<<<<<<<<<< 1800.12/949.50 c starts : 2916 1800.12/949.50 c conflicts : 1276237 1800.12/949.50 c decisions : 6312673 1800.12/949.50 c propagations : 205899704 1800.12/949.50 c inspects : 3753177836 1800.12/949.50 c shortcuts : 0 1800.12/949.50 c learnt literals : 0 1800.12/949.50 c learnt binary clauses : 78 1800.12/949.50 c learnt ternary clauses : 1501 1800.12/949.50 c learnt constraints : 1276237 1800.12/949.50 c ignored constraints : 0 1800.12/949.50 c root simplifications : 0 1800.12/949.50 c removed literals (reason simplification) : 126791694 1800.12/949.50 c reason swapping (by a shorter reason) : 0 1800.12/949.50 c Calls to reduceDB : 87 1800.12/949.50 c Number of update (reduction) of LBD : 15414 1800.12/949.50 c Imported unit clauses : 0 1800.12/949.50 c number of reductions to clauses (during analyze) : 0 1800.12/949.50 c number of learned constraints concerned by reduction : 0 1800.12/949.50 c number of learning phase by resolution : 0 1800.12/949.50 c number of learning phase by cutting planes : 0 1800.12/949.50 c speed (assignments/second) : 280839.08674653113 1800.12/949.50 c non guided choices 0 1800.12/949.53 c learnt constraints type 1800.12/949.53 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 78 1800.12/949.53 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 64020 1800.12/949.53 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.12/949.53 c starts : 173 1800.12/949.53 c conflicts : 2121 1800.12/949.53 c decisions : 9216 1800.12/949.53 c propagations : 1067803 1800.12/949.53 c inspects : 241108089 1800.12/949.53 c shortcuts : 0 1800.12/949.53 c learnt literals : 0 1800.12/949.53 c learnt binary clauses : 0 1800.12/949.53 c learnt ternary clauses : 0 1800.12/949.53 c learnt constraints : 2003 1800.12/949.53 c ignored constraints : 0 1800.12/949.53 c root simplifications : 0 1800.12/949.53 c removed literals (reason simplification) : 0 1800.12/949.53 c reason swapping (by a shorter reason) : 0 1800.12/949.53 c Calls to reduceDB : 0 1800.12/949.53 c Number of update (reduction) of LBD : 0 1800.12/949.53 c Imported unit clauses : 0 1800.12/949.53 c number of reductions to clauses (during analyze) : 0 1800.12/949.53 c number of learned constraints concerned by reduction : 0 1800.12/949.53 c number of learning phase by resolution : 0 1800.12/949.53 c number of learning phase by cutting planes : 0 1800.12/949.53 c speed (assignments/second) : 1745.4121354676622 1800.12/949.53 c non guided choices 0 1800.12/949.53 c learnt constraints type 1800.12/949.53 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2003 1800.12/949.53 s SATISFIABLE 1800.12/949.53 c Found 161 solution(s) 1800.12/949.54 v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 x30 -x31 x32 x33 -x34 -x35 -x36 x37 -x38 -x39 x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 x2685 x2686 -x2687 -x2688 -x2689 -x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 x3153 -x3154 -x3155 -x3156 x3157 -x3158 -x3159 x3160 -x3161 x3162 -x3163 -x3164 -x3165 x3166 -x3167 -x3168 x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 x3276 -x3277 x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 x3941 -x3942 -x3943 x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 x4010 -x4011 -x4012 -x4013 -x4014 x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 x4048 -x4049 -x4050 -x4051 -x4052 x4053 -x4054 x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 x4108 -x4109 x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 x4173 -x4174 x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 x4195 -x4196 x4197 x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 x4285 x4286 -x4287 -x4288 -x4289 x4290 -x4291 -x4292 x4293 -x4294 x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 x4312 -x4313 -x4314 x4315 -x4316 x4317 -x4318 -x4319 -x4320 -x4321 -x4322 x4323 -x4324 -x4325 x4326 -x4327 x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 x4370 -x4371 x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 1800.12/949.54 c objective function=-5531 1800.12/949.54 c Total wall clock time (in seconds): 949.417
OK -5531
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4118818-1467236560/watcher-4118818-1467236560 -o /tmp/evaluation-result-4118818-1467236560/solver-4118818-1467236560 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467233815-9715 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118818-1467236560.opb pid=11249 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.25 4.16 3.99 3/197 11252 /proc/meminfo: memFree=25152580/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/11252/stat : 11252 (java) D 11249 11252 6338 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 4610797 9515008 186 33554432000 1073741824 1073778376 140733767351968 140733767341032 229346733351 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2323 186 143 9 0 71 0 [startup+0.100057 s] /proc/loadavg: 4.25 4.16 3.99 3/197 11252 /proc/meminfo: memFree=25152580/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 6338 0 -1 4202496 4459 0 1 0 8 1 0 0 20 0 18 0 4610797 9787879424 5576 33554432000 1073741824 1073778376 140733767351968 140733767343104 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2389619 5576 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200252 s] /proc/loadavg: 4.25 4.16 3.99 3/197 11252 /proc/meminfo: memFree=25152580/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9558476 CPUtime=0.27 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 6338 0 -1 4202496 5031 0 1 0 26 1 0 0 20 0 18 0 4610797 9787879424 6484 33554432000 1073741824 1073778376 140733767351968 140733767343104 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2389619 6484 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.27 Current children cumulated vsize (KiB) 9558476 [startup+0.300246 s] /proc/loadavg: 4.25 4.16 3.99 3/197 11252 /proc/meminfo: memFree=25152580/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9558476 CPUtime=0.45 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 6338 0 -1 4202496 6784 0 1 0 43 2 0 0 20 0 18 0 4610797 9787879424 9011 33554432000 1073741824 1073778376 140733767351968 140733767343104 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2389619 9011 2231 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700296 s] /proc/loadavg: 4.25 4.16 3.99 3/197 11252 /proc/meminfo: memFree=25152580/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9824732 CPUtime=1.7 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 6338 0 -1 4202496 19537 0 1 0 163 7 0 0 20 0 19 0 4610797 10060525568 26611 33554432000 1073741824 1073778376 140733767351968 140733767343104 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2456183 26611 2263 9 0 2446860 0 Current children cumulated CPU time (s) 1.7 Current children cumulated vsize (KiB) 9824732 [startup+1.50081 s] /proc/loadavg: 4.25 4.16 3.99 7/219 11277 /proc/meminfo: memFree=25045256/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9824732 CPUtime=2.34 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 6338 0 -1 4202496 20583 0 1 0 225 9 0 0 20 0 19 0 4610797 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140733767343104 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2456183 29028 2267 9 0 2446860 0 [pid=11252/tid=11254] ppid=11249 vsize=9824732 CPUtime=0.52 cores=0,2,4,6 /proc/11252/task/11254/stat : 11254 (java) S 11249 11252 6338 0 -1 4202560 2532 0 1 0 50 2 0 0 20 0 19 0 4610798 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451540431736 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11255] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11255/stat : 11255 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451384543784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11256] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11256/stat : 11256 (java) S 11249 11252 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451383490984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11257] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11257/stat : 11257 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451382438184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11258] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451381385384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11259] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451380333608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11260] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11260/stat : 11260 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451379280808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451378228008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451377175208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11263] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11263/stat : 11263 (java) S 11249 11252 6338 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4610801 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451364764136 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4610801 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451363710200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11265] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11265/stat : 11265 (java) S 11249 11252 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4610801 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451362657288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610803 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451361605776 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11267] ppid=11249 vsize=9824732 CPUtime=0.69 cores=0,2,4,6 /proc/11252/task/11267/stat : 11267 (java) S 11249 11252 6338 0 -1 4202560 10420 0 0 0 67 2 0 0 20 0 19 0 4610804 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451360553912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=9824732 CPUtime=0.68 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 6338 0 -1 4202560 6280 0 0 0 68 0 0 0 20 0 19 0 4610804 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451359501112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11269] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11269/stat : 11269 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610804 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451358448504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610804 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451357395912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11274] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11274/stat : 11274 (java) S 11249 11252 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4610852 10060525568 29028 33554432000 1073741824 1073778376 140733767351968 140451351540520 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.34 Current children cumulated vsize (KiB) 9824732 [startup+3.10078 s] /proc/loadavg: 4.07 4.13 3.98 2/214 11283 /proc/meminfo: memFree=25025848/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9824732 CPUtime=2.91 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 6338 0 -1 4202496 20806 0 1 0 276 15 0 0 20 0 19 0 4610797 10060525568 36777 33554432000 1073741824 1073778376 140733767351968 140733767343104 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2456183 36777 2276 9 0 2446860 0 [pid=11252/tid=11254] ppid=11249 vsize=9824732 CPUtime=0.56 cores=0,2,4,6 /proc/11252/task/11254/stat : 11254 (java) R 11249 11252 6338 0 -1 4202560 2541 0 1 0 54 2 0 0 20 0 19 0 4610798 10060525568 36777 33554432000 1073741824 1073778376 140733767351968 140451540422960 140451412789953 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11255] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11255/stat : 11255 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451384543784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11256] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11256/stat : 11256 (java) S 11249 11252 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451383490984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11257] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11257/stat : 11257 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451382438184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11258] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451381385384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11259] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451380333608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11260] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11260/stat : 11260 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451379280808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451378228008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4610799 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451377175208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11263] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11263/stat : 11263 (java) S 11249 11252 6338 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4610801 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451364764136 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 6338 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4610801 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451363710200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11265] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11265/stat : 11265 (java) S 11249 11252 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4610801 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451362657288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610803 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451361605776 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11267] ppid=11249 vsize=9824732 CPUtime=0.89 cores=0,2,4,6 /proc/11252/task/11267/stat : 11267 (java) R 11249 11252 6338 0 -1 4202560 10454 0 0 0 87 2 0 0 20 0 19 0 4610804 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451360553912 229359280565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=9824732 CPUtime=0.85 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) R 11249 11252 6338 0 -1 4202560 6431 0 0 0 85 0 0 0 20 0 19 0 4610804 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451359500992 140451548171252 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11269] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11269/stat : 11269 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610804 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451358448504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4610804 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451357395912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11274] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11274/stat : 11274 (java) S 11249 11252 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4610852 10060525568 37289 33554432000 1073741824 1073778376 140733767351968 140451351540520 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 2.91 Current children cumulated vsize (KiB) 9824732 [startup+6.30075 s] /proc/loadavg: 4.07 4.13 3.98 2/214 11301 /proc/meminfo: memFree=24962628/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9824732 CPUtime=3.4 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 6338 0 -1 4202496 20940 0 1 0 315 25 0 0 20 0 20 0 4610797 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140733767343104 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2456183 49197 2289 9 0 2446860 0 [pid=11252/tid=11254] ppid=11249 vsize=9824732 CPUtime=0.61 cores=0,2,4,6 /proc/11252/task/11254/stat : 11254 (java) S 11249 11252 6338 0 -1 4202560 2549 0 1 0 58 3 0 0 20 0 20 0 4610798 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451540431736 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11255] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11255/stat : 11255 (java) S 11249 11252 6338 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 4610799 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451384543784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11256] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11256/stat : 11256 (java) S 11249 11252 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 4610799 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451383490984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11257] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11257/stat : 11257 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4610799 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451382438184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11258] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) S 11249 11252 6338 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 4610799 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451381385384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11259] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4610799 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451380333608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11260] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11260/stat : 11260 (java) S 11249 11252 6338 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 4610799 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451379280808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 6338 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 4610799 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451378228008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 4610799 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451377175208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11263] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11263/stat : 11263 (java) S 11249 11252 6338 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 4610801 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451364764136 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 4610801 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451363710200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11265] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11265/stat : 11265 (java) S 11249 11252 6338 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 4610801 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451362657288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4610803 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451361605776 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11267] ppid=11249 vsize=9824732 CPUtime=0.95 cores=0,2,4,6 /proc/11252/task/11267/stat : 11267 (java) S 11249 11252 6338 0 -1 4202560 10462 0 0 0 93 2 0 0 20 0 20 0 4610804 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451360553912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 6338 0 -1 4202560 6434 0 0 0 88 0 0 0 20 0 20 0 4610804 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451359501112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11269] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11269/stat : 11269 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4610804 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451358448504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4610804 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451357395912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11274] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11274/stat : 11274 (java) S 11249 11252 6338 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4610852 10060525568 49197 33554432000 1073741824 1073778376 140733767351968 140451351540520 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 3.4 Current children cumulated vsize (KiB) 9824732 heavy processes: ################ # More data... # ################ [pid=11252/tid=11262] ppid=11249 vsize=9824732 CPUtime=4.27 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 6338 0 -1 4202560 1428 0 0 0 373 54 0 0 20 0 22 0 4610799 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451377175208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11263] ppid=11249 vsize=9824732 CPUtime=9.21 cores=0,2,4,6 /proc/11252/task/11263/stat : 11263 (java) S 11249 11252 6338 0 -1 4202560 3477 0 0 0 908 13 0 0 20 0 22 0 4610801 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451364764136 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4610801 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451363710200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11265] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11265/stat : 11265 (java) S 11249 11252 6338 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 22 0 4610801 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451362657288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4610803 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451361605776 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11267] ppid=11249 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/11252/task/11267/stat : 11267 (java) S 11249 11252 6338 0 -1 4202560 13162 0 0 0 192 3 0 0 20 0 22 0 4610804 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451360553912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=9824732 CPUtime=1.72 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 6338 0 -1 4202560 11352 0 0 0 170 2 0 0 20 0 22 0 4610804 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451359501112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11269] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11269/stat : 11269 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4610804 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451358448504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=9824732 CPUtime=0.25 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 6338 0 -1 4202560 55 0 0 0 12 13 0 0 20 0 22 0 4610804 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451357395912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11798] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11798/stat : 11798 (java) S 11249 11252 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4632432 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451351540776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11871] ppid=11249 vsize=9824732 CPUtime=589.34 cores=0,2,4,6 /proc/11252/task/11871/stat : 11871 (java) R 11249 11252 6338 0 -1 4202560 17 0 0 0 58925 9 0 0 20 0 22 0 4644572 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451354696944 140451413677427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11872] ppid=11249 vsize=9824732 CPUtime=589.41 cores=0,2,4,6 /proc/11252/task/11872/stat : 11872 (java) R 11249 11252 6338 0 -1 4202560 45 0 0 0 58932 9 0 0 20 0 22 0 4644572 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451353644576 140451413124910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11873] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11873/stat : 11873 (java) S 11249 11252 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4644572 10060525568 1121993 33554432000 1073741824 1073778376 140733767351968 140451352593832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1785.02 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+949.501 s] /proc/loadavg: 4.15 4.18 4.07 6/219 11987 /proc/meminfo: memFree=23551732/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9824732 CPUtime=1799.85 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 6338 0 -1 4202496 44641 0 1 0 179246 739 0 0 20 0 22 0 4610797 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140733767343104 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2456183 1122024 2303 9 0 2446860 0 [pid=11252/tid=11254] ppid=11249 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/11252/task/11254/stat : 11254 (java) S 11249 11252 6338 0 -1 4202560 2573 0 1 0 164 4 0 0 20 0 22 0 4610798 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451540431736 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11255] ppid=11249 vsize=9824732 CPUtime=4.27 cores=0,2,4,6 /proc/11252/task/11255/stat : 11255 (java) S 11249 11252 6338 0 -1 4202560 1335 0 0 0 371 56 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451384543784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11256] ppid=11249 vsize=9824732 CPUtime=4.47 cores=0,2,4,6 /proc/11252/task/11256/stat : 11256 (java) S 11249 11252 6338 0 -1 4202560 1261 0 0 0 400 47 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451383490984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11257] ppid=11249 vsize=9824732 CPUtime=4.25 cores=0,2,4,6 /proc/11252/task/11257/stat : 11257 (java) S 11249 11252 6338 0 -1 4202560 1267 0 0 0 382 43 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451382438184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11258] ppid=11249 vsize=9824732 CPUtime=4.46 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) S 11249 11252 6338 0 -1 4202560 1423 0 0 0 399 47 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451381385384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11259] ppid=11249 vsize=9824732 CPUtime=4.21 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 6338 0 -1 4202560 1256 0 0 0 374 47 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451380333608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11260] ppid=11249 vsize=9824732 CPUtime=4.2 cores=0,2,4,6 /proc/11252/task/11260/stat : 11260 (java) S 11249 11252 6338 0 -1 4202560 1322 0 0 0 373 47 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451379280808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=9824732 CPUtime=4.53 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 6338 0 -1 4202560 1246 0 0 0 397 56 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451378228008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=9824732 CPUtime=4.32 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 6338 0 -1 4202560 1428 0 0 0 378 54 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451377175208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11263] ppid=11249 vsize=9824732 CPUtime=9.21 cores=0,2,4,6 /proc/11252/task/11263/stat : 11263 (java) S 11249 11252 6338 0 -1 4202560 3479 0 0 0 908 13 0 0 20 0 22 0 4610801 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451364764136 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4610801 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451363710200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11265] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11265/stat : 11265 (java) S 11249 11252 6338 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 22 0 4610801 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451362657288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4610803 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451361605776 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11267] ppid=11249 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/11252/task/11267/stat : 11267 (java) S 11249 11252 6338 0 -1 4202560 13162 0 0 0 192 3 0 0 20 0 22 0 4610804 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451360553912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=9824732 CPUtime=1.72 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 6338 0 -1 4202560 11352 0 0 0 170 2 0 0 20 0 22 0 4610804 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451359501112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11269] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11269/stat : 11269 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4610804 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451358448504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=9824732 CPUtime=0.25 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 6338 0 -1 4202560 55 0 0 0 12 13 0 0 20 0 22 0 4610804 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451357395912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11798] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11798/stat : 11798 (java) S 11249 11252 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4632432 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451351540776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11871] ppid=11249 vsize=9824732 CPUtime=596.29 cores=0,2,4,6 /proc/11252/task/11871/stat : 11871 (java) R 11249 11252 6338 0 -1 4202560 17 0 0 0 59619 10 0 0 20 0 22 0 4644572 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451354696928 140451413658673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11872] ppid=11249 vsize=9824732 CPUtime=596.36 cores=0,2,4,6 /proc/11252/task/11872/stat : 11872 (java) R 11249 11252 6338 0 -1 4202560 45 0 0 0 59626 10 0 0 20 0 22 0 4644572 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451353644864 140451413053963 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11873] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11873/stat : 11873 (java) S 11249 11252 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4644572 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451352593832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.85 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11252 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+949.501 s] /proc/loadavg: 4.15 4.18 4.07 6/219 11987 /proc/meminfo: memFree=23551732/32872528 swapFree=1370068/1517236 [pid=11252] ppid=11249 vsize=9824732 CPUtime=1799.85 cores=0,2,4,6 /proc/11252/stat : 11252 (java) S 11249 11252 6338 0 -1 4202496 44641 0 1 0 179246 739 0 0 20 0 22 0 4610797 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140733767343104 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 /proc/11252/statm: 2456183 1122024 2303 9 0 2446860 0 [pid=11252/tid=11254] ppid=11249 vsize=9824732 CPUtime=1.68 cores=0,2,4,6 /proc/11252/task/11254/stat : 11254 (java) S 11249 11252 6338 0 -1 4202560 2573 0 1 0 164 4 0 0 20 0 22 0 4610798 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451540431736 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11255] ppid=11249 vsize=9824732 CPUtime=4.27 cores=0,2,4,6 /proc/11252/task/11255/stat : 11255 (java) S 11249 11252 6338 0 -1 4202560 1335 0 0 0 371 56 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451384543784 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11256] ppid=11249 vsize=9824732 CPUtime=4.47 cores=0,2,4,6 /proc/11252/task/11256/stat : 11256 (java) S 11249 11252 6338 0 -1 4202560 1261 0 0 0 400 47 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451383490984 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11257] ppid=11249 vsize=9824732 CPUtime=4.25 cores=0,2,4,6 /proc/11252/task/11257/stat : 11257 (java) S 11249 11252 6338 0 -1 4202560 1267 0 0 0 382 43 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451382438184 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11258] ppid=11249 vsize=9824732 CPUtime=4.46 cores=0,2,4,6 /proc/11252/task/11258/stat : 11258 (java) S 11249 11252 6338 0 -1 4202560 1423 0 0 0 399 47 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451381385384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11259] ppid=11249 vsize=9824732 CPUtime=4.21 cores=0,2,4,6 /proc/11252/task/11259/stat : 11259 (java) S 11249 11252 6338 0 -1 4202560 1256 0 0 0 374 47 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451380333608 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11260] ppid=11249 vsize=9824732 CPUtime=4.2 cores=0,2,4,6 /proc/11252/task/11260/stat : 11260 (java) S 11249 11252 6338 0 -1 4202560 1322 0 0 0 373 47 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451379280808 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11261] ppid=11249 vsize=9824732 CPUtime=4.53 cores=0,2,4,6 /proc/11252/task/11261/stat : 11261 (java) S 11249 11252 6338 0 -1 4202560 1246 0 0 0 397 56 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451378228008 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11262] ppid=11249 vsize=9824732 CPUtime=4.32 cores=0,2,4,6 /proc/11252/task/11262/stat : 11262 (java) S 11249 11252 6338 0 -1 4202560 1428 0 0 0 378 54 0 0 20 0 22 0 4610799 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451377175208 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11263] ppid=11249 vsize=9824732 CPUtime=9.21 cores=0,2,4,6 /proc/11252/task/11263/stat : 11263 (java) S 11249 11252 6338 0 -1 4202560 3479 0 0 0 908 13 0 0 20 0 22 0 4610801 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451364764136 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=11252/tid=11264] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11264/stat : 11264 (java) S 11249 11252 6338 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4610801 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451363710200 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11265] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11265/stat : 11265 (java) S 11249 11252 6338 0 -1 4202560 92 0 0 0 0 0 0 0 20 0 22 0 4610801 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451362657288 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=11252/tid=11266] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11266/stat : 11266 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4610803 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451361605776 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11267] ppid=11249 vsize=9824732 CPUtime=1.95 cores=0,2,4,6 /proc/11252/task/11267/stat : 11267 (java) S 11249 11252 6338 0 -1 4202560 13162 0 0 0 192 3 0 0 20 0 22 0 4610804 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451360553912 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11268] ppid=11249 vsize=9824732 CPUtime=1.72 cores=0,2,4,6 /proc/11252/task/11268/stat : 11268 (java) S 11249 11252 6338 0 -1 4202560 11352 0 0 0 170 2 0 0 20 0 22 0 4610804 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451359501112 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11269] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11269/stat : 11269 (java) S 11249 11252 6338 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4610804 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451358448504 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11270] ppid=11249 vsize=9824732 CPUtime=0.25 cores=0,2,4,6 /proc/11252/task/11270/stat : 11270 (java) S 11249 11252 6338 0 -1 4202560 55 0 0 0 12 13 0 0 20 0 22 0 4610804 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451357395912 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11798] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11798/stat : 11798 (java) S 11249 11252 6338 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 4632432 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451351540776 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11871] ppid=11249 vsize=9824732 CPUtime=596.29 cores=0,2,4,6 /proc/11252/task/11871/stat : 11871 (java) R 11249 11252 6338 0 -1 4202560 17 0 0 0 59619 10 0 0 20 0 22 0 4644572 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451354696928 140451413658673 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=11252/tid=11872] ppid=11249 vsize=9824732 CPUtime=596.36 cores=0,2,4,6 /proc/11252/task/11872/stat : 11872 (java) R 11249 11252 6338 0 -1 4202560 45 0 0 0 59626 10 0 0 20 0 22 0 4644572 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451353644864 140451413053963 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=11252/tid=11873] ppid=11249 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/11252/task/11873/stat : 11873 (java) S 11249 11252 6338 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4644572 10060525568 1122024 33554432000 1073741824 1073778376 140733767351968 140451352593832 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1799.85 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11252 and gives # childrusage.ru_utime.tv_sec=1789 # childrusage.ru_utime.tv_usec=358976 # childrusage.ru_stime.tv_sec=7 # childrusage.ru_stime.tv_usec=741823 # CPU time returned by wait4() is 1797.1 # while last known CPU time is 1799.85 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 0.27002 # lost CPU user time (s): 0.390015 # lost CPU system time (s): -0.12 Real time (s): 949.574 CPU time (s): 1800.12 CPU user time (s): 1792.85 CPU system time (s): 7.27 CPU usage (%): 189.571 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.36 system time used= 7.74182 maximum resident set size= 4488208 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44678 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1008 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27925 involuntary context switches= 31582 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.08408 second user time and 7.49486 second system time The end
Begin job on node129 at 2016-06-29 23:42:40 IDJOB=4118818 IDBENCH=111536 IDSOLVER=2543 FILE ID=node129/4118818-1467236560 RUNJOBID= node129-1467233815-9715 PBS_JOBID= 19997579 Free space on /tmp= 71600 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118818-1467236560/watcher-4118818-1467236560 -o /tmp/evaluation-result-4118818-1467236560/solver-4118818-1467236560 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467233815-9715 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118818-1467236560.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= aab1aa19ee49ed77df3100abf5070097 RANDOM SEED=1608793926 node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.683 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 25152736 kB Buffers: 90172 kB Cached: 1783928 kB SwapCached: 0 kB Active: 3865504 kB Inactive: 1580116 kB Active(anon): 3572484 kB Inactive(anon): 1596 kB Active(file): 293020 kB Inactive(file): 1578520 kB Unevictable: 1517236 kB Mlocked: 1370068 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 1276 kB Writeback: 4 kB AnonPages: 5088412 kB Mapped: 22136 kB Shmem: 204 kB Slab: 618288 kB SReclaimable: 62352 kB SUnreclaim: 555936 kB KernelStack: 1608 kB PageTables: 14352 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5734124 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3651584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71600 MiB End job on node129 at 2016-06-29 23:58:29