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) | -5597 | 1800.06 | 948.756 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.opb |
| MD5SUM | 9dff5eac4e461913f3a31c99f046fd52 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non 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.08 |
| 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 | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| 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) | 4407 |
| Sum of products size (including duplicates) | 13934 |
| 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.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/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.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4119377-1467254714.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 1.02/0.68 c ... done. Wall clock time 0.564s. 1.02/0.68 c declared #vars 50 1.02/0.68 c internal #vars 4457 1.02/0.68 c #constraints 8814 1.02/0.69 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.02/0.69 c constraints type 1.02/0.69 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4407 1.02/0.69 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4407 1.02/0.69 c 8814 constraints processed. 1.02/0.69 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.02/0.69 c constraints type 1.02/0.69 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4407 1.02/0.69 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4407 1.02/0.69 c 8814 constraints processed. 1.02/0.69 c objective function length is 4457 literals 1.25/0.76 c And the winner is solver0 1.65/1.19 c SATISFIABLE 1.65/1.19 c OPTIMIZING... 1.65/1.19 c Got one! Elapsed wall clock time (in seconds):1.075 1.65/1.19 o 0 1.68/1.29 c And the winner is solver0 2.09/1.72 c Got one! Elapsed wall clock time (in seconds):1.604 2.09/1.72 o -66 2.09/1.75 c And the winner is solver0 2.34/2.24 c Got one! Elapsed wall clock time (in seconds):2.121 2.34/2.24 o -132 2.34/2.28 c And the winner is solver0 2.56/2.75 c Got one! Elapsed wall clock time (in seconds):2.632 2.56/2.75 o -233 2.56/2.77 c And the winner is solver0 2.75/3.26 c Got one! Elapsed wall clock time (in seconds):3.141 2.75/3.26 o -308 2.75/3.28 c And the winner is solver0 2.81/3.77 c Got one! Elapsed wall clock time (in seconds):3.649 2.81/3.77 o -334 2.81/3.78 c And the winner is solver0 2.82/4.28 c Got one! Elapsed wall clock time (in seconds):4.156 2.82/4.28 o -447 2.82/4.30 c And the winner is solver0 2.91/4.78 c Got one! Elapsed wall clock time (in seconds):4.663 2.91/4.78 o -451 2.93/4.80 c And the winner is solver0 2.93/5.29 c Got one! Elapsed wall clock time (in seconds):5.169 2.93/5.29 o -564 2.94/5.31 c And the winner is solver0 2.99/5.80 c Got one! Elapsed wall clock time (in seconds):5.676 2.99/5.80 o -568 2.99/5.84 c And the winner is solver0 3.10/6.30 c Got one! Elapsed wall clock time (in seconds):6.182 3.10/6.30 o -698 3.10/6.33 c And the winner is solver0 3.41/6.81 c Got one! Elapsed wall clock time (in seconds):6.688 3.41/6.81 o -701 3.41/6.83 c And the winner is solver0 3.45/7.31 c Got one! Elapsed wall clock time (in seconds):7.193 3.45/7.31 o -804 3.45/7.35 c And the winner is solver0 3.74/7.82 c Got one! Elapsed wall clock time (in seconds):7.699 3.74/7.82 o -807 3.74/7.85 c And the winner is solver0 4.05/8.32 c Got one! Elapsed wall clock time (in seconds):8.205 4.05/8.32 o -826 4.05/8.34 c And the winner is solver0 4.13/8.83 c Got one! Elapsed wall clock time (in seconds):8.71 4.13/8.83 o -828 4.13/8.84 c And the winner is solver0 4.14/9.34 c Got one! Elapsed wall clock time (in seconds):9.216 4.14/9.34 o -834 4.14/9.35 c And the winner is solver0 4.20/9.84 c Got one! Elapsed wall clock time (in seconds):9.722 4.20/9.84 o -914 4.33/9.93 c And the winner is solver0 4.62/10.35 c Got one! Elapsed wall clock time (in seconds):10.227 4.62/10.35 o -977 4.79/10.41 c And the winner is solver0 5.12/10.85 c Got one! Elapsed wall clock time (in seconds):10.733 5.12/10.85 o -980 5.22/10.92 c And the winner is solver0 5.44/11.38 c Got one! Elapsed wall clock time (in seconds):11.26 5.44/11.38 o -1116 5.67/11.50 c And the winner is solver0 5.78/11.89 c Got one! Elapsed wall clock time (in seconds):11.766 5.78/11.89 o -1118 6.02/12.00 c And the winner is solver0 6.14/12.39 c Got one! Elapsed wall clock time (in seconds):12.272 6.14/12.39 o -1126 6.15/12.42 c And the winner is solver0 6.39/12.90 c Got one! Elapsed wall clock time (in seconds):12.777 6.39/12.90 o -1265 6.78/13.15 c And the winner is solver0 6.93/13.40 c Got one! Elapsed wall clock time (in seconds):13.283 6.93/13.40 o -1277 7.35/13.66 c And the winner is solver0 7.51/13.91 c Got one! Elapsed wall clock time (in seconds):13.788 7.51/13.91 o -1392 8.30/14.35 c And the winner is solver0 8.55/14.56 c Got one! Elapsed wall clock time (in seconds):14.445 8.55/14.56 o -1405 9.03/14.84 c And the winner is solver0 9.24/15.07 c Got one! Elapsed wall clock time (in seconds):14.95 9.24/15.07 o -1407 9.49/15.22 c And the winner is solver0 9.59/15.58 c Got one! Elapsed wall clock time (in seconds):15.456 9.59/15.58 o -1409 9.64/15.60 c And the winner is solver0 9.89/16.08 c Got one! Elapsed wall clock time (in seconds):15.962 9.89/16.08 o -1414 9.89/16.10 c And the winner is solver0 9.93/16.59 c Got one! Elapsed wall clock time (in seconds):16.468 9.93/16.59 o -1428 10.20/16.74 c And the winner is solver0 10.41/17.10 c Got one! Elapsed wall clock time (in seconds):16.973 10.41/17.10 o -1437 11.21/17.57 c And the winner is solver0 11.50/17.75 c Got one! Elapsed wall clock time (in seconds):17.629 11.50/17.75 o -1442 11.63/17.89 c And the winner is solver0 11.91/18.25 c Got one! Elapsed wall clock time (in seconds):18.135 11.91/18.25 o -1450 12.01/18.33 c And the winner is solver0 12.25/18.76 c Got one! Elapsed wall clock time (in seconds):18.641 12.25/18.76 o -1452 12.37/18.82 c And the winner is solver0 12.43/19.27 c Got one! Elapsed wall clock time (in seconds):19.146 12.43/19.27 o -1460 12.43/19.28 c And the winner is solver0 12.44/19.77 c Got one! Elapsed wall clock time (in seconds):19.652 12.44/19.77 o -1462 12.44/19.78 c And the winner is solver0 12.44/20.28 c Got one! Elapsed wall clock time (in seconds):20.157 12.44/20.28 o -1470 12.48/20.32 c And the winner is solver0 12.71/20.78 c Got one! Elapsed wall clock time (in seconds):20.663 12.71/20.78 o -1483 12.71/20.79 c And the winner is solver0 12.71/21.29 c Got one! Elapsed wall clock time (in seconds):21.169 12.71/21.29 o -1485 12.73/21.30 c And the winner is solver0 12.73/21.79 c Got one! Elapsed wall clock time (in seconds):21.674 12.73/21.79 o -1491 12.73/21.82 c And the winner is solver0 12.80/22.30 c Got one! Elapsed wall clock time (in seconds):22.18 12.80/22.30 o -1508 12.99/22.44 c And the winner is solver0 13.15/22.81 c Got one! Elapsed wall clock time (in seconds):22.685 13.15/22.81 o -1516 13.15/22.86 c And the winner is solver0 13.42/23.31 c Got one! Elapsed wall clock time (in seconds):23.191 13.42/23.31 o -1537 13.63/23.44 c And the winner is solver0 13.85/23.85 c Got one! Elapsed wall clock time (in seconds):23.727 13.85/23.85 o -1561 14.56/24.29 c And the winner is solver0 14.73/24.35 c Got one! Elapsed wall clock time (in seconds):24.233 14.73/24.35 o -1581 15.85/24.94 c And the winner is solver0 16.06/25.36 c Got one! Elapsed wall clock time (in seconds):25.239 16.06/25.36 o -1610 19.66/27.17 c And the winner is solver0 19.83/27.39 c Got one! Elapsed wall clock time (in seconds):27.27 19.83/27.39 o -1645 20.86/27.95 c And the winner is solver0 21.11/28.40 c Got one! Elapsed wall clock time (in seconds):28.276 21.11/28.40 o -1646 21.11/28.44 c And the winner is solver0 21.20/28.90 c Got one! Elapsed wall clock time (in seconds):28.782 21.20/28.90 o -1668 21.38/29.09 c And the winner is solver0 21.70/29.41 c Got one! Elapsed wall clock time (in seconds):29.288 21.70/29.41 o -1669 21.96/29.50 c And the winner is solver0 21.98/29.92 c Got one! Elapsed wall clock time (in seconds):29.794 21.98/29.92 o -1682 21.98/29.97 c And the winner is solver0 22.10/30.42 c Got one! Elapsed wall clock time (in seconds):30.3 22.10/30.42 o -1690 22.65/30.75 c And the winner is solver0 22.89/30.93 c Got one! Elapsed wall clock time (in seconds):30.806 22.89/30.93 o -1701 24.05/31.55 c cleaning 7104 clauses out of 14210 with flag 2005/14210 24.05/31.56 c And the winner is solver0 24.25/31.93 c Got one! Elapsed wall clock time (in seconds):31.813 24.25/31.93 o -1725 24.44/32.05 c And the winner is solver0 24.77/32.44 c Got one! Elapsed wall clock time (in seconds):32.318 24.77/32.44 o -1726 24.89/32.51 c And the winner is solver0 25.08/32.94 c Got one! Elapsed wall clock time (in seconds):32.824 25.08/32.94 o -1733 25.08/32.97 c And the winner is solver0 25.16/33.45 c Got one! Elapsed wall clock time (in seconds):33.33 25.16/33.45 o -1734 25.84/33.86 c And the winner is solver0 26.00/33.96 c Got one! Elapsed wall clock time (in seconds):33.837 26.00/33.96 o -1781 29.09/35.55 c And the winner is solver0 29.27/35.96 c Got one! Elapsed wall clock time (in seconds):35.843 29.27/35.96 o -1812 31.63/37.12 c cleaning 6607 clauses out of 13215 with flag 4004/20319 31.63/37.14 c And the winner is solver0 31.72/37.47 c Got one! Elapsed wall clock time (in seconds):37.35 31.72/37.47 o -1813 32.76/38.03 c And the winner is solver0 32.91/38.48 c Got one! Elapsed wall clock time (in seconds):38.356 32.91/38.48 o -1820 32.96/38.54 c And the winner is solver0 33.21/38.98 c Got one! Elapsed wall clock time (in seconds):38.862 33.21/38.98 o -1825 33.23/39.00 c And the winner is solver0 33.26/39.49 c Got one! Elapsed wall clock time (in seconds):39.368 33.26/39.49 o -1826 33.67/39.74 c And the winner is solver0 33.91/39.99 c Got one! Elapsed wall clock time (in seconds):39.874 33.91/39.99 o -1830 33.94/40.02 c And the winner is solver0 34.02/40.50 c Got one! Elapsed wall clock time (in seconds):40.38 34.02/40.50 o -1839 34.02/40.53 c And the winner is solver0 34.09/41.01 c Got one! Elapsed wall clock time (in seconds):40.886 34.09/41.01 o -1841 34.09/41.02 c And the winner is solver0 34.10/41.51 c Got one! Elapsed wall clock time (in seconds):41.393 34.10/41.51 o -1842 34.10/41.52 c And the winner is solver0 34.11/42.02 c Got one! Elapsed wall clock time (in seconds):41.899 34.11/42.02 o -1847 34.46/42.25 c And the winner is solver0 34.58/42.52 c Got one! Elapsed wall clock time (in seconds):42.405 34.58/42.52 o -1848 37.61/44.04 c And the winner is solver0 37.82/44.53 c Got one! Elapsed wall clock time (in seconds):44.411 37.82/44.53 o -1849 39.96/45.62 c cleaning 6760 clauses out of 13523 with flag 4005/27234 39.96/45.63 c And the winner is solver0 40.16/46.04 c Got one! Elapsed wall clock time (in seconds):45.917 40.16/46.04 o -1855 40.27/46.12 c And the winner is solver0 40.44/46.55 c Got one! Elapsed wall clock time (in seconds):46.424 40.44/46.55 o -1863 40.44/46.57 c And the winner is solver0 40.53/47.05 c Got one! Elapsed wall clock time (in seconds):46.93 40.53/47.05 o -1871 40.53/47.07 c And the winner is solver0 40.57/47.56 c Got one! Elapsed wall clock time (in seconds):47.436 40.57/47.56 o -1879 40.57/47.58 c And the winner is solver0 40.63/48.06 c Got one! Elapsed wall clock time (in seconds):47.942 40.63/48.06 o -1887 41.30/48.43 c And the winner is solver0 41.40/48.57 c Got one! Elapsed wall clock time (in seconds):48.448 41.40/48.57 o -1890 42.45/49.17 c And the winner is solver0 42.63/49.57 c Got one! Elapsed wall clock time (in seconds):49.454 42.63/49.57 o -1892 46.99/51.71 c cleaning 6378 clauses out of 12758 with flag 8001/33229 53.17/54.84 c cleaning 6190 clauses out of 12381 with flag 20003/39230 56.17/56.39 c And the winner is solver0 56.47/56.58 c Got one! Elapsed wall clock time (in seconds):56.462 56.47/56.58 o -1893 57.55/57.18 c And the winner is solver0 57.79/57.59 c Got one! Elapsed wall clock time (in seconds):57.468 57.79/57.59 o -1895 58.80/58.12 c And the winner is solver0 59.20/58.60 c Got one! Elapsed wall clock time (in seconds):58.475 59.20/58.60 o -1904 60.39/59.20 c And the winner is solver0 60.46/59.60 c Got one! Elapsed wall clock time (in seconds):59.482 60.46/59.60 o -1911 60.46/59.63 c And the winner is solver0 60.55/60.11 c Got one! Elapsed wall clock time (in seconds):59.988 60.55/60.11 o -1914 60.55/60.13 c And the winner is solver0 60.60/60.62 c Got one! Elapsed wall clock time (in seconds):60.494 60.60/60.62 o -1918 60.76/60.77 c And the winner is solver0 61.01/61.12 c Got one! Elapsed wall clock time (in seconds):61.001 61.01/61.12 o -1931 61.01/61.15 c And the winner is solver0 61.08/61.63 c Got one! Elapsed wall clock time (in seconds):61.508 61.08/61.63 o -1939 61.61/61.92 c And the winner is solver0 61.80/62.13 c Got one! Elapsed wall clock time (in seconds):62.015 61.80/62.13 o -1955 61.92/62.24 c And the winner is solver0 62.15/62.64 c Got one! Elapsed wall clock time (in seconds):62.522 62.15/62.64 o -1960 62.27/62.71 c And the winner is solver0 62.47/63.15 c Got one! Elapsed wall clock time (in seconds):63.028 62.47/63.15 o -1969 63.55/63.76 c cleaning 7136 clauses out of 14271 with flag 2003/47310 63.76/63.81 c And the winner is solver0 63.95/64.16 c Got one! Elapsed wall clock time (in seconds):64.035 63.95/64.16 o -1970 64.03/64.22 c And the winner is solver0 64.28/64.66 c Got one! Elapsed wall clock time (in seconds):64.541 64.28/64.66 o -1979 64.56/64.86 c And the winner is solver0 64.76/65.17 c Got one! Elapsed wall clock time (in seconds):65.048 64.76/65.17 o -1981 64.76/65.18 c And the winner is solver0 64.78/65.68 c Got one! Elapsed wall clock time (in seconds):65.554 64.78/65.68 o -1982 64.82/65.76 c And the winner is solver0 65.13/66.18 c Got one! Elapsed wall clock time (in seconds):66.061 65.13/66.18 o -1989 65.15/66.22 c And the winner is solver0 65.24/66.69 c Got one! Elapsed wall clock time (in seconds):66.567 65.24/66.69 o -1995 65.26/66.70 c And the winner is solver0 65.26/67.19 c Got one! Elapsed wall clock time (in seconds):67.074 65.26/67.19 o -2000 65.45/67.32 c And the winner is solver0 65.65/67.70 c Got one! Elapsed wall clock time (in seconds):67.581 65.65/67.70 o -2003 67.83/68.81 c And the winner is solver0 67.91/69.21 c Got one! Elapsed wall clock time (in seconds):69.089 67.91/69.21 o -2022 72.19/71.36 c And the winner is solver0 72.40/71.75 c Got one! Elapsed wall clock time (in seconds):71.626 72.40/71.75 o -2035 72.50/71.87 c And the winner is solver0 72.80/72.25 c Got one! Elapsed wall clock time (in seconds):72.133 72.80/72.25 o -2040 72.88/72.32 c And the winner is solver0 73.14/72.76 c Got one! Elapsed wall clock time (in seconds):72.64 73.14/72.76 o -2043 73.60/73.08 c And the winner is solver0 73.89/73.27 c Got one! Elapsed wall clock time (in seconds):73.146 73.89/73.27 o -2045 73.98/73.36 c And the winner is solver0 74.28/73.77 c Got one! Elapsed wall clock time (in seconds):73.653 74.28/73.77 o -2046 75.32/74.35 c cleaning 7928 clauses out of 15855 with flag 2019/56030 77.32/75.37 c And the winner is solver0 77.64/75.78 c Got one! Elapsed wall clock time (in seconds):75.66 77.64/75.78 o -2062 81.67/77.86 c cleaning 6944 clauses out of 13891 with flag 8003/61994 88.22/81.02 c cleaning 6472 clauses out of 12947 with flag 20003/67994 90.21/82.10 c And the winner is solver0 90.50/82.29 c Got one! Elapsed wall clock time (in seconds):82.167 90.50/82.29 o -2090 93.57/83.86 c cleaning 5767 clauses out of 11543 with flag 6002/73062 94.57/84.33 c And the winner is solver0 94.71/84.79 c Got one! Elapsed wall clock time (in seconds):84.675 94.71/84.79 o -2104 97.10/86.09 c And the winner is solver0 97.50/86.35 c Got one! Elapsed wall clock time (in seconds):86.232 97.50/86.35 o -2107 98.80/87.02 c And the winner is solver0 98.89/87.36 c Got one! Elapsed wall clock time (in seconds):87.239 98.89/87.36 o -2109 99.16/87.50 c And the winner is solver0 99.32/87.87 c Got one! Elapsed wall clock time (in seconds):87.746 99.32/87.87 o -2116 99.38/88.00 c And the winner is solver0 99.79/88.37 c Got one! Elapsed wall clock time (in seconds):88.253 99.79/88.37 o -2122 102.53/89.86 c cleaning 6342 clauses out of 12686 with flag 4005/79972 104.53/90.81 c And the winner is solver0 104.74/91.01 c Got one! Elapsed wall clock time (in seconds):90.887 104.74/91.01 o -2143 106.91/92.12 c And the winner is solver0 107.07/92.51 c Got one! Elapsed wall clock time (in seconds):92.395 107.07/92.51 o -2149 107.22/92.63 c And the winner is solver0 107.50/93.02 c Got one! Elapsed wall clock time (in seconds):92.902 107.50/93.02 o -2156 108.24/93.41 c And the winner is solver0 108.36/93.58 c Got one! Elapsed wall clock time (in seconds):93.46 108.36/93.58 o -2158 108.36/93.60 c And the winner is solver0 108.48/94.09 c Got one! Elapsed wall clock time (in seconds):93.967 108.48/94.09 o -2159 109.71/94.75 c And the winner is solver0 109.91/95.09 c Got one! Elapsed wall clock time (in seconds):94.974 109.91/95.09 o -2165 110.91/95.66 c cleaning 6670 clauses out of 13343 with flag 2004/86971 117.19/98.72 c cleaning 6336 clauses out of 12674 with flag 14006/92972 120.59/100.44 c And the winner is solver0 120.80/100.60 c Got one! Elapsed wall clock time (in seconds):100.482 120.80/100.60 o -2166 122.78/101.70 c cleaning 5851 clauses out of 11706 with flag 4005/98340 128.78/104.68 c And the winner is solver0 129.12/105.11 c Got one! Elapsed wall clock time (in seconds):104.991 129.12/105.11 o -2171 129.28/105.28 c And the winner is solver0 129.66/105.62 c Got one! Elapsed wall clock time (in seconds):105.498 129.66/105.62 o -2184 129.81/105.74 c And the winner is solver0 129.94/106.13 c Got one! Elapsed wall clock time (in seconds):106.012 129.94/106.13 o -2195 129.94/106.17 c And the winner is solver0 130.03/106.64 c Got one! Elapsed wall clock time (in seconds):106.52 130.03/106.64 o -2199 130.15/106.76 c And the winner is solver0 130.32/107.15 c Got one! Elapsed wall clock time (in seconds):107.027 130.32/107.15 o -2202 135.93/109.98 c cleaning 8592 clauses out of 17183 with flag 10030/109668 138.35/111.11 c And the winner is solver0 138.54/111.34 c Got one! Elapsed wall clock time (in seconds):111.217 138.54/111.34 o -2263 141.47/112.89 c cleaning 6882 clauses out of 13769 with flag 6005/114846 147.67/115.92 c cleaning 6439 clauses out of 12886 with flag 18003/120845 154.67/119.41 c cleaning 6724 clauses out of 13447 with flag 32003/127845 163.23/123.68 c cleaning 7358 clauses out of 14723 with flag 48003/135845 172.82/128.42 c cleaning 8180 clauses out of 16365 with flag 66003/144845 183.83/133.91 c cleaning 9091 clauses out of 18185 with flag 86003/154845 184.64/134.30 c And the winner is solver0 184.68/134.45 c Got one! Elapsed wall clock time (in seconds):134.33 184.68/134.45 o -2277 190.64/137.64 c cleaning 7400 clauses out of 14808 with flag 10004/160559 196.83/140.74 c cleaning 6703 clauses out of 13407 with flag 22002/166558 201.03/142.84 c And the winner is solver0 201.37/143.15 c Got one! Elapsed wall clock time (in seconds):143.035 201.37/143.15 o -2282 202.46/143.73 c cleaning 5855 clauses out of 11715 with flag 2003/171569 205.67/145.31 c And the winner is solver0 205.94/145.66 c Got one! Elapsed wall clock time (in seconds):145.544 205.94/145.66 o -2287 206.60/146.09 c And the winner is solver0 207.00/146.37 c Got one! Elapsed wall clock time (in seconds):146.253 207.00/146.37 o -2290 207.11/146.42 c And the winner is solver0 207.18/146.88 c Got one! Elapsed wall clock time (in seconds):146.762 207.18/146.88 o -2293 207.18/146.89 c And the winner is solver0 207.20/147.40 c Got one! Elapsed wall clock time (in seconds):147.27 207.20/147.40 o -2297 208.41/148.04 c And the winner is solver0 208.73/148.40 c Got one! Elapsed wall clock time (in seconds):148.279 208.73/148.40 o -2302 209.32/148.77 c And the winner is solver0 209.59/148.91 c Got one! Elapsed wall clock time (in seconds):148.787 209.59/148.91 o -2308 209.59/148.94 c And the winner is solver0 209.68/149.42 c Got one! Elapsed wall clock time (in seconds):149.297 209.68/149.42 o -2315 210.87/150.02 c cleaning 6301 clauses out of 12603 with flag 2036/178312 217.08/153.15 c cleaning 6149 clauses out of 12301 with flag 14034/184311 218.89/154.08 c And the winner is solver0 219.20/154.43 c Got one! Elapsed wall clock time (in seconds):154.306 219.20/154.43 o -2317 223.33/156.55 c cleaning 5969 clauses out of 11942 with flag 8003/190101 229.73/159.73 c cleaning 5984 clauses out of 11974 with flag 20005/196102 234.73/162.23 c And the winner is solver0 234.90/162.44 c Got one! Elapsed wall clock time (in seconds):162.317 234.90/162.44 o -2327 235.42/162.78 c And the winner is solver0 235.71/162.95 c Got one! Elapsed wall clock time (in seconds):162.825 235.71/162.95 o -2354 236.13/163.15 c And the winner is solver0 236.38/163.45 c Got one! Elapsed wall clock time (in seconds):163.334 236.38/163.45 o -2358 237.47/164.06 c cleaning 6309 clauses out of 12619 with flag 2037/202731 243.88/167.26 c cleaning 6152 clauses out of 12310 with flag 14037/208731 250.87/170.73 c And the winner is solver0 251.10/170.96 c Got one! Elapsed wall clock time (in seconds):170.844 251.10/170.96 o -2377 256.36/173.61 c cleaning 8872 clauses out of 17751 with flag 10003/220324 262.56/176.74 c cleaning 7433 clauses out of 14879 with flag 22003/226324 270.31/180.53 c cleaning 7221 clauses out of 14445 with flag 36001/233323 278.49/184.70 c cleaning 7608 clauses out of 15225 with flag 52003/241324 287.90/189.38 c cleaning 8304 clauses out of 16617 with flag 70003/250324 298.91/194.87 c cleaning 9153 clauses out of 18313 with flag 90003/260324 310.90/200.76 c cleaning 10078 clauses out of 20160 with flag 112003/271324 323.90/207.22 c cleaning 11034 clauses out of 22082 with flag 136003/283324 333.44/211.85 c And the winner is solver1 333.44/211.98 c Got one! Elapsed wall clock time (in seconds):211.862 333.44/211.98 o -3434 333.47/212.05 c And the winner is solver0 333.66/212.49 c Got one! Elapsed wall clock time (in seconds):212.372 333.66/212.49 o -3468 333.68/212.53 c And the winner is solver0 333.77/213.00 c Got one! Elapsed wall clock time (in seconds):212.881 333.77/213.00 o -3699 333.77/213.06 c And the winner is solver0 333.92/213.51 c Got one! Elapsed wall clock time (in seconds):213.39 333.92/213.51 o -3804 333.92/213.58 c And the winner is solver0 334.14/214.02 c Got one! Elapsed wall clock time (in seconds):213.899 334.14/214.02 o -3994 334.14/214.09 c And the winner is solver0 334.34/214.53 c Got one! Elapsed wall clock time (in seconds):214.408 334.34/214.53 o -4368 334.67/214.74 c And the winner is solver0 334.91/215.04 c Got one! Elapsed wall clock time (in seconds):214.917 334.91/215.04 o -4745 335.02/215.19 c And the winner is solver0 335.32/215.55 c Got one! Elapsed wall clock time (in seconds):215.426 335.32/215.55 o -4875 335.42/215.66 c And the winner is solver0 335.64/216.05 c Got one! Elapsed wall clock time (in seconds):215.935 335.64/216.05 o -5209 335.71/216.15 c And the winner is solver0 335.88/216.56 c Got one! Elapsed wall clock time (in seconds):216.444 335.88/216.56 o -5222 336.15/216.77 c And the winner is solver0 336.44/217.07 c Got one! Elapsed wall clock time (in seconds):216.953 336.44/217.07 o -5224 336.87/217.37 c And the winner is solver0 337.16/217.58 c Got one! Elapsed wall clock time (in seconds):217.462 337.16/217.58 o -5461 337.63/217.84 c And the winner is solver0 337.86/218.09 c Got one! Elapsed wall clock time (in seconds):217.971 337.86/218.09 o -5475 338.07/218.25 c And the winner is solver0 338.30/218.60 c Got one! Elapsed wall clock time (in seconds):218.48 338.30/218.60 o -5478 340.82/220.60 c And the winner is solver0 341.32/221.04 c Got one! Elapsed wall clock time (in seconds):220.918 341.32/221.04 o -5498 341.64/221.27 c And the winner is solver0 341.94/221.55 c Got one! Elapsed wall clock time (in seconds):221.427 341.94/221.55 o -5521 342.23/221.79 c And the winner is solver0 342.57/222.06 c Got one! Elapsed wall clock time (in seconds):221.935 342.57/222.06 o -5594 349.06/225.36 c cleaning 13813 clauses out of 27633 with flag 12853/299909 357.96/229.52 c cleaning 9903 clauses out of 19820 with flag 30314/305909 368.26/234.60 c cleaning 8451 clauses out of 16918 with flag 60272/312910 380.07/240.50 c cleaning 8229 clauses out of 16466 with flag 99890/320909 394.09/247.47 c cleaning 8613 clauses out of 17238 with flag 149466/329910 408.50/254.70 c cleaning 9313 clauses out of 18625 with flag 199986/339910 422.09/261.47 c cleaning 10153 clauses out of 20311 with flag 225289/350909 438.72/269.67 c cleaning 11078 clauses out of 22159 with flag 249307/362910 455.90/278.23 c cleaning 12040 clauses out of 24081 with flag 275322/375910 476.87/289.06 c cleaning 13019 clauses out of 26041 with flag 303333/389910 496.67/298.97 c cleaning 14009 clauses out of 28021 with flag 333346/404909 520.44/310.72 c cleaning 15001 clauses out of 30012 with flag 365362/420909 547.12/323.92 c cleaning 16002 clauses out of 32011 with flag 399367/437909 577.49/339.44 c cleaning 17002 clauses out of 34010 with flag 435370/455910 606.02/353.63 c cleaning 18003 clauses out of 36008 with flag 473398/474910 633.83/367.49 c cleaning 18999 clauses out of 38004 with flag 513413/494909 663.41/382.24 c cleaning 20002 clauses out of 40005 with flag 555425/515909 694.37/397.60 c cleaning 20999 clauses out of 42003 with flag 599436/537909 727.59/414.04 c cleaning 21998 clauses out of 44004 with flag 645445/560909 763.84/432.02 c cleaning 23000 clauses out of 46006 with flag 693447/584909 803.33/452.15 c cleaning 24004 clauses out of 48007 with flag 743459/609910 832.90/466.82 c And the winner is solver0 833.50/467.58 c Got one! Elapsed wall clock time (in seconds):467.463 833.50/467.58 o -5597 839.68/470.77 c cleaning 23862 clauses out of 47724 with flag 11480/633631 847.10/474.36 c cleaning 14928 clauses out of 29860 with flag 26344/639629 855.10/478.39 c cleaning 10964 clauses out of 21933 with flag 44072/646630 864.31/483.00 c cleaning 9483 clauses out of 18969 with flag 63052/654630 875.14/488.25 c cleaning 9241 clauses out of 18486 with flag 85177/663630 886.93/494.17 c cleaning 9620 clauses out of 19244 with flag 109369/673629 900.78/500.98 c cleaning 10311 clauses out of 20625 with flag 135168/684630 915.90/508.35 c cleaning 11156 clauses out of 22314 with flag 164279/696630 931.68/516.26 c cleaning 12074 clauses out of 24157 with flag 195620/709629 949.42/524.98 c cleaning 13040 clauses out of 26083 with flag 228320/723629 969.04/534.72 c cleaning 14019 clauses out of 28044 with flag 263895/738630 989.39/544.70 c cleaning 15009 clauses out of 30025 with flag 301259/754630 1011.90/555.81 c cleaning 16007 clauses out of 32015 with flag 342529/771629 1036.03/567.76 c cleaning 16999 clauses out of 34008 with flag 385495/789629 1060.92/580.00 c cleaning 18002 clauses out of 36010 with flag 433377/808630 1087.21/593.08 c cleaning 19000 clauses out of 38007 with flag 481831/828629 1116.48/607.38 c cleaning 20002 clauses out of 40008 with flag 532141/849630 1146.55/622.22 c cleaning 21001 clauses out of 42005 with flag 585507/871629 1180.58/640.15 c cleaning 21999 clauses out of 44005 with flag 640592/894630 1213.69/656.53 c cleaning 23002 clauses out of 46005 with flag 697855/918629 1249.55/674.39 c cleaning 23998 clauses out of 48003 with flag 752614/943629 1287.59/693.11 c cleaning 24997 clauses out of 50006 with flag 811719/969630 1326.69/712.44 c cleaning 26003 clauses out of 52008 with flag 877499/996629 1369.76/735.18 c cleaning 26999 clauses out of 54006 with flag 947108/1024630 1410.79/755.57 c cleaning 28001 clauses out of 56006 with flag 1016013/1053629 1453.81/776.82 c cleaning 29000 clauses out of 58006 with flag 1081291/1083630 1498.94/799.18 c cleaning 30000 clauses out of 60006 with flag 1149170/1114630 1549.66/823.94 c cleaning 31002 clauses out of 62005 with flag 1219202/1146629 1603.59/850.36 c cleaning 32000 clauses out of 64003 with flag 1296552/1179629 1660.07/879.31 c cleaning 33001 clauses out of 66004 with flag 1374920/1213630 1712.25/905.29 c cleaning 33998 clauses out of 68002 with flag 1452593/1248629 1769.02/933.47 c cleaning 35003 clauses out of 70005 with flag 1529137/1284630 1800.06/948.70 c >>>>>>>>>> Solver number 0 (154 answers) <<<<<<<<<<<<<<<<<< 1800.06/948.70 c starts : 1085 1800.06/948.70 c conflicts : 1304794 1800.06/948.70 c decisions : 2452540 1800.06/948.70 c propagations : 173455793 1800.06/948.70 c inspects : 3341564526 1800.06/948.70 c shortcuts : 0 1800.06/948.70 c learnt literals : 0 1800.06/948.70 c learnt binary clauses : 32 1800.06/948.70 c learnt ternary clauses : 597 1800.06/948.70 c learnt constraints : 1304793 1800.06/948.70 c ignored constraints : 0 1800.06/948.70 c root simplifications : 0 1800.06/948.70 c removed literals (reason simplification) : 107286390 1800.06/948.70 c reason swapping (by a shorter reason) : 0 1800.06/948.70 c Calls to reduceDB : 91 1800.06/948.70 c Number of update (reduction) of LBD : 4978 1800.06/948.70 c Imported unit clauses : 0 1800.06/948.70 c number of reductions to clauses (during analyze) : 0 1800.06/948.70 c number of learned constraints concerned by reduction : 0 1800.06/948.70 c number of learning phase by resolution : 0 1800.06/948.70 c number of learning phase by cutting planes : 0 1800.06/948.70 c speed (assignments/second) : 235445.54392280304 1800.06/948.70 c non guided choices 0 1800.06/948.72 c learnt constraints type 1800.06/948.72 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 32 1800.06/948.72 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 55134 1800.06/948.72 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.06/948.72 c starts : 170 1800.06/948.72 c conflicts : 2343 1800.06/948.72 c decisions : 9380 1800.06/948.72 c propagations : 1133372 1800.06/948.72 c inspects : 328650688 1800.06/948.72 c shortcuts : 0 1800.06/948.72 c learnt literals : 0 1800.06/948.72 c learnt binary clauses : 0 1800.06/948.72 c learnt ternary clauses : 0 1800.06/948.72 c learnt constraints : 2228 1800.06/948.72 c ignored constraints : 0 1800.06/948.72 c root simplifications : 0 1800.06/948.72 c removed literals (reason simplification) : 0 1800.06/948.72 c reason swapping (by a shorter reason) : 0 1800.06/948.72 c Calls to reduceDB : 0 1800.06/948.72 c Number of update (reduction) of LBD : 0 1800.06/948.72 c Imported unit clauses : 0 1800.06/948.72 c number of reductions to clauses (during analyze) : 0 1800.06/948.72 c number of learned constraints concerned by reduction : 0 1800.06/948.72 c number of learning phase by resolution : 0 1800.06/948.72 c number of learning phase by cutting planes : 0 1800.06/948.72 c speed (assignments/second) : 2355.6460831791824 1800.06/948.72 c non guided choices 0 1800.06/948.72 c learnt constraints type 1800.06/948.72 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2228 1800.06/948.72 s SATISFIABLE 1800.06/948.72 c Found 155 solution(s) 1800.06/948.72 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 1800.06/948.72 c objective function=-5597 1800.06/948.72 c Total wall clock time (in seconds): 948.605
OK -5597
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-4119377-1467254714/watcher-4119377-1467254714 -o /tmp/evaluation-result-4119377-1467254714/solver-4119377-1467254714 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5593 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119377-1467254714.opb pid=8155 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.02 4.04 3.93 4/197 8158 /proc/meminfo: memFree=26582116/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=132 CPUtime=0 cores=1,3,5,7 /proc/8158/stat : 8158 (java) R 8155 8158 5416 0 -1 4194304 330 0 0 0 0 0 0 0 20 0 1 0 4502435 135168 1 33554432000 0 0 140734190454314 140733558922632 251143024055 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 67 4 0 0 0 24 0 [startup+0.100162 s] /proc/loadavg: 4.02 4.04 3.93 4/197 8158 /proc/meminfo: memFree=26582116/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/8158/stat : 8158 (java) S 8155 8158 5416 0 -1 4202496 4430 0 1 0 7 1 0 0 20 0 18 0 4502435 9787879424 6054 33554432000 1073741824 1073778376 140734190445296 140734190436432 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 2389619 6054 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200326 s] /proc/loadavg: 4.02 4.04 3.93 4/197 8158 /proc/meminfo: memFree=26582116/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/8158/stat : 8158 (java) S 8155 8158 5416 0 -1 4202496 4618 0 1 0 21 1 0 0 20 0 18 0 4502435 9787879424 7227 33554432000 1073741824 1073778376 140734190445296 140734190436432 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 2389619 7227 2207 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300342 s] /proc/loadavg: 4.02 4.04 3.93 4/197 8158 /proc/meminfo: memFree=26582116/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=9558476 CPUtime=0.48 cores=1,3,5,7 /proc/8158/stat : 8158 (java) S 8155 8158 5416 0 -1 4202496 5535 0 1 0 46 2 0 0 20 0 18 0 4502435 9787879424 8487 33554432000 1073741824 1073778376 140734190445296 140734190436432 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 2389619 8494 2234 9 0 2380296 0 Current children cumulated CPU time (s) 0.48 Current children cumulated vsize (KiB) 9558476 [startup+0.700198 s] /proc/loadavg: 4.02 4.04 3.93 4/197 8158 /proc/meminfo: memFree=26582116/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=9691604 CPUtime=1.25 cores=1,3,5,7 /proc/8158/stat : 8158 (java) S 8155 8158 5416 0 -1 4202496 9901 0 1 0 122 3 0 0 20 0 20 0 4502435 9924202496 15261 33554432000 1073741824 1073778376 140734190445296 140734190436432 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 2422901 15261 2254 9 0 2413578 0 Current children cumulated CPU time (s) 1.25 Current children cumulated vsize (KiB) 9691604 [startup+1.50087 s] /proc/loadavg: 4.02 4.04 3.93 3/216 8180 /proc/meminfo: memFree=26525616/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/8158/stat : 8158 (java) S 8155 8158 5416 0 -1 4202496 11335 0 1 0 201 8 0 0 20 0 19 0 4502435 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140734190436432 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 2456183 18394 2267 9 0 2446860 0 [pid=8158/tid=8160] ppid=8155 vsize=9824732 CPUtime=0.68 cores=1,3,5,7 /proc/8158/task/8160/stat : 8160 (java) S 8155 8158 5416 0 -1 4202560 2428 0 1 0 66 2 0 0 20 0 19 0 4502436 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140403321418616 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8161] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8161/stat : 8161 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140403293870376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8162] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8162/stat : 8162 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140403292817576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8163] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8163/stat : 8163 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140403291765288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8158/tid=8164] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8164/stat : 8164 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140403290712488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8165] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8165/stat : 8165 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140403289660200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8166] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8166/stat : 8166 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140403288607400 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8167] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8167/stat : 8167 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140403287555112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8168] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8168/stat : 8168 (java) S 8155 8158 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140403157805992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8169] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8169/stat : 8169 (java) S 8155 8158 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4502438 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140402674858216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8170] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8170/stat : 8170 (java) S 8155 8158 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4502439 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140402673804280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8171] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8171/stat : 8171 (java) S 8155 8158 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4502439 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140402672751880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8172] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8172/stat : 8172 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502441 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140402671700368 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8173] ppid=8155 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/8158/task/8173/stat : 8173 (java) S 8155 8158 5416 0 -1 4202560 3971 0 0 0 49 1 0 0 20 0 19 0 4502441 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140402670647992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8174] ppid=8155 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/8158/task/8174/stat : 8174 (java) S 8155 8158 5416 0 -1 4202560 3589 0 0 0 49 0 0 0 20 0 19 0 4502441 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140402669595192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8158/tid=8175] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8175/stat : 8175 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502441 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140402668543096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8176] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8176/stat : 8176 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502441 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140402667490504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8179] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8179/stat : 8179 (java) S 8155 8158 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4502507 10060525568 18394 33554432000 1073741824 1073778376 140734190445296 140402664330408 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.09 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 4.02 4.04 3.93 3/216 8186 /proc/meminfo: memFree=26508216/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=9824732 CPUtime=2.75 cores=1,3,5,7 /proc/8158/stat : 8158 (java) S 8155 8158 5416 0 -1 4202496 14108 0 1 0 261 14 0 0 20 0 19 0 4502435 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140734190436432 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 2456183 24546 2274 9 0 2446860 0 [pid=8158/tid=8160] ppid=8155 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/8158/task/8160/stat : 8160 (java) S 8155 8158 5416 0 -1 4202560 2432 0 1 0 70 2 0 0 20 0 19 0 4502436 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140403321418616 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8161] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8161/stat : 8161 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140403293870376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8162] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8162/stat : 8162 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140403292817576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8163] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8163/stat : 8163 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140403291765288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8158/tid=8164] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8164/stat : 8164 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140403290712488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8165] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8165/stat : 8165 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140403289660200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8166] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8166/stat : 8166 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140403288607400 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8167] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8167/stat : 8167 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140403287555112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8168] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8168/stat : 8168 (java) S 8155 8158 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140403157805992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8169] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8169/stat : 8169 (java) S 8155 8158 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4502438 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140402674858216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8170] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8170/stat : 8170 (java) S 8155 8158 5416 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4502439 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140402673804280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8171] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8171/stat : 8171 (java) S 8155 8158 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4502439 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140402672751880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8172] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8172/stat : 8172 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502441 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140402671700368 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8173] ppid=8155 vsize=9824732 CPUtime=0.71 cores=1,3,5,7 /proc/8158/task/8173/stat : 8173 (java) S 8155 8158 5416 0 -1 4202560 4903 0 0 0 70 1 0 0 20 0 19 0 4502441 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140402670647992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8174] ppid=8155 vsize=9824732 CPUtime=0.77 cores=1,3,5,7 /proc/8158/task/8174/stat : 8174 (java) S 8155 8158 5416 0 -1 4202560 5398 0 0 0 77 0 0 0 20 0 19 0 4502441 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140402669595192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8158/tid=8175] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8175/stat : 8175 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502441 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140402668543096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8176] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8176/stat : 8176 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502441 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140402667490504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8179] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8179/stat : 8179 (java) S 8155 8158 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4502507 10060525568 24546 33554432000 1073741824 1073778376 140734190445296 140402664330408 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 2.75 Current children cumulated vsize (KiB) 9824732 [startup+6.30083 s] /proc/loadavg: 3.86 4.00 3.91 3/216 8207 /proc/meminfo: memFree=26436572/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=9824732 CPUtime=3.1 cores=1,3,5,7 /proc/8158/stat : 8158 (java) S 8155 8158 5416 0 -1 4202496 14641 0 1 0 286 24 0 0 20 0 19 0 4502435 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140734190436432 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 2456183 41418 2287 9 0 2446860 0 [pid=8158/tid=8160] ppid=8155 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/8158/task/8160/stat : 8160 (java) S 8155 8158 5416 0 -1 4202560 2439 0 1 0 73 3 0 0 20 0 19 0 4502436 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140403321418616 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8161] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8161/stat : 8161 (java) S 8155 8158 5416 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140403293870376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8162] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8162/stat : 8162 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140403292817576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8163] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8163/stat : 8163 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140403291765288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8158/tid=8164] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8164/stat : 8164 (java) S 8155 8158 5416 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140403290712488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8165] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8165/stat : 8165 (java) S 8155 8158 5416 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140403289660200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8166] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8166/stat : 8166 (java) S 8155 8158 5416 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140403288607400 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8167] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8167/stat : 8167 (java) S 8155 8158 5416 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140403287555112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8168] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8168/stat : 8168 (java) S 8155 8158 5416 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4502437 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140403157805992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8169] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8169/stat : 8169 (java) S 8155 8158 5416 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 4502438 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140402674858216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8170] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8170/stat : 8170 (java) S 8155 8158 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4502439 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140402673804280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8171] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8171/stat : 8171 (java) S 8155 8158 5416 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 4502439 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140402672751880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8172] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8172/stat : 8172 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502441 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140402671700368 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8173] ppid=8155 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 /proc/8158/task/8173/stat : 8173 (java) S 8155 8158 5416 0 -1 4202560 5309 0 0 0 75 1 0 0 20 0 19 0 4502441 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140402670647992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8174] ppid=8155 vsize=9824732 CPUtime=0.78 cores=1,3,5,7 /proc/8158/task/8174/stat : 8174 (java) S 8155 8158 5416 0 -1 4202560 5398 0 0 0 78 0 0 0 20 0 19 0 4502441 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140402669595192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8158/tid=8175] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8175/stat : 8175 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502441 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140402668543096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8176] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8176/stat : 8176 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4502441 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140402667490504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8179] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8179/stat : 8179 (java) S 8155 8158 5416 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4502507 10060525568 41418 33554432000 1073741824 1073778376 140734190445296 140402664330408 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 9824732 heavy processes: ################ # More data... # ################ [pid=8158/tid=8168] ppid=8155 vsize=9824732 CPUtime=4.78 cores=1,3,5,7 /proc/8158/task/8168/stat : 8168 (java) S 8155 8158 5416 0 -1 4202560 1304 0 0 0 419 59 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403157805992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8169] ppid=8155 vsize=9824732 CPUtime=12.75 cores=1,3,5,7 /proc/8158/task/8169/stat : 8169 (java) S 8155 8158 5416 0 -1 4202560 3987 0 0 0 1266 9 0 0 20 0 22 0 4502438 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402674858216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8170] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8170/stat : 8170 (java) S 8155 8158 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4502439 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402673804280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8171] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8171/stat : 8171 (java) S 8155 8158 5416 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 4502439 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402672751880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8172] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8172/stat : 8172 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402671700368 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8173] ppid=8155 vsize=9824732 CPUtime=1.67 cores=1,3,5,7 /proc/8158/task/8173/stat : 8173 (java) S 8155 8158 5416 0 -1 4202560 13650 0 0 0 163 4 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402670647992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8174] ppid=8155 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/8158/task/8174/stat : 8174 (java) S 8155 8158 5416 0 -1 4202560 6795 0 0 0 139 2 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402669595192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8175] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8175/stat : 8175 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402668543096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8176] ppid=8155 vsize=9824732 CPUtime=0.3 cores=1,3,5,7 /proc/8158/task/8176/stat : 8176 (java) S 8155 8158 5416 0 -1 4202560 55 0 0 0 10 20 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402667490504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8830] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8830/stat : 8830 (java) S 8155 8158 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4523635 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402664330024 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8158/tid=8891] ppid=8155 vsize=9824732 CPUtime=460.07 cores=1,3,5,7 /proc/8158/task/8891/stat : 8891 (java) R 8155 8158 5416 0 -1 4202560 21 0 0 0 46000 7 0 0 20 0 22 0 4549195 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402663276064 140403168837545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8892] ppid=8155 vsize=9824732 CPUtime=460.11 cores=1,3,5,7 /proc/8158/task/8892/stat : 8892 (java) R 8155 8158 5416 0 -1 4202560 26 0 0 0 46005 6 0 0 20 0 22 0 4549195 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402666432704 140403169628295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8893] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8893/stat : 8893 (java) S 8155 8158 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4549195 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402665383336 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1786.22 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+948.701 s] /proc/loadavg: 4.08 4.10 4.00 5/220 8941 /proc/meminfo: memFree=23139548/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=9824732 CPUtime=1799.02 cores=1,3,5,7 /proc/8158/stat : 8158 (java) S 8155 8158 5416 0 -1 4202496 43779 0 1 0 179169 733 0 0 20 0 22 0 4502435 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140734190436432 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 2456183 1170662 2303 9 0 2446860 0 [pid=8158/tid=8160] ppid=8155 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/8158/task/8160/stat : 8160 (java) S 8155 8158 5416 0 -1 4202560 2480 0 1 0 169 5 0 0 20 0 22 0 4502436 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403321418616 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8161] ppid=8155 vsize=9824732 CPUtime=4.92 cores=1,3,5,7 /proc/8158/task/8161/stat : 8161 (java) S 8155 8158 5416 0 -1 4202560 1096 0 0 0 449 43 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403293870376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8162] ppid=8155 vsize=9824732 CPUtime=4.81 cores=1,3,5,7 /proc/8158/task/8162/stat : 8162 (java) S 8155 8158 5416 0 -1 4202560 2933 0 0 0 431 50 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403292817576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8163] ppid=8155 vsize=9824732 CPUtime=4.53 cores=1,3,5,7 /proc/8158/task/8163/stat : 8163 (java) S 8155 8158 5416 0 -1 4202560 1631 0 0 0 401 52 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403291765288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8164] ppid=8155 vsize=9824732 CPUtime=4.91 cores=1,3,5,7 /proc/8158/task/8164/stat : 8164 (java) S 8155 8158 5416 0 -1 4202560 1827 0 0 0 434 57 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403290712488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8165] ppid=8155 vsize=9824732 CPUtime=4.26 cores=1,3,5,7 /proc/8158/task/8165/stat : 8165 (java) S 8155 8158 5416 0 -1 4202560 1423 0 0 0 380 46 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403289660200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8166] ppid=8155 vsize=9824732 CPUtime=4.67 cores=1,3,5,7 /proc/8158/task/8166/stat : 8166 (java) S 8155 8158 5416 0 -1 4202560 1684 0 0 0 419 48 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403288607400 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8167] ppid=8155 vsize=9824732 CPUtime=4.83 cores=1,3,5,7 /proc/8158/task/8167/stat : 8167 (java) S 8155 8158 5416 0 -1 4202560 1307 0 0 0 439 44 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403287555112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8168] ppid=8155 vsize=9824732 CPUtime=4.78 cores=1,3,5,7 /proc/8158/task/8168/stat : 8168 (java) S 8155 8158 5416 0 -1 4202560 1304 0 0 0 419 59 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403157805992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8169] ppid=8155 vsize=9824732 CPUtime=12.75 cores=1,3,5,7 /proc/8158/task/8169/stat : 8169 (java) S 8155 8158 5416 0 -1 4202560 3987 0 0 0 1266 9 0 0 20 0 22 0 4502438 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402674858216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8170] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8170/stat : 8170 (java) S 8155 8158 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4502439 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402673804280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8171] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8171/stat : 8171 (java) S 8155 8158 5416 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 4502439 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402672751880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8172] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8172/stat : 8172 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402671700368 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8173] ppid=8155 vsize=9824732 CPUtime=1.67 cores=1,3,5,7 /proc/8158/task/8173/stat : 8173 (java) S 8155 8158 5416 0 -1 4202560 13650 0 0 0 163 4 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402670647992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8174] ppid=8155 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/8158/task/8174/stat : 8174 (java) S 8155 8158 5416 0 -1 4202560 6795 0 0 0 139 2 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402669595192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8175] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8175/stat : 8175 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402668543096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8176] ppid=8155 vsize=9824732 CPUtime=0.3 cores=1,3,5,7 /proc/8158/task/8176/stat : 8176 (java) S 8155 8158 5416 0 -1 4202560 55 0 0 0 10 20 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402667490504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8830] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8830/stat : 8830 (java) S 8155 8158 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4523635 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402664330024 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8158/tid=8891] ppid=8155 vsize=9824732 CPUtime=466.46 cores=1,3,5,7 /proc/8158/task/8891/stat : 8891 (java) R 8155 8158 5416 0 -1 4202560 21 0 0 0 46638 8 0 0 20 0 22 0 4549195 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402663276064 140403169656711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8892] ppid=8155 vsize=9824732 CPUtime=466.49 cores=1,3,5,7 /proc/8158/task/8892/stat : 8892 (java) R 8155 8158 5416 0 -1 4202560 26 0 0 0 46642 7 0 0 20 0 22 0 4549195 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402666432704 140403169664875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8893] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8893/stat : 8893 (java) S 8155 8158 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4549195 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402665383336 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.02 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 8158 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+948.701 s] /proc/loadavg: 4.08 4.10 4.00 5/220 8941 /proc/meminfo: memFree=23139548/32872528 swapFree=239532/272236 [pid=8158] ppid=8155 vsize=9824732 CPUtime=1799.02 cores=1,3,5,7 /proc/8158/stat : 8158 (java) S 8155 8158 5416 0 -1 4202496 43779 0 1 0 179169 733 0 0 20 0 22 0 4502435 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140734190436432 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8158/statm: 2456183 1170662 2303 9 0 2446860 0 [pid=8158/tid=8160] ppid=8155 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/8158/task/8160/stat : 8160 (java) S 8155 8158 5416 0 -1 4202560 2480 0 1 0 169 5 0 0 20 0 22 0 4502436 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403321418616 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8161] ppid=8155 vsize=9824732 CPUtime=4.92 cores=1,3,5,7 /proc/8158/task/8161/stat : 8161 (java) S 8155 8158 5416 0 -1 4202560 1096 0 0 0 449 43 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403293870376 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8162] ppid=8155 vsize=9824732 CPUtime=4.81 cores=1,3,5,7 /proc/8158/task/8162/stat : 8162 (java) S 8155 8158 5416 0 -1 4202560 2933 0 0 0 431 50 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403292817576 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8163] ppid=8155 vsize=9824732 CPUtime=4.53 cores=1,3,5,7 /proc/8158/task/8163/stat : 8163 (java) S 8155 8158 5416 0 -1 4202560 1631 0 0 0 401 52 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403291765288 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8164] ppid=8155 vsize=9824732 CPUtime=4.91 cores=1,3,5,7 /proc/8158/task/8164/stat : 8164 (java) S 8155 8158 5416 0 -1 4202560 1827 0 0 0 434 57 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403290712488 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8165] ppid=8155 vsize=9824732 CPUtime=4.26 cores=1,3,5,7 /proc/8158/task/8165/stat : 8165 (java) S 8155 8158 5416 0 -1 4202560 1423 0 0 0 380 46 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403289660200 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8166] ppid=8155 vsize=9824732 CPUtime=4.67 cores=1,3,5,7 /proc/8158/task/8166/stat : 8166 (java) S 8155 8158 5416 0 -1 4202560 1684 0 0 0 419 48 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403288607400 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8167] ppid=8155 vsize=9824732 CPUtime=4.83 cores=1,3,5,7 /proc/8158/task/8167/stat : 8167 (java) S 8155 8158 5416 0 -1 4202560 1307 0 0 0 439 44 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403287555112 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8168] ppid=8155 vsize=9824732 CPUtime=4.78 cores=1,3,5,7 /proc/8158/task/8168/stat : 8168 (java) S 8155 8158 5416 0 -1 4202560 1304 0 0 0 419 59 0 0 20 0 22 0 4502437 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140403157805992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8169] ppid=8155 vsize=9824732 CPUtime=12.75 cores=1,3,5,7 /proc/8158/task/8169/stat : 8169 (java) S 8155 8158 5416 0 -1 4202560 3987 0 0 0 1266 9 0 0 20 0 22 0 4502438 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402674858216 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8170] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8170/stat : 8170 (java) S 8155 8158 5416 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4502439 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402673804280 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8171] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8171/stat : 8171 (java) S 8155 8158 5416 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 4502439 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402672751880 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8172] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8172/stat : 8172 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402671700368 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8173] ppid=8155 vsize=9824732 CPUtime=1.67 cores=1,3,5,7 /proc/8158/task/8173/stat : 8173 (java) S 8155 8158 5416 0 -1 4202560 13650 0 0 0 163 4 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402670647992 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8174] ppid=8155 vsize=9824732 CPUtime=1.41 cores=1,3,5,7 /proc/8158/task/8174/stat : 8174 (java) S 8155 8158 5416 0 -1 4202560 6795 0 0 0 139 2 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402669595192 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8175] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8175/stat : 8175 (java) S 8155 8158 5416 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402668543096 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=8158/tid=8176] ppid=8155 vsize=9824732 CPUtime=0.3 cores=1,3,5,7 /proc/8158/task/8176/stat : 8176 (java) S 8155 8158 5416 0 -1 4202560 55 0 0 0 10 20 0 0 20 0 22 0 4502441 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402667490504 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8830] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8830/stat : 8830 (java) S 8155 8158 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4523635 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402664330024 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=8158/tid=8891] ppid=8155 vsize=9824732 CPUtime=466.46 cores=1,3,5,7 /proc/8158/task/8891/stat : 8891 (java) R 8155 8158 5416 0 -1 4202560 21 0 0 0 46638 8 0 0 20 0 22 0 4549195 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402663276064 140403169656711 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=8158/tid=8892] ppid=8155 vsize=9824732 CPUtime=466.49 cores=1,3,5,7 /proc/8158/task/8892/stat : 8892 (java) R 8155 8158 5416 0 -1 4202560 26 0 0 0 46642 7 0 0 20 0 22 0 4549195 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402666432704 140403169664875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=8158/tid=8893] ppid=8155 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/8158/task/8893/stat : 8893 (java) S 8155 8158 5416 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4549195 10060525568 1170662 33554432000 1073741824 1073778376 140734190445296 140402665383336 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1799.02 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 8158 and gives # childrusage.ru_utime.tv_sec=1789 # childrusage.ru_utime.tv_usec=227996 # childrusage.ru_stime.tv_sec=7 # childrusage.ru_stime.tv_usec=681832 # CPU time returned by wait4() is 1796.91 # while last known CPU time is 1799.02 # # 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): 1.04005 # lost CPU user time (s): 1.13002 # lost CPU system time (s): -0.0900002 Real time (s): 948.756 CPU time (s): 1800.06 CPU user time (s): 1792.82 CPU system time (s): 7.24 CPU usage (%): 189.728 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.23 system time used= 7.68183 maximum resident set size= 4691772 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43814 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= 27291 involuntary context switches= 28133 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.68298 second user time and 7.03393 second system time The end
Begin job on node107 at 2016-06-30 04:45:14 IDJOB=4119377 IDBENCH=111715 IDSOLVER=2543 FILE ID=node107/4119377-1467254714 RUNJOBID= node107-1467248484-5593 PBS_JOBID= 20004476 Free space on /tmp= 71720 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern50-13.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119377-1467254714/watcher-4119377-1467254714 -o /tmp/evaluation-result-4119377-1467254714/solver-4119377-1467254714 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467248484-5593 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119377-1467254714.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 9dff5eac4e461913f3a31c99f046fd52 RANDOM SEED=385087692 node107.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 : 2667.110 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 : 5334.22 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 : 2667.110 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.55 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 : 2667.110 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.39 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 : 2667.110 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 : 2667.110 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.54 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 : 2667.110 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.55 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 : 2667.110 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.56 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 : 2667.110 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.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26582388 kB Buffers: 99668 kB Cached: 424640 kB SwapCached: 0 kB Active: 4823544 kB Inactive: 432884 kB Active(anon): 4734556 kB Inactive(anon): 4 kB Active(file): 88988 kB Inactive(file): 432880 kB Unevictable: 272236 kB Mlocked: 239532 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 476 kB Writeback: 0 kB AnonPages: 4974920 kB Mapped: 22216 kB Shmem: 204 kB Slab: 604588 kB SReclaimable: 48680 kB SUnreclaim: 555908 kB KernelStack: 1808 kB PageTables: 13776 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5264068 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4648960 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= 71720 MiB End job on node107 at 2016-06-30 05:01:02