Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| SAT4J PB Resolution 2.2.0 2010-05-26 | OPTIMUM | 429.87 | 425.671 |
| Name | /PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo |
| MD5SUM | e08e31eb3b4e7c09e6499c484fbac4c3 |
| Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 1 |
| Best CPU time to get the best result obtained on this benchmark | 2.19767 |
| Max-Satisfiable | |
| Max-(Un)Satisfiability was proved | |
| Best value of the cost | |
| Optimality of the best cost was proved | |
| Number of variables | 4622 |
| Total number of constraints | 12569 |
| Number of soft constraints | 4285 |
| Number of constraints which are clauses | 11753 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 816 |
| Minimum length of a constraint | 1 |
| Maximum length of a constraint | 11 |
| Top cost | 220151 |
| Min constraint cost | 1 |
| Max constraint cost | 100 |
| Sum of constraints costs | 220150 |
| Biggest number in a constraint | 36 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 130 |
| Number of bits of the biggest sum of numbers | 8 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.04/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.04/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.04/0.07 c See www.sat4j.org for details. 0.04/0.07 c version 2.2.0.v20100526 0.04/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.04/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.04/0.07 c java.vm.version 11.2-b01 0.04/0.07 c java.vm.vendor Sun Microsystems Inc. 0.04/0.07 c sun.arch.data.model 32 0.04/0.07 c java.version 1.6.0_12 0.04/0.07 c os.name Linux 0.04/0.07 c os.version 2.6.18-164.el5 0.04/0.07 c os.arch i386 0.04/0.07 c Free memory 1393557488 0.04/0.07 c Max memory 1395916800 0.04/0.07 c Total memory 1395916800 0.04/0.07 c Number of processors 8 0.04/0.10 c Pseudo Boolean Optimization 0.04/0.10 c --- Begin Solver configuration --- 0.04/0.10 c Stops conflict analysis at the first Unique Implication Point 0.04/0.10 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1764be1 0.04/0.10 c Learn all clauses as in MiniSAT 0.04/0.10 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.04/0.10 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.04/0.10 c Expensive reason simplification 0.04/0.10 c Armin Biere (Picosat) restarts strategy 0.04/0.10 c Glucose learned constraints deletion strategy 0.04/0.10 c timeout=2147483s 0.04/0.10 c DB Simplification allowed=false 0.04/0.10 c --- End Solver configuration --- 0.11/0.10 c solving HOME/instance-2690919-1277913732.wbo 0.11/0.10 c reading problem ... 0.70/0.47 c ... done. Wall clock time 0.375s. 0.70/0.47 c #vars 8907 0.70/0.47 c #constraints 12569 0.70/0.47 c constraints type 0.70/0.47 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2898 0.70/0.47 c org.sat4j.minisat.constraints.card.MinWatchCard => 1018 0.70/0.47 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7836 0.70/0.47 c org.sat4j.pb.constraints.pb.MaxWatchPb => 816 2.47/1.03 c SATISFIABLE 2.47/1.03 c OPTIMIZING... 2.47/1.03 c Got one! Elapsed wall clock time (in seconds):0.935 2.47/1.03 o 1762 2.72/1.15 c Got one! Elapsed wall clock time (in seconds):1.051 2.72/1.15 o 1438 2.92/1.26 c Got one! Elapsed wall clock time (in seconds):1.165 2.92/1.26 o 1369 3.04/1.35 c Got one! Elapsed wall clock time (in seconds):1.251 3.04/1.35 o 1168 3.16/1.45 c Got one! Elapsed wall clock time (in seconds):1.353 3.16/1.45 o 965 3.40/1.60 c Got one! Elapsed wall clock time (in seconds):1.508 3.40/1.60 o 964 3.40/1.69 c Got one! Elapsed wall clock time (in seconds):1.591 3.40/1.69 o 961 3.50/1.79 c Got one! Elapsed wall clock time (in seconds):1.694 3.50/1.79 o 956 3.70/1.94 c Got one! Elapsed wall clock time (in seconds):1.843 3.70/1.94 o 954 3.91/2.14 c Got one! Elapsed wall clock time (in seconds):2.04 3.91/2.14 o 953 4.01/2.23 c Got one! Elapsed wall clock time (in seconds):2.13 4.01/2.23 o 943 4.10/2.33 c Got one! Elapsed wall clock time (in seconds):2.235 4.10/2.33 o 940 4.20/2.49 c Got one! Elapsed wall clock time (in seconds):2.391 4.20/2.49 o 938 4.40/2.66 c Got one! Elapsed wall clock time (in seconds):2.566 4.40/2.66 o 934 4.71/2.92 c Got one! Elapsed wall clock time (in seconds):2.824 4.71/2.92 o 931 4.81/3.01 c Got one! Elapsed wall clock time (in seconds):2.918 4.81/3.01 o 930 4.91/3.12 c Got one! Elapsed wall clock time (in seconds):3.02 4.91/3.12 o 929 5.02/3.25 c Got one! Elapsed wall clock time (in seconds):3.158 5.02/3.25 o 926 5.21/3.45 c Got one! Elapsed wall clock time (in seconds):3.357 5.21/3.45 o 925 5.41/3.70 c Got one! Elapsed wall clock time (in seconds):3.6 5.41/3.70 o 921 5.82/4.04 c cleaning 2494 clauses out of 5000 with flag 5000/5000 5.95/4.19 c Got one! Elapsed wall clock time (in seconds):4.094 5.95/4.19 o 918 6.05/4.29 c Got one! Elapsed wall clock time (in seconds):4.196 6.05/4.29 o 910 6.25/4.41 c Got one! Elapsed wall clock time (in seconds):4.312 6.25/4.41 o 906 6.43/4.62 c Got one! Elapsed wall clock time (in seconds):4.527 6.43/4.62 o 898 6.63/4.82 c Got one! Elapsed wall clock time (in seconds):4.727 6.63/4.82 o 891 6.93/5.11 c Got one! Elapsed wall clock time (in seconds):5.016 6.93/5.11 o 889 7.03/5.21 c Got one! Elapsed wall clock time (in seconds):5.115 7.03/5.21 o 882 7.23/5.47 c Got one! Elapsed wall clock time (in seconds):5.371 7.23/5.47 o 878 7.63/5.84 c Got one! Elapsed wall clock time (in seconds):5.739 7.63/5.84 o 877 8.23/6.42 c Got one! Elapsed wall clock time (in seconds):6.319 8.23/6.42 o 873 8.33/6.52 c Got one! Elapsed wall clock time (in seconds):6.421 8.33/6.52 o 869 8.43/6.64 c Got one! Elapsed wall clock time (in seconds):6.54 8.43/6.64 o 866 8.63/6.80 c Got one! Elapsed wall clock time (in seconds):6.703 8.63/6.80 o 864 8.83/7.03 c Got one! Elapsed wall clock time (in seconds):6.933 8.83/7.03 o 863 9.19/7.34 c Got one! Elapsed wall clock time (in seconds):7.248 9.19/7.34 o 862 9.69/7.80 c cleaning 4249 clauses out of 8505 with flag 11001/11001 9.69/7.87 c Got one! Elapsed wall clock time (in seconds):7.77 9.69/7.87 o 858 10.19/8.37 c Got one! Elapsed wall clock time (in seconds):8.273 10.19/8.37 o 854 11.20/9.34 c Got one! Elapsed wall clock time (in seconds):9.242 11.20/9.34 o 849 11.30/9.44 c Got one! Elapsed wall clock time (in seconds):9.347 11.30/9.44 o 846 11.40/9.57 c Got one! Elapsed wall clock time (in seconds):9.472 11.40/9.57 o 845 11.60/9.74 c Got one! Elapsed wall clock time (in seconds):9.641 11.60/9.74 o 838 11.80/9.96 c Got one! Elapsed wall clock time (in seconds):9.864 11.80/9.96 o 837 12.20/10.34 c Got one! Elapsed wall clock time (in seconds):10.241 12.20/10.34 o 833 12.60/10.79 c Got one! Elapsed wall clock time (in seconds):10.695 12.60/10.79 o 829 13.20/11.33 c Got one! Elapsed wall clock time (in seconds):11.233 13.20/11.33 o 828 13.59/11.75 c cleaning 5619 clauses out of 11256 with flag 18001/18001 14.01/12.11 c Got one! Elapsed wall clock time (in seconds):12.019 14.01/12.11 o 826 15.40/13.52 c Got one! Elapsed wall clock time (in seconds):13.428 15.40/13.52 o 824 15.50/13.60 c Got one! Elapsed wall clock time (in seconds):13.507 15.50/13.60 o 822 15.60/13.75 c Got one! Elapsed wall clock time (in seconds):13.653 15.60/13.75 o 819 15.80/13.95 c Got one! Elapsed wall clock time (in seconds):13.858 15.80/13.95 o 809 16.00/14.16 c Got one! Elapsed wall clock time (in seconds):14.068 16.00/14.16 o 807 16.30/14.50 c Got one! Elapsed wall clock time (in seconds):14.399 16.30/14.50 o 801 16.92/15.06 c Got one! Elapsed wall clock time (in seconds):14.963 16.92/15.06 o 799 17.62/15.73 c Got one! Elapsed wall clock time (in seconds):15.631 17.62/15.73 o 798 18.33/16.48 c cleaning 6815 clauses out of 13636 with flag 26000/26000 18.57/16.68 c Got one! Elapsed wall clock time (in seconds):16.586 18.57/16.68 o 794 20.07/18.10 c Got one! Elapsed wall clock time (in seconds):18.009 20.07/18.10 o 793 21.98/20.02 c Got one! Elapsed wall clock time (in seconds):19.922 21.98/20.02 o 791 22.08/20.13 c Got one! Elapsed wall clock time (in seconds):20.031 22.08/20.13 o 788 22.18/20.25 c Got one! Elapsed wall clock time (in seconds):20.153 22.18/20.25 o 787 22.38/20.46 c Got one! Elapsed wall clock time (in seconds):20.363 22.38/20.46 o 786 22.68/20.77 c Got one! Elapsed wall clock time (in seconds):20.671 22.68/20.77 o 784 22.99/21.08 c Got one! Elapsed wall clock time (in seconds):20.985 22.99/21.08 o 782 23.69/21.74 c Got one! Elapsed wall clock time (in seconds):21.645 23.69/21.74 o 780 23.79/21.90 c cleaning 7906 clauses out of 15823 with flag 35002/35002 24.29/22.32 c Got one! Elapsed wall clock time (in seconds):22.226 24.29/22.32 o 778 24.69/22.75 c Got one! Elapsed wall clock time (in seconds):22.656 24.69/22.75 o 777 25.79/23.89 c Got one! Elapsed wall clock time (in seconds):23.796 25.79/23.89 o 775 27.30/25.38 c Got one! Elapsed wall clock time (in seconds):25.288 27.30/25.38 o 774 29.59/27.68 c Got one! Elapsed wall clock time (in seconds):27.586 29.59/27.68 o 773 29.79/27.86 c cleaning 8950 clauses out of 17914 with flag 45000/45000 33.61/31.64 c Got one! Elapsed wall clock time (in seconds):31.544 33.61/31.64 o 771 33.71/31.77 c Got one! Elapsed wall clock time (in seconds):31.675 33.71/31.77 o 766 33.92/31.94 c Got one! Elapsed wall clock time (in seconds):31.848 33.92/31.94 o 761 34.12/32.18 c Got one! Elapsed wall clock time (in seconds):32.089 34.12/32.19 o 759 34.52/32.54 c Got one! Elapsed wall clock time (in seconds):32.444 34.52/32.54 o 758 34.92/32.95 c Got one! Elapsed wall clock time (in seconds):32.854 34.92/32.95 o 753 35.42/33.45 c Got one! Elapsed wall clock time (in seconds):33.352 35.42/33.45 o 752 36.74/34.70 c Got one! Elapsed wall clock time (in seconds):34.607 36.74/34.70 o 750 37.84/35.83 c Got one! Elapsed wall clock time (in seconds):35.739 37.84/35.84 o 746 38.35/36.33 c cleaning 9979 clauses out of 19964 with flag 56000/56000 39.94/37.96 c Got one! Elapsed wall clock time (in seconds):37.866 39.94/37.96 o 745 42.55/40.53 c Got one! Elapsed wall clock time (in seconds):40.439 42.55/40.53 o 744 45.56/43.56 c Got one! Elapsed wall clock time (in seconds):43.46 45.56/43.56 o 742 45.86/43.87 c cleaning 10988 clauses out of 21985 with flag 68000/68000 51.68/49.66 c Got one! Elapsed wall clock time (in seconds):49.565 51.68/49.66 o 741 51.78/49.79 c Got one! Elapsed wall clock time (in seconds):49.696 51.78/49.79 o 739 51.98/49.99 c Got one! Elapsed wall clock time (in seconds):49.89 51.98/49.99 o 738 52.28/50.26 c Got one! Elapsed wall clock time (in seconds):50.16 52.28/50.26 o 737 52.69/50.63 c Got one! Elapsed wall clock time (in seconds):50.533 52.69/50.63 o 728 53.18/51.14 c Got one! Elapsed wall clock time (in seconds):51.043 53.18/51.14 o 723 53.88/51.89 c Got one! Elapsed wall clock time (in seconds):51.793 53.88/51.89 o 719 54.79/52.70 c Got one! Elapsed wall clock time (in seconds):52.608 54.79/52.70 o 718 55.79/53.74 c cleaning 11994 clauses out of 23999 with flag 81002/81002 55.99/53.98 c Got one! Elapsed wall clock time (in seconds):53.886 55.99/53.98 o 717 57.99/56.00 c Got one! Elapsed wall clock time (in seconds):55.906 57.99/56.00 o 715 60.30/58.25 c Got one! Elapsed wall clock time (in seconds):58.159 60.30/58.25 o 713 64.83/62.76 c Got one! Elapsed wall clock time (in seconds):62.663 64.83/62.76 o 712 65.42/63.35 c cleaning 12494 clauses out of 25003 with flag 94000/94000 71.24/69.11 c Got one! Elapsed wall clock time (in seconds):69.009 71.24/69.11 o 711 74.44/72.38 c cleaning 12746 clauses out of 25509 with flag 107000/107000 78.35/76.25 c Got one! Elapsed wall clock time (in seconds):76.152 78.35/76.25 o 708 78.45/76.39 c Got one! Elapsed wall clock time (in seconds):76.291 78.45/76.39 o 706 78.65/76.59 c Got one! Elapsed wall clock time (in seconds):76.493 78.65/76.59 o 696 78.95/76.84 c Got one! Elapsed wall clock time (in seconds):76.743 78.95/76.84 o 690 79.35/77.24 c Got one! Elapsed wall clock time (in seconds):77.147 79.35/77.24 o 680 79.75/77.60 c Got one! Elapsed wall clock time (in seconds):77.501 79.75/77.60 o 679 80.16/78.02 c Got one! Elapsed wall clock time (in seconds):77.92 80.16/78.02 o 678 81.36/79.21 c Got one! Elapsed wall clock time (in seconds):79.11 81.36/79.21 o 675 82.66/80.50 c cleaning 12876 clauses out of 25765 with flag 120002/120002 82.77/80.63 c Got one! Elapsed wall clock time (in seconds):80.533 82.77/80.63 o 672 84.07/81.92 c Got one! Elapsed wall clock time (in seconds):81.825 84.07/81.92 o 671 86.87/84.79 c Got one! Elapsed wall clock time (in seconds):84.693 86.87/84.79 o 670 90.88/88.76 c Got one! Elapsed wall clock time (in seconds):88.666 90.88/88.76 o 666 91.79/89.64 c cleaning 12941 clauses out of 25887 with flag 133000/133000 96.72/94.59 c Got one! Elapsed wall clock time (in seconds):94.489 96.72/94.59 o 664 96.91/94.75 c Got one! Elapsed wall clock time (in seconds):94.652 96.91/94.75 o 663 100.73/98.54 c cleaning 12965 clauses out of 25947 with flag 146002/146002 104.84/102.64 c Got one! Elapsed wall clock time (in seconds):102.542 104.84/102.64 o 659 107.05/104.86 c cleaning 12981 clauses out of 25980 with flag 159000/159000 112.18/109.92 c cleaning 12989 clauses out of 26001 with flag 172002/172002 112.68/110.49 c Got one! Elapsed wall clock time (in seconds):110.389 112.68/110.49 o 658 112.88/110.62 c Got one! Elapsed wall clock time (in seconds):110.52 112.88/110.62 o 657 112.98/110.76 c Got one! Elapsed wall clock time (in seconds):110.661 112.98/110.76 o 643 113.18/110.95 c Got one! Elapsed wall clock time (in seconds):110.854 113.18/110.95 o 637 113.48/111.23 c Got one! Elapsed wall clock time (in seconds):111.131 113.48/111.23 o 636 113.79/111.59 c Got one! Elapsed wall clock time (in seconds):111.493 113.79/111.59 o 630 114.29/112.09 c Got one! Elapsed wall clock time (in seconds):111.993 114.29/112.09 o 624 114.99/112.79 c Got one! Elapsed wall clock time (in seconds):112.699 114.99/112.79 o 621 115.89/113.68 c Got one! Elapsed wall clock time (in seconds):113.584 115.89/113.68 o 618 117.01/114.71 c Got one! Elapsed wall clock time (in seconds):114.612 117.01/114.71 o 607 117.72/115.48 c Got one! Elapsed wall clock time (in seconds):115.384 117.72/115.48 o 598 119.02/116.79 c cleaning 12999 clauses out of 26009 with flag 185000/185000 120.02/117.79 c Got one! Elapsed wall clock time (in seconds):117.696 120.02/117.79 o 597 123.63/121.37 c Got one! Elapsed wall clock time (in seconds):121.272 123.63/121.37 o 593 126.06/123.79 c cleaning 12996 clauses out of 26011 with flag 198001/198001 127.36/125.09 c Got one! Elapsed wall clock time (in seconds):124.993 127.36/125.09 o 591 127.68/125.31 c Got one! Elapsed wall clock time (in seconds):125.212 127.68/125.31 o 589 130.70/128.36 c cleaning 13003 clauses out of 26015 with flag 211002/211002 131.71/129.34 c Got one! Elapsed wall clock time (in seconds):129.249 131.71/129.34 o 584 134.92/132.57 c Got one! Elapsed wall clock time (in seconds):132.471 134.92/132.57 o 575 135.92/133.58 c cleaning 12994 clauses out of 26012 with flag 224002/224002 139.64/137.25 c cleaning 12996 clauses out of 26016 with flag 237000/237000 140.64/138.23 c Got one! Elapsed wall clock time (in seconds):138.138 140.64/138.23 o 573 144.07/141.61 c cleaning 12999 clauses out of 26020 with flag 250000/250000 147.59/145.11 c cleaning 12996 clauses out of 26021 with flag 263000/263000 149.30/146.89 c Got one! Elapsed wall clock time (in seconds):146.793 149.30/146.89 o 566 149.50/147.00 c Got one! Elapsed wall clock time (in seconds):146.903 149.50/147.00 o 564 149.60/147.13 c Got one! Elapsed wall clock time (in seconds):147.037 149.60/147.13 o 540 149.70/147.29 c Got one! Elapsed wall clock time (in seconds):147.196 149.70/147.29 o 534 149.91/147.48 c Got one! Elapsed wall clock time (in seconds):147.388 149.91/147.48 o 533 150.21/147.74 c Got one! Elapsed wall clock time (in seconds):147.639 150.21/147.74 o 523 150.61/148.14 c Got one! Elapsed wall clock time (in seconds):148.042 150.61/148.14 o 504 151.21/148.70 c Got one! Elapsed wall clock time (in seconds):148.606 151.21/148.70 o 499 151.91/149.47 c Got one! Elapsed wall clock time (in seconds):149.371 151.91/149.47 o 492 152.41/149.94 c cleaning 13005 clauses out of 26025 with flag 276000/276000 152.81/150.35 c Got one! Elapsed wall clock time (in seconds):150.252 152.81/150.35 o 480 153.83/151.36 c Got one! Elapsed wall clock time (in seconds):151.263 153.83/151.36 o 469 155.64/153.17 c Got one! Elapsed wall clock time (in seconds):153.071 155.64/153.17 o 468 156.84/154.35 c cleaning 13008 clauses out of 26020 with flag 289000/289000 160.16/157.69 c Got one! Elapsed wall clock time (in seconds):157.599 160.16/157.69 o 465 163.57/161.01 c cleaning 12990 clauses out of 26012 with flag 302000/302000 165.40/162.81 c Got one! Elapsed wall clock time (in seconds):162.717 165.40/162.81 o 462 167.41/164.84 c cleaning 12995 clauses out of 26022 with flag 315000/315000 171.04/168.43 c cleaning 13007 clauses out of 26027 with flag 328000/328000 171.14/168.57 c Got one! Elapsed wall clock time (in seconds):168.472 171.14/168.57 o 458 176.77/174.18 c cleaning 12993 clauses out of 26022 with flag 341002/341002 180.40/177.78 c cleaning 12998 clauses out of 26027 with flag 354000/354000 181.31/178.67 c Got one! Elapsed wall clock time (in seconds):178.575 181.31/178.67 o 454 185.24/182.54 c cleaning 12988 clauses out of 26029 with flag 367000/367000 188.85/186.15 c cleaning 13011 clauses out of 26042 with flag 380001/380001 192.38/189.60 c cleaning 12997 clauses out of 26032 with flag 393002/393002 194.49/191.72 c Got one! Elapsed wall clock time (in seconds):191.622 194.49/191.72 o 452 194.59/191.82 c Got one! Elapsed wall clock time (in seconds):191.722 194.59/191.82 o 433 194.70/191.94 c Got one! Elapsed wall clock time (in seconds):191.847 194.70/191.94 o 379 194.90/192.10 c Got one! Elapsed wall clock time (in seconds):192.007 194.90/192.10 o 361 195.10/192.30 c Got one! Elapsed wall clock time (in seconds):192.207 195.10/192.30 o 348 195.40/192.61 c Got one! Elapsed wall clock time (in seconds):192.514 195.40/192.61 o 343 195.80/193.00 c Got one! Elapsed wall clock time (in seconds):192.907 195.80/193.00 o 342 196.31/193.53 c Got one! Elapsed wall clock time (in seconds):193.436 196.31/193.53 o 341 197.00/194.29 c cleaning 12996 clauses out of 26033 with flag 406000/406000 197.21/194.44 c Got one! Elapsed wall clock time (in seconds):194.34 197.21/194.44 o 338 198.31/195.54 c Got one! Elapsed wall clock time (in seconds):195.441 198.31/195.54 o 334 199.43/196.67 c Got one! Elapsed wall clock time (in seconds):196.577 199.43/196.67 o 333 201.05/198.27 c Got one! Elapsed wall clock time (in seconds):198.175 201.05/198.27 o 321 201.45/198.61 c cleaning 13016 clauses out of 26037 with flag 419000/419000 205.67/202.89 c Got one! Elapsed wall clock time (in seconds):202.797 205.67/202.89 o 319 208.20/205.31 c cleaning 13005 clauses out of 26022 with flag 432001/432001 210.61/207.70 c Got one! Elapsed wall clock time (in seconds):207.608 210.61/207.70 o 314 212.12/209.22 c cleaning 12989 clauses out of 26016 with flag 445000/445000 215.53/212.65 c cleaning 13009 clauses out of 26034 with flag 458007/458007 216.03/213.10 c Got one! Elapsed wall clock time (in seconds):213.004 216.03/213.10 o 311 219.45/216.54 c Got one! Elapsed wall clock time (in seconds):216.444 219.45/216.54 o 310 219.67/216.79 c Got one! Elapsed wall clock time (in seconds):216.693 219.67/216.79 o 306 221.37/218.43 c cleaning 12990 clauses out of 26016 with flag 471000/471000 224.89/221.97 c cleaning 12979 clauses out of 26026 with flag 484000/484000 228.71/225.70 c cleaning 13022 clauses out of 26047 with flag 497000/497000 228.71/225.75 c Got one! Elapsed wall clock time (in seconds):225.651 228.71/225.75 o 304 236.16/233.14 c cleaning 13001 clauses out of 26025 with flag 510000/510000 241.37/238.33 c cleaning 13002 clauses out of 26024 with flag 523000/523000 245.19/242.11 c cleaning 13006 clauses out of 26025 with flag 536003/536003 246.50/243.41 c Got one! Elapsed wall clock time (in seconds):243.318 246.50/243.41 o 300 250.62/247.59 c cleaning 13001 clauses out of 26016 with flag 549000/549000 254.34/251.21 c cleaning 12993 clauses out of 26015 with flag 562000/562000 257.56/254.48 c cleaning 13004 clauses out of 26022 with flag 575000/575000 260.98/257.89 c cleaning 12981 clauses out of 26018 with flag 588000/588000 264.50/261.35 c cleaning 13009 clauses out of 26038 with flag 601001/601001 265.91/262.76 c Got one! Elapsed wall clock time (in seconds):262.663 265.91/262.76 o 297 266.01/262.86 c Got one! Elapsed wall clock time (in seconds):262.759 266.01/262.86 o 295 266.11/262.95 c Got one! Elapsed wall clock time (in seconds):262.851 266.11/262.95 o 294 266.31/263.11 c Got one! Elapsed wall clock time (in seconds):263.012 266.31/263.11 o 284 266.51/263.32 c Got one! Elapsed wall clock time (in seconds):263.221 266.51/263.32 o 269 266.71/263.58 c Got one! Elapsed wall clock time (in seconds):263.479 266.71/263.58 o 254 267.12/263.91 c Got one! Elapsed wall clock time (in seconds):263.815 267.12/263.91 o 239 267.52/264.39 c Got one! Elapsed wall clock time (in seconds):264.295 267.52/264.39 o 237 268.42/265.25 c Got one! Elapsed wall clock time (in seconds):265.156 268.42/265.25 o 225 269.43/266.26 c cleaning 12990 clauses out of 26029 with flag 614001/614001 269.54/266.36 c Got one! Elapsed wall clock time (in seconds):266.265 269.54/266.36 o 219 270.64/267.40 c Got one! Elapsed wall clock time (in seconds):267.301 270.64/267.40 o 216 272.15/268.99 c Got one! Elapsed wall clock time (in seconds):268.893 272.15/268.99 o 214 273.87/270.61 c cleaning 13006 clauses out of 26039 with flag 627001/627001 275.87/272.60 c Got one! Elapsed wall clock time (in seconds):272.504 275.87/272.60 o 211 278.10/274.86 c cleaning 12999 clauses out of 26032 with flag 640000/640000 279.50/276.23 c Got one! Elapsed wall clock time (in seconds):276.133 279.50/276.23 o 210 282.22/278.95 c cleaning 13000 clauses out of 26033 with flag 653000/653000 285.34/282.08 c Got one! Elapsed wall clock time (in seconds):281.988 285.34/282.08 o 209 285.64/282.35 c Got one! Elapsed wall clock time (in seconds):282.257 285.64/282.35 o 116 286.05/282.72 c cleaning 13005 clauses out of 26033 with flag 666000/666000 289.56/286.29 c Got one! Elapsed wall clock time (in seconds):286.197 289.56/286.29 o 114 289.87/286.50 c cleaning 12993 clauses out of 26028 with flag 679001/679001 290.18/286.84 c Got one! Elapsed wall clock time (in seconds):286.744 290.18/286.84 o 88 295.01/291.69 c cleaning 13006 clauses out of 26036 with flag 692002/692002 298.73/295.30 c cleaning 12988 clauses out of 26028 with flag 705000/705000 299.83/296.41 c Got one! Elapsed wall clock time (in seconds):296.317 299.83/296.41 o 87 302.87/299.47 c cleaning 13003 clauses out of 26042 with flag 718002/718002 306.39/302.96 c cleaning 13018 clauses out of 26037 with flag 731000/731000 309.93/306.42 c cleaning 12994 clauses out of 26019 with flag 744000/744000 312.03/308.57 c Got one! Elapsed wall clock time (in seconds):308.472 312.03/308.57 o 85 312.44/308.92 c Got one! Elapsed wall clock time (in seconds):308.824 312.44/308.92 o 82 314.05/310.53 c cleaning 12999 clauses out of 26026 with flag 757003/757003 317.48/313.99 c cleaning 12994 clauses out of 26025 with flag 770001/770001 321.00/317.42 c cleaning 12995 clauses out of 26030 with flag 783000/783000 324.62/321.08 c cleaning 13005 clauses out of 26035 with flag 796000/796000 325.02/321.47 c Got one! Elapsed wall clock time (in seconds):321.37 325.02/321.47 o 78 328.45/324.84 c cleaning 13004 clauses out of 26032 with flag 809002/809002 331.97/328.36 c cleaning 12996 clauses out of 26027 with flag 822001/822001 335.48/331.86 c cleaning 13005 clauses out of 26030 with flag 835000/835000 339.10/335.44 c cleaning 12996 clauses out of 26026 with flag 848001/848001 342.72/339.08 c cleaning 13006 clauses out of 26029 with flag 861000/861000 343.32/339.65 c Got one! Elapsed wall clock time (in seconds):339.55 343.32/339.65 o 74 343.32/339.69 c Got one! Elapsed wall clock time (in seconds):339.596 343.32/339.69 o 73 348.14/344.40 c cleaning 12992 clauses out of 26023 with flag 874000/874000 351.66/347.97 c cleaning 13001 clauses out of 26031 with flag 887000/887000 355.27/351.53 c cleaning 13002 clauses out of 26030 with flag 900000/900000 358.79/355.04 c cleaning 12999 clauses out of 26030 with flag 913002/913002 362.42/358.66 c cleaning 12998 clauses out of 26029 with flag 926000/926000 362.52/358.71 c Got one! Elapsed wall clock time (in seconds):358.618 362.52/358.71 o 67 369.36/365.51 c cleaning 13001 clauses out of 26032 with flag 939001/939001 373.88/370.08 c cleaning 13005 clauses out of 26031 with flag 952001/952001 377.59/373.75 c cleaning 12999 clauses out of 26028 with flag 965003/965003 380.92/377.08 c Got one! Elapsed wall clock time (in seconds):376.988 380.92/377.08 o 65 381.22/377.38 c cleaning 12994 clauses out of 26025 with flag 978000/978000 384.83/380.91 c cleaning 13008 clauses out of 26035 with flag 991004/991004 388.34/384.43 c cleaning 12999 clauses out of 26024 with flag 1004001/1004001 391.86/387.90 c cleaning 13003 clauses out of 26026 with flag 1017002/1017002 395.38/391.44 c cleaning 13002 clauses out of 26021 with flag 1030000/1030000 398.90/394.99 c cleaning 12997 clauses out of 26019 with flag 1043000/1043000 402.51/398.55 c cleaning 13003 clauses out of 26023 with flag 1056001/1056001 406.02/402.07 c cleaning 13008 clauses out of 26020 with flag 1069001/1069001 407.93/403.96 c Got one! Elapsed wall clock time (in seconds):403.868 407.93/403.96 o 62 408.03/404.06 c Got one! Elapsed wall clock time (in seconds):403.965 408.03/404.06 o 54 408.14/404.16 c Got one! Elapsed wall clock time (in seconds):404.062 408.14/404.16 o 52 408.34/404.33 c Got one! Elapsed wall clock time (in seconds):404.236 408.34/404.33 o 50 408.44/404.49 c Got one! Elapsed wall clock time (in seconds):404.391 408.44/404.49 o 48 408.75/404.71 c Got one! Elapsed wall clock time (in seconds):404.614 408.75/404.71 o 47 409.05/405.01 c Got one! Elapsed wall clock time (in seconds):404.911 409.05/405.01 o 37 409.45/405.47 c Got one! Elapsed wall clock time (in seconds):405.379 409.45/405.47 o 35 410.07/406.01 c Got one! Elapsed wall clock time (in seconds):405.918 410.07/406.01 o 25 410.37/406.36 c cleaning 13001 clauses out of 26015 with flag 1082005/1082005 410.48/406.48 c Got one! Elapsed wall clock time (in seconds):406.379 410.48/406.48 o 20 411.98/407.95 c Got one! Elapsed wall clock time (in seconds):407.849 411.98/407.95 o 16 413.98/409.96 c Got one! Elapsed wall clock time (in seconds):409.865 413.98/409.96 o 13 417.00/412.92 c Got one! Elapsed wall clock time (in seconds):412.821 417.00/412.92 o 11 417.50/413.40 c cleaning 13000 clauses out of 26010 with flag 1095001/1095001 420.62/416.55 c Got one! Elapsed wall clock time (in seconds):416.455 420.62/416.55 o 6 422.22/418.17 c cleaning 12994 clauses out of 26009 with flag 1108000/1108000 424.64/420.51 c Got one! Elapsed wall clock time (in seconds):420.417 424.64/420.51 o 2 426.36/422.26 c cleaning 12986 clauses out of 26018 with flag 1121003/1121003 427.76/423.64 c Got one! Elapsed wall clock time (in seconds):423.546 427.76/423.64 o 1 429.78/425.64 c starts : 388 429.78/425.64 c conflicts : 1132234 429.78/425.64 c decisions : 3578797 429.78/425.64 c propagations : 433712862 429.78/425.64 c inspects : 2292049676 429.78/425.64 c learnt literals : 20 429.78/425.64 c learnt binary clauses : 109 429.78/425.64 c learnt ternary clauses : 239 429.78/425.64 c learnt clauses : 1132213 429.78/425.64 c ignored clauses : 0 429.78/425.64 c root simplifications : 0 429.78/425.64 c removed literals (reason simplification) : 25416462 429.78/425.64 c reason swapping (by a shorter reason) : 0 429.78/425.64 c Calls to reduceDB : 89 429.78/425.64 c number of reductions to clauses (during analyze) : 0 429.78/425.64 c number of learned constraints concerned by reduction : 0 429.78/425.64 c number of learning phase by resolution : 0 429.78/425.64 c number of learning phase by cutting planes : 0 429.78/425.64 c speed (assignments/second) : 2.1739993082706764E8 429.78/425.64 c non guided choices 56185 429.78/425.64 c learnt constraints type 429.78/425.64 c constraints type 429.78/425.64 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2898 429.78/425.64 c org.sat4j.minisat.constraints.card.MinWatchCard => 1018 429.78/425.64 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7836 429.78/425.64 c org.sat4j.pb.constraints.pb.MaxWatchPb => 816 429.78/425.64 s OPTIMUM FOUND 429.78/425.65 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 429.78/425.66 c objective function=1 429.78/425.66 c Total wall clock time (in seconds): 425.559
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2690919-1277913732/watcher-2690919-1277913732 -o /tmp/evaluation-result-2690919-1277913732/solver-2690919-1277913732 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2690919-1277913732.wbo Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.10 2.20 4/176 13904 /proc/meminfo: memFree=31412696/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=428 CPUtime=0 /proc/13904/stat : 13904 (java) R 13902 13904 13658 0 -1 4194304 296 0 0 0 0 0 0 0 24 0 1 0 132669545 438272 42 4089446400 134512640 134550932 4289695008 18446744073709551615 8499796 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/13904/statm: 107 42 33 10 0 25 0 [startup+0.062136 s] /proc/loadavg: 2.00 2.10 2.20 4/176 13904 /proc/meminfo: memFree=31412696/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1527696 CPUtime=0.04 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 4146 0 1 0 4 0 0 0 24 0 18 0 132669545 1564360704 3585 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 381924 3588 1082 10 0 379226 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1527696 [startup+0.101126 s] /proc/loadavg: 2.00 2.10 2.20 4/176 13904 /proc/meminfo: memFree=31412696/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1530016 CPUtime=0.11 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 5206 0 1 0 10 1 0 0 24 0 18 0 132669545 1566736384 4643 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 382504 4643 1348 10 0 379806 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530016 [startup+0.301079 s] /proc/loadavg: 2.00 2.10 2.20 4/176 13904 /proc/meminfo: memFree=31412696/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1531452 CPUtime=0.51 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 11119 0 1 0 50 1 0 0 24 0 18 0 132669545 1568206848 10378 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 382863 10379 1402 10 0 380165 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 1531452 [startup+0.701026 s] /proc/loadavg: 2.00 2.10 2.20 4/176 13904 /proc/meminfo: memFree=31412696/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1548364 CPUtime=1.59 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 31975 0 1 0 155 4 0 0 24 0 19 0 132669545 1585524736 29884 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 387091 29884 1430 10 0 384393 0 Current children cumulated CPU time (s) 1.59 Current children cumulated vsize (KiB) 1548364 [startup+1.50088 s] /proc/loadavg: 2.00 2.10 2.20 4/195 13923 /proc/meminfo: memFree=31288732/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1549724 CPUtime=3.3 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 44528 0 1 0 323 7 0 0 24 0 19 0 132669545 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 387431 39150 1442 10 0 384733 0 [pid=13904/tid=13906] ppid=13902 vsize=1549724 CPUtime=1.46 /proc/13904/task/13906/stat : 13906 (java) R 13902 13904 13658 0 -1 4202560 32045 0 1 0 143 3 0 0 20 0 19 0 132669546 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4109145871 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=13904/tid=13907] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13907/stat : 13907 (java) S 13902 13904 13658 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 132669546 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13908] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13908/stat : 13908 (java) S 13902 13904 13658 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 132669546 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13909] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13909/stat : 13909 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132669546 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13910] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13910/stat : 13910 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132669546 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13911] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13911/stat : 13911 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 132669546 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13912] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13912/stat : 13912 (java) S 13902 13904 13658 0 -1 4202560 274 0 0 0 0 0 0 0 18 0 19 0 132669546 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13913] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13913/stat : 13913 (java) S 13902 13904 13658 0 -1 4202560 385 0 0 0 0 0 0 0 18 0 19 0 132669546 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13914] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13914/stat : 13914 (java) S 13902 13904 13658 0 -1 4202560 358 0 0 0 0 0 0 0 18 0 19 0 132669546 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13915] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13915/stat : 13915 (java) S 13902 13904 13658 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 132669547 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13916] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13916/stat : 13916 (java) S 13902 13904 13658 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132669547 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13917] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13917/stat : 13917 (java) S 13902 13904 13658 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132669547 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13918] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13918/stat : 13918 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669549 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13919] ppid=13902 vsize=1549724 CPUtime=0.88 /proc/13904/task/13919/stat : 13919 (java) S 13902 13904 13658 0 -1 4202560 5306 0 0 0 87 1 0 0 15 0 19 0 132669549 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13920] ppid=13902 vsize=1549724 CPUtime=0.91 /proc/13904/task/13920/stat : 13920 (java) S 13902 13904 13658 0 -1 4202560 5079 0 0 0 90 1 0 0 15 0 19 0 132669550 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 1 0 0 0 [pid=13904/tid=13921] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13921/stat : 13921 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669550 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13922] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13922/stat : 13922 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132669550 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 5 0 0 0 [pid=13904/tid=13923] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13923/stat : 13923 (java) S 13902 13904 13658 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 132669604 1586917376 39150 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.3 Current children cumulated vsize (KiB) 1549724 [startup+3.10059 s] /proc/loadavg: 2.00 2.10 2.20 3/195 13923 /proc/meminfo: memFree=31257868/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1549724 CPUtime=4.91 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 46057 0 1 0 484 7 0 0 24 0 19 0 132669545 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 387431 40666 1442 10 0 384733 0 [pid=13904/tid=13906] ppid=13902 vsize=1549724 CPUtime=3.05 /proc/13904/task/13906/stat : 13906 (java) R 13902 13904 13658 0 -1 4202560 32085 0 1 0 302 3 0 0 25 0 19 0 132669546 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4109635034 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=13904/tid=13907] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13907/stat : 13907 (java) S 13902 13904 13658 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 132669546 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13908] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13908/stat : 13908 (java) S 13902 13904 13658 0 -1 4202560 502 0 0 0 0 0 0 0 16 0 19 0 132669546 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13909] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13909/stat : 13909 (java) S 13902 13904 13658 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 132669546 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13910] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13910/stat : 13910 (java) S 13902 13904 13658 0 -1 4202560 49 0 0 0 0 0 0 0 16 0 19 0 132669546 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13911] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13911/stat : 13911 (java) S 13902 13904 13658 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 19 0 132669546 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13912] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13912/stat : 13912 (java) S 13902 13904 13658 0 -1 4202560 581 0 0 0 0 0 0 0 15 0 19 0 132669546 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13913] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13913/stat : 13913 (java) S 13902 13904 13658 0 -1 4202560 834 0 0 0 0 0 0 0 15 0 19 0 132669546 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13914] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13914/stat : 13914 (java) S 13902 13904 13658 0 -1 4202560 428 0 0 0 0 0 0 0 16 0 19 0 132669546 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13915] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13915/stat : 13915 (java) S 13902 13904 13658 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 132669547 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13916] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13916/stat : 13916 (java) S 13902 13904 13658 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132669547 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13917] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13917/stat : 13917 (java) S 13902 13904 13658 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132669547 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13918] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13918/stat : 13918 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669549 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13919] ppid=13902 vsize=1549724 CPUtime=0.88 /proc/13904/task/13919/stat : 13919 (java) S 13902 13904 13658 0 -1 4202560 5306 0 0 0 87 1 0 0 15 0 19 0 132669549 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13920] ppid=13902 vsize=1549724 CPUtime=0.91 /proc/13904/task/13920/stat : 13920 (java) S 13902 13904 13658 0 -1 4202560 5079 0 0 0 90 1 0 0 15 0 19 0 132669550 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 1 0 0 0 [pid=13904/tid=13921] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13921/stat : 13921 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669550 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13922] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13922/stat : 13922 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132669550 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 5 0 0 0 [pid=13904/tid=13923] ppid=13902 vsize=1549724 CPUtime=0 /proc/13904/task/13923/stat : 13923 (java) S 13902 13904 13658 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 132669604 1586917376 40666 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.91 Current children cumulated vsize (KiB) 1549724 [startup+6.30104 s] /proc/loadavg: 2.00 2.09 2.20 3/195 13923 /proc/meminfo: memFree=31249632/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1548844 CPUtime=8.12 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 50079 0 1 0 805 7 0 0 24 0 19 0 132669545 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 387211 44442 1447 10 0 384513 0 [pid=13904/tid=13906] ppid=13902 vsize=1548844 CPUtime=6.2 /proc/13904/task/13906/stat : 13906 (java) R 13902 13904 13658 0 -1 4202560 33727 0 1 0 616 4 0 0 19 0 19 0 132669546 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4109647732 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=13904/tid=13907] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13907/stat : 13907 (java) S 13902 13904 13658 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 132669546 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13908] ppid=13902 vsize=1548844 CPUtime=0.01 /proc/13904/task/13908/stat : 13908 (java) S 13902 13904 13658 0 -1 4202560 503 0 0 0 1 0 0 0 15 0 19 0 132669546 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13909] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13909/stat : 13909 (java) S 13902 13904 13658 0 -1 4202560 308 0 0 0 0 0 0 0 15 0 19 0 132669546 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13910] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13910/stat : 13910 (java) S 13902 13904 13658 0 -1 4202560 455 0 0 0 0 0 0 0 16 0 19 0 132669546 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13911] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13911/stat : 13911 (java) S 13902 13904 13658 0 -1 4202560 383 0 0 0 0 0 0 0 16 0 19 0 132669546 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13912] ppid=13902 vsize=1548844 CPUtime=0.01 /proc/13904/task/13912/stat : 13912 (java) S 13902 13904 13658 0 -1 4202560 673 0 0 0 1 0 0 0 15 0 19 0 132669546 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13913] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13913/stat : 13913 (java) S 13902 13904 13658 0 -1 4202560 834 0 0 0 0 0 0 0 15 0 19 0 132669546 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13914] ppid=13902 vsize=1548844 CPUtime=0.01 /proc/13904/task/13914/stat : 13914 (java) S 13902 13904 13658 0 -1 4202560 428 0 0 0 1 0 0 0 15 0 19 0 132669546 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13915] ppid=13902 vsize=1548844 CPUtime=0.01 /proc/13904/task/13915/stat : 13915 (java) S 13902 13904 13658 0 -1 4202560 1208 0 0 0 1 0 0 0 15 0 19 0 132669547 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13916] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13916/stat : 13916 (java) S 13902 13904 13658 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13917] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13917/stat : 13917 (java) S 13902 13904 13658 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13918] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13918/stat : 13918 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669549 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13919] ppid=13902 vsize=1548844 CPUtime=0.89 /proc/13904/task/13919/stat : 13919 (java) S 13902 13904 13658 0 -1 4202560 5312 0 0 0 88 1 0 0 15 0 19 0 132669549 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13920] ppid=13902 vsize=1548844 CPUtime=0.92 /proc/13904/task/13920/stat : 13920 (java) S 13902 13904 13658 0 -1 4202560 5080 0 0 0 91 1 0 0 15 0 19 0 132669550 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 1 0 0 0 [pid=13904/tid=13921] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13921/stat : 13921 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669550 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13922] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13922/stat : 13922 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 132669550 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 5 0 0 0 [pid=13904/tid=13923] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13923/stat : 13923 (java) S 13902 13904 13658 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 132669604 1586016256 44442 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.12 Current children cumulated vsize (KiB) 1548844 [startup+12.7009 s] /proc/loadavg: 2.00 2.09 2.20 3/195 13923 /proc/meminfo: memFree=31221944/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1548844 CPUtime=14.6 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 54603 0 1 0 1452 8 0 0 24 0 19 0 132669545 1586016256 48781 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 387211 48781 1447 10 0 384513 0 [pid=13904/tid=13906] ppid=13902 vsize=1548844 CPUtime=12.55 /proc/13904/task/13906/stat : 13906 (java) R 13902 13904 13658 0 -1 4202560 34848 0 1 0 1251 4 0 0 19 0 19 0 132669546 1586016256 48781 4089446400 134512640 134550932 4289695008 18446744073709551615 4109927987 0 4 0 16800975 0 0 0 -1 6 0 0 0 [pid=13904/tid=13907] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13907/stat : 13907 (java) S 13902 13904 13658 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 132669546 1586016256 48781 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 ################ # More data... # ################ /proc/13904/task/13907/stat : 13907 (java) S 13902 13904 13658 0 -1 4202560 823 0 0 0 32 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13908] ppid=13902 vsize=1548844 CPUtime=0.38 /proc/13904/task/13908/stat : 13908 (java) S 13902 13904 13658 0 -1 4202560 1892 0 0 0 35 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 3 0 0 0 [pid=13904/tid=13909] ppid=13902 vsize=1548844 CPUtime=0.42 /proc/13904/task/13909/stat : 13909 (java) S 13902 13904 13658 0 -1 4202560 2242 0 0 0 39 3 0 0 16 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13910] ppid=13902 vsize=1548844 CPUtime=0.4 /proc/13904/task/13910/stat : 13910 (java) S 13902 13904 13658 0 -1 4202560 1567 0 0 0 37 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13911] ppid=13902 vsize=1548844 CPUtime=0.39 /proc/13904/task/13911/stat : 13911 (java) S 13902 13904 13658 0 -1 4202560 1826 0 0 0 35 4 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13912] ppid=13902 vsize=1548844 CPUtime=0.33 /proc/13904/task/13912/stat : 13912 (java) S 13902 13904 13658 0 -1 4202560 1781 0 0 0 30 3 0 0 16 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 7 0 0 0 [pid=13904/tid=13913] ppid=13902 vsize=1548844 CPUtime=0.36 /proc/13904/task/13913/stat : 13913 (java) S 13902 13904 13658 0 -1 4202560 2293 0 0 0 32 4 0 0 16 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13914] ppid=13902 vsize=1548844 CPUtime=0.35 /proc/13904/task/13914/stat : 13914 (java) S 13902 13904 13658 0 -1 4202560 1649 0 0 0 32 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 3 0 0 0 [pid=13904/tid=13915] ppid=13902 vsize=1548844 CPUtime=2.12 /proc/13904/task/13915/stat : 13915 (java) S 13902 13904 13658 0 -1 4202560 2287 0 0 0 205 7 0 0 15 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13916] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13916/stat : 13916 (java) S 13902 13904 13658 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13917] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13917/stat : 13917 (java) S 13902 13904 13658 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13918] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13918/stat : 13918 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669549 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13919] ppid=13902 vsize=1548844 CPUtime=1.01 /proc/13904/task/13919/stat : 13919 (java) S 13902 13904 13658 0 -1 4202560 5321 0 0 0 100 1 0 0 15 0 19 0 132669549 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13920] ppid=13902 vsize=1548844 CPUtime=0.95 /proc/13904/task/13920/stat : 13920 (java) S 13902 13904 13658 0 -1 4202560 5091 0 0 0 94 1 0 0 15 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 1 0 0 0 [pid=13904/tid=13921] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13921/stat : 13921 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13922] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13922/stat : 13922 (java) S 13902 13904 13658 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13923] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13923/stat : 13923 (java) S 13902 13904 13658 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 132669604 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 428.86 Current children cumulated vsize (KiB) 1548844 [startup+425.102 s] /proc/loadavg: 2.01 2.03 2.12 3/195 13933 /proc/meminfo: memFree=31117792/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1548844 CPUtime=429.27 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 63039 0 1 0 42880 47 0 0 24 0 19 0 132669545 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 387211 55878 1447 10 0 384513 0 [pid=13904/tid=13906] ppid=13902 vsize=1548844 CPUtime=422.08 /proc/13904/task/13906/stat : 13906 (java) R 13902 13904 13658 0 -1 4202560 35174 0 1 0 42202 6 0 0 25 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4109391878 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13904/tid=13907] ppid=13902 vsize=1548844 CPUtime=0.35 /proc/13904/task/13907/stat : 13907 (java) S 13902 13904 13658 0 -1 4202560 823 0 0 0 32 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13908] ppid=13902 vsize=1548844 CPUtime=0.38 /proc/13904/task/13908/stat : 13908 (java) S 13902 13904 13658 0 -1 4202560 1892 0 0 0 35 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 3 0 0 0 [pid=13904/tid=13909] ppid=13902 vsize=1548844 CPUtime=0.42 /proc/13904/task/13909/stat : 13909 (java) S 13902 13904 13658 0 -1 4202560 2242 0 0 0 39 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13910] ppid=13902 vsize=1548844 CPUtime=0.4 /proc/13904/task/13910/stat : 13910 (java) S 13902 13904 13658 0 -1 4202560 1567 0 0 0 37 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13911] ppid=13902 vsize=1548844 CPUtime=0.4 /proc/13904/task/13911/stat : 13911 (java) S 13902 13904 13658 0 -1 4202560 1826 0 0 0 36 4 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13912] ppid=13902 vsize=1548844 CPUtime=0.33 /proc/13904/task/13912/stat : 13912 (java) S 13902 13904 13658 0 -1 4202560 1781 0 0 0 30 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 7 0 0 0 [pid=13904/tid=13913] ppid=13902 vsize=1548844 CPUtime=0.36 /proc/13904/task/13913/stat : 13913 (java) S 13902 13904 13658 0 -1 4202560 2293 0 0 0 32 4 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13914] ppid=13902 vsize=1548844 CPUtime=0.36 /proc/13904/task/13914/stat : 13914 (java) S 13902 13904 13658 0 -1 4202560 1649 0 0 0 33 3 0 0 16 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 3 0 0 0 [pid=13904/tid=13915] ppid=13902 vsize=1548844 CPUtime=2.12 /proc/13904/task/13915/stat : 13915 (java) S 13902 13904 13658 0 -1 4202560 2287 0 0 0 205 7 0 0 15 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13916] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13916/stat : 13916 (java) S 13902 13904 13658 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13917] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13917/stat : 13917 (java) S 13902 13904 13658 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13918] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13918/stat : 13918 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669549 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13919] ppid=13902 vsize=1548844 CPUtime=1.01 /proc/13904/task/13919/stat : 13919 (java) S 13902 13904 13658 0 -1 4202560 5321 0 0 0 100 1 0 0 15 0 19 0 132669549 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13920] ppid=13902 vsize=1548844 CPUtime=0.95 /proc/13904/task/13920/stat : 13920 (java) S 13902 13904 13658 0 -1 4202560 5091 0 0 0 94 1 0 0 15 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 1 0 0 0 [pid=13904/tid=13921] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13921/stat : 13921 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13922] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13922/stat : 13922 (java) S 13902 13904 13658 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13923] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13923/stat : 13923 (java) S 13902 13904 13658 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 132669604 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 429.27 Current children cumulated vsize (KiB) 1548844 [startup+425.501 s] /proc/loadavg: 2.01 2.03 2.12 3/195 13933 /proc/meminfo: memFree=31117792/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1548844 CPUtime=429.67 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 63039 0 1 0 42920 47 0 0 24 0 19 0 132669545 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 387211 55878 1447 10 0 384513 0 [pid=13904/tid=13906] ppid=13902 vsize=1548844 CPUtime=422.48 /proc/13904/task/13906/stat : 13906 (java) R 13902 13904 13658 0 -1 4202560 35174 0 1 0 42242 6 0 0 25 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4109549574 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13904/tid=13907] ppid=13902 vsize=1548844 CPUtime=0.35 /proc/13904/task/13907/stat : 13907 (java) S 13902 13904 13658 0 -1 4202560 823 0 0 0 32 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13908] ppid=13902 vsize=1548844 CPUtime=0.38 /proc/13904/task/13908/stat : 13908 (java) S 13902 13904 13658 0 -1 4202560 1892 0 0 0 35 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 3 0 0 0 [pid=13904/tid=13909] ppid=13902 vsize=1548844 CPUtime=0.42 /proc/13904/task/13909/stat : 13909 (java) S 13902 13904 13658 0 -1 4202560 2242 0 0 0 39 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13910] ppid=13902 vsize=1548844 CPUtime=0.4 /proc/13904/task/13910/stat : 13910 (java) S 13902 13904 13658 0 -1 4202560 1567 0 0 0 37 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13911] ppid=13902 vsize=1548844 CPUtime=0.4 /proc/13904/task/13911/stat : 13911 (java) S 13902 13904 13658 0 -1 4202560 1826 0 0 0 36 4 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13912] ppid=13902 vsize=1548844 CPUtime=0.33 /proc/13904/task/13912/stat : 13912 (java) S 13902 13904 13658 0 -1 4202560 1781 0 0 0 30 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 7 0 0 0 [pid=13904/tid=13913] ppid=13902 vsize=1548844 CPUtime=0.36 /proc/13904/task/13913/stat : 13913 (java) S 13902 13904 13658 0 -1 4202560 2293 0 0 0 32 4 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13914] ppid=13902 vsize=1548844 CPUtime=0.36 /proc/13904/task/13914/stat : 13914 (java) S 13902 13904 13658 0 -1 4202560 1649 0 0 0 33 3 0 0 16 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 3 0 0 0 [pid=13904/tid=13915] ppid=13902 vsize=1548844 CPUtime=2.12 /proc/13904/task/13915/stat : 13915 (java) S 13902 13904 13658 0 -1 4202560 2287 0 0 0 205 7 0 0 15 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13916] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13916/stat : 13916 (java) S 13902 13904 13658 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13917] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13917/stat : 13917 (java) S 13902 13904 13658 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13918] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13918/stat : 13918 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669549 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13919] ppid=13902 vsize=1548844 CPUtime=1.01 /proc/13904/task/13919/stat : 13919 (java) S 13902 13904 13658 0 -1 4202560 5321 0 0 0 100 1 0 0 15 0 19 0 132669549 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13920] ppid=13902 vsize=1548844 CPUtime=0.95 /proc/13904/task/13920/stat : 13920 (java) S 13902 13904 13658 0 -1 4202560 5091 0 0 0 94 1 0 0 15 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 1 0 0 0 [pid=13904/tid=13921] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13921/stat : 13921 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13922] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13922/stat : 13922 (java) S 13902 13904 13658 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13923] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13923/stat : 13923 (java) S 13902 13904 13658 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 132669604 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 429.67 Current children cumulated vsize (KiB) 1548844 [startup+425.601 s] /proc/loadavg: 2.01 2.02 2.12 3/195 13933 /proc/meminfo: memFree=31117792/32951132 swapFree=67111528/67111528 [pid=13904] ppid=13902 vsize=1548844 CPUtime=429.78 /proc/13904/stat : 13904 (java) S 13902 13904 13658 0 -1 4202496 63039 0 1 0 42931 47 0 0 24 0 19 0 132669545 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 /proc/13904/statm: 387211 55878 1447 10 0 384513 0 [pid=13904/tid=13906] ppid=13902 vsize=1548844 CPUtime=422.58 /proc/13904/task/13906/stat : 13906 (java) R 13902 13904 13658 0 -1 4202560 35174 0 1 0 42252 6 0 0 25 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 9915987 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=13904/tid=13907] ppid=13902 vsize=1548844 CPUtime=0.35 /proc/13904/task/13907/stat : 13907 (java) S 13902 13904 13658 0 -1 4202560 823 0 0 0 32 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13908] ppid=13902 vsize=1548844 CPUtime=0.38 /proc/13904/task/13908/stat : 13908 (java) S 13902 13904 13658 0 -1 4202560 1892 0 0 0 35 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 3 0 0 0 [pid=13904/tid=13909] ppid=13902 vsize=1548844 CPUtime=0.42 /proc/13904/task/13909/stat : 13909 (java) S 13902 13904 13658 0 -1 4202560 2242 0 0 0 39 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13910] ppid=13902 vsize=1548844 CPUtime=0.4 /proc/13904/task/13910/stat : 13910 (java) S 13902 13904 13658 0 -1 4202560 1567 0 0 0 37 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 6 0 0 0 [pid=13904/tid=13911] ppid=13902 vsize=1548844 CPUtime=0.4 /proc/13904/task/13911/stat : 13911 (java) S 13902 13904 13658 0 -1 4202560 1826 0 0 0 36 4 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 [pid=13904/tid=13912] ppid=13902 vsize=1548844 CPUtime=0.33 /proc/13904/task/13912/stat : 13912 (java) S 13902 13904 13658 0 -1 4202560 1781 0 0 0 30 3 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 7 0 0 0 [pid=13904/tid=13913] ppid=13902 vsize=1548844 CPUtime=0.36 /proc/13904/task/13913/stat : 13913 (java) S 13902 13904 13658 0 -1 4202560 2293 0 0 0 32 4 0 0 15 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13914] ppid=13902 vsize=1548844 CPUtime=0.36 /proc/13904/task/13914/stat : 13914 (java) S 13902 13904 13658 0 -1 4202560 1649 0 0 0 33 3 0 0 16 0 19 0 132669546 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 3 0 0 0 [pid=13904/tid=13915] ppid=13902 vsize=1548844 CPUtime=2.12 /proc/13904/task/13915/stat : 13915 (java) S 13902 13904 13658 0 -1 4202560 2287 0 0 0 205 7 0 0 15 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 0 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13916] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13916/stat : 13916 (java) S 13902 13904 13658 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13917] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13917/stat : 13917 (java) S 13902 13904 13658 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 19 0 132669547 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13918] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13918/stat : 13918 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669549 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13919] ppid=13902 vsize=1548844 CPUtime=1.01 /proc/13904/task/13919/stat : 13919 (java) R 13902 13904 13658 0 -1 4202560 5321 0 0 0 100 1 0 0 15 0 19 0 132669549 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 106120409 0 4 0 16800975 0 0 0 -1 4 0 0 0 [pid=13904/tid=13920] ppid=13902 vsize=1548844 CPUtime=0.95 /proc/13904/task/13920/stat : 13920 (java) R 13902 13904 13658 0 -1 4202560 5091 0 0 0 94 1 0 0 16 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 106036480 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=13904/tid=13921] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13921/stat : 13921 (java) S 13902 13904 13658 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 2 0 0 0 [pid=13904/tid=13922] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13922/stat : 13922 (java) S 13902 13904 13658 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 132669550 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 4 0 0 0 [pid=13904/tid=13923] ppid=13902 vsize=1548844 CPUtime=0 /proc/13904/task/13923/stat : 13923 (java) S 13902 13904 13658 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 132669604 1586016256 55878 4089446400 134512640 134550932 4289695008 18446744073709551615 4294960144 0 4 0 16800975 18446604453341291776 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 429.78 Current children cumulated vsize (KiB) 1548844 Child status: 30 Real time (s): 425.671 CPU time (s): 429.87 CPU user time (s): 429.386 CPU system time (s): 0.483926 CPU usage (%): 100.986 Max. virtual memory (cumulated for all children) (KiB): 1553364 getrusage(RUSAGE_CHILDREN,...) data: user time used= 429.386 system time used= 0.483926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 63051 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 18582 involuntary context switches= 127450 runsolver used 0.707892 second user time and 1.64575 second system time The end
Begin job on node128 at 2010-06-30 18:02:12 IDJOB=2690919 IDBENCH=79022 IDSOLVER=1202 FILE ID=node128/2690919-1277913732 PBS_JOBID= 11197309 Free space on /tmp= 74204 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-ooo.burch_dill.3.accl.ucl--soft-66-100-0.wbo COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2690919-1277913732/watcher-2690919-1277913732 -o /tmp/evaluation-result-2690919-1277913732/solver-2690919-1277913732 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2690919-1277913732.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e08e31eb3b4e7c09e6499c484fbac4c3 RANDOM SEED=458797035 node128.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.853 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 31412968 kB Buffers: 199792 kB Cached: 1014320 kB SwapCached: 0 kB Active: 601280 kB Inactive: 795552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 31412968 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 428 kB Writeback: 0 kB AnonPages: 182932 kB Mapped: 17812 kB Slab: 78008 kB PageTables: 5744 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 344792 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74204 MiB End job on node128 at 2010-06-30 18:09:18