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) | 393877 | 1800.56 | 977.143 |
| Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb |
| MD5SUM | 5afe2e688387cc46a3d150d955d27ab1 |
| Bench Category | OPT-SMALLINT (optimisation, small integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 393877 |
| Best CPU time to get the best result obtained on this benchmark | 1800.56 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 294914 |
| Optimality of the best value was proved | NO |
| Number of variables | 6651 |
| Total number of constraints | 721 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 331 |
| Number of constraints which are nor clauses,nor cardinality constraints | 390 |
| Minimum length of a constraint | 20 |
| Maximum length of a constraint | 6651 |
| Number of terms in the objective function | 31 |
| Biggest coefficient in the objective function | 262145 |
| Number of bits for the biggest coefficient in the objective function | 19 |
| Sum of the numbers in the objective function | 524318 |
| Number of bits of the sum of numbers in the objective function | 20 |
| Biggest number in a constraint | 262145 |
| Number of bits of the biggest number in a constraint | 19 |
| Biggest sum of numbers in a constraint | 527653 |
| Number of bits of the biggest sum of numbers | 20 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.07/0.10 c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS 0.07/0.10 c This is free software under the dual EPL/GNU LGPL licenses. 0.07/0.10 c See www.sat4j.org for details. 0.07/0.10 c version PB16.v20160501 0.07/0.10 c java.runtime.name Java(TM) SE Runtime Environment 0.07/0.10 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.07/0.10 c java.vm.version 19.1-b02 0.07/0.10 c java.vm.vendor Sun Microsystems Inc. 0.07/0.10 c sun.arch.data.model 64 0.07/0.10 c java.version 1.6.0_24 0.07/0.10 c os.name Linux 0.07/0.10 c os.version 2.6.32-71.29.1.el6.x86_64 0.07/0.10 c os.arch amd64 0.07/0.10 c Free memory 501472288 0.07/0.10 c Max memory 7480803328 0.07/0.10 c Total memory 504102912 0.07/0.10 c Number of processors 8 0.07/0.13 c Pseudo Boolean Optimization by upper bound 0.07/0.13 c ManyCore solver with 2 solvers running in parallel 0.07/0.13 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.07/0.13 c Expensive reason simplification 0.07/0.13 c Glucose 2.1 dynamic restart strategy 0.07/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 0.07/0.13 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.07/0.13 c --- Begin Solver configuration --- 0.07/0.13 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee 0.07/0.13 c Learn all clauses as in MiniSAT 0.07/0.13 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.07/0.13 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.07/0.13 c No reason simplification 0.07/0.13 c Armin Biere (Picosat) restarts strategy 0.07/0.13 c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000 0.07/0.13 c timeout=2147483s 0.07/0.13 c DB Simplification allowed=false 0.07/0.13 c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5 0.07/0.13 c --- End Solver configuration --- 0.07/0.13 c solving HOME/instance-4100482-1466209759.opb 0.07/0.13 c reading problem ... 0.07/0.13 c objective function found 1.30/0.81 c ... done. Wall clock time 0.679s. 1.30/0.81 c declared #vars 6651 1.30/0.81 c #constraints 721 1.30/0.81 c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<< 1.30/0.81 c constraints type 1.30/0.81 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51 1.30/0.81 c org.sat4j.minisat.constraints.card.MinWatchCard => 331 1.30/0.81 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 339 1.30/0.81 c 721 constraints processed. 1.30/0.81 c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<< 1.30/0.81 c constraints type 1.30/0.81 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1.30/0.81 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1.30/0.81 c org.sat4j.pb.constraints.pb.MaxWatchPb => 339 1.30/0.81 c 721 constraints processed. 1.30/0.81 c objective function length is 31 literals 2.32/1.16 c And the winner is solver0 2.57/1.32 c SATISFIABLE 2.57/1.32 c OPTIMIZING... 2.57/1.32 c Got one! Elapsed wall clock time (in seconds):1.188 2.57/1.32 o 524296 3.21/1.62 c And the winner is solver1 3.29/1.82 c Got one! Elapsed wall clock time (in seconds):1.692 3.29/1.82 o 524295 4.31/2.12 c And the winner is solver1 4.46/2.32 c Got one! Elapsed wall clock time (in seconds):2.194 4.46/2.32 o 524294 4.92/2.52 c And the winner is solver1 5.00/2.82 c Got one! Elapsed wall clock time (in seconds):2.695 5.00/2.82 o 524293 6.81/3.66 c And the winner is solver1 6.97/3.82 c Got one! Elapsed wall clock time (in seconds):3.696 6.97/3.82 o 524292 7.31/4.03 c And the winner is solver1 7.40/4.33 c Got one! Elapsed wall clock time (in seconds):4.196 7.40/4.33 o 524291 7.99/4.62 c And the winner is solver1 8.08/4.83 c Got one! Elapsed wall clock time (in seconds):4.697 8.08/4.83 o 524290 8.22/4.99 c And the winner is solver1 8.43/5.33 c Got one! Elapsed wall clock time (in seconds):5.198 8.43/5.33 o 524289 9.87/6.00 c And the winner is solver1 9.92/6.33 c Got one! Elapsed wall clock time (in seconds):6.199 9.92/6.33 o 524288 10.26/6.51 c And the winner is solver1 10.29/6.83 c Got one! Elapsed wall clock time (in seconds):6.7 10.29/6.83 o 524287 10.64/7.07 c And the winner is solver1 10.79/7.33 c Got one! Elapsed wall clock time (in seconds):7.201 10.79/7.33 o 524286 11.43/7.61 c And the winner is solver1 11.49/7.83 c Got one! Elapsed wall clock time (in seconds):7.701 11.49/7.83 o 524285 11.89/8.05 c And the winner is solver1 12.03/8.33 c Got one! Elapsed wall clock time (in seconds):8.202 12.03/8.33 o 524284 12.66/8.61 c And the winner is solver1 12.71/8.83 c Got one! Elapsed wall clock time (in seconds):8.703 12.71/8.83 o 524283 13.04/9.08 c And the winner is solver1 13.23/9.33 c Got one! Elapsed wall clock time (in seconds):9.204 13.23/9.33 o 524282 13.56/9.56 c And the winner is solver1 13.70/9.83 c Got one! Elapsed wall clock time (in seconds):9.705 13.70/9.83 o 524281 14.05/10.04 c And the winner is solver1 14.14/10.33 c Got one! Elapsed wall clock time (in seconds):10.205 14.14/10.33 o 524280 14.47/10.58 c And the winner is solver1 14.65/10.84 c Got one! Elapsed wall clock time (in seconds):10.706 14.65/10.84 o 524279 14.99/11.09 c And the winner is solver1 15.19/11.34 c Got one! Elapsed wall clock time (in seconds):11.207 15.19/11.34 o 524278 15.82/11.62 c And the winner is solver1 15.90/11.84 c Got one! Elapsed wall clock time (in seconds):11.708 15.90/11.84 o 524277 16.22/12.06 c And the winner is solver1 16.36/12.34 c Got one! Elapsed wall clock time (in seconds):12.208 16.36/12.34 o 524276 16.68/12.56 c And the winner is solver1 16.83/12.84 c Got one! Elapsed wall clock time (in seconds):12.709 16.83/12.84 o 524275 17.15/13.09 c And the winner is solver1 17.35/13.34 c Got one! Elapsed wall clock time (in seconds):13.21 17.35/13.34 o 524274 17.66/13.56 c And the winner is solver1 17.82/13.84 c Got one! Elapsed wall clock time (in seconds):13.71 17.82/13.84 o 524273 18.13/14.08 c And the winner is solver1 18.32/14.34 c Got one! Elapsed wall clock time (in seconds):14.211 18.32/14.34 o 524272 18.63/14.59 c And the winner is solver1 18.84/14.84 c Got one! Elapsed wall clock time (in seconds):14.712 18.84/14.84 o 524271 19.15/15.06 c And the winner is solver1 19.29/15.34 c Got one! Elapsed wall clock time (in seconds):15.213 19.29/15.34 o 524270 19.88/15.63 c And the winner is solver1 19.98/15.84 c Got one! Elapsed wall clock time (in seconds):15.714 19.98/15.84 o 524269 20.28/16.08 c And the winner is solver1 20.48/16.34 c Got one! Elapsed wall clock time (in seconds):16.214 20.48/16.34 o 524268 20.81/16.57 c And the winner is solver1 20.97/16.84 c Got one! Elapsed wall clock time (in seconds):16.715 20.97/16.84 o 524267 21.27/17.07 c And the winner is solver1 21.44/17.34 c Got one! Elapsed wall clock time (in seconds):17.216 21.44/17.34 o 524266 21.74/17.58 c And the winner is solver1 21.93/17.85 c Got one! Elapsed wall clock time (in seconds):17.717 21.93/17.85 o 524265 22.43/18.12 c And the winner is solver1 22.51/18.35 c Got one! Elapsed wall clock time (in seconds):18.217 22.51/18.35 o 524264 23.81/19.08 c And the winner is solver1 24.00/19.35 c Got one! Elapsed wall clock time (in seconds):19.218 24.00/19.35 o 524263 24.30/19.59 c And the winner is solver1 24.51/19.85 c Got one! Elapsed wall clock time (in seconds):19.719 24.51/19.85 o 524262 24.80/20.09 c And the winner is solver1 25.02/20.35 c Got one! Elapsed wall clock time (in seconds):20.22 25.02/20.35 o 524261 25.31/20.59 c And the winner is solver1 25.53/20.85 c Got one! Elapsed wall clock time (in seconds):20.721 25.53/20.85 o 524260 26.02/21.10 c And the winner is solver1 26.06/21.35 c Got one! Elapsed wall clock time (in seconds):21.221 26.06/21.35 o 524259 30.60/23.63 c And the winner is solver1 30.72/23.85 c Got one! Elapsed wall clock time (in seconds):23.723 30.72/23.85 o 524258 31.29/24.15 c And the winner is solver1 31.42/24.35 c Got one! Elapsed wall clock time (in seconds):24.223 31.42/24.35 o 524257 31.71/24.59 c And the winner is solver1 31.92/24.85 c Got one! Elapsed wall clock time (in seconds):24.724 31.92/24.85 o 524256 32.20/25.09 c And the winner is solver1 32.43/25.35 c Got one! Elapsed wall clock time (in seconds):25.225 32.43/25.35 o 524255 32.90/25.61 c And the winner is solver1 32.96/25.85 c Got one! Elapsed wall clock time (in seconds):25.726 32.96/25.85 o 524254 33.24/26.09 c And the winner is solver1 33.46/26.36 c Got one! Elapsed wall clock time (in seconds):26.227 33.46/26.36 o 524253 34.93/27.12 c And the winner is solver1 35.01/27.36 c Got one! Elapsed wall clock time (in seconds):27.228 35.01/27.36 o 524252 35.49/27.61 c And the winner is solver1 35.52/27.86 c Got one! Elapsed wall clock time (in seconds):27.729 35.52/27.86 o 524251 37.06/28.62 c And the winner is solver1 37.13/28.86 c Got one! Elapsed wall clock time (in seconds):28.73 37.13/28.86 o 524250 38.60/29.61 c And the winner is solver1 38.65/29.86 c Got one! Elapsed wall clock time (in seconds):29.731 38.65/29.86 o 524249 40.12/30.61 c And the winner is solver1 40.16/30.86 c Got one! Elapsed wall clock time (in seconds):30.731 40.16/30.86 o 524248 41.63/31.61 c And the winner is solver1 41.68/31.86 c Got one! Elapsed wall clock time (in seconds):31.732 41.68/31.86 o 524247 43.24/32.61 c And the winner is solver1 43.30/32.86 c Got one! Elapsed wall clock time (in seconds):32.733 43.30/32.86 o 524246 44.57/33.56 c And the winner is solver1 44.72/33.86 c Got one! Elapsed wall clock time (in seconds):33.734 44.72/33.86 o 524245 45.99/34.57 c And the winner is solver1 46.15/34.86 c Got one! Elapsed wall clock time (in seconds):34.735 46.15/34.86 o 524244 47.42/35.56 c And the winner is solver1 47.58/35.86 c Got one! Elapsed wall clock time (in seconds):35.736 47.58/35.86 o 524243 48.84/36.58 c And the winner is solver1 49.03/36.87 c Got one! Elapsed wall clock time (in seconds):36.736 49.03/36.87 o 524242 50.31/37.57 c And the winner is solver1 50.46/37.87 c Got one! Elapsed wall clock time (in seconds):37.737 50.46/37.87 o 524241 51.73/38.57 c And the winner is solver1 51.90/38.87 c Got one! Elapsed wall clock time (in seconds):38.738 51.90/38.87 o 524240 53.16/39.57 c And the winner is solver1 53.33/39.87 c Got one! Elapsed wall clock time (in seconds):39.739 53.33/39.87 o 524239 54.59/40.57 c And the winner is solver1 54.77/40.87 c Got one! Elapsed wall clock time (in seconds):40.74 54.77/40.87 o 524238 56.03/41.59 c And the winner is solver1 56.23/41.87 c Got one! Elapsed wall clock time (in seconds):41.74 56.23/41.87 o 524237 57.48/42.60 c And the winner is solver1 57.71/42.87 c Got one! Elapsed wall clock time (in seconds):42.741 57.71/42.87 o 524236 58.16/43.15 c And the winner is solver1 58.29/43.37 c Got one! Elapsed wall clock time (in seconds):43.242 58.29/43.37 o 524235 58.80/43.67 c And the winner is solver1 58.99/43.87 c Got one! Elapsed wall clock time (in seconds):43.743 58.99/43.87 o 524234 68.83/48.80 c And the winner is solver1 68.83/48.87 c Got one! Elapsed wall clock time (in seconds):48.745 68.83/48.87 o 524233 69.32/49.17 c And the winner is solver1 69.49/49.37 c Got one! Elapsed wall clock time (in seconds):49.245 69.49/49.37 o 524232 69.95/49.65 c And the winner is solver1 70.07/49.88 c Got one! Elapsed wall clock time (in seconds):49.746 70.07/49.88 o 524231 70.51/50.12 c And the winner is solver1 70.59/50.38 c Got one! Elapsed wall clock time (in seconds):50.247 70.59/50.38 o 524230 71.05/50.63 c And the winner is solver1 71.13/50.88 c Got one! Elapsed wall clock time (in seconds):50.748 71.13/50.88 o 524229 74.57/52.60 c And the winner is solver1 74.61/52.88 c Got one! Elapsed wall clock time (in seconds):52.749 74.61/52.88 o 524228 78.24/54.74 c And the winner is solver1 78.36/54.88 c Got one! Elapsed wall clock time (in seconds):54.75 78.36/54.88 o 524227 104.26/67.88 c And the winner is solver0 104.86/68.38 c Got one! Elapsed wall clock time (in seconds):68.253 104.86/68.38 o 394263 131.23/81.55 c cleaning 6535 clauses out of 13069 with flag 8685/13070 133.64/82.74 c And the winner is solver1 133.75/82.89 c Got one! Elapsed wall clock time (in seconds):82.756 133.75/82.89 o 394262 135.19/83.62 c And the winner is solver1 135.26/83.89 c Got one! Elapsed wall clock time (in seconds):83.757 135.26/83.89 o 394261 136.68/84.62 c And the winner is solver1 136.75/84.89 c Got one! Elapsed wall clock time (in seconds):84.758 136.75/84.89 o 394260 139.17/86.12 c And the winner is solver1 139.24/86.39 c Got one! Elapsed wall clock time (in seconds):86.259 139.24/86.39 o 394259 141.46/87.59 c And the winner is solver1 141.67/87.89 c Got one! Elapsed wall clock time (in seconds):87.76 141.67/87.89 o 394258 144.10/89.11 c And the winner is solver1 144.13/89.39 c Got one! Elapsed wall clock time (in seconds):89.261 144.13/89.39 o 394257 146.54/90.61 c And the winner is solver1 146.60/90.89 c Got one! Elapsed wall clock time (in seconds):90.762 146.60/90.89 o 394256 149.01/92.14 c And the winner is solver1 149.11/92.39 c Got one! Elapsed wall clock time (in seconds):92.263 149.11/92.39 o 394255 151.55/93.62 c And the winner is solver1 151.60/93.89 c Got one! Elapsed wall clock time (in seconds):93.764 151.60/93.89 o 394254 154.01/95.13 c And the winner is solver1 154.10/95.39 c Got one! Elapsed wall clock time (in seconds):95.265 154.10/95.39 o 394253 156.53/96.65 c And the winner is solver1 156.65/96.90 c Got one! Elapsed wall clock time (in seconds):96.77 156.65/96.90 o 394252 159.04/98.12 c And the winner is solver1 159.12/98.40 c Got one! Elapsed wall clock time (in seconds):98.271 159.12/98.40 o 394251 161.51/99.62 c And the winner is solver1 161.59/99.90 c Got one! Elapsed wall clock time (in seconds):99.772 161.59/99.90 o 394250 164.01/101.12 c And the winner is solver1 164.09/101.40 c Got one! Elapsed wall clock time (in seconds):101.273 164.09/101.40 o 394249 166.48/102.63 c And the winner is solver1 166.57/102.90 c Got one! Elapsed wall clock time (in seconds):102.774 166.57/102.90 o 394248 166.95/103.16 c And the winner is solver1 167.12/103.40 c Got one! Elapsed wall clock time (in seconds):103.274 167.12/103.40 o 394247 167.50/103.67 c And the winner is solver1 167.68/103.90 c Got one! Elapsed wall clock time (in seconds):103.775 167.68/103.90 o 394246 168.06/104.16 c And the winner is solver1 168.21/104.40 c Got one! Elapsed wall clock time (in seconds):104.275 168.21/104.40 o 394245 168.60/104.64 c And the winner is solver1 168.70/104.91 c Got one! Elapsed wall clock time (in seconds):104.776 168.70/104.91 o 394244 170.09/105.63 c And the winner is solver1 170.17/105.91 c Got one! Elapsed wall clock time (in seconds):105.777 170.17/105.91 o 394243 170.77/106.21 c And the winner is solver1 170.82/106.41 c Got one! Elapsed wall clock time (in seconds):106.278 170.82/106.41 o 394242 171.20/106.68 c And the winner is solver1 171.38/106.91 c Got one! Elapsed wall clock time (in seconds):106.778 171.38/106.91 o 394241 171.76/107.12 c And the winner is solver1 171.81/107.41 c Got one! Elapsed wall clock time (in seconds):107.279 171.81/107.41 o 394240 173.39/108.20 c And the winner is solver1 173.42/108.41 c Got one! Elapsed wall clock time (in seconds):108.28 173.42/108.41 o 394239 173.80/108.66 c And the winner is solver1 173.95/108.91 c Got one! Elapsed wall clock time (in seconds):108.781 173.95/108.91 o 394238 175.32/109.65 c And the winner is solver1 175.45/109.91 c Got one! Elapsed wall clock time (in seconds):109.781 175.45/109.91 o 394237 176.82/110.64 c And the winner is solver1 176.94/110.91 c Got one! Elapsed wall clock time (in seconds):110.782 176.94/110.91 o 394236 179.31/112.13 c And the winner is solver1 179.39/112.41 c Got one! Elapsed wall clock time (in seconds):112.283 179.39/112.41 o 394235 181.76/113.61 c And the winner is solver1 181.80/113.91 c Got one! Elapsed wall clock time (in seconds):113.785 181.80/113.91 o 394234 184.17/115.10 c And the winner is solver1 184.21/115.41 c Got one! Elapsed wall clock time (in seconds):115.286 184.21/115.41 o 394233 186.42/116.59 c And the winner is solver1 186.62/116.92 c Got one! Elapsed wall clock time (in seconds):116.787 186.62/116.92 o 394232 188.78/118.08 c And the winner is solver1 188.97/118.42 c Got one! Elapsed wall clock time (in seconds):118.288 188.97/118.42 o 394231 191.13/119.55 c And the winner is solver1 191.26/119.92 c Got one! Elapsed wall clock time (in seconds):119.789 191.26/119.92 o 394230 193.42/121.07 c And the winner is solver1 193.57/121.42 c Got one! Elapsed wall clock time (in seconds):121.29 193.57/121.42 o 394229 195.73/122.56 c And the winner is solver1 195.89/122.92 c Got one! Elapsed wall clock time (in seconds):122.791 195.89/122.92 o 394228 198.04/124.06 c And the winner is solver1 198.20/124.42 c Got one! Elapsed wall clock time (in seconds):124.292 198.20/124.42 o 394227 200.37/125.56 c And the winner is solver1 200.52/125.92 c Got one! Elapsed wall clock time (in seconds):125.793 200.52/125.92 o 394226 202.73/127.09 c And the winner is solver1 202.95/127.42 c Got one! Elapsed wall clock time (in seconds):127.294 202.95/127.42 o 394225 205.10/128.57 c And the winner is solver1 205.27/128.92 c Got one! Elapsed wall clock time (in seconds):128.795 205.27/128.92 o 394224 207.42/130.10 c And the winner is solver1 207.64/130.42 c Got one! Elapsed wall clock time (in seconds):130.296 207.64/130.42 o 394223 209.79/131.57 c And the winner is solver1 209.98/131.93 c Got one! Elapsed wall clock time (in seconds):131.797 209.98/131.93 o 394222 212.12/133.08 c And the winner is solver1 212.29/133.43 c Got one! Elapsed wall clock time (in seconds):133.298 212.29/133.43 o 394221 214.42/134.58 c And the winner is solver1 214.61/134.93 c Got one! Elapsed wall clock time (in seconds):134.799 214.61/134.93 o 394220 215.14/135.21 c And the winner is solver1 215.21/135.43 c Got one! Elapsed wall clock time (in seconds):135.299 215.21/135.43 o 394219 215.74/135.71 c And the winner is solver1 215.79/135.93 c Got one! Elapsed wall clock time (in seconds):135.8 215.79/135.93 o 394218 216.12/136.20 c And the winner is solver1 216.35/136.43 c Got one! Elapsed wall clock time (in seconds):136.301 216.35/136.43 o 394217 216.71/136.69 c And the winner is solver1 216.91/136.93 c Got one! Elapsed wall clock time (in seconds):136.802 216.91/136.93 o 394216 217.44/137.21 c And the winner is solver1 217.49/137.43 c Got one! Elapsed wall clock time (in seconds):137.303 217.49/137.43 o 394215 218.03/137.70 c And the winner is solver1 218.05/137.93 c Got one! Elapsed wall clock time (in seconds):137.804 218.05/137.93 o 394214 218.59/138.22 c And the winner is solver1 218.65/138.43 c Got one! Elapsed wall clock time (in seconds):138.304 218.65/138.43 o 394213 219.00/138.70 c And the winner is solver1 219.20/138.93 c Got one! Elapsed wall clock time (in seconds):138.805 219.20/138.93 o 394212 219.72/139.20 c And the winner is solver1 219.75/139.43 c Got one! Elapsed wall clock time (in seconds):139.306 219.75/139.43 o 394211 220.29/139.73 c And the winner is solver1 220.37/139.94 c Got one! Elapsed wall clock time (in seconds):139.807 220.37/139.94 o 394210 222.69/141.11 c And the winner is solver1 222.74/141.44 c Got one! Elapsed wall clock time (in seconds):141.308 222.74/141.44 o 394209 225.06/142.62 c And the winner is solver1 225.11/142.94 c Got one! Elapsed wall clock time (in seconds):142.809 225.11/142.94 o 394208 227.45/144.14 c And the winner is solver1 227.56/144.44 c Got one! Elapsed wall clock time (in seconds):144.31 227.56/144.44 o 394207 229.72/145.59 c And the winner is solver1 229.94/145.94 c Got one! Elapsed wall clock time (in seconds):145.811 229.94/145.94 o 394206 232.06/147.00 c And the winner is solver1 232.08/147.44 c Got one! Elapsed wall clock time (in seconds):147.312 232.08/147.44 o 394205 233.99/148.50 c And the winner is solver1 234.22/148.94 c Got one! Elapsed wall clock time (in seconds):148.813 234.22/148.94 o 394204 236.33/150.00 c And the winner is solver1 236.36/150.44 c Got one! Elapsed wall clock time (in seconds):150.314 236.36/150.44 o 394203 238.47/151.50 c And the winner is solver1 238.50/151.94 c Got one! Elapsed wall clock time (in seconds):151.815 238.50/151.94 o 394202 240.42/153.00 c And the winner is solver1 240.64/153.44 c Got one! Elapsed wall clock time (in seconds):153.316 240.64/153.44 o 394201 242.75/154.51 c And the winner is solver1 242.79/154.95 c Got one! Elapsed wall clock time (in seconds):154.817 242.79/154.95 o 394200 244.91/156.07 c And the winner is solver1 245.08/156.45 c Got one! Elapsed wall clock time (in seconds):156.318 245.08/156.45 o 394199 247.18/157.52 c And the winner is solver1 247.25/157.95 c Got one! Elapsed wall clock time (in seconds):157.819 247.25/157.95 o 394198 249.35/159.02 c And the winner is solver1 249.43/159.45 c Got one! Elapsed wall clock time (in seconds):159.32 249.43/159.45 o 394197 251.53/160.53 c And the winner is solver1 251.61/160.95 c Got one! Elapsed wall clock time (in seconds):160.821 251.61/160.95 o 394196 253.71/162.03 c And the winner is solver1 253.78/162.45 c Got one! Elapsed wall clock time (in seconds):162.322 253.78/162.45 o 394195 255.87/163.53 c And the winner is solver1 255.97/163.95 c Got one! Elapsed wall clock time (in seconds):163.823 255.97/163.95 o 394194 258.11/165.06 c And the winner is solver1 258.25/165.45 c Got one! Elapsed wall clock time (in seconds):165.324 258.25/165.45 o 394193 258.74/165.74 c And the winner is solver1 258.85/165.95 c Got one! Elapsed wall clock time (in seconds):165.825 258.85/165.95 o 394192 259.35/166.23 c And the winner is solver1 259.43/166.45 c Got one! Elapsed wall clock time (in seconds):166.325 259.43/166.45 o 394191 259.91/166.74 c And the winner is solver1 260.02/166.95 c Got one! Elapsed wall clock time (in seconds):166.826 260.02/166.95 o 394190 260.51/167.25 c And the winner is solver1 260.64/167.46 c Got one! Elapsed wall clock time (in seconds):167.327 260.64/167.46 o 394189 261.12/167.74 c And the winner is solver1 261.21/167.96 c Got one! Elapsed wall clock time (in seconds):167.827 261.21/167.96 o 394188 261.69/168.24 c And the winner is solver1 261.79/168.46 c Got one! Elapsed wall clock time (in seconds):168.328 261.79/168.46 o 394187 262.26/168.76 c And the winner is solver1 262.41/168.96 c Got one! Elapsed wall clock time (in seconds):168.829 262.41/168.96 o 394186 262.88/169.25 c And the winner is solver1 263.00/169.46 c Got one! Elapsed wall clock time (in seconds):169.33 263.00/169.46 o 394185 263.47/169.74 c And the winner is solver1 263.59/169.96 c Got one! Elapsed wall clock time (in seconds):169.83 263.59/169.96 o 394184 264.06/170.28 c And the winner is solver1 264.32/170.46 c Got one! Elapsed wall clock time (in seconds):170.331 264.32/170.46 o 394183 265.79/171.23 c And the winner is solver1 265.87/171.46 c Got one! Elapsed wall clock time (in seconds):171.332 265.87/171.46 o 394182 267.33/172.23 c And the winner is solver1 267.41/172.46 c Got one! Elapsed wall clock time (in seconds):172.333 267.41/172.46 o 394181 268.88/173.23 c And the winner is solver1 268.99/173.46 c Got one! Elapsed wall clock time (in seconds):173.334 268.99/173.46 o 394180 270.50/174.23 c And the winner is solver1 270.59/174.46 c Got one! Elapsed wall clock time (in seconds):174.335 270.59/174.46 o 394179 272.05/175.23 c And the winner is solver1 272.15/175.46 c Got one! Elapsed wall clock time (in seconds):175.335 272.15/175.46 o 394178 273.61/176.23 c And the winner is solver1 273.71/176.47 c Got one! Elapsed wall clock time (in seconds):176.336 273.71/176.47 o 394177 275.22/177.24 c And the winner is solver1 275.31/177.47 c Got one! Elapsed wall clock time (in seconds):177.338 275.31/177.47 o 394176 276.81/178.28 c And the winner is solver1 276.98/178.47 c Got one! Elapsed wall clock time (in seconds):178.338 276.98/178.47 o 394175 278.44/179.23 c And the winner is solver1 278.53/179.47 c Got one! Elapsed wall clock time (in seconds):179.34 278.53/179.47 o 394174 279.99/180.25 c And the winner is solver1 280.13/180.47 c Got one! Elapsed wall clock time (in seconds):180.34 280.13/180.47 o 394173 281.58/181.24 c And the winner is solver1 281.69/181.47 c Got one! Elapsed wall clock time (in seconds):181.342 281.69/181.47 o 394172 283.14/182.24 c And the winner is solver1 283.25/182.47 c Got one! Elapsed wall clock time (in seconds):182.343 283.25/182.47 o 394171 284.71/183.24 c And the winner is solver1 284.81/183.47 c Got one! Elapsed wall clock time (in seconds):183.344 284.81/183.47 o 394170 286.26/184.24 c And the winner is solver1 286.37/184.47 c Got one! Elapsed wall clock time (in seconds):184.345 286.37/184.47 o 394169 287.82/185.25 c And the winner is solver1 287.95/185.47 c Got one! Elapsed wall clock time (in seconds):185.346 287.95/185.47 o 394168 289.40/186.26 c And the winner is solver1 289.53/186.48 c Got one! Elapsed wall clock time (in seconds):186.347 289.53/186.48 o 394167 289.97/186.77 c And the winner is solver1 290.14/186.98 c Got one! Elapsed wall clock time (in seconds):186.848 290.14/186.98 o 394166 290.58/187.26 c And the winner is solver1 290.74/187.48 c Got one! Elapsed wall clock time (in seconds):187.348 290.74/187.48 o 394165 291.17/187.76 c And the winner is solver1 291.31/187.98 c Got one! Elapsed wall clock time (in seconds):187.849 291.31/187.98 o 394164 291.76/188.27 c And the winner is solver1 291.91/188.48 c Got one! Elapsed wall clock time (in seconds):188.35 291.91/188.48 o 394163 293.56/189.34 c And the winner is solver1 293.66/189.48 c Got one! Elapsed wall clock time (in seconds):189.351 293.66/189.48 o 394162 297.54/191.42 c And the winner is solver1 297.54/191.48 c Got one! Elapsed wall clock time (in seconds):191.353 297.54/191.48 o 394161 298.01/191.78 c And the winner is solver1 298.19/191.98 c Got one! Elapsed wall clock time (in seconds):191.853 298.19/191.98 o 394160 299.82/192.86 c And the winner is solver1 299.98/192.98 c Got one! Elapsed wall clock time (in seconds):192.854 299.98/192.98 o 394159 300.40/193.30 c And the winner is solver1 300.63/193.48 c Got one! Elapsed wall clock time (in seconds):193.355 300.63/193.48 o 394158 301.25/193.80 c And the winner is solver1 301.28/193.99 c Got one! Elapsed wall clock time (in seconds):193.856 301.28/193.99 o 394157 301.90/194.36 c And the winner is solver1 302.05/194.49 c Got one! Elapsed wall clock time (in seconds):194.357 302.05/194.49 o 394156 310.90/198.95 c And the winner is solver1 310.90/198.99 c Got one! Elapsed wall clock time (in seconds):198.858 310.90/198.99 o 394006 319.65/203.33 c And the winner is solver1 319.74/203.49 c Got one! Elapsed wall clock time (in seconds):203.361 319.74/203.49 o 394005 320.20/203.78 c And the winner is solver1 320.38/203.99 c Got one! Elapsed wall clock time (in seconds):203.862 320.38/203.99 o 394004 321.00/204.31 c And the winner is solver1 321.07/204.49 c Got one! Elapsed wall clock time (in seconds):204.362 321.07/204.49 o 394003 362.51/225.21 c cleaning 14288 clauses out of 28582 with flag 12489/35118 395.91/241.92 c cleaning 10099 clauses out of 20300 with flag 31992/41124 426.33/257.11 c And the winner is solver1 426.39/257.50 c Got one! Elapsed wall clock time (in seconds):257.372 426.39/257.50 o 394002 437.21/262.98 c cleaning 7992 clauses out of 15994 with flag 3114/46917 459.23/273.93 c And the winner is solver1 459.31/274.00 c Got one! Elapsed wall clock time (in seconds):273.876 459.31/274.00 o 394001 491.51/290.14 c And the winner is solver1 491.63/290.51 c Got one! Elapsed wall clock time (in seconds):290.38 491.63/290.51 o 394000 513.62/301.51 c cleaning 7250 clauses out of 14502 with flag 6607/53417 523.61/306.52 c And the winner is solver1 523.69/307.01 c Got one! Elapsed wall clock time (in seconds):306.884 523.69/307.01 o 393999 553.90/322.19 c And the winner is solver1 554.10/322.52 c Got one! Elapsed wall clock time (in seconds):322.387 554.10/322.52 o 393998 575.11/333.08 c cleaning 6549 clauses out of 13125 with flag 6843/59290 605.13/348.01 c And the winner is solver1 605.13/348.07 c Got one! Elapsed wall clock time (in seconds):347.944 605.13/348.07 o 393997 635.67/363.31 c And the winner is solver1 635.73/363.58 c Got one! Elapsed wall clock time (in seconds):363.447 635.73/363.58 o 393996 643.61/367.53 c And the winner is solver1 643.61/367.58 c Got one! Elapsed wall clock time (in seconds):367.449 643.61/367.58 o 393995 651.53/371.58 c And the winner is solver1 651.72/372.08 c Got one! Elapsed wall clock time (in seconds):371.95 651.72/372.08 o 393994 659.59/376.02 c And the winner is solver1 659.59/376.08 c Got one! Elapsed wall clock time (in seconds):375.952 659.59/376.08 o 393993 667.53/380.01 c And the winner is solver1 667.53/380.08 c Got one! Elapsed wall clock time (in seconds):379.953 667.53/380.08 o 393992 675.42/384.02 c And the winner is solver1 675.42/384.08 c Got one! Elapsed wall clock time (in seconds):383.955 675.42/384.08 o 393991 683.29/388.00 c And the winner is solver1 683.29/388.08 c Got one! Elapsed wall clock time (in seconds):387.956 683.29/388.08 o 393990 691.16/392.00 c And the winner is solver1 691.16/392.09 c Got one! Elapsed wall clock time (in seconds):391.958 691.16/392.09 o 393989 698.83/396.00 c And the winner is solver1 699.06/396.09 c Got one! Elapsed wall clock time (in seconds):395.959 699.06/396.09 o 393988 706.91/400.02 c And the winner is solver1 706.91/400.09 c Got one! Elapsed wall clock time (in seconds):399.96 706.91/400.09 o 393987 715.01/404.11 c And the winner is solver1 715.05/404.59 c Got one! Elapsed wall clock time (in seconds):404.461 715.05/404.59 o 393986 719.49/406.82 c And the winner is solver1 719.56/407.09 c Got one! Elapsed wall clock time (in seconds):406.963 719.56/407.09 o 393985 720.18/407.48 c And the winner is solver1 720.37/407.59 c Got one! Elapsed wall clock time (in seconds):407.463 720.37/407.59 o 393984 720.98/407.95 c And the winner is solver1 721.13/408.09 c Got one! Elapsed wall clock time (in seconds):407.964 721.13/408.09 o 393983 724.54/409.83 c And the winner is solver1 724.63/410.09 c Got one! Elapsed wall clock time (in seconds):409.965 724.63/410.09 o 393982 725.28/410.49 c And the winner is solver1 725.47/410.60 c Got one! Elapsed wall clock time (in seconds):410.466 725.47/410.60 o 393981 727.10/411.42 c And the winner is solver1 727.16/411.60 c Got one! Elapsed wall clock time (in seconds):411.467 727.16/411.60 o 393980 737.02/416.89 c cleaning 11087 clauses out of 22175 with flag 3549/74889 745.23/420.95 c And the winner is solver1 745.35/421.32 c Got one! Elapsed wall clock time (in seconds):421.186 745.35/421.32 o 393979 746.93/422.17 c And the winner is solver1 747.11/422.32 c Got one! Elapsed wall clock time (in seconds):422.187 747.11/422.32 o 393978 748.88/423.21 c And the winner is solver1 748.93/423.32 c Got one! Elapsed wall clock time (in seconds):423.188 748.93/423.32 o 393977 750.68/424.21 c And the winner is solver1 750.75/424.32 c Got one! Elapsed wall clock time (in seconds):424.189 750.75/424.32 o 393976 752.53/425.23 c And the winner is solver1 752.61/425.32 c Got one! Elapsed wall clock time (in seconds):425.19 752.61/425.32 o 393975 757.17/427.69 c And the winner is solver1 757.38/427.82 c Got one! Elapsed wall clock time (in seconds):427.691 757.38/427.82 o 393974 760.75/429.55 c And the winner is solver1 760.89/429.82 c Got one! Elapsed wall clock time (in seconds):429.692 760.89/429.82 o 393973 765.45/432.14 c And the winner is solver1 765.54/432.32 c Got one! Elapsed wall clock time (in seconds):432.193 765.54/432.32 o 393972 781.94/440.59 c And the winner is solver1 782.16/440.82 c Got one! Elapsed wall clock time (in seconds):440.695 782.16/440.82 o 393971 802.59/451.01 c And the winner is solver1 802.63/451.33 c Got one! Elapsed wall clock time (in seconds):451.197 802.63/451.33 o 393970 803.58/451.81 c And the winner is solver1 803.58/451.83 c Got one! Elapsed wall clock time (in seconds):451.698 803.58/451.83 o 393969 825.86/462.90 c cleaning 9880 clauses out of 19760 with flag 6923/83561 845.07/472.56 c And the winner is solver1 845.22/472.83 c Got one! Elapsed wall clock time (in seconds):472.706 845.22/472.83 o 393968 848.96/474.73 c And the winner is solver1 849.05/474.84 c Got one! Elapsed wall clock time (in seconds):474.707 849.05/474.84 o 393967 849.99/475.34 c And the winner is solver1 850.09/475.84 c Got one! Elapsed wall clock time (in seconds):475.708 850.09/475.84 o 393966 875.28/488.42 c And the winner is solver1 875.33/488.84 c Got one! Elapsed wall clock time (in seconds):488.711 875.33/488.84 o 393965 882.87/492.67 c And the winner is solver1 883.03/492.84 c Got one! Elapsed wall clock time (in seconds):492.712 883.03/492.84 o 393964 886.74/494.75 c And the winner is solver1 886.88/494.84 c Got one! Elapsed wall clock time (in seconds):494.713 886.88/494.84 o 393963 910.66/506.77 c cleaning 8499 clauses out of 17007 with flag 6256/90688 912.69/507.74 c And the winner is solver1 912.81/507.84 c Got one! Elapsed wall clock time (in seconds):507.716 912.81/507.84 o 393962 922.57/512.77 c And the winner is solver1 922.74/512.85 c Got one! Elapsed wall clock time (in seconds):512.717 922.74/512.85 o 393961 958.70/530.85 c And the winner is solver1 958.83/530.90 c Got one! Elapsed wall clock time (in seconds):530.771 958.83/530.90 o 393960 960.62/531.85 c And the winner is solver1 960.76/531.90 c Got one! Elapsed wall clock time (in seconds):531.772 960.76/531.90 o 393959 980.76/541.96 c And the winner is solver1 980.90/542.40 c Got one! Elapsed wall clock time (in seconds):542.274 980.90/542.40 o 393958 982.70/543.38 c And the winner is solver1 982.90/543.40 c Got one! Elapsed wall clock time (in seconds):543.275 982.90/543.40 o 393957 984.89/544.48 c And the winner is solver1 985.11/544.90 c Got one! Elapsed wall clock time (in seconds):544.776 985.11/544.90 o 393956 986.09/545.44 c And the winner is solver1 986.21/545.91 c Got one! Elapsed wall clock time (in seconds):545.777 986.21/545.91 o 393955 988.22/546.97 c And the winner is solver1 988.40/547.41 c Got one! Elapsed wall clock time (in seconds):547.278 988.40/547.41 o 393954 993.40/549.99 c And the winner is solver1 993.65/550.41 c Got one! Elapsed wall clock time (in seconds):550.279 993.65/550.41 o 393953 996.84/552.04 c And the winner is solver1 996.94/552.41 c Got one! Elapsed wall clock time (in seconds):552.28 996.94/552.41 o 393952 998.73/553.40 c And the winner is solver1 998.93/553.46 c Got one! Elapsed wall clock time (in seconds):553.331 998.93/553.46 o 393951 1009.27/558.68 c And the winner is solver1 1009.47/558.96 c Got one! Elapsed wall clock time (in seconds):558.832 1009.47/558.96 o 393950 1011.36/559.97 c And the winner is solver1 1011.51/560.46 c Got one! Elapsed wall clock time (in seconds):560.333 1011.51/560.46 o 393949 1012.59/561.01 c And the winner is solver1 1012.63/561.46 c Got one! Elapsed wall clock time (in seconds):561.334 1012.63/561.46 o 393948 1013.73/562.04 c And the winner is solver1 1013.83/562.46 c Got one! Elapsed wall clock time (in seconds):562.335 1013.83/562.46 o 393947 1014.92/563.05 c And the winner is solver1 1015.05/563.48 c Got one! Elapsed wall clock time (in seconds):563.348 1015.05/563.48 o 393946 1017.09/564.57 c And the winner is solver1 1017.26/564.98 c Got one! Elapsed wall clock time (in seconds):564.849 1017.26/564.98 o 393945 1018.33/565.55 c And the winner is solver1 1018.43/565.98 c Got one! Elapsed wall clock time (in seconds):565.85 1018.43/565.98 o 393944 1019.49/566.57 c And the winner is solver1 1019.65/566.98 c Got one! Elapsed wall clock time (in seconds):566.851 1019.65/566.98 o 393943 1020.68/567.55 c And the winner is solver1 1020.80/567.98 c Got one! Elapsed wall clock time (in seconds):567.851 1020.80/567.98 o 393942 1022.06/568.64 c And the winner is solver1 1022.16/568.98 c Got one! Elapsed wall clock time (in seconds):568.852 1022.16/568.98 o 393941 1032.24/574.01 c cleaning 9180 clauses out of 18365 with flag 3482/100545 1034.65/575.25 c And the winner is solver1 1034.76/575.48 c Got one! Elapsed wall clock time (in seconds):575.355 1034.76/575.48 o 393940 1036.39/576.68 c And the winner is solver1 1036.58/577.00 c Got one! Elapsed wall clock time (in seconds):576.871 1036.58/577.00 o 393939 1098.15/607.70 c cleaning 7253 clauses out of 14505 with flag 16039/105865 1135.82/626.57 c And the winner is solver1 1135.99/627.01 c Got one! Elapsed wall clock time (in seconds):626.879 1135.99/627.01 o 393938 1136.98/627.60 c And the winner is solver1 1137.20/628.01 c Got one! Elapsed wall clock time (in seconds):627.88 1137.20/628.01 o 393937 1138.19/628.57 c And the winner is solver1 1138.37/629.01 c Got one! Elapsed wall clock time (in seconds):628.881 1138.37/629.01 o 393936 1139.75/629.78 c And the winner is solver1 1139.95/630.01 c Got one! Elapsed wall clock time (in seconds):629.882 1139.95/630.01 o 393935 1140.93/630.52 c And the winner is solver1 1141.00/631.01 c Got one! Elapsed wall clock time (in seconds):630.883 1141.00/631.01 o 393934 1141.80/631.46 c And the winner is solver1 1141.92/631.51 c Got one! Elapsed wall clock time (in seconds):631.383 1141.92/631.51 o 393933 1143.09/632.16 c And the winner is solver1 1143.23/632.51 c Got one! Elapsed wall clock time (in seconds):632.384 1143.23/632.51 o 393932 1145.22/633.50 c And the winner is solver1 1145.22/633.51 c Got one! Elapsed wall clock time (in seconds):633.385 1145.22/633.51 o 393931 1146.44/634.19 c And the winner is solver1 1146.65/634.51 c Got one! Elapsed wall clock time (in seconds):634.386 1146.65/634.51 o 393930 1148.63/635.57 c And the winner is solver1 1148.82/636.02 c Got one! Elapsed wall clock time (in seconds):635.887 1148.82/636.02 o 393929 1149.98/636.66 c And the winner is solver1 1150.14/637.02 c Got one! Elapsed wall clock time (in seconds):636.888 1150.14/637.02 o 393928 1152.54/638.25 c And the winner is solver1 1152.68/638.52 c Got one! Elapsed wall clock time (in seconds):638.389 1152.68/638.52 o 393927 1153.85/639.17 c And the winner is solver1 1154.01/639.52 c Got one! Elapsed wall clock time (in seconds):639.39 1154.01/639.52 o 393926 1156.39/640.74 c And the winner is solver1 1156.49/641.03 c Got one! Elapsed wall clock time (in seconds):640.898 1156.49/641.03 o 393925 1158.82/642.25 c And the winner is solver1 1158.97/642.53 c Got one! Elapsed wall clock time (in seconds):642.399 1158.97/642.53 o 393924 1163.55/644.81 c And the winner is solver1 1163.60/645.03 c Got one! Elapsed wall clock time (in seconds):644.9 1163.60/645.03 o 393923 1169.37/647.98 c And the winner is solver1 1169.55/648.03 c Got one! Elapsed wall clock time (in seconds):647.906 1169.55/648.03 o 393922 1173.49/650.07 c And the winner is solver1 1173.66/650.54 c Got one! Elapsed wall clock time (in seconds):650.407 1173.66/650.54 o 393921 1179.60/653.53 c And the winner is solver1 1179.60/653.59 c Got one! Elapsed wall clock time (in seconds):653.458 1179.60/653.59 o 393920 1183.73/655.65 c And the winner is solver1 1183.84/656.09 c Got one! Elapsed wall clock time (in seconds):655.96 1183.84/656.09 o 393919 1192.88/660.67 c And the winner is solver1 1193.06/661.09 c Got one! Elapsed wall clock time (in seconds):660.961 1193.06/661.09 o 393918 1202.87/666.30 c And the winner is solver1 1202.90/666.80 c Got one! Elapsed wall clock time (in seconds):666.666 1202.90/666.80 o 393917 1211.93/671.34 c And the winner is solver1 1212.04/671.80 c Got one! Elapsed wall clock time (in seconds):671.668 1212.04/671.80 o 393916 1221.05/676.34 c And the winner is solver1 1221.17/676.80 c Got one! Elapsed wall clock time (in seconds):676.669 1221.17/676.80 o 393915 1230.42/681.40 c And the winner is solver1 1230.46/681.80 c Got one! Elapsed wall clock time (in seconds):681.671 1230.46/681.80 o 393914 1239.47/686.34 c And the winner is solver1 1239.57/686.80 c Got one! Elapsed wall clock time (in seconds):686.672 1239.57/686.80 o 393913 1248.58/691.35 c And the winner is solver1 1248.71/691.80 c Got one! Elapsed wall clock time (in seconds):691.674 1248.71/691.80 o 393912 1257.73/696.37 c And the winner is solver1 1257.89/696.80 c Got one! Elapsed wall clock time (in seconds):696.676 1257.89/696.80 o 393911 1266.89/701.36 c And the winner is solver1 1267.05/701.81 c Got one! Elapsed wall clock time (in seconds):701.683 1267.05/701.81 o 393910 1276.07/706.37 c And the winner is solver1 1276.22/706.81 c Got one! Elapsed wall clock time (in seconds):706.684 1276.22/706.81 o 393909 1285.25/711.38 c And the winner is solver1 1285.44/711.81 c Got one! Elapsed wall clock time (in seconds):711.686 1285.44/711.81 o 393908 1294.67/716.40 c And the winner is solver1 1294.70/716.82 c Got one! Elapsed wall clock time (in seconds):716.687 1294.70/716.82 o 393907 1303.91/721.41 c And the winner is solver1 1303.96/721.82 c Got one! Elapsed wall clock time (in seconds):721.689 1303.96/721.82 o 393906 1312.93/726.37 c And the winner is solver1 1313.11/726.82 c Got one! Elapsed wall clock time (in seconds):726.691 1313.11/726.82 o 393905 1314.48/727.50 c And the winner is solver1 1314.52/727.82 c Got one! Elapsed wall clock time (in seconds):727.692 1314.52/727.82 o 393904 1315.67/728.48 c And the winner is solver1 1315.85/728.82 c Got one! Elapsed wall clock time (in seconds):728.692 1315.85/728.82 o 393903 1326.06/733.90 c And the winner is solver1 1326.08/734.32 c Got one! Elapsed wall clock time (in seconds):734.194 1326.08/734.32 o 393902 1346.85/745.20 c And the winner is solver1 1346.85/745.26 c Got one! Elapsed wall clock time (in seconds):745.128 1346.85/745.26 o 393901 1355.38/749.58 c cleaning 14271 clauses out of 28544 with flag 3551/127157 1357.00/750.34 c And the winner is solver1 1357.08/750.76 c Got one! Elapsed wall clock time (in seconds):750.63 1357.08/750.76 o 393900 1371.63/758.08 c And the winner is solver1 1371.78/758.26 c Got one! Elapsed wall clock time (in seconds):758.132 1371.78/758.26 o 393899 1420.76/782.72 c cleaning 9849 clauses out of 19703 with flag 14669/132587 1422.76/783.79 c And the winner is solver1 1422.97/784.27 c Got one! Elapsed wall clock time (in seconds):784.136 1422.97/784.27 o 393898 1442.71/794.14 c And the winner is solver1 1442.82/794.27 c Got one! Elapsed wall clock time (in seconds):794.138 1442.82/794.27 o 393897 1498.10/821.89 c cleaning 7955 clauses out of 15945 with flag 13963/138678 1571.13/858.24 c cleaning 6992 clauses out of 13990 with flag 32815/144678 1592.58/868.98 c And the winner is solver0 1602.09/878.37 c Got one! Elapsed wall clock time (in seconds):878.242 1602.09/878.37 o 393877 1648.15/901.36 c cleaning 6418 clauses out of 12837 with flag 14367/150517 1720.49/937.40 c cleaning 6208 clauses out of 12419 with flag 35936/156517 1795.44/974.87 c cleaning 6600 clauses out of 13208 with flag 58537/163514 1800.03/977.10 c >>>>>>>>>> Solver number 0 (3 answers) <<<<<<<<<<<<<<<<<< 1800.03/977.10 c starts : 3353 1800.03/977.10 c conflicts : 163872 1800.03/977.10 c decisions : 999885 1800.03/977.10 c propagations : 158273486 1800.03/977.10 c inspects : 4411338440 1800.03/977.10 c shortcuts : 0 1800.03/977.10 c learnt literals : 1 1800.03/977.10 c learnt binary clauses : 0 1800.03/977.10 c learnt ternary clauses : 0 1800.03/977.10 c learnt constraints : 163870 1800.03/977.10 c ignored constraints : 0 1800.03/977.10 c root simplifications : 0 1800.03/977.10 c removed literals (reason simplification) : 447365 1800.03/977.10 c reason swapping (by a shorter reason) : 0 1800.03/977.10 c Calls to reduceDB : 18 1800.03/977.10 c Number of update (reduction) of LBD : 70790 1800.03/977.10 c Imported unit clauses : 0 1800.03/977.10 c number of reductions to clauses (during analyze) : 0 1800.03/977.10 c number of learned constraints concerned by reduction : 0 1800.03/977.10 c number of learning phase by resolution : 0 1800.03/977.10 c number of learning phase by cutting planes : 0 1800.03/977.10 c speed (assignments/second) : 865662.952935707 1800.03/977.10 c non guided choices 108397 1800.03/977.11 c learnt constraints type 1800.03/977.11 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 6966 1800.03/977.11 c >>>>>>>>>> Solver number 1 (286 answers) <<<<<<<<<<<<<<<<<< 1800.03/977.11 c starts : 290 1800.03/977.11 c conflicts : 416 1800.03/977.11 c decisions : 1747417 1800.03/977.11 c propagations : 3717960 1800.03/977.11 c inspects : 128137129 1800.03/977.11 c shortcuts : 0 1800.03/977.11 c learnt literals : 0 1800.03/977.11 c learnt binary clauses : 0 1800.03/977.11 c learnt ternary clauses : 0 1800.03/977.11 c learnt constraints : 412 1800.03/977.11 c ignored constraints : 0 1800.03/977.11 c root simplifications : 0 1800.03/977.11 c removed literals (reason simplification) : 0 1800.03/977.11 c reason swapping (by a shorter reason) : 0 1800.03/977.11 c Calls to reduceDB : 0 1800.03/977.11 c Number of update (reduction) of LBD : 0 1800.03/977.11 c Imported unit clauses : 0 1800.03/977.11 c number of reductions to clauses (during analyze) : 0 1800.03/977.11 c number of learned constraints concerned by reduction : 0 1800.03/977.11 c number of learning phase by resolution : 0 1800.03/977.11 c number of learning phase by cutting planes : 0 1800.03/977.11 c speed (assignments/second) : 37655.94773889705 1800.03/977.11 c non guided choices 6393 1800.03/977.11 c learnt constraints type 1800.03/977.11 c org.sat4j.pb.constraints.pb.MaxWatchPb => 412 1800.03/977.11 s SATISFIABLE 1800.03/977.11 c Found 289 solution(s) 1800.03/977.12 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 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 x5645 -x5646 -x5647 x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 x6621 x6622 x6623 x6624 x6625 x6626 x6627 x6628 x6629 x6630 x6631 x6632 x6633 x6634 x6635 x6636 x6637 x6638 x6639 -x6640 -x6641 x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 x6650 x6651 1800.03/977.12 c objective function=393877 1800.03/977.12 c Total wall clock time (in seconds): 976.995
OK 393877
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-4100482-1466209759/watcher-4100482-1466209759 -o /tmp/evaluation-result-4100482-1466209759/solver-4100482-1466209759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100482-1466209759.opb pid=11602 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.26 4.35 4.24 5/197 11605 /proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=2500 CPUtime=0 cores=1,3,5,7 /proc/11605/stat : 11605 (java) R 11602 11605 8337 0 -1 4202496 170 0 0 0 0 0 0 0 20 0 1 0 23021660 2560000 46 33554432000 1073741824 1073778376 140735349099152 140735349096280 225435544871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/11605/statm: 892 47 37 9 0 30 0 [startup+0.100061 s] /proc/loadavg: 4.26 4.35 4.24 5/197 11605 /proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=9558476 CPUtime=0.07 cores=1,3,5,7 /proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 4162 0 1 0 6 1 0 0 20 0 18 0 23021660 9787879424 5289 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11605/statm: 2389619 5289 2053 9 0 2380296 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 9558476 [startup+0.20025 s] /proc/loadavg: 4.26 4.35 4.24 5/197 11605 /proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=9558476 CPUtime=0.26 cores=1,3,5,7 /proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 4981 0 1 0 25 1 0 0 20 0 18 0 23021660 9787879424 6971 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11605/statm: 2389619 6971 2217 9 0 2380296 0 Current children cumulated CPU time (s) 0.26 Current children cumulated vsize (KiB) 9558476 [startup+0.300235 s] /proc/loadavg: 4.26 4.35 4.24 5/197 11605 /proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=9558476 CPUtime=0.45 cores=1,3,5,7 /proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 5486 0 1 0 44 1 0 0 20 0 18 0 23021660 9787879424 9320 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11605/statm: 2389619 9320 2239 9 0 2380296 0 Current children cumulated CPU time (s) 0.45 Current children cumulated vsize (KiB) 9558476 [startup+0.700297 s] /proc/loadavg: 4.26 4.35 4.24 5/197 11605 /proc/meminfo: memFree=26901352/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=9558476 CPUtime=1.2 cores=1,3,5,7 /proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 7498 0 1 0 113 7 0 0 20 0 18 0 23021660 9787879424 47060 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11605/statm: 2389619 47060 2269 9 0 2380296 0 Current children cumulated CPU time (s) 1.2 Current children cumulated vsize (KiB) 9558476 [startup+1.50086 s] /proc/loadavg: 4.26 4.35 4.24 5/219 11627 /proc/meminfo: memFree=26680288/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=9824732 CPUtime=2.98 cores=1,3,5,7 /proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 10164 0 1 0 285 13 0 0 20 0 22 0 23021660 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11605/statm: 2456183 57456 2275 9 0 2446860 0 [pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.74 cores=1,3,5,7 /proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2496 0 1 0 71 3 0 0 20 0 22 0 23021662 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 98 0 0 0 3 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 89 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 119 0 0 0 4 2 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=0.01 cores=1,3,5,7 /proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 120 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=0.48 cores=1,3,5,7 /proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 3700 0 0 0 48 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=0.41 cores=1,3,5,7 /proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 2080 0 0 0 41 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11627] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11627/stat : 11627 (java) S 11602 11605 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23021743 10060525568 57456 33554432000 1073741824 1073778376 140734721681616 140207362966440 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 2.98 Current children cumulated vsize (KiB) 9824732 [startup+3.10087 s] /proc/loadavg: 4.26 4.35 4.24 3/216 11633 /proc/meminfo: memFree=26544816/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=9824732 CPUtime=5.61 cores=1,3,5,7 /proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 13828 0 1 0 539 22 0 0 20 0 22 0 23021660 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11605/statm: 2456183 91177 2276 9 0 2446860 0 [pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.74 cores=1,3,5,7 /proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2496 0 1 0 71 3 0 0 20 0 22 0 23021662 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 25 0 0 0 2 1 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 103 0 0 0 4 0 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 97 0 0 0 3 1 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 124 0 0 0 6 2 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=0.04 cores=1,3,5,7 /proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=0.02 cores=1,3,5,7 /proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=0.03 cores=1,3,5,7 /proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 124 0 0 0 3 0 0 0 20 0 22 0 23021663 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=0.82 cores=1,3,5,7 /proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 4670 0 0 0 82 0 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=0.78 cores=1,3,5,7 /proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 4519 0 0 0 76 2 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11630] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11630/stat : 11630 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23021793 10060525568 91177 33554432000 1073741824 1073778376 140734721681616 140207364019496 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 5.61 Current children cumulated vsize (KiB) 9824732 [startup+6.3008 s] /proc/loadavg: 4.32 4.36 4.24 5/219 11651 /proc/meminfo: memFree=26287296/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=9824732 CPUtime=9.92 cores=1,3,5,7 /proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 15804 0 1 0 952 40 0 0 20 0 19 0 23021660 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11605/statm: 2456183 155031 2280 9 0 2446860 0 [pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.75 cores=1,3,5,7 /proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2497 0 1 0 72 3 0 0 20 0 19 0 23021662 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=0.06 cores=1,3,5,7 /proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 37 0 0 0 4 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 118 0 0 0 6 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 108 0 0 0 5 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=0.14 cores=1,3,5,7 /proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 144 0 0 0 10 4 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=0.07 cores=1,3,5,7 /proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 51 0 0 0 5 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=0.09 cores=1,3,5,7 /proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 62 0 0 0 6 3 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=0.08 cores=1,3,5,7 /proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 41 0 0 0 6 2 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=0.05 cores=1,3,5,7 /proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 141 0 0 0 5 0 0 0 20 0 19 0 23021663 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 463 0 0 0 0 0 0 0 20 0 19 0 23021665 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23021665 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23021665 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=0.86 cores=1,3,5,7 /proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 4671 0 0 0 86 0 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=0.96 cores=1,3,5,7 /proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 5750 0 0 0 94 2 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23021668 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11630] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11630/stat : 11630 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23021793 10060525568 155031 33554432000 1073741824 1073778376 140734721681616 140207364019496 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (KiB) 9824732 ################ # More data... # ################ [pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=1.88 cores=1,3,5,7 /proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 371 0 0 0 170 18 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=1.76 cores=1,3,5,7 /proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 459 0 0 0 158 18 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=1.73 cores=1,3,5,7 /proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 707 0 0 0 156 17 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=1.86 cores=1,3,5,7 /proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 503 0 0 0 165 21 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 498 0 0 0 161 24 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=1.74 cores=1,3,5,7 /proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 397 0 0 0 155 19 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=1.81 cores=1,3,5,7 /proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 622 0 0 0 163 18 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=1.98 cores=1,3,5,7 /proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 554 0 0 0 178 20 0 0 20 0 22 0 23021663 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=3.26 cores=1,3,5,7 /proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 8575 0 0 0 296 30 0 0 20 0 22 0 23021665 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 5221 0 0 0 107 0 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 7222 0 0 0 143 2 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0.37 cores=1,3,5,7 /proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 55 0 0 0 11 26 0 0 20 0 22 0 23021668 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=12593] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/12593/stat : 12593 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23101088 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207365071784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=12595] ppid=11602 vsize=9824732 CPUtime=63.69 cores=1,3,5,7 /proc/11605/task/12595/stat : 12595 (java) R 11602 11605 8337 0 -1 4202560 1089 0 0 0 6367 2 0 0 20 0 22 0 23109498 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207362957696 140207412923218 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=12596] ppid=11602 vsize=9824732 CPUtime=63.67 cores=1,3,5,7 /proc/11605/task/12596/stat : 12596 (java) R 11602 11605 8337 0 -1 4202560 522 0 0 0 6367 0 0 0 20 0 22 0 23109498 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207364017040 140207412977952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=12597] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/12597/stat : 12597 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23109498 10060525568 782924 33554432000 1073741824 1073778376 140734721681616 140207366124840 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1730.29 Current children cumulated vsize (KiB) 9824732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+977.101 s] /proc/loadavg: 4.22 4.27 4.21 5/219 12602 /proc/meminfo: memFree=25855068/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7 /proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 35284 0 1 0 179176 827 0 0 20 0 22 0 23021660 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11605/statm: 2456183 809747 2294 9 0 2446860 0 [pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2509 0 1 0 87 6 0 0 20 0 22 0 23021662 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=1.92 cores=1,3,5,7 /proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 383 0 0 0 173 19 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 500 0 0 0 162 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=1.77 cores=1,3,5,7 /proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 735 0 0 0 158 19 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=1.89 cores=1,3,5,7 /proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 519 0 0 0 167 22 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 533 0 0 0 165 25 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=1.77 cores=1,3,5,7 /proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 424 0 0 0 157 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 651 0 0 0 165 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=2.02 cores=1,3,5,7 /proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 568 0 0 0 181 21 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=3.27 cores=1,3,5,7 /proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 8644 0 0 0 296 31 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 5221 0 0 0 107 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 7222 0 0 0 143 2 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 57 0 0 0 12 27 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=12593] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/12593/stat : 12593 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23101088 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207365071784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=12595] ppid=11602 vsize=9824732 CPUtime=98.4 cores=1,3,5,7 /proc/11605/task/12595/stat : 12595 (java) R 11602 11605 8337 0 -1 4202560 1108 0 0 0 9836 4 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207362957696 140207412923197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=12596] ppid=11602 vsize=9824732 CPUtime=98.37 cores=1,3,5,7 /proc/11605/task/12596/stat : 12596 (java) R 11602 11605 8337 0 -1 4202560 523 0 0 0 9836 1 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207364017856 140207412977988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=12597] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/12597/stat : 12597 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207366124840 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 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 11605 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+977.101 s] /proc/loadavg: 4.22 4.27 4.21 5/219 12602 /proc/meminfo: memFree=25855068/32872528 swapFree=1499884/1696108 [pid=11605] ppid=11602 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7 /proc/11605/stat : 11605 (java) S 11602 11605 8337 0 -1 4202496 35284 0 1 0 179176 827 0 0 20 0 22 0 23021660 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140734721672752 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 /proc/11605/statm: 2456183 809747 2294 9 0 2446860 0 [pid=11605/tid=11607] ppid=11602 vsize=9824732 CPUtime=0.93 cores=1,3,5,7 /proc/11605/task/11607/stat : 11607 (java) S 11602 11605 8337 0 -1 4202560 2509 0 1 0 87 6 0 0 20 0 22 0 23021662 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207550514040 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11608] ppid=11602 vsize=9824732 CPUtime=1.92 cores=1,3,5,7 /proc/11605/task/11608/stat : 11608 (java) S 11602 11605 8337 0 -1 4202560 383 0 0 0 173 19 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207539575208 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11609] ppid=11602 vsize=9824732 CPUtime=1.82 cores=1,3,5,7 /proc/11605/task/11609/stat : 11609 (java) S 11602 11605 8337 0 -1 4202560 500 0 0 0 162 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207538522664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11610] ppid=11602 vsize=9824732 CPUtime=1.77 cores=1,3,5,7 /proc/11605/task/11610/stat : 11610 (java) S 11602 11605 8337 0 -1 4202560 735 0 0 0 158 19 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207537469608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11611] ppid=11602 vsize=9824732 CPUtime=1.89 cores=1,3,5,7 /proc/11605/task/11611/stat : 11611 (java) S 11602 11605 8337 0 -1 4202560 519 0 0 0 167 22 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207536417064 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11612] ppid=11602 vsize=9824732 CPUtime=1.9 cores=1,3,5,7 /proc/11605/task/11612/stat : 11612 (java) S 11602 11605 8337 0 -1 4202560 533 0 0 0 165 25 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207535365032 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11613] ppid=11602 vsize=9824732 CPUtime=1.77 cores=1,3,5,7 /proc/11605/task/11613/stat : 11613 (java) S 11602 11605 8337 0 -1 4202560 424 0 0 0 157 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207534312488 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=11614] ppid=11602 vsize=9824732 CPUtime=1.85 cores=1,3,5,7 /proc/11605/task/11614/stat : 11614 (java) S 11602 11605 8337 0 -1 4202560 651 0 0 0 165 20 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207533259432 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11615] ppid=11602 vsize=9824732 CPUtime=2.02 cores=1,3,5,7 /proc/11605/task/11615/stat : 11615 (java) S 11602 11605 8337 0 -1 4202560 568 0 0 0 181 21 0 0 20 0 22 0 23021663 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207532206888 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11616] ppid=11602 vsize=9824732 CPUtime=3.27 cores=1,3,5,7 /proc/11605/task/11616/stat : 11616 (java) S 11602 11605 8337 0 -1 4202560 8644 0 0 0 296 31 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207374547304 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11617] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11617/stat : 11617 (java) S 11602 11605 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207373493624 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11618] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11618/stat : 11618 (java) S 11602 11605 8337 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 22 0 23021665 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207372440456 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11619] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11619/stat : 11619 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207371389200 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11620] ppid=11602 vsize=9824732 CPUtime=1.07 cores=1,3,5,7 /proc/11605/task/11620/stat : 11620 (java) S 11602 11605 8337 0 -1 4202560 5221 0 0 0 107 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207370337080 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0 [pid=11605/tid=11621] ppid=11602 vsize=9824732 CPUtime=1.45 cores=1,3,5,7 /proc/11605/task/11621/stat : 11621 (java) S 11602 11605 8337 0 -1 4202560 7222 0 0 0 143 2 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207369284536 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=11622] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/11622/stat : 11622 (java) S 11602 11605 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207368231672 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=11623] ppid=11602 vsize=9824732 CPUtime=0.39 cores=1,3,5,7 /proc/11605/task/11623/stat : 11623 (java) S 11602 11605 8337 0 -1 4202560 57 0 0 0 12 27 0 0 20 0 22 0 23021668 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207367179336 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=12593] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/12593/stat : 12593 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23101088 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207365071784 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 [pid=11605/tid=12595] ppid=11602 vsize=9824732 CPUtime=98.4 cores=1,3,5,7 /proc/11605/task/12595/stat : 12595 (java) R 11602 11605 8337 0 -1 4202560 1108 0 0 0 9836 4 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207362957696 140207412923197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 [pid=11605/tid=12596] ppid=11602 vsize=9824732 CPUtime=98.37 cores=1,3,5,7 /proc/11605/task/12596/stat : 12596 (java) R 11602 11605 8337 0 -1 4202560 523 0 0 0 9836 1 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207364017856 140207412977988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 [pid=11605/tid=12597] ppid=11602 vsize=9824732 CPUtime=0 cores=1,3,5,7 /proc/11605/task/12597/stat : 12597 (java) S 11602 11605 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23109498 10060525568 809747 33554432000 1073741824 1073778376 140734721681616 140207366124840 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 9824732 Child status: 143 # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1.52588e-05 # lost CPU user time (s): 0.0100098 # lost CPU system time (s): -0.00999999 Real time (s): 977.143 CPU time (s): 1800.56 CPU user time (s): 1792 CPU system time (s): 8.5627 CPU usage (%): 184.268 Max. virtual memory (cumulated for all children) (KiB): 9824732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.99 system time used= 8.5727 maximum resident set size= 3289324 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 35321 page faults= 1 swaps= 0 block input operations= 0 block output operations= 1080 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 37235 involuntary context switches= 35112 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.01309 second user time and 8.28274 second system time The end
Begin job on node137 at 2016-06-18 02:29:19 IDJOB=4100482 IDBENCH=1622 IDSOLVER=2543 FILE ID=node137/4100482-1466209759 RUNJOBID= node137-1466206054-8354 PBS_JOBID= 19918140 Free space on /tmp= 71700 MiB SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-nsrand_ipx.opb COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100482-1466209759/watcher-4100482-1466209759 -o /tmp/evaluation-result-4100482-1466209759/solver-4100482-1466209759 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8354 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4100482-1466209759.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5afe2e688387cc46a3d150d955d27ab1 RANDOM SEED=249388759 node137.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.486 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.97 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.486 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.486 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.56 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.486 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.486 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.486 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.38 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.486 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.56 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.486 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32872528 kB MemFree: 26901624 kB Buffers: 40544 kB Cached: 82140 kB SwapCached: 1252 kB Active: 3488732 kB Inactive: 76292 kB Active(anon): 3443076 kB Inactive(anon): 1100 kB Active(file): 45656 kB Inactive(file): 75192 kB Unevictable: 1696108 kB Mlocked: 1499884 kB SwapTotal: 67108856 kB SwapFree: 67099968 kB Dirty: 2520 kB Writeback: 0 kB AnonPages: 5173760 kB Mapped: 15456 kB Shmem: 0 kB Slab: 570840 kB SReclaimable: 14980 kB SUnreclaim: 555860 kB KernelStack: 1808 kB PageTables: 14620 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545120 kB Committed_AS: 5462976 kB VmallocTotal: 34359738367 kB VmallocUsed: 346412 kB VmallocChunk: 34341988032 kB HardwareCorrupted: 0 kB AnonHugePages: 3614720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7552 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 71700 MiB End job on node137 at 2016-06-18 02:45:37