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) | -738 | 1800.3 | 955.33 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.opb |
| MD5SUM | b1ffeac28016db478c89954573217882 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -738 |
| Best CPU time to get the best result obtained on this benchmark | 1800.03 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 0 |
| Total number of constraints | 0 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | -1 |
| Maximum length of a constraint | 0 |
| Number of terms in the objective function | 926 |
| Biggest coefficient in the objective function | 200 |
| Number of bits for the biggest coefficient in the objective function | 8 |
| Sum of the numbers in the objective function | 41584 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 41584 |
| Number of bits of the biggest sum of numbers | 16 |
| Number of products (including duplicates) | 896 |
| Sum of products size (including duplicates) | 2726 |
| 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@5d764be1 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.09/0.12 c Expensive reason simplification 0.09/0.12 c Glucose 2.1 dynamic restart strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.09/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.09/0.12 c --- Begin Solver configuration --- 0.09/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.09/0.12 c Learn all clauses as in MiniSAT 0.09/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.09/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.09/0.12 c No reason simplification 0.09/0.12 c Armin Biere (Picosat) restarts strategy 0.09/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.09/0.12 c timeout=2147483s 0.09/0.12 c DB Simplification allowed=false 0.09/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.09/0.12 c --- End Solver configuration --- 0.09/0.12 c solving HOME/instance-4119229-1467250577.opb 0.09/0.12 c reading problem ... 0.09/0.12 c objective function found 0.22/0.28 c ... done. Wall clock time 0.164s. 0.22/0.28 c declared #vars 30 0.22/0.28 c internal #vars 926 0.22/0.28 c #constraints 1792 0.22/0.28 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.22/0.28 c constraints type 0.22/0.28 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 896 0.22/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 896 0.22/0.28 c 1792 constraints processed. 0.22/0.28 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.22/0.28 c constraints type 0.22/0.28 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 896 0.22/0.28 c org.sat4j.pb.constraints.pb.MaxWatchPb => 896 0.22/0.28 c 1792 constraints processed. 0.22/0.28 c objective function length is 926 literals 0.45/0.30 c And the winner is solver0 0.49/0.79 c SATISFIABLE 0.49/0.79 c OPTIMIZING... 0.49/0.79 c Got one! Elapsed wall clock time (in seconds):0.669 0.49/0.79 o 0 0.51/0.81 c And the winner is solver0 0.61/1.29 c Got one! Elapsed wall clock time (in seconds):1.177 0.61/1.29 o -21 0.61/1.31 c And the winner is solver0 1.06/1.80 c Got one! Elapsed wall clock time (in seconds):1.684 1.06/1.80 o -42 1.06/1.81 c And the winner is solver0 1.09/2.31 c Got one! Elapsed wall clock time (in seconds):2.19 1.09/2.31 o -68 1.09/2.32 c And the winner is solver0 1.13/2.81 c Got one! Elapsed wall clock time (in seconds):2.694 1.13/2.81 o -93 1.13/2.83 c And the winner is solver0 1.26/3.31 c Got one! Elapsed wall clock time (in seconds):3.197 1.26/3.31 o -94 1.26/3.32 c And the winner is solver0 1.31/3.82 c Got one! Elapsed wall clock time (in seconds):3.7 1.31/3.82 o -117 1.31/3.82 c And the winner is solver0 1.32/4.32 c Got one! Elapsed wall clock time (in seconds):4.203 1.32/4.32 o -122 1.32/4.33 c And the winner is solver0 1.34/4.82 c Got one! Elapsed wall clock time (in seconds):4.706 1.34/4.82 o -123 1.34/4.83 c And the winner is solver0 1.35/5.33 c Got one! Elapsed wall clock time (in seconds):5.208 1.35/5.33 o -126 1.35/5.33 c And the winner is solver0 1.42/5.83 c Got one! Elapsed wall clock time (in seconds):5.71 1.42/5.83 o -149 1.42/5.83 c And the winner is solver0 1.46/6.33 c Got one! Elapsed wall clock time (in seconds):6.213 1.46/6.33 o -152 1.46/6.34 c And the winner is solver0 1.47/6.83 c Got one! Elapsed wall clock time (in seconds):6.715 1.47/6.83 o -155 1.47/6.84 c And the winner is solver0 1.49/7.33 c Got one! Elapsed wall clock time (in seconds):7.217 1.49/7.33 o -158 1.49/7.34 c And the winner is solver0 1.56/7.84 c Got one! Elapsed wall clock time (in seconds):7.719 1.56/7.84 o -160 1.56/7.84 c And the winner is solver0 1.56/8.34 c Got one! Elapsed wall clock time (in seconds):8.22 1.56/8.34 o -179 1.56/8.34 c And the winner is solver0 1.57/8.84 c Got one! Elapsed wall clock time (in seconds):8.722 1.57/8.84 o -181 1.57/8.84 c And the winner is solver0 1.58/9.34 c Got one! Elapsed wall clock time (in seconds):9.223 1.58/9.34 o -183 1.58/9.34 c And the winner is solver0 1.58/9.84 c Got one! Elapsed wall clock time (in seconds):9.725 1.58/9.84 o -185 1.58/9.84 c And the winner is solver0 1.58/10.34 c Got one! Elapsed wall clock time (in seconds):10.226 1.58/10.34 o -186 1.58/10.35 c And the winner is solver0 1.58/10.85 c Got one! Elapsed wall clock time (in seconds):10.728 1.58/10.85 o -191 1.58/10.86 c And the winner is solver0 1.62/11.35 c Got one! Elapsed wall clock time (in seconds):11.234 1.62/11.35 o -198 1.62/11.36 c And the winner is solver0 1.63/11.85 c Got one! Elapsed wall clock time (in seconds):11.735 1.63/11.85 o -204 1.63/11.86 c And the winner is solver0 1.64/12.35 c Got one! Elapsed wall clock time (in seconds):12.237 1.64/12.35 o -205 1.64/12.36 c And the winner is solver0 1.65/12.86 c Got one! Elapsed wall clock time (in seconds):12.738 1.65/12.86 o -210 1.65/12.86 c And the winner is solver0 1.65/13.36 c Got one! Elapsed wall clock time (in seconds):13.24 1.65/13.36 o -212 1.65/13.36 c And the winner is solver0 1.66/13.86 c Got one! Elapsed wall clock time (in seconds):13.741 1.66/13.86 o -213 1.66/13.86 c And the winner is solver0 1.66/14.36 c Got one! Elapsed wall clock time (in seconds):14.243 1.66/14.36 o -214 1.66/14.36 c And the winner is solver0 1.66/14.86 c Got one! Elapsed wall clock time (in seconds):14.744 1.66/14.86 o -218 1.66/14.86 c And the winner is solver0 1.66/15.36 c Got one! Elapsed wall clock time (in seconds):15.246 1.66/15.36 o -219 1.66/15.37 c And the winner is solver0 1.68/15.86 c Got one! Elapsed wall clock time (in seconds):15.747 1.68/15.86 o -221 1.68/15.87 c And the winner is solver0 1.68/16.37 c Got one! Elapsed wall clock time (in seconds):16.249 1.68/16.37 o -224 1.68/16.37 c And the winner is solver0 1.70/16.87 c Got one! Elapsed wall clock time (in seconds):16.751 1.70/16.87 o -228 1.70/16.89 c And the winner is solver0 1.85/17.37 c Got one! Elapsed wall clock time (in seconds):17.252 1.85/17.37 o -236 1.85/17.38 c And the winner is solver0 1.85/17.87 c Got one! Elapsed wall clock time (in seconds):17.754 1.85/17.87 o -242 1.85/17.87 c And the winner is solver0 1.85/18.37 c Got one! Elapsed wall clock time (in seconds):18.256 1.85/18.37 o -244 1.85/18.38 c And the winner is solver0 1.85/18.87 c Got one! Elapsed wall clock time (in seconds):18.757 1.85/18.87 o -248 1.85/18.88 c And the winner is solver0 1.86/19.38 c Got one! Elapsed wall clock time (in seconds):19.259 1.86/19.38 o -249 1.86/19.38 c And the winner is solver0 1.86/19.88 c Got one! Elapsed wall clock time (in seconds):19.76 1.86/19.88 o -252 1.86/19.88 c And the winner is solver0 1.86/20.38 c Got one! Elapsed wall clock time (in seconds):20.262 1.86/20.38 o -257 1.86/20.39 c And the winner is solver0 1.86/20.88 c Got one! Elapsed wall clock time (in seconds):20.763 1.86/20.88 o -275 1.93/20.91 c And the winner is solver0 2.02/21.38 c Got one! Elapsed wall clock time (in seconds):21.265 2.02/21.38 o -278 2.02/21.39 c And the winner is solver0 2.04/21.88 c Got one! Elapsed wall clock time (in seconds):21.767 2.04/21.88 o -280 2.07/21.90 c And the winner is solver0 2.09/22.39 c Got one! Elapsed wall clock time (in seconds):22.269 2.09/22.39 o -281 2.09/22.39 c And the winner is solver0 2.09/22.89 c Got one! Elapsed wall clock time (in seconds):22.77 2.09/22.89 o -282 2.09/22.89 c And the winner is solver0 2.09/23.39 c Got one! Elapsed wall clock time (in seconds):23.272 2.09/23.39 o -285 2.09/23.39 c And the winner is solver0 2.09/23.89 c Got one! Elapsed wall clock time (in seconds):23.773 2.09/23.89 o -290 2.09/23.91 c And the winner is solver0 2.17/24.39 c Got one! Elapsed wall clock time (in seconds):24.275 2.17/24.39 o -307 2.17/24.45 c And the winner is solver0 2.33/24.89 c Got one! Elapsed wall clock time (in seconds):24.776 2.33/24.89 o -311 2.33/24.93 c And the winner is solver0 2.42/25.40 c Got one! Elapsed wall clock time (in seconds):25.278 2.42/25.40 o -312 2.42/25.40 c And the winner is solver0 2.42/25.90 c Got one! Elapsed wall clock time (in seconds):25.78 2.42/25.90 o -313 2.42/25.90 c And the winner is solver0 2.42/26.40 c Got one! Elapsed wall clock time (in seconds):26.281 2.42/26.40 o -314 2.42/26.40 c And the winner is solver0 2.43/26.90 c Got one! Elapsed wall clock time (in seconds):26.783 2.43/26.90 o -315 2.43/26.90 c And the winner is solver0 2.43/27.40 c Got one! Elapsed wall clock time (in seconds):27.284 2.43/27.40 o -316 2.43/27.41 c And the winner is solver0 2.46/27.90 c Got one! Elapsed wall clock time (in seconds):27.786 2.46/27.90 o -321 2.46/27.92 c And the winner is solver0 2.59/28.40 c Got one! Elapsed wall clock time (in seconds):28.287 2.59/28.40 o -322 2.59/28.41 c And the winner is solver0 2.72/28.91 c Got one! Elapsed wall clock time (in seconds):28.789 2.72/28.91 o -323 3.02/29.02 c And the winner is solver0 3.09/29.41 c Got one! Elapsed wall clock time (in seconds):29.291 3.09/29.41 o -344 3.09/29.45 c And the winner is solver0 3.20/29.91 c Got one! Elapsed wall clock time (in seconds):29.792 3.20/29.91 o -347 3.20/29.92 c And the winner is solver0 3.25/30.41 c Got one! Elapsed wall clock time (in seconds):30.294 3.25/30.41 o -348 3.25/30.43 c And the winner is solver0 3.29/30.91 c Got one! Elapsed wall clock time (in seconds):30.796 3.29/30.91 o -352 3.29/30.95 c And the winner is solver0 3.37/31.41 c Got one! Elapsed wall clock time (in seconds):31.297 3.37/31.41 o -353 3.37/31.42 c And the winner is solver0 3.47/31.92 c Got one! Elapsed wall clock time (in seconds):31.799 3.47/31.92 o -354 3.47/31.94 c And the winner is solver0 3.53/32.42 c Got one! Elapsed wall clock time (in seconds):32.301 3.53/32.42 o -357 3.93/32.62 c And the winner is solver0 4.00/32.92 c Got one! Elapsed wall clock time (in seconds):32.802 4.00/32.92 o -369 4.00/32.95 c And the winner is solver0 4.06/33.42 c Got one! Elapsed wall clock time (in seconds):33.304 4.06/33.42 o -371 4.06/33.44 c And the winner is solver0 4.10/33.92 c Got one! Elapsed wall clock time (in seconds):33.806 4.10/33.92 o -372 4.10/33.93 c And the winner is solver0 4.12/34.42 c Got one! Elapsed wall clock time (in seconds):34.307 4.12/34.42 o -374 4.12/34.45 c And the winner is solver0 4.18/34.93 c Got one! Elapsed wall clock time (in seconds):34.809 4.18/34.93 o -375 4.18/34.95 c And the winner is solver0 4.28/35.43 c Got one! Elapsed wall clock time (in seconds):35.31 4.28/35.43 o -376 4.28/35.44 c And the winner is solver0 4.32/35.93 c Got one! Elapsed wall clock time (in seconds):35.812 4.32/35.93 o -377 4.32/35.94 c And the winner is solver0 4.34/36.43 c Got one! Elapsed wall clock time (in seconds):36.314 4.34/36.43 o -378 4.34/36.45 c And the winner is solver0 4.39/36.93 c Got one! Elapsed wall clock time (in seconds):36.816 4.39/36.93 o -381 4.39/36.99 c And the winner is solver0 4.51/37.43 c Got one! Elapsed wall clock time (in seconds):37.317 4.51/37.43 o -385 4.64/37.51 c And the winner is solver0 4.67/37.94 c Got one! Elapsed wall clock time (in seconds):37.819 4.67/37.94 o -386 4.67/37.95 c And the winner is solver0 4.69/38.44 c Got one! Elapsed wall clock time (in seconds):38.321 4.69/38.44 o -399 5.65/38.90 c And the winner is solver0 5.65/38.94 c Got one! Elapsed wall clock time (in seconds):38.823 5.65/38.94 o -403 5.65/38.99 c And the winner is solver0 5.90/39.44 c Got one! Elapsed wall clock time (in seconds):39.324 5.90/39.44 o -405 5.90/39.48 c And the winner is solver0 6.01/39.94 c Got one! Elapsed wall clock time (in seconds):39.826 6.01/39.94 o -408 6.11/40.06 c And the winner is solver0 6.26/40.45 c Got one! Elapsed wall clock time (in seconds):40.328 6.26/40.45 o -410 6.36/40.52 c And the winner is solver0 6.43/40.95 c Got one! Elapsed wall clock time (in seconds):40.83 6.43/40.95 o -413 6.53/41.00 c And the winner is solver0 6.57/41.45 c Got one! Elapsed wall clock time (in seconds):41.332 6.57/41.45 o -414 6.93/41.65 c And the winner is solver0 7.06/41.95 c Got one! Elapsed wall clock time (in seconds):41.834 7.06/41.95 o -416 7.06/41.98 c And the winner is solver0 7.14/42.45 c Got one! Elapsed wall clock time (in seconds):42.336 7.14/42.45 o -418 7.14/42.48 c And the winner is solver0 7.22/42.95 c Got one! Elapsed wall clock time (in seconds):42.838 7.22/42.95 o -567 7.74/43.23 c cleaning 6959 clauses out of 13918 with flag 2003/13918 8.17/43.48 c And the winner is solver0 8.35/43.96 c Got one! Elapsed wall clock time (in seconds):43.84 8.35/43.96 o -576 8.64/44.17 c And the winner is solver0 8.79/44.46 c Got one! Elapsed wall clock time (in seconds):44.341 8.79/44.46 o -579 9.11/44.61 c And the winner is solver0 9.16/44.96 c Got one! Elapsed wall clock time (in seconds):44.843 9.16/44.96 o -581 9.22/45.03 c And the winner is solver0 9.31/45.46 c Got one! Elapsed wall clock time (in seconds):45.345 9.31/45.46 o -584 9.37/45.55 c And the winner is solver0 9.50/45.96 c Got one! Elapsed wall clock time (in seconds):45.847 9.50/45.96 o -585 9.50/45.98 c And the winner is solver0 9.52/46.47 c Got one! Elapsed wall clock time (in seconds):46.349 9.52/46.47 o -586 9.52/46.48 c And the winner is solver0 9.56/46.97 c Got one! Elapsed wall clock time (in seconds):46.852 9.56/46.97 o -590 10.66/47.50 c And the winner is solver0 10.80/47.97 c Got one! Elapsed wall clock time (in seconds):47.854 10.80/47.97 o -600 10.85/48.02 c And the winner is solver0 10.93/48.47 c Got one! Elapsed wall clock time (in seconds):48.356 10.93/48.47 o -601 10.93/48.48 c And the winner is solver0 10.93/48.98 c Got one! Elapsed wall clock time (in seconds):48.858 10.93/48.98 o -602 10.93/48.99 c And the winner is solver0 10.95/49.48 c Got one! Elapsed wall clock time (in seconds):49.36 10.95/49.48 o -605 11.00/49.59 c And the winner is solver0 11.20/49.98 c Got one! Elapsed wall clock time (in seconds):49.862 11.20/49.98 o -608 11.23/50.02 c And the winner is solver0 11.30/50.48 c Got one! Elapsed wall clock time (in seconds):50.364 11.30/50.48 o -610 11.33/50.59 c And the winner is solver0 11.54/50.98 c Got one! Elapsed wall clock time (in seconds):50.866 11.54/50.98 o -611 11.56/51.00 c And the winner is solver0 11.59/51.49 c Got one! Elapsed wall clock time (in seconds):51.368 11.59/51.49 o -613 11.61/51.60 c And the winner is solver0 11.86/51.99 c Got one! Elapsed wall clock time (in seconds):51.87 11.86/51.99 o -615 12.08/52.16 c And the winner is solver0 12.23/52.49 c Got one! Elapsed wall clock time (in seconds):52.372 12.23/52.49 o -616 12.24/52.51 c And the winner is solver0 12.29/52.99 c Got one! Elapsed wall clock time (in seconds):52.874 12.29/52.99 o -618 12.29/53.02 c And the winner is solver0 12.37/53.49 c Got one! Elapsed wall clock time (in seconds):53.376 12.37/53.49 o -621 12.77/53.73 c cleaning 9289 clauses out of 18584 with flag 2003/25543 14.81/54.78 c cleaning 7646 clauses out of 15294 with flag 14001/31542 15.63/55.11 c And the winner is solver0 15.69/55.50 c Got one! Elapsed wall clock time (in seconds):55.379 15.69/55.50 o -630 16.75/56.03 c cleaning 6422 clauses out of 12843 with flag 6002/36737 17.35/56.39 c And the winner is solver0 17.57/56.50 c Got one! Elapsed wall clock time (in seconds):56.381 17.57/56.50 o -631 18.40/56.95 c And the winner is solver0 18.57/57.00 c Got one! Elapsed wall clock time (in seconds):56.884 18.57/57.00 o -641 18.75/57.17 c And the winner is solver0 18.94/57.50 c Got one! Elapsed wall clock time (in seconds):57.386 18.94/57.50 o -642 19.12/57.60 c And the winner is solver0 19.17/58.01 c Got one! Elapsed wall clock time (in seconds):57.888 19.17/58.01 o -645 19.17/58.06 c And the winner is solver0 19.32/58.51 c Got one! Elapsed wall clock time (in seconds):58.39 19.32/58.51 o -646 19.70/58.70 c cleaning 7180 clauses out of 14360 with flag 2013/44676 19.70/58.72 c And the winner is solver0 19.79/59.01 c Got one! Elapsed wall clock time (in seconds):58.892 19.79/59.01 o -647 19.79/59.03 c And the winner is solver0 19.87/59.51 c Got one! Elapsed wall clock time (in seconds):59.395 19.87/59.51 o -648 19.87/59.53 c And the winner is solver0 19.92/60.02 c Got one! Elapsed wall clock time (in seconds):59.898 19.92/60.02 o -650 21.54/60.85 c cleaning 6298 clauses out of 12597 with flag 10017/50093 23.35/61.79 c cleaning 6145 clauses out of 12298 with flag 22015/56092 24.80/62.44 c And the winner is solver1 24.91/62.52 c Got one! Elapsed wall clock time (in seconds):62.401 24.91/62.52 o -661 24.91/62.54 c And the winner is solver0 24.99/63.02 c Got one! Elapsed wall clock time (in seconds):62.903 24.99/63.02 o -667 24.99/63.04 c And the winner is solver0 25.08/63.52 c Got one! Elapsed wall clock time (in seconds):63.405 25.08/63.52 o -674 25.08/63.56 c And the winner is solver0 25.19/64.03 c Got one! Elapsed wall clock time (in seconds):63.908 25.19/64.03 o -684 25.19/64.04 c And the winner is solver0 25.24/64.53 c Got one! Elapsed wall clock time (in seconds):64.41 25.24/64.53 o -691 25.24/64.55 c And the winner is solver0 25.29/65.03 c Got one! Elapsed wall clock time (in seconds):64.913 25.29/65.03 o -694 25.29/65.07 c And the winner is solver0 25.41/65.53 c Got one! Elapsed wall clock time (in seconds):65.415 25.41/65.53 o -695 25.41/65.55 c And the winner is solver0 25.48/66.03 c Got one! Elapsed wall clock time (in seconds):65.917 25.48/66.03 o -699 25.48/66.10 c And the winner is solver0 25.66/66.54 c Got one! Elapsed wall clock time (in seconds):66.419 25.66/66.54 o -704 25.66/66.58 c And the winner is solver0 25.80/67.04 c Got one! Elapsed wall clock time (in seconds):66.922 25.80/67.04 o -707 25.80/67.08 c And the winner is solver0 25.94/67.54 c Got one! Elapsed wall clock time (in seconds):67.424 25.94/67.54 o -712 26.25/67.70 c cleaning 6524 clauses out of 13055 with flag 2250/62994 26.67/67.90 c And the winner is solver0 26.72/68.04 c Got one! Elapsed wall clock time (in seconds):67.926 26.72/68.04 o -713 28.27/68.85 c cleaning 5876 clauses out of 11766 with flag 10491/68229 28.59/68.99 c And the winner is solver0 28.88/69.05 c Got one! Elapsed wall clock time (in seconds):68.929 28.88/69.05 o -714 30.98/69.96 c cleaning 5866 clauses out of 11741 with flag 11037/74080 32.77/70.87 c And the winner is solver0 32.98/71.10 c Got one! Elapsed wall clock time (in seconds):70.979 32.98/71.10 o -720 34.38/71.87 c cleaning 8113 clauses out of 16227 with flag 10525/84432 36.44/72.86 c cleaning 7058 clauses out of 14116 with flag 22882/90434 38.64/73.97 c cleaning 7024 clauses out of 14057 with flag 37303/97433 41.44/75.30 c cleaning 7515 clauses out of 15034 with flag 53503/105434 44.74/76.92 c cleaning 8258 clauses out of 16517 with flag 71987/114432 48.15/78.69 c cleaning 9128 clauses out of 18260 with flag 92158/124433 52.45/80.73 c cleaning 10065 clauses out of 20132 with flag 114159/135433 56.85/82.99 c cleaning 11027 clauses out of 22066 with flag 138161/147432 62.37/85.68 c cleaning 12017 clauses out of 24040 with flag 164820/160433 68.37/88.61 c cleaning 13009 clauses out of 26022 with flag 193481/174432 74.91/91.80 c cleaning 14007 clauses out of 28014 with flag 224152/189433 82.11/95.41 c cleaning 15003 clauses out of 30007 with flag 257317/205433 90.55/99.80 c cleaning 15999 clauses out of 32003 with flag 291787/222432 98.55/103.88 c cleaning 17003 clauses out of 34005 with flag 327984/240433 108.05/108.54 c cleaning 17995 clauses out of 36001 with flag 367102/259432 109.85/109.47 c And the winner is solver0 110.14/109.70 c Got one! Elapsed wall clock time (in seconds):109.578 110.14/109.70 o -721 110.60/109.92 c cleaning 11748 clauses out of 23507 with flag 2050/264933 112.60/110.95 c cleaning 8875 clauses out of 17759 with flag 14321/270933 115.01/112.17 c cleaning 7938 clauses out of 15885 with flag 28680/277934 118.11/113.63 c cleaning 7968 clauses out of 15947 with flag 44681/285934 121.32/115.26 c cleaning 8485 clauses out of 16979 with flag 62838/294934 125.16/117.13 c cleaning 9243 clauses out of 18494 with flag 83326/304934 129.36/119.28 c cleaning 10120 clauses out of 20250 with flag 106083/315933 134.43/121.72 c cleaning 11064 clauses out of 22131 with flag 130521/327934 139.64/124.34 c cleaning 12029 clauses out of 24066 with flag 157175/340933 145.62/127.34 c cleaning 13017 clauses out of 26039 with flag 186017/354935 152.71/130.82 c cleaning 14008 clauses out of 28020 with flag 216745/369933 159.90/134.48 c cleaning 15005 clauses out of 30012 with flag 249439/385933 165.59/137.28 c And the winner is solver0 166.03/137.70 c Got one! Elapsed wall clock time (in seconds):137.585 166.03/137.70 o -722 168.61/139.08 c cleaning 16180 clauses out of 32366 with flag 10211/403292 171.21/140.37 c cleaning 11093 clauses out of 22187 with flag 22356/409293 174.01/141.78 c cleaning 9042 clauses out of 18093 with flag 36711/416292 177.01/143.27 c cleaning 8522 clauses out of 17053 with flag 53110/424294 180.68/145.00 c cleaning 8760 clauses out of 17529 with flag 71684/433292 184.48/146.97 c cleaning 9381 clauses out of 18769 with flag 92055/443292 188.89/149.13 c cleaning 10194 clauses out of 20388 with flag 114064/454292 193.74/151.57 c cleaning 11096 clauses out of 22195 with flag 138653/466293 199.14/154.26 c cleaning 12047 clauses out of 24099 with flag 164969/479293 205.14/157.26 c cleaning 13023 clauses out of 26052 with flag 194035/493293 206.14/157.73 c And the winner is solver0 206.51/158.21 c Got one! Elapsed wall clock time (in seconds):158.092 206.51/158.21 o -723 207.47/158.79 c cleaning 9271 clauses out of 18545 with flag 6217/498809 210.62/160.62 c cleaning 7634 clauses out of 15273 with flag 18597/504808 213.02/161.88 c cleaning 7319 clauses out of 14640 with flag 32881/511809 216.00/163.36 c cleaning 7657 clauses out of 15321 with flag 49626/519809 216.60/163.60 c And the winner is solver0 216.87/164.07 c Got one! Elapsed wall clock time (in seconds):163.948 216.87/164.07 o -725 217.92/164.63 c And the winner is solver0 218.22/165.07 c Got one! Elapsed wall clock time (in seconds):164.952 218.22/165.07 o -726 218.47/165.26 c cleaning 6723 clauses out of 13453 with flag 2094/525598 220.48/166.26 c cleaning 6361 clauses out of 12729 with flag 14623/531597 222.87/167.46 c cleaning 6683 clauses out of 13369 with flag 28881/538598 225.92/168.93 c cleaning 7340 clauses out of 14685 with flag 45490/546597 229.33/170.61 c cleaning 8169 clauses out of 16345 with flag 64076/555597 233.13/172.55 c cleaning 9085 clauses out of 18176 with flag 84574/565597 237.52/174.73 c cleaning 10045 clauses out of 20091 with flag 107064/576597 242.60/177.25 c cleaning 11022 clauses out of 22048 with flag 131560/588599 247.98/179.91 c cleaning 12011 clauses out of 24025 with flag 158789/601598 254.25/183.05 c cleaning 13006 clauses out of 26014 with flag 187991/615598 261.08/186.47 c cleaning 14001 clauses out of 28007 with flag 219503/630597 268.47/190.10 c cleaning 14999 clauses out of 30007 with flag 254660/646598 278.15/194.93 c cleaning 15999 clauses out of 32008 with flag 313771/663598 288.44/200.10 c cleaning 16990 clauses out of 34008 with flag 391804/681597 293.64/202.64 c And the winner is solver0 294.04/203.08 c Got one! Elapsed wall clock time (in seconds):202.963 294.04/203.08 o -727 296.51/204.28 c cleaning 16531 clauses out of 33064 with flag 13768/697643 299.25/205.53 c cleaning 11261 clauses out of 22532 with flag 29708/703642 301.86/206.83 c cleaning 9130 clauses out of 18271 with flag 49701/710642 304.92/208.31 c cleaning 8565 clauses out of 17142 with flag 71750/718643 308.11/209.91 c cleaning 8788 clauses out of 17576 with flag 97750/727642 311.72/211.76 c cleaning 9390 clauses out of 18788 with flag 129757/737642 315.92/213.88 c cleaning 10195 clauses out of 20398 with flag 165557/748642 320.79/216.26 c cleaning 11100 clauses out of 22203 with flag 206083/760642 325.79/218.79 c cleaning 12047 clauses out of 24104 with flag 242252/773643 331.59/221.65 c cleaning 13028 clauses out of 26056 with flag 280421/787642 338.08/224.82 c cleaning 14011 clauses out of 28028 with flag 323910/802642 345.09/228.33 c cleaning 15004 clauses out of 30017 with flag 370832/818642 353.07/232.30 c cleaning 16004 clauses out of 32015 with flag 417281/835644 361.67/236.51 c cleaning 17004 clauses out of 34010 with flag 462982/853643 371.20/241.20 c cleaning 18001 clauses out of 36005 with flag 513264/872642 380.80/246.02 c cleaning 19002 clauses out of 38004 with flag 566479/892642 391.89/251.54 c cleaning 19999 clauses out of 40002 with flag 623122/913642 404.81/257.90 c cleaning 20998 clauses out of 42004 with flag 685163/935643 417.95/264.43 c cleaning 21999 clauses out of 44005 with flag 753141/958642 432.50/271.67 c cleaning 23000 clauses out of 46006 with flag 818304/982642 446.69/278.78 c cleaning 24000 clauses out of 48007 with flag 887234/1007643 462.82/286.75 c cleaning 25003 clauses out of 50007 with flag 960302/1033643 480.86/296.22 c cleaning 26001 clauses out of 52004 with flag 1034948/1060643 498.71/305.16 c cleaning 26996 clauses out of 54002 with flag 1115733/1088642 517.87/314.61 c cleaning 27998 clauses out of 56006 with flag 1195904/1117642 537.98/324.64 c cleaning 29002 clauses out of 58009 with flag 1281370/1147643 558.90/335.04 c cleaning 29998 clauses out of 60007 with flag 1369712/1178643 581.24/346.16 c cleaning 31003 clauses out of 62009 with flag 1455784/1210643 605.57/358.13 c cleaning 32000 clauses out of 64005 with flag 1540718/1243642 630.14/370.32 c cleaning 33000 clauses out of 66006 with flag 1629596/1277643 655.70/382.98 c cleaning 34001 clauses out of 68005 with flag 1724523/1312642 683.25/396.61 c cleaning 34997 clauses out of 70005 with flag 1824245/1348643 712.01/410.88 c cleaning 36001 clauses out of 72008 with flag 1932675/1385643 740.84/425.12 c cleaning 37001 clauses out of 74006 with flag 2032230/1423642 770.68/439.93 c cleaning 37996 clauses out of 76006 with flag 2134790/1462643 802.25/455.68 c cleaning 39003 clauses out of 78010 with flag 2234630/1502643 838.07/473.49 c cleaning 39997 clauses out of 80006 with flag 2350719/1543642 856.57/482.69 c And the winner is solver0 857.34/483.28 c Got one! Elapsed wall clock time (in seconds):483.165 857.34/483.28 o -728 862.07/485.67 c cleaning 35541 clauses out of 71097 with flag 11159/1574730 865.69/487.41 c cleaning 20771 clauses out of 41556 with flag 24178/1580730 868.67/488.98 c cleaning 13889 clauses out of 27785 with flag 41590/1587730 872.17/490.63 c cleaning 10940 clauses out of 21896 with flag 60545/1595730 875.56/492.40 c cleaning 9972 clauses out of 19955 with flag 83651/1604729 879.56/494.36 c cleaning 9991 clauses out of 19984 with flag 111400/1614730 883.96/496.54 c cleaning 10493 clauses out of 20993 with flag 144053/1625730 888.88/498.97 c cleaning 11250 clauses out of 22499 with flag 175151/1637729 894.29/501.67 c cleaning 12123 clauses out of 24250 with flag 211118/1650730 900.28/504.67 c cleaning 13063 clauses out of 26127 with flag 250656/1664730 901.09/505.07 c And the winner is solver0 901.76/505.64 c Got one! Elapsed wall clock time (in seconds):505.525 901.76/505.64 o -730 903.20/506.31 c cleaning 9123 clauses out of 18257 with flag 6490/1669923 905.20/507.39 c cleaning 7560 clauses out of 15134 with flag 20396/1675923 907.02/508.27 c And the winner is solver0 907.59/508.75 c Got one! Elapsed wall clock time (in seconds):508.632 907.59/508.75 o -731 909.32/509.66 c cleaning 8926 clauses out of 17858 with flag 11520/1686207 911.51/510.71 c cleaning 7461 clauses out of 14931 with flag 25308/1692206 913.92/511.93 c cleaning 7227 clauses out of 14470 with flag 43013/1699206 916.71/513.32 c cleaning 7620 clauses out of 15244 with flag 61417/1707207 917.31/513.61 c And the winner is solver0 918.15/514.26 c Got one! Elapsed wall clock time (in seconds):514.141 918.15/514.26 o -732 919.46/514.94 c cleaning 6736 clauses out of 13482 with flag 8547/1713065 921.46/515.92 c cleaning 6366 clauses out of 12746 with flag 22700/1719065 923.87/517.12 c cleaning 6686 clauses out of 13379 with flag 39044/1726064 926.46/518.50 c cleaning 7344 clauses out of 14694 with flag 57768/1734065 929.86/520.15 c cleaning 8173 clauses out of 16349 with flag 78395/1743064 930.27/520.37 c And the winner is solver0 930.84/520.87 c Got one! Elapsed wall clock time (in seconds):520.749 930.84/520.87 o -734 932.36/521.62 c cleaning 6751 clauses out of 13508 with flag 9307/1748396 934.68/522.72 c cleaning 6376 clauses out of 12758 with flag 24123/1754397 937.08/523.94 c cleaning 6688 clauses out of 13381 with flag 41444/1761396 940.08/525.41 c cleaning 7344 clauses out of 14694 with flag 61034/1769397 943.48/527.14 c cleaning 8174 clauses out of 16349 with flag 90704/1778396 947.28/529.10 c cleaning 9086 clauses out of 18176 with flag 122107/1788397 952.22/531.45 c cleaning 10043 clauses out of 20089 with flag 153114/1799396 957.21/533.98 c cleaning 11018 clauses out of 22047 with flag 194018/1811397 963.02/536.83 c cleaning 12011 clauses out of 24028 with flag 232666/1824396 971.34/541.86 c cleaning 13008 clauses out of 26018 with flag 277992/1838397 978.14/545.27 c cleaning 14002 clauses out of 28009 with flag 320671/1853396 985.75/549.04 c cleaning 15001 clauses out of 30008 with flag 368284/1869397 993.80/553.10 c cleaning 16004 clauses out of 32007 with flag 414822/1886397 1002.81/557.58 c cleaning 16999 clauses out of 34003 with flag 472004/1904397 1012.86/562.55 c cleaning 17998 clauses out of 36004 with flag 532955/1923397 1023.27/567.79 c cleaning 18998 clauses out of 38005 with flag 591229/1943396 1034.13/573.19 c cleaning 20003 clauses out of 40008 with flag 646667/1964397 1045.98/579.01 c cleaning 21000 clauses out of 42004 with flag 706485/1986396 1058.40/585.22 c cleaning 22000 clauses out of 44004 with flag 772969/2009396 1072.06/592.07 c cleaning 23001 clauses out of 46005 with flag 846636/2033397 1087.20/599.51 c cleaning 24001 clauses out of 48003 with flag 912480/2058396 1102.49/607.14 c cleaning 24996 clauses out of 50003 with flag 974704/2084397 1118.49/615.13 c cleaning 26000 clauses out of 52006 with flag 1042263/2111396 1136.20/623.91 c cleaning 26994 clauses out of 54006 with flag 1119707/2139396 1154.70/633.18 c cleaning 28004 clauses out of 56012 with flag 1197657/2168396 1173.83/642.68 c cleaning 29003 clauses out of 58008 with flag 1273119/2198396 1195.18/653.28 c cleaning 30001 clauses out of 60005 with flag 1352257/2229396 1217.54/664.30 c cleaning 30999 clauses out of 62005 with flag 1438189/2261397 1241.51/676.24 c cleaning 32003 clauses out of 64006 with flag 1530356/2294397 1266.72/688.78 c cleaning 32998 clauses out of 66002 with flag 1622515/2328396 1292.31/701.39 c cleaning 33997 clauses out of 68004 with flag 1716193/2363396 1319.35/714.72 c cleaning 35002 clauses out of 70008 with flag 1827654/2399397 1345.99/727.90 c cleaning 36001 clauses out of 72006 with flag 1937038/2436397 1375.47/742.45 c cleaning 36997 clauses out of 74005 with flag 2042538/2474397 1405.73/757.47 c cleaning 37996 clauses out of 76007 with flag 2155512/2513396 1437.32/773.02 c cleaning 39003 clauses out of 78012 with flag 2279806/2553397 1472.14/790.24 c cleaning 40003 clauses out of 80009 with flag 2396129/2594397 1508.06/808.82 c cleaning 41002 clauses out of 82006 with flag 2517525/2636397 1542.37/825.94 c cleaning 41998 clauses out of 84004 with flag 2645417/2679397 1579.72/844.53 c cleaning 43001 clauses out of 86006 with flag 2783612/2723397 1621.50/865.39 c cleaning 44000 clauses out of 88004 with flag 2906940/2768396 1662.66/885.78 c cleaning 45000 clauses out of 90005 with flag 3040140/2814397 1683.00/895.82 c And the winner is solver0 1684.12/896.80 c Got one! Elapsed wall clock time (in seconds):896.678 1684.12/896.80 o -736 1688.71/899.13 c cleaning 38813 clauses out of 77635 with flag 11412/2847027 1692.11/900.83 c cleaning 22402 clauses out of 44822 with flag 25311/2853027 1695.11/902.38 c cleaning 14705 clauses out of 29421 with flag 41583/2860028 1698.60/904.02 c cleaning 11349 clauses out of 22716 with flag 58975/2868028 1702.03/905.76 c cleaning 10176 clauses out of 20367 with flag 80424/2877028 1705.85/907.62 c cleaning 10089 clauses out of 20191 with flag 103865/2887028 1710.25/909.87 c cleaning 10551 clauses out of 21103 with flag 130585/2898029 1715.23/912.34 c cleaning 11273 clauses out of 22551 with flag 163930/2910028 1720.97/915.12 c cleaning 12135 clauses out of 24277 with flag 199838/2923027 1726.97/918.18 c cleaning 13069 clauses out of 26142 with flag 236231/2937027 1733.57/921.46 c cleaning 14034 clauses out of 28074 with flag 274711/2952028 1741.33/925.24 c cleaning 15017 clauses out of 30039 with flag 315651/2968027 1749.12/929.17 c cleaning 16010 clauses out of 32022 with flag 360293/2985027 1758.05/933.52 c cleaning 17005 clauses out of 34013 with flag 405593/3003028 1767.05/938.09 c cleaning 17999 clauses out of 36008 with flag 454014/3022028 1773.64/941.37 c And the winner is solver0 1775.07/942.47 c Got one! Elapsed wall clock time (in seconds):942.355 1775.07/942.47 o -737 1777.76/943.89 c cleaning 18480 clauses out of 36963 with flag 11698/3040982 1780.34/945.14 c cleaning 12235 clauses out of 24483 with flag 26032/3046982 1782.94/946.48 c cleaning 9615 clauses out of 19248 with flag 42426/3053982 1785.94/947.91 c cleaning 8810 clauses out of 17633 with flag 62200/3061982 1788.96/949.43 c And the winner is solver0 1789.69/950.18 c Got one! Elapsed wall clock time (in seconds):950.065 1789.69/950.18 o -738 1791.75/951.29 c cleaning 11085 clauses out of 22174 with flag 11275/3075333 1794.41/952.50 c cleaning 8539 clauses out of 17089 with flag 25638/3081333 1796.82/953.74 c cleaning 7770 clauses out of 15551 with flag 43116/3088334 1799.60/955.18 c cleaning 7887 clauses out of 15780 with flag 62851/3096333 1800.00/955.30 c >>>>>>>>>> Solver number 0 (140 answers) <<<<<<<<<<<<<<<<<< 1800.00/955.30 c starts : 1332 1800.00/955.30 c conflicts : 3097043 1800.00/955.30 c decisions : 3551057 1800.00/955.30 c propagations : 138290143 1800.00/955.30 c inspects : 8296669040 1800.00/955.30 c shortcuts : 0 1800.00/955.30 c learnt literals : 0 1800.00/955.30 c learnt binary clauses : 69 1800.00/955.30 c learnt ternary clauses : 621 1800.00/955.30 c learnt constraints : 3097043 1800.00/955.30 c ignored constraints : 0 1800.00/955.30 c root simplifications : 0 1800.00/955.30 c removed literals (reason simplification) : 61158418 1800.00/955.30 c reason swapping (by a shorter reason) : 0 1800.00/955.30 c Calls to reduceDB : 188 1800.00/955.30 c Number of update (reduction) of LBD : 5922 1800.00/955.30 c Imported unit clauses : 0 1800.00/955.30 c number of reductions to clauses (during analyze) : 0 1800.00/955.30 c number of learned constraints concerned by reduction : 0 1800.00/955.30 c number of learning phase by resolution : 0 1800.00/955.30 c number of learning phase by cutting planes : 0 1800.00/955.30 c speed (assignments/second) : 154897.82287521157 1800.00/955.30 c non guided choices 0 1800.00/955.31 c learnt constraints type 1800.00/955.31 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 69 1800.00/955.31 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 8534 1800.00/955.31 c >>>>>>>>>> Solver number 1 (1 answers) <<<<<<<<<<<<<<<<<< 1800.00/955.31 c starts : 186 1800.00/955.31 c conflicts : 7463 1800.00/955.31 c decisions : 11798 1800.00/955.31 c propagations : 631593 1800.00/955.31 c inspects : 933362975 1800.00/955.31 c shortcuts : 0 1800.00/955.31 c learnt literals : 0 1800.00/955.31 c learnt binary clauses : 0 1800.00/955.31 c learnt ternary clauses : 0 1800.00/955.31 c learnt constraints : 7362 1800.00/955.31 c ignored constraints : 0 1800.00/955.31 c root simplifications : 0 1800.00/955.31 c removed literals (reason simplification) : 0 1800.00/955.31 c reason swapping (by a shorter reason) : 0 1800.00/955.31 c Calls to reduceDB : 0 1800.00/955.31 c Number of update (reduction) of LBD : 0 1800.00/955.31 c Imported unit clauses : 0 1800.00/955.31 c number of reductions to clauses (during analyze) : 0 1800.00/955.31 c number of learned constraints concerned by reduction : 0 1800.00/955.31 c number of learning phase by resolution : 0 1800.00/955.31 c number of learning phase by cutting planes : 0 1800.00/955.31 c speed (assignments/second) : 123406.21336459553 1800.00/955.31 c non guided choices 0 1800.00/955.31 c learnt constraints type 1800.00/955.31 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 1 1800.00/955.31 c org.sat4j.pb.constraints.pb.MaxWatchPb => 7361 1800.00/955.31 s SATISFIABLE 1800.00/955.31 c Found 141 solution(s) 1800.00/955.31 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 1800.00/955.31 c objective function=-738 1800.00/955.31 c Total wall clock time (in seconds): 955.195
OK -738
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-4119229-1467250577/watcher-4119229-1467250577 -o /tmp/evaluation-result-4119229-1467250577/solver-4119229-1467250577 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119229-1467250577.opb pid=10308 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.91 3.82 3.52 4/197 10311 /proc/meminfo: memFree=25196972/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9292 CPUtime=0 cores=1,3,5,7 /proc/10311/stat : 10311 (java) D 10308 10311 8968 0 -1 4202496 523 0 0 0 0 0 0 0 20 0 1 0 5953789 9515008 175 33554432000 1073741824 1073778376 140736205297232 140736205279960 218234700688 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2323 175 133 9 0 71 0 [startup+0.10016 s] /proc/loadavg: 3.91 3.82 3.52 4/197 10311 /proc/meminfo: memFree=25196972/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9558476 CPUtime=0.09 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 4401 0 1 0 8 1 0 0 20 0 18 0 5953789 9787879424 6029 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2389619 6029 2126 9 0 2380296 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9558476 [startup+0.200284 s] /proc/loadavg: 3.91 3.82 3.52 4/197 10311 /proc/meminfo: memFree=25196972/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9558476 CPUtime=0.22 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 4597 0 1 0 21 1 0 0 20 0 18 0 5953789 9787879424 7221 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2389619 7221 2211 9 0 2380296 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 9558476 [startup+0.300236 s] /proc/loadavg: 3.91 3.82 3.52 4/197 10311 /proc/meminfo: memFree=25196972/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9824732 CPUtime=0.45 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 5314 0 1 0 43 2 0 0 20 0 22 0 5953789 10060525568 9334 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2456183 9334 2241 9 0 2446860 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9824732 [startup+0.700275 s] /proc/loadavg: 3.91 3.82 3.52 4/197 10311 /proc/meminfo: memFree=25196972/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9824732 CPUtime=0.49 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 5349 0 1 0 45 4 0 0 20 0 19 0 5953789 10060525568 9335 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2456183 9335 2252 9 0 2446860 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9824732 [startup+1.50074 s] /proc/loadavg: 3.91 3.82 3.52 3/216 10336 /proc/meminfo: memFree=25158424/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 15939 0 1 0 95 9 0 0 20 0 19 0 5953789 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2456183 17234 2254 9 0 2446860 0 [pid=10311/tid=10313] ppid=10308 vsize=9824732 CPUtime=0.27 cores=1,3,5,7 /proc/10311/task/10313/stat : 10313 (java) S 10308 10311 8968 0 -1 4202560 2421 0 1 0 25 2 0 0 20 0 19 0 5953790 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464944792440 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10314] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10314/stat : 10314 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464906283176 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10315] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10315/stat : 10315 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464905230632 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10316] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10316/stat : 10316 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464904178088 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10317] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10317/stat : 10317 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464903125544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10318] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10318/stat : 10318 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464902073000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10319] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10319/stat : 10319 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464901020456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10320] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10320/stat : 10320 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464899967912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10321] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10321/stat : 10321 (java) S 10308 10311 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464898915368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10322] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10322/stat : 10322 (java) S 10308 10311 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5953792 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464768387176 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10323] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10323/stat : 10323 (java) S 10308 10311 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5953793 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464767333496 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10324] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10324/stat : 10324 (java) S 10308 10311 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5953793 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464766280840 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10325] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10325/stat : 10325 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953795 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464765229584 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10326] ppid=10308 vsize=9824732 CPUtime=0.31 cores=1,3,5,7 /proc/10311/task/10326/stat : 10326 (java) R 10308 10311 8968 0 -1 4202560 6593 0 0 0 30 1 0 0 20 0 19 0 5953795 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464764154296 140464948317015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10327] ppid=10308 vsize=9824732 CPUtime=0.32 cores=1,3,5,7 /proc/10311/task/10327/stat : 10327 (java) R 10308 10311 8968 0 -1 4202560 5576 0 0 0 32 0 0 0 20 0 19 0 5953795 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464763111936 140464947698061 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10328] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10328/stat : 10328 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953795 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464762072056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10329] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10329/stat : 10329 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953795 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140464761019720 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10332] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10332/stat : 10332 (java) S 10308 10311 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5953819 10060525568 17234 33554432000 1073741824 1073778376 140736205297232 140463616021544 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 9824732 [startup+3.10081 s] /proc/loadavg: 3.91 3.82 3.52 3/216 10342 /proc/meminfo: memFree=25132328/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9824732 CPUtime=1.26 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 15977 0 1 0 115 11 0 0 20 0 19 0 5953789 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2456183 20136 2262 9 0 2446860 0 [pid=10311/tid=10313] ppid=10308 vsize=9824732 CPUtime=0.28 cores=1,3,5,7 /proc/10311/task/10313/stat : 10313 (java) S 10308 10311 8968 0 -1 4202560 2423 0 1 0 26 2 0 0 20 0 19 0 5953790 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464944792440 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10314] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10314/stat : 10314 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464906283176 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10315] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10315/stat : 10315 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464905230632 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10316] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10316/stat : 10316 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464904178088 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10317] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10317/stat : 10317 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464903125544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10318] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10318/stat : 10318 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464902073000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10319] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10319/stat : 10319 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464901020456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10320] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10320/stat : 10320 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464899967912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10321] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10321/stat : 10321 (java) S 10308 10311 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464898915368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10322] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10322/stat : 10322 (java) S 10308 10311 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5953792 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464768387176 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10323] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10323/stat : 10323 (java) S 10308 10311 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5953793 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464767333496 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10324] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10324/stat : 10324 (java) S 10308 10311 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5953793 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464766280840 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10325] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10325/stat : 10325 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953795 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464765229584 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10326] ppid=10308 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/10311/task/10326/stat : 10326 (java) S 10308 10311 8968 0 -1 4202560 6595 0 0 0 37 2 0 0 20 0 19 0 5953795 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464764176952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10327] ppid=10308 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/10311/task/10327/stat : 10327 (java) S 10308 10311 8968 0 -1 4202560 5584 0 0 0 42 0 0 0 20 0 19 0 5953795 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464763124408 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10328] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10328/stat : 10328 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953795 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464762072056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10329] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10329/stat : 10329 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953795 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140464761019720 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10332] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10332/stat : 10332 (java) S 10308 10311 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5953819 10060525568 20136 33554432000 1073741824 1073778376 140736205297232 140463616021544 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.26 Current children cumulated vsize (KiB) 9824732 heavy processes: [startup+6.30081 s] /proc/loadavg: 3.76 3.79 3.51 3/216 10363 /proc/meminfo: memFree=25097596/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9824732 CPUtime=1.46 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 16064 0 1 0 135 11 0 0 20 0 19 0 5953789 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2456183 27758 2269 9 0 2446860 0 [pid=10311/tid=10313] ppid=10308 vsize=9824732 CPUtime=0.3 cores=1,3,5,7 /proc/10311/task/10313/stat : 10313 (java) S 10308 10311 8968 0 -1 4202560 2427 0 1 0 28 2 0 0 20 0 19 0 5953790 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464944792440 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10314] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10314/stat : 10314 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464906283176 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10315] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10315/stat : 10315 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464905230632 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10316] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10316/stat : 10316 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464904178088 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10317] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10317/stat : 10317 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464903125544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10318] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10318/stat : 10318 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464902073000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10319] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10319/stat : 10319 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464901020456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10320] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10320/stat : 10320 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464899967912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10321] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10321/stat : 10321 (java) S 10308 10311 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5953791 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464898915368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10322] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10322/stat : 10322 (java) S 10308 10311 8968 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5953792 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464768387176 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10323] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10323/stat : 10323 (java) S 10308 10311 8968 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5953793 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464767333496 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10324] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10324/stat : 10324 (java) S 10308 10311 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5953793 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464766280840 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10325] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10325/stat : 10325 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953795 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464765229584 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10326] ppid=10308 vsize=9824732 CPUtime=0.47 cores=1,3,5,7 /proc/10311/task/10326/stat : 10326 (java) S 10308 10311 8968 0 -1 4202560 6605 0 0 0 45 2 0 0 20 0 19 0 5953795 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464764176952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10327] ppid=10308 vsize=9824732 CPUtime=0.52 cores=1,3,5,7 /proc/10311/task/10327/stat : 10327 (java) S 10308 10311 8968 0 -1 4202560 5590 0 0 0 52 0 0 0 20 0 19 0 5953795 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464763124408 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10328] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10328/stat : 10328 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5953795 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464762072056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10329] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10329/stat : 10329 (java) S 10308 10311 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5953795 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140464761019720 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10332] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10332/stat : 10332 (java) S 10308 10311 8968 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5953819 10060525568 27758 33554432000 1073741824 1073778376 140736205297232 140463616021544 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=10311/tid=10830] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10830/stat : 10830 (java) S 10308 10311 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6005877 10060525568 939513 33554432000 1073741824 1073778376 140736205297232 140464759964584 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1655.75 Current children cumulated vsize (KiB) 9824732 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.78 5/213 10909 /proc/meminfo: memFree=25384008/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9824732 CPUtime=1774.97 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 35432 0 1 0 177072 425 0 0 20 0 20 0 5953789 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2456183 939712 2302 9 0 2446860 0 [pid=10311/tid=10313] ppid=10308 vsize=9824732 CPUtime=0.57 cores=1,3,5,7 /proc/10311/task/10313/stat : 10313 (java) S 10308 10311 8968 0 -1 4202560 2454 0 1 0 51 6 0 0 20 0 20 0 5953790 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464944792440 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10314] ppid=10308 vsize=9824732 CPUtime=3.62 cores=1,3,5,7 /proc/10311/task/10314/stat : 10314 (java) S 10308 10311 8968 0 -1 4202560 718 0 0 0 342 20 0 0 20 0 20 0 5953791 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464906283176 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10315] ppid=10308 vsize=9824732 CPUtime=3.49 cores=1,3,5,7 /proc/10311/task/10315/stat : 10315 (java) S 10308 10311 8968 0 -1 4202560 799 0 0 0 332 17 0 0 20 0 20 0 5953791 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464905230632 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10316] ppid=10308 vsize=9824732 CPUtime=3.96 cores=1,3,5,7 /proc/10311/task/10316/stat : 10316 (java) S 10308 10311 8968 0 -1 4202560 861 0 0 0 372 24 0 0 20 0 20 0 5953791 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464904178088 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10317] ppid=10308 vsize=9824732 CPUtime=3.46 cores=1,3,5,7 /proc/10311/task/10317/stat : 10317 (java) S 10308 10311 8968 0 -1 4202560 913 0 0 0 327 19 0 0 20 0 20 0 5953791 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464903125544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10318] ppid=10308 vsize=9824732 CPUtime=3.49 cores=1,3,5,7 /proc/10311/task/10318/stat : 10318 (java) S 10308 10311 8968 0 -1 4202560 521 0 0 0 330 19 0 0 20 0 20 0 5953791 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464902073000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10319] ppid=10308 vsize=9824732 CPUtime=3.45 cores=1,3,5,7 /proc/10311/task/10319/stat : 10319 (java) S 10308 10311 8968 0 -1 4202560 632 0 0 0 323 22 0 0 20 0 20 0 5953791 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464901020456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10320] ppid=10308 vsize=9824732 CPUtime=3.29 cores=1,3,5,7 /proc/10311/task/10320/stat : 10320 (java) S 10308 10311 8968 0 -1 4202560 637 0 0 0 312 17 0 0 20 0 20 0 5953791 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464899967912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10321] ppid=10308 vsize=9824732 CPUtime=3.43 cores=1,3,5,7 /proc/10311/task/10321/stat : 10321 (java) S 10308 10311 8968 0 -1 4202560 871 0 0 0 324 19 0 0 20 0 20 0 5953791 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464898915368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10322] ppid=10308 vsize=9824732 CPUtime=5.89 cores=1,3,5,7 /proc/10311/task/10322/stat : 10322 (java) S 10308 10311 8968 0 -1 4202560 2739 0 0 0 575 14 0 0 20 0 20 0 5953792 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464768387176 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10323] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10323/stat : 10323 (java) S 10308 10311 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 5953793 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464767333496 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10324] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10324/stat : 10324 (java) S 10308 10311 8968 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 20 0 5953793 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464766280840 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10325] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10325/stat : 10325 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 5953795 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464765229584 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10326] ppid=10308 vsize=9824732 CPUtime=1.22 cores=1,3,5,7 /proc/10311/task/10326/stat : 10326 (java) S 10308 10311 8968 0 -1 4202560 8037 0 0 0 120 2 0 0 20 0 20 0 5953795 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464764176952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10327] ppid=10308 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/10311/task/10327/stat : 10327 (java) S 10308 10311 8968 0 -1 4202560 12627 0 0 0 206 3 0 0 20 0 20 0 5953795 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464763124408 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10328] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10328/stat : 10328 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 5953795 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464762072056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10329] ppid=10308 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/10311/task/10329/stat : 10329 (java) S 10308 10311 8968 0 -1 4202560 56 0 0 0 15 21 0 0 20 0 20 0 5953795 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140464761019720 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10745] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10745/stat : 10745 (java) S 10308 10311 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 5960041 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140463616021416 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10843] ppid=10308 vsize=9824732 CPUtime=45.09 cores=1,3,5,7 /proc/10311/task/10843/stat : 10843 (java) R 10308 10311 8968 0 -1 4202560 5 0 0 0 4509 0 0 0 20 0 20 0 6043470 10060525568 939712 33554432000 1073741824 1073778376 140736205297232 140463617072824 140464775368078 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1774.97 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+955.301 s] /proc/loadavg: 3.71 3.93 3.76 5/219 10982 /proc/meminfo: memFree=25125376/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9824732 CPUtime=1800 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 35488 0 1 0 179571 429 0 0 20 0 22 0 5953789 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2456183 942309 2302 9 0 2446860 0 [pid=10311/tid=10313] ppid=10308 vsize=9824732 CPUtime=0.58 cores=1,3,5,7 /proc/10311/task/10313/stat : 10313 (java) S 10308 10311 8968 0 -1 4202560 2454 0 1 0 52 6 0 0 20 0 22 0 5953790 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464944792440 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10314] ppid=10308 vsize=9824732 CPUtime=3.64 cores=1,3,5,7 /proc/10311/task/10314/stat : 10314 (java) S 10308 10311 8968 0 -1 4202560 719 0 0 0 344 20 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464906283176 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10315] ppid=10308 vsize=9824732 CPUtime=3.51 cores=1,3,5,7 /proc/10311/task/10315/stat : 10315 (java) S 10308 10311 8968 0 -1 4202560 804 0 0 0 334 17 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464905230632 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10316] ppid=10308 vsize=9824732 CPUtime=3.98 cores=1,3,5,7 /proc/10311/task/10316/stat : 10316 (java) S 10308 10311 8968 0 -1 4202560 861 0 0 0 374 24 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464904178088 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10317] ppid=10308 vsize=9824732 CPUtime=3.48 cores=1,3,5,7 /proc/10311/task/10317/stat : 10317 (java) S 10308 10311 8968 0 -1 4202560 923 0 0 0 329 19 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464903125544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10318] ppid=10308 vsize=9824732 CPUtime=3.55 cores=1,3,5,7 /proc/10311/task/10318/stat : 10318 (java) S 10308 10311 8968 0 -1 4202560 524 0 0 0 336 19 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464902073000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10319] ppid=10308 vsize=9824732 CPUtime=3.47 cores=1,3,5,7 /proc/10311/task/10319/stat : 10319 (java) S 10308 10311 8968 0 -1 4202560 635 0 0 0 325 22 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464901020456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10320] ppid=10308 vsize=9824732 CPUtime=3.33 cores=1,3,5,7 /proc/10311/task/10320/stat : 10320 (java) S 10308 10311 8968 0 -1 4202560 639 0 0 0 316 17 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464899967912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10321] ppid=10308 vsize=9824732 CPUtime=3.45 cores=1,3,5,7 /proc/10311/task/10321/stat : 10321 (java) S 10308 10311 8968 0 -1 4202560 872 0 0 0 326 19 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464898915368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10322] ppid=10308 vsize=9824732 CPUtime=5.89 cores=1,3,5,7 /proc/10311/task/10322/stat : 10322 (java) S 10308 10311 8968 0 -1 4202560 2754 0 0 0 575 14 0 0 20 0 22 0 5953792 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464768387176 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10323] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10323/stat : 10323 (java) S 10308 10311 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 5953793 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464767333496 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10324] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10324/stat : 10324 (java) S 10308 10311 8968 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 5953793 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464766280840 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10325] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10325/stat : 10325 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464765229584 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10326] ppid=10308 vsize=9824732 CPUtime=1.22 cores=1,3,5,7 /proc/10311/task/10326/stat : 10326 (java) S 10308 10311 8968 0 -1 4202560 8037 0 0 0 120 2 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464764176952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10327] ppid=10308 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/10311/task/10327/stat : 10327 (java) S 10308 10311 8968 0 -1 4202560 12627 0 0 0 206 3 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464763124408 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10328] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10328/stat : 10328 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464762072056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10329] ppid=10308 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/10311/task/10329/stat : 10329 (java) S 10308 10311 8968 0 -1 4202560 56 0 0 0 15 21 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464761019720 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10745] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10745/stat : 10745 (java) S 10308 10311 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 5960041 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140463616021416 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10962] ppid=10308 vsize=9824732 CPUtime=5.03 cores=1,3,5,7 /proc/10311/task/10962/stat : 10962 (java) R 10308 10311 8968 0 -1 4202560 4 0 0 0 503 0 0 0 20 0 22 0 6048808 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140463614959232 140464775239879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10963] ppid=10308 vsize=9824732 CPUtime=5.03 cores=1,3,5,7 /proc/10311/task/10963/stat : 10963 (java) R 10308 10311 8968 0 -1 4202560 3 0 0 0 503 0 0 0 20 0 22 0 6048808 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140463617072536 140464775368078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10964] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10964/stat : 10964 (java) S 10308 10311 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6048808 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464759964712 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800 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 10311 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+955.301 s] /proc/loadavg: 3.71 3.93 3.76 5/219 10982 /proc/meminfo: memFree=25125376/32872528 swapFree=7620/7620 [pid=10311] ppid=10308 vsize=9824732 CPUtime=1800 cores=1,3,5,7 /proc/10311/stat : 10311 (java) S 10308 10311 8968 0 -1 4202496 35488 0 1 0 179571 429 0 0 20 0 22 0 5953789 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140736205288368 218238058557 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/10311/statm: 2456183 942309 2302 9 0 2446860 0 [pid=10311/tid=10313] ppid=10308 vsize=9824732 CPUtime=0.58 cores=1,3,5,7 /proc/10311/task/10313/stat : 10313 (java) S 10308 10311 8968 0 -1 4202560 2454 0 1 0 52 6 0 0 20 0 22 0 5953790 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464944792440 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10314] ppid=10308 vsize=9824732 CPUtime=3.64 cores=1,3,5,7 /proc/10311/task/10314/stat : 10314 (java) S 10308 10311 8968 0 -1 4202560 719 0 0 0 344 20 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464906283176 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10315] ppid=10308 vsize=9824732 CPUtime=3.51 cores=1,3,5,7 /proc/10311/task/10315/stat : 10315 (java) S 10308 10311 8968 0 -1 4202560 804 0 0 0 334 17 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464905230632 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10316] ppid=10308 vsize=9824732 CPUtime=3.98 cores=1,3,5,7 /proc/10311/task/10316/stat : 10316 (java) S 10308 10311 8968 0 -1 4202560 861 0 0 0 374 24 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464904178088 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10317] ppid=10308 vsize=9824732 CPUtime=3.48 cores=1,3,5,7 /proc/10311/task/10317/stat : 10317 (java) S 10308 10311 8968 0 -1 4202560 923 0 0 0 329 19 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464903125544 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10318] ppid=10308 vsize=9824732 CPUtime=3.55 cores=1,3,5,7 /proc/10311/task/10318/stat : 10318 (java) S 10308 10311 8968 0 -1 4202560 524 0 0 0 336 19 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464902073000 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10319] ppid=10308 vsize=9824732 CPUtime=3.47 cores=1,3,5,7 /proc/10311/task/10319/stat : 10319 (java) S 10308 10311 8968 0 -1 4202560 635 0 0 0 325 22 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464901020456 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10320] ppid=10308 vsize=9824732 CPUtime=3.33 cores=1,3,5,7 /proc/10311/task/10320/stat : 10320 (java) S 10308 10311 8968 0 -1 4202560 639 0 0 0 316 17 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464899967912 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10321] ppid=10308 vsize=9824732 CPUtime=3.45 cores=1,3,5,7 /proc/10311/task/10321/stat : 10321 (java) S 10308 10311 8968 0 -1 4202560 872 0 0 0 326 19 0 0 20 0 22 0 5953791 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464898915368 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10322] ppid=10308 vsize=9824732 CPUtime=5.89 cores=1,3,5,7 /proc/10311/task/10322/stat : 10322 (java) S 10308 10311 8968 0 -1 4202560 2754 0 0 0 575 14 0 0 20 0 22 0 5953792 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464768387176 218238072745 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10323] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10323/stat : 10323 (java) S 10308 10311 8968 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 5953793 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464767333496 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10324] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10324/stat : 10324 (java) S 10308 10311 8968 0 -1 4202560 38 0 0 0 0 0 0 0 20 0 22 0 5953793 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464766280840 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10325] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10325/stat : 10325 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464765229584 218238080800 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10326] ppid=10308 vsize=9824732 CPUtime=1.22 cores=1,3,5,7 /proc/10311/task/10326/stat : 10326 (java) S 10308 10311 8968 0 -1 4202560 8037 0 0 0 120 2 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464764176952 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=10311/tid=10327] ppid=10308 vsize=9824732 CPUtime=2.09 cores=1,3,5,7 /proc/10311/task/10327/stat : 10327 (java) S 10308 10311 8968 0 -1 4202560 12627 0 0 0 206 3 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464763124408 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10328] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10328/stat : 10328 (java) S 10308 10311 8968 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464762072056 218238071868 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10329] ppid=10308 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/10311/task/10329/stat : 10329 (java) S 10308 10311 8968 0 -1 4202560 56 0 0 0 15 21 0 0 20 0 22 0 5953795 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464761019720 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10745] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10745/stat : 10745 (java) S 10308 10311 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 5960041 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140463616021416 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=10311/tid=10962] ppid=10308 vsize=9824732 CPUtime=5.03 cores=1,3,5,7 /proc/10311/task/10962/stat : 10962 (java) R 10308 10311 8968 0 -1 4202560 4 0 0 0 503 0 0 0 20 0 22 0 6048808 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140463614959232 140464775239879 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=10311/tid=10963] ppid=10308 vsize=9824732 CPUtime=5.03 cores=1,3,5,7 /proc/10311/task/10963/stat : 10963 (java) R 10308 10311 8968 0 -1 4202560 3 0 0 0 503 0 0 0 20 0 22 0 6048808 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140463617072536 140464775368078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=10311/tid=10964] ppid=10308 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/10311/task/10964/stat : 10964 (java) S 10308 10311 8968 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 6048808 10060525568 942309 33554432000 1073741824 1073778376 140736205297232 140464759964712 218238072745 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 9824732 Child status: 143 Real time (s): 955.33 CPU time (s): 1800.3 CPU user time (s): 1795.78 CPU system time (s): 4.51931 CPU usage (%): 188.448 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.78 system time used= 4.51931 maximum resident set size= 3781596 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35523 page faults= 1 swaps= 0 block input operations= 32 block output operations= 984 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27959 involuntary context switches= 30173 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.03108 second user time and 8.00478 second system time The end
Begin job on node106 at 2016-06-30 03:36:17 IDJOB=4119229 IDBENCH=111678 IDSOLVER=2543 FILE ID=node106/4119229-1467250577 RUNJOBID= node106-1467248675-9332 PBS_JOBID= 20004477 Free space on /tmp= 71744 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-08.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119229-1467250577/watcher-4119229-1467250577 -o /tmp/evaluation-result-4119229-1467250577/solver-4119229-1467250577 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1467248675-9332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4119229-1467250577.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b1ffeac28016db478c89954573217882 RANDOM SEED=784187761 node106.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.495 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.99 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.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.495 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.495 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.495 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.56 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.495 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.495 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.495 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 25197872 kB Buffers: 33492 kB Cached: 2862124 kB SwapCached: 0 kB Active: 6228152 kB Inactive: 672172 kB Active(anon): 3991452 kB Inactive(anon): 16084 kB Active(file): 2236700 kB Inactive(file): 656088 kB Unevictable: 7620 kB Mlocked: 7620 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 816 kB Writeback: 0 kB AnonPages: 4018784 kB Mapped: 23464 kB Shmem: 204 kB Slab: 623964 kB SReclaimable: 67120 kB SUnreclaim: 556844 kB KernelStack: 1608 kB PageTables: 11676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 4493160 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3901440 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 node106 at 2016-06-30 03:52:12