Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Cutting Planes 2024 2024-07-12 | SAT (TO) | 2147450495 | 3600.27 | 3296.76 |
| Name | PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb |
| MD5SUM | 8990d9f8b403d84c2b7408cf78742133 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 1126169600 |
| Best CPU time to get the best result obtained on this benchmark | 2936.48 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 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 | 1073741824 |
| Number of bits for the biggest coefficient in the objective function | 31 |
| Sum of the numbers in the objective function | 2147483647 |
| Number of bits of the sum of numbers in the objective function | 31 |
| Biggest number in a constraint | 1073741824 |
| Number of bits of the biggest number in a constraint | 31 |
| Biggest sum of numbers in a constraint | 26715880447 |
| Number of bits of the biggest sum of numbers | 35 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.11/0.12 c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS 0.11/0.12 c This is free software under the dual EPL/GNU LGPL licenses. 0.11/0.12 c See www.sat4j.org for details. 0.11/0.12 c version CUSTOM.v20240707 0.11/0.13 c java.runtime.name OpenJDK Runtime Environment 0.11/0.13 c java.vm.name OpenJDK 64-Bit Server VM 0.11/0.13 c java.vm.version 22.0.1+8-16 0.11/0.13 c java.vm.vendor Oracle Corporation 0.11/0.13 c sun.arch.data.model 64 0.11/0.13 c java.version 22.0.1 0.11/0.13 c os.name Linux 0.11/0.13 c os.version 4.18.0-301.1.el8.x86_64 0.11/0.13 c os.arch amd64 0.11/0.14 c Free memory 2113181440 0.11/0.14 c Max memory 16282288128 0.11/0.14 c Total memory 2122317824 0.11/0.14 c Number of processors 2 0.11/0.22 Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.22 - never skip resolution steps 0.11/0.22 - Auto-division on coefficients is disabled 0.11/0.22 - No postprocessing 0.11/0.22 - Conflict is considered as is when resolving 0.11/0.22 - Use constraints as they come during conflict analysis 0.11/0.22 - Weaken first using unassigned literals 0.11/0.22 - Bump strategy: ALWAYS_ONE 0.11/0.22 - Bumper: EFFECTIVE 0.11/0.22 --- Begin Solver configuration --- 0.11/0.22 org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.11/0.22 Learn all clauses as in MiniSAT 0.11/0.22 LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.22 VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.22 No reason simplification 0.11/0.22 Dynamic restart strategy considering the size of the coefficients 0.11/0.22 Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.11/0.22 timeout=2147483s 0.11/0.22 DB Simplification allowed=false 0.11/0.22 Listener: none 0.11/0.22 --- End Solver configuration --- 0.11/0.22 c Pseudo Boolean Optimization by upper bound 0.11/0.22 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.22 c - never skip resolution steps 0.11/0.22 c - Auto-division on coefficients is disabled 0.11/0.22 c - No postprocessing 0.11/0.22 c - Conflict is considered as is when resolving 0.11/0.22 c - Use constraints as they come during conflict analysis 0.11/0.22 c - Weaken first using unassigned literals 0.11/0.22 c - Bump strategy: ALWAYS_ONE 0.11/0.22 c - Bumper: EFFECTIVE 0.11/0.22 c --- Begin Solver configuration --- 0.11/0.22 c org.sat4j.pb.constraints.PuebloPBMinClauseCardConstrDataStructure@5ecddf8f 0.11/0.22 c Learn all clauses as in MiniSAT 0.11/0.22 c LOGGER=java.util.logging.Logger@5f5a92bb claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.22 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.22 c No reason simplification 0.11/0.22 c Dynamic restart strategy considering the size of the coefficients 0.11/0.22 c Glucose LCDS adapted to PB, with LBD computation strategy: org.sat4j.pb.lcds.UnassignedLiteralsHaveSameLevelLBDComputerStrategy@449b2d27 0.11/0.22 c timeout=2147483s 0.11/0.22 c DB Simplification allowed=false 0.11/0.22 c Listener: none 0.11/0.22 c --- End Solver configuration --- 0.11/0.22 c solving HOME/instance-4429752-1721066620.opb 0.11/0.22 c reading problem ... 0.11/0.22 c objective function found 1.60/0.96 c ... done. Wall clock time 0.744s. 1.60/0.96 c declared #vars 6651 1.60/0.96 c #constraints 721 1.60/0.96 c constraints type 1.60/0.96 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331 1.60/0.96 c org.sat4j.pb.constraints.pb.PuebloMinWatchPb => 339 1.60/0.96 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51 1.60/0.96 c 721 constraints processed. 1.60/0.97 c objective function length is 31 literals 2.17/1.20 c SATISFIABLE 2.17/1.20 c OPTIMIZING... 2.17/1.20 c Got one! Elapsed wall clock time (in seconds):0.989 2.17/1.20 o 2147483647 2.38/1.33 c Got one! Elapsed wall clock time (in seconds):1.121 2.38/1.34 o 2147483646 2.58/1.44 c Got one! Elapsed wall clock time (in seconds):1.221 2.58/1.44 o 2147483645 2.77/1.54 c Got one! Elapsed wall clock time (in seconds):1.328 2.77/1.54 o 2147483644 3.17/1.70 c Got one! Elapsed wall clock time (in seconds):1.48 3.17/1.70 o 2147483643 3.17/1.80 c Got one! Elapsed wall clock time (in seconds):1.582 3.17/1.80 o 2147483642 3.38/1.89 c Got one! Elapsed wall clock time (in seconds):1.681 3.38/1.89 o 2147483641 3.58/2.00 c Got one! Elapsed wall clock time (in seconds):1.783 3.58/2.00 o 2147483640 3.97/2.12 c Got one! Elapsed wall clock time (in seconds):1.91 3.97/2.12 o 2147483639 4.14/2.26 c Got one! Elapsed wall clock time (in seconds):2.047 4.14/2.26 o 2147483638 4.54/2.41 c Got one! Elapsed wall clock time (in seconds):2.196 4.54/2.41 o 2147483637 5.73/3.22 c Got one! Elapsed wall clock time (in seconds):3.005 5.73/3.22 o 2147483636 6.51/3.83 c Got one! Elapsed wall clock time (in seconds):3.611 6.51/3.83 o 2147483635 6.70/3.97 c Got one! Elapsed wall clock time (in seconds):3.749 6.70/3.97 o 2147483634 6.89/4.10 c Got one! Elapsed wall clock time (in seconds):3.887 6.89/4.10 o 2147483633 7.23/4.25 c Got one! Elapsed wall clock time (in seconds):4.042 7.23/4.25 o 2147483632 7.63/4.42 c Got one! Elapsed wall clock time (in seconds):4.205 7.63/4.42 o 2147483631 7.80/4.57 c Got one! Elapsed wall clock time (in seconds):4.362 7.80/4.57 o 2147483630 8.14/4.75 c Got one! Elapsed wall clock time (in seconds):4.542 8.14/4.75 o 2147483629 8.49/4.98 c Got one! Elapsed wall clock time (in seconds):4.768 8.49/4.98 o 2147483628 10.38/6.25 c Got one! Elapsed wall clock time (in seconds):6.035 10.38/6.25 o 2147483627 10.79/6.47 c Got one! Elapsed wall clock time (in seconds):6.26 10.79/6.47 o 2147483626 11.20/6.69 c Got one! Elapsed wall clock time (in seconds):6.474 11.20/6.69 o 2147483625 11.62/6.98 c Got one! Elapsed wall clock time (in seconds):6.767 11.62/6.98 o 2147483624 12.03/7.20 c Got one! Elapsed wall clock time (in seconds):6.991 12.03/7.20 o 2147483623 12.23/7.43 c Got one! Elapsed wall clock time (in seconds):7.221 12.23/7.43 o 2147483622 12.73/7.91 c Got one! Elapsed wall clock time (in seconds):7.7 12.73/7.91 o 2147483621 12.94/8.16 c Got one! Elapsed wall clock time (in seconds):7.95 12.94/8.16 o 2147483620 13.13/8.40 c Got one! Elapsed wall clock time (in seconds):8.191 13.13/8.40 o 2147483619 13.51/8.66 c Got one! Elapsed wall clock time (in seconds):8.45 13.51/8.66 o 2147483618 13.96/8.93 c Got one! Elapsed wall clock time (in seconds):8.719 13.96/8.93 o 2147483617 14.30/9.25 c Got one! Elapsed wall clock time (in seconds):9.041 14.30/9.25 o 2147483616 15.02/9.89 c Got one! Elapsed wall clock time (in seconds):9.675 15.02/9.89 o 2147483615 15.43/10.24 c Got one! Elapsed wall clock time (in seconds):10.028 15.43/10.24 o 2147483614 16.14/10.99 c Got one! Elapsed wall clock time (in seconds):10.776 16.14/10.99 o 2147483613 16.45/11.29 c Got one! Elapsed wall clock time (in seconds):11.077 16.45/11.29 o 2147483612 16.86/11.61 c Got one! Elapsed wall clock time (in seconds):11.4 16.86/11.61 o 2147483611 17.21/11.95 c Got one! Elapsed wall clock time (in seconds):11.734 17.21/11.95 o 2147483610 18.12/12.78 c Got one! Elapsed wall clock time (in seconds):12.568 18.12/12.78 o 2147483609 18.68/13.15 c Got one! Elapsed wall clock time (in seconds):12.939 18.68/13.15 o 2147483608 20.30/14.74 c Got one! Elapsed wall clock time (in seconds):14.525 20.30/14.74 o 2147483607 20.61/15.10 c Got one! Elapsed wall clock time (in seconds):14.888 20.61/15.10 o 2147483606 21.00/15.47 c Got one! Elapsed wall clock time (in seconds):15.263 21.00/15.48 o 2147483605 21.40/15.86 c Got one! Elapsed wall clock time (in seconds):15.645 21.40/15.86 o 2147483604 21.80/16.23 c Got one! Elapsed wall clock time (in seconds):16.019 21.80/16.23 o 2147483603 22.80/17.25 c Got one! Elapsed wall clock time (in seconds):17.039 22.80/17.25 o 2147483602 23.40/17.81 c Got one! Elapsed wall clock time (in seconds):17.598 23.40/17.81 o 2147483601 24.08/18.40 c Got one! Elapsed wall clock time (in seconds):18.187 24.08/18.40 o 2147483600 24.47/18.83 c Got one! Elapsed wall clock time (in seconds):18.613 24.47/18.83 o 2147483599 24.88/19.26 c Got one! Elapsed wall clock time (in seconds):19.049 24.88/19.26 o 2147483598 25.38/19.72 c Got one! Elapsed wall clock time (in seconds):19.508 25.38/19.72 o 2147483597 25.85/20.16 c Got one! Elapsed wall clock time (in seconds):19.953 25.85/20.16 o 2147483596 26.38/20.63 c Got one! Elapsed wall clock time (in seconds):20.415 26.38/20.63 o 2147483595 26.79/21.10 c Got one! Elapsed wall clock time (in seconds):20.885 26.79/21.10 o 2147483594 27.58/21.61 c Got one! Elapsed wall clock time (in seconds):21.403 27.58/21.62 o 2147483593 29.01/23.06 c Got one! Elapsed wall clock time (in seconds):22.852 29.01/23.06 o 2147483592 29.54/23.56 c Got one! Elapsed wall clock time (in seconds):23.35 29.54/23.56 o 2147483591 30.05/24.06 c Got one! Elapsed wall clock time (in seconds):23.85 30.05/24.06 o 2147483590 31.15/25.16 c Got one! Elapsed wall clock time (in seconds):24.945 31.15/25.16 o 2147483589 32.27/26.20 c Got one! Elapsed wall clock time (in seconds):25.99 32.27/26.20 o 2147483588 33.12/27.02 c Got one! Elapsed wall clock time (in seconds):26.804 33.12/27.03 o 2147483587 37.33/31.13 c Got one! Elapsed wall clock time (in seconds):30.914 37.33/31.13 o 2147483586 38.41/32.29 c Got one! Elapsed wall clock time (in seconds):32.08 38.41/32.29 o 2147483585 39.72/33.52 c Got one! Elapsed wall clock time (in seconds):33.309 39.72/33.52 o 2147483584 40.72/34.58 c Got one! Elapsed wall clock time (in seconds):34.371 40.72/34.58 o 2147483583 41.92/35.79 c Got one! Elapsed wall clock time (in seconds):35.576 41.92/35.79 o 2147483582 43.33/37.14 c Got one! Elapsed wall clock time (in seconds):36.931 43.33/37.14 o 2147483581 44.37/38.13 c Got one! Elapsed wall clock time (in seconds):37.916 44.37/38.13 o 2147483580 45.18/38.93 c Got one! Elapsed wall clock time (in seconds):38.718 45.18/38.93 o 2147483579 45.87/39.69 c Got one! Elapsed wall clock time (in seconds):39.474 45.87/39.69 o 2147483578 46.92/40.66 c Got one! Elapsed wall clock time (in seconds):40.447 46.92/40.66 o 2147483577 47.71/41.43 c Got one! Elapsed wall clock time (in seconds):41.216 47.71/41.43 o 2147483576 49.80/43.26 c Got one! Elapsed wall clock time (in seconds):43.052 49.80/43.26 o 2147483575 50.72/44.14 c Got one! Elapsed wall clock time (in seconds):43.93 50.72/44.14 o 2147483574 51.90/45.35 c Got one! Elapsed wall clock time (in seconds):45.138 51.90/45.35 o 2147483573 59.55/52.31 c Got one! Elapsed wall clock time (in seconds):52.102 59.55/52.31 o 2147483572 82.46/75.07 c Got one! Elapsed wall clock time (in seconds):74.858 82.46/75.07 o 2147483571 83.85/76.47 c Got one! Elapsed wall clock time (in seconds):76.259 83.85/76.47 o 2147483570 84.65/77.26 c Got one! Elapsed wall clock time (in seconds):77.047 84.65/77.26 o 2147483569 86.15/78.78 c Got one! Elapsed wall clock time (in seconds):78.568 86.15/78.78 o 2147483568 87.65/80.27 c Got one! Elapsed wall clock time (in seconds):80.063 87.65/80.27 o 2147483567 88.56/81.14 c Got one! Elapsed wall clock time (in seconds):80.927 88.56/81.14 o 2147483566 91.45/84.08 c Got one! Elapsed wall clock time (in seconds):83.873 91.45/84.08 o 2147483565 92.45/85.05 c Got one! Elapsed wall clock time (in seconds):84.838 92.45/85.05 o 2147483564 93.24/85.88 c Got one! Elapsed wall clock time (in seconds):85.67 93.24/85.88 o 2147483563 94.04/86.69 c Got one! Elapsed wall clock time (in seconds):86.481 94.04/86.69 o 2147483562 94.94/87.55 c Got one! Elapsed wall clock time (in seconds):87.334 94.94/87.55 o 2147483561 97.04/89.63 c Got one! Elapsed wall clock time (in seconds):89.42 97.04/89.63 o 2147483560 97.94/90.53 c Got one! Elapsed wall clock time (in seconds):90.319 97.94/90.53 o 2147483559 100.65/93.12 c Got one! Elapsed wall clock time (in seconds):92.906 100.65/93.12 o 2147483558 101.61/94.07 c Got one! Elapsed wall clock time (in seconds):93.856 101.61/94.07 o 2147483557 102.60/95.05 c Got one! Elapsed wall clock time (in seconds):94.839 102.60/95.05 o 2147483556 103.89/96.38 c Got one! Elapsed wall clock time (in seconds):96.169 103.89/96.38 o 2147483555 105.19/97.60 c Got one! Elapsed wall clock time (in seconds):97.389 105.19/97.60 o 2147483554 107.69/100.15 c Got one! Elapsed wall clock time (in seconds):99.942 107.69/100.15 o 2147483553 109.18/101.65 c Got one! Elapsed wall clock time (in seconds):101.439 109.18/101.65 o 2147483552 110.69/103.13 c Got one! Elapsed wall clock time (in seconds):102.918 110.69/103.13 o 2147483551 112.17/104.61 c Got one! Elapsed wall clock time (in seconds):104.402 112.17/104.61 o 2147483550 113.59/106.10 c Got one! Elapsed wall clock time (in seconds):105.887 113.59/106.10 o 2147483549 115.08/107.59 c Got one! Elapsed wall clock time (in seconds):107.383 115.08/107.59 o 2147483548 116.38/108.80 c Got one! Elapsed wall clock time (in seconds):108.589 116.38/108.80 o 2147483547 117.48/109.99 c Got one! Elapsed wall clock time (in seconds):109.782 117.48/109.99 o 2147483546 118.59/111.07 c Got one! Elapsed wall clock time (in seconds):110.862 118.59/111.07 o 2147483545 119.69/112.18 c Got one! Elapsed wall clock time (in seconds):111.972 119.69/112.18 o 2147483544 120.97/113.42 c Got one! Elapsed wall clock time (in seconds):113.211 120.97/113.42 o 2147483543 127.27/119.75 c Got one! Elapsed wall clock time (in seconds):119.534 127.27/119.75 o 2147483542 128.36/120.84 c Got one! Elapsed wall clock time (in seconds):120.628 128.36/120.84 o 2147483541 130.06/122.59 c Got one! Elapsed wall clock time (in seconds):122.379 130.06/122.59 o 2147483540 131.67/124.15 c Got one! Elapsed wall clock time (in seconds):123.937 131.67/124.15 o 2147483539 132.76/125.21 c Got one! Elapsed wall clock time (in seconds):124.995 132.76/125.21 o 2147483538 133.86/126.31 c Got one! Elapsed wall clock time (in seconds):126.102 133.86/126.31 o 2147483537 137.26/129.70 c Got one! Elapsed wall clock time (in seconds):129.489 137.26/129.70 o 2147483536 138.67/131.13 c Got one! Elapsed wall clock time (in seconds):130.915 138.67/131.13 o 2147483535 139.57/132.08 c Got one! Elapsed wall clock time (in seconds):131.866 139.57/132.08 o 2147483534 140.57/133.11 c Got one! Elapsed wall clock time (in seconds):132.894 140.57/133.11 o 2147483533 142.05/134.54 c Got one! Elapsed wall clock time (in seconds):134.323 142.05/134.54 o 2147483532 143.25/135.75 c Got one! Elapsed wall clock time (in seconds):135.542 143.25/135.75 o 2147483531 145.05/137.52 c Got one! Elapsed wall clock time (in seconds):137.304 145.05/137.52 o 2147483530 147.47/139.96 c Got one! Elapsed wall clock time (in seconds):139.751 147.47/139.96 o 2147483529 148.87/141.35 c Got one! Elapsed wall clock time (in seconds):141.134 148.87/141.35 o 2147483528 155.97/148.43 c Got one! Elapsed wall clock time (in seconds):148.223 155.97/148.44 o 2147483527 157.07/149.57 c Got one! Elapsed wall clock time (in seconds):149.361 157.07/149.57 o 2147483526 160.00/152.42 c Got one! Elapsed wall clock time (in seconds):152.209 160.00/152.42 o 2147483525 161.31/153.73 c Got one! Elapsed wall clock time (in seconds):153.515 161.31/153.73 o 2147483524 163.20/155.60 c Got one! Elapsed wall clock time (in seconds):155.393 163.20/155.60 o 2147483523 167.40/159.87 c Got one! Elapsed wall clock time (in seconds):159.656 167.40/159.87 o 2147483522 175.60/168.08 c Got one! Elapsed wall clock time (in seconds):167.871 175.60/168.09 o 2147483521 177.09/169.51 c Got one! Elapsed wall clock time (in seconds):169.302 177.09/169.51 o 2147483520 178.49/170.99 c Got one! Elapsed wall clock time (in seconds):170.776 178.49/170.99 o 2147483519 181.18/173.62 c Got one! Elapsed wall clock time (in seconds):173.404 181.18/173.62 o 2147483518 182.70/175.18 c Got one! Elapsed wall clock time (in seconds):174.968 182.70/175.18 o 2147483517 184.59/177.06 c Got one! Elapsed wall clock time (in seconds):176.845 184.59/177.06 o 2147483516 186.38/178.81 c Got one! Elapsed wall clock time (in seconds):178.597 186.38/178.81 o 2147483515 189.88/182.31 c Got one! Elapsed wall clock time (in seconds):182.094 189.88/182.31 o 2147483514 192.08/184.50 c Got one! Elapsed wall clock time (in seconds):184.289 192.08/184.50 o 2147483513 193.47/185.98 c Got one! Elapsed wall clock time (in seconds):185.766 193.47/185.98 o 2147483512 195.17/187.60 c Got one! Elapsed wall clock time (in seconds):187.392 195.17/187.60 o 2147483511 196.37/188.81 c Got one! Elapsed wall clock time (in seconds):188.597 196.37/188.81 o 2147483510 197.77/190.26 c Got one! Elapsed wall clock time (in seconds):190.052 197.77/190.26 o 2147483509 198.87/191.40 c Got one! Elapsed wall clock time (in seconds):191.184 198.87/191.40 o 2147483508 200.07/192.57 c Got one! Elapsed wall clock time (in seconds):192.356 200.07/192.57 o 2147483507 201.37/193.82 c Got one! Elapsed wall clock time (in seconds):193.609 201.37/193.82 o 2147483506 203.27/195.79 c Got one! Elapsed wall clock time (in seconds):195.576 203.27/195.79 o 2147483505 204.76/197.28 c Got one! Elapsed wall clock time (in seconds):197.073 204.76/197.28 o 2147483504 206.35/198.87 c Got one! Elapsed wall clock time (in seconds):198.659 206.35/198.87 o 2147483503 207.56/200.07 c Got one! Elapsed wall clock time (in seconds):199.856 207.56/200.07 o 2147483502 208.74/201.24 c Got one! Elapsed wall clock time (in seconds):201.03 208.74/201.24 o 2147483501 210.34/202.89 c Got one! Elapsed wall clock time (in seconds):202.677 210.34/202.89 o 2147483500 212.09/204.55 c Got one! Elapsed wall clock time (in seconds):204.342 212.09/204.55 o 2147483499 249.35/240.83 c Got one! Elapsed wall clock time (in seconds):240.618 249.35/240.83 o 2147483498 250.74/242.25 c Got one! Elapsed wall clock time (in seconds):242.041 250.74/242.25 o 2147483497 252.34/243.86 c Got one! Elapsed wall clock time (in seconds):243.651 252.34/243.86 o 2147483496 254.04/245.53 c Got one! Elapsed wall clock time (in seconds):245.321 254.04/245.53 o 2147483495 255.84/247.30 c Got one! Elapsed wall clock time (in seconds):247.085 255.84/247.30 o 2147483494 257.55/249.09 c Got one! Elapsed wall clock time (in seconds):248.874 257.55/249.09 o 2147483493 260.33/251.87 c Got one! Elapsed wall clock time (in seconds):251.659 260.33/251.87 o 2147483492 262.03/253.52 c Got one! Elapsed wall clock time (in seconds):253.304 262.03/253.52 o 2147483491 263.73/255.27 c Got one! Elapsed wall clock time (in seconds):255.055 263.73/255.27 o 2147483490 266.30/257.61 c Got one! Elapsed wall clock time (in seconds):257.398 266.30/257.61 o 2147483489 267.81/259.16 c Got one! Elapsed wall clock time (in seconds):258.947 267.81/259.16 o 2147483488 269.70/261.10 c Got one! Elapsed wall clock time (in seconds):260.891 269.70/261.10 o 2147483487 272.40/263.73 c Got one! Elapsed wall clock time (in seconds):263.515 272.40/263.73 o 2147483486 274.60/265.96 c Got one! Elapsed wall clock time (in seconds):265.75 274.60/265.96 o 2147483485 276.09/267.40 c Got one! Elapsed wall clock time (in seconds):267.186 276.09/267.40 o 2147483484 278.09/269.44 c Got one! Elapsed wall clock time (in seconds):269.231 278.09/269.44 o 2147483483 280.49/271.84 c Got one! Elapsed wall clock time (in seconds):271.627 280.49/271.84 o 2147483482 282.90/274.24 c Got one! Elapsed wall clock time (in seconds):274.028 282.90/274.24 o 2147483481 285.29/276.66 c Got one! Elapsed wall clock time (in seconds):276.443 285.29/276.66 o 2147483480 287.19/278.57 c Got one! Elapsed wall clock time (in seconds):278.356 287.19/278.57 o 2147483391 289.18/280.53 c Got one! Elapsed wall clock time (in seconds):280.314 289.18/280.53 o 2147483390 290.48/281.86 c Got one! Elapsed wall clock time (in seconds):281.652 290.48/281.86 o 2147483389 292.18/283.52 c Got one! Elapsed wall clock time (in seconds):283.312 292.18/283.52 o 2147483135 314.96/306.08 c Got one! Elapsed wall clock time (in seconds):305.873 314.96/306.08 o 2147483134 316.65/307.77 c Got one! Elapsed wall clock time (in seconds):307.554 316.65/307.77 o 2147483133 318.52/309.61 c Got one! Elapsed wall clock time (in seconds):309.4 318.52/309.61 o 2147483132 320.23/311.37 c Got one! Elapsed wall clock time (in seconds):311.158 320.23/311.37 o 2147483131 325.64/316.65 c Got one! Elapsed wall clock time (in seconds):316.434 325.64/316.65 o 2147483130 327.64/318.69 c Got one! Elapsed wall clock time (in seconds):318.474 327.64/318.69 o 2147483129 329.53/320.54 c Got one! Elapsed wall clock time (in seconds):320.326 329.53/320.54 o 2147483128 331.04/322.07 c Got one! Elapsed wall clock time (in seconds):321.863 331.04/322.07 o 2147483127 332.63/323.62 c Got one! Elapsed wall clock time (in seconds):323.411 332.63/323.62 o 2147483126 334.43/325.40 c Got one! Elapsed wall clock time (in seconds):325.188 334.43/325.40 o 2147483125 337.32/328.31 c Got one! Elapsed wall clock time (in seconds):328.1 337.32/328.31 o 2147483124 340.71/331.72 c Got one! Elapsed wall clock time (in seconds):331.504 340.71/331.72 o 2147483123 342.71/333.73 c Got one! Elapsed wall clock time (in seconds):333.522 342.71/333.73 o 2147483122 344.81/335.80 c Got one! Elapsed wall clock time (in seconds):335.592 344.81/335.80 o 2147483121 347.12/338.12 c Got one! Elapsed wall clock time (in seconds):337.908 347.12/338.12 o 2147483120 363.02/353.04 c Got one! Elapsed wall clock time (in seconds):352.824 363.02/353.04 o 2147483119 365.02/355.04 c Got one! Elapsed wall clock time (in seconds):354.83 365.02/355.04 o 2147483118 367.51/357.45 c Got one! Elapsed wall clock time (in seconds):357.242 367.51/357.45 o 2147483117 369.91/359.84 c Got one! Elapsed wall clock time (in seconds):359.628 369.91/359.84 o 2147483116 372.12/362.03 c Got one! Elapsed wall clock time (in seconds):361.817 372.12/362.03 o 2147483115 375.81/365.28 c Got one! Elapsed wall clock time (in seconds):365.069 375.81/365.28 o 2147483114 377.91/367.32 c Got one! Elapsed wall clock time (in seconds):367.111 377.91/367.32 o 2147483113 380.10/369.54 c Got one! Elapsed wall clock time (in seconds):369.323 380.10/369.54 o 2147483112 381.80/371.29 c Got one! Elapsed wall clock time (in seconds):371.083 381.80/371.29 o 2147483111 383.90/373.39 c Got one! Elapsed wall clock time (in seconds):373.174 383.90/373.39 o 2147483110 406.99/396.40 c Got one! Elapsed wall clock time (in seconds):396.19 406.99/396.40 o 2147483109 409.29/398.74 c Got one! Elapsed wall clock time (in seconds):398.523 409.29/398.74 o 2147483108 411.39/400.83 c Got one! Elapsed wall clock time (in seconds):400.619 411.39/400.83 o 2147483107 418.83/408.29 c Got one! Elapsed wall clock time (in seconds):408.079 418.83/408.29 o 2147483106 421.23/410.67 c Got one! Elapsed wall clock time (in seconds):410.462 421.23/410.67 o 2147483105 425.42/414.80 c Got one! Elapsed wall clock time (in seconds):414.589 425.42/414.80 o 2147483104 427.33/416.79 c Got one! Elapsed wall clock time (in seconds):416.578 427.33/416.79 o 2147483103 429.42/418.87 c Got one! Elapsed wall clock time (in seconds):418.661 429.42/418.87 o 2147483102 434.44/423.81 c Got one! Elapsed wall clock time (in seconds):423.6 434.44/423.81 o 2147483101 436.75/426.19 c Got one! Elapsed wall clock time (in seconds):425.974 436.75/426.19 o 2147482879 439.43/428.89 c Got one! Elapsed wall clock time (in seconds):428.683 439.43/428.89 o 2147482878 442.64/432.05 c Got one! Elapsed wall clock time (in seconds):431.835 442.64/432.05 o 2147482877 445.52/434.90 c Got one! Elapsed wall clock time (in seconds):434.687 445.52/434.90 o 2147482876 452.98/442.33 c Got one! Elapsed wall clock time (in seconds):442.118 452.98/442.33 o 2147482875 456.58/445.94 c Got one! Elapsed wall clock time (in seconds):445.723 456.58/445.94 o 2147482874 458.79/448.13 c Got one! Elapsed wall clock time (in seconds):447.918 458.79/448.13 o 2147482873 461.07/450.48 c Got one! Elapsed wall clock time (in seconds):450.263 461.07/450.48 o 2147482872 465.40/454.70 c Got one! Elapsed wall clock time (in seconds):454.485 465.40/454.70 o 2147482871 469.61/458.96 c Got one! Elapsed wall clock time (in seconds):458.75 469.61/458.96 o 2147482870 474.62/463.88 c Got one! Elapsed wall clock time (in seconds):463.664 474.62/463.88 o 2147482869 477.32/466.52 c Got one! Elapsed wall clock time (in seconds):466.309 477.32/466.52 o 2147482623 480.65/469.86 c Got one! Elapsed wall clock time (in seconds):469.651 480.65/469.86 o 2147482622 484.67/473.89 c Got one! Elapsed wall clock time (in seconds):473.674 484.67/473.89 o 2147482621 489.84/478.19 c Got one! Elapsed wall clock time (in seconds):477.981 489.84/478.19 o 2147482620 494.36/482.33 c Got one! Elapsed wall clock time (in seconds):482.117 494.36/482.33 o 2147482495 499.56/486.67 c Got one! Elapsed wall clock time (in seconds):486.456 499.56/486.67 o 2147482494 502.97/490.02 c Got one! Elapsed wall clock time (in seconds):489.808 502.97/490.02 o 2147482367 506.07/493.15 c Got one! Elapsed wall clock time (in seconds):492.934 506.07/493.15 o 2147482366 511.07/498.17 c Got one! Elapsed wall clock time (in seconds):497.95 511.07/498.17 o 2147482365 514.16/501.26 c Got one! Elapsed wall clock time (in seconds):501.049 514.16/501.26 o 2147482364 518.65/505.76 c Got one! Elapsed wall clock time (in seconds):505.547 518.65/505.76 o 2147482363 521.55/508.62 c Got one! Elapsed wall clock time (in seconds):508.403 521.55/508.62 o 2147482362 524.14/511.25 c Got one! Elapsed wall clock time (in seconds):511.039 524.14/511.25 o 2147482361 527.10/514.05 c Got one! Elapsed wall clock time (in seconds):513.837 527.10/514.05 o 2147482360 533.52/520.43 c Got one! Elapsed wall clock time (in seconds):520.213 533.52/520.43 o 2147482359 537.02/523.90 c Got one! Elapsed wall clock time (in seconds):523.686 537.02/523.90 o 2147482358 540.52/527.47 c Got one! Elapsed wall clock time (in seconds):527.259 540.52/527.47 o 2147481599 545.04/531.90 c Got one! Elapsed wall clock time (in seconds):531.691 545.04/531.90 o 2147481598 547.64/534.58 c Got one! Elapsed wall clock time (in seconds):534.37 547.64/534.58 o 2147481597 551.34/538.21 c Got one! Elapsed wall clock time (in seconds):538.001 551.34/538.21 o 2147481596 555.84/542.74 c Got one! Elapsed wall clock time (in seconds):542.523 555.84/542.74 o 2147481595 558.83/545.77 c Got one! Elapsed wall clock time (in seconds):545.556 558.83/545.77 o 2147481594 563.24/550.19 c Got one! Elapsed wall clock time (in seconds):549.967 563.24/550.19 o 2147481593 567.83/554.72 c Got one! Elapsed wall clock time (in seconds):554.508 567.83/554.72 o 2147481592 570.62/557.54 c Got one! Elapsed wall clock time (in seconds):557.325 570.62/557.54 o 2147481591 574.42/561.38 c Got one! Elapsed wall clock time (in seconds):561.165 574.42/561.38 o 2147481590 578.13/565.10 c Got one! Elapsed wall clock time (in seconds):564.891 578.13/565.10 o 2147481589 583.23/570.19 c Got one! Elapsed wall clock time (in seconds):569.981 583.23/570.19 o 2147481583 591.82/578.59 c Got one! Elapsed wall clock time (in seconds):578.375 591.82/578.59 o 2147481582 710.89/696.28 c Got one! Elapsed wall clock time (in seconds):696.068 710.89/696.28 o 2147481581 719.29/704.62 c Got one! Elapsed wall clock time (in seconds):704.405 719.29/704.62 o 2147475455 725.46/710.80 c Got one! Elapsed wall clock time (in seconds):710.591 725.46/710.80 o 2147475454 728.57/713.99 c Got one! Elapsed wall clock time (in seconds):713.775 728.57/713.99 o 2147475453 733.98/719.31 c Got one! Elapsed wall clock time (in seconds):719.096 733.98/719.31 o 2147475452 738.87/724.28 c Got one! Elapsed wall clock time (in seconds):724.07 738.87/724.28 o 2147475451 742.86/728.26 c Got one! Elapsed wall clock time (in seconds):728.047 742.86/728.26 o 2147475439 747.16/732.52 c Got one! Elapsed wall clock time (in seconds):732.312 747.16/732.52 o 2147475438 753.04/738.41 c Got one! Elapsed wall clock time (in seconds):738.201 753.04/738.42 o 2147475437 757.24/742.68 c Got one! Elapsed wall clock time (in seconds):742.469 757.24/742.68 o 2147475391 761.44/746.83 c Got one! Elapsed wall clock time (in seconds):746.618 761.44/746.83 o 2147475390 764.64/750.10 c Got one! Elapsed wall clock time (in seconds):749.892 764.64/750.10 o 2147475389 771.33/756.78 c Got one! Elapsed wall clock time (in seconds):756.57 771.33/756.78 o 2147475388 775.35/760.73 c Got one! Elapsed wall clock time (in seconds):760.519 775.35/760.73 o 2147475387 778.65/764.07 c Got one! Elapsed wall clock time (in seconds):763.863 778.65/764.07 o 2147475386 803.85/789.13 c Got one! Elapsed wall clock time (in seconds):788.921 803.85/789.13 o 2147475385 810.74/796.05 c Got one! Elapsed wall clock time (in seconds):795.835 810.74/796.05 o 2147475384 816.05/801.32 c Got one! Elapsed wall clock time (in seconds):801.108 816.05/801.32 o 2147475383 825.86/811.18 c Got one! Elapsed wall clock time (in seconds):810.967 825.86/811.18 o 2147475327 830.65/816.01 c Got one! Elapsed wall clock time (in seconds):815.794 830.65/816.01 o 2147475326 835.05/820.34 c Got one! Elapsed wall clock time (in seconds):820.125 835.05/820.34 o 2147475325 839.57/824.83 c Got one! Elapsed wall clock time (in seconds):824.617 839.57/824.83 o 2147475324 849.25/834.59 c Got one! Elapsed wall clock time (in seconds):834.38 849.25/834.59 o 2147475295 853.55/838.81 c Got one! Elapsed wall clock time (in seconds):838.598 853.55/838.81 o 2147475294 857.34/842.66 c Got one! Elapsed wall clock time (in seconds):842.452 857.34/842.66 o 2147475293 861.96/847.24 c Got one! Elapsed wall clock time (in seconds):847.024 861.96/847.24 o 2147475292 866.46/851.78 c Got one! Elapsed wall clock time (in seconds):851.567 866.46/851.78 o 2147475291 871.05/856.37 c Got one! Elapsed wall clock time (in seconds):856.155 871.05/856.38 o 2147475290 881.78/867.07 c Got one! Elapsed wall clock time (in seconds):866.858 881.78/867.07 o 2147475279 924.50/909.65 c Got one! Elapsed wall clock time (in seconds):909.441 924.50/909.65 o 2147475278 928.80/913.93 c Got one! Elapsed wall clock time (in seconds):913.718 928.80/913.93 o 2147475199 936.30/921.44 c Got one! Elapsed wall clock time (in seconds):921.228 936.30/921.44 o 2147475198 940.10/925.22 c Got one! Elapsed wall clock time (in seconds):925.012 940.10/925.22 o 2147475197 945.11/930.26 c Got one! Elapsed wall clock time (in seconds):930.045 945.11/930.26 o 2147475196 951.82/936.98 c Got one! Elapsed wall clock time (in seconds):936.766 951.82/936.98 o 2147475071 957.53/942.62 c Got one! Elapsed wall clock time (in seconds):942.408 957.53/942.62 o 2147475070 963.84/948.92 c Got one! Elapsed wall clock time (in seconds):948.711 963.84/948.92 o 2147475069 968.33/953.41 c Got one! Elapsed wall clock time (in seconds):953.195 968.33/953.41 o 2147475068 986.89/971.97 c Got one! Elapsed wall clock time (in seconds):971.757 986.89/971.97 o 2147475067 1000.20/985.16 c Got one! Elapsed wall clock time (in seconds):984.953 1000.20/985.17 o 2147475066 1012.51/997.46 c Got one! Elapsed wall clock time (in seconds):997.252 1012.51/997.46 o 2147475065 1018.62/1003.50 c Got one! Elapsed wall clock time (in seconds):1003.291 1018.62/1003.50 o 2147475064 1028.56/1013.46 c Got one! Elapsed wall clock time (in seconds):1013.249 1028.56/1013.46 o 2147475063 1036.55/1021.47 c Got one! Elapsed wall clock time (in seconds):1021.261 1036.55/1021.47 o 2147475062 1040.35/1025.29 c Got one! Elapsed wall clock time (in seconds):1025.081 1040.35/1025.29 o 2147475061 1044.87/1029.79 c Got one! Elapsed wall clock time (in seconds):1029.579 1044.87/1029.79 o 2147475060 1063.03/1047.77 c Got one! Elapsed wall clock time (in seconds):1047.556 1063.03/1047.77 o 2147475055 1068.73/1053.41 c Got one! Elapsed wall clock time (in seconds):1053.196 1068.73/1053.41 o 2147475054 1072.73/1057.40 c Got one! Elapsed wall clock time (in seconds):1057.193 1072.73/1057.40 o 2147475053 1078.15/1062.83 c Got one! Elapsed wall clock time (in seconds):1062.622 1078.15/1062.83 o 2147475052 1087.34/1071.92 c Got one! Elapsed wall clock time (in seconds):1071.708 1087.34/1071.92 o 2147475047 1093.45/1078.06 c Got one! Elapsed wall clock time (in seconds):1077.849 1093.45/1078.06 o 2147475046 1105.74/1090.26 c Got one! Elapsed wall clock time (in seconds):1090.046 1105.74/1090.26 o 2147475045 1114.33/1098.73 c Got one! Elapsed wall clock time (in seconds):1098.516 1114.33/1098.73 o 2147475039 1119.02/1103.40 c Got one! Elapsed wall clock time (in seconds):1103.187 1119.02/1103.40 o 2147475038 1122.52/1106.95 c Got one! Elapsed wall clock time (in seconds):1106.739 1122.52/1106.95 o 2147475037 1127.31/1111.72 c Got one! Elapsed wall clock time (in seconds):1111.504 1127.31/1111.72 o 2147475036 1132.98/1117.34 c Got one! Elapsed wall clock time (in seconds):1117.128 1132.98/1117.34 o 2147467263 1138.00/1122.39 c Got one! Elapsed wall clock time (in seconds):1122.178 1138.00/1122.39 o 2147467262 1142.80/1127.18 c Got one! Elapsed wall clock time (in seconds):1126.965 1142.80/1127.18 o 2147467261 1160.52/1144.87 c Got one! Elapsed wall clock time (in seconds):1144.657 1160.52/1144.87 o 2147467260 1167.24/1151.51 c Got one! Elapsed wall clock time (in seconds):1151.299 1167.24/1151.51 o 2147467259 1181.81/1166.10 c Got one! Elapsed wall clock time (in seconds):1165.891 1181.81/1166.10 o 2147467258 1187.91/1172.14 c Got one! Elapsed wall clock time (in seconds):1171.926 1187.91/1172.14 o 2147467257 1196.12/1180.36 c Got one! Elapsed wall clock time (in seconds):1180.144 1196.12/1180.36 o 2147467256 1204.38/1188.58 c Got one! Elapsed wall clock time (in seconds):1188.369 1204.38/1188.58 o 2147467255 1211.38/1195.47 c Got one! Elapsed wall clock time (in seconds):1195.261 1211.38/1195.47 o 2147450879 1219.50/1203.58 c Got one! Elapsed wall clock time (in seconds):1203.369 1219.50/1203.58 o 2147450878 1228.98/1212.90 c Got one! Elapsed wall clock time (in seconds):1212.686 1228.98/1212.90 o 2147450877 1237.80/1221.63 c Got one! Elapsed wall clock time (in seconds):1221.419 1237.80/1221.63 o 2147450876 1245.69/1229.50 c Got one! Elapsed wall clock time (in seconds):1229.284 1245.69/1229.50 o 2147450875 1250.20/1234.05 c Got one! Elapsed wall clock time (in seconds):1233.841 1250.20/1234.05 o 2147450874 1319.43/1302.83 c Got one! Elapsed wall clock time (in seconds):1302.62 1319.43/1302.83 o 2147450873 1351.97/1335.37 c Got one! Elapsed wall clock time (in seconds):1335.161 1351.97/1335.37 o 2147450872 1356.61/1339.96 c Got one! Elapsed wall clock time (in seconds):1339.746 1356.61/1339.96 o 2147450871 1399.23/1381.40 c Got one! Elapsed wall clock time (in seconds):1381.188 1399.23/1381.40 o 2147450870 1403.32/1385.59 c Got one! Elapsed wall clock time (in seconds):1385.382 1403.32/1385.59 o 2147450869 1413.98/1396.09 c Got one! Elapsed wall clock time (in seconds):1395.877 1413.98/1396.09 o 2147450868 1418.10/1400.19 c Got one! Elapsed wall clock time (in seconds):1399.973 1418.10/1400.19 o 2147450867 1422.21/1404.21 c Got one! Elapsed wall clock time (in seconds):1404.003 1422.21/1404.21 o 2147450866 1460.96/1440.22 c Got one! Elapsed wall clock time (in seconds):1440.008 1460.96/1440.22 o 2147450865 1469.86/1449.14 c Got one! Elapsed wall clock time (in seconds):1448.923 1469.86/1449.14 o 2147450864 1719.98/1697.31 c Got one! Elapsed wall clock time (in seconds):1697.101 1719.98/1697.31 o 2147450751 1769.79/1745.40 c Got one! Elapsed wall clock time (in seconds):1745.184 1769.79/1745.40 o 2147450750 1774.68/1750.33 c Got one! Elapsed wall clock time (in seconds):1750.117 1774.68/1750.33 o 2147450749 1783.08/1758.01 c Got one! Elapsed wall clock time (in seconds):1757.797 1783.08/1758.01 o 2147450748 1799.87/1773.99 c Got one! Elapsed wall clock time (in seconds):1773.776 1799.87/1773.99 o 2147450747 1817.07/1789.49 c Got one! Elapsed wall clock time (in seconds):1789.275 1817.07/1789.49 o 2147450746 1821.68/1794.09 c Got one! Elapsed wall clock time (in seconds):1793.873 1821.68/1794.09 o 2147450745 1826.36/1798.74 c Got one! Elapsed wall clock time (in seconds):1798.528 1826.36/1798.74 o 2147450744 1831.88/1803.85 c Got one! Elapsed wall clock time (in seconds):1803.64 1831.88/1803.85 o 2147450743 1837.85/1809.79 c Got one! Elapsed wall clock time (in seconds):1809.577 1837.85/1809.79 o 2147450742 1920.97/1883.38 c Got one! Elapsed wall clock time (in seconds):1883.163 1920.97/1883.38 o 2147450741 1925.53/1887.93 c Got one! Elapsed wall clock time (in seconds):1887.722 1925.53/1887.93 o 2147450740 1932.77/1895.20 c Got one! Elapsed wall clock time (in seconds):1894.992 1932.77/1895.20 o 2147450739 2503.74/2371.44 c Got one! Elapsed wall clock time (in seconds):2371.225 2503.74/2371.44 o 2147450623 3543.39/3247.85 c Got one! Elapsed wall clock time (in seconds):3247.634 3543.39/3247.85 o 2147450495 3600.00/3296.62 c starts : 354 3600.00/3296.64 c conflicts : 573 3600.00/3296.66 c decisions : 2162161 3600.00/3296.66 c propagations : 4406228 3600.00/3296.66 c inspects : 6652708 3600.00/3296.66 c shortcuts : 0 3600.00/3296.66 c learnt literals : 0 3600.00/3296.66 c learnt binary clauses : 0 3600.00/3296.66 c learnt ternary clauses : 0 3600.00/3296.66 c learnt constraints : 572 3600.00/3296.66 c ignored constraints : 0 3600.00/3296.66 c root simplifications : 0 3600.00/3296.66 c removed literals (reason simplification) : 0 3600.00/3296.66 c reason swapping (by a shorter reason) : 0 3600.00/3296.66 c Calls to reduceDB : 0 3600.00/3296.66 c Number of update (reduction) of LBD : 1119 3600.00/3296.66 c Imported unit clauses : 0 3600.00/3296.66 c No decision after first conflict : false 3600.00/3296.66 c number of reductions to clauses (during analyze) : 0 3600.00/3296.66 c number of learned constraints concerned by reduction : 0 3600.00/3296.66 c number of learning phase by resolution : 0 3600.00/3296.66 c number of learning phase by cutting planes : 0 3600.00/3296.66 c number of rounding to 1 operations : 0 3600.00/3296.66 c number of easy rounding to 1 operations (no literal elimination needed) : 0 3600.00/3296.66 c number of reductions of the coefficients by power 2 : 0 3600.00/3296.66 c number of right shift for reduction by power 2 : 0 3600.00/3296.66 c number of reductions of the coefficients by GCD over coefficients : 0 3600.00/3296.66 c number of ending skipping : 0 3600.00/3296.66 c number of internal skipping : 0 3600.00/3296.66 c number of derivation steps : 2112 3600.00/3296.66 c number of skipped derivation steps : 0 3600.00/3296.66 c number of remaining unassigned : 70691 3600.00/3296.66 c number of remaining assigned : 1896846 3600.00/3296.66 c number of falsified literals weakened from reason : 0 3600.00/3296.66 c number of falsified literals weakened from conflict : 0 3600.00/3296.66 c time for arithmetic operations : 354800352791 3600.00/3296.68 c minimum degree of deleted constraints : null 3600.00/3296.68 c maximum degree of deleted constraints : null 3600.00/3296.68 c number of deleted constraints : 0 3600.00/3296.68 c speed (assignments/second) : 1336.963114653371 3600.00/3296.68 c non guided choices : 9836 3600.00/3296.69 c learnt constraints type org.sat4j.pb.constraints.pb.PuebloMinWatchPb : 572 3600.00/3296.69 s SATISFIABLE 3600.00/3296.69 c Found 343 solution(s) 3600.00/3296.69 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 3600.20/3296.71 c objective function=2147450495 3600.20/3296.71 c Total wall clock time (in seconds): 3296.495
OK 2147450495
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (61265 MiB free)
memory of node 1: 64510 MiB (60659 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429752-1721066620/watcher-4429752-1721066620 -o /tmp/evaluation-result-4429752-1721066620/solver-4429752-1721066620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721059563-801476 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429752-1721066620.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=805779, runsolver pid=805776
[startup+0.100529 s]*
/proc/loadavg: 4.64 4.40 4.36 6/317 805797
/proc/meminfo: memFree=124774968/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=18975048 memory=56848 CPUtime=0.11 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 6593 0 0 0 9 2 0 0 20 0 18 0 158818426 19430449152 14212 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4743762 14212 5689 1 0 550925 0
[pid=805779/tid=805781] ppid=805776 vsize=18975048 memory=4026561586 CPUtime=0.08 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 5496 0 0 0 7 1 0 0 20 0 18 0 158818427 19430449152 14212 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=18975048 memory=232851243367 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158818430 19430449152 14212 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=18975048 memory=16101481095009462 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158818430 19430449152 14212 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56848 KiB
[startup+0.21453 s]*
/proc/loadavg: 4.64 4.40 4.36 9/317 805797
/proc/meminfo: memFree=124711628/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=18975048 memory=68616 CPUtime=0.32 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 7504 0 0 0 29 3 0 0 20 0 18 0 158818426 19430449152 17154 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4743762 17154 5741 1 0 551684 0
[pid=805779/tid=805781] ppid=805776 vsize=18975048 memory=4782652875487838339 CPUtime=0.19 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 6017 0 0 0 18 1 0 0 20 0 18 0 158818427 19430449152 17154 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=18975048 memory=5697 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158818430 19430449152 17154 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=18975048 memory=14699599474464555 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158818430 19430449152 17154 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 68616 KiB
[startup+0.314532 s]*
/proc/loadavg: 4.64 4.40 4.36 8/317 805797
/proc/meminfo: memFree=124657680/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=18975048 memory=75116 CPUtime=0.51 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 7620 0 0 0 48 3 0 0 20 0 18 0 158818426 19430449152 18779 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4743762 18779 5741 1 0 551726 0
[pid=805779/tid=805781] ppid=805776 vsize=18975048 memory=-8743285022470283964 CPUtime=0.28 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 6060 0 0 0 27 1 0 0 20 0 18 0 158818427 19430449152 18779 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158818430 19430449152 18779 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158818430 19430449152 18779 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 75116 KiB
[startup+0.700395 s]
/proc/loadavg: 4.64 4.40 4.36 7/317 805797
/proc/meminfo: memFree=124563828/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=18975048 memory=136380 CPUtime=1.22 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 12292 0 0 0 117 5 0 0 20 0 18 0 158818426 19430449152 34095 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4743762 34095 5843 1 0 555013 0
[pid=805779/tid=805781] ppid=805776 vsize=18975048 memory=5512 CPUtime=0.61 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 6101 0 0 0 58 3 0 0 20 0 18 0 158818427 19430449152 34095 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=18975048 memory=11992 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 158818430 19430449152 34095 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=18975048 memory=0 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 18 0 158818430 19430449152 34095 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 1.22 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 136380 KiB
[startup+1.50052 s]
/proc/loadavg: 4.64 4.40 4.36 7/319 805799
/proc/meminfo: memFree=124246912/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=196596 CPUtime=2.77 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 13058 0 0 0 271 6 0 0 20 0 20 0 158818426 19566772224 49149 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 49149 5913 1 0 555936 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=11992 CPUtime=1.36 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 6257 0 0 0 132 4 0 0 20 0 20 0 158818427 19566772224 49149 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 49149 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 49149 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 49149 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 2.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 196596 KiB
[startup+3.10556 s]
/proc/loadavg: 4.64 4.40 4.36 5/319 805800
/proc/meminfo: memFree=123678168/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=199036 CPUtime=5.56 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 18835 0 0 0 549 7 0 0 20 0 20 0 158818426 19566772224 49759 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 49759 5913 1 0 556375 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=0 CPUtime=2.91 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 6835 0 0 0 287 4 0 0 20 0 20 0 158818427 19566772224 49759 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 49759 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 49759 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 49759 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 199036 KiB
[startup+6.30053 s]
/proc/loadavg: 4.75 4.43 4.36 6/319 805800
/proc/meminfo: memFree=123669652/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=207744 CPUtime=10.59 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 20709 0 0 0 1050 9 0 0 20 0 20 0 158818426 19566772224 51936 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 51936 5913 1 0 556382 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=0 CPUtime=6.03 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 7244 0 0 0 599 4 0 0 20 0 20 0 158818427 19566772224 51936 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=11992 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 51936 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 51936 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=40468 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 51936 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 10.59 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 207744 KiB
[startup+12.7005 s]
/proc/loadavg: 4.69 4.42 4.36 6/319 805800
/proc/meminfo: memFree=123619436/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=257500 CPUtime=18.12 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 26643 0 0 0 1801 11 0 0 20 0 20 0 158818426 19566772224 64375 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 64375 5913 1 0 556382 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=167100 CPUtime=12.36 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 8461 0 0 0 1231 5 0 0 20 0 20 0 158818427 19566772224 64375 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=257468 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 64375 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=207304 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 64375 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 64375 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 18.12 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 257500 KiB
[startup+25.5005 s]
/proc/loadavg: 4.61 4.42 4.36 6/318 805803
/proc/meminfo: memFree=121194964/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=442016 CPUtime=31.54 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 36276 0 0 0 3136 18 0 0 20 0 20 0 158818426 19566772224 110504 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 110504 5913 1 0 556398 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=257468 CPUtime=25.13 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 10991 0 0 0 2504 9 0 0 20 0 20 0 158818427 19566772224 110504 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=351832 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 110504 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=0 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 110504 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=6944656592455097440 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 110504 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 31.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 442016 KiB
[startup+51.113 s]
/proc/loadavg: 4.48 4.40 4.36 5/318 805806
/proc/meminfo: memFree=120016396/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=893828 CPUtime=58.37 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 47915 0 0 0 5805 32 0 0 20 0 20 0 158818426 19566772224 223457 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 223457 5913 1 0 557333 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=632632 CPUtime=50.67 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 14205 0 0 0 5048 19 0 0 20 0 20 0 158818427 19566772224 223457 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=690004 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 223457 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 25 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 223457 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
################
# More data... #
################
[startup+2982.3 s]
/proc/loadavg: 4.62 4.54 4.38 5/319 806955
/proc/meminfo: memFree=98379584/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=9310848 CPUtime=3240.94 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 647819 0 0 0 322968 1126 0 0 20 0 20 0 158818426 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 2327712 5940 1 0 2345223 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=9310832 CPUtime=2938.55 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 162191 0 0 0 293635 220 0 0 20 0 20 0 158818427 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 130 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 2316 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 3240.94 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9310848 KiB
[startup+3042.3 s]
/proc/loadavg: 4.35 4.48 4.37 5/319 806965
/proc/meminfo: memFree=98311196/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=9310848 CPUtime=3309.54 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 668935 0 0 0 329796 1158 0 0 20 0 20 0 158818426 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 2327712 5940 1 0 2345223 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=9310848 CPUtime=2997.43 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 165839 0 0 0 299523 220 0 0 20 0 20 0 158818427 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 136 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=2244 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 2368 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 3309.54 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9310848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.42 4.36 5/319 806976
/proc/meminfo: memFree=98278588/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=9310848 CPUtime=3378.48 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 689877 0 0 0 336662 1186 0 0 20 0 20 0 158818426 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 2327712 5940 1 0 2345223 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=9310848 CPUtime=3055.93 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 169803 0 0 0 305372 221 0 0 20 0 20 0 158818427 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 144 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=9310832 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 2420 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=11600 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 3378.48 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9310848 KiB
[startup+3162.3 s]
/proc/loadavg: 4.25 4.39 4.35 6/320 807376
/proc/meminfo: memFree=98362392/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=9310848 CPUtime=3447.95 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 710521 0 0 0 343574 1221 0 0 20 0 20 0 158818426 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 2327712 5940 1 0 2345223 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=9310832 CPUtime=3115.21 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 173194 0 0 0 311300 221 0 0 20 0 20 0 158818427 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 158 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0.01 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 2471 0 0 0 1 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 3447.95 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9310848 KiB
[startup+3222.3 s]
/proc/loadavg: 4.28 4.38 4.35 5/321 807389
/proc/meminfo: memFree=98313980/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=9310848 CPUtime=3515.76 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 731364 0 0 0 350329 1247 0 0 20 0 20 0 158818426 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 2327712 5940 1 0 2345223 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=9310848 CPUtime=3174.41 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 176521 0 0 0 317220 221 0 0 20 0 20 0 158818427 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 163 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=32180 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0.01 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 2522 0 0 0 1 0 0 0 20 0 20 0 158818430 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 2327712 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 3515.76 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9310848 KiB
[startup+3282.3 s]
/proc/loadavg: 4.70 4.47 4.38 5/321 807399
/proc/meminfo: memFree=98274788/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=9310892 CPUtime=3583.43 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 752733 0 0 0 357070 1273 0 0 20 0 20 0 158818426 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 2327723 5940 1 0 2345223 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=40468 CPUtime=3232.43 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 179648 0 0 0 323021 222 0 0 20 0 20 0 158818427 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 165 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=9310848 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=9310892 CPUtime=0.01 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 2573 0 0 0 1 0 0 0 20 0 20 0 158818430 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=2312 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 3583.43 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9310892 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3296.6 s]
/proc/loadavg: 4.77 4.49 4.39 5/323 807572
/proc/meminfo: memFree=98267672/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19108176 memory=9310892 CPUtime=3600 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 753830 0 0 0 358720 1280 0 0 20 0 20 0 158818426 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4777044 2327723 5940 1 0 2345223 0
[pid=805779/tid=805781] ppid=805776 vsize=19108176 memory=2181388 CPUtime=3246.38 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 179662 0 0 0 324416 222 0 0 20 0 20 0 158818427 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 165 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19108176 memory=2768 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 158818430 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19108176 memory=-8743285022470283964 CPUtime=0.01 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 2573 0 0 0 1 0 0 0 20 0 20 0 158818430 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805799] ppid=805776 vsize=19108176 memory=15355212 CPUtime=0 cores=5,7
/proc/805779/task/805799/stat : 805799 (Timer-0) S 805776 805779 801463 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 158818524 19566772224 2327723 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 9310892 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3296.76 s]
# the end of solver process 805779 was just reported to runsolver
# Child status: 143
# cumulated CPU time of all completed processes: user=3587.4 s, system=12.8675 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3296.71 s]
/proc/loadavg: 4.77 4.49 4.39 5/323 807572
/proc/meminfo: memFree=98267672/131655788 swapFree=131071996/131071996
[pid=805779] ppid=805776 vsize=19307868 memory=9311576 CPUtime=3600.2 cores=5,7
/proc/805779/stat : 805779 (java) S 805776 805779 801463 0 -1 1077936128 756306 0 0 0 358739 1281 0 0 20 0 21 0 158818426 19771256832 2327894 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
/proc/805779/statm: 4826967 2327894 5939 1 0 2346159 0
[pid=805779/tid=805781] ppid=805776 vsize=19307868 memory=5512 CPUtime=3246.47 cores=5,7
/proc/805779/task/805781/stat : 805781 (java) R 805776 805779 801463 0 -1 4194368 179662 0 0 0 324425 222 0 0 20 0 21 0 158818427 19771256832 2327894 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 165 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805790] ppid=805776 vsize=19307868 memory=9310892 CPUtime=0 cores=5,7
/proc/805779/task/805790/stat : 805790 (Finalizer) S 805776 805779 801463 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 158818430 19771256832 2327894 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
[pid=805779/tid=805797] ppid=805776 vsize=19307868 memory=1944 CPUtime=0.01 cores=5,7
/proc/805779/task/805797/stat : 805797 (Common-Cleaner) S 805776 805779 801463 0 -1 1077936192 2573 0 0 0 1 0 0 0 20 0 21 0 158818430 19771256832 2327894 134679101440 94692539789312 94692539793008 140730422366288 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94692539800824 94692539801616 94692542418944 140730422371317 140730422371425 140730422371425 140730422378440 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 9311576 KiB
Child status: 143
Real time (s): 3296.76
CPU time (s): 3600.27
CPU user time (s): 3587.4
CPU system time (s): 12.8675
CPU usage (%): 109.206
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 9321364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.4
system time used= 12.8675
maximum resident set size= 9321364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 756413
page faults= 0
swaps= 0
block input operations= 32
block output operations= 3488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 176737
involuntary context switches= 22280
# summary of solver processes directly reported to runsolver:
# pid: 805779
# total CPU time (s): 3600.27
# total CPU user time (s): 3587.4
# total CPU system time (s): 12.8675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2982 second user time and 34.401 second system time
The end
Begin job on nodeC008 at 2024-07-15 20:03:52 IDJOB=4429752 IDBENCH=146783 IDSOLVER=3052 FILE ID=nodeC008/4429752-1721066620 RUNJOBID= nodeC008-1721059563-801476 SLURM_JOB_ID= 7505500 Free space on /tmp= 723760 MiB SOLVER NAME= Sat4j Cutting Planes 2024 2024-07-12 BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb COMMAND LINE= java -jar sat4j-pb.jar CuttingPlanesPB24 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429752-1721066620/watcher-4429752-1721066620 -o /tmp/evaluation-result-4429752-1721066620/solver-4429752-1721066620 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721059563-801476 --watchdog 3760 java -jar sat4j-pb.jar CuttingPlanesPB24 HOME/instance-4429752-1721066620.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 8990d9f8b403d84c2b7408cf78742133 RANDOM SEED=1082529219 nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.728 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3561.092 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.255 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.383 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3583.423 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3491.969 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3591.728 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.91 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.246 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124862012 kB MemAvailable: 125056128 kB Buffers: 383692 kB Cached: 655096 kB SwapCached: 0 kB Active: 613628 kB Inactive: 5654100 kB Active(anon): 1492 kB Inactive(anon): 5264832 kB Active(file): 612136 kB Inactive(file): 389268 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 8752 kB Writeback: 0 kB AnonPages: 5228652 kB Mapped: 123692 kB Shmem: 37704 kB KReclaimable: 65484 kB Slab: 158784 kB SReclaimable: 65484 kB SUnreclaim: 93300 kB KernelStack: 4812 kB PageTables: 20604 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 12331796 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 51040 kB HardwareCorrupted: 0 kB AnonHugePages: 4841472 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 170824 kB DirectMap2M: 19656704 kB DirectMap1G: 116391936 kB Free space on /tmp at the end= 723760 MiB End job on nodeC008 at 2024-07-15 20:58:49