Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Sat4j PB 2.3.6 Res+CP PB16 | OPTIMUM | 38.7691 | 60.0191 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo |
| MD5SUM | e43f58a024ab39f0c7f396fa22784bca |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 5.98609 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 169 |
| Total number of constraints | 101 |
| Number of soft constraints | 101 |
| Number of constraints which are clauses | 30 |
| Number of constraints which are cardinality constraints (but not clauses) | 70 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 169 |
| Top cost | 5034 |
| Min constraint cost | 1 |
| Max constraint cost | 98 |
| Sum of constraints costs | 5033 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1231 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.07 c See www.sat4j.org for details. 0.00/0.08 c version PB16.v20160501 0.00/0.08 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.08 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.08 c java.vm.version 19.1-b02 0.00/0.08 c java.vm.vendor Sun Microsystems Inc. 0.00/0.08 c sun.arch.data.model 64 0.00/0.08 c java.version 1.6.0_24 0.00/0.08 c os.name Linux 0.00/0.08 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.08 c os.arch amd64 0.00/0.08 c Free memory 501472288 0.00/0.08 c Max memory 7480803328 0.00/0.08 c Total memory 504102912 0.00/0.08 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization by upper bound 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Glucose 2.1 dynamic restart strategy 0.11/0.11 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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 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.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c solving HOME/instance-4092298-1467321812.wbo 0.11/0.11 c reading problem ... 0.11/0.17 c ... done. Wall clock time 0.066s. 0.11/0.17 c declared #vars 169 0.11/0.17 c internal #vars 270 0.11/0.17 c #constraints 101 0.11/0.17 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.11/0.17 c constraints type 0.11/0.18 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30 0.11/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71 0.11/0.18 c 101 constraints processed. 0.11/0.18 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.11/0.18 c constraints type 0.11/0.18 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 30 0.11/0.18 c org.sat4j.pb.constraints.pb.MaxWatchPb => 71 0.11/0.18 c 101 constraints processed. 0.11/0.18 c objective function length is 101 literals 0.28/0.25 c And the winner is solver0 0.75/0.68 c SATISFIABLE 0.75/0.68 c OPTIMIZING... 0.75/0.68 c Got one! Elapsed wall clock time (in seconds):0.57 0.75/0.68 o 997 1.22/0.80 c And the winner is solver0 1.47/1.18 c Got one! Elapsed wall clock time (in seconds):1.072 1.47/1.18 o 968 1.47/1.19 c And the winner is solver0 1.57/1.68 c Got one! Elapsed wall clock time (in seconds):1.574 1.57/1.68 o 967 1.57/1.69 c And the winner is solver0 1.57/2.18 c Got one! Elapsed wall clock time (in seconds):2.075 1.57/2.18 o 481 1.62/2.24 c And the winner is solver0 1.74/2.68 c Got one! Elapsed wall clock time (in seconds):2.577 1.74/2.68 o 462 1.78/2.71 c And the winner is solver0 1.90/3.18 c Got one! Elapsed wall clock time (in seconds):3.078 1.90/3.18 o 458 1.90/3.19 c And the winner is solver0 1.90/3.69 c Got one! Elapsed wall clock time (in seconds):3.58 1.90/3.69 o 445 1.92/3.70 c And the winner is solver0 1.92/4.19 c Got one! Elapsed wall clock time (in seconds):4.081 1.92/4.19 o 443 1.92/4.19 c And the winner is solver0 1.93/4.69 c Got one! Elapsed wall clock time (in seconds):4.582 1.93/4.69 o 435 1.95/4.70 c And the winner is solver0 1.97/5.19 c Got one! Elapsed wall clock time (in seconds):5.084 1.97/5.19 o 434 1.97/5.19 c And the winner is solver0 1.97/5.69 c Got one! Elapsed wall clock time (in seconds):5.585 1.97/5.69 o 432 1.98/5.75 c And the winner is solver0 2.15/6.19 c Got one! Elapsed wall clock time (in seconds):6.086 2.15/6.19 o 430 2.15/6.21 c And the winner is solver0 2.19/6.69 c Got one! Elapsed wall clock time (in seconds):6.587 2.19/6.69 o 429 2.19/6.70 c And the winner is solver0 2.19/7.19 c Got one! Elapsed wall clock time (in seconds):7.089 2.19/7.19 o 408 2.19/7.20 c And the winner is solver0 2.20/7.70 c Got one! Elapsed wall clock time (in seconds):7.59 2.20/7.70 o 378 2.21/7.71 c And the winner is solver0 2.37/8.20 c Got one! Elapsed wall clock time (in seconds):8.091 2.37/8.20 o 373 2.37/8.20 c And the winner is solver0 2.38/8.70 c Got one! Elapsed wall clock time (in seconds):8.592 2.38/8.70 o 330 2.63/8.84 c cleaning 3888 clauses out of 7787 with flag 7590/7787 2.63/8.88 c And the winner is solver0 3.07/9.20 c Got one! Elapsed wall clock time (in seconds):9.094 3.07/9.20 o 315 3.07/9.23 c And the winner is solver0 3.16/9.70 c Got one! Elapsed wall clock time (in seconds):9.595 3.16/9.70 o 314 3.60/9.91 c And the winner is solver0 3.65/10.20 c Got one! Elapsed wall clock time (in seconds):10.096 3.65/10.20 o 313 3.65/10.28 c cleaning 5383 clauses out of 10768 with flag 3305/14656 4.06/10.42 c And the winner is solver0 4.12/10.70 c Got one! Elapsed wall clock time (in seconds):10.597 4.12/10.70 o 312 4.31/10.81 c cleaning 5357 clauses out of 10718 with flag 7479/19989 4.55/10.97 c And the winner is solver0 4.74/11.20 c Got one! Elapsed wall clock time (in seconds):11.099 4.74/11.20 o 311 4.93/11.31 c cleaning 5217 clauses out of 10456 with flag 7400/25084 5.34/11.58 c And the winner is solver0 5.54/11.71 c Got one! Elapsed wall clock time (in seconds):11.6 5.54/11.71 o 307 5.92/11.92 c And the winner is solver0 6.04/12.21 c Got one! Elapsed wall clock time (in seconds):12.101 6.04/12.21 o 302 6.04/12.27 c And the winner is solver0 6.20/12.71 c Got one! Elapsed wall clock time (in seconds):12.602 6.20/12.71 o 296 6.20/12.78 c cleaning 8360 clauses out of 16736 with flag 3934/36581 6.20/12.80 c And the winner is solver0 6.41/13.21 c Got one! Elapsed wall clock time (in seconds):13.103 6.41/13.21 o 295 6.41/13.24 c And the winner is solver0 6.49/13.71 c Got one! Elapsed wall clock time (in seconds):13.604 6.49/13.71 o 292 6.65/13.82 c And the winner is solver0 6.72/14.21 c Got one! Elapsed wall clock time (in seconds):14.105 6.72/14.21 o 291 6.72/14.28 c And the winner is solver0 6.91/14.71 c Got one! Elapsed wall clock time (in seconds):14.607 6.91/14.71 o 290 7.16/14.81 c And the winner is solver0 7.23/15.21 c Got one! Elapsed wall clock time (in seconds):15.108 7.23/15.21 o 289 7.23/15.29 c cleaning 7636 clauses out of 15279 with flag 3999/43484 7.59/15.42 c And the winner is solver0 7.65/15.72 c Got one! Elapsed wall clock time (in seconds):15.609 7.65/15.72 o 287 8.02/15.91 c cleaning 6742 clauses out of 13496 with flag 13456/49337 8.02/15.92 c And the winner is solver0 8.09/16.22 c Got one! Elapsed wall clock time (in seconds):16.11 8.09/16.22 o 286 8.09/16.23 c And the winner is solver0 8.14/16.72 c Got one! Elapsed wall clock time (in seconds):16.611 8.14/16.72 o 283 8.14/16.76 c And the winner is solver0 8.25/17.22 c Got one! Elapsed wall clock time (in seconds):17.112 8.25/17.22 o 282 8.25/17.28 c And the winner is solver0 8.38/17.72 c Got one! Elapsed wall clock time (in seconds):17.613 8.38/17.72 o 276 8.38/17.79 c And the winner is solver0 8.52/18.22 c Got one! Elapsed wall clock time (in seconds):18.115 8.52/18.22 o 274 8.93/18.41 c cleaning 6822 clauses out of 13647 with flag 13097/56230 8.93/18.47 c And the winner is solver0 9.09/18.72 c Got one! Elapsed wall clock time (in seconds):18.616 9.09/18.72 o 271 9.25/18.81 c And the winner is solver0 9.34/19.22 c Got one! Elapsed wall clock time (in seconds):19.117 9.34/19.22 o 268 9.50/19.36 c And the winner is solver0 9.65/19.72 c Got one! Elapsed wall clock time (in seconds):19.618 9.65/19.72 o 264 9.65/19.80 c cleaning 6797 clauses out of 13600 with flag 3748/63005 9.81/19.88 c And the winner is solver0 9.99/20.22 c Got one! Elapsed wall clock time (in seconds):20.119 9.99/20.22 o 257 9.99/20.25 c And the winner is solver0 10.06/20.73 c Got one! Elapsed wall clock time (in seconds):20.619 10.06/20.73 o 251 10.41/20.95 c cleaning 6531 clauses out of 13065 with flag 19108/69267 10.41/20.96 c And the winner is solver0 10.65/21.23 c Got one! Elapsed wall clock time (in seconds):21.122 10.65/21.23 o 249 10.78/21.30 c And the winner is solver0 10.82/21.73 c Got one! Elapsed wall clock time (in seconds):21.623 10.82/21.73 o 247 10.95/21.84 c And the winner is solver0 11.05/22.23 c Got one! Elapsed wall clock time (in seconds):22.124 11.05/22.23 o 245 11.05/22.28 c And the winner is solver0 11.16/22.73 c Got one! Elapsed wall clock time (in seconds):22.625 11.16/22.73 o 244 11.29/22.83 c And the winner is solver0 11.38/23.23 c Got one! Elapsed wall clock time (in seconds):23.126 11.38/23.23 o 243 11.50/23.30 c cleaning 7135 clauses out of 14301 with flag 3753/77034 11.90/23.52 c And the winner is solver0 11.99/23.73 c Got one! Elapsed wall clock time (in seconds):23.627 11.99/23.73 o 242 12.10/23.80 c cleaning 6409 clauses out of 12847 with flag 4837/82715 12.71/24.10 c cleaning 6219 clauses out of 12442 with flag 33531/88719 12.71/24.12 c And the winner is solver0 12.83/24.23 c Got one! Elapsed wall clock time (in seconds):24.128 12.83/24.23 o 241 13.16/24.40 c And the winner is solver0 13.18/24.74 c Got one! Elapsed wall clock time (in seconds):24.629 13.18/24.74 o 240 13.18/24.79 c And the winner is solver0 13.33/25.24 c Got one! Elapsed wall clock time (in seconds):25.13 13.33/25.24 o 234 13.33/25.30 c cleaning 6071 clauses out of 12155 with flag 5329/94651 13.46/25.36 c And the winner is solver0 13.61/25.74 c Got one! Elapsed wall clock time (in seconds):25.631 13.61/25.74 o 230 13.73/25.84 c And the winner is solver0 13.90/26.24 c Got one! Elapsed wall clock time (in seconds):26.132 13.90/26.24 o 219 14.02/26.30 c And the winner is solver0 14.05/26.74 c Got one! Elapsed wall clock time (in seconds):26.633 14.05/26.74 o 218 14.05/26.77 c And the winner is solver0 14.14/27.24 c Got one! Elapsed wall clock time (in seconds):27.134 14.14/27.24 o 211 14.14/27.28 c And the winner is solver0 14.24/27.74 c Got one! Elapsed wall clock time (in seconds):27.635 14.24/27.74 o 209 14.24/27.77 c And the winner is solver0 14.31/28.24 c Got one! Elapsed wall clock time (in seconds):28.136 14.31/28.24 o 208 14.31/28.29 c And the winner is solver0 14.49/28.74 c Got one! Elapsed wall clock time (in seconds):28.637 14.49/28.74 o 207 14.60/28.81 c cleaning 7118 clauses out of 14239 with flag 4053/102806 14.60/28.89 c And the winner is solver0 14.82/29.24 c Got one! Elapsed wall clock time (in seconds):29.138 14.82/29.24 o 206 14.82/29.27 c And the winner is solver0 14.89/29.75 c Got one! Elapsed wall clock time (in seconds):29.639 14.89/29.75 o 204 14.89/29.80 c And the winner is solver0 15.08/30.25 c Got one! Elapsed wall clock time (in seconds):30.141 15.08/30.25 o 200 15.19/30.37 c cleaning 6419 clauses out of 12865 with flag 8818/108550 15.19/30.38 c And the winner is solver0 15.40/30.75 c Got one! Elapsed wall clock time (in seconds):30.641 15.40/30.75 o 198 15.40/30.78 c And the winner is solver0 15.49/31.25 c Got one! Elapsed wall clock time (in seconds):31.142 15.49/31.25 o 197 15.49/31.29 c And the winner is solver0 15.66/31.75 c Got one! Elapsed wall clock time (in seconds):31.643 15.66/31.75 o 196 15.75/31.84 c And the winner is solver0 15.87/32.25 c Got one! Elapsed wall clock time (in seconds):32.144 15.87/32.25 o 194 15.96/32.31 c And the winner is solver0 16.05/32.75 c Got one! Elapsed wall clock time (in seconds):32.645 16.05/32.75 o 191 16.34/32.91 c And the winner is solver0 16.42/33.25 c Got one! Elapsed wall clock time (in seconds):33.146 16.42/33.25 o 190 16.51/33.32 c cleaning 7841 clauses out of 15686 with flag 3800/117790 16.51/33.32 c And the winner is solver0 16.61/33.75 c Got one! Elapsed wall clock time (in seconds):33.646 16.61/33.75 o 189 16.69/33.81 c And the winner is solver0 16.78/34.25 c Got one! Elapsed wall clock time (in seconds):34.147 16.78/34.25 o 184 17.06/34.42 c And the winner is solver0 17.15/34.75 c Got one! Elapsed wall clock time (in seconds):34.648 17.15/34.75 o 183 17.23/34.82 c cleaning 6746 clauses out of 13495 with flag 4181/123440 17.23/34.90 c And the winner is solver0 17.47/35.26 c Got one! Elapsed wall clock time (in seconds):35.149 17.47/35.26 o 173 17.57/35.35 c And the winner is solver0 17.68/35.76 c Got one! Elapsed wall clock time (in seconds):35.65 17.68/35.76 o 165 17.76/35.83 c And the winner is solver0 17.87/36.26 c Got one! Elapsed wall clock time (in seconds):36.151 17.87/36.26 o 160 17.96/36.32 c And the winner is solver0 18.05/36.76 c Got one! Elapsed wall clock time (in seconds):36.652 18.05/36.76 o 159 18.13/36.83 c cleaning 7045 clauses out of 14104 with flag 4462/130795 18.53/37.07 c And the winner is solver0 18.69/37.26 c Got one! Elapsed wall clock time (in seconds):37.153 18.69/37.26 o 157 18.76/37.32 c And the winner is solver0 18.83/37.76 c Got one! Elapsed wall clock time (in seconds):37.654 18.83/37.76 o 151 18.83/37.78 c And the winner is solver0 18.89/38.26 c Got one! Elapsed wall clock time (in seconds):38.154 18.89/38.26 o 146 18.89/38.29 c And the winner is solver0 18.98/38.76 c Got one! Elapsed wall clock time (in seconds):38.655 18.98/38.76 o 142 19.05/38.82 c And the winner is solver0 19.12/39.26 c Got one! Elapsed wall clock time (in seconds):39.156 19.12/39.26 o 135 19.20/39.32 c And the winner is solver0 19.28/39.76 c Got one! Elapsed wall clock time (in seconds):39.657 19.28/39.76 o 131 19.28/39.80 c And the winner is solver0 19.36/40.26 c Got one! Elapsed wall clock time (in seconds):40.158 19.36/40.26 o 129 19.43/40.35 c And the winner is solver0 19.57/40.77 c Got one! Elapsed wall clock time (in seconds):40.659 19.57/40.77 o 116 19.57/40.80 c And the winner is solver0 19.66/41.27 c Got one! Elapsed wall clock time (in seconds):41.16 19.66/41.27 o 114 19.72/41.34 c And the winner is solver0 19.83/41.77 c Got one! Elapsed wall clock time (in seconds):41.661 19.83/41.77 o 113 19.90/41.83 c And the winner is solver0 19.98/42.27 c Got one! Elapsed wall clock time (in seconds):42.161 19.98/42.27 o 112 19.98/42.28 c And the winner is solver0 20.00/42.77 c Got one! Elapsed wall clock time (in seconds):42.662 20.00/42.77 o 111 20.28/42.92 c And the winner is solver0 20.35/43.27 c Got one! Elapsed wall clock time (in seconds):43.163 20.35/43.27 o 95 20.41/43.35 c And the winner is solver0 20.54/43.77 c Got one! Elapsed wall clock time (in seconds):43.664 20.54/43.77 o 89 20.54/43.79 c And the winner is solver0 20.61/44.27 c Got one! Elapsed wall clock time (in seconds):44.166 20.61/44.27 o 88 20.66/44.32 c And the winner is solver0 20.75/44.77 c Got one! Elapsed wall clock time (in seconds):44.668 20.75/44.77 o 73 20.80/44.88 c And the winner is solver0 21.02/45.28 c Got one! Elapsed wall clock time (in seconds):45.17 21.02/45.28 o 72 21.06/45.31 c And the winner is solver0 21.14/45.78 c Got one! Elapsed wall clock time (in seconds):45.675 21.14/45.78 o 71 21.42/45.93 c cleaning 13613 clauses out of 27232 with flag 3484/150968 21.42/45.95 c And the winner is solver0 21.86/46.29 c Got one! Elapsed wall clock time (in seconds):46.18 21.86/46.29 o 69 22.35/46.53 c And the winner is solver0 22.45/46.79 c Got one! Elapsed wall clock time (in seconds):46.686 22.45/46.79 o 68 22.46/46.87 c cleaning 9991 clauses out of 19986 with flag 3877/157335 23.06/47.15 c cleaning 7994 clauses out of 15996 with flag 24886/163336 23.67/47.42 c And the winner is solver0 23.77/47.80 c Got one! Elapsed wall clock time (in seconds):47.691 23.77/47.80 o 67 23.77/47.81 c And the winner is solver0 23.81/48.30 c Got one! Elapsed wall clock time (in seconds):48.197 23.81/48.30 o 65 23.81/48.36 c And the winner is solver0 23.96/48.81 c Got one! Elapsed wall clock time (in seconds):48.702 23.96/48.81 o 44 24.34/49.04 c cleaning 9680 clauses out of 19363 with flag 12803/174697 24.54/49.19 c And the winner is solver0 24.78/49.31 c Got one! Elapsed wall clock time (in seconds):49.208 24.78/49.31 o 42 24.93/49.42 c cleaning 7599 clauses out of 15217 with flag 6465/180231 24.93/49.45 c And the winner is solver0 25.06/49.82 c Got one! Elapsed wall clock time (in seconds):49.716 25.06/49.82 o 39 25.44/50.05 c cleaning 6689 clauses out of 13391 with flag 16007/186004 25.65/50.10 c And the winner is solver0 25.73/50.33 c Got one! Elapsed wall clock time (in seconds):50.224 25.73/50.33 o 36 26.05/50.51 c cleaning 6114 clauses out of 12239 with flag 13748/191541 26.05/50.58 c And the winner is solver0 26.26/50.84 c Got one! Elapsed wall clock time (in seconds):50.733 26.26/50.84 o 34 26.38/50.98 c cleaning 5601 clauses out of 11205 with flag 10741/196621 26.99/51.24 c cleaning 5797 clauses out of 11604 with flag 32229/202621 27.18/51.40 c And the winner is solver0 27.40/51.85 c Got one! Elapsed wall clock time (in seconds):51.741 27.40/51.85 o 23 27.49/51.93 c cleaning 5897 clauses out of 11804 with flag 6245/208618 27.89/52.15 c cleaning 5949 clauses out of 11907 with flag 25929/214618 28.48/52.43 c cleaning 6470 clauses out of 12958 with flag 51109/221618 28.68/52.53 c And the winner is solver0 28.80/52.86 c Got one! Elapsed wall clock time (in seconds):52.75 28.80/52.86 o 13 28.88/52.96 c cleaning 5769 clauses out of 11543 with flag 8443/226673 29.27/53.19 c cleaning 5879 clauses out of 11772 with flag 33547/232671 29.88/53.49 c cleaning 6448 clauses out of 12896 with flag 62888/239674 30.08/53.52 c And the winner is solver0 30.15/53.87 c Got one! Elapsed wall clock time (in seconds):53.76 30.15/53.87 o 12 30.42/54.07 c cleaning 6017 clauses out of 12034 with flag 19493/245260 30.61/54.16 c And the winner is solver0 30.78/54.38 c Got one! Elapsed wall clock time (in seconds):54.271 30.78/54.38 o 11 31.00/54.51 c cleaning 5834 clauses out of 11679 with flag 12032/250922 31.00/54.52 c And the winner is solver0 31.10/54.89 c Got one! Elapsed wall clock time (in seconds):54.782 31.10/54.89 o 10 31.32/55.08 c cleaning 5480 clauses out of 10968 with flag 20239/256045 31.91/55.33 c cleaning 5740 clauses out of 11489 with flag 46075/262046 32.51/55.61 c cleaning 6372 clauses out of 12747 with flag 75022/269044 32.51/55.61 c And the winner is solver0 32.61/55.90 c Got one! Elapsed wall clock time (in seconds):55.793 32.61/55.90 o 9 32.80/56.10 c cleaning 5682 clauses out of 11376 with flag 20248/274045 33.21/56.28 c And the winner is solver0 33.42/56.41 c Got one! Elapsed wall clock time (in seconds):56.305 33.42/56.41 o 8 33.42/56.47 c cleaning 5792 clauses out of 11593 with flag 3998/279944 33.78/56.65 c And the winner is solver0 33.94/56.92 c Got one! Elapsed wall clock time (in seconds):56.816 33.94/56.92 o 7 33.94/56.98 c cleaning 5851 clauses out of 11711 with flag 3912/285854 34.49/57.22 c cleaning 5920 clauses out of 11859 with flag 28551/291854 35.08/57.53 c cleaning 6464 clauses out of 12938 with flag 60089/298854 35.28/57.67 c And the winner is solver0 35.48/57.94 c Got one! Elapsed wall clock time (in seconds):57.828 35.48/57.94 o 5 35.60/58.03 c cleaning 5956 clauses out of 11920 with flag 9176/304302 36.00/58.27 c cleaning 5977 clauses out of 11963 with flag 36052/310301 36.60/58.55 c cleaning 6490 clauses out of 12982 with flag 68005/317298 37.00/58.78 c And the winner is solver0 37.19/58.95 c Got one! Elapsed wall clock time (in seconds):58.84 37.19/58.95 o 3 37.48/59.15 c And the winner is solver0 37.61/59.46 c Got one! Elapsed wall clock time (in seconds):59.352 37.61/59.46 o 1 37.87/59.60 c cleaning 9173 clauses out of 18346 with flag 9617/329158 38.27/59.88 c cleaning 7581 clauses out of 15172 with flag 39318/335158 38.47/59.97 c And the winner is solver0 38.65/60.01 c >>>>>>>>>> Solver number 0 (112 answers) <<<<<<<<<<<<<<<<<< 38.65/60.01 c starts : 419 38.65/60.01 c conflicts : 337172 38.65/60.01 c decisions : 612435 38.65/60.01 c propagations : 11238336 38.65/60.01 c inspects : 145970067 38.65/60.01 c shortcuts : 0 38.65/60.01 c learnt literals : 23 38.65/60.01 c learnt binary clauses : 49 38.65/60.01 c learnt ternary clauses : 495 38.65/60.01 c learnt constraints : 337148 38.65/60.01 c ignored constraints : 0 38.65/60.01 c root simplifications : 0 38.65/60.01 c removed literals (reason simplification) : 330585 38.65/60.01 c reason swapping (by a shorter reason) : 0 38.65/60.01 c Calls to reduceDB : 49 38.65/60.01 c Number of update (reduction) of LBD : 117485 38.65/60.01 c Imported unit clauses : 0 38.65/60.01 c number of reductions to clauses (during analyze) : 0 38.65/60.01 c number of learned constraints concerned by reduction : 0 38.65/60.01 c number of learning phase by resolution : 0 38.65/60.01 c number of learning phase by cutting planes : 0 38.65/60.01 c speed (assignments/second) : 187837.80712017382 38.65/60.01 c non guided choices 4837 38.65/60.01 c learnt constraints type 38.65/60.01 c >>>>>>>>>> Solver number 1 (0 answers) <<<<<<<<<<<<<<<<<< 38.65/60.01 c starts : 112 38.65/60.01 c conflicts : 756 38.65/60.01 c decisions : 14993 38.65/60.01 c propagations : 48252 38.65/60.01 c inspects : 4548693 38.65/60.01 c shortcuts : 0 38.65/60.01 c learnt literals : 0 38.65/60.01 c learnt binary clauses : 0 38.65/60.01 c learnt ternary clauses : 0 38.65/60.01 c learnt constraints : 669 38.65/60.01 c ignored constraints : 0 38.65/60.01 c root simplifications : 0 38.65/60.01 c removed literals (reason simplification) : 0 38.65/60.01 c reason swapping (by a shorter reason) : 0 38.65/60.01 c Calls to reduceDB : 0 38.65/60.01 c Number of update (reduction) of LBD : 0 38.65/60.01 c Imported unit clauses : 0 38.65/60.01 c number of reductions to clauses (during analyze) : 0 38.65/60.01 c number of learned constraints concerned by reduction : 0 38.65/60.01 c number of learning phase by resolution : 0 38.65/60.01 c number of learning phase by cutting planes : 0 38.65/60.01 c speed (assignments/second) : 93330.75435203094 38.65/60.01 c non guided choices 1624 38.65/60.01 c learnt constraints type 38.65/60.01 s OPTIMUM FOUND 38.65/60.01 c Found 111 solution(s) 38.65/60.01 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 38.65/60.01 c objective function=1 38.65/60.01 c Total wall clock time (in seconds): 59.905
OK 1
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-4092298-1467321812/watcher-4092298-1467321812 -o /tmp/evaluation-result-4092298-1467321812/solver-4092298-1467321812 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467318739-25000 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092298-1467321812.wbo pid=32145 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.16 1.20 1.22 2/169 32148 /proc/meminfo: memFree=28996600/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 13132369 98570240 976 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 24065 976 743 9 0 16771 0 [pid=32148/tid=32149] ppid=32145 vsize=96260 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) R 32145 32148 22681 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 13132370 98570240 976 33554432000 1073741824 1073778376 140733197283056 140506708327976 239873115520 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0 [startup+0.100101 s] /proc/loadavg: 1.16 1.20 1.22 2/169 32148 /proc/meminfo: memFree=28996600/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9558476 CPUtime=0.11 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 4556 0 1 0 10 1 0 0 20 0 18 0 13132369 9787879424 5674 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2389619 5674 2156 9 0 2380296 0 [pid=32148/tid=32149] ppid=32145 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) R 32145 32148 22681 0 -1 4202560 2439 0 1 0 6 1 0 0 20 0 18 0 13132370 9787879424 5674 33554432000 1073741824 1073778376 140733197283056 140506708331424 140506711125709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 9558476 [startup+0.200294 s] /proc/loadavg: 1.16 1.20 1.22 2/169 32148 /proc/meminfo: memFree=28996600/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 4917 0 1 0 27 1 0 0 20 0 22 0 13132369 10060525568 7490 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2456183 7490 2222 9 0 2446860 0 [pid=32148/tid=32149] ppid=32145 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) S 32145 32148 22681 0 -1 4202560 2469 0 1 0 14 2 0 0 20 0 22 0 13132370 10060525568 7490 33554432000 1073741824 1073778376 140733197283056 140506708333432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 9824732 [startup+0.300332 s] /proc/loadavg: 1.16 1.20 1.22 2/169 32148 /proc/meminfo: memFree=28996600/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9824732 CPUtime=0.59 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 7414 0 1 0 55 4 0 0 20 0 19 0 13132369 10060525568 8784 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2456183 8784 2249 9 0 2446860 0 [pid=32148/tid=32149] ppid=32145 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) S 32145 32148 22681 0 -1 4202560 2469 0 1 0 14 2 0 0 20 0 19 0 13132370 10060525568 8784 33554432000 1073741824 1073778376 140733197283056 140506708333432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.59 Current children cumulated vsize (KiB) 9824732 [startup+0.700179 s] /proc/loadavg: 1.16 1.20 1.22 2/169 32148 /proc/meminfo: memFree=28996600/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 11788 0 1 0 77 5 0 0 20 0 22 0 13132369 10060525568 12591 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2456183 12591 2249 9 0 2446860 0 [pid=32148/tid=32149] ppid=32145 vsize=9824732 CPUtime=0.16 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) S 32145 32148 22681 0 -1 4202560 2469 0 1 0 14 2 0 0 20 0 22 0 13132370 10060525568 12591 33554432000 1073741824 1073778376 140733197283056 140506708333432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 0.82 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 1.16 1.20 1.22 1/188 32173 /proc/meminfo: memFree=28946484/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9824732 CPUtime=1.57 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 12752 0 1 0 150 7 0 0 20 0 19 0 13132369 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2456183 16168 2260 9 0 2446860 0 [pid=32148/tid=32149] ppid=32145 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) S 32145 32148 22681 0 -1 4202560 2470 0 1 0 15 2 0 0 20 0 19 0 13132370 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506708333432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32151] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32151/stat : 32151 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506551896616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32152] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32152/stat : 32152 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506550843816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32153] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32153/stat : 32153 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506549791016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32154] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32154/stat : 32154 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506548738216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32155] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32155/stat : 32155 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506547686440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32156] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32156/stat : 32156 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506546633640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32157] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32157/stat : 32157 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506545580840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32158] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32158/stat : 32158 (java) S 32145 32148 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506544528040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32159] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32159/stat : 32159 (java) S 32145 32148 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13132371 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506532329960 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32160] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32160/stat : 32160 (java) S 32145 32148 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506531276024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32161] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32161/stat : 32161 (java) S 32145 32148 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506530223112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32162] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32162/stat : 32162 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506529171600 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32163] ppid=32145 vsize=9824732 CPUtime=0.6 cores=1,3,5,7 /proc/32148/task/32163/stat : 32163 (java) S 32145 32148 22681 0 -1 4202560 5930 0 0 0 60 0 0 0 20 0 19 0 13132374 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506528119736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32164] ppid=32145 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/32148/task/32164/stat : 32164 (java) S 32145 32148 22681 0 -1 4202560 3008 0 0 0 36 0 0 0 20 0 19 0 13132374 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506527066936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32165] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32165/stat : 32165 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506526014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32166] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32166/stat : 32166 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506524961736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32170] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32170/stat : 32170 (java) S 32145 32148 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13132388 10060525568 16168 33554432000 1073741824 1073778376 140733197283056 140506520748840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.57 Current children cumulated vsize (KiB) 9824732 [startup+3.10082 s] /proc/loadavg: 1.16 1.20 1.22 3/191 32182 /proc/meminfo: memFree=28931520/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 12803 0 1 0 179 11 0 0 20 0 19 0 13132369 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2456183 22331 2264 9 0 2446860 0 [pid=32148/tid=32149] ppid=32145 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) S 32145 32148 22681 0 -1 4202560 2471 0 1 0 15 2 0 0 20 0 19 0 13132370 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506708333432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32151] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32151/stat : 32151 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506551896616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32152] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32152/stat : 32152 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506550843816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32153] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32153/stat : 32153 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506549791016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32154] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32154/stat : 32154 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506548738216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32155] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32155/stat : 32155 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506547686440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32156] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32156/stat : 32156 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506546633640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32157] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32157/stat : 32157 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506545580840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32158] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32158/stat : 32158 (java) S 32145 32148 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506544528040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32159] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32159/stat : 32159 (java) S 32145 32148 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 13132371 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506532329960 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32160] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32160/stat : 32160 (java) S 32145 32148 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506531276024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32161] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32161/stat : 32161 (java) S 32145 32148 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506530223112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32162] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32162/stat : 32162 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506529171600 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32163] ppid=32145 vsize=9824732 CPUtime=0.71 cores=1,3,5,7 /proc/32148/task/32163/stat : 32163 (java) S 32145 32148 22681 0 -1 4202560 5946 0 0 0 71 0 0 0 20 0 19 0 13132374 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506528119736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32164] ppid=32145 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/32148/task/32164/stat : 32164 (java) S 32145 32148 22681 0 -1 4202560 3010 0 0 0 39 0 0 0 20 0 19 0 13132374 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506527066936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32165] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32165/stat : 32165 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506526014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32166] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32166/stat : 32166 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506524961736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32170] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32170/stat : 32170 (java) S 32145 32148 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13132388 10060525568 22331 33554432000 1073741824 1073778376 140733197283056 140506520748840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 1.9 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=34 pid=1810 uid=0 cmd= [startup+6.30081 s] /proc/loadavg: 1.07 1.18 1.22 2/188 32200 /proc/meminfo: memFree=28887500/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9824732 CPUtime=2.19 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 12921 0 1 0 202 17 0 0 20 0 19 0 13132369 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2456183 34135 2268 9 0 2446860 0 [pid=32148/tid=32149] ppid=32145 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) S 32145 32148 22681 0 -1 4202560 2473 0 1 0 16 2 0 0 20 0 19 0 13132370 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506708333432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32151] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32151/stat : 32151 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506551896616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32152] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32152/stat : 32152 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506550843816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32153] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32153/stat : 32153 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506549791016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32154] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32154/stat : 32154 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506548738216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32155] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32155/stat : 32155 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506547686440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32156] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32156/stat : 32156 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506546633640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32157] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32157/stat : 32157 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506545580840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32158] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32158/stat : 32158 (java) S 32145 32148 22681 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 13132370 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506544528040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32159] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32159/stat : 32159 (java) S 32145 32148 22681 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 13132371 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506532329960 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32160] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32160/stat : 32160 (java) S 32145 32148 22681 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506531276024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32161] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32161/stat : 32161 (java) S 32145 32148 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506530223112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32162] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32162/stat : 32162 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 34135 33554432000 1073741824 1073778376 140733197283056 140506529171600 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32163] ppid=32145 vsize=9824732 CPUtime=0.76 cores=1,3,5,7 ################ # More data... # ################ [pid=32148/tid=32156] ppid=32145 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/32148/task/32156/stat : 32156 (java) S 32145 32148 22681 0 -1 4202560 32 0 0 0 8 2 0 0 20 0 22 0 13132370 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506546633640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32157] ppid=32145 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/32148/task/32157/stat : 32157 (java) S 32145 32148 22681 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 22 0 13132370 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506545580840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32158] ppid=32145 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/32148/task/32158/stat : 32158 (java) S 32145 32148 22681 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 22 0 13132370 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506544528040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32159] ppid=32145 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/32148/task/32159/stat : 32159 (java) S 32145 32148 22681 0 -1 4202560 82 0 0 0 1 10 0 0 20 0 22 0 13132371 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506532329960 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32160] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32160/stat : 32160 (java) S 32145 32148 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13132372 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506531276024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32161] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32161/stat : 32161 (java) S 32145 32148 22681 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 22 0 13132372 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506530223112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32162] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32162/stat : 32162 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13132374 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506529171600 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32163] ppid=32145 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/32148/task/32163/stat : 32163 (java) S 32145 32148 22681 0 -1 4202560 15553 0 0 0 161 3 0 0 20 0 22 0 13132374 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506528119736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32164] ppid=32145 vsize=9824732 CPUtime=1.01 cores=1,3,5,7 /proc/32148/task/32164/stat : 32164 (java) S 32145 32148 22681 0 -1 4202560 6762 0 0 0 100 1 0 0 20 0 22 0 13132374 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506527066936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32165] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32165/stat : 32165 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13132374 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506526014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32166] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32166/stat : 32166 (java) S 32145 32148 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13132374 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506524961736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32170] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32170/stat : 32170 (java) S 32145 32148 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13132388 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506520748840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32492] ppid=32145 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/32148/task/32492/stat : 32492 (java) R 32145 32148 22681 0 -1 4202560 5 0 0 0 64 0 0 0 20 0 22 0 13138063 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506523906944 140506580775105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32493] ppid=32145 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/32148/task/32493/stat : 32493 (java) R 32145 32148 22681 0 -1 4202560 3 0 0 0 64 0 0 0 20 0 22 0 13138063 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506521800144 140506580806193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32494] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32494/stat : 32494 (java) S 32145 32148 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 13138065 10060525568 37968 33554432000 1073741824 1073778376 140733197283056 140506522854696 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 35.28 Current children cumulated vsize (KiB) 9824732 [startup+59.2009 s] /proc/loadavg: 0.74 1.06 1.17 3/191 32497 /proc/meminfo: memFree=28852936/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9824732 CPUtime=37.61 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 27407 0 1 0 3533 228 0 0 20 0 19 0 13132369 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2456183 38014 2287 9 0 2446860 0 [pid=32148/tid=32149] ppid=32145 vsize=9824732 CPUtime=0.4 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) S 32145 32148 22681 0 -1 4202560 2474 0 1 0 38 2 0 0 20 0 19 0 13132370 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506708333432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32151] ppid=32145 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/32148/task/32151/stat : 32151 (java) S 32145 32148 22681 0 -1 4202560 26 0 0 0 6 0 0 0 20 0 19 0 13132370 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506551896616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32152] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32152/stat : 32152 (java) S 32145 32148 22681 0 -1 4202560 25 0 0 0 8 0 0 0 20 0 19 0 13132370 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506550843816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32153] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32153/stat : 32153 (java) S 32145 32148 22681 0 -1 4202560 27 0 0 0 8 0 0 0 20 0 19 0 13132370 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506549791016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32154] ppid=32145 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/32148/task/32154/stat : 32154 (java) S 32145 32148 22681 0 -1 4202560 46 0 0 0 9 2 0 0 20 0 19 0 13132370 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506548738216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32155] ppid=32145 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/32148/task/32155/stat : 32155 (java) S 32145 32148 22681 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 19 0 13132370 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506547686440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32156] ppid=32145 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/32148/task/32156/stat : 32156 (java) S 32145 32148 22681 0 -1 4202560 32 0 0 0 8 2 0 0 20 0 19 0 13132370 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506546633640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32157] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32157/stat : 32157 (java) S 32145 32148 22681 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 13132370 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506545580840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32158] ppid=32145 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/32148/task/32158/stat : 32158 (java) S 32145 32148 22681 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 13132370 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506544528040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32159] ppid=32145 vsize=9824732 CPUtime=0.12 cores=1,3,5,7 /proc/32148/task/32159/stat : 32159 (java) S 32145 32148 22681 0 -1 4202560 87 0 0 0 2 10 0 0 20 0 19 0 13132371 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506532329960 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32160] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32160/stat : 32160 (java) S 32145 32148 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506531276024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32161] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32161/stat : 32161 (java) S 32145 32148 22681 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506530223112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32162] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32162/stat : 32162 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506529171600 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32163] ppid=32145 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/32148/task/32163/stat : 32163 (java) S 32145 32148 22681 0 -1 4202560 15553 0 0 0 161 3 0 0 20 0 19 0 13132374 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506528119736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32164] ppid=32145 vsize=9824732 CPUtime=1.02 cores=1,3,5,7 /proc/32148/task/32164/stat : 32164 (java) S 32145 32148 22681 0 -1 4202560 6762 0 0 0 101 1 0 0 20 0 19 0 13132374 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506527066936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32165] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32165/stat : 32165 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506526014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32166] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32166/stat : 32166 (java) S 32145 32148 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506524961736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32170] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32170/stat : 32170 (java) S 32145 32148 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13132388 10060525568 38014 33554432000 1073741824 1073778376 140733197283056 140506520748840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 37.61 Current children cumulated vsize (KiB) 9824732 [startup+59.6008 s] /proc/loadavg: 0.74 1.06 1.17 1/188 32500 /proc/meminfo: memFree=28850692/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9824732 CPUtime=37.87 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 27420 0 1 0 3559 228 0 0 20 0 22 0 13132369 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2456183 39556 2287 9 0 2446860 0 [pid=32148/tid=32149] ppid=32145 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) S 32145 32148 22681 0 -1 4202560 2474 0 1 0 39 2 0 0 20 0 22 0 13132370 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506708333432 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32151] ppid=32145 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/32148/task/32151/stat : 32151 (java) S 32145 32148 22681 0 -1 4202560 27 0 0 0 7 0 0 0 20 0 22 0 13132370 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506551896616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32152] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32152/stat : 32152 (java) S 32145 32148 22681 0 -1 4202560 26 0 0 0 8 0 0 0 20 0 22 0 13132370 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506550843816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32153] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32153/stat : 32153 (java) S 32145 32148 22681 0 -1 4202560 27 0 0 0 8 0 0 0 20 0 22 0 13132370 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506549791016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32154] ppid=32145 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/32148/task/32154/stat : 32154 (java) S 32145 32148 22681 0 -1 4202560 47 0 0 0 9 2 0 0 20 0 22 0 13132370 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506548738216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32155] ppid=32145 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/32148/task/32155/stat : 32155 (java) S 32145 32148 22681 0 -1 4202560 33 0 0 0 9 0 0 0 20 0 22 0 13132370 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506547686440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32156] ppid=32145 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/32148/task/32156/stat : 32156 (java) S 32145 32148 22681 0 -1 4202560 34 0 0 0 8 2 0 0 20 0 22 0 13132370 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506546633640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32157] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32157/stat : 32157 (java) S 32145 32148 22681 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 22 0 13132370 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506545580840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32158] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32158/stat : 32158 (java) S 32145 32148 22681 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 22 0 13132370 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506544528040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32159] ppid=32145 vsize=9824732 CPUtime=0.12 cores=1,3,5,7 /proc/32148/task/32159/stat : 32159 (java) S 32145 32148 22681 0 -1 4202560 87 0 0 0 2 10 0 0 20 0 22 0 13132371 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506532329960 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32160] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32160/stat : 32160 (java) S 32145 32148 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 13132372 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506531276024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32161] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32161/stat : 32161 (java) S 32145 32148 22681 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 22 0 13132372 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506530223112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32162] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32162/stat : 32162 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13132374 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506529171600 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32163] ppid=32145 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/32148/task/32163/stat : 32163 (java) S 32145 32148 22681 0 -1 4202560 15553 0 0 0 161 3 0 0 20 0 22 0 13132374 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506528119736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32164] ppid=32145 vsize=9824732 CPUtime=1.02 cores=1,3,5,7 /proc/32148/task/32164/stat : 32164 (java) S 32145 32148 22681 0 -1 4202560 6762 0 0 0 101 1 0 0 20 0 22 0 13132374 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506527066936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32165] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32165/stat : 32165 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 13132374 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506526014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32166] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32166/stat : 32166 (java) S 32145 32148 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 13132374 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506524961736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32170] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32170/stat : 32170 (java) S 32145 32148 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 13132388 10060525568 39556 33554432000 1073741824 1073778376 140733197283056 140506520748840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 37.87 Current children cumulated vsize (KiB) 9824732 [startup+60.0008 s] /proc/loadavg: 0.74 1.06 1.17 1/188 32500 /proc/meminfo: memFree=28850692/32872528 swapFree=1459604/1655828 [pid=32148] ppid=32145 vsize=9824732 CPUtime=38.65 cores=1,3,5,7 /proc/32148/stat : 32148 (java) S 32145 32148 22681 0 -1 4202496 27858 0 1 0 3635 230 0 0 20 0 19 0 13132369 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140733197274192 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/32148/statm: 2456183 41009 2287 9 0 2446860 0 [pid=32148/tid=32149] ppid=32145 vsize=9824732 CPUtime=0.44 cores=1,3,5,7 /proc/32148/task/32149/stat : 32149 (java) R 32145 32148 22681 0 -1 4202560 2474 0 1 0 42 2 0 0 20 0 19 0 13132370 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506708333432 140506580527042 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32151] ppid=32145 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/32148/task/32151/stat : 32151 (java) S 32145 32148 22681 0 -1 4202560 27 0 0 0 7 0 0 0 20 0 19 0 13132370 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506551896616 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32152] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32152/stat : 32152 (java) S 32145 32148 22681 0 -1 4202560 26 0 0 0 8 0 0 0 20 0 19 0 13132370 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506550843816 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32153] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32153/stat : 32153 (java) S 32145 32148 22681 0 -1 4202560 27 0 0 0 8 0 0 0 20 0 19 0 13132370 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506549791016 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32154] ppid=32145 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/32148/task/32154/stat : 32154 (java) S 32145 32148 22681 0 -1 4202560 47 0 0 0 9 2 0 0 20 0 19 0 13132370 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506548738216 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32155] ppid=32145 vsize=9824732 CPUtime=0.1 cores=1,3,5,7 /proc/32148/task/32155/stat : 32155 (java) S 32145 32148 22681 0 -1 4202560 33 0 0 0 10 0 0 0 20 0 19 0 13132370 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506547686440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32156] ppid=32145 vsize=9824732 CPUtime=0.11 cores=1,3,5,7 /proc/32148/task/32156/stat : 32156 (java) S 32145 32148 22681 0 -1 4202560 34 0 0 0 9 2 0 0 20 0 19 0 13132370 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506546633640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32157] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32157/stat : 32157 (java) S 32145 32148 22681 0 -1 4202560 32 0 0 0 8 0 0 0 20 0 19 0 13132370 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506545580840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32158] ppid=32145 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/32148/task/32158/stat : 32158 (java) S 32145 32148 22681 0 -1 4202560 33 0 0 0 8 0 0 0 20 0 19 0 13132370 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506544528040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32159] ppid=32145 vsize=9824732 CPUtime=0.12 cores=1,3,5,7 /proc/32148/task/32159/stat : 32159 (java) S 32145 32148 22681 0 -1 4202560 93 0 0 0 2 10 0 0 20 0 19 0 13132371 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506532329960 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32160] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32160/stat : 32160 (java) S 32145 32148 22681 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506531276024 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32161] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32161/stat : 32161 (java) S 32145 32148 22681 0 -1 4202560 26 0 0 0 0 0 0 0 20 0 19 0 13132372 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506530223112 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32162] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32162/stat : 32162 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506529171600 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32163] ppid=32145 vsize=9824732 CPUtime=1.64 cores=1,3,5,7 /proc/32148/task/32163/stat : 32163 (java) S 32145 32148 22681 0 -1 4202560 15553 0 0 0 161 3 0 0 20 0 19 0 13132374 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506528119736 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=32148/tid=32164] ppid=32145 vsize=9824732 CPUtime=1.02 cores=1,3,5,7 /proc/32148/task/32164/stat : 32164 (java) S 32145 32148 22681 0 -1 4202560 6762 0 0 0 101 1 0 0 20 0 19 0 13132374 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506527066936 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=32148/tid=32165] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32165/stat : 32165 (java) S 32145 32148 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506526014328 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=32148/tid=32166] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32166/stat : 32166 (java) S 32145 32148 22681 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 13132374 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506524961736 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=32148/tid=32170] ppid=32145 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/32148/task/32170/stat : 32170 (java) S 32145 32148 22681 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 13132388 10060525568 41009 33554432000 1073741824 1073778376 140733197283056 140506520748840 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 38.65 Current children cumulated vsize (KiB) 9824732 Child status: 30 Real time (s): 60.0191 CPU time (s): 38.7691 CPU user time (s): 36.3785 CPU system time (s): 2.39064 CPU usage (%): 64.5946 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 36.3785 system time used= 2.39064 maximum resident set size= 221360 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 27870 page faults= 1 swaps= 0 block input operations= 0 block output operations= 104 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5177 involuntary context switches= 1534 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.434933 second user time and 0.576912 second system time The end
Begin job on node136 at 2016-06-30 23:23:32 IDJOB=4092298 IDBENCH=79216 IDSOLVER=2552 FILE ID=node136/4092298-1467321812 RUNJOBID= node136-1467318739-25000 PBS_JOBID= 20005289 Free space on /tmp= 71648 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974180--soft-0-100-0.wbo COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4092298-1467321812/watcher-4092298-1467321812 -o /tmp/evaluation-result-4092298-1467321812/solver-4092298-1467321812 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467318739-25000 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092298-1467321812.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e43f58a024ab39f0c7f396fa22784bca RANDOM SEED=1816235843 node136.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.182 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.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 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.182 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.182 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.182 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.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 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: 28997376 kB Buffers: 105980 kB Cached: 1342308 kB SwapCached: 0 kB Active: 235128 kB Inactive: 1239404 kB Active(anon): 6008 kB Inactive(anon): 22644 kB Active(file): 229120 kB Inactive(file): 1216760 kB Unevictable: 1655828 kB Mlocked: 1459604 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 480 kB Writeback: 0 kB AnonPages: 1648828 kB Mapped: 13972 kB Shmem: 204 kB Slab: 613240 kB SReclaimable: 57432 kB SUnreclaim: 555808 kB KernelStack: 1560 kB PageTables: 7096 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 1766988 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 178176 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= 71644 MiB End job on node136 at 2016-06-30 23:24:32