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) | -1492 | 1800.74 | 954.881 |
| Name | PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/ minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.lin.opb |
| MD5SUM | e41fab50c28f2d92f5119de116cc6950 |
| Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -1618 |
| Best CPU time to get the best result obtained on this benchmark | 1800.02 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 2036 |
| Total number of constraints | 3952 |
| Number of constraints which are clauses | 1976 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 1976 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 5 |
| Number of terms in the objective function | 2036 |
| 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 | 95824 |
| Number of bits of the sum of numbers in the objective function | 17 |
| Biggest number in a constraint | 200 |
| Number of bits of the biggest number in a constraint | 8 |
| Biggest sum of numbers in a constraint | 95824 |
| Number of bits of the biggest sum of numbers | 17 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.09 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.00/0.09 c This is free software under the dual EPL/GNU LGPL licenses. 0.00/0.09 c See www.sat4j.org for details. 0.00/0.09 c version PB16.v20160501 0.00/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.00/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.00/0.09 c java.vm.version 19.1-b02 0.00/0.09 c java.vm.vendor Sun Microsystems Inc. 0.00/0.09 c sun.arch.data.model 64 0.00/0.09 c java.version 1.6.0_24 0.00/0.09 c os.name Linux 0.00/0.09 c os.version 2.6.32-71.29.1.el6.x86_64 0.00/0.09 c os.arch amd64 0.00/0.09 c Free memory 501472288 0.00/0.09 c Max memory 7480803328 0.00/0.09 c Total memory 504102912 0.00/0.09 c Number of processors 8 0.08/0.12 c Pseudo Boolean Optimization by upper bound 0.08/0.12 c ManyCore solver with 2 solvers running in parallel 0.08/0.12 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.08/0.12 c Expensive reason simplification 0.08/0.12 c Glucose 2.1 dynamic restart strategy 0.08/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.08/0.12 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.08/0.12 c --- Begin Solver configuration --- 0.08/0.12 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64 0.08/0.12 c Learn all clauses as in MiniSAT 0.08/0.12 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.08/0.12 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.08/0.12 c No reason simplification 0.08/0.12 c Armin Biere (Picosat) restarts strategy 0.08/0.12 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.08/0.12 c timeout=2147483s 0.08/0.12 c DB Simplification allowed=false 0.08/0.12 c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee 0.08/0.12 c --- End Solver configuration --- 0.08/0.12 c solving HOME/instance-4118332-1467225763.opb 0.08/0.12 c reading problem ... 0.08/0.12 c objective function found 0.49/0.39 c ... done. Wall clock time 0.268s. 0.49/0.39 c declared #vars 2036 0.49/0.39 c #constraints 3952 0.49/0.39 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.49/0.39 c constraints type 0.49/0.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1976 0.49/0.39 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1976 0.49/0.39 c 3952 constraints processed. 0.49/0.39 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.49/0.39 c constraints type 0.49/0.39 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1976 0.49/0.39 c org.sat4j.pb.constraints.pb.MaxWatchPb => 1976 0.49/0.39 c 3952 constraints processed. 0.49/0.39 c objective function length is 2036 literals 0.77/0.43 c And the winner is solver0 0.93/0.90 c SATISFIABLE 0.93/0.90 c OPTIMIZING... 0.93/0.90 c Got one! Elapsed wall clock time (in seconds):0.779 0.93/0.90 o 0 0.93/0.97 c And the winner is solver0 1.51/1.44 c Got one! Elapsed wall clock time (in seconds):1.319 1.51/1.44 o -21 1.51/1.46 c And the winner is solver0 1.62/1.95 c Got one! Elapsed wall clock time (in seconds):1.832 1.62/1.95 o -42 1.62/1.97 c And the winner is solver0 1.74/2.46 c Got one! Elapsed wall clock time (in seconds):2.339 1.74/2.46 o -68 1.74/2.49 c And the winner is solver0 1.91/2.97 c Got one! Elapsed wall clock time (in seconds):2.844 1.91/2.97 o -93 1.91/2.98 c And the winner is solver0 2.05/3.47 c Got one! Elapsed wall clock time (in seconds):3.349 2.05/3.47 o -94 2.05/3.48 c And the winner is solver0 2.06/3.97 c Got one! Elapsed wall clock time (in seconds):3.853 2.06/3.97 o -117 2.06/3.98 c And the winner is solver0 2.15/4.48 c Got one! Elapsed wall clock time (in seconds):4.357 2.15/4.48 o -122 2.15/4.48 c And the winner is solver0 2.15/4.98 c Got one! Elapsed wall clock time (in seconds):4.86 2.15/4.98 o -123 2.15/4.99 c And the winner is solver0 2.15/5.48 c Got one! Elapsed wall clock time (in seconds):5.363 2.15/5.48 o -126 2.15/5.49 c And the winner is solver0 2.16/5.99 c Got one! Elapsed wall clock time (in seconds):5.866 2.16/5.99 o -149 2.17/6.00 c And the winner is solver0 2.19/6.49 c Got one! Elapsed wall clock time (in seconds):6.37 2.19/6.49 o -152 2.19/6.50 c And the winner is solver0 2.19/6.99 c Got one! Elapsed wall clock time (in seconds):6.873 2.19/6.99 o -155 2.19/7.00 c And the winner is solver0 2.19/7.50 c Got one! Elapsed wall clock time (in seconds):7.375 2.19/7.50 o -158 2.19/7.50 c And the winner is solver0 2.20/8.00 c Got one! Elapsed wall clock time (in seconds):7.879 2.20/8.00 o -160 2.20/8.01 c And the winner is solver0 2.22/8.50 c Got one! Elapsed wall clock time (in seconds):8.382 2.22/8.50 o -179 2.22/8.51 c And the winner is solver0 2.22/9.01 c Got one! Elapsed wall clock time (in seconds):8.885 2.22/9.01 o -181 2.22/9.02 c And the winner is solver0 2.28/9.52 c Got one! Elapsed wall clock time (in seconds):9.395 2.28/9.52 o -183 2.28/9.52 c And the winner is solver0 2.29/10.02 c Got one! Elapsed wall clock time (in seconds):9.898 2.29/10.02 o -185 2.29/10.02 c And the winner is solver0 2.29/10.52 c Got one! Elapsed wall clock time (in seconds):10.4 2.29/10.52 o -186 2.29/10.53 c And the winner is solver0 2.29/11.02 c Got one! Elapsed wall clock time (in seconds):10.903 2.29/11.02 o -191 2.29/11.06 c And the winner is solver0 2.43/11.53 c Got one! Elapsed wall clock time (in seconds):11.406 2.43/11.53 o -198 2.43/11.55 c And the winner is solver0 2.53/12.03 c Got one! Elapsed wall clock time (in seconds):11.909 2.53/12.03 o -204 2.53/12.03 c And the winner is solver0 2.54/12.53 c Got one! Elapsed wall clock time (in seconds):12.412 2.54/12.53 o -205 2.54/12.54 c And the winner is solver0 2.54/13.04 c Got one! Elapsed wall clock time (in seconds):12.915 2.54/13.04 o -210 2.54/13.04 c And the winner is solver0 2.54/13.54 c Got one! Elapsed wall clock time (in seconds):13.417 2.54/13.54 o -212 2.54/13.54 c And the winner is solver0 2.54/14.04 c Got one! Elapsed wall clock time (in seconds):13.92 2.54/14.04 o -213 2.54/14.05 c And the winner is solver0 2.56/14.54 c Got one! Elapsed wall clock time (in seconds):14.423 2.56/14.54 o -214 2.56/14.55 c And the winner is solver0 2.63/15.05 c Got one! Elapsed wall clock time (in seconds):14.926 2.63/15.05 o -218 2.63/15.05 c And the winner is solver0 2.63/15.55 c Got one! Elapsed wall clock time (in seconds):15.428 2.63/15.55 o -219 2.63/15.56 c And the winner is solver0 2.65/16.05 c Got one! Elapsed wall clock time (in seconds):15.931 2.65/16.05 o -221 2.65/16.06 c And the winner is solver0 2.70/16.56 c Got one! Elapsed wall clock time (in seconds):16.434 2.70/16.56 o -224 2.70/16.56 c And the winner is solver0 2.70/17.06 c Got one! Elapsed wall clock time (in seconds):16.937 2.70/17.06 o -228 2.70/17.09 c And the winner is solver0 2.80/17.56 c Got one! Elapsed wall clock time (in seconds):17.44 2.80/17.56 o -236 2.80/17.57 c And the winner is solver0 2.81/18.06 c Got one! Elapsed wall clock time (in seconds):17.943 2.81/18.06 o -242 2.81/18.08 c And the winner is solver0 2.83/18.57 c Got one! Elapsed wall clock time (in seconds):18.446 2.83/18.57 o -244 2.83/18.58 c And the winner is solver0 2.84/19.07 c Got one! Elapsed wall clock time (in seconds):18.949 2.84/19.07 o -248 2.84/19.08 c And the winner is solver0 2.84/19.57 c Got one! Elapsed wall clock time (in seconds):19.451 2.84/19.57 o -249 2.84/19.58 c And the winner is solver0 2.84/20.08 c Got one! Elapsed wall clock time (in seconds):19.954 2.84/20.08 o -252 2.84/20.09 c And the winner is solver0 2.86/20.58 c Got one! Elapsed wall clock time (in seconds):20.457 2.86/20.58 o -257 2.91/20.60 c And the winner is solver0 3.00/21.08 c Got one! Elapsed wall clock time (in seconds):20.96 3.00/21.08 o -275 3.03/21.13 c And the winner is solver0 3.12/21.59 c Got one! Elapsed wall clock time (in seconds):21.463 3.12/21.59 o -278 3.14/21.60 c And the winner is solver0 3.19/22.09 c Got one! Elapsed wall clock time (in seconds):21.966 3.19/22.09 o -280 3.22/22.10 c And the winner is solver0 3.27/22.59 c Got one! Elapsed wall clock time (in seconds):22.469 3.27/22.59 o -281 3.27/22.60 c And the winner is solver0 3.30/23.09 c Got one! Elapsed wall clock time (in seconds):22.971 3.30/23.09 o -282 3.30/23.10 c And the winner is solver0 3.30/23.60 c Got one! Elapsed wall clock time (in seconds):23.474 3.30/23.60 o -285 3.30/23.61 c And the winner is solver0 3.31/24.10 c Got one! Elapsed wall clock time (in seconds):23.977 3.31/24.10 o -290 3.31/24.13 c And the winner is solver0 3.40/24.60 c Got one! Elapsed wall clock time (in seconds):24.48 3.40/24.60 o -307 3.40/24.70 c And the winner is solver0 3.60/25.11 c Got one! Elapsed wall clock time (in seconds):24.983 3.60/25.11 o -311 3.60/25.16 c And the winner is solver0 3.75/25.61 c Got one! Elapsed wall clock time (in seconds):25.486 3.75/25.61 o -312 3.75/25.62 c And the winner is solver0 3.78/26.11 c Got one! Elapsed wall clock time (in seconds):25.989 3.78/26.11 o -313 3.78/26.12 c And the winner is solver0 3.78/26.61 c Got one! Elapsed wall clock time (in seconds):26.492 3.78/26.61 o -314 3.78/26.62 c And the winner is solver0 3.78/27.12 c Got one! Elapsed wall clock time (in seconds):26.994 3.78/27.12 o -315 3.78/27.12 c And the winner is solver0 3.78/27.62 c Got one! Elapsed wall clock time (in seconds):27.497 3.78/27.62 o -316 3.78/27.64 c And the winner is solver0 3.86/28.12 c Got one! Elapsed wall clock time (in seconds):28.0 3.86/28.12 o -321 3.86/28.16 c And the winner is solver0 3.95/28.63 c Got one! Elapsed wall clock time (in seconds):28.503 3.95/28.63 o -322 3.95/28.64 c And the winner is solver0 4.08/29.13 c Got one! Elapsed wall clock time (in seconds):29.005 4.08/29.13 o -323 4.46/29.31 c And the winner is solver0 4.49/29.63 c Got one! Elapsed wall clock time (in seconds):29.508 4.49/29.63 o -344 4.49/29.70 c And the winner is solver0 4.67/30.13 c Got one! Elapsed wall clock time (in seconds):30.011 4.67/30.13 o -347 4.67/30.16 c And the winner is solver0 4.75/30.64 c Got one! Elapsed wall clock time (in seconds):30.514 4.75/30.64 o -348 4.75/30.67 c And the winner is solver0 4.83/31.14 c Got one! Elapsed wall clock time (in seconds):31.017 4.83/31.14 o -352 4.83/31.19 c And the winner is solver0 4.99/31.64 c Got one! Elapsed wall clock time (in seconds):31.52 4.99/31.64 o -353 4.99/31.66 c And the winner is solver0 5.06/32.14 c Got one! Elapsed wall clock time (in seconds):32.023 5.06/32.14 o -354 5.06/32.19 c And the winner is solver0 5.16/32.65 c Got one! Elapsed wall clock time (in seconds):32.526 5.16/32.65 o -357 5.92/33.02 c And the winner is solver0 5.99/33.15 c Got one! Elapsed wall clock time (in seconds):33.029 5.99/33.15 o -369 5.99/33.20 c And the winner is solver0 6.09/33.65 c Got one! Elapsed wall clock time (in seconds):33.532 6.09/33.65 o -371 6.09/33.68 c And the winner is solver0 6.17/34.16 c Got one! Elapsed wall clock time (in seconds):34.035 6.17/34.16 o -372 6.17/34.17 c And the winner is solver0 6.23/34.66 c Got one! Elapsed wall clock time (in seconds):34.538 6.23/34.66 o -374 6.30/34.70 c And the winner is solver0 6.33/35.16 c Got one! Elapsed wall clock time (in seconds):35.04 6.33/35.16 o -375 6.33/35.20 c And the winner is solver0 6.42/35.66 c Got one! Elapsed wall clock time (in seconds):35.543 6.42/35.66 o -376 6.42/35.69 c And the winner is solver0 6.49/36.17 c Got one! Elapsed wall clock time (in seconds):36.046 6.49/36.17 o -377 6.49/36.18 c And the winner is solver0 6.56/36.67 c Got one! Elapsed wall clock time (in seconds):36.549 6.56/36.67 o -378 6.61/36.70 c And the winner is solver0 6.66/37.17 c Got one! Elapsed wall clock time (in seconds):37.052 6.66/37.17 o -381 6.71/37.26 c And the winner is solver0 6.88/37.68 c Got one! Elapsed wall clock time (in seconds):37.555 6.88/37.68 o -385 7.12/37.80 c And the winner is solver0 7.14/38.18 c Got one! Elapsed wall clock time (in seconds):38.058 7.14/38.18 o -386 7.14/38.20 c And the winner is solver0 7.22/38.68 c Got one! Elapsed wall clock time (in seconds):38.561 7.22/38.68 o -399 8.79/39.41 c And the winner is solver0 8.88/39.69 c Got one! Elapsed wall clock time (in seconds):39.564 8.88/39.69 o -403 8.92/39.77 c And the winner is solver0 9.07/40.19 c Got one! Elapsed wall clock time (in seconds):40.067 9.07/40.19 o -405 9.30/40.32 c And the winner is solver0 9.40/40.69 c Got one! Elapsed wall clock time (in seconds):40.57 9.40/40.69 o -408 9.42/40.79 c And the winner is solver0 9.64/41.19 c Got one! Elapsed wall clock time (in seconds):41.073 9.64/41.19 o -409 9.64/41.25 c And the winner is solver0 9.78/41.70 c Got one! Elapsed wall clock time (in seconds):41.576 9.78/41.70 o -410 9.99/41.81 c And the winner is solver0 10.02/42.20 c Got one! Elapsed wall clock time (in seconds):42.079 10.02/42.20 o -411 10.02/42.21 c And the winner is solver0 10.10/42.70 c Got one! Elapsed wall clock time (in seconds):42.582 10.10/42.70 o -413 10.34/42.81 c And the winner is solver0 10.39/43.24 c Got one! Elapsed wall clock time (in seconds):43.116 10.39/43.24 o -416 10.91/43.53 c And the winner is solver0 11.00/43.74 c Got one! Elapsed wall clock time (in seconds):43.619 11.00/43.74 o -418 11.00/43.76 c And the winner is solver0 11.08/44.24 c Got one! Elapsed wall clock time (in seconds):44.122 11.08/44.24 o -605 11.58/44.56 c cleaning 6928 clauses out of 13857 with flag 2001/13857 14.05/45.78 c And the winner is solver0 14.26/46.25 c Got one! Elapsed wall clock time (in seconds):46.125 14.26/46.25 o -608 14.83/46.57 c cleaning 6345 clauses out of 12689 with flag 2004/19617 15.72/46.92 c And the winner is solver0 15.89/47.25 c Got one! Elapsed wall clock time (in seconds):47.129 15.89/47.25 o -610 16.21/47.50 c And the winner is solver0 16.44/47.75 c Got one! Elapsed wall clock time (in seconds):47.632 16.44/47.75 o -611 16.81/47.92 c And the winner is solver0 16.87/48.26 c Got one! Elapsed wall clock time (in seconds):48.135 16.87/48.26 o -613 16.95/48.32 c And the winner is solver0 17.01/48.76 c Got one! Elapsed wall clock time (in seconds):48.638 17.01/48.76 o -618 17.27/48.96 c And the winner is solver0 17.46/49.26 c Got one! Elapsed wall clock time (in seconds):49.142 17.46/49.26 o -659 19.61/50.34 c cleaning 7126 clauses out of 14254 with flag 8003/27527 21.46/51.27 c And the winner is solver0 21.60/51.32 c Got one! Elapsed wall clock time (in seconds):51.195 21.60/51.32 o -662 22.61/51.88 c cleaning 6450 clauses out of 12900 with flag 4004/33299 25.87/53.44 c cleaning 6225 clauses out of 12449 with flag 16092/39298 26.47/53.78 c And the winner is solver0 26.66/53.82 c Got one! Elapsed wall clock time (in seconds):53.699 26.66/53.82 o -742 28.43/54.79 c cleaning 5810 clauses out of 11621 with flag 8001/44695 28.63/54.88 c And the winner is solver0 28.83/55.32 c Got one! Elapsed wall clock time (in seconds):55.203 28.83/55.32 o -782 29.98/55.97 c And the winner is solver0 30.19/56.33 c Got one! Elapsed wall clock time (in seconds):56.206 30.19/56.33 o -783 31.21/56.84 c And the winner is solver0 31.36/57.33 c Got one! Elapsed wall clock time (in seconds):57.21 31.36/57.33 o -784 31.68/57.57 c And the winner is solver0 31.88/57.84 c Got one! Elapsed wall clock time (in seconds):57.714 31.88/57.84 o -786 32.00/57.93 c And the winner is solver0 32.11/58.34 c Got one! Elapsed wall clock time (in seconds):58.217 32.11/58.34 o -787 33.23/58.91 c cleaning 6959 clauses out of 13922 with flag 4003/52806 33.63/59.12 c And the winner is solver0 33.72/59.34 c Got one! Elapsed wall clock time (in seconds):59.221 33.72/59.34 o -791 33.72/59.40 c And the winner is solver0 33.90/59.85 c Got one! Elapsed wall clock time (in seconds):59.725 33.90/59.85 o -793 33.90/59.86 c And the winner is solver0 33.95/60.35 c Got one! Elapsed wall clock time (in seconds):60.229 33.95/60.35 o -794 33.95/60.36 c And the winner is solver0 33.98/60.86 c Got one! Elapsed wall clock time (in seconds):60.732 33.98/60.86 o -801 33.98/60.88 c And the winner is solver0 34.04/61.36 c Got one! Elapsed wall clock time (in seconds):61.236 34.04/61.36 o -802 34.04/61.38 c And the winner is solver0 34.10/61.86 c Got one! Elapsed wall clock time (in seconds):61.74 34.10/61.86 o -805 34.17/61.94 c And the winner is solver0 34.30/62.37 c Got one! Elapsed wall clock time (in seconds):62.244 34.30/62.37 o -808 34.36/62.47 c And the winner is solver0 34.56/62.87 c Got one! Elapsed wall clock time (in seconds):62.747 34.56/62.87 o -811 34.82/63.04 c And the winner is solver0 34.94/63.37 c Got one! Elapsed wall clock time (in seconds):63.251 34.94/63.37 o -813 35.19/63.55 c And the winner is solver0 35.36/63.88 c Got one! Elapsed wall clock time (in seconds):63.755 35.36/63.88 o -816 35.59/64.09 c And the winner is solver0 35.83/64.38 c Got one! Elapsed wall clock time (in seconds):64.258 35.83/64.38 o -818 35.86/64.40 c And the winner is solver0 35.90/64.89 c Got one! Elapsed wall clock time (in seconds):64.763 35.90/64.89 o -824 38.80/66.31 c cleaning 7980 clauses out of 15968 with flag 10002/61811 41.00/67.46 c And the winner is solver0 41.18/67.89 c Got one! Elapsed wall clock time (in seconds):67.767 41.18/67.89 o -840 41.59/68.17 c cleaning 6736 clauses out of 13473 with flag 2003/67296 43.79/69.25 c And the winner is solver0 43.95/69.39 c Got one! Elapsed wall clock time (in seconds):69.271 43.95/69.39 o -846 44.36/69.67 c cleaning 6011 clauses out of 12022 with flag 2006/72581 45.42/70.12 c And the winner is solver0 45.53/70.40 c Got one! Elapsed wall clock time (in seconds):70.274 45.53/70.40 o -856 46.13/70.79 c And the winner is solver0 46.39/70.90 c Got one! Elapsed wall clock time (in seconds):70.778 46.39/70.90 o -857 46.58/71.03 c And the winner is solver0 46.69/71.41 c Got one! Elapsed wall clock time (in seconds):71.282 46.69/71.41 o -858 47.09/71.65 c And the winner is solver0 47.25/71.91 c Got one! Elapsed wall clock time (in seconds):71.786 47.25/71.91 o -859 47.25/71.94 c And the winner is solver0 47.35/72.41 c Got one! Elapsed wall clock time (in seconds):72.29 47.35/72.41 o -860 47.35/72.44 c And the winner is solver0 47.42/72.92 c Got one! Elapsed wall clock time (in seconds):72.794 47.42/72.92 o -862 48.99/73.73 c cleaning 6894 clauses out of 13794 with flag 6017/80364 51.98/75.24 c cleaning 6447 clauses out of 12901 with flag 18019/86365 55.89/77.11 c cleaning 6723 clauses out of 13453 with flag 32017/93364 57.67/78.06 c And the winner is solver0 57.90/78.42 c Got one! Elapsed wall clock time (in seconds):78.299 57.90/78.42 o -867 58.85/78.90 c cleaning 6289 clauses out of 12579 with flag 4003/99213 61.67/80.34 c cleaning 6143 clauses out of 12290 with flag 16003/105213 64.27/81.60 c And the winner is solver0 64.37/81.92 c Got one! Elapsed wall clock time (in seconds):81.803 64.37/81.92 o -868 67.23/83.31 c cleaning 8264 clauses out of 16531 with flag 10007/115597 68.04/83.78 c And the winner is solver0 68.27/83.93 c Got one! Elapsed wall clock time (in seconds):83.807 68.27/83.93 o -875 70.21/84.99 c cleaning 7054 clauses out of 14109 with flag 8006/121439 70.80/85.24 c And the winner is solver0 70.98/85.43 c Got one! Elapsed wall clock time (in seconds):85.311 70.98/85.43 o -880 72.10/86.08 c And the winner is solver0 72.37/86.44 c Got one! Elapsed wall clock time (in seconds):86.315 72.37/86.44 o -883 72.68/86.65 c And the winner is solver0 72.86/86.94 c Got one! Elapsed wall clock time (in seconds):86.82 72.86/86.94 o -884 72.98/87.03 c And the winner is solver0 73.12/87.45 c Got one! Elapsed wall clock time (in seconds):87.323 73.12/87.45 o -885 73.22/87.50 c And the winner is solver0 73.27/87.95 c Got one! Elapsed wall clock time (in seconds):87.827 73.27/87.95 o -886 73.37/88.07 c And the winner is solver0 73.62/88.45 c Got one! Elapsed wall clock time (in seconds):88.331 73.62/88.45 o -889 73.91/88.61 c And the winner is solver0 74.23/88.96 c Got one! Elapsed wall clock time (in seconds):88.836 74.23/88.96 o -891 74.52/89.19 c And the winner is solver0 74.77/89.46 c Got one! Elapsed wall clock time (in seconds):89.34 74.77/89.46 o -892 74.77/89.48 c And the winner is solver0 74.82/89.97 c Got one! Elapsed wall clock time (in seconds):89.844 74.82/89.97 o -894 74.82/90.00 c And the winner is solver0 74.90/90.47 c Got one! Elapsed wall clock time (in seconds):90.347 74.90/90.47 o -930 75.75/90.99 c cleaning 7880 clauses out of 15763 with flag 4003/130147 78.76/92.46 c cleaning 6940 clauses out of 13882 with flag 16001/136146 82.15/94.19 c cleaning 6966 clauses out of 13943 with flag 30003/143147 82.95/94.59 c And the winner is solver0 83.24/94.98 c Got one! Elapsed wall clock time (in seconds):94.853 83.24/94.98 o -934 85.09/95.96 c cleaning 6300 clauses out of 12606 with flag 8173/148776 88.39/97.50 c cleaning 6153 clauses out of 12306 with flag 20297/154776 91.79/99.25 c cleaning 6573 clauses out of 13152 with flag 34545/161775 96.00/101.34 c cleaning 7289 clauses out of 14579 with flag 50565/169775 100.59/103.66 c cleaning 8144 clauses out of 16290 with flag 68584/178775 102.68/104.89 c And the winner is solver1 102.87/105.29 c Got one! Elapsed wall clock time (in seconds):105.163 102.87/105.29 o -984 102.89/105.32 c And the winner is solver0 102.98/105.79 c Got one! Elapsed wall clock time (in seconds):105.668 102.98/105.79 o -1018 102.99/105.87 c And the winner is solver0 103.21/106.29 c Got one! Elapsed wall clock time (in seconds):106.173 103.21/106.29 o -1065 103.22/106.34 c And the winner is solver0 103.35/106.80 c Got one! Elapsed wall clock time (in seconds):106.677 103.35/106.80 o -1106 103.36/106.86 c And the winner is solver0 103.52/107.30 c Got one! Elapsed wall clock time (in seconds):107.182 103.52/107.30 o -1194 103.52/107.36 c And the winner is solver0 103.66/107.81 c Got one! Elapsed wall clock time (in seconds):107.686 103.66/107.81 o -1231 103.66/107.90 c And the winner is solver0 103.91/108.31 c Got one! Elapsed wall clock time (in seconds):108.19 103.91/108.31 o -1261 105.08/108.95 c And the winner is solver0 105.29/109.32 c Got one! Elapsed wall clock time (in seconds):109.195 105.29/109.32 o -1262 105.29/109.35 c And the winner is solver0 105.40/109.82 c Got one! Elapsed wall clock time (in seconds):109.699 105.40/109.82 o -1291 105.76/110.10 c cleaning 7807 clauses out of 15624 with flag 2209/186253 109.82/112.05 c cleaning 6902 clauses out of 13815 with flag 17705/192251 115.29/114.63 c cleaning 6949 clauses out of 13912 with flag 37689/199250 122.64/118.03 c cleaning 7476 clauses out of 14963 with flag 60461/207250 129.43/121.40 c cleaning 8242 clauses out of 16487 with flag 84769/216250 137.93/125.64 c cleaning 9117 clauses out of 18247 with flag 117441/226252 143.93/128.68 c And the winner is solver1 144.11/128.83 c Got one! Elapsed wall clock time (in seconds):128.708 144.11/128.83 o -1295 144.11/128.86 c And the winner is solver0 144.22/129.34 c Got one! Elapsed wall clock time (in seconds):129.215 144.22/129.34 o -1298 144.95/129.77 c And the winner is solver0 145.22/129.99 c Got one! Elapsed wall clock time (in seconds):129.871 145.22/129.99 o -1302 148.41/131.59 c cleaning 10804 clauses out of 21614 with flag 10198/238736 153.01/133.83 c cleaning 8394 clauses out of 16811 with flag 25887/244737 158.61/136.66 c cleaning 7707 clauses out of 15417 with flag 48588/251737 164.98/139.71 c cleaning 7854 clauses out of 15710 with flag 72264/259737 171.97/143.21 c cleaning 8424 clauses out of 16856 with flag 99627/268737 179.97/147.24 c cleaning 9214 clauses out of 18431 with flag 134001/278736 189.95/152.43 c cleaning 10104 clauses out of 20218 with flag 172553/289737 199.76/157.35 c cleaning 11053 clauses out of 22114 with flag 226073/301737 202.74/158.81 c And the winner is solver0 203.07/159.11 c Got one! Elapsed wall clock time (in seconds):158.987 203.07/159.11 o -1354 204.06/159.65 c cleaning 8430 clauses out of 16865 with flag 6354/307541 207.52/161.38 c cleaning 7216 clauses out of 14435 with flag 29698/313541 211.52/163.32 c cleaning 7107 clauses out of 14218 with flag 51769/320540 215.92/165.52 c cleaning 7551 clauses out of 15111 with flag 77000/328540 220.92/168.08 c cleaning 8279 clauses out of 16561 with flag 102956/337541 226.91/171.01 c cleaning 9141 clauses out of 18281 with flag 130498/347540 227.85/171.43 c And the winner is solver1 227.94/171.62 c Got one! Elapsed wall clock time (in seconds):171.497 227.94/171.62 o -1382 230.31/172.88 c cleaning 7174 clauses out of 14352 with flag 10542/352752 234.09/174.76 c cleaning 6586 clauses out of 13178 with flag 26798/358752 238.69/177.04 c cleaning 6796 clauses out of 13593 with flag 50935/365753 244.09/179.74 c cleaning 7395 clauses out of 14796 with flag 80732/373752 250.67/183.00 c cleaning 8194 clauses out of 16401 with flag 114858/382752 253.07/184.18 c And the winner is solver1 253.07/184.18 c Got one! Elapsed wall clock time (in seconds):184.057 253.07/184.18 o -1390 254.48/184.83 c cleaning 6829 clauses out of 13666 with flag 4975/388211 258.27/186.79 c cleaning 6416 clauses out of 12837 with flag 22187/394211 263.28/189.23 c cleaning 6706 clauses out of 13421 with flag 43791/401211 269.46/192.36 c cleaning 7354 clauses out of 14718 with flag 76253/409214 276.61/195.89 c cleaning 8175 clauses out of 16362 with flag 114428/418212 284.80/199.92 c cleaning 9091 clauses out of 18186 with flag 162137/428211 289.81/202.47 c And the winner is solver1 289.95/202.69 c Got one! Elapsed wall clock time (in seconds):202.565 289.95/202.69 o -1409 293.54/204.49 c cleaning 10244 clauses out of 20488 with flag 16296/439604 297.74/206.56 c cleaning 8118 clauses out of 16244 with flag 42675/445604 302.53/209.00 c cleaning 7558 clauses out of 15126 with flag 70141/452604 307.93/211.63 c cleaning 7781 clauses out of 15568 with flag 101791/460604 314.14/214.78 c cleaning 8392 clauses out of 16787 with flag 138670/469604 321.32/218.59 c And the winner is solver1 321.51/218.96 c Got one! Elapsed wall clock time (in seconds):218.835 321.51/218.96 o -1416 324.98/220.73 c cleaning 10376 clauses out of 20762 with flag 16986/481971 329.58/223.02 c cleaning 8193 clauses out of 16386 with flag 39721/487971 334.59/225.59 c cleaning 7593 clauses out of 15193 with flag 64626/494971 340.98/228.72 c cleaning 7800 clauses out of 15600 with flag 90060/502971 349.28/232.88 c cleaning 8396 clauses out of 16800 with flag 121735/511971 358.48/237.48 c cleaning 9195 clauses out of 18404 with flag 161567/521971 368.86/242.59 c cleaning 10101 clauses out of 20209 with flag 206526/532971 379.66/247.95 c cleaning 11053 clauses out of 22109 with flag 250723/544972 390.85/253.53 c cleaning 12022 clauses out of 24055 with flag 300859/557971 404.30/260.17 c cleaning 13014 clauses out of 26033 with flag 358233/571971 418.29/267.19 c cleaning 14010 clauses out of 28019 with flag 419553/586971 434.29/275.08 c cleaning 15005 clauses out of 30010 with flag 492481/602972 454.70/285.88 c cleaning 15999 clauses out of 32006 with flag 571267/619973 460.10/288.55 c And the winner is solver1 460.23/289.03 c Got one! Elapsed wall clock time (in seconds):288.905 460.23/289.03 o -1429 463.78/290.83 c cleaning 13383 clauses out of 26771 with flag 17786/630737 468.24/293.10 c cleaning 9692 clauses out of 19389 with flag 42313/636738 473.44/295.69 c cleaning 8344 clauses out of 16696 with flag 73888/643737 479.64/298.70 c cleaning 8173 clauses out of 16356 with flag 106902/651741 486.43/302.11 c cleaning 8585 clauses out of 17179 with flag 143622/660737 494.73/306.22 c cleaning 9291 clauses out of 18594 with flag 187260/670737 504.33/311.05 c cleaning 10152 clauses out of 20304 with flag 240391/681738 514.72/316.23 c cleaning 11070 clauses out of 22151 with flag 300854/693737 526.46/322.03 c cleaning 12035 clauses out of 24081 with flag 378118/706737 537.86/327.79 c cleaning 13019 clauses out of 26046 with flag 437237/720737 551.50/334.50 c cleaning 14013 clauses out of 28028 with flag 490980/735738 565.88/341.65 c cleaning 15008 clauses out of 30015 with flag 548083/751738 582.16/349.69 c cleaning 16002 clauses out of 32007 with flag 617187/768738 599.67/358.26 c cleaning 17000 clauses out of 34005 with flag 689266/786738 619.16/367.85 c cleaning 17993 clauses out of 36007 with flag 769482/805740 641.77/379.02 c cleaning 19006 clauses out of 38012 with flag 864747/825738 664.20/390.17 c cleaning 20003 clauses out of 40005 with flag 962344/846737 687.27/401.45 c cleaning 21001 clauses out of 42003 with flag 1089033/868738 710.97/413.17 c cleaning 22001 clauses out of 44001 with flag 1220970/891737 741.44/428.90 c cleaning 22999 clauses out of 46001 with flag 1318534/915738 770.03/443.11 c cleaning 23998 clauses out of 48003 with flag 1433849/940739 798.74/457.31 c cleaning 24996 clauses out of 50004 with flag 1574227/966738 831.58/473.58 c cleaning 26000 clauses out of 52008 with flag 1682734/993738 869.87/492.39 c cleaning 27005 clauses out of 54009 with flag 1812304/1021739 901.95/508.11 c cleaning 28001 clauses out of 56002 with flag 1922709/1050737 938.31/527.19 c cleaning 28999 clauses out of 58001 with flag 2003794/1080737 972.29/544.03 c cleaning 30002 clauses out of 60003 with flag 2080869/1111738 1008.39/561.95 c cleaning 30995 clauses out of 62000 with flag 2158563/1143737 1050.58/582.85 c cleaning 32002 clauses out of 64007 with flag 2238295/1176739 1102.47/608.43 c cleaning 33002 clauses out of 66003 with flag 2331035/1210737 1110.51/612.37 c And the winner is solver0 1111.66/613.38 c Got one! Elapsed wall clock time (in seconds):613.254 1111.66/613.38 o -1492 1112.67/613.83 c cleaning 19414 clauses out of 38828 with flag 4423/1216564 1116.46/615.70 c cleaning 12706 clauses out of 25414 with flag 30090/1222564 1121.32/618.01 c cleaning 9848 clauses out of 19707 with flag 65477/1229563 1125.92/620.37 c cleaning 8927 clauses out of 17861 with flag 111922/1237565 1131.12/622.97 c cleaning 8960 clauses out of 17933 with flag 155235/1246564 1137.60/626.10 c cleaning 9484 clauses out of 18973 with flag 204068/1256564 1144.38/629.47 c cleaning 10239 clauses out of 20488 with flag 257415/1267563 1152.41/633.32 c cleaning 11122 clauses out of 22250 with flag 314496/1279564 1160.61/637.44 c cleaning 12060 clauses out of 24128 with flag 375458/1292564 1170.43/642.22 c cleaning 13034 clauses out of 26068 with flag 447270/1306564 1180.51/647.17 c cleaning 14016 clauses out of 28034 with flag 512697/1321564 1191.31/652.50 c cleaning 15006 clauses out of 30017 with flag 580915/1337563 1202.94/658.26 c cleaning 16000 clauses out of 32011 with flag 650534/1354563 1216.14/664.78 c cleaning 17001 clauses out of 34011 with flag 717967/1372563 1230.59/671.82 c cleaning 18001 clauses out of 36011 with flag 807672/1391564 1244.98/679.00 c cleaning 19000 clauses out of 38009 with flag 902550/1411563 1261.00/686.93 c cleaning 20000 clauses out of 40009 with flag 991703/1432563 1278.42/695.59 c cleaning 21003 clauses out of 42009 with flag 1100746/1454563 1297.05/704.73 c cleaning 21997 clauses out of 44006 with flag 1221828/1477563 1316.68/714.41 c cleaning 23001 clauses out of 46009 with flag 1335523/1501563 1337.51/724.71 c cleaning 24000 clauses out of 48009 with flag 1458347/1526564 1359.37/735.60 c cleaning 24999 clauses out of 50008 with flag 1580795/1552563 1382.44/746.87 c cleaning 26003 clauses out of 52010 with flag 1707427/1579564 1405.82/758.38 c cleaning 26998 clauses out of 54007 with flag 1839932/1607564 1431.11/770.88 c cleaning 28003 clauses out of 56008 with flag 1972478/1636563 1458.35/784.20 c cleaning 29003 clauses out of 58005 with flag 2114859/1666563 1486.76/798.37 c cleaning 30000 clauses out of 60002 with flag 2257324/1697563 1517.21/813.32 c cleaning 30999 clauses out of 62002 with flag 2392582/1729563 1549.32/829.17 c cleaning 31999 clauses out of 64004 with flag 2524962/1762564 1581.96/845.34 c cleaning 32999 clauses out of 66004 with flag 2655368/1796563 1616.57/863.95 c cleaning 33998 clauses out of 68006 with flag 2801643/1831564 1650.36/880.73 c cleaning 35003 clauses out of 70007 with flag 2950858/1867563 1685.47/898.10 c cleaning 36001 clauses out of 72005 with flag 3090434/1904564 1722.22/916.35 c cleaning 36998 clauses out of 74003 with flag 3223700/1942563 1760.65/935.38 c cleaning 38002 clauses out of 76006 with flag 3368695/1981564 1800.14/954.81 c >>>>>>>>>> Solver number 0 (145 answers) <<<<<<<<<<<<<<<<<< 1800.14/954.81 c starts : 16069 1800.14/954.81 c conflicts : 2021165 1800.14/954.81 c decisions : 8307701 1800.14/954.81 c propagations : 125124810 1800.14/954.81 c inspects : 4859529271 1800.14/954.81 c shortcuts : 0 1800.14/954.81 c learnt literals : 0 1800.14/954.81 c learnt binary clauses : 376 1800.14/954.81 c learnt ternary clauses : 3207 1800.14/954.81 c learnt constraints : 2021165 1800.14/954.81 c ignored constraints : 0 1800.14/954.81 c root simplifications : 0 1800.14/954.81 c removed literals (reason simplification) : 63786620 1800.14/954.81 c reason swapping (by a shorter reason) : 0 1800.14/954.81 c Calls to reduceDB : 139 1800.14/954.81 c Number of update (reduction) of LBD : 69549 1800.14/954.81 c Imported unit clauses : 0 1800.14/954.81 c number of reductions to clauses (during analyze) : 0 1800.14/954.81 c number of learned constraints concerned by reduction : 0 1800.14/954.81 c number of learning phase by resolution : 0 1800.14/954.81 c number of learning phase by cutting planes : 0 1800.14/954.81 c speed (assignments/second) : 187937.7360020908 1800.14/954.81 c non guided choices 1 1800.14/954.83 c learnt constraints type 1800.14/954.83 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 376 1800.14/954.83 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 77229 1800.14/954.83 c >>>>>>>>>> Solver number 1 (7 answers) <<<<<<<<<<<<<<<<<< 1800.14/954.83 c starts : 180 1800.14/954.83 c conflicts : 5246 1800.14/954.83 c decisions : 14616 1800.14/954.83 c propagations : 767327 1800.14/954.83 c inspects : 666272838 1800.14/954.83 c shortcuts : 0 1800.14/954.83 c learnt literals : 0 1800.14/954.83 c learnt binary clauses : 0 1800.14/954.83 c learnt ternary clauses : 4 1800.14/954.83 c learnt constraints : 5135 1800.14/954.83 c ignored constraints : 0 1800.14/954.83 c root simplifications : 0 1800.14/954.83 c removed literals (reason simplification) : 0 1800.14/954.83 c reason swapping (by a shorter reason) : 0 1800.14/954.83 c Calls to reduceDB : 0 1800.14/954.83 c Number of update (reduction) of LBD : 0 1800.14/954.83 c Imported unit clauses : 0 1800.14/954.83 c number of reductions to clauses (during analyze) : 0 1800.14/954.83 c number of learned constraints concerned by reduction : 0 1800.14/954.83 c number of learning phase by resolution : 0 1800.14/954.83 c number of learning phase by cutting planes : 0 1800.14/954.83 c speed (assignments/second) : 2247.279958529435 1800.14/954.83 c non guided choices 0 1800.14/954.84 c learnt constraints type 1800.14/954.84 c org.sat4j.pb.constraints.pb.LearntHTClausePB => 2 1800.14/954.84 c org.sat4j.pb.constraints.pb.MaxWatchPb => 5133 1800.14/954.84 s SATISFIABLE 1800.14/954.84 c Found 152 solution(s) 1800.14/954.84 v x1 -x2 -x3 x4 -x5 -x6 x7 x8 -x9 -x10 -x11 -x12 x13 -x14 x15 x16 -x17 x18 -x19 -x20 -x21 -x22 x23 x24 -x25 x26 -x27 x28 x29 -x30 -x31 -x32 -x33 x34 x35 x36 -x37 x38 x39 x40 x41 x42 x43 -x44 -x45 x46 x47 x48 x49 x50 x51 x52 x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 x362 -x363 x364 x365 -x366 -x367 x368 x369 x370 x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 x381 x382 x383 x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 x395 x396 -x397 -x398 x399 -x400 -x401 -x402 x403 x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 x412 -x413 -x414 -x415 x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 -x426 -x427 x428 -x429 -x430 -x431 x432 x433 x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 -x479 x480 x481 -x482 -x483 x484 x485 x486 -x487 -x488 x489 -x490 -x491 -x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 -x567 -x568 -x569 x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 x1095 x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 x1128 x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 x1211 -x1212 x1213 x1214 x1215 x1216 -x1217 x1218 x1219 x1220 x1221 -x1222 -x1223 -x1224 x1225 x1226 x1227 x1228 x1229 x1230 -x1231 x1232 x1233 x1234 x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 x1244 x1245 x1246 x1247 x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 x1257 x1258 x1259 x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 x1292 x1293 x1294 -x1295 -x1296 x1297 x1298 x1299 -x1300 -x1301 x1302 x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 x1312 x1313 -x1314 -x1315 x1316 x1317 x1318 -x1319 -x1320 x1321 x1322 -x1323 x1324 -x1325 -x1326 x1327 -x1328 -x1329 -x1330 x1331 x1332 -x1333 -x1334 x1335 x1336 x1337 -x1338 -x1339 x1340 x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x1350 x1351 -x1352 -x1353 x1354 x1355 x1356 -x1357 -x1358 x1359 x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 x1368 x1369 x1370 -x1371 -x1372 x1373 x1374 x1375 x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 x1386 x1387 x1388 x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 x1452 x1453 x1454 x1455 x1456 x1457 x1458 x1459 x1460 x1461 x1462 x1463 x1464 x1465 x1466 x1467 x1468 x1469 x1470 x1471 x1472 x1473 x1474 x1475 -x1476 x1477 x1478 x1479 x1480 -x1481 x1482 x1483 -x1484 x1485 x1486 -x1487 x1488 -x1489 -x1490 x1491 x1492 x1493 x1494 -x1495 -x1496 x1497 x1498 x1499 -x1500 -x1501 x1502 x1503 -x1504 x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 x1513 -x1514 -x1515 -x1516 x1517 x1518 -x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 x1531 x1532 -x1533 -x1534 -x1535 -x1536 x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 x1650 x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 x1692 -x1693 -x1694 -x1695 -x1696 -x1697 x1698 -x1699 x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 x1730 x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 x1751 -x1752 -x1753 -x1754 -x1755 x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 x1768 x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 x1801 -x1802 x1803 x1804 -x1805 -x1806 x1807 -x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 x1821 x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 -x1835 -x1836 -x1837 -x1838 x1839 x1840 -x1841 -x1842 -x1843 -x1844 x1845 x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 x1877 -x1878 x1879 x1880 x1881 x1882 x1883 -x1884 x1885 x1886 x1887 x1888 x1889 -x1890 x1891 x1892 x1893 x1894 x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 x1904 x1905 x1906 x1907 x1908 -x1909 -x1910 x1911 x1912 x1913 x1914 -x1915 -x1916 x1917 x1918 x1919 x1920 -x1921 -x1922 x1923 x1924 x1925 x1926 -x1927 -x1928 x1929 x1930 x1931 x1932 -x1933 -x1934 x1935 x1936 x1937 x1938 -x1939 -x1940 x1941 x1942 x1943 x1944 x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 x1960 x1961 x1962 x1963 x1964 x1965 x1966 x1967 x1968 x1969 x1970 x1971 x1972 -x1973 x1974 x1975 x1976 x1977 x1978 -x1979 -x1980 x1981 x1982 x1983 x1984 -x1985 -x1986 -x1987 x1988 x1989 x1990 -x1991 -x1992 -x1993 -x1994 x1995 x1996 -x1997 -x1998 -x1999 -x2000 -x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 x2008 -x2009 -x2010 -x2011 -x2012 -x2013 x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 1800.14/954.85 c objective function=-1492 1800.14/954.85 c Total wall clock time (in seconds): 954.726
OK -1492
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-4118332-1467225763/watcher-4118332-1467225763 -o /tmp/evaluation-result-4118332-1467225763/solver-4118332-1467225763 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118332-1467225763.opb pid=11566 running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.24 4.20 4.13 4/197 11569 /proc/meminfo: memFree=24498744/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=272 CPUtime=0 cores=1,3,5,7 /proc/11569/stat : 11569 (java) R 11566 11569 5267 0 -1 4202496 362 0 0 0 0 0 0 0 20 0 1 0 3527450 278528 33 33554432000 1073741824 1073778376 140735204435088 140734201767912 239863950631 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 68 33 25 9 0 25 0 [startup+0.10006 s] /proc/loadavg: 4.24 4.20 4.13 4/197 11569 /proc/meminfo: memFree=24498744/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9558476 CPUtime=0.08 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 4410 0 1 0 7 1 0 0 20 0 18 0 3527450 9787879424 6034 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2389619 6034 2125 9 0 2380296 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9558476 [startup+0.200232 s] /proc/loadavg: 4.24 4.20 4.13 4/197 11569 /proc/meminfo: memFree=24498744/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9558476 CPUtime=0.25 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 4953 0 1 0 24 1 0 0 20 0 18 0 3527450 9787879424 7316 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2389619 7316 2215 9 0 2380296 0 Current children cumulated CPU time (s) 0.25 Current children cumulated vsize (KiB) 9558476 [startup+0.300256 s] /proc/loadavg: 4.24 4.20 4.13 4/197 11569 /proc/meminfo: memFree=24498744/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9558476 CPUtime=0.49 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 7760 0 1 0 47 2 0 0 20 0 18 0 3527450 9787879424 10074 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2389619 10074 2235 9 0 2380296 0 Current children cumulated CPU time (s) 0.49 Current children cumulated vsize (KiB) 9558476 [startup+0.700317 s] /proc/loadavg: 4.24 4.20 4.13 4/197 11569 /proc/meminfo: memFree=24498744/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 9943 0 1 0 89 4 0 0 20 0 19 0 3527450 10060525568 14594 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2456183 14594 2261 9 0 2446860 0 Current children cumulated CPU time (s) 0.93 Current children cumulated vsize (KiB) 9824732 [startup+1.5008 s] /proc/loadavg: 4.24 4.20 4.13 5/216 11594 /proc/meminfo: memFree=24430516/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9824732 CPUtime=1.62 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 15832 0 1 0 152 10 0 0 20 0 19 0 3527450 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2456183 21224 2266 9 0 2446860 0 [pid=11569/tid=11571] ppid=11566 vsize=9824732 CPUtime=0.42 cores=1,3,5,7 /proc/11569/task/11571/stat : 11571 (java) S 11566 11569 5267 0 -1 4202560 2469 0 1 0 40 2 0 0 20 0 19 0 3527451 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322348196728 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11572] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11572/stat : 11572 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322286926760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11573] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11573/stat : 11573 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322191129640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11574] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11574/stat : 11574 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322190076584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11575] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11575/stat : 11575 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322189024040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11576] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11576/stat : 11576 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322187970984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11577] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11577/stat : 11577 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322186918440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11578] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11578/stat : 11578 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322185865384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11579] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11579/stat : 11579 (java) S 11566 11569 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322184812840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11580] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11580/stat : 11580 (java) S 11566 11569 5267 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3527453 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322172402536 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11581] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11581/stat : 11581 (java) S 11566 11569 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3527454 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322171348856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11582] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11582/stat : 11582 (java) S 11566 11569 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3527454 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322170295688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11583] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11583/stat : 11583 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527456 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322169244432 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11584] ppid=11566 vsize=9824732 CPUtime=0.5 cores=1,3,5,7 /proc/11569/task/11584/stat : 11584 (java) S 11566 11569 5267 0 -1 4202560 6017 0 0 0 48 2 0 0 20 0 19 0 3527456 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322168191288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11585] ppid=11566 vsize=9824732 CPUtime=0.51 cores=1,3,5,7 /proc/11569/task/11585/stat : 11585 (java) S 11566 11569 5267 0 -1 4202560 5993 0 0 0 51 0 0 0 20 0 19 0 3527456 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322167138744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11586] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11586/stat : 11586 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527456 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322166085880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11587] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11587/stat : 11587 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527456 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322165033544 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11590] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11590/stat : 11590 (java) S 11566 11569 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3527491 10060525568 21224 33554432000 1073741824 1073778376 140735204435088 140322161259816 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1.62 Current children cumulated vsize (KiB) 9824732 [startup+3.10087 s] /proc/loadavg: 4.24 4.20 4.13 3/216 11600 /proc/meminfo: memFree=24417244/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9824732 CPUtime=2.05 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 15868 0 1 0 190 15 0 0 20 0 19 0 3527450 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2456183 25327 2273 9 0 2446860 0 [pid=11569/tid=11571] ppid=11566 vsize=9824732 CPUtime=0.43 cores=1,3,5,7 /proc/11569/task/11571/stat : 11571 (java) S 11566 11569 5267 0 -1 4202560 2472 0 1 0 41 2 0 0 20 0 19 0 3527451 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322348196728 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11572] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11572/stat : 11572 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322286926760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11573] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11573/stat : 11573 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322191129640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11574] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11574/stat : 11574 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322190076584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11575] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11575/stat : 11575 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322189024040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11576] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11576/stat : 11576 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322187970984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11577] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11577/stat : 11577 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322186918440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11578] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11578/stat : 11578 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322185865384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11579] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11579/stat : 11579 (java) S 11566 11569 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322184812840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11580] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11580/stat : 11580 (java) S 11566 11569 5267 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 3527453 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322172402536 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11581] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11581/stat : 11581 (java) S 11566 11569 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3527454 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322171348856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11582] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11582/stat : 11582 (java) S 11566 11569 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3527454 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322170295688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11583] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11583/stat : 11583 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527456 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322169244432 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11584] ppid=11566 vsize=9824732 CPUtime=0.62 cores=1,3,5,7 /proc/11569/task/11584/stat : 11584 (java) S 11566 11569 5267 0 -1 4202560 6022 0 0 0 60 2 0 0 20 0 19 0 3527456 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322168191288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11585] ppid=11566 vsize=9824732 CPUtime=0.65 cores=1,3,5,7 /proc/11569/task/11585/stat : 11585 (java) S 11566 11569 5267 0 -1 4202560 5996 0 0 0 65 0 0 0 20 0 19 0 3527456 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322167138744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11586] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11586/stat : 11586 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527456 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322166085880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11587] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11587/stat : 11587 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527456 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322165033544 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11590] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11590/stat : 11590 (java) S 11566 11569 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3527491 10060525568 25327 33554432000 1073741824 1073778376 140735204435088 140322161259816 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.05 Current children cumulated vsize (KiB) 9824732 heavy processes: %CPU=31 pid=1810 uid=0 cmd= [startup+6.30078 s] /proc/loadavg: 4.06 4.17 4.12 4/217 11621 /proc/meminfo: memFree=24372644/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9824732 CPUtime=2.19 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 15955 0 1 0 203 16 0 0 20 0 19 0 3527450 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2456183 34878 2274 9 0 2446860 0 [pid=11569/tid=11571] ppid=11566 vsize=9824732 CPUtime=0.45 cores=1,3,5,7 /proc/11569/task/11571/stat : 11571 (java) S 11566 11569 5267 0 -1 4202560 2478 0 1 0 43 2 0 0 20 0 19 0 3527451 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322348196728 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11572] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11572/stat : 11572 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322286926760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11573] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11573/stat : 11573 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322191129640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11574] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11574/stat : 11574 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322190076584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11575] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11575/stat : 11575 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322189024040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11576] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11576/stat : 11576 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322187970984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11577] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11577/stat : 11577 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322186918440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11578] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11578/stat : 11578 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322185865384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11579] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11579/stat : 11579 (java) S 11566 11569 5267 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3527452 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322184812840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11580] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11580/stat : 11580 (java) S 11566 11569 5267 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 3527453 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322172402536 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11581] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11581/stat : 11581 (java) S 11566 11569 5267 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3527454 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322171348856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11582] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11582/stat : 11582 (java) S 11566 11569 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3527454 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322170295688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11583] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11583/stat : 11583 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527456 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322169244432 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11584] ppid=11566 vsize=9824732 CPUtime=0.64 cores=1,3,5,7 /proc/11569/task/11584/stat : 11584 (java) S 11566 11569 5267 0 -1 4202560 6022 0 0 0 62 2 0 0 20 0 19 0 3527456 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322168191288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11585] ppid=11566 vsize=9824732 CPUtime=0.73 cores=1,3,5,7 /proc/11569/task/11585/stat : 11585 (java) S 11566 11569 5267 0 -1 4202560 6006 0 0 0 73 0 0 0 20 0 19 0 3527456 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322167138744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11586] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11586/stat : 11586 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527456 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322166085880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11587] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11587/stat : 11587 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3527456 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322165033544 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11590] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11590/stat : 11590 (java) S 11566 11569 5267 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3527491 10060525568 34878 33554432000 1073741824 1073778376 140735204435088 140322161259816 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.19 ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 4.26 4.15 4.04 5/219 12400 /proc/meminfo: memFree=18998432/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9824732 CPUtime=1653.58 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 40650 0 1 0 164758 600 0 0 20 0 22 0 3527450 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2456183 1174255 2303 9 0 2446860 0 [pid=11569/tid=11571] ppid=11566 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/11569/task/11571/stat : 11571 (java) S 11566 11569 5267 0 -1 4202560 2509 0 1 0 89 4 0 0 20 0 22 0 3527451 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322348196728 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11572] ppid=11566 vsize=9824732 CPUtime=4.94 cores=1,3,5,7 /proc/11569/task/11572/stat : 11572 (java) S 11566 11569 5267 0 -1 4202560 1022 0 0 0 453 41 0 0 20 0 22 0 3527452 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322286926760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11573] ppid=11566 vsize=9824732 CPUtime=4.27 cores=1,3,5,7 /proc/11569/task/11573/stat : 11573 (java) S 11566 11569 5267 0 -1 4202560 1022 0 0 0 391 36 0 0 20 0 22 0 3527452 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322191129640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11574] ppid=11566 vsize=9824732 CPUtime=5.04 cores=1,3,5,7 /proc/11569/task/11574/stat : 11574 (java) S 11566 11569 5267 0 -1 4202560 831 0 0 0 468 36 0 0 20 0 22 0 3527452 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322190076584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11575] ppid=11566 vsize=9824732 CPUtime=4.6 cores=1,3,5,7 /proc/11569/task/11575/stat : 11575 (java) S 11566 11569 5267 0 -1 4202560 1454 0 0 0 423 37 0 0 20 0 22 0 3527452 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322189024040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11576] ppid=11566 vsize=9824732 CPUtime=4.62 cores=1,3,5,7 /proc/11569/task/11576/stat : 11576 (java) S 11566 11569 5267 0 -1 4202560 1123 0 0 0 423 39 0 0 20 0 22 0 3527452 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322187970984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11577] ppid=11566 vsize=9824732 CPUtime=4.95 cores=1,3,5,7 /proc/11569/task/11577/stat : 11577 (java) S 11566 11569 5267 0 -1 4202560 1403 0 0 0 452 43 0 0 20 0 22 0 3527452 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322186918440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11578] ppid=11566 vsize=9824732 CPUtime=5.08 cores=1,3,5,7 /proc/11569/task/11578/stat : 11578 (java) S 11566 11569 5267 0 -1 4202560 1227 0 0 0 467 41 0 0 20 0 22 0 3527452 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322185865384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11579] ppid=11566 vsize=9824732 CPUtime=5.19 cores=1,3,5,7 /proc/11569/task/11579/stat : 11579 (java) S 11566 11569 5267 0 -1 4202560 1288 0 0 0 479 40 0 0 20 0 22 0 3527452 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322184812840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11580] ppid=11566 vsize=9824732 CPUtime=10.38 cores=1,3,5,7 /proc/11569/task/11580/stat : 11580 (java) S 11566 11569 5267 0 -1 4202560 3405 0 0 0 1026 12 0 0 20 0 22 0 3527453 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322172402536 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11581] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11581/stat : 11581 (java) S 11566 11569 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3527454 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322171348856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11582] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11582/stat : 11582 (java) S 11566 11569 5267 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 3527454 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322170295688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11583] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11583/stat : 11583 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3527456 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322169244432 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11584] ppid=11566 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/11569/task/11584/stat : 11584 (java) S 11566 11569 5267 0 -1 4202560 6063 0 0 0 102 2 0 0 20 0 22 0 3527456 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322168191288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11585] ppid=11566 vsize=9824732 CPUtime=2.68 cores=1,3,5,7 /proc/11569/task/11585/stat : 11585 (java) S 11566 11569 5267 0 -1 4202560 15034 0 0 0 265 3 0 0 20 0 22 0 3527456 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322167138744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11586] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11586/stat : 11586 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3527456 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322166085880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11587] ppid=11566 vsize=9824732 CPUtime=0.33 cores=1,3,5,7 /proc/11569/task/11587/stat : 11587 (java) S 11566 11569 5267 0 -1 4202560 50 0 0 0 12 21 0 0 20 0 22 0 3527456 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322165033544 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=12375] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/12375/stat : 12375 (java) S 11566 11569 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3556353 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322163979816 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=12392] ppid=11566 vsize=9824732 CPUtime=262.19 cores=1,3,5,7 /proc/11569/task/12392/stat : 12392 (java) R 11566 11569 5267 0 -1 4202560 14 0 0 0 26216 3 0 0 20 0 22 0 3588788 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322161250816 140322288820909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=12393] ppid=11566 vsize=9824732 CPUtime=262.21 cores=1,3,5,7 /proc/11569/task/12393/stat : 12393 (java) R 11566 11569 5267 0 -1 4202560 16 0 0 0 26218 3 0 0 20 0 22 0 3588788 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322162310048 140322288941473 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=12394] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/12394/stat : 12394 (java) S 11566 11569 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3588789 10060525568 1174255 33554432000 1073741824 1073778376 140735204435088 140322160207272 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1653.58 Current children cumulated vsize (KiB) 9824732 [startup+942.301 s] /proc/loadavg: 4.22 4.16 4.05 6/219 12401 /proc/meminfo: memFree=18834868/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9824732 CPUtime=1774.87 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 40864 0 1 0 176884 603 0 0 20 0 22 0 3527450 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2456183 1167040 2303 9 0 2446860 0 [pid=11569/tid=11571] ppid=11566 vsize=9824732 CPUtime=0.94 cores=1,3,5,7 /proc/11569/task/11571/stat : 11571 (java) S 11566 11569 5267 0 -1 4202560 2509 0 1 0 89 5 0 0 20 0 22 0 3527451 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322348196728 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11572] ppid=11566 vsize=9824732 CPUtime=5.25 cores=1,3,5,7 /proc/11569/task/11572/stat : 11572 (java) S 11566 11569 5267 0 -1 4202560 1058 0 0 0 484 41 0 0 20 0 22 0 3527452 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322286926760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11573] ppid=11566 vsize=9824732 CPUtime=4.54 cores=1,3,5,7 /proc/11569/task/11573/stat : 11573 (java) S 11566 11569 5267 0 -1 4202560 1056 0 0 0 418 36 0 0 20 0 22 0 3527452 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322191129640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11574] ppid=11566 vsize=9824732 CPUtime=5.35 cores=1,3,5,7 /proc/11569/task/11574/stat : 11574 (java) S 11566 11569 5267 0 -1 4202560 845 0 0 0 499 36 0 0 20 0 22 0 3527452 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322190076584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11575] ppid=11566 vsize=9824732 CPUtime=4.91 cores=1,3,5,7 /proc/11569/task/11575/stat : 11575 (java) S 11566 11569 5267 0 -1 4202560 1464 0 0 0 454 37 0 0 20 0 22 0 3527452 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322189024040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11576] ppid=11566 vsize=9824732 CPUtime=5 cores=1,3,5,7 /proc/11569/task/11576/stat : 11576 (java) S 11566 11569 5267 0 -1 4202560 1152 0 0 0 461 39 0 0 20 0 22 0 3527452 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322187970984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11577] ppid=11566 vsize=9824732 CPUtime=5.26 cores=1,3,5,7 /proc/11569/task/11577/stat : 11577 (java) S 11566 11569 5267 0 -1 4202560 1407 0 0 0 483 43 0 0 20 0 22 0 3527452 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322186918440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11578] ppid=11566 vsize=9824732 CPUtime=5.47 cores=1,3,5,7 /proc/11569/task/11578/stat : 11578 (java) S 11566 11569 5267 0 -1 4202560 1243 0 0 0 506 41 0 0 20 0 22 0 3527452 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322185865384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11579] ppid=11566 vsize=9824732 CPUtime=5.65 cores=1,3,5,7 /proc/11569/task/11579/stat : 11579 (java) S 11566 11569 5267 0 -1 4202560 1322 0 0 0 525 40 0 0 20 0 22 0 3527452 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322184812840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11580] ppid=11566 vsize=9824732 CPUtime=10.39 cores=1,3,5,7 /proc/11569/task/11580/stat : 11580 (java) S 11566 11569 5267 0 -1 4202560 3431 0 0 0 1026 13 0 0 20 0 22 0 3527453 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322172402536 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11581] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11581/stat : 11581 (java) S 11566 11569 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3527454 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322171348856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11582] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11582/stat : 11582 (java) S 11566 11569 5267 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 3527454 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322170295688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11583] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11583/stat : 11583 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3527456 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322169244432 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11584] ppid=11566 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/11569/task/11584/stat : 11584 (java) S 11566 11569 5267 0 -1 4202560 6063 0 0 0 102 2 0 0 20 0 22 0 3527456 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322168191288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11585] ppid=11566 vsize=9824732 CPUtime=2.68 cores=1,3,5,7 /proc/11569/task/11585/stat : 11585 (java) S 11566 11569 5267 0 -1 4202560 15034 0 0 0 265 3 0 0 20 0 22 0 3527456 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322167138744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11586] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11586/stat : 11586 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3527456 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322166085880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11587] ppid=11566 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/11569/task/11587/stat : 11587 (java) S 11566 11569 5267 0 -1 4202560 54 0 0 0 14 22 0 0 20 0 22 0 3527456 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322165033544 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=12375] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/12375/stat : 12375 (java) S 11566 11569 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3556353 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322163979816 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=12392] ppid=11566 vsize=9824732 CPUtime=321.45 cores=1,3,5,7 /proc/11569/task/12392/stat : 12392 (java) R 11566 11569 5267 0 -1 4202560 17 0 0 0 32141 4 0 0 20 0 22 0 3588788 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322161258512 140322288522368 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=12393] ppid=11566 vsize=9824732 CPUtime=321.5 cores=1,3,5,7 /proc/11569/task/12393/stat : 12393 (java) R 11566 11569 5267 0 -1 4202560 20 0 0 0 32146 4 0 0 20 0 22 0 3588788 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322162310048 140322288727973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=12394] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/12394/stat : 12394 (java) S 11566 11569 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3588789 10060525568 1167040 33554432000 1073741824 1073778376 140735204435088 140322160207272 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1774.87 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+954.801 s] /proc/loadavg: 4.24 4.16 4.05 5/219 12401 /proc/meminfo: memFree=18834748/32872528 swapFree=1459092/1655316 [pid=11569] ppid=11566 vsize=9824732 CPUtime=1800.14 cores=1,3,5,7 /proc/11569/stat : 11569 (java) S 11566 11569 5267 0 -1 4202496 40898 0 1 0 179411 603 0 0 20 0 22 0 3527450 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140735204426224 239876472893 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/11569/statm: 2456183 1167073 2303 9 0 2446860 0 [pid=11569/tid=11571] ppid=11566 vsize=9824732 CPUtime=0.94 cores=1,3,5,7 /proc/11569/task/11571/stat : 11571 (java) S 11566 11569 5267 0 -1 4202560 2509 0 1 0 89 5 0 0 20 0 22 0 3527451 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322348196728 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11572] ppid=11566 vsize=9824732 CPUtime=5.37 cores=1,3,5,7 /proc/11569/task/11572/stat : 11572 (java) S 11566 11569 5267 0 -1 4202560 1058 0 0 0 496 41 0 0 20 0 22 0 3527452 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322286926760 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11573] ppid=11566 vsize=9824732 CPUtime=4.59 cores=1,3,5,7 /proc/11569/task/11573/stat : 11573 (java) S 11566 11569 5267 0 -1 4202560 1058 0 0 0 423 36 0 0 20 0 22 0 3527452 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322191129640 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11574] ppid=11566 vsize=9824732 CPUtime=5.41 cores=1,3,5,7 /proc/11569/task/11574/stat : 11574 (java) S 11566 11569 5267 0 -1 4202560 852 0 0 0 505 36 0 0 20 0 22 0 3527452 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322190076584 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11575] ppid=11566 vsize=9824732 CPUtime=4.95 cores=1,3,5,7 /proc/11569/task/11575/stat : 11575 (java) S 11566 11569 5267 0 -1 4202560 1478 0 0 0 458 37 0 0 20 0 22 0 3527452 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322189024040 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11576] ppid=11566 vsize=9824732 CPUtime=5.1 cores=1,3,5,7 /proc/11569/task/11576/stat : 11576 (java) S 11566 11569 5267 0 -1 4202560 1152 0 0 0 470 40 0 0 20 0 22 0 3527452 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322187970984 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11569/tid=11577] ppid=11566 vsize=9824732 CPUtime=5.31 cores=1,3,5,7 /proc/11569/task/11577/stat : 11577 (java) S 11566 11569 5267 0 -1 4202560 1408 0 0 0 488 43 0 0 20 0 22 0 3527452 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322186918440 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11578] ppid=11566 vsize=9824732 CPUtime=5.56 cores=1,3,5,7 /proc/11569/task/11578/stat : 11578 (java) S 11566 11569 5267 0 -1 4202560 1249 0 0 0 515 41 0 0 20 0 22 0 3527452 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322185865384 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11579] ppid=11566 vsize=9824732 CPUtime=5.69 cores=1,3,5,7 /proc/11569/task/11579/stat : 11579 (java) S 11566 11569 5267 0 -1 4202560 1325 0 0 0 529 40 0 0 20 0 22 0 3527452 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322184812840 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11580] ppid=11566 vsize=9824732 CPUtime=10.39 cores=1,3,5,7 /proc/11569/task/11580/stat : 11580 (java) S 11566 11569 5267 0 -1 4202560 3431 0 0 0 1026 13 0 0 20 0 22 0 3527453 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322172402536 239876487081 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11581] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11581/stat : 11581 (java) S 11566 11569 5267 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 3527454 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322171348856 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11582] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11582/stat : 11582 (java) S 11566 11569 5267 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 22 0 3527454 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322170295688 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11583] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11583/stat : 11583 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3527456 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322169244432 239876495136 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11584] ppid=11566 vsize=9824732 CPUtime=1.04 cores=1,3,5,7 /proc/11569/task/11584/stat : 11584 (java) S 11566 11569 5267 0 -1 4202560 6063 0 0 0 102 2 0 0 20 0 22 0 3527456 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322168191288 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=11585] ppid=11566 vsize=9824732 CPUtime=2.68 cores=1,3,5,7 /proc/11569/task/11585/stat : 11585 (java) S 11566 11569 5267 0 -1 4202560 15034 0 0 0 265 3 0 0 20 0 22 0 3527456 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322167138744 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=11586] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/11586/stat : 11586 (java) S 11566 11569 5267 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 3527456 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322166085880 239876486204 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=11587] ppid=11566 vsize=9824732 CPUtime=0.36 cores=1,3,5,7 /proc/11569/task/11587/stat : 11587 (java) S 11566 11569 5267 0 -1 4202560 54 0 0 0 14 22 0 0 20 0 22 0 3527456 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322165033544 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=12375] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/12375/stat : 12375 (java) S 11566 11569 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3556353 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322163979816 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11569/tid=12392] ppid=11566 vsize=9824732 CPUtime=333.82 cores=1,3,5,7 /proc/11569/task/12392/stat : 12392 (java) R 11566 11569 5267 0 -1 4202560 17 0 0 0 33377 5 0 0 20 0 22 0 3588788 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322161257504 140322288624449 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11569/tid=12393] ppid=11566 vsize=9824732 CPUtime=333.86 cores=1,3,5,7 /proc/11569/task/12393/stat : 12393 (java) R 11566 11569 5267 0 -1 4202560 21 0 0 0 33381 5 0 0 20 0 22 0 3588788 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322162310816 140322288567556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11569/tid=12394] ppid=11566 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11569/task/12394/stat : 12394 (java) S 11566 11569 5267 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 3588789 10060525568 1167073 33554432000 1073741824 1073778376 140735204435088 140322160207272 239876487081 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 9824732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 11569 sig 9 ??? kill -11569 sig 9 ??? end of watcher thread Dumping a history of the last processes samples Child status: 143 Real time (s): 954.881 CPU time (s): 1800.74 CPU user time (s): 1794.36 CPU system time (s): 6.38103 CPU usage (%): 188.583 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.36 system time used= 6.38103 maximum resident set size= 4697208 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40934 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1032 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 27931 involuntary context switches= 35325 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 5.75212 second user time and 8.08377 second system time The end
Begin job on node136 at 2016-06-29 20:42:43 IDJOB=4118332 IDBENCH=111482 IDSOLVER=2543 FILE ID=node136/4118332-1467225763 RUNJOBID= node136-1467208983-5284 PBS_JOBID= 19997574 Free space on /tmp= 71644 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern60-08.lin.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118332-1467225763/watcher-4118332-1467225763 -o /tmp/evaluation-result-4118332-1467225763/solver-4118332-1467225763 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467208983-5284 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4118332-1467225763.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e41fab50c28f2d92f5119de116cc6950 RANDOM SEED=833098749 node136.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.36 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.182 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.56 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 24499388 kB Buffers: 151236 kB Cached: 1751424 kB SwapCached: 0 kB Active: 4271220 kB Inactive: 1683020 kB Active(anon): 4054560 kB Inactive(anon): 0 kB Active(file): 216660 kB Inactive(file): 1683020 kB Unevictable: 1655316 kB Mlocked: 1459092 kB SwapTotal: 67108856 kB SwapFree: 67108856 kB Dirty: 856 kB Writeback: 0 kB AnonPages: 5848320 kB Mapped: 22248 kB Shmem: 204 kB Slab: 609924 kB SReclaimable: 54036 kB SUnreclaim: 555888 kB KernelStack: 1808 kB PageTables: 15920 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 6300104 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 4317184 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71644 MiB End job on node136 at 2016-06-29 20:58:38