Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
SAT4J PB RES // CP 2.2.0 2010-05-31 | OPTIMUM | 1107.69 | 693.678 |
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.05/0.07 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.05/0.07 c This is free software under the dual EPL/GNU LGPL licenses. 0.05/0.07 c See www.sat4j.org for details. 0.05/0.07 c version 2.2.0.v20100531 0.05/0.07 c java.runtime.name Java(TM) SE Runtime Environment 0.05/0.07 c java.vm.name Java HotSpot(TM) Server VM 0.05/0.07 c java.vm.version 11.2-b01 0.05/0.07 c java.vm.vendor Sun Microsystems Inc. 0.05/0.07 c sun.arch.data.model 32 0.05/0.07 c java.version 1.6.0_12 0.05/0.07 c os.name Linux 0.05/0.07 c os.version 2.6.18-164.el5 0.05/0.07 c os.arch i386 0.05/0.07 c Free memory 1393557488 0.05/0.07 c Max memory 1395916800 0.05/0.07 c Total memory 1395916800 0.05/0.07 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c ManyCore solver with 2 solvers running in parallel 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c Stops conflict analysis at the first Unique Implication Point 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1cb25f1 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.11/0.11 c Expensive reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP) 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c Stops conflict analysis at the first Unique Implication Point 0.11/0.11 c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@b1c260 0.11/0.11 c Learn all clauses as in MiniSAT 0.11/0.11 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.11/0.11 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function 0.11/0.11 c No reason simplification 0.11/0.11 c Armin Biere (Picosat) restarts strategy 0.11/0.11 c Glucose learned constraints deletion strategy 0.11/0.11 c timeout=2147483s 0.11/0.11 c DB Simplification allowed=false 0.11/0.11 c --- End Solver configuration --- 0.11/0.11 0.11/0.11 c solving HOME/instance-2694321-1277913807.wbo 0.11/0.11 c reading problem ... 1.08/0.57 c ... done. Wall clock time 0.463s. 1.08/0.57 c #vars 8907 1.08/0.57 c #constraints 12569 1.08/0.57 c constraints type 1.08/0.57 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2898 1.08/0.57 c org.sat4j.minisat.constraints.card.MinWatchCard => 1018 1.08/0.57 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7836 1.08/0.57 c org.sat4j.pb.constraints.pb.MaxWatchPb => 816 1.08/0.57 c constraints type 1.08/0.57 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7836 1.08/0.57 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2898 1.08/0.57 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1018 1.08/0.57 c org.sat4j.pb.constraints.pb.MaxWatchPb => 816 3.80/1.26 c And the winner is Resolution 4.56/1.60 c SATISFIABLE 4.56/1.60 c OPTIMIZING... 4.56/1.60 c Got one! Elapsed wall clock time (in seconds):1.493 4.56/1.60 o 1762 4.56/1.70 c And the winner is Resolution 4.94/2.63 c Got one! Elapsed wall clock time (in seconds):2.525 4.94/2.63 o 1438 5.13/2.72 c And the winner is Resolution 5.18/3.66 c Got one! Elapsed wall clock time (in seconds):3.556 5.18/3.66 o 1369 5.30/3.76 c And the winner is Resolution 5.43/4.69 c Got one! Elapsed wall clock time (in seconds):4.585 5.43/4.69 o 1168 5.47/4.79 c And the winner is Resolution 5.66/5.72 c Got one! Elapsed wall clock time (in seconds):5.614 5.66/5.72 o 965 5.84/5.87 c And the winner is Resolution 5.99/6.75 c Got one! Elapsed wall clock time (in seconds):6.643 5.99/6.75 o 964 6.10/6.83 c And the winner is Resolution 6.19/7.78 c Got one! Elapsed wall clock time (in seconds):7.674 6.19/7.78 o 961 6.23/7.88 c And the winner is Resolution 6.76/8.81 c Got one! Elapsed wall clock time (in seconds):8.704 6.76/8.81 o 956 6.92/8.95 c And the winner is Resolution 7.04/9.84 c Got one! Elapsed wall clock time (in seconds):9.737 7.04/9.84 o 954 7.37/10.05 c And the winner is Resolution 7.49/10.87 c Got one! Elapsed wall clock time (in seconds):10.766 7.49/10.87 o 953 7.56/10.95 c And the winner is Resolution 7.70/11.90 c Got one! Elapsed wall clock time (in seconds):11.795 7.70/11.90 o 943 7.92/12.00 c And the winner is Resolution 7.93/12.93 c Got one! Elapsed wall clock time (in seconds):12.823 7.93/12.93 o 940 8.07/13.08 c And the winner is Resolution 8.25/13.96 c Got one! Elapsed wall clock time (in seconds):13.854 8.25/13.96 o 938 8.58/14.15 c And the winner is Resolution 8.72/14.99 c Got one! Elapsed wall clock time (in seconds):14.884 8.72/14.99 o 934 9.19/15.26 c And the winner is Resolution 9.31/16.02 c Got one! Elapsed wall clock time (in seconds):15.916 9.31/16.02 o 931 9.47/16.12 c And the winner is Resolution 9.52/17.05 c Got one! Elapsed wall clock time (in seconds):16.946 9.52/17.05 o 930 9.61/17.15 c And the winner is Resolution 9.72/18.08 c Got one! Elapsed wall clock time (in seconds):17.975 9.72/18.08 o 929 9.97/18.22 c And the winner is Resolution 10.02/19.11 c Got one! Elapsed wall clock time (in seconds):19.002 10.02/19.11 o 926 10.40/19.30 c And the winner is Resolution 10.43/20.14 c Got one! Elapsed wall clock time (in seconds):20.032 10.43/20.14 o 925 10.96/20.41 c And the winner is Resolution 10.99/21.17 c Got one! Elapsed wall clock time (in seconds):21.061 10.99/21.17 o 921 11.69/21.53 c cleaning 2494 clauses out of 5000 with flag 5000/5000 11.88/21.69 c And the winner is Resolution 12.10/22.20 c Got one! Elapsed wall clock time (in seconds):22.091 12.10/22.20 o 918 12.29/22.30 c And the winner is Resolution 12.31/23.23 c Got one! Elapsed wall clock time (in seconds):23.12 12.31/23.23 o 910 12.46/23.34 c And the winner is Resolution 12.56/24.26 c Got one! Elapsed wall clock time (in seconds):24.151 12.56/24.26 o 906 12.84/24.45 c And the winner is Resolution 12.97/25.29 c Got one! Elapsed wall clock time (in seconds):25.181 12.97/25.29 o 898 13.20/25.49 c And the winner is Resolution 13.40/26.32 c Got one! Elapsed wall clock time (in seconds):26.21 13.40/26.32 o 891 13.97/26.61 c And the winner is Resolution 14.02/27.35 c Got one! Elapsed wall clock time (in seconds):27.24 14.02/27.35 o 889 14.14/27.45 c And the winner is Resolution 14.25/28.38 c Got one! Elapsed wall clock time (in seconds):28.27 14.25/28.38 o 882 14.73/28.64 c And the winner is Resolution 14.84/29.41 c Got one! Elapsed wall clock time (in seconds):29.3 14.84/29.41 o 878 15.63/29.82 c And the winner is Resolution 15.71/30.44 c Got one! Elapsed wall clock time (in seconds):30.331 15.71/30.44 o 877 16.85/31.03 c And the winner is Resolution 16.95/31.47 c Got one! Elapsed wall clock time (in seconds):31.364 16.95/31.47 o 873 17.02/31.57 c And the winner is Resolution 17.22/32.50 c Got one! Elapsed wall clock time (in seconds):32.394 17.22/32.50 o 869 17.41/32.62 c And the winner is Resolution 17.49/33.53 c Got one! Elapsed wall clock time (in seconds):33.423 17.49/33.53 o 866 17.64/33.68 c And the winner is Resolution 17.84/34.56 c Got one! Elapsed wall clock time (in seconds):34.453 17.84/34.56 o 864 18.35/34.82 c And the winner is Resolution 18.42/35.59 c Got one! Elapsed wall clock time (in seconds):35.482 18.42/35.59 o 863 19.06/35.91 c And the winner is Resolution 19.13/36.62 c Got one! Elapsed wall clock time (in seconds):36.511 19.13/36.62 o 862 20.11/37.16 c cleaning 4249 clauses out of 8505 with flag 11001/11001 20.29/37.24 c And the winner is Resolution 20.41/37.65 c Got one! Elapsed wall clock time (in seconds):37.541 20.41/37.65 o 858 21.75/38.34 c And the winner is Resolution 21.88/38.68 c Got one! Elapsed wall clock time (in seconds):38.569 21.88/38.68 o 854 23.96/39.73 c And the winner is Resolution 24.08/40.71 c Got one! Elapsed wall clock time (in seconds):40.603 24.08/40.71 o 849 24.25/40.82 c And the winner is Resolution 24.35/41.74 c Got one! Elapsed wall clock time (in seconds):41.634 24.35/41.74 o 846 24.48/41.87 c And the winner is Resolution 24.66/42.77 c Got one! Elapsed wall clock time (in seconds):42.662 24.66/42.77 o 845 24.95/42.93 c And the winner is Resolution 25.08/43.80 c Got one! Elapsed wall clock time (in seconds):43.691 25.08/43.80 o 838 25.48/44.03 c And the winner is Resolution 25.59/44.83 c Got one! Elapsed wall clock time (in seconds):44.719 25.59/44.83 o 837 26.35/45.24 c And the winner is Resolution 26.49/45.86 c Got one! Elapsed wall clock time (in seconds):45.75 26.49/45.86 o 833 27.59/46.41 c And the winner is Resolution 27.67/46.89 c Got one! Elapsed wall clock time (in seconds):46.78 27.67/46.89 o 829 28.92/47.54 c And the winner is Resolution 29.06/47.92 c Got one! Elapsed wall clock time (in seconds):47.809 29.06/47.92 o 828 29.85/48.40 c cleaning 5619 clauses out of 11256 with flag 18001/18001 30.80/48.81 c And the winner is Resolution 30.88/48.95 c Got one! Elapsed wall clock time (in seconds):48.84 30.88/48.95 o 826 34.03/50.57 c And the winner is Resolution 34.24/50.98 c Got one! Elapsed wall clock time (in seconds):50.871 34.24/50.98 o 824 34.28/51.05 c And the winner is Resolution 34.43/52.01 c Got one! Elapsed wall clock time (in seconds):51.9 34.43/52.01 o 822 34.61/52.16 c And the winner is Resolution 34.82/53.04 c Got one! Elapsed wall clock time (in seconds):52.931 34.82/53.04 o 819 35.15/53.28 c And the winner is Resolution 35.37/54.07 c Got one! Elapsed wall clock time (in seconds):53.96 35.37/54.07 o 809 35.85/54.31 c And the winner is Resolution 35.94/55.10 c Got one! Elapsed wall clock time (in seconds):54.989 35.94/55.10 o 807 36.57/55.46 c And the winner is Resolution 36.75/56.12 c Got one! Elapsed wall clock time (in seconds):56.017 36.75/56.12 o 801 37.92/56.75 c And the winner is Resolution 38.12/57.15 c Got one! Elapsed wall clock time (in seconds):57.046 38.12/57.15 o 799 39.42/57.90 c And the winner is Resolution 39.69/58.18 c Got one! Elapsed wall clock time (in seconds):58.074 39.69/58.18 o 798 41.37/59.03 c cleaning 6815 clauses out of 13636 with flag 26000/26000 41.74/59.29 c And the winner is Resolution 42.00/60.21 c Got one! Elapsed wall clock time (in seconds):60.105 42.00/60.21 o 794 45.40/61.92 c And the winner is Resolution 45.52/62.24 c Got one! Elapsed wall clock time (in seconds):62.138 45.52/62.24 o 793 49.68/64.36 c And the winner is Resolution 49.92/65.28 c Got one! Elapsed wall clock time (in seconds):65.171 49.92/65.28 o 791 50.17/65.40 c And the winner is Resolution 50.24/66.31 c Got one! Elapsed wall clock time (in seconds):66.2 50.24/66.31 o 788 50.42/66.43 c And the winner is Resolution 50.58/67.34 c Got one! Elapsed wall clock time (in seconds):67.231 50.58/67.34 o 787 51.11/67.60 c And the winner is Resolution 51.22/68.37 c Got one! Elapsed wall clock time (in seconds):68.261 51.22/68.37 o 786 51.70/68.68 c And the winner is Resolution 51.96/69.40 c Got one! Elapsed wall clock time (in seconds):69.289 51.96/69.40 o 784 52.58/69.75 c And the winner is Resolution 52.77/70.43 c Got one! Elapsed wall clock time (in seconds):70.32 52.77/70.43 o 782 54.55/71.31 c And the winner is Resolution 54.66/71.46 c Got one! Elapsed wall clock time (in seconds):71.352 54.66/71.46 o 780 54.95/71.61 c cleaning 7906 clauses out of 15823 with flag 35002/35002 55.70/72.08 c And the winner is Resolution 55.96/72.49 c Got one! Elapsed wall clock time (in seconds):72.38 55.96/72.49 o 778 56.99/73.00 c And the winner is Resolution 57.14/73.52 c Got one! Elapsed wall clock time (in seconds):73.409 57.14/73.52 o 777 59.74/74.81 c And the winner is Resolution 59.85/75.55 c Got one! Elapsed wall clock time (in seconds):75.439 59.85/75.55 o 775 63.20/77.29 c And the winner is Resolution 63.51/77.58 c Got one! Elapsed wall clock time (in seconds):77.471 63.51/77.58 o 774 69.45/80.50 c And the winner is Resolution 69.58/81.61 c Got one! Elapsed wall clock time (in seconds):81.507 69.58/81.61 o 773 69.98/81.80 c cleaning 8950 clauses out of 17914 with flag 45000/45000 77.98/85.83 c And the winner is Resolution 78.23/86.65 c Got one! Elapsed wall clock time (in seconds):86.544 78.23/86.65 o 771 78.33/86.79 c And the winner is Resolution 78.60/87.68 c Got one! Elapsed wall clock time (in seconds):87.575 78.60/87.68 o 766 78.86/87.86 c And the winner is Resolution 79.08/88.71 c Got one! Elapsed wall clock time (in seconds):88.603 79.08/88.71 o 761 79.46/88.96 c And the winner is Resolution 79.72/89.74 c Got one! Elapsed wall clock time (in seconds):89.633 79.72/89.74 o 759 80.46/90.14 c And the winner is Resolution 80.68/90.77 c Got one! Elapsed wall clock time (in seconds):90.663 80.68/90.77 o 758 81.34/91.19 c And the winner is Resolution 81.72/91.80 c Got one! Elapsed wall clock time (in seconds):91.696 81.72/91.80 o 753 82.72/92.36 c And the winner is Resolution 82.99/92.83 c Got one! Elapsed wall clock time (in seconds):92.726 82.99/92.83 o 752 85.56/94.19 c And the winner is Resolution 85.90/94.86 c Got one! Elapsed wall clock time (in seconds):94.758 85.90/94.86 o 750 88.40/96.18 c And the winner is Resolution 88.70/96.90 c Got one! Elapsed wall clock time (in seconds):96.789 88.70/96.90 o 746 89.72/97.43 c cleaning 9979 clauses out of 19964 with flag 56000/56000 93.09/99.16 c And the winner is Resolution 93.37/99.93 c Got one! Elapsed wall clock time (in seconds):99.823 93.37/99.93 o 745 98.99/102.71 c And the winner is Resolution 99.15/102.96 c Got one! Elapsed wall clock time (in seconds):102.857 99.15/102.96 o 744 104.88/105.85 c And the winner is Resolution 105.03/106.00 c Got one! Elapsed wall clock time (in seconds):105.891 105.12/106.00 o 742 105.73/106.39 c cleaning 10988 clauses out of 21985 with flag 68000/68000 118.61/112.71 c And the winner is Resolution 118.80/113.04 c Got one! Elapsed wall clock time (in seconds):112.934 118.80/113.04 o 741 118.92/113.17 c And the winner is Resolution 119.12/114.07 c Got one! Elapsed wall clock time (in seconds):113.964 119.12/114.07 o 739 119.40/114.30 c And the winner is Resolution 119.74/115.10 c Got one! Elapsed wall clock time (in seconds):114.994 119.74/115.10 o 738 120.12/115.39 c And the winner is Resolution 120.49/116.13 c Got one! Elapsed wall clock time (in seconds):116.026 120.49/116.13 o 737 121.25/116.56 c And the winner is Resolution 121.54/117.16 c Got one! Elapsed wall clock time (in seconds):117.057 121.54/117.16 o 728 122.65/117.71 c And the winner is Resolution 122.79/118.19 c Got one! Elapsed wall clock time (in seconds):118.088 122.79/118.19 o 723 124.43/119.08 c And the winner is Resolution 124.73/120.23 c Got one! Elapsed wall clock time (in seconds):120.12 124.73/120.23 o 719 126.50/121.13 c And the winner is Resolution 126.70/122.26 c Got one! Elapsed wall clock time (in seconds):122.152 126.70/122.26 o 718 128.81/123.40 c cleaning 11994 clauses out of 23999 with flag 81002/81002 129.34/123.69 c And the winner is Resolution 129.69/124.29 c Got one! Elapsed wall clock time (in seconds):124.183 129.69/124.29 o 717 133.98/126.44 c And the winner is Resolution 134.23/127.32 c Got one! Elapsed wall clock time (in seconds):127.216 134.23/127.32 o 715 139.47/129.95 c And the winner is Resolution 139.75/130.36 c Got one! Elapsed wall clock time (in seconds):130.251 139.75/130.36 o 713 148.31/134.67 c And the winner is Resolution 148.64/135.39 c Got one! Elapsed wall clock time (in seconds):135.287 148.64/135.39 o 712 149.88/136.07 c cleaning 12494 clauses out of 25003 with flag 94000/94000 162.94/142.55 c And the winner is Resolution 163.14/143.43 c Got one! Elapsed wall clock time (in seconds):143.328 163.14/143.43 o 711 170.59/147.16 c cleaning 12746 clauses out of 25509 with flag 107000/107000 179.39/151.50 c And the winner is Resolution 179.61/152.48 c Got one! Elapsed wall clock time (in seconds):152.374 179.61/152.48 o 708 179.88/152.63 c And the winner is Resolution 180.02/153.51 c Got one! Elapsed wall clock time (in seconds):153.402 180.02/153.51 o 706 180.20/153.68 c And the winner is Resolution 180.44/154.54 c Got one! Elapsed wall clock time (in seconds):154.433 180.44/154.54 o 696 180.97/154.83 c And the winner is Resolution 181.19/155.57 c Got one! Elapsed wall clock time (in seconds):155.463 181.19/155.57 o 690 182.07/156.00 c And the winner is Resolution 182.30/156.60 c Got one! Elapsed wall clock time (in seconds):156.493 182.30/156.60 o 680 182.91/156.98 c And the winner is Resolution 183.30/157.63 c Got one! Elapsed wall clock time (in seconds):157.524 183.30/157.63 o 679 184.27/158.15 c And the winner is Resolution 184.60/158.66 c Got one! Elapsed wall clock time (in seconds):158.553 184.60/158.66 o 678 187.33/160.06 c And the winner is Resolution 187.79/160.69 c Got one! Elapsed wall clock time (in seconds):160.585 187.79/160.69 o 675 190.45/162.07 c cleaning 12876 clauses out of 25765 with flag 120002/120002 190.92/162.30 c And the winner is Resolution 191.16/162.72 c Got one! Elapsed wall clock time (in seconds):162.617 191.16/162.72 o 672 193.57/163.94 c And the winner is Resolution 193.87/164.76 c Got one! Elapsed wall clock time (in seconds):164.649 193.87/164.76 o 671 200.86/168.25 c And the winner is Resolution 201.11/168.79 c Got one! Elapsed wall clock time (in seconds):168.683 201.11/168.79 o 670 211.09/173.76 c And the winner is Resolution 211.45/174.83 c Got one! Elapsed wall clock time (in seconds):174.721 211.45/174.83 o 666 213.43/175.84 c cleaning 12941 clauses out of 25887 with flag 133000/133000 224.67/181.47 c And the winner is Resolution 225.06/181.87 c Got one! Elapsed wall clock time (in seconds):181.763 225.06/181.87 o 664 225.33/182.05 c And the winner is Resolution 225.55/182.90 c Got one! Elapsed wall clock time (in seconds):182.792 225.55/182.90 o 663 234.68/187.43 c cleaning 12965 clauses out of 25947 with flag 146002/146002 243.90/192.09 c And the winner is Resolution 244.43/192.95 c Got one! Elapsed wall clock time (in seconds):192.842 244.43/192.95 o 659 249.41/195.43 c cleaning 12981 clauses out of 25980 with flag 159000/159000 260.68/201.06 c cleaning 12989 clauses out of 26001 with flag 172002/172002 261.94/201.77 c And the winner is Resolution 262.39/202.99 c Got one! Elapsed wall clock time (in seconds):202.887 262.39/202.99 o 658 262.60/203.12 c And the winner is Resolution 262.70/204.03 c Got one! Elapsed wall clock time (in seconds):203.919 262.70/204.03 o 657 262.87/204.18 c And the winner is Resolution 263.11/205.06 c Got one! Elapsed wall clock time (in seconds):204.95 263.11/205.06 o 643 263.40/205.25 c And the winner is Resolution 263.60/206.09 c Got one! Elapsed wall clock time (in seconds):205.98 263.60/206.09 o 637 264.25/206.42 c And the winner is Resolution 264.50/207.12 c Got one! Elapsed wall clock time (in seconds):207.009 264.50/207.12 o 636 265.28/207.56 c And the winner is Resolution 265.69/208.14 c Got one! Elapsed wall clock time (in seconds):208.038 265.69/208.14 o 630 266.60/208.65 c And the winner is Resolution 266.91/209.18 c Got one! Elapsed wall clock time (in seconds):209.069 266.91/209.18 o 624 268.60/210.08 c cleaning 0 clauses out of 5000 with flag 0/5000 269.27/210.31 c And the winner is Resolution 269.53/211.25 c Got one! Elapsed wall clock time (in seconds):211.14 269.53/211.25 o 621 271.86/212.40 c And the winner is Resolution 272.27/213.28 c Got one! Elapsed wall clock time (in seconds):213.17 272.27/213.28 o 618 274.33/214.35 c And the winner is Resolution 274.77/215.31 c Got one! Elapsed wall clock time (in seconds):215.203 274.77/215.31 o 607 276.56/216.28 c And the winner is Resolution 277.05/217.34 c Got one! Elapsed wall clock time (in seconds):217.233 277.05/217.34 o 598 280.63/219.18 c cleaning 12999 clauses out of 26009 with flag 185000/185000 283.46/220.51 c And the winner is Resolution 283.73/221.38 c Got one! Elapsed wall clock time (in seconds):221.269 283.73/221.38 o 597 292.93/225.98 c And the winner is Resolution 293.44/226.41 c Got one! Elapsed wall clock time (in seconds):226.306 293.44/226.41 o 593 298.48/228.97 c cleaning 12996 clauses out of 26011 with flag 198001/198001 301.38/230.46 c And the winner is Resolution 301.82/231.45 c Got one! Elapsed wall clock time (in seconds):231.342 301.82/231.45 o 591 302.12/231.69 c And the winner is Resolution 302.46/232.48 c Got one! Elapsed wall clock time (in seconds):232.372 302.46/232.48 o 589 309.86/236.16 c cleaning 13003 clauses out of 26015 with flag 211002/211002 312.36/237.43 c And the winner is Resolution 312.73/238.52 c Got one! Elapsed wall clock time (in seconds):238.409 312.73/238.52 o 584 321.05/242.60 c And the winner is Resolution 321.44/243.55 c Got one! Elapsed wall clock time (in seconds):243.448 321.44/243.55 o 575 323.97/244.86 c cleaning 12994 clauses out of 26012 with flag 224002/224002 333.40/249.53 c cleaning 12996 clauses out of 26016 with flag 237000/237000 335.73/250.79 c And the winner is Resolution 336.25/251.71 c Got one! Elapsed wall clock time (in seconds):251.603 336.25/251.71 o 573 344.61/255.83 c cleaning 12999 clauses out of 26020 with flag 250000/250000 353.01/260.05 c cleaning 12996 clauses out of 26021 with flag 263000/263000 357.31/262.26 c And the winner is Resolution 357.79/262.76 c Got one! Elapsed wall clock time (in seconds):262.651 357.79/262.76 o 566 357.88/262.88 c And the winner is Resolution 358.10/263.79 c Got one! Elapsed wall clock time (in seconds):263.68 358.10/263.79 o 564 358.35/263.94 c And the winner is Resolution 358.50/264.82 c Got one! Elapsed wall clock time (in seconds):264.711 358.50/264.82 o 540 358.88/265.02 c And the winner is Resolution 359.02/265.85 c Got one! Elapsed wall clock time (in seconds):265.747 359.02/265.85 o 534 359.35/266.07 c And the winner is Resolution 359.62/266.88 c Got one! Elapsed wall clock time (in seconds):266.776 359.62/266.88 o 533 360.07/267.19 c And the winner is Resolution 360.43/267.91 c Got one! Elapsed wall clock time (in seconds):267.807 360.43/267.91 o 523 361.44/268.48 c And the winner is Resolution 362.03/268.94 c Got one! Elapsed wall clock time (in seconds):268.836 362.03/268.94 o 504 363.38/269.68 c And the winner is Resolution 363.76/269.97 c Got one! Elapsed wall clock time (in seconds):269.866 363.76/269.97 o 499 365.92/271.02 c And the winner is Resolution 366.29/272.00 c Got one! Elapsed wall clock time (in seconds):271.898 366.29/272.00 o 492 367.50/272.61 c cleaning 13005 clauses out of 26025 with flag 276000/276000 368.37/273.19 c And the winner is Resolution 369.00/274.04 c Got one! Elapsed wall clock time (in seconds):273.929 369.00/274.04 o 480 371.36/275.24 c And the winner is Resolution 371.83/276.07 c Got one! Elapsed wall clock time (in seconds):275.96 371.83/276.07 o 469 376.19/278.30 c And the winner is Resolution 376.73/279.10 c Got one! Elapsed wall clock time (in seconds):278.992 376.73/279.10 o 468 379.77/280.69 c cleaning 13008 clauses out of 26020 with flag 289000/289000 388.98/285.24 c And the winner is Resolution 389.47/286.14 c Got one! Elapsed wall clock time (in seconds):286.033 389.47/286.14 o 465 399.18/290.97 c cleaning 12990 clauses out of 26012 with flag 302000/302000 404.13/293.45 c And the winner is Resolution 404.67/294.18 c Got one! Elapsed wall clock time (in seconds):294.074 404.67/294.18 o 462 410.04/296.81 c cleaning 12995 clauses out of 26022 with flag 315000/315000 419.46/301.51 c cleaning 13007 clauses out of 26027 with flag 328000/328000 419.92/301.81 c And the winner is Resolution 420.26/302.22 c Got one! Elapsed wall clock time (in seconds):302.118 420.26/302.22 o 458 435.91/309.93 c cleaning 12993 clauses out of 26022 with flag 341002/341002 445.35/314.61 c cleaning 12998 clauses out of 26027 with flag 354000/354000 447.61/315.87 c And the winner is Resolution 448.26/317.28 c Got one! Elapsed wall clock time (in seconds):317.174 448.26/317.28 o 454 458.92/322.51 c cleaning 12988 clauses out of 26029 with flag 367000/367000 467.51/326.89 c cleaning 13011 clauses out of 26042 with flag 380001/380001 475.90/331.08 c cleaning 12997 clauses out of 26032 with flag 393002/393002 481.24/333.78 c And the winner is Resolution 481.82/334.34 c Got one! Elapsed wall clock time (in seconds):334.233 481.82/334.34 o 452 481.97/334.46 c And the winner is Resolution 482.14/335.37 c Got one! Elapsed wall clock time (in seconds):335.262 482.14/335.37 o 433 482.42/335.50 c And the winner is Resolution 482.50/336.40 c Got one! Elapsed wall clock time (in seconds):336.293 482.50/336.40 o 379 482.92/336.61 c And the winner is Resolution 483.03/337.43 c Got one! Elapsed wall clock time (in seconds):337.324 483.03/337.43 o 361 483.38/337.67 c And the winner is Resolution 483.64/338.46 c Got one! Elapsed wall clock time (in seconds):338.354 483.64/338.46 o 348 484.34/338.87 c And the winner is Resolution 484.71/339.50 c Got one! Elapsed wall clock time (in seconds):339.389 484.71/339.50 o 343 485.54/339.98 c And the winner is Resolution 485.98/340.53 c Got one! Elapsed wall clock time (in seconds):340.42 485.98/340.53 o 342 487.36/341.26 c And the winner is Resolution 487.88/342.56 c Got one! Elapsed wall clock time (in seconds):342.453 487.88/342.56 o 341 489.81/343.53 c cleaning 12996 clauses out of 26033 with flag 406000/406000 490.24/343.83 c And the winner is Resolution 490.77/344.73 c Got one! Elapsed wall clock time (in seconds):344.625 490.77/344.73 o 338 493.60/346.13 c And the winner is Resolution 494.23/346.76 c Got one! Elapsed wall clock time (in seconds):346.657 494.23/346.76 o 334 497.43/348.32 c And the winner is Resolution 497.88/348.79 c Got one! Elapsed wall clock time (in seconds):348.688 497.88/348.79 o 333 501.83/350.72 c And the winner is Resolution 502.36/351.83 c Got one! Elapsed wall clock time (in seconds):351.72 502.36/351.83 o 321 503.14/352.29 c cleaning 13016 clauses out of 26037 with flag 419000/419000 514.73/358.08 c And the winner is Resolution 515.27/358.87 c Got one! Elapsed wall clock time (in seconds):358.762 515.27/358.87 o 319 522.47/362.48 c cleaning 13005 clauses out of 26022 with flag 432001/432001 528.83/365.62 c And the winner is Resolution 529.46/366.91 c Got one! Elapsed wall clock time (in seconds):366.804 529.46/366.91 o 314 533.13/368.74 c cleaning 12989 clauses out of 26016 with flag 445000/445000 541.54/372.99 c cleaning 13009 clauses out of 26034 with flag 458007/458007 542.76/373.66 c And the winner is Resolution 543.44/374.96 c Got one! Elapsed wall clock time (in seconds):374.857 543.44/374.96 o 311 553.33/379.81 c And the winner is Resolution 553.80/381.00 c Got one! Elapsed wall clock time (in seconds):380.895 553.80/381.00 o 310 554.39/381.30 c And the winner is Resolution 554.55/382.03 c Got one! Elapsed wall clock time (in seconds):381.924 554.55/382.03 o 306 558.99/384.28 c cleaning 12990 clauses out of 26016 with flag 471000/471000 567.75/388.62 c cleaning 12979 clauses out of 26026 with flag 484000/484000 576.16/392.80 c cleaning 13022 clauses out of 26047 with flag 497000/497000 576.30/392.99 c And the winner is Resolution 576.87/394.08 c Got one! Elapsed wall clock time (in seconds):393.976 576.87/394.08 o 304 594.46/402.76 c cleaning 13001 clauses out of 26025 with flag 510000/510000 606.70/408.88 c cleaning 13002 clauses out of 26024 with flag 523000/523000 615.30/413.12 c cleaning 13006 clauses out of 26025 with flag 536003/536003 618.21/414.65 c And the winner is Resolution 618.79/415.33 c Got one! Elapsed wall clock time (in seconds):415.222 618.79/415.33 o 300 628.96/420.31 c cleaning 13001 clauses out of 26016 with flag 549000/549000 637.38/424.56 c cleaning 12993 clauses out of 26015 with flag 562000/562000 645.57/428.62 c cleaning 13004 clauses out of 26022 with flag 575000/575000 653.96/432.81 c cleaning 12981 clauses out of 26018 with flag 588000/588000 662.39/437.06 c cleaning 13009 clauses out of 26038 with flag 601001/601001 665.90/438.86 c And the winner is Resolution 666.66/439.56 c Got one! Elapsed wall clock time (in seconds):439.449 666.66/439.56 o 297 666.75/439.67 c And the winner is Resolution 666.95/440.59 c Got one! Elapsed wall clock time (in seconds):440.479 666.95/440.59 o 295 666.98/440.69 c And the winner is Resolution 667.24/441.62 c Got one! Elapsed wall clock time (in seconds):441.511 667.24/441.62 o 294 667.61/441.81 c And the winner is Resolution 667.74/442.65 c Got one! Elapsed wall clock time (in seconds):442.54 667.74/442.65 o 284 668.05/442.89 c And the winner is Resolution 668.39/443.68 c Got one! Elapsed wall clock time (in seconds):443.572 668.39/443.68 o 269 669.05/444.02 c And the winner is Resolution 669.31/444.71 c Got one! Elapsed wall clock time (in seconds):444.6 669.31/444.71 o 254 670.09/445.13 c And the winner is Resolution 670.40/445.74 c Got one! Elapsed wall clock time (in seconds):445.631 670.40/445.74 o 239 671.54/446.36 c And the winner is Resolution 671.97/446.77 c Got one! Elapsed wall clock time (in seconds):446.663 671.97/446.77 o 237 674.48/448.05 c And the winner is Resolution 675.25/448.80 c Got one! Elapsed wall clock time (in seconds):448.695 675.25/448.80 o 225 678.10/450.23 c cleaning 12990 clauses out of 26029 with flag 614001/614001 678.37/450.49 c And the winner is Resolution 679.12/451.83 c Got one! Elapsed wall clock time (in seconds):451.728 679.12/451.83 o 219 681.50/453.09 c And the winner is Resolution 682.47/454.87 c Got one! Elapsed wall clock time (in seconds):454.763 682.47/454.87 o 216 686.84/457.01 c And the winner is Resolution 687.57/457.90 c Got one! Elapsed wall clock time (in seconds):457.796 687.57/457.90 o 214 692.03/460.17 c cleaning 13006 clauses out of 26039 with flag 627001/627001 697.56/462.96 c And the winner is Resolution 698.24/463.94 c Got one! Elapsed wall clock time (in seconds):463.834 698.24/463.94 o 211 704.10/466.86 c cleaning 12999 clauses out of 26032 with flag 640000/640000 708.02/468.82 c And the winner is Resolution 708.70/470.07 c Got one! Elapsed wall clock time (in seconds):469.966 708.70/470.07 o 210 715.73/473.53 c cleaning 13000 clauses out of 26033 with flag 653000/653000 723.55/477.46 c And the winner is Resolution 724.32/479.12 c Got one! Elapsed wall clock time (in seconds):479.01 724.32/479.12 o 209 725.11/479.51 c And the winner is Resolution 725.36/480.15 c Got one! Elapsed wall clock time (in seconds):480.04 725.36/480.15 o 116 726.28/480.61 c cleaning 13005 clauses out of 26033 with flag 666000/666000 735.67/485.37 c And the winner is Resolution 736.35/486.18 c Got one! Elapsed wall clock time (in seconds):486.078 736.35/486.18 o 114 736.58/486.39 c cleaning 12993 clauses out of 26028 with flag 679001/679001 737.58/486.97 c And the winner is Resolution 738.02/488.22 c Got one! Elapsed wall clock time (in seconds):488.113 738.02/488.22 o 88 752.06/495.12 c cleaning 13006 clauses out of 26036 with flag 692002/692002 761.26/499.72 c cleaning 12988 clauses out of 26028 with flag 705000/705000 764.35/501.32 c And the winner is Resolution 765.12/502.34 c Got one! Elapsed wall clock time (in seconds):502.235 765.12/502.34 o 87 773.01/506.21 c cleaning 13003 clauses out of 26042 with flag 718002/718002 781.63/510.56 c cleaning 13018 clauses out of 26037 with flag 731000/731000 790.20/514.86 c cleaning 12994 clauses out of 26019 with flag 744000/744000 796.12/517.85 c And the winner is Resolution 796.80/518.45 c Got one! Elapsed wall clock time (in seconds):518.34 796.80/518.45 o 85 797.76/518.91 c And the winner is Resolution 798.07/519.48 c Got one! Elapsed wall clock time (in seconds):519.37 798.07/519.48 o 82 802.60/521.79 c cleaning 12999 clauses out of 26026 with flag 757003/757003 812.05/526.41 c cleaning 12994 clauses out of 26025 with flag 770001/770001 820.68/530.70 c cleaning 12995 clauses out of 26030 with flag 783000/783000 830.02/535.44 c cleaning 13005 clauses out of 26035 with flag 796000/796000 831.03/536.06 c And the winner is Resolution 831.83/537.68 c Got one! Elapsed wall clock time (in seconds):537.572 831.83/537.68 o 78 840.06/541.78 c cleaning 13004 clauses out of 26032 with flag 809002/809002 848.86/546.17 c cleaning 12996 clauses out of 26027 with flag 822001/822001 857.67/550.53 c cleaning 13005 clauses out of 26030 with flag 835000/835000 866.42/554.98 c cleaning 12996 clauses out of 26026 with flag 848001/848001 875.40/559.45 c cleaning 13006 clauses out of 26029 with flag 861000/861000 876.84/560.27 c And the winner is Resolution 877.59/561.83 c Got one! Elapsed wall clock time (in seconds):561.723 877.59/561.83 o 74 877.59/561.87 c And the winner is Resolution 877.68/562.86 c Got one! Elapsed wall clock time (in seconds):562.756 877.68/562.86 o 73 890.22/569.04 c cleaning 12992 clauses out of 26023 with flag 874000/874000 899.00/573.49 c cleaning 13001 clauses out of 26031 with flag 887000/887000 907.73/577.87 c cleaning 13002 clauses out of 26030 with flag 900000/900000 916.48/582.25 c cleaning 12999 clauses out of 26030 with flag 913002/913002 925.65/586.82 c cleaning 12998 clauses out of 26029 with flag 926000/926000 925.92/587.06 c And the winner is Resolution 926.63/588.15 c Got one! Elapsed wall clock time (in seconds):588.041 926.63/588.15 o 67 946.08/597.75 c cleaning 13001 clauses out of 26032 with flag 939001/939001 958.52/603.97 c cleaning 13005 clauses out of 26031 with flag 952001/952001 967.92/608.65 c cleaning 12999 clauses out of 26028 with flag 965003/965003 976.52/612.90 c And the winner is Resolution 977.17/614.22 c Got one! Elapsed wall clock time (in seconds):614.116 977.17/614.22 o 65 977.73/614.54 c cleaning 12994 clauses out of 26025 with flag 978000/978000 986.53/618.98 c cleaning 13008 clauses out of 26035 with flag 991004/991004 995.48/623.44 c cleaning 12999 clauses out of 26024 with flag 1004001/1004001 1004.27/627.80 c cleaning 13003 clauses out of 26026 with flag 1017002/1017002 1013.03/632.26 c cleaning 13002 clauses out of 26021 with flag 1030000/1030000 1022.06/636.77 c cleaning 12997 clauses out of 26019 with flag 1043000/1043000 1031.63/641.52 c cleaning 13003 clauses out of 26023 with flag 1056001/1056001 1040.45/645.99 c cleaning 13008 clauses out of 26020 with flag 1069001/1069001 1045.33/648.47 c And the winner is Resolution 1046.27/649.31 c Got one! Elapsed wall clock time (in seconds):649.208 1046.27/649.31 o 62 1046.46/649.43 c And the winner is Resolution 1046.59/650.34 c Got one! Elapsed wall clock time (in seconds):650.238 1046.59/650.34 o 54 1046.70/650.45 c And the winner is Resolution 1046.88/651.38 c Got one! Elapsed wall clock time (in seconds):651.269 1046.88/651.38 o 52 1047.13/651.58 c And the winner is Resolution 1047.42/652.41 c Got one! Elapsed wall clock time (in seconds):652.3 1047.42/652.41 o 50 1047.60/652.58 c And the winner is Resolution 1047.87/653.44 c Got one! Elapsed wall clock time (in seconds):653.329 1047.87/653.44 o 48 1048.21/653.69 c And the winner is Resolution 1048.53/654.47 c Got one! Elapsed wall clock time (in seconds):654.36 1048.53/654.47 o 47 1049.23/654.84 c And the winner is Resolution 1049.52/655.50 c Got one! Elapsed wall clock time (in seconds):655.39 1049.52/655.50 o 37 1050.55/656.09 c And the winner is Resolution 1051.11/656.53 c Got one! Elapsed wall clock time (in seconds):656.422 1051.11/656.53 o 35 1052.28/657.19 c And the winner is Resolution 1052.89/658.56 c Got one! Elapsed wall clock time (in seconds):658.455 1052.89/658.56 o 25 1053.62/658.95 c cleaning 13001 clauses out of 26015 with flag 1082005/1082005 1054.01/659.25 c And the winner is Resolution 1054.37/659.59 c Got one! Elapsed wall clock time (in seconds):659.484 1054.37/659.59 o 20 1058.13/661.44 c And the winner is Resolution 1058.86/662.63 c Got one! Elapsed wall clock time (in seconds):662.519 1058.86/662.63 o 16 1064.13/665.29 c And the winner is Resolution 1065.05/666.66 c Got one! Elapsed wall clock time (in seconds):666.557 1065.05/666.66 o 13 1072.05/670.17 c And the winner is Resolution 1072.90/671.70 c Got one! Elapsed wall clock time (in seconds):671.594 1072.90/671.70 o 11 1073.91/672.26 c cleaning 13000 clauses out of 26010 with flag 1095001/1095001 1081.61/676.11 c And the winner is Resolution 1082.62/677.74 c Got one! Elapsed wall clock time (in seconds):677.633 1082.62/677.74 o 6 1086.22/679.57 c cleaning 12994 clauses out of 26009 with flag 1108000/1108000 1091.75/682.33 c And the winner is Resolution 1092.52/683.83 c Got one! Elapsed wall clock time (in seconds):683.726 1092.52/683.83 o 2 1096.73/685.92 c cleaning 12986 clauses out of 26018 with flag 1121003/1121003 1099.98/687.67 c And the winner is Resolution 1100.88/688.87 c Got one! Elapsed wall clock time (in seconds):688.766 1100.88/688.87 o 1 1105.21/691.00 c And the winner is Resolution 1107.63/693.61 c starts : 388 1107.63/693.61 c conflicts : 1132234 1107.63/693.61 c decisions : 3578797 1107.63/693.61 c propagations : 433712862 1107.63/693.61 c inspects : 2292049676 1107.63/693.61 c learnt literals : 20 1107.63/693.61 c learnt binary clauses : 109 1107.63/693.61 c learnt ternary clauses : 239 1107.63/693.61 c learnt clauses : 1132213 1107.63/693.61 c ignored clauses : 0 1107.63/693.61 c root simplifications : 0 1107.63/693.61 c removed literals (reason simplification) : 25416462 1107.63/693.61 c reason swapping (by a shorter reason) : 0 1107.63/693.61 c Calls to reduceDB : 89 1107.63/693.61 c number of reductions to clauses (during analyze) : 0 1107.63/693.61 c number of learned constraints concerned by reduction : 0 1107.63/693.61 c number of learning phase by resolution : 0 1107.63/693.61 c number of learning phase by cutting planes : 0 1107.63/693.61 c speed (assignments/second) : 9.175224497567166E7 1107.63/693.61 c non guided choices 56185 1107.63/693.61 c learnt constraints type 1107.63/693.61 c constraints type 1107.63/693.61 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2898 1107.63/693.61 c org.sat4j.minisat.constraints.card.MinWatchCard => 1018 1107.63/693.61 c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 7836 1107.63/693.61 c org.sat4j.pb.constraints.pb.MaxWatchPb => 816 1107.63/693.61 c constraints type 1107.63/693.61 c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 7836 1107.63/693.61 c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2898 1107.63/693.61 c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1018 1107.63/693.61 c org.sat4j.pb.constraints.pb.MaxWatchPb => 816 1107.63/693.61 s OPTIMUM FOUND 1107.63/693.62 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 1107.63/693.62 c objective function=1 1107.63/693.62 c Total wall clock time (in seconds): 693.514
OK 1
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2694321-1277913807/watcher-2694321-1277913807 -o /tmp/evaluation-result-2694321-1277913807/solver-2694321-1277913807 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694321-1277913807.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.01 2.00 2.00 3/178 4005 /proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=13164 CPUtime=0 /proc/4005/stat : 4005 (java) R 4003 4005 3929 0 -1 4194304 476 0 0 0 0 0 0 0 21 0 1 0 132809031 13479936 194 4089446400 134512640 134550932 4287437776 18446744073709551615 9647739 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/4005/statm: 3291 200 141 10 0 1121 0 [startup+0.0623331 s] /proc/loadavg: 2.01 2.00 2.00 3/178 4005 /proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1529592 CPUtime=0.05 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 4101 0 1 0 4 1 0 0 21 0 18 0 132809031 1566302208 3539 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 382398 3539 1078 10 0 379701 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1529592 [startup+0.100311 s] /proc/loadavg: 2.01 2.00 2.00 3/178 4005 /proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1530036 CPUtime=0.11 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 5177 0 1 0 10 1 0 0 21 0 18 0 132809031 1566756864 4612 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 382509 4612 1346 10 0 379812 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 1530036 [startup+0.30027 s] /proc/loadavg: 2.01 2.00 2.00 3/178 4005 /proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1532924 CPUtime=0.53 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 9604 0 1 0 50 3 0 0 21 0 18 0 132809031 1569714176 8906 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 383231 8907 1400 10 0 380534 0 Current children cumulated CPU time (s) 0.53 Current children cumulated vsize (KiB) 1532924 [startup+0.700197 s] /proc/loadavg: 2.01 2.00 2.00 3/178 4005 /proc/meminfo: memFree=31526296/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1545744 CPUtime=1.79 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 33596 0 1 0 173 6 0 0 21 0 20 0 132809031 1582841856 31683 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 386436 31684 1421 10 0 383739 0 Current children cumulated CPU time (s) 1.79 Current children cumulated vsize (KiB) 1545744 [startup+1.50105 s] /proc/loadavg: 2.01 2.00 2.00 6/200 4027 /proc/meminfo: memFree=31390152/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1560640 CPUtime=4.5 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 47926 0 1 0 441 9 0 0 21 0 20 0 132809031 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 390160 41658 1442 10 0 387463 0 [pid=4005/tid=4007] ppid=4003 vsize=1560640 CPUtime=0.55 /proc/4005/task/4007/stat : 4007 (java) S 4003 4005 3929 0 -1 4202560 25288 0 1 0 51 4 0 0 19 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4008] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 281 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4009] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 343 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4010] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 282 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4011] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 82 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4012] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4013] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4014] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4015] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 340 0 0 0 0 0 0 0 18 0 20 0 132809032 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4016] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 9 0 0 0 0 0 0 0 16 0 20 0 132809033 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4017] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4018] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4019] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4020] ppid=4003 vsize=1560640 CPUtime=1.25 /proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3386 0 0 0 124 1 0 0 19 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0 [pid=4005/tid=4021] ppid=4003 vsize=1560640 CPUtime=1.27 /proc/4005/task/4021/stat : 4021 (java) R 4003 4005 3929 0 -1 4202560 10090 0 0 0 125 2 0 0 18 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 104163910 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4005/tid=4022] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4023] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132809036 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4026] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4027] ppid=4003 vsize=1560640 CPUtime=0 /proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1598095360 41658 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.5 Current children cumulated vsize (KiB) 1560640 [startup+3.10076 s] /proc/loadavg: 2.01 2.00 2.00 2/198 4029 /proc/meminfo: memFree=31370576/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1553472 CPUtime=5.18 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 48044 0 1 0 509 9 0 0 21 0 20 0 132809031 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 388368 40127 1444 10 0 385671 0 [pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=0.62 /proc/4005/task/4007/stat : 4007 (java) S 4003 4005 3929 0 -1 4202560 25289 0 1 0 58 4 0 0 19 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 281 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 343 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 282 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 82 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 340 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 20 0 132809033 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.35 /proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3397 0 0 0 134 1 0 0 15 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=1.47 /proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10126 0 0 0 145 2 0 0 15 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0 [pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 40127 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.18 Current children cumulated vsize (KiB) 1553472 [startup+6.30118 s] /proc/loadavg: 1.93 1.98 1.99 2/198 4036 /proc/meminfo: memFree=31361904/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1553472 CPUtime=5.99 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 50248 0 1 0 590 9 0 0 21 0 20 0 132809031 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 388368 42323 1448 10 0 385671 0 [pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=0.69 /proc/4005/task/4007/stat : 4007 (java) S 4003 4005 3929 0 -1 4202560 25290 0 1 0 65 4 0 0 19 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=0.01 /proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 525 0 0 0 1 0 0 0 18 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=0.01 /proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 795 0 0 0 1 0 0 0 18 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 282 0 0 0 0 0 0 0 15 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 472 0 0 0 0 0 0 0 16 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 365 0 0 0 0 0 0 0 16 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 345 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 761 0 0 0 0 0 0 0 18 0 20 0 132809032 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 20 0 132809033 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.4 /proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3409 0 0 0 139 1 0 0 16 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=1.51 /proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10132 0 0 0 149 2 0 0 15 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0 [pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 42323 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.99 Current children cumulated vsize (KiB) 1553472 [startup+12.701 s] /proc/loadavg: 1.85 1.97 1.99 4/200 4050 /proc/meminfo: memFree=31357688/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1553472 CPUtime=7.93 ################ # More data... # ################ /proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 5761 0 0 0 351 56 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 4543 0 0 0 344 77 0 0 15 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=4.19 /proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 4185 0 0 0 352 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0 [pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=4.39 /proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 4524 0 0 0 349 90 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=16.42 /proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 492 0 0 0 1619 23 0 0 16 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.75 /proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3412 0 0 0 174 1 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=2.13 /proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10218 0 0 0 211 2 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1106.73 Current children cumulated vsize (KiB) 1553472 [startup+693.102 s] /proc/loadavg: 2.68 2.62 2.31 3/198 4455 /proc/meminfo: memFree=31180768/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1553472 CPUtime=1107.13 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 90178 0 1 0 110088 625 0 0 21 0 20 0 132809031 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 388368 78230 1453 10 0 385671 0 [pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=7.15 /proc/4005/task/4007/stat : 4007 (java) R 4003 4005 3929 0 -1 4202560 25333 0 1 0 710 5 0 0 17 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4109530839 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 5189 0 0 0 363 58 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 5839 0 0 0 340 81 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=4.4 /proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 4956 0 0 0 361 79 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=4.03 /proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 4808 0 0 0 336 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=4.07 /proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 5761 0 0 0 351 56 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 4543 0 0 0 344 77 0 0 15 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=4.19 /proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 4185 0 0 0 352 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0 [pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=4.39 /proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 4524 0 0 0 349 90 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=16.42 /proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 492 0 0 0 1619 23 0 0 16 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.75 /proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3412 0 0 0 174 1 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=2.13 /proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10218 0 0 0 211 2 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1107.13 Current children cumulated vsize (KiB) 1553472 [startup+693.501 s] /proc/loadavg: 2.68 2.62 2.31 3/198 4455 /proc/meminfo: memFree=31180768/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1553472 CPUtime=1107.53 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 90179 0 1 0 110128 625 0 0 21 0 20 0 132809031 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 388368 78230 1453 10 0 385671 0 [pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=7.55 /proc/4005/task/4007/stat : 4007 (java) R 4003 4005 3929 0 -1 4202560 25333 0 1 0 750 5 0 0 17 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4110760480 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 5189 0 0 0 363 58 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 5839 0 0 0 340 81 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=4.4 /proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 4956 0 0 0 361 79 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=4.03 /proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 4808 0 0 0 336 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=4.07 /proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 5761 0 0 0 351 56 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 4543 0 0 0 344 77 0 0 15 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=4.19 /proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 4185 0 0 0 352 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0 [pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=4.39 /proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 4524 0 0 0 349 90 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=16.42 /proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 493 0 0 0 1619 23 0 0 15 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.75 /proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3412 0 0 0 174 1 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=2.13 /proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10218 0 0 0 211 2 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1107.53 Current children cumulated vsize (KiB) 1553472 [startup+693.601 s] /proc/loadavg: 2.68 2.62 2.31 3/198 4455 /proc/meminfo: memFree=31180768/32951124 swapFree=67111528/67111528 [pid=4005] ppid=4003 vsize=1553472 CPUtime=1107.63 /proc/4005/stat : 4005 (java) S 4003 4005 3929 0 -1 4202496 90179 0 1 0 110138 625 0 0 21 0 20 0 132809031 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4005/statm: 388368 78230 1453 10 0 385671 0 [pid=4005/tid=4007] ppid=4003 vsize=1553472 CPUtime=7.65 /proc/4005/task/4007/stat : 4007 (java) R 4003 4005 3929 0 -1 4202560 25333 0 1 0 760 5 0 0 17 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4109530795 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4005/tid=4008] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4008/stat : 4008 (java) S 4003 4005 3929 0 -1 4202560 5189 0 0 0 363 58 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4009] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4009/stat : 4009 (java) S 4003 4005 3929 0 -1 4202560 5839 0 0 0 340 81 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4010] ppid=4003 vsize=1553472 CPUtime=4.4 /proc/4005/task/4010/stat : 4010 (java) S 4003 4005 3929 0 -1 4202560 4956 0 0 0 361 79 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4011] ppid=4003 vsize=1553472 CPUtime=4.03 /proc/4005/task/4011/stat : 4011 (java) S 4003 4005 3929 0 -1 4202560 4808 0 0 0 336 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4012] ppid=4003 vsize=1553472 CPUtime=4.07 /proc/4005/task/4012/stat : 4012 (java) S 4003 4005 3929 0 -1 4202560 5761 0 0 0 351 56 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4013] ppid=4003 vsize=1553472 CPUtime=4.21 /proc/4005/task/4013/stat : 4013 (java) S 4003 4005 3929 0 -1 4202560 4543 0 0 0 344 77 0 0 15 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4014] ppid=4003 vsize=1553472 CPUtime=4.19 /proc/4005/task/4014/stat : 4014 (java) S 4003 4005 3929 0 -1 4202560 4185 0 0 0 352 67 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 0 0 0 0 [pid=4005/tid=4015] ppid=4003 vsize=1553472 CPUtime=4.39 /proc/4005/task/4015/stat : 4015 (java) S 4003 4005 3929 0 -1 4202560 4524 0 0 0 349 90 0 0 16 0 20 0 132809032 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4016] ppid=4003 vsize=1553472 CPUtime=16.42 /proc/4005/task/4016/stat : 4016 (java) S 4003 4005 3929 0 -1 4202560 493 0 0 0 1619 23 0 0 15 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 0 0 16800975 18446604453932810688 0 0 -1 2 0 0 0 [pid=4005/tid=4017] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4017/stat : 4017 (java) S 4003 4005 3929 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 20 0 132809033 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4018] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4018/stat : 4018 (java) S 4003 4005 3929 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 20 0 132809034 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4019] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4019/stat : 4019 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 [pid=4005/tid=4020] ppid=4003 vsize=1553472 CPUtime=1.75 /proc/4005/task/4020/stat : 4020 (java) S 4003 4005 3929 0 -1 4202560 3412 0 0 0 174 1 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4021] ppid=4003 vsize=1553472 CPUtime=2.13 /proc/4005/task/4021/stat : 4021 (java) S 4003 4005 3929 0 -1 4202560 10218 0 0 0 211 2 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 5 0 0 0 [pid=4005/tid=4022] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4022/stat : 4022 (java) S 4003 4005 3929 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 3 0 0 0 [pid=4005/tid=4023] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4023/stat : 4023 (java) S 4003 4005 3929 0 -1 4202560 40 0 0 0 0 0 0 0 15 0 20 0 132809036 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 4 0 0 0 [pid=4005/tid=4026] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4026/stat : 4026 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 6 0 0 0 [pid=4005/tid=4027] ppid=4003 vsize=1553472 CPUtime=0 /proc/4005/task/4027/stat : 4027 (java) S 4003 4005 3929 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 20 0 132809103 1590755328 78230 4089446400 134512640 134550932 4287437776 18446744073709551615 4294960144 0 4 0 16800975 18446604453932810688 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1107.63 Current children cumulated vsize (KiB) 1553472 Child status: 30 Real time (s): 693.678 CPU time (s): 1107.69 CPU user time (s): 1101.42 CPU system time (s): 6.26605 CPU usage (%): 159.684 Max. virtual memory (cumulated for all children) (KiB): 1560640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1101.42 system time used= 6.26605 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 90187 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= 47317 involuntary context switches= 1492315 runsolver used 1.36379 second user time and 2.6016 second system time The end
Begin job on node111 at 2010-06-30 18:03:27 IDJOB=2694321 IDBENCH=79022 IDSOLVER=1207 FILE ID=node111/2694321-1277913807 PBS_JOBID= 11197312 Free space on /tmp= 74208 MiB SOLVER NAME= SAT4J PB RES // CP 2.2.0 2010-05-31 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 -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2694321-1277913807/watcher-2694321-1277913807 -o /tmp/evaluation-result-2694321-1277913807/solver-2694321-1277913807 -C 1800 -W 2000 -M 3800 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-2694321-1277913807.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e08e31eb3b4e7c09e6499c484fbac4c3 RANDOM SEED=1757727851 node111.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.850 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.850 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.82 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.850 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.75 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.850 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.85 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.850 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.74 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.850 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.82 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.850 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.74 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.850 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31526692 kB Buffers: 201488 kB Cached: 791472 kB SwapCached: 0 kB Active: 695260 kB Inactive: 588104 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31526692 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 796 kB Writeback: 0 kB AnonPages: 290888 kB Mapped: 16312 kB Slab: 77136 kB PageTables: 5808 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 437556 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node111 at 2010-06-30 18:15:01