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) | -16384 | 1800.75 | 956.348 |
| Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-opt1217.opb |
| MD5SUM | 0d06ca66c5954e6533e2fcc6f3f13fb8 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -16384 |
| Best CPU time to get the best result obtained on this benchmark | 1800.75 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | -16384 |
| Optimality of the best value was proved | NO |
| Number of variables | 787 |
| Total number of constraints | 65 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 48 |
| Number of constraints which are nor clauses,nor cardinality constraints | 17 |
| Minimum length of a constraint | 16 |
| Maximum length of a constraint | 67 |
| Number of terms in the objective function | 19 |
| Biggest coefficient in the objective function | 262144 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524287 |
| Number of bits of the sum of numbers in the objective function | 19 |
| Biggest number in a constraint | 393216 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 917503 |
| Number of bits of the biggest sum of numbers | 20 |
| 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.08 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.08 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.09/0.12 c Pseudo Boolean Optimization by upper bound 0.09/0.12 c ManyCore solver with 2 solvers running in parallel 0.09/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4102034-1466217025.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.26/0.20 c ... done. Wall clock time 0.082s. 0.26/0.20 c declared #vars 787 0.26/0.20 c #constraints 113 0.26/0.20 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.26/0.20 c constraints type 0.26/0.20 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 48 0.26/0.20 c org.sat4j.minisat.constraints.card.MinWatchCard => 48 0.26/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 17 0.26/0.20 c 113 constraints processed. 0.26/0.20 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.26/0.20 c constraints type 0.26/0.20 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 48 0.26/0.20 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 48 0.26/0.20 c org.sat4j.pb.constraints.pb.MaxWatchPb => 17 0.26/0.20 c 113 constraints processed. 0.26/0.20 c objective function length is 19 literals 0.26/0.26 c And the winner is solver1 0.63/0.71 c SATISFIABLE 0.63/0.71 c OPTIMIZING... 0.63/0.71 c Got one! Elapsed wall clock time (in seconds):0.588 0.63/0.71 o 0 1.77/1.04 c And the winner is solver1 2.20/1.21 c Got one! Elapsed wall clock time (in seconds):1.089 2.20/1.21 o -1 2.20/1.23 c And the winner is solver1 2.27/1.71 c Got one! Elapsed wall clock time (in seconds):1.59 2.27/1.71 o -2 2.27/1.72 c And the winner is solver1 2.32/2.21 c Got one! Elapsed wall clock time (in seconds):2.092 2.32/2.21 o -3 2.32/2.23 c And the winner is solver1 2.37/2.71 c Got one! Elapsed wall clock time (in seconds):2.593 2.37/2.71 o -4 2.37/2.72 c And the winner is solver1 2.47/3.21 c Got one! Elapsed wall clock time (in seconds):3.094 2.47/3.21 o -5 2.47/3.28 c And the winner is solver1 2.77/3.71 c Got one! Elapsed wall clock time (in seconds):3.595 2.77/3.71 o -6 2.77/3.73 c And the winner is solver1 2.92/4.21 c Got one! Elapsed wall clock time (in seconds):4.096 2.92/4.21 o -7 2.92/4.23 c And the winner is solver1 2.96/4.71 c Got one! Elapsed wall clock time (in seconds):4.597 2.96/4.71 o -8 2.96/4.73 c And the winner is solver1 3.00/5.22 c Got one! Elapsed wall clock time (in seconds):5.098 3.00/5.22 o -9 3.00/5.23 c And the winner is solver1 3.05/5.72 c Got one! Elapsed wall clock time (in seconds):5.599 3.05/5.72 o -10 3.05/5.73 c And the winner is solver1 3.09/6.22 c Got one! Elapsed wall clock time (in seconds):6.101 3.09/6.22 o -11 3.09/6.25 c And the winner is solver1 3.18/6.72 c Got one! Elapsed wall clock time (in seconds):6.602 3.18/6.72 o -12 3.18/6.74 c And the winner is solver1 3.27/7.22 c Got one! Elapsed wall clock time (in seconds):7.102 3.27/7.22 o -13 3.27/7.24 c And the winner is solver1 3.32/7.72 c Got one! Elapsed wall clock time (in seconds):7.603 3.32/7.72 o -14 3.32/7.74 c And the winner is solver1 3.36/8.22 c Got one! Elapsed wall clock time (in seconds):8.104 3.36/8.22 o -15 3.36/8.23 c And the winner is solver1 3.40/8.72 c Got one! Elapsed wall clock time (in seconds):8.605 3.40/8.72 o -16 3.40/8.74 c And the winner is solver1 3.44/9.22 c Got one! Elapsed wall clock time (in seconds):9.106 3.44/9.22 o -17 3.44/9.24 c And the winner is solver1 3.48/9.72 c Got one! Elapsed wall clock time (in seconds):9.607 3.48/9.72 o -18 3.48/9.74 c And the winner is solver1 3.52/10.23 c Got one! Elapsed wall clock time (in seconds):10.108 3.52/10.23 o -19 3.52/10.24 c And the winner is solver1 3.56/10.73 c Got one! Elapsed wall clock time (in seconds):10.608 3.56/10.73 o -20 3.56/10.74 c And the winner is solver1 3.63/11.23 c Got one! Elapsed wall clock time (in seconds):11.109 3.63/11.23 o -21 3.63/11.24 c And the winner is solver1 3.70/11.73 c Got one! Elapsed wall clock time (in seconds):11.61 3.70/11.73 o -22 3.70/11.74 c And the winner is solver1 3.74/12.23 c Got one! Elapsed wall clock time (in seconds):12.111 3.74/12.23 o -23 3.74/12.24 c And the winner is solver1 3.78/12.73 c Got one! Elapsed wall clock time (in seconds):12.611 3.78/12.73 o -24 3.78/12.74 c And the winner is solver1 3.82/13.23 c Got one! Elapsed wall clock time (in seconds):13.112 3.82/13.23 o -25 3.82/13.26 c And the winner is solver1 3.90/13.73 c Got one! Elapsed wall clock time (in seconds):13.613 3.90/13.73 o -26 3.90/13.75 c And the winner is solver1 3.94/14.23 c Got one! Elapsed wall clock time (in seconds):14.114 3.94/14.23 o -27 4.12/14.40 c And the winner is solver1 4.47/14.42 c cleaning 5176 clauses out of 10351 with flag 5487/10351 4.51/14.73 c Got one! Elapsed wall clock time (in seconds):14.614 4.51/14.73 o -28 4.51/14.75 c And the winner is solver1 4.57/15.23 c Got one! Elapsed wall clock time (in seconds):15.115 4.57/15.23 o -29 4.57/15.25 c And the winner is solver1 4.61/15.73 c Got one! Elapsed wall clock time (in seconds):15.616 4.61/15.73 o -30 4.96/15.90 c And the winner is solver1 4.98/16.23 c Got one! Elapsed wall clock time (in seconds):16.117 4.98/16.23 o -31 4.98/16.25 c And the winner is solver1 5.02/16.74 c Got one! Elapsed wall clock time (in seconds):16.618 5.02/16.74 o -32 5.02/16.75 c And the winner is solver1 5.06/17.24 c Got one! Elapsed wall clock time (in seconds):17.119 5.06/17.24 o -33 5.06/17.25 c And the winner is solver1 5.10/17.74 c Got one! Elapsed wall clock time (in seconds):17.619 5.10/17.74 o -34 5.10/17.76 c And the winner is solver1 5.17/18.24 c Got one! Elapsed wall clock time (in seconds):18.12 5.17/18.24 o -35 5.17/18.25 c And the winner is solver1 5.21/18.74 c Got one! Elapsed wall clock time (in seconds):18.621 5.21/18.74 o -36 5.21/18.75 c And the winner is solver1 5.25/19.24 c Got one! Elapsed wall clock time (in seconds):19.122 5.25/19.24 o -37 5.25/19.26 c And the winner is solver1 5.29/19.74 c Got one! Elapsed wall clock time (in seconds):19.623 5.29/19.74 o -38 5.29/19.76 c And the winner is solver1 5.33/20.24 c Got one! Elapsed wall clock time (in seconds):20.124 5.33/20.24 o -39 5.33/20.26 c And the winner is solver1 5.37/20.74 c Got one! Elapsed wall clock time (in seconds):20.625 5.37/20.74 o -40 5.37/20.76 c And the winner is solver1 5.42/21.24 c Got one! Elapsed wall clock time (in seconds):21.125 5.42/21.24 o -41 5.42/21.26 c And the winner is solver1 5.47/21.74 c Got one! Elapsed wall clock time (in seconds):21.626 5.47/21.74 o -42 5.47/21.76 c And the winner is solver1 5.51/22.24 c Got one! Elapsed wall clock time (in seconds):22.127 5.51/22.24 o -43 5.51/22.26 c And the winner is solver1 5.55/22.75 c Got one! Elapsed wall clock time (in seconds):22.628 5.55/22.75 o -44 5.55/22.77 c And the winner is solver1 5.60/23.25 c Got one! Elapsed wall clock time (in seconds):23.128 5.60/23.25 o -45 5.60/23.27 c And the winner is solver1 5.65/23.75 c Got one! Elapsed wall clock time (in seconds):23.629 5.65/23.75 o -46 5.95/23.91 c And the winner is solver1 5.98/24.25 c Got one! Elapsed wall clock time (in seconds):24.13 5.98/24.25 o -47 5.98/24.28 c And the winner is solver1 6.06/24.75 c Got one! Elapsed wall clock time (in seconds):24.63 6.06/24.75 o -48 6.06/24.76 c And the winner is solver1 6.10/25.25 c Got one! Elapsed wall clock time (in seconds):25.131 6.10/25.25 o -49 6.10/25.27 c And the winner is solver1 6.14/25.75 c Got one! Elapsed wall clock time (in seconds):25.632 6.14/25.75 o -50 6.14/25.76 c And the winner is solver1 6.19/26.25 c Got one! Elapsed wall clock time (in seconds):26.133 6.19/26.25 o -51 6.19/26.27 c And the winner is solver1 6.23/26.75 c Got one! Elapsed wall clock time (in seconds):26.633 6.23/26.75 o -52 6.23/26.77 c And the winner is solver1 6.27/27.25 c Got one! Elapsed wall clock time (in seconds):27.134 6.27/27.25 o -53 6.27/27.27 c And the winner is solver1 6.31/27.75 c Got one! Elapsed wall clock time (in seconds):27.635 6.31/27.75 o -54 6.31/27.77 c And the winner is solver1 6.35/28.25 c Got one! Elapsed wall clock time (in seconds):28.136 6.35/28.25 o -55 6.35/28.27 c And the winner is solver1 6.39/28.75 c Got one! Elapsed wall clock time (in seconds):28.636 6.39/28.75 o -56 6.39/28.77 c And the winner is solver1 6.43/29.25 c Got one! Elapsed wall clock time (in seconds):29.137 6.43/29.25 o -57 6.51/29.39 c And the winner is solver1 6.70/29.76 c Got one! Elapsed wall clock time (in seconds):29.638 6.70/29.76 o -58 6.70/29.77 c And the winner is solver1 6.74/30.26 c Got one! Elapsed wall clock time (in seconds):30.139 6.74/30.26 o -59 6.74/30.27 c And the winner is solver1 6.78/30.76 c Got one! Elapsed wall clock time (in seconds):30.64 6.78/30.76 o -60 6.87/30.88 c cleaning 8790 clauses out of 17580 with flag 2672/22756 7.07/30.92 c And the winner is solver1 7.11/31.26 c Got one! Elapsed wall clock time (in seconds):31.14 7.11/31.26 o -61 7.11/31.27 c And the winner is solver1 7.15/31.76 c Got one! Elapsed wall clock time (in seconds):31.641 7.15/31.76 o -62 7.15/31.78 c And the winner is solver1 7.19/32.26 c Got one! Elapsed wall clock time (in seconds):32.142 7.19/32.26 o -63 7.19/32.28 c And the winner is solver1 7.23/32.76 c Got one! Elapsed wall clock time (in seconds):32.643 7.23/32.76 o -64 7.23/32.78 c And the winner is solver1 7.27/33.26 c Got one! Elapsed wall clock time (in seconds):33.144 7.27/33.26 o -65 7.27/33.28 c And the winner is solver1 7.31/33.76 c Got one! Elapsed wall clock time (in seconds):33.645 7.31/33.76 o -66 7.31/33.78 c And the winner is solver1 7.35/34.26 c Got one! Elapsed wall clock time (in seconds):34.145 7.35/34.26 o -67 7.35/34.28 c And the winner is solver1 7.39/34.76 c Got one! Elapsed wall clock time (in seconds):34.646 7.39/34.76 o -68 7.39/34.80 c And the winner is solver1 7.47/35.27 c Got one! Elapsed wall clock time (in seconds):35.147 7.47/35.27 o -69 7.47/35.28 c And the winner is solver1 7.51/35.77 c Got one! Elapsed wall clock time (in seconds):35.648 7.51/35.77 o -70 7.61/35.87 c And the winner is solver1 7.86/36.27 c Got one! Elapsed wall clock time (in seconds):36.149 7.86/36.27 o -71 7.86/36.28 c And the winner is solver1 7.90/36.77 c Got one! Elapsed wall clock time (in seconds):36.65 7.90/36.77 o -72 7.90/36.78 c And the winner is solver1 7.94/37.27 c Got one! Elapsed wall clock time (in seconds):37.15 7.94/37.27 o -73 7.94/37.29 c And the winner is solver1 7.98/37.77 c Got one! Elapsed wall clock time (in seconds):37.651 7.98/37.77 o -74 7.98/37.79 c And the winner is solver1 8.02/38.27 c Got one! Elapsed wall clock time (in seconds):38.151 8.02/38.27 o -75 8.77/38.63 c cleaning 8826 clauses out of 17651 with flag 10848/31617 9.00/38.75 c And the winner is solver1 9.00/38.79 c Got one! Elapsed wall clock time (in seconds):38.671 9.00/38.79 o -76 9.40/38.99 c And the winner is solver1 9.63/39.29 c Got one! Elapsed wall clock time (in seconds):39.172 9.63/39.29 o -77 9.64/39.31 c And the winner is solver1 9.67/39.79 c Got one! Elapsed wall clock time (in seconds):39.673 9.67/39.79 o -78 9.68/39.81 c And the winner is solver1 9.71/40.29 c Got one! Elapsed wall clock time (in seconds):40.173 9.71/40.29 o -79 9.72/40.32 c And the winner is solver1 9.77/40.79 c Got one! Elapsed wall clock time (in seconds):40.674 9.77/40.79 o -80 9.80/40.81 c And the winner is solver1 9.81/41.29 c Got one! Elapsed wall clock time (in seconds):41.175 9.81/41.29 o -81 9.82/41.32 c And the winner is solver1 9.87/41.79 c Got one! Elapsed wall clock time (in seconds):41.676 9.87/41.79 o -82 9.89/41.81 c And the winner is solver1 9.91/42.29 c Got one! Elapsed wall clock time (in seconds):42.176 9.91/42.29 o -83 9.92/42.31 c And the winner is solver1 9.96/42.79 c Got one! Elapsed wall clock time (in seconds):42.677 9.96/42.79 o -84 9.96/42.83 c And the winner is solver1 10.05/43.30 c Got one! Elapsed wall clock time (in seconds):43.178 10.05/43.30 o -85 10.05/43.32 c And the winner is solver1 10.09/43.80 c Got one! Elapsed wall clock time (in seconds):43.679 10.09/43.80 o -86 10.09/43.81 c And the winner is solver1 10.13/44.30 c Got one! Elapsed wall clock time (in seconds):44.18 10.13/44.30 o -87 10.13/44.32 c And the winner is solver1 10.17/44.80 c Got one! Elapsed wall clock time (in seconds):44.68 10.17/44.80 o -88 10.17/44.82 c And the winner is solver1 10.21/45.30 c Got one! Elapsed wall clock time (in seconds):45.181 10.21/45.30 o -89 10.21/45.32 c And the winner is solver1 10.25/45.80 c Got one! Elapsed wall clock time (in seconds):45.682 10.25/45.80 o -90 10.25/45.82 c And the winner is solver1 10.29/46.30 c Got one! Elapsed wall clock time (in seconds):46.183 10.29/46.30 o -91 10.29/46.32 c And the winner is solver1 10.33/46.80 c Got one! Elapsed wall clock time (in seconds):46.684 10.33/46.80 o -92 10.33/46.82 c And the winner is solver1 10.37/47.30 c Got one! Elapsed wall clock time (in seconds):47.185 10.37/47.30 o -93 10.37/47.32 c And the winner is solver1 10.43/47.80 c Got one! Elapsed wall clock time (in seconds):47.685 10.43/47.80 o -94 10.43/47.83 c And the winner is solver1 10.49/48.30 c Got one! Elapsed wall clock time (in seconds):48.186 10.49/48.30 o -95 10.49/48.32 c And the winner is solver1 10.53/48.80 c Got one! Elapsed wall clock time (in seconds):48.687 10.53/48.80 o -96 10.53/48.82 c And the winner is solver1 10.58/49.31 c Got one! Elapsed wall clock time (in seconds):49.188 10.58/49.31 o -97 10.58/49.33 c And the winner is solver1 10.64/49.81 c Got one! Elapsed wall clock time (in seconds):49.688 10.64/49.81 o -98 10.64/49.83 c And the winner is solver1 10.70/50.31 c Got one! Elapsed wall clock time (in seconds):50.189 10.70/50.31 o -99 10.70/50.32 c And the winner is solver1 10.74/50.81 c Got one! Elapsed wall clock time (in seconds):50.69 10.74/50.81 o -100 10.74/50.83 c And the winner is solver1 10.78/51.31 c Got one! Elapsed wall clock time (in seconds):51.191 10.78/51.31 o -101 10.78/51.33 c And the winner is solver1 10.84/51.81 c Got one! Elapsed wall clock time (in seconds):51.691 10.84/51.81 o -102 10.84/51.83 c And the winner is solver1 10.88/52.31 c Got one! Elapsed wall clock time (in seconds):52.192 10.88/52.31 o -103 10.88/52.33 c And the winner is solver1 10.92/52.81 c Got one! Elapsed wall clock time (in seconds):52.692 10.92/52.81 o -104 10.92/52.83 c And the winner is solver1 10.98/53.31 c Got one! Elapsed wall clock time (in seconds):53.193 10.98/53.31 o -105 10.98/53.34 c And the winner is solver1 11.06/53.81 c Got one! Elapsed wall clock time (in seconds):53.694 11.06/53.81 o -106 11.06/53.83 c And the winner is solver1 11.12/54.31 c Got one! Elapsed wall clock time (in seconds):54.194 11.12/54.31 o -107 11.12/54.33 c And the winner is solver1 11.17/54.81 c Got one! Elapsed wall clock time (in seconds):54.695 11.17/54.81 o -108 11.17/54.83 c And the winner is solver1 11.21/55.31 c Got one! Elapsed wall clock time (in seconds):55.196 11.21/55.31 o -109 11.38/55.41 c And the winner is solver1 11.41/55.81 c Got one! Elapsed wall clock time (in seconds):55.696 11.41/55.81 o -110 11.41/55.89 c And the winner is solver1 11.57/56.31 c Got one! Elapsed wall clock time (in seconds):56.197 11.57/56.31 o -111 11.57/56.34 c And the winner is solver1 11.63/56.82 c Got one! Elapsed wall clock time (in seconds):56.698 11.63/56.82 o -112 11.63/56.84 c And the winner is solver1 11.68/57.32 c Got one! Elapsed wall clock time (in seconds):57.198 11.68/57.32 o -113 11.68/57.34 c And the winner is solver1 11.77/57.82 c Got one! Elapsed wall clock time (in seconds):57.699 11.77/57.82 o -114 11.77/57.90 c And the winner is solver1 11.93/58.32 c Got one! Elapsed wall clock time (in seconds):58.2 11.93/58.32 o -115 11.93/58.34 c And the winner is solver1 11.99/58.82 c Got one! Elapsed wall clock time (in seconds):58.7 11.99/58.82 o -116 12.15/58.94 c And the winner is solver1 12.15/58.97 c cleaning 11619 clauses out of 23237 with flag 3567/46029 12.27/59.32 c Got one! Elapsed wall clock time (in seconds):59.201 12.27/59.32 o -117 12.44/59.41 c And the winner is solver1 12.47/59.82 c Got one! Elapsed wall clock time (in seconds):59.701 12.47/59.82 o -118 12.47/59.89 c And the winner is solver1 12.61/60.32 c Got one! Elapsed wall clock time (in seconds):60.202 12.61/60.32 o -119 13.37/60.76 c cleaning 9167 clauses out of 18340 with flag 14382/52751 14.41/61.27 c cleaning 7586 clauses out of 15172 with flag 31794/58750 15.92/61.92 c cleaning 7292 clauses out of 14583 with flag 52964/65747 17.60/62.75 c cleaning 7646 clauses out of 15292 with flag 74985/73748 19.42/63.60 c cleaning 8320 clauses out of 16644 with flag 100546/82746 21.47/64.66 c cleaning 9162 clauses out of 18324 with flag 128804/92746 24.11/65.91 c cleaning 10077 clauses out of 20163 with flag 159567/103747 26.85/67.28 c cleaning 11040 clauses out of 22086 with flag 196557/115747 30.27/68.99 c cleaning 12025 clauses out of 24049 with flag 238897/128750 33.93/70.74 c cleaning 13009 clauses out of 26023 with flag 277660/142749 36.13/71.83 c And the winner is solver1 36.21/72.32 c Got one! Elapsed wall clock time (in seconds):72.205 36.21/72.32 o -120 37.80/73.11 c And the winner is solver1 37.84/73.32 c Got one! Elapsed wall clock time (in seconds):73.206 37.84/73.32 o -256 38.60/73.79 c cleaning 14239 clauses out of 28480 with flag 6571/158215 38.80/73.85 c And the winner is solver1 38.90/74.32 c Got one! Elapsed wall clock time (in seconds):74.207 38.90/74.32 o -1024 39.65/74.72 c cleaning 9879 clauses out of 19757 with flag 16031/163731 39.86/74.85 c And the winner is solver1 39.96/75.33 c Got one! Elapsed wall clock time (in seconds):75.208 39.96/75.33 o -2048 40.92/75.80 c cleaning 7510 clauses out of 15045 with flag 13278/168898 40.92/75.83 c And the winner is solver1 40.92/75.83 c Got one! Elapsed wall clock time (in seconds):75.709 40.92/75.83 o -2304 41.92/76.33 c And the winner is solver1 41.92/76.33 c cleaning 6377 clauses out of 12765 with flag 16756/174128 41.92/76.38 c Got one! Elapsed wall clock time (in seconds):76.259 41.92/76.38 o -3072 42.83/76.84 c cleaning 5690 clauses out of 11389 with flag 17099/179129 43.03/76.94 c And the winner is solver1 43.13/77.38 c Got one! Elapsed wall clock time (in seconds):77.26 43.13/77.38 o -3074 43.57/77.68 c cleaning 5461 clauses out of 10938 with flag 12074/184368 44.17/77.92 c And the winner is solver1 44.21/78.38 c Got one! Elapsed wall clock time (in seconds):78.261 44.21/78.38 o -8192 44.65/78.69 c cleaning 5575 clauses out of 11152 with flag 9781/190043 45.46/79.03 c And the winner is solver1 45.53/79.38 c Got one! Elapsed wall clock time (in seconds):79.262 45.53/79.38 o -16384 45.76/79.58 c cleaning 5716 clauses out of 11438 with flag 7394/195904 46.96/80.13 c cleaning 5859 clauses out of 11720 with flag 25835/201902 48.16/80.73 c cleaning 6429 clauses out of 12862 with flag 47168/208903 49.58/81.46 c cleaning 7216 clauses out of 14435 with flag 71588/216905 51.38/82.32 c cleaning 8099 clauses out of 16216 with flag 99419/225902 53.58/83.44 c cleaning 9050 clauses out of 18118 with flag 133727/235903 56.25/84.77 c cleaning 10018 clauses out of 20067 with flag 169397/246902 60.43/86.77 c cleaning 11024 clauses out of 22049 with flag 198731/258902 63.78/88.30 c cleaning 12011 clauses out of 24025 with flag 232613/271902 68.23/90.48 c cleaning 12996 clauses out of 26014 with flag 266984/285902 73.29/92.92 c cleaning 14000 clauses out of 28020 with flag 304392/300904 78.94/95.71 c cleaning 15009 clauses out of 30022 with flag 344965/316906 85.14/98.84 c cleaning 15999 clauses out of 32010 with flag 388127/333903 90.57/101.58 c cleaning 17004 clauses out of 34011 with flag 436107/351903 96.20/104.32 c cleaning 17995 clauses out of 36008 with flag 487245/370904 103.01/107.70 c cleaning 19001 clauses out of 38011 with flag 541943/390902 110.70/111.58 c cleaning 19996 clauses out of 40010 with flag 593304/411902 118.17/115.26 c cleaning 21004 clauses out of 42015 with flag 659554/433903 126.06/119.11 c cleaning 22001 clauses out of 44010 with flag 721351/456902 134.89/123.59 c cleaning 23004 clauses out of 46009 with flag 787867/480902 144.20/128.13 c cleaning 24002 clauses out of 48005 with flag 862852/505902 154.25/133.12 c cleaning 24996 clauses out of 50004 with flag 935396/531903 164.49/138.24 c cleaning 25997 clauses out of 52011 with flag 1007507/558906 175.15/143.54 c cleaning 26997 clauses out of 54012 with flag 1079891/586904 185.86/148.87 c cleaning 27999 clauses out of 56016 with flag 1179376/615905 198.59/155.19 c cleaning 29003 clauses out of 58014 with flag 1279667/645902 213.70/162.95 c cleaning 30003 clauses out of 60011 with flag 1361950/676902 228.38/170.23 c cleaning 30996 clauses out of 62008 with flag 1458667/708902 244.52/178.27 c cleaning 32007 clauses out of 64018 with flag 1550780/741908 260.97/186.49 c cleaning 32997 clauses out of 66005 with flag 1646003/775902 277.67/194.80 c cleaning 33997 clauses out of 68009 with flag 1752683/810903 295.33/203.56 c cleaning 35002 clauses out of 70012 with flag 1858523/846903 313.63/212.63 c cleaning 35995 clauses out of 72009 with flag 1957687/883902 335.15/223.40 c cleaning 36998 clauses out of 74017 with flag 2049600/921905 358.86/235.11 c cleaning 38003 clauses out of 76016 with flag 2148096/960902 379.34/245.35 c cleaning 38992 clauses out of 78014 with flag 2247211/1000903 399.94/255.69 c cleaning 40007 clauses out of 80021 with flag 2345882/1041902 419.60/265.44 c cleaning 40998 clauses out of 82016 with flag 2445624/1083904 438.80/275.06 c cleaning 42001 clauses out of 84022 with flag 2545158/1126908 465.13/288.50 c cleaning 43002 clauses out of 86015 with flag 2658979/1170902 488.95/300.42 c cleaning 44003 clauses out of 88013 with flag 2779109/1215902 512.18/312.00 c cleaning 44999 clauses out of 90014 with flag 2900201/1261906 538.97/325.45 c cleaning 46000 clauses out of 92011 with flag 3013726/1308902 568.43/340.11 c cleaning 46992 clauses out of 94012 with flag 3126521/1356903 597.63/354.76 c cleaning 47993 clauses out of 96020 with flag 3239424/1405903 626.07/368.95 c cleaning 49001 clauses out of 98026 with flag 3356778/1455902 660.55/386.17 c cleaning 50003 clauses out of 100027 with flag 3480157/1506904 691.14/401.49 c cleaning 50997 clauses out of 102024 with flag 3607426/1558904 721.58/416.60 c cleaning 52008 clauses out of 104026 with flag 3751113/1611903 749.97/430.89 c cleaning 52994 clauses out of 106019 with flag 3920445/1665904 785.56/448.65 c cleaning 53998 clauses out of 108025 with flag 4057345/1720904 819.56/465.60 c cleaning 55010 clauses out of 110026 with flag 4199133/1776903 854.17/482.96 c cleaning 55995 clauses out of 112015 with flag 4365991/1833902 891.44/501.85 c cleaning 57007 clauses out of 114020 with flag 4531578/1891902 928.24/520.23 c cleaning 57998 clauses out of 116017 with flag 4680630/1950906 961.09/536.68 c cleaning 58995 clauses out of 118015 with flag 4831415/2010902 998.69/555.45 c cleaning 60008 clauses out of 120025 with flag 4980358/2071907 1044.08/578.20 c cleaning 60992 clauses out of 122013 with flag 5128645/2133903 1093.13/602.69 c cleaning 61997 clauses out of 124020 with flag 5278248/2196902 1149.77/630.97 c cleaning 63006 clauses out of 126024 with flag 5441154/2260903 1186.97/649.51 c cleaning 63999 clauses out of 128019 with flag 5603148/2325904 1227.97/670.04 c cleaning 65007 clauses out of 130020 with flag 5774805/2391904 1267.75/689.99 c cleaning 65996 clauses out of 132013 with flag 5941462/2458904 1311.36/711.76 c cleaning 66996 clauses out of 134017 with flag 6110762/2526904 1365.11/738.51 c cleaning 68008 clauses out of 136020 with flag 6296891/2595903 1423.99/767.94 c cleaning 68997 clauses out of 138011 with flag 6479161/2665902 1471.46/791.69 c cleaning 69994 clauses out of 140015 with flag 6664056/2736903 1521.66/816.73 c cleaning 71000 clauses out of 142022 with flag 6839998/2808904 1575.58/844.12 c cleaning 71993 clauses out of 144020 with flag 7020422/2881902 1632.80/872.71 c cleaning 73004 clauses out of 146027 with flag 7206397/2955902 1688.65/900.63 c cleaning 74000 clauses out of 148023 with flag 7397684/3030902 1749.69/931.15 c cleaning 75004 clauses out of 150023 with flag 7595901/3106902 1800.14/956.30 c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<< 1800.14/956.30 c starts : 17090 1800.14/956.30 c conflicts : 3173436 1800.14/956.30 c decisions : 4463074 1800.14/956.30 c propagations : 434468750 1800.14/956.30 c inspects : 15340538345 1800.14/956.30 c shortcuts : 0 1800.14/956.30 c learnt literals : 0 1800.14/956.30 c learnt binary clauses : 1 1800.14/956.30 c learnt ternary clauses : 15 1800.14/956.30 c learnt constraints : 3173436 1800.14/956.30 c ignored constraints : 0 1800.14/956.30 c root simplifications : 0 1800.14/956.30 c removed literals (reason simplification) : 23102976 1800.14/956.30 c reason swapping (by a shorter reason) : 0 1800.14/956.30 c Calls to reduceDB : 93 1800.14/956.30 c Number of update (reduction) of LBD : 618767 1800.14/956.30 c Imported unit clauses : 0 1800.14/956.30 c number of reductions to clauses (during analyze) : 0 1800.14/956.30 c number of learned constraints concerned by reduction : 0 1800.14/956.30 c number of learning phase by resolution : 0 1800.14/956.30 c number of learning phase by cutting planes : 0 1800.14/956.30 c speed (assignments/second) : 495446.8636356898 1800.14/956.30 c non guided choices 6213 1800.14/956.33 c learnt constraints type 1800.14/956.33 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1 1800.14/956.33 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 141552 1800.14/956.33 c >>>>>>>>>> Solver number 1 (129 answers) <<<<<<<<<<<<<<<<<< 1800.14/956.33 c starts : 148 1800.14/956.33 c conflicts : 4518 1800.14/956.33 c decisions : 88666 1800.14/956.33 c propagations : 383882 1800.14/956.33 c inspects : 189715304 1800.14/956.33 c shortcuts : 0 1800.14/956.33 c learnt literals : 0 1800.14/956.33 c learnt binary clauses : 0 1800.14/956.33 c learnt ternary clauses : 0 1800.14/956.33 c learnt constraints : 4517 1800.14/956.33 c ignored constraints : 0 1800.14/956.33 c root simplifications : 0 1800.14/956.33 c removed literals (reason simplification) : 0 1800.14/956.33 c reason swapping (by a shorter reason) : 0 1800.14/956.33 c Calls to reduceDB : 0 1800.14/956.33 c Number of update (reduction) of LBD : 0 1800.14/956.33 c Imported unit clauses : 0 1800.14/956.33 c number of reductions to clauses (during analyze) : 0 1800.14/956.33 c number of learned constraints concerned by reduction : 0 1800.14/956.33 c number of learning phase by resolution : 0 1800.14/956.33 c number of learning phase by cutting planes : 0 1800.14/956.33 c speed (assignments/second) : 401.5002316657236 1800.14/956.33 c non guided choices 1678 1800.14/956.33 c learnt constraints type 1800.14/956.33 c org.sat4j.pb.constraints.pb.MaxWatchPb => 4517 1800.14/956.33 s SATISFIABLE 1800.14/956.33 c Found 129 solution(s) 1800.14/956.33 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 x55 x56 -x57 -x58 -x59 x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 x202 x203 x204 x205 x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 x356 x357 x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 x485 -x486 x487 x488 -x489 -x490 x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 x622 -x623 x624 -x625 -x626 -x627 -x628 -x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 1800.14/956.33 c objective function=-16384 1800.14/956.33 c Total wall clock time (in seconds): 956.216
OK -16384
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-4102034-1466217025/watcher-4102034-1466217025 -o /tmp/evaluation-result-4102034-1466217025/solver-4102034-1466217025 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13555 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4102034-1466217025.opb pid=17534 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: 3.92 3.99 3.91 3/197 17537 /proc/meminfo: memFree=29193052/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=5632 CPUtime=0 cores=1,3,5,7 /proc/17537/stat : 17537 (java) R 17534 17537 13538 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 23752397 5767168 55 33554432000 1073741824 1073778376 140734670781248 140734670778376 224913354023 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2303 59 47 9 0 30 0 [startup+0.10006 s] /proc/loadavg: 3.92 3.99 3.91 3/197 17537 /proc/meminfo: memFree=29193052/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 4421 0 1 0 8 1 0 0 20 0 18 0 23752397 9787879424 6046 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2389619 6046 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200327 s] /proc/loadavg: 3.92 3.99 3.91 3/197 17537 /proc/meminfo: memFree=29193052/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 4885 0 1 0 25 1 0 0 20 0 18 0 23752397 9787879424 7435 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2389619 7435 2211 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300334 s] /proc/loadavg: 3.92 3.99 3.91 3/197 17537 /proc/meminfo: memFree=29193052/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9824732 CPUtime=0.55 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 9152 0 1 0 52 3 0 0 20 0 19 0 23752397 10060525568 11504 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2456183 11504 2249 9 0 2446860 0 Current children cumulated CPU time (s) 0.55 Current children cumulated vsize (KiB) 9824732 [startup+0.700263 s] /proc/loadavg: 3.92 3.99 3.91 3/197 17537 /proc/meminfo: memFree=29193052/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9824732 CPUtime=0.63 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 9396 0 1 0 60 3 0 0 20 0 19 0 23752397 10060525568 11077 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2456183 11077 2251 9 0 2446860 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 3.92 3.99 3.91 5/216 17562 /proc/meminfo: memFree=29125020/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9824732 CPUtime=2.27 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 17736 0 1 0 219 8 0 0 20 0 19 0 23752397 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2456183 20755 2261 9 0 2446860 0 [pid=17537/tid=17539] ppid=17534 vsize=9824732 CPUtime=0.17 cores=1,3,5,7 /proc/17537/task/17539/stat : 17539 (java) S 17534 17537 13538 0 -1 4202560 2415 0 1 0 17 0 0 0 20 0 19 0 23752398 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946462434168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17540] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17540/stat : 17540 (java) S 17534 17537 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946423925672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17541] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17541/stat : 17541 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946422873128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17542] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17542/stat : 17542 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946421820072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17537/tid=17543] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17543/stat : 17543 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946420767528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17544] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17544/stat : 17544 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946419714472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17545] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17545/stat : 17545 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946418661928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17546] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17546/stat : 17546 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946417608872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17547] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17547/stat : 17547 (java) S 17534 17537 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946416556328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17548] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17548/stat : 17548 (java) S 17534 17537 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23752400 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946286357352 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17549] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17549/stat : 17549 (java) S 17534 17537 13538 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23752400 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946285303672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17550] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17550/stat : 17550 (java) S 17534 17537 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23752400 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946284250504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17551] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17551/stat : 17551 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752403 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946283199248 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17552] ppid=17534 vsize=9824732 CPUtime=0.6 cores=1,3,5,7 /proc/17537/task/17552/stat : 17552 (java) S 17534 17537 13538 0 -1 4202560 7641 0 0 0 60 0 0 0 20 0 19 0 23752403 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946282146104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17553] ppid=17534 vsize=9824732 CPUtime=0.61 cores=1,3,5,7 /proc/17537/task/17553/stat : 17553 (java) S 17534 17537 13538 0 -1 4202560 6320 0 0 0 61 0 0 0 20 0 19 0 23752403 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946281093560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17554] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17554/stat : 17554 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752403 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946280040696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17555] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17555/stat : 17555 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752403 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139946278988360 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17558] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17558/stat : 17558 (java) S 17534 17537 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23752418 10060525568 20755 33554432000 1073741824 1073778376 140734670781248 139945133991208 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.27 Current children cumulated vsize (KiB) 9824732 [startup+3.10078 s] /proc/loadavg: 3.92 3.99 3.91 3/216 17568 /proc/meminfo: memFree=29113172/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9824732 CPUtime=2.47 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 18156 0 1 0 234 13 0 0 20 0 19 0 23752397 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2456183 25879 2264 9 0 2446860 0 [pid=17537/tid=17539] ppid=17534 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/17537/task/17539/stat : 17539 (java) S 17534 17537 13538 0 -1 4202560 2416 0 1 0 18 0 0 0 20 0 19 0 23752398 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946462434168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17540] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17540/stat : 17540 (java) S 17534 17537 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946423925672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17541] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17541/stat : 17541 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946422873128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17542] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17542/stat : 17542 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946421820072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17537/tid=17543] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17543/stat : 17543 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946420767528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17544] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17544/stat : 17544 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946419714472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17545] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17545/stat : 17545 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946418661928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17546] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17546/stat : 17546 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946417608872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17547] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17547/stat : 17547 (java) S 17534 17537 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946416556328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17548] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17548/stat : 17548 (java) S 17534 17537 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23752400 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946286357352 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17549] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17549/stat : 17549 (java) S 17534 17537 13538 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23752400 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946285303672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17550] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17550/stat : 17550 (java) S 17534 17537 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23752400 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946284250504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17551] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17551/stat : 17551 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752403 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946283199248 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17552] ppid=17534 vsize=9824732 CPUtime=0.68 cores=1,3,5,7 /proc/17537/task/17552/stat : 17552 (java) S 17534 17537 13538 0 -1 4202560 8030 0 0 0 68 0 0 0 20 0 19 0 23752403 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946282146104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17537/tid=17553] ppid=17534 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/17537/task/17553/stat : 17553 (java) S 17534 17537 13538 0 -1 4202560 6320 0 0 0 62 0 0 0 20 0 19 0 23752403 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946281093560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17554] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17554/stat : 17554 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752403 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946280040696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17555] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17555/stat : 17555 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752403 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139946278988360 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17558] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17558/stat : 17558 (java) S 17534 17537 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23752418 10060525568 25879 33554432000 1073741824 1073778376 140734670781248 139945133991208 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 2.47 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.3008 s] /proc/loadavg: 3.77 3.95 3.90 3/217 17590 /proc/meminfo: memFree=29046208/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9824732 CPUtime=3.18 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 20299 0 1 0 289 29 0 0 20 0 19 0 23752397 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2456183 41846 2280 9 0 2446860 0 [pid=17537/tid=17539] ppid=17534 vsize=9824732 CPUtime=0.18 cores=1,3,5,7 /proc/17537/task/17539/stat : 17539 (java) S 17534 17537 13538 0 -1 4202560 2417 0 1 0 18 0 0 0 20 0 19 0 23752398 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946462434168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17540] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17540/stat : 17540 (java) S 17534 17537 13538 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946423925672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17541] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17541/stat : 17541 (java) S 17534 17537 13538 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946422873128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17542] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17542/stat : 17542 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946421820072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17537/tid=17543] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17543/stat : 17543 (java) S 17534 17537 13538 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946420767528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17544] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17544/stat : 17544 (java) S 17534 17537 13538 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946419714472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17545] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17545/stat : 17545 (java) S 17534 17537 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946418661928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17546] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17546/stat : 17546 (java) S 17534 17537 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946417608872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17547] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17547/stat : 17547 (java) S 17534 17537 13538 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23752399 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946416556328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17548] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17548/stat : 17548 (java) S 17534 17537 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23752400 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946286357352 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17549] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17549/stat : 17549 (java) S 17534 17537 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23752400 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946285303672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17550] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17550/stat : 17550 (java) S 17534 17537 13538 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23752400 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946284250504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17551] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17551/stat : 17551 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752403 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946283199248 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17552] ppid=17534 vsize=9824732 CPUtime=0.85 cores=1,3,5,7 /proc/17537/task/17552/stat : 17552 (java) S 17534 17537 13538 0 -1 4202560 10042 0 0 0 83 2 0 0 20 0 19 0 23752403 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946282146104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17553] ppid=17534 vsize=9824732 CPUtime=0.72 cores=1,3,5,7 /proc/17537/task/17553/stat : 17553 (java) S 17534 17537 13538 0 -1 4202560 6321 0 0 0 72 0 0 0 20 0 19 0 23752403 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946281093560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17554] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17554/stat : 17554 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23752403 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946280040696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17555] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17555/stat : 17555 (java) S 17534 17537 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23752403 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139946278988360 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17558] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17558/stat : 17558 (java) S 17534 17537 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23752418 10060525568 41846 33554432000 1073741824 1073778376 140734670781248 139945133991208 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 Current children cumulated CPU time (s) 3.18 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 4.11 4.02 3.92 5/219 18036 /proc/meminfo: memFree=28996692/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9824732 CPUtime=1772.08 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 43640 0 1 0 176786 422 0 0 20 0 22 0 23752397 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2456183 516595 2294 9 0 2446860 0 [pid=17537/tid=17539] ppid=17534 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/17537/task/17539/stat : 17539 (java) S 17534 17537 13538 0 -1 4202560 2424 0 1 0 24 3 0 0 20 0 22 0 23752398 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946462434168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17540] ppid=17534 vsize=9824732 CPUtime=1.11 cores=1,3,5,7 /proc/17537/task/17540/stat : 17540 (java) S 17534 17537 13538 0 -1 4202560 2106 0 0 0 99 12 0 0 20 0 22 0 23752399 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946423925672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17541] ppid=17534 vsize=9824732 CPUtime=1.12 cores=1,3,5,7 /proc/17537/task/17541/stat : 17541 (java) S 17534 17537 13538 0 -1 4202560 969 0 0 0 98 14 0 0 20 0 22 0 23752399 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946422873128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17542] ppid=17534 vsize=9824732 CPUtime=1.18 cores=1,3,5,7 /proc/17537/task/17542/stat : 17542 (java) S 17534 17537 13538 0 -1 4202560 1095 0 0 0 103 15 0 0 20 0 22 0 23752399 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946421820072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17543] ppid=17534 vsize=9824732 CPUtime=1.06 cores=1,3,5,7 /proc/17537/task/17543/stat : 17543 (java) S 17534 17537 13538 0 -1 4202560 1363 0 0 0 93 13 0 0 20 0 22 0 23752399 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946420767528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17544] ppid=17534 vsize=9824732 CPUtime=1.02 cores=1,3,5,7 /proc/17537/task/17544/stat : 17544 (java) S 17534 17537 13538 0 -1 4202560 938 0 0 0 88 14 0 0 20 0 22 0 23752399 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946419714472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17537/tid=17545] ppid=17534 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/17537/task/17545/stat : 17545 (java) S 17534 17537 13538 0 -1 4202560 897 0 0 0 93 10 0 0 20 0 22 0 23752399 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946418661928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17546] ppid=17534 vsize=9824732 CPUtime=1.22 cores=1,3,5,7 /proc/17537/task/17546/stat : 17546 (java) S 17534 17537 13538 0 -1 4202560 2017 0 0 0 106 16 0 0 20 0 22 0 23752399 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946417608872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17547] ppid=17534 vsize=9824732 CPUtime=0.95 cores=1,3,5,7 /proc/17537/task/17547/stat : 17547 (java) S 17534 17537 13538 0 -1 4202560 762 0 0 0 82 13 0 0 20 0 22 0 23752399 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946416556328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17548] ppid=17534 vsize=9824732 CPUtime=3.03 cores=1,3,5,7 /proc/17537/task/17548/stat : 17548 (java) S 17534 17537 13538 0 -1 4202560 1602 0 0 0 291 12 0 0 20 0 22 0 23752400 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946286357352 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17549] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17549/stat : 17549 (java) S 17534 17537 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23752400 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946285303672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17550] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17550/stat : 17550 (java) S 17534 17537 13538 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 22 0 23752400 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946284250504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17551] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17551/stat : 17551 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23752403 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946283199248 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17552] ppid=17534 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/17537/task/17552/stat : 17552 (java) S 17534 17537 13538 0 -1 4202560 10288 0 0 0 143 2 0 0 20 0 22 0 23752403 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946282146104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17553] ppid=17534 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/17537/task/17553/stat : 17553 (java) S 17534 17537 13538 0 -1 4202560 14979 0 0 0 171 3 0 0 20 0 22 0 23752403 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946281093560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17554] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17554/stat : 17554 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23752403 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946280040696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17555] ppid=17534 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/17537/task/17555/stat : 17555 (java) S 17534 17537 13538 0 -1 4202560 56 0 0 0 9 19 0 0 20 0 22 0 23752403 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946278988360 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17558] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17558/stat : 17558 (java) S 17534 17537 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23752418 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139945133991208 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17946] ppid=17534 vsize=9824732 CPUtime=857.76 cores=1,3,5,7 /proc/17537/task/17946/stat : 17946 (java) R 17534 17537 13538 0 -1 4202560 59 0 0 0 85761 15 0 0 20 0 22 0 23760335 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946277924848 139946292122183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17947] ppid=17534 vsize=9824732 CPUtime=857.76 cores=1,3,5,7 /proc/17537/task/17947/stat : 17947 (java) R 17534 17537 13538 0 -1 4202560 1233 0 0 0 85748 28 0 0 20 0 22 0 23760335 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139945132935536 139946292414961 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17948] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17948/stat : 17948 (java) S 17534 17537 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23760335 10060525568 516595 33554432000 1073741824 1073778376 140734670781248 139946276881192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1772.08 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+956.301 s] /proc/loadavg: 4.16 4.03 3.92 5/219 18037 /proc/meminfo: memFree=29037380/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 43660 0 1 0 179591 423 0 0 20 0 22 0 23752397 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2456183 506415 2294 9 0 2446860 0 [pid=17537/tid=17539] ppid=17534 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/17537/task/17539/stat : 17539 (java) S 17534 17537 13538 0 -1 4202560 2424 0 1 0 24 3 0 0 20 0 22 0 23752398 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946462434168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17540] ppid=17534 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/17537/task/17540/stat : 17540 (java) S 17534 17537 13538 0 -1 4202560 2106 0 0 0 101 12 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946423925672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17541] ppid=17534 vsize=9824732 CPUtime=1.14 cores=1,3,5,7 /proc/17537/task/17541/stat : 17541 (java) S 17534 17537 13538 0 -1 4202560 981 0 0 0 100 14 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946422873128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17542] ppid=17534 vsize=9824732 CPUtime=1.19 cores=1,3,5,7 /proc/17537/task/17542/stat : 17542 (java) S 17534 17537 13538 0 -1 4202560 1095 0 0 0 104 15 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946421820072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17543] ppid=17534 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/17537/task/17543/stat : 17543 (java) S 17534 17537 13538 0 -1 4202560 1367 0 0 0 94 13 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946420767528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17544] ppid=17534 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/17537/task/17544/stat : 17544 (java) S 17534 17537 13538 0 -1 4202560 938 0 0 0 89 14 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946419714472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17537/tid=17545] ppid=17534 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/17537/task/17545/stat : 17545 (java) S 17534 17537 13538 0 -1 4202560 897 0 0 0 95 10 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946418661928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17537/tid=17546] ppid=17534 vsize=9824732 CPUtime=1.24 cores=1,3,5,7 /proc/17537/task/17546/stat : 17546 (java) S 17534 17537 13538 0 -1 4202560 2017 0 0 0 108 16 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946417608872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17547] ppid=17534 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/17537/task/17547/stat : 17547 (java) S 17534 17537 13538 0 -1 4202560 762 0 0 0 84 13 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946416556328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17548] ppid=17534 vsize=9824732 CPUtime=3.03 cores=1,3,5,7 /proc/17537/task/17548/stat : 17548 (java) S 17534 17537 13538 0 -1 4202560 1604 0 0 0 291 12 0 0 20 0 22 0 23752400 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946286357352 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17549] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17549/stat : 17549 (java) S 17534 17537 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23752400 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946285303672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17550] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17550/stat : 17550 (java) S 17534 17537 13538 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 22 0 23752400 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946284250504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17551] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17551/stat : 17551 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946283199248 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17552] ppid=17534 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/17537/task/17552/stat : 17552 (java) S 17534 17537 13538 0 -1 4202560 10288 0 0 0 143 2 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946282146104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17553] ppid=17534 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/17537/task/17553/stat : 17553 (java) S 17534 17537 13538 0 -1 4202560 14980 0 0 0 171 3 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946281093560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17554] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17554/stat : 17554 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946280040696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17555] ppid=17534 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/17537/task/17555/stat : 17555 (java) S 17534 17537 13538 0 -1 4202560 56 0 0 0 9 19 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946278988360 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17558] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17558/stat : 17558 (java) S 17534 17537 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23752418 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139945133991208 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17946] ppid=17534 vsize=9824732 CPUtime=871.71 cores=1,3,5,7 /proc/17537/task/17946/stat : 17946 (java) R 17534 17537 13538 0 -1 4202560 60 0 0 0 87156 15 0 0 20 0 22 0 23760335 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946277933704 139946292297138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17947] ppid=17534 vsize=9824732 CPUtime=871.72 cores=1,3,5,7 /proc/17537/task/17947/stat : 17947 (java) R 17534 17537 13538 0 -1 4202560 1233 0 0 0 87144 28 0 0 20 0 22 0 23760335 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139945132935312 139946292414944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17948] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17948/stat : 17948 (java) S 17534 17537 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23760335 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946276881192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 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 17537 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+956.301 s] /proc/loadavg: 4.16 4.03 3.92 5/219 18037 /proc/meminfo: memFree=29037380/32872528 swapFree=163656/177964 [pid=17537] ppid=17534 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7 /proc/17537/stat : 17537 (java) S 17534 17537 13538 0 -1 4202496 43660 0 1 0 179591 423 0 0 20 0 22 0 23752397 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 140734670772384 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/17537/statm: 2456183 506415 2294 9 0 2446860 0 [pid=17537/tid=17539] ppid=17534 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/17537/task/17539/stat : 17539 (java) S 17534 17537 13538 0 -1 4202560 2424 0 1 0 24 3 0 0 20 0 22 0 23752398 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946462434168 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17540] ppid=17534 vsize=9824732 CPUtime=1.13 cores=1,3,5,7 /proc/17537/task/17540/stat : 17540 (java) S 17534 17537 13538 0 -1 4202560 2106 0 0 0 101 12 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946423925672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17541] ppid=17534 vsize=9824732 CPUtime=1.14 cores=1,3,5,7 /proc/17537/task/17541/stat : 17541 (java) S 17534 17537 13538 0 -1 4202560 981 0 0 0 100 14 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946422873128 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17542] ppid=17534 vsize=9824732 CPUtime=1.19 cores=1,3,5,7 /proc/17537/task/17542/stat : 17542 (java) S 17534 17537 13538 0 -1 4202560 1095 0 0 0 104 15 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946421820072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17543] ppid=17534 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/17537/task/17543/stat : 17543 (java) S 17534 17537 13538 0 -1 4202560 1367 0 0 0 94 13 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946420767528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17544] ppid=17534 vsize=9824732 CPUtime=1.03 cores=1,3,5,7 /proc/17537/task/17544/stat : 17544 (java) S 17534 17537 13538 0 -1 4202560 938 0 0 0 89 14 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946419714472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17537/tid=17545] ppid=17534 vsize=9824732 CPUtime=1.05 cores=1,3,5,7 /proc/17537/task/17545/stat : 17545 (java) S 17534 17537 13538 0 -1 4202560 897 0 0 0 95 10 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946418661928 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=17537/tid=17546] ppid=17534 vsize=9824732 CPUtime=1.24 cores=1,3,5,7 /proc/17537/task/17546/stat : 17546 (java) S 17534 17537 13538 0 -1 4202560 2017 0 0 0 108 16 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946417608872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17547] ppid=17534 vsize=9824732 CPUtime=0.97 cores=1,3,5,7 /proc/17537/task/17547/stat : 17547 (java) S 17534 17537 13538 0 -1 4202560 762 0 0 0 84 13 0 0 20 0 22 0 23752399 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946416556328 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17548] ppid=17534 vsize=9824732 CPUtime=3.03 cores=1,3,5,7 /proc/17537/task/17548/stat : 17548 (java) S 17534 17537 13538 0 -1 4202560 1604 0 0 0 291 12 0 0 20 0 22 0 23752400 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946286357352 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17549] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17549/stat : 17549 (java) S 17534 17537 13538 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23752400 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946285303672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17550] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17550/stat : 17550 (java) S 17534 17537 13538 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 22 0 23752400 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946284250504 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17551] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17551/stat : 17551 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946283199248 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17552] ppid=17534 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/17537/task/17552/stat : 17552 (java) S 17534 17537 13538 0 -1 4202560 10288 0 0 0 143 2 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946282146104 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17553] ppid=17534 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/17537/task/17553/stat : 17553 (java) S 17534 17537 13538 0 -1 4202560 14980 0 0 0 171 3 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946281093560 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17554] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17554/stat : 17554 (java) S 17534 17537 13538 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946280040696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=17537/tid=17555] ppid=17534 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/17537/task/17555/stat : 17555 (java) S 17534 17537 13538 0 -1 4202560 56 0 0 0 9 19 0 0 20 0 22 0 23752403 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946278988360 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17558] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17558/stat : 17558 (java) S 17534 17537 13538 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23752418 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139945133991208 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17946] ppid=17534 vsize=9824732 CPUtime=871.71 cores=1,3,5,7 /proc/17537/task/17946/stat : 17946 (java) R 17534 17537 13538 0 -1 4202560 60 0 0 0 87156 15 0 0 20 0 22 0 23760335 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946277933704 139946292297138 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=17537/tid=17947] ppid=17534 vsize=9824732 CPUtime=871.72 cores=1,3,5,7 /proc/17537/task/17947/stat : 17947 (java) R 17534 17537 13538 0 -1 4202560 1233 0 0 0 87144 28 0 0 20 0 22 0 23760335 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139945132935312 139946292414944 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=17537/tid=17948] ppid=17534 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/17537/task/17948/stat : 17948 (java) S 17534 17537 13538 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23760335 10060525568 506415 33554432000 1073741824 1073778376 140734670781248 139946276881192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 956.348 CPU time (s): 1800.75 CPU user time (s): 1796.02 CPU system time (s): 4.73128 CPU usage (%): 188.294 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.02 system time used= 4.73128 maximum resident set size= 2498432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43704 page faults= 1 swaps= 0 block input operations= 0 block output operations= 904 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27788 involuntary context switches= 30686 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.27705 second user time and 7.60184 second system time The end
Begin job on node105 at 2016-06-18 04:30:25 IDJOB=4102034 IDBENCH=1877 IDSOLVER=2543 FILE ID=node105/4102034-1466217025 RUNJOBID= node105-1466206102-13555 PBS_JOBID= 19918167 Free space on /tmp= 71748 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-opt1217.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102034-1466217025/watcher-4102034-1466217025 -o /tmp/evaluation-result-4102034-1466217025/solver-4102034-1466217025 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466206102-13555 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4102034-1466217025.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0d06ca66c5954e6533e2fcc6f3f13fb8 RANDOM SEED=1756277848 node105.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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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.561 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.561 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.561 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.561 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.54 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.561 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.561 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.561 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.58 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 29193324 kB Buffers: 85964 kB Cached: 93952 kB SwapCached: 1764 kB Active: 2626136 kB Inactive: 124332 kB Active(anon): 2571472 kB Inactive(anon): 1440 kB Active(file): 54664 kB Inactive(file): 122892 kB Unevictable: 177964 kB Mlocked: 163656 kB SwapTotal: 67108856 kB SwapFree: 67097160 kB Dirty: 588 kB Writeback: 0 kB AnonPages: 2761924 kB Mapped: 15524 kB Shmem: 0 kB Slab: 600572 kB SReclaimable: 44156 kB SUnreclaim: 556416 kB KernelStack: 1624 kB PageTables: 9916 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 3032088 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 2537472 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= 71748 MiB End job on node105 at 2016-06-18 04:46:21