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) | 3679 | 1800.47 | 941.833 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-edgecross14-137.opb |
| MD5SUM | f86c2ef9d0eaec192228da898fb6f5b2 |
| 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 | 3570 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| 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 | 183 |
| Total number of constraints | 1457 |
| Number of constraints which are clauses | 1456 |
| Number of constraints which are cardinality constraints (but not clauses) | 1 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 3 |
| Number of terms in the objective function | 4217 |
| Biggest coefficient in the objective function | 4129 |
| Number of bits for the biggest coefficient in the objective function | 13 |
| Sum of the numbers in the objective function | 14299 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 4129 |
| Number of bits of the biggest number in a constraint | 13 |
| Biggest sum of numbers in a constraint | 14299 |
| Number of bits of the biggest sum of numbers | 14 |
| Number of products (including duplicates) | 4039 |
| Sum of products size (including duplicates) | 8078 |
| 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.09/0.10 c version PB16.v20160501 0.09/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.09/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.09/0.10 c java.vm.version 19.1-b02 0.09/0.10 c java.vm.vendor Sun Microsystems Inc. 0.09/0.10 c sun.arch.data.model 64 0.09/0.10 c java.version 1.6.0_24 0.09/0.10 c os.name Linux 0.09/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.09/0.10 c os.arch amd64 0.09/0.10 c Free memory 501472288 0.09/0.10 c Max memory 7480803328 0.09/0.10 c Total memory 504102912 0.09/0.10 c Number of processors 8 0.09/0.13 c Pseudo Boolean Optimization by upper bound 0.09/0.13 c ManyCore solver with 2 solvers running in parallel 0.09/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.13 c Expensive reason simplification 0.09/0.13 c Glucose 2.1 dynamic restart strategy 0.09/0.13 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.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.13 c --- Begin Solver configuration --- 0.09/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.13 c Learn all clauses as in MiniSAT 0.09/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.13 c No reason simplification 0.09/0.13 c Armin Biere (Picosat) restarts strategy 0.09/0.13 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.13 c timeout=2147483s 0.09/0.13 c DB Simplification allowed=false 0.09/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.13 c --- End Solver configuration --- 0.09/0.13 c solving HOME/instance-4119337-1467253509.opb 0.09/0.13 c reading problem ... 0.09/0.13 c objective function found 0.97/0.54 c ... done. Wall clock time 0.413s. 0.97/0.54 c declared #vars 183 0.97/0.54 c internal #vars 4222 0.97/0.55 c #constraints 9536 0.97/0.55 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.97/0.55 c constraints type 0.97/0.55 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5495 0.97/0.55 c org.sat4j.specs.Constr$1 => 1 0.97/0.55 c org.sat4j.minisat.constraints.cnf.UnitClause => 1 0.97/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 4039 0.97/0.55 c 9536 constraints processed. 0.97/0.55 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.97/0.55 c constraints type 0.97/0.55 c org.sat4j.specs.Constr$1 => 1 0.97/0.55 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 5495 0.97/0.55 c org.sat4j.pb.constraints.pb.UnitClausePB => 1 0.97/0.55 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4039 0.97/0.55 c 9536 constraints processed. 0.97/0.55 c objective function length is 4217 literals 1.31/0.64 c And the winner is solver0 2.14/1.05 c SATISFIABLE 2.14/1.05 c OPTIMIZING... 2.14/1.05 c Got one! Elapsed wall clock time (in seconds):0.92 2.14/1.05 o 4312 2.33/1.18 c And the winner is solver0 2.85/1.57 c Got one! Elapsed wall clock time (in seconds):1.442 2.85/1.57 o 4306 2.94/1.60 c And the winner is solver0 3.00/2.08 c Got one! Elapsed wall clock time (in seconds):1.957 3.00/2.08 o 4288 3.44/2.23 c And the winner is solver0 3.86/2.59 c Got one! Elapsed wall clock time (in seconds):2.466 3.86/2.59 o 4285 3.87/2.67 c And the winner is solver0 4.17/3.10 c Got one! Elapsed wall clock time (in seconds):2.974 4.17/3.10 o 4271 4.17/3.16 c And the winner is solver0 4.47/3.61 c Got one! Elapsed wall clock time (in seconds):3.481 4.47/3.61 o 4268 4.47/3.66 c And the winner is solver0 4.73/4.11 c Got one! Elapsed wall clock time (in seconds):3.987 4.73/4.11 o 4263 4.90/4.26 c And the winner is solver0 5.06/4.62 c Got one! Elapsed wall clock time (in seconds):4.493 5.06/4.62 o 4259 5.21/4.75 c And the winner is solver0 5.38/5.13 c Got one! Elapsed wall clock time (in seconds):5.0 5.38/5.13 o 4255 5.38/5.17 c And the winner is solver0 5.64/5.63 c Got one! Elapsed wall clock time (in seconds):5.506 5.64/5.63 o 4253 5.64/5.65 c And the winner is solver0 5.84/6.14 c Got one! Elapsed wall clock time (in seconds):6.011 5.84/6.14 o 4231 5.95/6.20 c And the winner is solver0 6.10/6.64 c Got one! Elapsed wall clock time (in seconds):6.515 6.10/6.64 o 4228 6.10/6.68 c And the winner is solver0 6.32/7.15 c Got one! Elapsed wall clock time (in seconds):7.02 6.32/7.15 o 4221 7.11/7.57 c And the winner is solver0 7.30/7.70 c Got one! Elapsed wall clock time (in seconds):7.575 7.30/7.70 o 4219 7.56/7.89 c And the winner is solver0 7.84/8.21 c Got one! Elapsed wall clock time (in seconds):8.079 7.84/8.21 o 4213 7.84/8.26 c And the winner is solver0 8.08/8.71 c Got one! Elapsed wall clock time (in seconds):8.584 8.08/8.71 o 4211 9.97/9.66 c And the winner is solver0 10.14/9.72 c Got one! Elapsed wall clock time (in seconds):9.588 10.14/9.72 o 4208 10.14/9.80 c And the winner is solver0 10.41/10.22 c Got one! Elapsed wall clock time (in seconds):10.093 10.41/10.22 o 4206 12.20/11.13 c And the winner is solver0 12.27/11.22 c Got one! Elapsed wall clock time (in seconds):11.097 12.27/11.22 o 4202 12.82/11.53 c And the winner is solver0 13.07/11.73 c Got one! Elapsed wall clock time (in seconds):11.602 13.07/11.73 o 4200 13.07/11.75 c And the winner is solver0 13.28/12.23 c Got one! Elapsed wall clock time (in seconds):12.107 13.28/12.23 o 4198 13.28/12.26 c And the winner is solver0 13.34/12.74 c Got one! Elapsed wall clock time (in seconds):12.611 13.34/12.74 o 4197 13.45/12.88 c And the winner is solver0 13.68/13.24 c Got one! Elapsed wall clock time (in seconds):13.116 13.68/13.24 o 4191 13.79/13.32 c And the winner is solver0 13.94/13.75 c Got one! Elapsed wall clock time (in seconds):13.621 13.94/13.75 o 4190 14.03/13.82 c And the winner is solver0 14.21/14.25 c Got one! Elapsed wall clock time (in seconds):14.125 14.21/14.25 o 4188 14.31/14.32 c And the winner is solver0 14.46/14.76 c Got one! Elapsed wall clock time (in seconds):14.63 14.46/14.76 o 4187 15.37/15.24 c And the winner is solver0 15.51/15.31 c Got one! Elapsed wall clock time (in seconds):15.185 15.51/15.31 o 4186 16.27/15.75 c And the winner is solver0 16.40/15.82 c Got one! Elapsed wall clock time (in seconds):15.689 16.40/15.82 o 4184 18.72/16.93 c And the winner is solver0 18.83/17.32 c Got one! Elapsed wall clock time (in seconds):17.194 18.83/17.32 o 4183 19.77/17.86 c cleaning 6296 clauses out of 12602 with flag 2007/12602 20.73/18.24 c And the winner is solver0 20.87/18.38 c Got one! Elapsed wall clock time (in seconds):18.249 20.87/18.38 o 4182 24.68/20.25 c And the winner is solver0 24.82/20.40 c Got one! Elapsed wall clock time (in seconds):20.273 24.82/20.40 o 4181 26.81/21.44 c cleaning 6313 clauses out of 12635 with flag 4121/18931 27.92/21.92 c And the winner is solver0 28.14/22.41 c Got one! Elapsed wall clock time (in seconds):22.278 28.14/22.41 o 4177 28.99/22.86 c And the winner is solver0 29.16/22.96 c Got one! Elapsed wall clock time (in seconds):22.833 29.16/22.96 o 4174 30.42/23.50 c And the winner is solver0 30.46/23.97 c Got one! Elapsed wall clock time (in seconds):23.839 30.46/23.97 o 4173 34.37/25.96 c And the winner is solver0 34.53/26.02 c Got one! Elapsed wall clock time (in seconds):25.894 34.53/26.02 o 4172 36.48/27.05 c cleaning 7470 clauses out of 14945 with flag 4008/27554 37.72/27.63 c And the winner is solver0 38.25/28.03 c Got one! Elapsed wall clock time (in seconds):27.9 38.25/28.03 o 4170 38.38/28.12 c And the winner is solver0 38.57/28.53 c Got one! Elapsed wall clock time (in seconds):28.405 38.57/28.53 o 4168 38.91/28.75 c And the winner is solver0 39.06/29.04 c Got one! Elapsed wall clock time (in seconds):28.91 39.06/29.04 o 4167 39.37/29.26 c And the winner is solver0 39.62/29.54 c Got one! Elapsed wall clock time (in seconds):29.415 39.62/29.54 o 4166 43.73/31.64 c cleaning 6834 clauses out of 13668 with flag 8076/33747 49.73/34.63 c cleaning 6415 clauses out of 12834 with flag 20178/39747 54.94/37.15 c And the winner is solver0 55.17/37.59 c Got one! Elapsed wall clock time (in seconds):37.459 55.17/37.59 o 4165 55.99/38.08 c cleaning 6094 clauses out of 12198 with flag 2023/45526 60.79/40.42 c And the winner is solver0 60.92/40.60 c Got one! Elapsed wall clock time (in seconds):40.464 60.92/40.60 o 4162 61.99/41.11 c cleaning 5862 clauses out of 11739 with flag 2052/51161 62.19/41.22 c And the winner is solver0 62.40/41.60 c Got one! Elapsed wall clock time (in seconds):41.47 62.40/41.60 o 4161 63.01/41.94 c And the winner is solver0 63.63/42.20 c Got one! Elapsed wall clock time (in seconds):42.071 63.63/42.20 o 4157 64.22/42.52 c And the winner is solver0 64.36/42.70 c Got one! Elapsed wall clock time (in seconds):42.576 64.36/42.70 o 4156 69.16/45.19 c cleaning 6210 clauses out of 12424 with flag 10040/57708 70.14/45.69 c And the winner is solver0 70.43/45.81 c Got one! Elapsed wall clock time (in seconds):45.682 70.43/45.81 o 4155 70.60/45.93 c And the winner is solver0 70.75/46.31 c Got one! Elapsed wall clock time (in seconds):46.188 70.75/46.31 o 4152 70.75/46.36 c And the winner is solver0 70.87/46.82 c Got one! Elapsed wall clock time (in seconds):46.693 70.87/46.82 o 4151 75.01/48.92 c cleaning 5776 clauses out of 11556 with flag 8074/63050 81.95/52.46 c cleaning 5890 clauses out of 11780 with flag 20126/69050 88.94/55.90 c cleaning 6441 clauses out of 12891 with flag 34142/76051 96.95/59.95 c cleaning 7218 clauses out of 14449 with flag 50287/84050 106.54/64.76 c cleaning 8111 clauses out of 16231 with flag 68383/93050 117.34/70.06 c cleaning 9055 clauses out of 18120 with flag 88417/103050 126.95/74.89 c And the winner is solver1 127.14/75.01 c Got one! Elapsed wall clock time (in seconds):74.882 127.14/75.01 o 4143 127.51/75.21 c And the winner is solver0 127.68/75.52 c Got one! Elapsed wall clock time (in seconds):75.392 127.68/75.52 o 4137 127.83/75.61 c And the winner is solver0 127.92/76.03 c Got one! Elapsed wall clock time (in seconds):75.899 127.92/76.03 o 4136 128.05/76.17 c And the winner is solver0 128.29/76.53 c Got one! Elapsed wall clock time (in seconds):76.406 128.29/76.53 o 4135 128.41/76.67 c And the winner is solver0 129.23/77.04 c Got one! Elapsed wall clock time (in seconds):76.913 129.23/77.04 o 4134 129.35/77.16 c And the winner is solver0 129.55/77.55 c Got one! Elapsed wall clock time (in seconds):77.42 129.55/77.55 o 4127 129.64/77.62 c And the winner is solver0 129.76/78.05 c Got one! Elapsed wall clock time (in seconds):77.927 129.76/78.05 o 4119 129.85/78.20 c And the winner is solver0 130.13/78.56 c Got one! Elapsed wall clock time (in seconds):78.433 130.13/78.56 o 4110 130.61/78.86 c And the winner is solver0 130.87/79.08 c Got one! Elapsed wall clock time (in seconds):78.945 130.87/79.08 o 4103 131.20/79.23 c And the winner is solver0 131.36/79.58 c Got one! Elapsed wall clock time (in seconds):79.452 131.36/79.58 o 4085 131.58/79.71 c And the winner is solver0 131.70/80.09 c Got one! Elapsed wall clock time (in seconds):79.959 131.70/80.09 o 4074 132.13/80.33 c And the winner is solver0 132.33/80.59 c Got one! Elapsed wall clock time (in seconds):80.465 132.33/80.59 o 4062 132.33/80.65 c And the winner is solver0 132.48/81.10 c Got one! Elapsed wall clock time (in seconds):80.972 132.48/81.10 o 4058 132.67/81.27 c And the winner is solver0 132.91/81.61 c Got one! Elapsed wall clock time (in seconds):81.479 132.91/81.61 o 4051 133.09/81.71 c And the winner is solver0 133.19/82.11 c Got one! Elapsed wall clock time (in seconds):81.986 133.19/82.11 o 4050 133.34/82.28 c And the winner is solver0 134.29/82.89 c Got one! Elapsed wall clock time (in seconds):82.768 134.29/82.89 o 4041 134.56/83.04 c And the winner is solver0 134.75/83.40 c Got one! Elapsed wall clock time (in seconds):83.274 134.75/83.40 o 4036 134.93/83.55 c And the winner is solver0 135.14/83.91 c Got one! Elapsed wall clock time (in seconds):83.781 135.14/83.91 o 4033 135.31/84.03 c And the winner is solver0 135.46/84.41 c Got one! Elapsed wall clock time (in seconds):84.288 135.46/84.41 o 4028 135.62/84.59 c And the winner is solver0 135.92/84.92 c Got one! Elapsed wall clock time (in seconds):84.794 135.92/84.92 o 4024 136.06/85.06 c And the winner is solver0 136.28/85.43 c Got one! Elapsed wall clock time (in seconds):85.301 136.28/85.43 o 4022 136.61/85.65 c And the winner is solver0 136.98/85.93 c Got one! Elapsed wall clock time (in seconds):85.808 136.98/85.93 o 4018 137.10/86.10 c And the winner is solver0 137.41/86.44 c Got one! Elapsed wall clock time (in seconds):86.315 137.41/86.44 o 4017 137.91/86.71 c And the winner is solver0 138.14/86.95 c Got one! Elapsed wall clock time (in seconds):86.822 138.14/86.95 o 4016 138.47/87.16 c And the winner is solver0 138.84/87.46 c Got one! Elapsed wall clock time (in seconds):87.329 138.84/87.46 o 4005 139.35/87.71 c And the winner is solver0 139.67/88.01 c Got one! Elapsed wall clock time (in seconds):87.886 139.67/88.01 o 3990 140.43/88.44 c And the winner is solver0 140.65/88.62 c Got one! Elapsed wall clock time (in seconds):88.493 140.65/88.62 o 3987 140.87/88.78 c And the winner is solver0 141.13/89.13 c Got one! Elapsed wall clock time (in seconds):89.0 141.13/89.13 o 3980 141.46/89.33 c And the winner is solver0 141.65/89.63 c Got one! Elapsed wall clock time (in seconds):89.507 141.65/89.63 o 3979 141.77/89.77 c And the winner is solver0 142.00/90.14 c Got one! Elapsed wall clock time (in seconds):90.014 142.00/90.14 o 3978 142.12/90.29 c And the winner is solver0 142.40/90.65 c Got one! Elapsed wall clock time (in seconds):90.521 142.40/90.65 o 3974 142.69/90.85 c And the winner is solver0 142.94/91.16 c Got one! Elapsed wall clock time (in seconds):91.027 142.94/91.16 o 3973 143.23/91.36 c And the winner is solver0 143.47/91.66 c Got one! Elapsed wall clock time (in seconds):91.534 143.47/91.66 o 3969 143.74/91.82 c And the winner is solver0 143.90/92.17 c Got one! Elapsed wall clock time (in seconds):92.041 143.90/92.17 o 3962 144.56/92.56 c And the winner is solver0 144.90/92.82 c Got one! Elapsed wall clock time (in seconds):92.698 144.90/92.82 o 3961 145.04/92.94 c And the winner is solver0 145.22/93.33 c Got one! Elapsed wall clock time (in seconds):93.205 145.22/93.33 o 3959 145.56/93.51 c And the winner is solver0 145.70/93.84 c Got one! Elapsed wall clock time (in seconds):93.712 145.70/93.84 o 3952 145.80/93.99 c And the winner is solver0 146.11/94.35 c Got one! Elapsed wall clock time (in seconds):94.219 146.11/94.35 o 3946 146.42/94.56 c And the winner is solver0 146.70/94.85 c Got one! Elapsed wall clock time (in seconds):94.726 146.70/94.85 o 3936 146.99/95.09 c And the winner is solver0 147.39/95.36 c Got one! Elapsed wall clock time (in seconds):95.232 147.39/95.36 o 3929 147.67/95.59 c And the winner is solver0 148.08/95.87 c Got one! Elapsed wall clock time (in seconds):95.739 148.08/95.87 o 3927 148.34/96.05 c And the winner is solver0 148.57/96.37 c Got one! Elapsed wall clock time (in seconds):96.246 148.57/96.37 o 3926 149.01/96.68 c And the winner is solver0 149.31/96.88 c Got one! Elapsed wall clock time (in seconds):96.753 149.31/96.88 o 3917 149.77/97.12 c And the winner is solver0 149.99/97.39 c Got one! Elapsed wall clock time (in seconds):97.26 149.99/97.39 o 3915 150.26/97.59 c And the winner is solver0 150.59/97.89 c Got one! Elapsed wall clock time (in seconds):97.767 150.59/97.89 o 3914 150.99/98.14 c And the winner is solver0 151.30/98.40 c Got one! Elapsed wall clock time (in seconds):98.274 151.30/98.40 o 3912 151.48/98.56 c And the winner is solver0 151.73/98.91 c Got one! Elapsed wall clock time (in seconds):98.781 151.73/98.91 o 3911 151.91/99.07 c And the winner is solver0 152.15/99.42 c Got one! Elapsed wall clock time (in seconds):99.288 152.15/99.42 o 3902 152.71/99.79 c And the winner is solver0 153.00/99.97 c Got one! Elapsed wall clock time (in seconds):99.845 153.00/99.97 o 3898 153.51/100.24 c And the winner is solver0 153.84/100.53 c Got one! Elapsed wall clock time (in seconds):100.402 153.84/100.53 o 3897 154.16/100.72 c And the winner is solver0 154.34/101.04 c Got one! Elapsed wall clock time (in seconds):100.91 154.34/101.04 o 3891 154.76/101.28 c And the winner is solver0 155.02/101.55 c Got one! Elapsed wall clock time (in seconds):101.417 155.02/101.55 o 3882 155.12/101.69 c And the winner is solver0 155.40/102.05 c Got one! Elapsed wall clock time (in seconds):101.924 155.40/102.05 o 3881 155.68/102.27 c And the winner is solver0 156.05/102.56 c Got one! Elapsed wall clock time (in seconds):102.431 156.05/102.56 o 3880 156.37/102.76 c And the winner is solver0 156.73/103.06 c Got one! Elapsed wall clock time (in seconds):102.937 156.73/103.06 o 3865 157.25/103.38 c And the winner is solver0 157.62/103.62 c Got one! Elapsed wall clock time (in seconds):103.494 157.62/103.62 o 3862 157.76/103.76 c And the winner is solver0 157.96/104.13 c Got one! Elapsed wall clock time (in seconds):104.001 157.96/104.13 o 3858 158.09/104.26 c And the winner is solver0 158.31/104.64 c Got one! Elapsed wall clock time (in seconds):104.508 158.31/104.64 o 3854 158.63/104.80 c And the winner is solver0 158.74/105.14 c Got one! Elapsed wall clock time (in seconds):105.015 158.74/105.14 o 3850 159.44/105.56 c And the winner is solver0 159.81/105.80 c Got one! Elapsed wall clock time (in seconds):105.672 159.81/105.80 o 3840 160.20/106.03 c And the winner is solver0 160.54/106.31 c Got one! Elapsed wall clock time (in seconds):106.179 160.54/106.31 o 3834 160.92/106.50 c And the winner is solver0 161.06/106.81 c Got one! Elapsed wall clock time (in seconds):106.686 161.06/106.81 o 3832 161.42/107.02 c And the winner is solver0 161.59/107.32 c Got one! Elapsed wall clock time (in seconds):107.193 161.59/107.32 o 3830 161.94/107.58 c And the winner is solver0 162.33/107.83 c Got one! Elapsed wall clock time (in seconds):107.7 162.33/107.83 o 3825 162.86/108.18 c And the winner is solver0 163.15/108.33 c Got one! Elapsed wall clock time (in seconds):108.207 163.15/108.33 o 3811 164.40/108.97 c And the winner is solver0 164.67/109.34 c Got one! Elapsed wall clock time (in seconds):109.214 164.67/109.34 o 3807 165.17/109.69 c And the winner is solver0 165.57/110.00 c Got one! Elapsed wall clock time (in seconds):109.872 165.57/110.00 o 3805 170.81/112.69 c cleaning 21773 clauses out of 43546 with flag 11106/137531 179.02/116.70 c cleaning 13886 clauses out of 27772 with flag 23527/143530 186.81/120.68 c cleaning 10443 clauses out of 20886 with flag 38282/150530 195.21/124.80 c cleaning 9220 clauses out of 18445 with flag 54900/158532 204.21/129.34 c cleaning 9110 clauses out of 18223 with flag 73708/167530 205.81/130.10 c And the winner is solver0 206.07/130.51 c Got one! Elapsed wall clock time (in seconds):130.381 206.07/130.51 o 3802 210.24/132.68 c cleaning 7253 clauses out of 14506 with flag 8761/172923 218.05/136.58 c cleaning 6626 clauses out of 13255 with flag 20867/178925 227.74/141.29 c cleaning 6809 clauses out of 13628 with flag 34891/185924 238.54/146.67 c cleaning 7409 clauses out of 14818 with flag 51028/193923 249.94/152.39 c cleaning 8203 clauses out of 16409 with flag 69153/202923 265.74/160.28 c cleaning 9096 clauses out of 18208 with flag 89278/212925 287.07/171.03 c cleaning 10055 clauses out of 20110 with flag 111391/223923 289.27/172.17 c And the winner is solver0 289.75/172.59 c Got one! Elapsed wall clock time (in seconds):172.467 289.75/172.59 o 3801 290.24/172.90 c And the winner is solver0 290.63/173.10 c Got one! Elapsed wall clock time (in seconds):172.975 290.63/173.10 o 3792 294.81/175.29 c cleaning 8025 clauses out of 16062 with flag 8517/229930 301.03/178.39 c cleaning 7011 clauses out of 14037 with flag 21366/235930 310.01/182.89 c cleaning 7011 clauses out of 14026 with flag 35774/242930 318.43/187.02 c cleaning 7503 clauses out of 15017 with flag 52253/250932 327.93/191.76 c cleaning 8250 clauses out of 16512 with flag 70497/259930 338.54/197.07 c cleaning 9126 clauses out of 18263 with flag 90678/269931 350.53/203.06 c cleaning 10065 clauses out of 20137 with flag 114173/280931 360.34/207.98 c And the winner is solver0 360.92/208.42 c Got one! Elapsed wall clock time (in seconds):208.291 360.92/208.42 o 3790 361.08/208.58 c And the winner is solver0 361.36/208.93 c Got one! Elapsed wall clock time (in seconds):208.799 361.36/208.93 o 3782 364.51/210.45 c And the winner is solver0 365.07/210.93 c Got one! Elapsed wall clock time (in seconds):210.808 365.07/210.93 o 3771 365.42/211.13 c And the winner is solver0 365.62/211.44 c Got one! Elapsed wall clock time (in seconds):211.317 365.62/211.44 o 3765 365.92/211.62 c And the winner is solver0 366.09/211.95 c Got one! Elapsed wall clock time (in seconds):211.825 366.09/211.95 o 3764 366.37/212.16 c And the winner is solver0 366.64/212.46 c Got one! Elapsed wall clock time (in seconds):212.334 366.64/212.46 o 3760 366.90/212.65 c And the winner is solver0 367.12/212.97 c Got one! Elapsed wall clock time (in seconds):212.842 367.12/212.97 o 3759 367.77/213.38 c And the winner is solver0 368.15/213.68 c Got one! Elapsed wall clock time (in seconds):213.551 368.15/213.68 o 3753 368.84/214.02 c And the winner is solver0 369.07/214.29 c Got one! Elapsed wall clock time (in seconds):214.16 369.07/214.29 o 3752 369.76/214.67 c And the winner is solver0 370.13/214.95 c Got one! Elapsed wall clock time (in seconds):214.819 370.13/214.95 o 3749 373.80/216.75 c cleaning 13722 clauses out of 27443 with flag 8271/298302 380.60/220.18 c cleaning 9855 clauses out of 19722 with flag 21231/304303 388.38/224.08 c cleaning 8433 clauses out of 16867 with flag 36317/311303 397.38/228.55 c cleaning 8215 clauses out of 16434 with flag 53747/319303 407.38/233.56 c cleaning 8603 clauses out of 17218 with flag 73256/328302 421.56/241.12 c cleaning 9302 clauses out of 18616 with flag 94750/338303 436.17/248.45 c cleaning 10158 clauses out of 20315 with flag 119992/349304 451.47/256.02 c cleaning 11071 clauses out of 22155 with flag 146930/361302 467.07/263.80 c cleaning 12036 clauses out of 24084 with flag 176233/374302 485.86/273.16 c cleaning 13020 clauses out of 26048 with flag 205779/388302 504.87/282.68 c cleaning 14012 clauses out of 28028 with flag 237934/403302 528.76/294.41 c cleaning 15009 clauses out of 30018 with flag 276388/419304 554.35/307.22 c cleaning 16000 clauses out of 32007 with flag 312527/436302 578.92/319.34 c cleaning 17001 clauses out of 34007 with flag 351604/454302 604.98/332.26 c cleaning 17997 clauses out of 36007 with flag 392815/473303 623.70/341.48 c And the winner is solver0 624.30/341.98 c Got one! Elapsed wall clock time (in seconds):341.85 624.30/341.98 o 3748 625.23/342.43 c And the winner is solver0 625.56/342.74 c Got one! Elapsed wall clock time (in seconds):342.61 625.56/342.74 o 3745 631.31/345.61 c cleaning 19369 clauses out of 38747 with flag 11847/494040 634.11/347.02 c And the winner is solver0 635.83/348.24 c Got one! Elapsed wall clock time (in seconds):348.117 635.83/348.24 o 3740 639.37/350.05 c cleaning 12498 clauses out of 25013 with flag 7539/499675 645.79/353.24 c cleaning 9251 clauses out of 18516 with flag 21893/505676 653.37/357.04 c cleaning 8122 clauses out of 16264 with flag 37935/512675 665.16/363.37 c cleaning 8061 clauses out of 16142 with flag 56540/520675 676.56/369.06 c cleaning 8540 clauses out of 17083 with flag 76905/529677 689.16/375.37 c cleaning 9270 clauses out of 18541 with flag 99140/539675 698.76/380.17 c And the winner is solver0 700.34/381.63 c Got one! Elapsed wall clock time (in seconds):381.499 700.34/381.63 o 3735 700.71/381.89 c And the winner is solver0 701.20/382.14 c Got one! Elapsed wall clock time (in seconds):382.009 701.20/382.14 o 3730 701.73/382.45 c And the winner is solver0 701.99/382.70 c Got one! Elapsed wall clock time (in seconds):382.569 701.99/382.70 o 3727 702.65/383.04 c And the winner is solver0 702.98/383.31 c Got one! Elapsed wall clock time (in seconds):383.179 702.98/383.31 o 3726 703.55/383.67 c And the winner is solver0 703.94/383.97 c Got one! Elapsed wall clock time (in seconds):383.839 703.94/383.97 o 3721 709.21/386.65 c cleaning 12010 clauses out of 24026 with flag 13097/554430 715.21/389.62 c cleaning 9005 clauses out of 18017 with flag 26938/560431 722.68/393.30 c cleaning 8000 clauses out of 16013 with flag 42284/567432 724.28/394.13 c And the winner is solver0 725.23/395.08 c Got one! Elapsed wall clock time (in seconds):394.952 725.23/395.08 o 3715 725.73/395.35 c And the winner is solver0 725.98/395.59 c Got one! Elapsed wall clock time (in seconds):395.462 725.98/395.59 o 3714 729.82/397.58 c cleaning 6916 clauses out of 13847 with flag 10274/573266 732.22/398.78 c And the winner is solver0 733.43/399.77 c Got one! Elapsed wall clock time (in seconds):399.644 733.43/399.77 o 3708 736.34/401.28 c cleaning 6200 clauses out of 12407 with flag 8963/578742 743.14/404.62 c cleaning 6096 clauses out of 12207 with flag 23054/584742 752.55/409.35 c cleaning 6554 clauses out of 13111 with flag 38956/591742 763.84/415.00 c cleaning 7280 clauses out of 14560 with flag 57420/599745 776.44/421.21 c cleaning 8135 clauses out of 16277 with flag 77467/608742 789.85/427.92 c cleaning 9072 clauses out of 18144 with flag 99646/618744 805.41/435.65 c cleaning 10036 clauses out of 20073 with flag 123174/629745 822.00/443.95 c cleaning 11017 clauses out of 22035 with flag 148782/641743 843.64/454.60 c cleaning 12008 clauses out of 24017 with flag 177407/654742 861.23/463.32 c cleaning 13000 clauses out of 26010 with flag 209963/668743 879.11/472.17 c cleaning 13999 clauses out of 28009 with flag 241529/683742 900.02/482.41 c cleaning 15003 clauses out of 30011 with flag 276345/699743 921.36/492.96 c cleaning 15999 clauses out of 32007 with flag 313822/716742 943.90/504.03 c cleaning 17003 clauses out of 34008 with flag 354101/734742 973.26/518.32 c cleaning 18001 clauses out of 36006 with flag 395404/753743 980.66/522.01 c And the winner is solver1 980.66/522.02 c Got one! Elapsed wall clock time (in seconds):521.893 980.66/522.02 o 3706 981.90/522.64 c cleaning 11845 clauses out of 23691 with flag 3128/759429 989.61/527.11 c cleaning 8918 clauses out of 17840 with flag 20548/765423 996.21/530.40 c cleaning 7959 clauses out of 15924 with flag 40406/772425 1003.61/534.17 c cleaning 7983 clauses out of 15967 with flag 63475/780427 1012.68/538.67 c cleaning 8489 clauses out of 16982 with flag 89711/789425 1022.29/543.45 c cleaning 9246 clauses out of 18494 with flag 118724/799426 1033.19/548.82 c cleaning 10120 clauses out of 20245 with flag 150817/810423 1045.19/554.81 c cleaning 11063 clauses out of 22127 with flag 186365/822425 1057.80/561.14 c cleaning 12032 clauses out of 24063 with flag 224710/835424 1072.32/568.30 c cleaning 13014 clauses out of 26031 with flag 265386/849424 1087.87/576.07 c cleaning 14006 clauses out of 28017 with flag 308830/864424 1104.41/584.22 c cleaning 15005 clauses out of 30011 with flag 356032/880424 1121.53/592.74 c cleaning 16001 clauses out of 32006 with flag 405830/897424 1139.89/601.87 c cleaning 17001 clauses out of 34006 with flag 458399/915425 1159.06/611.49 c cleaning 18001 clauses out of 36003 with flag 513972/934423 1180.05/621.87 c cleaning 18999 clauses out of 38003 with flag 572782/954424 1202.54/632.98 c cleaning 20002 clauses out of 40005 with flag 634971/975425 1225.54/644.47 c cleaning 20997 clauses out of 42001 with flag 701260/997423 1250.20/656.68 c cleaning 22001 clauses out of 44005 with flag 768795/1020424 1250.62/656.84 c And the winner is solver0 1251.78/657.98 c Got one! Elapsed wall clock time (in seconds):657.851 1251.78/657.98 o 3690 1257.66/660.85 c cleaning 13658 clauses out of 27319 with flag 14596/1025739 1263.26/663.63 c cleaning 9829 clauses out of 19661 with flag 32601/1031739 1269.66/666.87 c cleaning 8412 clauses out of 16832 with flag 54004/1038739 1277.50/670.65 c cleaning 8209 clauses out of 16420 with flag 77730/1046739 1285.90/674.80 c cleaning 8604 clauses out of 17211 with flag 104741/1055739 1295.09/679.46 c cleaning 9303 clauses out of 18608 with flag 135091/1065740 1305.95/684.72 c cleaning 10150 clauses out of 20304 with flag 167771/1076739 1317.35/690.42 c cleaning 11076 clauses out of 22154 with flag 203910/1088739 1329.75/696.63 c cleaning 12039 clauses out of 24080 with flag 244621/1101741 1343.62/703.46 c cleaning 13020 clauses out of 26039 with flag 286429/1115739 1358.04/710.66 c cleaning 14009 clauses out of 28021 with flag 332854/1130741 1376.89/721.24 c cleaning 15005 clauses out of 30010 with flag 381863/1146739 1394.17/729.86 c cleaning 16000 clauses out of 32006 with flag 433353/1163740 1404.90/735.14 c And the winner is solver1 1405.03/735.39 c Got one! Elapsed wall clock time (in seconds):735.268 1405.03/735.39 o 3689 1411.13/738.40 c cleaning 15734 clauses out of 31472 with flag 13752/1179206 1417.14/741.43 c cleaning 10864 clauses out of 21738 with flag 32485/1185206 1424.68/745.10 c cleaning 8936 clauses out of 17874 with flag 53763/1192206 1432.27/749.00 c cleaning 8467 clauses out of 16938 with flag 78691/1200206 1441.07/753.36 c cleaning 8734 clauses out of 17472 with flag 106227/1209207 1450.87/758.28 c cleaning 9368 clauses out of 18737 with flag 137068/1219206 1461.67/763.68 c cleaning 10183 clauses out of 20372 with flag 171836/1230209 1474.20/769.80 c cleaning 11096 clauses out of 22193 with flag 208587/1242213 1486.40/775.99 c cleaning 12044 clauses out of 24090 with flag 249119/1255206 1499.60/782.60 c cleaning 13021 clauses out of 26048 with flag 292700/1269208 1514.00/789.80 c cleaning 14013 clauses out of 28027 with flag 338044/1284208 1529.62/797.53 c cleaning 15005 clauses out of 30012 with flag 386069/1300206 1547.56/806.48 c cleaning 16003 clauses out of 32007 with flag 437984/1317206 1567.16/816.21 c cleaning 17003 clauses out of 34006 with flag 493713/1335208 1578.11/821.61 c And the winner is solver0 1581.85/825.35 c Got one! Elapsed wall clock time (in seconds):825.219 1581.85/825.35 o 3685 1587.58/828.29 c cleaning 16417 clauses out of 32837 with flag 15565/1351042 1593.74/831.25 c cleaning 11210 clauses out of 22421 with flag 34980/1357043 1600.34/834.51 c cleaning 9103 clauses out of 18210 with flag 56924/1364042 1607.55/838.19 c cleaning 8552 clauses out of 17107 with flag 81366/1372042 1616.56/842.66 c cleaning 8775 clauses out of 17555 with flag 108204/1381042 1624.94/846.89 c And the winner is solver0 1627.06/848.60 c Got one! Elapsed wall clock time (in seconds):848.469 1627.06/848.60 o 3681 1632.31/851.22 c cleaning 11424 clauses out of 22847 with flag 14996/1395109 1637.91/854.08 c cleaning 8712 clauses out of 17423 with flag 34286/1401109 1645.11/857.59 c cleaning 7856 clauses out of 15711 with flag 56884/1408109 1652.73/861.33 c cleaning 7925 clauses out of 15855 with flag 82144/1416109 1660.91/865.49 c cleaning 8462 clauses out of 16930 with flag 110348/1425109 1670.33/870.15 c cleaning 9233 clauses out of 18468 with flag 141209/1435109 1678.31/874.16 c And the winner is solver0 1690.59/886.34 c Got one! Elapsed wall clock time (in seconds):886.211 1690.59/886.34 o 3680 1696.48/889.29 c cleaning 11407 clauses out of 22813 with flag 14622/1448687 1702.29/892.14 c cleaning 8700 clauses out of 17405 with flag 34844/1454686 1708.89/895.45 c cleaning 7850 clauses out of 15705 with flag 57180/1461686 1716.28/899.20 c cleaning 7926 clauses out of 15855 with flag 82988/1469686 1724.68/903.34 c cleaning 8462 clauses out of 16930 with flag 111444/1478687 1734.08/908.00 c cleaning 9233 clauses out of 18469 with flag 144181/1488688 1744.47/913.22 c cleaning 10116 clauses out of 20234 with flag 179612/1499686 1749.87/915.94 c And the winner is solver0 1752.23/917.93 c Got one! Elapsed wall clock time (in seconds):917.806 1752.23/917.93 o 3679 1757.56/920.69 c cleaning 10394 clauses out of 20796 with flag 14777/1510364 1763.77/923.61 c cleaning 8199 clauses out of 16403 with flag 34651/1516365 1770.16/926.89 c cleaning 7599 clauses out of 15203 with flag 57659/1523364 1777.56/930.56 c cleaning 7800 clauses out of 15604 with flag 83725/1531364 1785.96/934.80 c cleaning 8402 clauses out of 16805 with flag 113028/1540365 1795.38/939.49 c cleaning 9198 clauses out of 18405 with flag 145519/1550367 1800.16/941.80 c >>>>>>>>>> Solver number 0 (142 answers) <<<<<<<<<<<<<<<<<< 1800.16/941.80 c starts : 17108 1800.16/941.80 c conflicts : 1555435 1800.16/941.80 c decisions : 2738936 1800.16/941.80 c propagations : 202762749 1800.16/941.80 c inspects : 1944503921 1800.16/941.80 c shortcuts : 0 1800.16/941.80 c learnt literals : 0 1800.16/941.80 c learnt binary clauses : 0 1800.16/941.80 c learnt ternary clauses : 3692 1800.16/941.80 c learnt constraints : 1555435 1800.16/941.80 c ignored constraints : 0 1800.16/941.80 c root simplifications : 0 1800.16/941.80 c removed literals (reason simplification) : 444280558 1800.16/941.80 c reason swapping (by a shorter reason) : 0 1800.16/941.80 c Calls to reduceDB : 144 1800.16/941.80 c Number of update (reduction) of LBD : 9144 1800.16/941.80 c Imported unit clauses : 0 1800.16/941.80 c number of reductions to clauses (during analyze) : 0 1800.16/941.80 c number of learned constraints concerned by reduction : 0 1800.16/941.80 c number of learning phase by resolution : 0 1800.16/941.80 c number of learning phase by cutting planes : 0 1800.16/941.80 c speed (assignments/second) : 982406.2182040175 1800.16/941.80 c non guided choices 0 1800.16/941.81 c learnt constraints type 1800.16/941.81 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 14275 1800.16/941.81 c >>>>>>>>>> Solver number 1 (3 answers) <<<<<<<<<<<<<<<<<< 1800.16/941.81 c starts : 158 1800.16/941.81 c conflicts : 2137 1800.16/941.81 c decisions : 23377 1800.16/941.81 c propagations : 762937 1800.16/941.81 c inspects : 235942512 1800.16/941.81 c shortcuts : 0 1800.16/941.81 c learnt literals : 0 1800.16/941.81 c learnt binary clauses : 0 1800.16/941.81 c learnt ternary clauses : 0 1800.16/941.81 c learnt constraints : 2054 1800.16/941.81 c ignored constraints : 0 1800.16/941.81 c root simplifications : 0 1800.16/941.81 c removed literals (reason simplification) : 0 1800.16/941.81 c reason swapping (by a shorter reason) : 0 1800.16/941.81 c Calls to reduceDB : 0 1800.16/941.81 c Number of update (reduction) of LBD : 0 1800.16/941.81 c Imported unit clauses : 0 1800.16/941.81 c number of reductions to clauses (during analyze) : 0 1800.16/941.81 c number of learned constraints concerned by reduction : 0 1800.16/941.81 c number of learning phase by resolution : 0 1800.16/941.81 c number of learning phase by cutting planes : 0 1800.16/941.81 c speed (assignments/second) : 31972.885759785437 1800.16/941.81 c non guided choices 0 1800.16/941.81 c learnt constraints type 1800.16/941.81 c org.sat4j.pb.constraints.pb.MaxWatchPb => 2054 1800.16/941.81 s SATISFIABLE 1800.16/941.81 c Found 145 solution(s) 1800.16/941.81 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 1800.16/941.81 c objective function=3679 1800.16/941.81 c Total wall clock time (in seconds): 941.684
OK 3679
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-4119337-1467253509/watcher-4119337-1467253509 -o /tmp/evaluation-result-4119337-1467253509/solver-4119337-1467253509 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6244 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119337-1467253509.opb pid=9674 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.12 4.05 3.74 4/197 9677 /proc/meminfo: memFree=27017724/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9292 CPUtime=0 cores=0,2,4,6 /proc/9677/stat : 9677 (java) D 9674 9677 6228 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 4370789 9515008 183 33554432000 1073741824 1073778376 140733507468720 140733507459752 211458801333 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0 /proc/9677/statm: 2323 183 140 9 0 71 0 [startup+0.100114 s] /proc/loadavg: 4.12 4.05 3.74 4/197 9677 /proc/meminfo: memFree=27017724/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9558476 CPUtime=0.09 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 4393 0 1 0 8 1 0 0 20 0 18 0 4370789 9787879424 5513 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2389619 5513 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200282 s] /proc/loadavg: 4.12 4.05 3.74 4/197 9677 /proc/meminfo: memFree=27017724/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9558476 CPUtime=0.21 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 4532 0 1 0 20 1 0 0 20 0 18 0 4370789 9787879424 7164 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2389619 7164 2178 9 0 2380296 0 Current children cumulated CPU time (s) 0.21 Current children cumulated vsize (KiB) 9558476 [startup+0.300289 s] /proc/loadavg: 4.12 4.05 3.74 4/197 9677 /proc/meminfo: memFree=27017724/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9558476 CPUtime=0.43 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 5599 0 1 0 42 1 0 0 20 0 18 0 4370789 9787879424 8152 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2389619 8152 2225 9 0 2380296 0 Current children cumulated CPU time (s) 0.43 Current children cumulated vsize (KiB) 9558476 [startup+0.700294 s] /proc/loadavg: 4.12 4.05 3.74 4/197 9677 /proc/meminfo: memFree=27017724/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9824732 CPUtime=1.63 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 23045 0 1 0 157 6 0 0 20 0 19 0 4370789 10060525568 25769 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2456183 25769 2261 9 0 2446860 0 Current children cumulated CPU time (s) 1.63 Current children cumulated vsize (KiB) 9824732 [startup+1.50079 s] /proc/loadavg: 4.11 4.05 3.74 7/219 9702 /proc/meminfo: memFree=26912312/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9824732 CPUtime=2.85 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 26211 0 1 0 276 9 0 0 20 0 19 0 4370789 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2456183 28262 2270 9 0 2446860 0 [pid=9677/tid=9679] ppid=9674 vsize=9824732 CPUtime=0.53 cores=0,2,4,6 /proc/9677/task/9679/stat : 9679 (java) S 9674 9677 6228 0 -1 4202560 2443 0 1 0 52 1 0 0 20 0 19 0 4370790 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139837143610232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9680] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9680/stat : 9680 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139837105101224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9681] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9681/stat : 9681 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139837104048680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9682] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9682/stat : 9682 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139837102995624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9683] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9683/stat : 9683 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139837101943080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9684] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9684/stat : 9684 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139837100891048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9685] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9685/stat : 9685 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139837099838504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9686] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9686/stat : 9686 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139837098785448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9687] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9687/stat : 9687 (java) S 9674 9677 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139837097732904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9688] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9688/stat : 9688 (java) S 9674 9677 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4370793 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139836967070056 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9689] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9689/stat : 9689 (java) S 9674 9677 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4370793 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139836966016376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9690] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9690/stat : 9690 (java) S 9674 9677 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4370793 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139836964963208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9691] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9691/stat : 9691 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370796 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139836963911952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9692] ppid=9674 vsize=9824732 CPUtime=0.9 cores=0,2,4,6 /proc/9677/task/9692/stat : 9692 (java) S 9674 9677 6228 0 -1 4202560 10097 0 0 0 89 1 0 0 20 0 19 0 4370796 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139836962859832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9693] ppid=9674 vsize=9824732 CPUtime=0.88 cores=0,2,4,6 /proc/9677/task/9693/stat : 9693 (java) S 9674 9677 6228 0 -1 4202560 12326 0 0 0 85 3 0 0 20 0 19 0 4370796 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139836961807288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9694] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9694/stat : 9694 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370796 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139836960754424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9695] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9695/stat : 9695 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370796 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139836959702088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9699] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9699/stat : 9699 (java) S 9674 9677 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4370846 10060525568 28262 33554432000 1073741824 1073778376 140737293539120 139835813651368 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 2.85 Current children cumulated vsize (KiB) 9824732 [startup+3.10075 s] /proc/loadavg: 4.11 4.05 3.74 7/219 9708 /proc/meminfo: memFree=26891080/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9824732 CPUtime=4.17 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 26541 0 1 0 402 15 0 0 20 0 19 0 4370789 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2456183 36460 2276 9 0 2446860 0 [pid=9677/tid=9679] ppid=9674 vsize=9824732 CPUtime=0.57 cores=0,2,4,6 /proc/9677/task/9679/stat : 9679 (java) S 9674 9677 6228 0 -1 4202560 2445 0 1 0 55 2 0 0 20 0 19 0 4370790 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139837143610232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9680] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9680/stat : 9680 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139837105101224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9681] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9681/stat : 9681 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139837104048680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9682] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9682/stat : 9682 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139837102995624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9683] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9683/stat : 9683 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139837101943080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9684] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9684/stat : 9684 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139837100891048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9685] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9685/stat : 9685 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139837099838504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9686] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9686/stat : 9686 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139837098785448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9687] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9687/stat : 9687 (java) S 9674 9677 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4370792 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139837097732904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9688] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9688/stat : 9688 (java) S 9674 9677 6228 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4370793 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139836967070056 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9689] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9689/stat : 9689 (java) S 9674 9677 6228 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4370793 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139836966016376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9690] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9690/stat : 9690 (java) S 9674 9677 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4370793 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139836964963208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9691] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9691/stat : 9691 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370796 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139836963911952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9692] ppid=9674 vsize=9824732 CPUtime=1.2 cores=0,2,4,6 /proc/9677/task/9692/stat : 9692 (java) S 9674 9677 6228 0 -1 4202560 10385 0 0 0 119 1 0 0 20 0 19 0 4370796 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139836962859832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9693] ppid=9674 vsize=9824732 CPUtime=1.12 cores=0,2,4,6 /proc/9677/task/9693/stat : 9693 (java) S 9674 9677 6228 0 -1 4202560 12332 0 0 0 109 3 0 0 20 0 19 0 4370796 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139836961807288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9694] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9694/stat : 9694 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370796 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139836960754424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9695] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9695/stat : 9695 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4370796 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139836959702088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9699] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9699/stat : 9699 (java) S 9674 9677 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4370846 10060525568 36460 33554432000 1073741824 1073778376 140737293539120 139835813651368 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 4.17 Current children cumulated vsize (KiB) 9824732 [startup+6.30082 s] /proc/loadavg: 4.11 4.05 3.74 3/216 9726 /proc/meminfo: memFree=26801864/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9824732 CPUtime=6.06 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 26701 0 1 0 575 31 0 0 20 0 20 0 4370789 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2456183 55670 2289 9 0 2446860 0 [pid=9677/tid=9679] ppid=9674 vsize=9824732 CPUtime=0.61 cores=0,2,4,6 /proc/9677/task/9679/stat : 9679 (java) S 9674 9677 6228 0 -1 4202560 2454 0 1 0 59 2 0 0 20 0 20 0 4370790 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139837143610232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9680] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9680/stat : 9680 (java) S 9674 9677 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 4370792 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139837105101224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9681] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9681/stat : 9681 (java) S 9674 9677 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 4370792 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139837104048680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9682] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9682/stat : 9682 (java) S 9674 9677 6228 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 4370792 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139837102995624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9683] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9683/stat : 9683 (java) S 9674 9677 6228 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 20 0 4370792 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139837101943080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9684] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9684/stat : 9684 (java) S 9674 9677 6228 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 4370792 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139837100891048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9685] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9685/stat : 9685 (java) S 9674 9677 6228 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 4370792 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139837099838504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9686] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9686/stat : 9686 (java) S 9674 9677 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4370792 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139837098785448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9687] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9687/stat : 9687 (java) S 9674 9677 6228 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 4370792 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139837097732904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9688] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9688/stat : 9688 (java) S 9674 9677 6228 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 4370793 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139836967070056 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9689] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9689/stat : 9689 (java) S 9674 9677 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 4370793 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139836966016376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9690] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9690/stat : 9690 (java) S 9674 9677 6228 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 4370793 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139836964963208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9691] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9691/stat : 9691 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4370796 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139836963911952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9692] ppid=9674 vsize=9824732 CPUtime=1.27 cores=0,2,4,6 /proc/9677/task/9692/stat : 9692 (java) S 9674 9677 6228 0 -1 4202560 10387 0 0 0 125 2 0 0 20 0 20 0 4370796 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139836962859832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9693] ppid=9674 vsize=9824732 CPUtime=1.15 cores=0,2,4,6 /proc/9677/task/9693/stat : 9693 (java) S 9674 9677 6228 0 -1 4202560 12332 0 0 0 112 3 0 0 20 0 20 0 4370796 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139836961807288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9694] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9694/stat : 9694 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4370796 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139836960754424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9695] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9695/stat : 9695 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4370796 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139836959702088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9699] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9699/stat : 9699 (java) S 9674 9677 6228 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 4370846 10060525568 55670 33554432000 1073741824 1073778376 140737293539120 139835813651368 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 Current children cumulated CPU time (s) 6.06 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=9677/tid=10213] ppid=9674 vsize=9824732 CPUtime=26.79 cores=0,2,4,6 /proc/9677/task/10213/stat : 10213 (java) R 9674 9677 6228 0 -1 4202560 6 0 0 0 2679 0 0 0 20 0 22 0 4444330 10060525568 1086878 33554432000 1073741824 1073778376 140737293539120 139835813642128 139836972245560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=10214] ppid=9674 vsize=9824732 CPUtime=26.8 cores=0,2,4,6 /proc/9677/task/10214/stat : 10214 (java) R 9674 9677 6228 0 -1 4202560 3 0 0 0 2680 0 0 0 20 0 22 0 4444330 10060525568 1086878 33554432000 1073741824 1073778376 140737293539120 139836957592688 139836971906508 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=10215] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/10215/stat : 10215 (java) S 9674 9677 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4444331 10060525568 1086878 33554432000 1073741824 1073778376 140737293539120 139836958647080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1459.08 Current children cumulated vsize (KiB) 9824732 [startup+822.301 s] /proc/loadavg: 4.06 4.12 3.93 4/217 10219 /proc/meminfo: memFree=23809668/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9824732 CPUtime=1578.85 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 49801 0 1 0 157216 669 0 0 20 0 20 0 4370789 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2456183 1086931 2303 9 0 2446860 0 [pid=9677/tid=9679] ppid=9674 vsize=9824732 CPUtime=1.49 cores=0,2,4,6 /proc/9677/task/9679/stat : 9679 (java) S 9674 9677 6228 0 -1 4202560 2483 0 1 0 145 4 0 0 20 0 20 0 4370790 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139837143610232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9680] ppid=9674 vsize=9824732 CPUtime=3.33 cores=0,2,4,6 /proc/9677/task/9680/stat : 9680 (java) S 9674 9677 6228 0 -1 4202560 2824 0 0 0 289 44 0 0 20 0 20 0 4370792 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139837105101224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9681] ppid=9674 vsize=9824732 CPUtime=3.29 cores=0,2,4,6 /proc/9677/task/9681/stat : 9681 (java) S 9674 9677 6228 0 -1 4202560 2062 0 0 0 286 43 0 0 20 0 20 0 4370792 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139837104048680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9682] ppid=9674 vsize=9824732 CPUtime=3.35 cores=0,2,4,6 /proc/9677/task/9682/stat : 9682 (java) S 9674 9677 6228 0 -1 4202560 1633 0 0 0 296 39 0 0 20 0 20 0 4370792 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139837102995624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9683] ppid=9674 vsize=9824732 CPUtime=3.42 cores=0,2,4,6 /proc/9677/task/9683/stat : 9683 (java) S 9674 9677 6228 0 -1 4202560 2493 0 0 0 296 46 0 0 20 0 20 0 4370792 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139837101943080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9684] ppid=9674 vsize=9824732 CPUtime=3.19 cores=0,2,4,6 /proc/9677/task/9684/stat : 9684 (java) S 9674 9677 6228 0 -1 4202560 1618 0 0 0 281 38 0 0 20 0 20 0 4370792 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139837100891048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9685] ppid=9674 vsize=9824732 CPUtime=3.48 cores=0,2,4,6 /proc/9677/task/9685/stat : 9685 (java) S 9674 9677 6228 0 -1 4202560 1808 0 0 0 298 50 0 0 20 0 20 0 4370792 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139837099838504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9686] ppid=9674 vsize=9824732 CPUtime=3.47 cores=0,2,4,6 /proc/9677/task/9686/stat : 9686 (java) S 9674 9677 6228 0 -1 4202560 2553 0 0 0 306 41 0 0 20 0 20 0 4370792 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139837098785448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9687] ppid=9674 vsize=9824732 CPUtime=3.12 cores=0,2,4,6 /proc/9677/task/9687/stat : 9687 (java) S 9674 9677 6228 0 -1 4202560 2780 0 0 0 268 44 0 0 20 0 20 0 4370792 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139837097732904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9688] ppid=9674 vsize=9824732 CPUtime=8.01 cores=0,2,4,6 /proc/9677/task/9688/stat : 9688 (java) S 9674 9677 6228 0 -1 4202560 3158 0 0 0 792 9 0 0 20 0 20 0 4370793 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836967070056 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9689] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9689/stat : 9689 (java) S 9674 9677 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 4370793 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836966016376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9690] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9690/stat : 9690 (java) S 9674 9677 6228 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 20 0 4370793 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836964963208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9691] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9691/stat : 9691 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4370796 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836963911952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9692] ppid=9674 vsize=9824732 CPUtime=1.69 cores=0,2,4,6 /proc/9677/task/9692/stat : 9692 (java) S 9674 9677 6228 0 -1 4202560 10395 0 0 0 167 2 0 0 20 0 20 0 4370796 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836962859832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9693] ppid=9674 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/9677/task/9693/stat : 9693 (java) S 9674 9677 6228 0 -1 4202560 12473 0 0 0 173 3 0 0 20 0 20 0 4370796 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836961807288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9694] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9694/stat : 9694 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4370796 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836960754424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9695] ppid=9674 vsize=9824732 CPUtime=0.22 cores=0,2,4,6 /proc/9677/task/9695/stat : 9695 (java) S 9674 9677 6228 0 -1 4202560 47 0 0 0 11 11 0 0 20 0 20 0 4370796 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836959702088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=10214] ppid=9674 vsize=9824732 CPUtime=86.55 cores=0,2,4,6 /proc/9677/task/10214/stat : 10214 (java) R 9674 9677 6228 0 -1 4202560 5 0 0 0 8654 1 0 0 20 0 20 0 4444330 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836957591776 139836971973340 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=10215] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/10215/stat : 10215 (java) S 9674 9677 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 4444331 10060525568 1086931 33554432000 1073741824 1073778376 140737293539120 139836958647080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1578.85 Current children cumulated vsize (KiB) 9824732 [startup+882.308 s] /proc/loadavg: 3.95 4.09 3.93 5/217 10226 /proc/meminfo: memFree=24324928/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9824732 CPUtime=1686.59 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 49855 0 1 0 167983 676 0 0 20 0 20 0 4370789 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2456183 1086959 2303 9 0 2446860 0 [pid=9677/tid=9679] ppid=9674 vsize=9824732 CPUtime=1.53 cores=0,2,4,6 /proc/9677/task/9679/stat : 9679 (java) S 9674 9677 6228 0 -1 4202560 2484 0 1 0 149 4 0 0 20 0 20 0 4370790 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139837143610232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9680] ppid=9674 vsize=9824732 CPUtime=3.54 cores=0,2,4,6 /proc/9677/task/9680/stat : 9680 (java) S 9674 9677 6228 0 -1 4202560 2829 0 0 0 310 44 0 0 20 0 20 0 4370792 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139837105101224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9681] ppid=9674 vsize=9824732 CPUtime=3.49 cores=0,2,4,6 /proc/9677/task/9681/stat : 9681 (java) S 9674 9677 6228 0 -1 4202560 2062 0 0 0 306 43 0 0 20 0 20 0 4370792 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139837104048680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9682] ppid=9674 vsize=9824732 CPUtime=3.47 cores=0,2,4,6 /proc/9677/task/9682/stat : 9682 (java) S 9674 9677 6228 0 -1 4202560 1634 0 0 0 308 39 0 0 20 0 20 0 4370792 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139837102995624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9683] ppid=9674 vsize=9824732 CPUtime=3.51 cores=0,2,4,6 /proc/9677/task/9683/stat : 9683 (java) S 9674 9677 6228 0 -1 4202560 2493 0 0 0 305 46 0 0 20 0 20 0 4370792 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139837101943080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9684] ppid=9674 vsize=9824732 CPUtime=3.34 cores=0,2,4,6 /proc/9677/task/9684/stat : 9684 (java) S 9674 9677 6228 0 -1 4202560 1623 0 0 0 296 38 0 0 20 0 20 0 4370792 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139837100891048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9685] ppid=9674 vsize=9824732 CPUtime=3.6 cores=0,2,4,6 /proc/9677/task/9685/stat : 9685 (java) S 9674 9677 6228 0 -1 4202560 1819 0 0 0 310 50 0 0 20 0 20 0 4370792 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139837099838504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9686] ppid=9674 vsize=9824732 CPUtime=3.64 cores=0,2,4,6 /proc/9677/task/9686/stat : 9686 (java) S 9674 9677 6228 0 -1 4202560 2556 0 0 0 323 41 0 0 20 0 20 0 4370792 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139837098785448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9687] ppid=9674 vsize=9824732 CPUtime=3.29 cores=0,2,4,6 /proc/9677/task/9687/stat : 9687 (java) S 9674 9677 6228 0 -1 4202560 2782 0 0 0 284 45 0 0 20 0 20 0 4370792 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139837097732904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9688] ppid=9674 vsize=9824732 CPUtime=8.02 cores=0,2,4,6 /proc/9677/task/9688/stat : 9688 (java) S 9674 9677 6228 0 -1 4202560 3159 0 0 0 792 10 0 0 20 0 20 0 4370793 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836967070056 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9689] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9689/stat : 9689 (java) S 9674 9677 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 4370793 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836966016376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9690] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9690/stat : 9690 (java) S 9674 9677 6228 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 20 0 4370793 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836964963208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9691] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9691/stat : 9691 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4370796 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836963911952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9692] ppid=9674 vsize=9824732 CPUtime=1.69 cores=0,2,4,6 /proc/9677/task/9692/stat : 9692 (java) S 9674 9677 6228 0 -1 4202560 10395 0 0 0 167 2 0 0 20 0 20 0 4370796 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836962859832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9693] ppid=9674 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/9677/task/9693/stat : 9693 (java) S 9674 9677 6228 0 -1 4202560 12473 0 0 0 173 3 0 0 20 0 20 0 4370796 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836961807288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9694] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9694/stat : 9694 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 4370796 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836960754424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9695] ppid=9674 vsize=9824732 CPUtime=0.24 cores=0,2,4,6 /proc/9677/task/9695/stat : 9695 (java) S 9674 9677 6228 0 -1 4202560 51 0 0 0 12 12 0 0 20 0 20 0 4370796 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836959702088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=10215] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/10215/stat : 10215 (java) S 9674 9677 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 4444331 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836958647080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=10224] ppid=9674 vsize=9824732 CPUtime=33.57 cores=0,2,4,6 /proc/9677/task/10224/stat : 10224 (java) R 9674 9677 6228 0 -1 4202560 5 0 0 0 3357 0 0 0 20 0 20 0 4455651 10060525568 1086959 33554432000 1073741824 1073778376 140737293539120 139836957593168 139836971906500 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 Current children cumulated CPU time (s) 1686.59 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+941.801 s] /proc/loadavg: 3.90 4.04 3.92 5/220 10236 /proc/meminfo: memFree=24375296/32872528 swapFree=480236/529292 [pid=9677] ppid=9674 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6 /proc/9677/stat : 9677 (java) S 9674 9677 6228 0 -1 4202496 50372 0 1 0 179337 679 0 0 20 0 22 0 4370789 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 140737293530256 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 /proc/9677/statm: 2456183 1087965 2303 9 0 2446860 0 [pid=9677/tid=9679] ppid=9674 vsize=9824732 CPUtime=1.56 cores=0,2,4,6 /proc/9677/task/9679/stat : 9679 (java) S 9674 9677 6228 0 -1 4202560 2486 0 1 0 152 4 0 0 20 0 22 0 4370790 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139837143610232 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9680] ppid=9674 vsize=9824732 CPUtime=3.74 cores=0,2,4,6 /proc/9677/task/9680/stat : 9680 (java) S 9674 9677 6228 0 -1 4202560 2832 0 0 0 330 44 0 0 20 0 22 0 4370792 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139837105101224 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9681] ppid=9674 vsize=9824732 CPUtime=3.69 cores=0,2,4,6 /proc/9677/task/9681/stat : 9681 (java) S 9674 9677 6228 0 -1 4202560 2297 0 0 0 326 43 0 0 20 0 22 0 4370792 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139837104048680 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9682] ppid=9674 vsize=9824732 CPUtime=3.64 cores=0,2,4,6 /proc/9677/task/9682/stat : 9682 (java) S 9674 9677 6228 0 -1 4202560 1845 0 0 0 324 40 0 0 20 0 22 0 4370792 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139837102995624 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9683] ppid=9674 vsize=9824732 CPUtime=3.64 cores=0,2,4,6 /proc/9677/task/9683/stat : 9683 (java) S 9674 9677 6228 0 -1 4202560 2499 0 0 0 318 46 0 0 20 0 22 0 4370792 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139837101943080 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9684] ppid=9674 vsize=9824732 CPUtime=3.53 cores=0,2,4,6 /proc/9677/task/9684/stat : 9684 (java) S 9674 9677 6228 0 -1 4202560 1636 0 0 0 315 38 0 0 20 0 22 0 4370792 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139837100891048 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9685] ppid=9674 vsize=9824732 CPUtime=3.72 cores=0,2,4,6 /proc/9677/task/9685/stat : 9685 (java) S 9674 9677 6228 0 -1 4202560 1835 0 0 0 322 50 0 0 20 0 22 0 4370792 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139837099838504 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9686] ppid=9674 vsize=9824732 CPUtime=3.79 cores=0,2,4,6 /proc/9677/task/9686/stat : 9686 (java) S 9674 9677 6228 0 -1 4202560 2561 0 0 0 338 41 0 0 20 0 22 0 4370792 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139837098785448 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=9687] ppid=9674 vsize=9824732 CPUtime=3.4 cores=0,2,4,6 /proc/9677/task/9687/stat : 9687 (java) S 9674 9677 6228 0 -1 4202560 2786 0 0 0 295 45 0 0 20 0 22 0 4370792 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139837097732904 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9688] ppid=9674 vsize=9824732 CPUtime=8.02 cores=0,2,4,6 /proc/9677/task/9688/stat : 9688 (java) S 9674 9677 6228 0 -1 4202560 3161 0 0 0 792 10 0 0 20 0 22 0 4370793 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836967070056 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9689] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9689/stat : 9689 (java) S 9674 9677 6228 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 4370793 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836966016376 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9690] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9690/stat : 9690 (java) S 9674 9677 6228 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 22 0 4370793 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836964963208 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0 [pid=9677/tid=9691] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9691/stat : 9691 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4370796 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836963911952 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9692] ppid=9674 vsize=9824732 CPUtime=1.69 cores=0,2,4,6 /proc/9677/task/9692/stat : 9692 (java) S 9674 9677 6228 0 -1 4202560 10395 0 0 0 167 2 0 0 20 0 22 0 4370796 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836962859832 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9693] ppid=9674 vsize=9824732 CPUtime=1.76 cores=0,2,4,6 /proc/9677/task/9693/stat : 9693 (java) S 9674 9677 6228 0 -1 4202560 12473 0 0 0 173 3 0 0 20 0 22 0 4370796 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836961807288 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=9694] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/9694/stat : 9694 (java) S 9674 9677 6228 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 4370796 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836960754424 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=9695] ppid=9674 vsize=9824732 CPUtime=0.25 cores=0,2,4,6 /proc/9677/task/9695/stat : 9695 (java) S 9674 9677 6228 0 -1 4202560 55 0 0 0 12 13 0 0 20 0 22 0 4370796 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836959702088 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=10215] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/10215/stat : 10215 (java) S 9674 9677 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4444331 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836958647080 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 [pid=9677/tid=10234] ppid=9674 vsize=9824732 CPUtime=23.72 cores=0,2,4,6 /proc/9677/task/10234/stat : 10234 (java) R 9674 9677 6228 0 -1 4202560 2 0 0 0 2372 0 0 0 20 0 22 0 4462584 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836956533136 139836972579906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 [pid=9677/tid=10235] ppid=9674 vsize=9824732 CPUtime=23.73 cores=0,2,4,6 /proc/9677/task/10235/stat : 10235 (java) R 9674 9677 6228 0 -1 4202560 2 0 0 0 2373 0 0 0 20 0 22 0 4462584 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139835813650256 139836972257975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 [pid=9677/tid=10236] ppid=9674 vsize=9824732 CPUtime=0 cores=0,2,4,6 /proc/9677/task/10236/stat : 10236 (java) S 9674 9677 6228 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 4462584 10060525568 1087965 33554432000 1073741824 1073778376 140737293539120 139836957594920 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 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 9677 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 941.833 CPU time (s): 1800.47 CPU user time (s): 1793.42 CPU system time (s): 7.05093 CPU usage (%): 191.167 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.42 system time used= 7.05093 maximum resident set size= 4351988 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 50420 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1000 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27843 involuntary context switches= 23427 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.9431 second user time and 7.41487 second system time The end
Begin job on node141 at 2016-06-30 04:25:09 IDJOB=4119337 IDBENCH=111705 IDSOLVER=2543 FILE ID=node141/4119337-1467253509 RUNJOBID= node141-1467246696-6244 PBS_JOBID= 20004482 Free space on /tmp= 71704 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-edgecross14-137.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119337-1467253509/watcher-4119337-1467253509 -o /tmp/evaluation-result-4119337-1467253509/solver-4119337-1467253509 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1467246696-6244 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119337-1467253509.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f86c2ef9d0eaec192228da898fb6f5b2 RANDOM SEED=239406351 node141.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.448 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 : 5332.89 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.448 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 : 2666.448 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.448 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.448 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.448 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 : 5339.30 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.448 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.53 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.448 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: 27017832 kB Buffers: 135632 kB Cached: 723196 kB SwapCached: 0 kB Active: 3901092 kB Inactive: 672472 kB Active(anon): 3717032 kB Inactive(anon): 4 kB Active(file): 184060 kB Inactive(file): 672468 kB Unevictable: 529292 kB Mlocked: 480236 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 888 kB Writeback: 0 kB AnonPages: 4249476 kB Mapped: 22160 kB Shmem: 204 kB Slab: 609300 kB SReclaimable: 53096 kB SUnreclaim: 556204 kB KernelStack: 1616 kB PageTables: 11920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4787484 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3694592 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= 71700 MiB End job on node141 at 2016-06-30 04:40:51