Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Sat4j Resolution 2.3.0 | SAT (TO) | 36521 | 1800.22 | 1798.07 |
| Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-air05.opb |
| MD5SUM | 7a59cd2d9b82be306fe717119e5558d0 |
| Bench Category | OPT-MEDINT (optimisation, medium integers) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 36521 |
| Best CPU time to get the best result obtained on this benchmark | 1800.22 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 31955 |
| Optimality of the best value was proved | NO |
| Number of variables | 7195 |
| Total number of constraints | 426 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 426 |
| Number of constraints which are nor clauses,nor cardinality constraints | 0 |
| Minimum length of a constraint | 3 |
| Maximum length of a constraint | 404 |
| Number of terms in the objective function | 7195 |
| Biggest coefficient in the objective function | 2679 |
| Number of bits for the biggest coefficient in the objective function | 12 |
| Sum of the numbers in the objective function | 3908448 |
| Number of bits of the sum of numbers in the objective function | 22 |
| Biggest number in a constraint | 2679 |
| Number of bits of the biggest number in a constraint | 12 |
| Biggest sum of numbers in a constraint | 3908448 |
| Number of bits of the biggest sum of numbers | 22 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.06/0.08 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.06/0.08 c This is free software under the dual EPL/GNU LGPL licenses. 0.06/0.08 c See www.sat4j.org for details. 0.06/0.09 c version 2.3.1.v20110525 0.06/0.09 c java.runtime.name Java(TM) SE Runtime Environment 0.06/0.09 c java.vm.name Java HotSpot(TM) 64-Bit Server VM 0.06/0.09 c java.vm.version 19.1-b02 0.06/0.09 c java.vm.vendor Sun Microsystems Inc. 0.06/0.09 c sun.arch.data.model 64 0.06/0.09 c java.version 1.6.0_24 0.06/0.09 c os.name Linux 0.06/0.09 c os.version 2.6.18-164.el5 0.06/0.09 c os.arch amd64 0.06/0.09 c Free memory 12995394264 0.06/0.09 c Max memory 13063553024 0.06/0.09 c Total memory 13063553024 0.06/0.09 c Number of processors 8 0.11/0.11 c Pseudo Boolean Optimization 0.11/0.11 c --- Begin Solver configuration --- 0.11/0.11 c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408 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 solving HOME/instance-3458860-1307139837.opb 0.11/0.11 c reading problem ... 0.54/0.39 c ... done. Wall clock time 0.282s. 0.54/0.39 c #vars 7195 0.54/0.39 c #constraints 852 0.54/0.39 c constraints type 0.54/0.39 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 426 0.54/0.39 c org.sat4j.minisat.constraints.card.MinWatchCard => 426 1.41/0.81 c SATISFIABLE 1.41/0.81 c OPTIMIZING... 1.41/0.81 c Got one! Elapsed wall clock time (in seconds):0.702 1.41/0.81 o 46076 2.57/1.79 c Got one! Elapsed wall clock time (in seconds):1.677 2.57/1.79 o 44729 4.22/3.35 c cleaning 2859 clauses out of 5765 with flag 3001/5769 6.07/5.12 c Got one! Elapsed wall clock time (in seconds):5.013 6.07/5.12 o 44441 6.98/5.90 c Got one! Elapsed wall clock time (in seconds):5.791 6.98/5.90 o 43908 7.29/6.29 c cleaning 4800 clauses out of 9649 with flag 1000/12516 8.10/7.05 c Got one! Elapsed wall clock time (in seconds):6.936 8.10/7.05 o 43560 10.23/9.14 c cleaning 5206 clauses out of 10452 with flag 4001/18121 12.84/11.72 c Got one! Elapsed wall clock time (in seconds):11.608 12.84/11.72 o 43553 13.25/12.15 c cleaning 5131 clauses out of 10327 with flag 1001/23202 14.48/13.39 c Got one! Elapsed wall clock time (in seconds):13.274 14.48/13.39 o 43511 15.68/14.59 c cleaning 5411 clauses out of 10926 with flag 3001/28937 18.89/17.77 c cleaning 5647 clauses out of 11514 with flag 9000/34936 20.49/19.38 c Got one! Elapsed wall clock time (in seconds):19.266 20.49/19.38 o 43504 21.59/20.42 c cleaning 5433 clauses out of 11068 with flag 2000/40146 22.29/21.17 c Got one! Elapsed wall clock time (in seconds):21.06 22.29/21.17 o 43248 24.49/23.37 c cleaning 5651 clauses out of 11534 with flag 4000/46047 29.90/28.76 c Got one! Elapsed wall clock time (in seconds):28.644 29.90/28.76 o 40683 31.10/29.93 c cleaning 5863 clauses out of 11852 with flag 3002/52016 31.31/30.13 c Got one! Elapsed wall clock time (in seconds):30.022 31.31/30.13 o 39881 34.51/33.39 c cleaning 5671 clauses out of 11431 with flag 5000/57468 39.51/38.39 c cleaning 5837 clauses out of 11759 with flag 11000/63468 41.82/40.62 c Got one! Elapsed wall clock time (in seconds):40.504 41.82/40.62 o 39636 42.31/41.15 c cleaning 5493 clauses out of 11040 with flag 1001/68589 45.82/44.66 c cleaning 5768 clauses out of 11545 with flag 7000/74588 50.32/49.15 c cleaning 6317 clauses out of 12778 with flag 14001/81589 59.62/58.47 c cleaning 7156 clauses out of 14460 with flag 22000/89588 65.04/63.85 c cleaning 8117 clauses out of 16304 with flag 31002/98590 72.33/71.13 c cleaning 9041 clauses out of 18185 with flag 41001/108589 79.24/78.05 c cleaning 9510 clauses out of 19139 with flag 51000/118588 86.34/85.14 c cleaning 9732 clauses out of 19630 with flag 61001/128589 92.84/91.60 c cleaning 9918 clauses out of 19892 with flag 71001/138589 99.44/98.24 c cleaning 9897 clauses out of 19971 with flag 81000/148588 107.25/106.03 c cleaning 9954 clauses out of 20072 with flag 91000/158588 114.86/113.64 c cleaning 9979 clauses out of 20118 with flag 101001/168589 120.76/119.50 c cleaning 10007 clauses out of 20137 with flag 111000/178588 127.17/125.93 c cleaning 9970 clauses out of 20130 with flag 121000/188588 134.47/133.25 c cleaning 10060 clauses out of 20158 with flag 131000/198588 140.17/138.92 c cleaning 10013 clauses out of 20095 with flag 141000/208588 147.08/145.87 c cleaning 9983 clauses out of 20083 with flag 151002/218590 153.98/152.79 c cleaning 9976 clauses out of 20096 with flag 161000/228588 163.49/162.20 c cleaning 9962 clauses out of 20120 with flag 171000/238588 173.60/172.37 c cleaning 9960 clauses out of 20158 with flag 181001/248589 185.40/184.16 c cleaning 9976 clauses out of 20198 with flag 191001/258589 192.91/191.63 c cleaning 10087 clauses out of 20220 with flag 201001/268589 201.91/200.65 c cleaning 9982 clauses out of 20132 with flag 211000/278588 209.32/208.00 c cleaning 9985 clauses out of 20150 with flag 221000/288588 215.42/214.12 c cleaning 10053 clauses out of 20165 with flag 231001/298589 221.63/220.31 c cleaning 9951 clauses out of 20103 with flag 241000/308588 229.05/227.73 c cleaning 9991 clauses out of 20151 with flag 251000/318588 235.74/234.47 c cleaning 10002 clauses out of 20161 with flag 261001/328589 244.54/243.20 c cleaning 10015 clauses out of 20158 with flag 271000/338588 253.75/252.41 c cleaning 10006 clauses out of 20143 with flag 281000/348588 260.86/259.53 c cleaning 9985 clauses out of 20137 with flag 291000/358588 269.05/267.74 c cleaning 9992 clauses out of 20153 with flag 301001/368589 273.56/272.23 c Got one! Elapsed wall clock time (in seconds):272.122 273.56/272.23 o 39580 277.56/276.24 c cleaning 11088 clauses out of 22345 with flag 5000/380775 283.16/281.80 c cleaning 8502 clauses out of 17257 with flag 11000/386775 286.06/284.73 c Got one! Elapsed wall clock time (in seconds):284.623 286.06/284.73 o 39562 287.17/285.90 c cleaning 7055 clauses out of 14360 with flag 2003/392383 291.59/290.23 c cleaning 6578 clauses out of 13302 with flag 8001/398381 295.89/294.59 c cleaning 6832 clauses out of 13724 with flag 15001/405381 301.49/300.16 c cleaning 7411 clauses out of 14892 with flag 23001/413381 307.50/306.16 c cleaning 8221 clauses out of 16481 with flag 32001/422381 317.00/315.62 c cleaning 9095 clauses out of 18241 with flag 42001/432381 326.70/325.30 c cleaning 9550 clauses out of 19146 with flag 52001/442381 335.82/334.49 c cleaning 9770 clauses out of 19596 with flag 62001/452381 342.91/341.50 c cleaning 9832 clauses out of 19826 with flag 72004/462384 351.22/349.84 c cleaning 9908 clauses out of 19991 with flag 82001/472381 359.32/357.94 c cleaning 9955 clauses out of 20083 with flag 92001/482381 366.04/364.66 c cleaning 9969 clauses out of 20128 with flag 102001/492381 372.94/371.59 c cleaning 10066 clauses out of 20157 with flag 112001/502381 379.54/378.19 c cleaning 10003 clauses out of 20084 with flag 122000/512380 385.95/384.56 c cleaning 10011 clauses out of 20075 with flag 132000/522380 391.25/389.87 c Got one! Elapsed wall clock time (in seconds):389.758 391.25/389.87 o 39536 394.17/392.72 c cleaning 11437 clauses out of 22944 with flag 5001/535262 397.76/396.39 c cleaning 8661 clauses out of 17503 with flag 11000/541261 401.36/399.90 c cleaning 7803 clauses out of 15843 with flag 18001/548262 405.36/403.93 c cleaning 7937 clauses out of 16039 with flag 26000/556261 412.26/410.84 c cleaning 8511 clauses out of 17103 with flag 35001/565262 419.37/417.95 c cleaning 9255 clauses out of 18591 with flag 45000/575261 425.67/424.24 c cleaning 9616 clauses out of 19336 with flag 55000/585261 432.89/431.46 c cleaning 9813 clauses out of 19720 with flag 65000/595261 439.09/437.63 c cleaning 9896 clauses out of 19906 with flag 75000/605261 446.19/444.78 c cleaning 9873 clauses out of 20010 with flag 85000/615261 451.90/450.43 c cleaning 9961 clauses out of 20137 with flag 95000/625261 457.60/456.15 c cleaning 9974 clauses out of 20178 with flag 105002/635263 462.90/461.42 c cleaning 9984 clauses out of 20202 with flag 115000/645261 469.80/468.36 c cleaning 10003 clauses out of 20217 with flag 125000/655261 476.61/475.12 c cleaning 10018 clauses out of 20215 with flag 135001/665262 486.01/484.52 c cleaning 10025 clauses out of 20196 with flag 145000/675261 494.81/493.38 c cleaning 10008 clauses out of 20171 with flag 155000/685261 505.72/504.27 c cleaning 10005 clauses out of 20163 with flag 165000/695261 514.92/513.43 c cleaning 9995 clauses out of 20158 with flag 175000/705261 522.02/520.58 c cleaning 10010 clauses out of 20163 with flag 185001/715262 528.72/527.29 c cleaning 9993 clauses out of 20150 with flag 195000/725261 539.03/537.52 c cleaning 9970 clauses out of 20155 with flag 205000/735261 546.63/545.11 c cleaning 10030 clauses out of 20185 with flag 215000/745261 552.84/551.35 c cleaning 10043 clauses out of 20154 with flag 225000/755261 561.46/559.91 c cleaning 9979 clauses out of 20111 with flag 235000/765261 569.85/568.35 c cleaning 10000 clauses out of 20132 with flag 245000/775261 577.97/576.50 c cleaning 9962 clauses out of 20133 with flag 255001/785262 585.46/583.90 c cleaning 9972 clauses out of 20170 with flag 265000/795261 592.56/591.05 c cleaning 10034 clauses out of 20198 with flag 275001/805262 600.86/599.39 c cleaning 10003 clauses out of 20163 with flag 285000/815261 608.17/606.66 c cleaning 10001 clauses out of 20162 with flag 295002/825263 614.87/613.32 c cleaning 10003 clauses out of 20160 with flag 305001/835262 619.79/618.26 c cleaning 9995 clauses out of 20156 with flag 315000/845261 625.98/624.42 c cleaning 9996 clauses out of 20160 with flag 325001/855262 632.89/631.38 c cleaning 9981 clauses out of 20164 with flag 335001/865262 640.50/638.91 c cleaning 10001 clauses out of 20183 with flag 345001/875262 647.60/646.02 c cleaning 10000 clauses out of 20181 with flag 355000/885261 654.40/652.89 c cleaning 9995 clauses out of 20181 with flag 365000/895261 662.00/660.44 c cleaning 9998 clauses out of 20186 with flag 375000/905261 669.81/668.28 c cleaning 10072 clauses out of 20189 with flag 385001/915262 677.41/675.84 c cleaning 9952 clauses out of 20117 with flag 395001/925262 684.91/683.35 c cleaning 10003 clauses out of 20164 with flag 405000/935261 693.21/691.68 c cleaning 9978 clauses out of 20162 with flag 415001/945262 701.51/699.98 c cleaning 10000 clauses out of 20184 with flag 425001/955262 710.03/708.42 c cleaning 9984 clauses out of 20185 with flag 435002/965263 718.21/716.60 c cleaning 10004 clauses out of 20200 with flag 445001/975262 726.22/724.64 c cleaning 9996 clauses out of 20195 with flag 455000/985261 734.02/732.50 c cleaning 10007 clauses out of 20200 with flag 465001/995262 741.54/739.98 c cleaning 9997 clauses out of 20192 with flag 475000/1005261 748.14/746.59 c cleaning 10067 clauses out of 20198 with flag 485004/1015265 754.45/752.85 c cleaning 9953 clauses out of 20125 with flag 495000/1025261 760.67/759.04 c cleaning 9995 clauses out of 20175 with flag 505004/1035265 767.76/766.13 c cleaning 10001 clauses out of 20177 with flag 515001/1045262 774.66/773.03 c cleaning 10011 clauses out of 20173 with flag 525000/1055261 781.48/779.89 c cleaning 9997 clauses out of 20163 with flag 535001/1065262 787.67/786.02 c cleaning 10016 clauses out of 20165 with flag 545000/1075261 794.79/793.12 c cleaning 9964 clauses out of 20149 with flag 555000/1085261 803.38/801.79 c cleaning 9986 clauses out of 20185 with flag 565000/1095261 811.88/810.22 c cleaning 9979 clauses out of 20200 with flag 575001/1105262 819.78/818.11 c cleaning 10015 clauses out of 20220 with flag 585001/1115262 829.79/828.16 c cleaning 9975 clauses out of 20204 with flag 595000/1125261 838.29/836.66 c cleaning 9989 clauses out of 20229 with flag 605000/1135261 846.70/845.03 c cleaning 10000 clauses out of 20240 with flag 615000/1145261 853.89/852.28 c cleaning 10069 clauses out of 20240 with flag 625001/1155262 858.90/857.29 c cleaning 10026 clauses out of 20170 with flag 635000/1165261 863.60/861.98 c cleaning 10021 clauses out of 20145 with flag 645001/1175262 868.30/866.61 c cleaning 10005 clauses out of 20123 with flag 655000/1185261 873.50/871.88 c cleaning 10006 clauses out of 20119 with flag 665001/1195262 878.81/877.13 c cleaning 10002 clauses out of 20113 with flag 675001/1205262 883.41/881.72 c cleaning 10002 clauses out of 20111 with flag 685001/1215262 890.11/888.47 c cleaning 9956 clauses out of 20108 with flag 695001/1225262 898.91/897.26 c cleaning 9991 clauses out of 20151 with flag 705000/1235261 901.72/900.07 c Got one! Elapsed wall clock time (in seconds):899.954 901.72/900.07 o 39524 902.82/901.11 c cleaning 7785 clauses out of 15732 with flag 2000/1240834 906.42/904.77 c cleaning 6868 clauses out of 13947 with flag 8000/1246834 910.33/908.65 c cleaning 6970 clauses out of 14080 with flag 15001/1253835 915.42/913.71 c cleaning 7489 clauses out of 15109 with flag 23000/1261834 921.12/919.47 c cleaning 8245 clauses out of 16621 with flag 32001/1270835 926.33/924.64 c cleaning 9119 clauses out of 18377 with flag 42002/1280836 932.53/930.87 c cleaning 9564 clauses out of 19256 with flag 52000/1290834 938.13/936.49 c cleaning 9778 clauses out of 19692 with flag 62000/1300834 945.56/943.82 c cleaning 9886 clauses out of 19916 with flag 72002/1310836 953.54/951.89 c cleaning 9938 clauses out of 20028 with flag 82000/1320834 960.54/958.81 c cleaning 9971 clauses out of 20090 with flag 92000/1330834 967.25/965.56 c cleaning 10028 clauses out of 20119 with flag 102000/1340834 976.45/974.74 c cleaning 9983 clauses out of 20091 with flag 112000/1350834 985.36/983.68 c cleaning 9975 clauses out of 20108 with flag 122000/1360834 993.16/991.43 c cleaning 9988 clauses out of 20133 with flag 132000/1370834 1000.57/998.85 c cleaning 9978 clauses out of 20145 with flag 142000/1380834 1008.28/1006.53 c cleaning 9997 clauses out of 20168 with flag 152001/1390835 1015.66/1013.93 c cleaning 10004 clauses out of 20170 with flag 162000/1400834 1023.47/1021.79 c cleaning 9993 clauses out of 20166 with flag 172000/1410834 1031.57/1029.88 c cleaning 10008 clauses out of 20173 with flag 182000/1420834 1038.98/1037.28 c cleaning 9998 clauses out of 20165 with flag 192000/1430834 1047.67/1045.91 c cleaning 10004 clauses out of 20168 with flag 202001/1440835 1055.97/1054.20 c cleaning 10000 clauses out of 20164 with flag 212001/1450835 1063.38/1061.68 c cleaning 10001 clauses out of 20164 with flag 222001/1460835 1071.28/1069.53 c cleaning 10012 clauses out of 20163 with flag 232001/1470835 1079.08/1077.34 c cleaning 10016 clauses out of 20150 with flag 242000/1480834 1086.39/1084.68 c cleaning 9978 clauses out of 20129 with flag 252001/1490835 1093.19/1091.46 c cleaning 10029 clauses out of 20147 with flag 262000/1500834 1098.99/1097.24 c cleaning 10019 clauses out of 20115 with flag 272000/1510834 1104.70/1102.99 c cleaning 10003 clauses out of 20101 with flag 282005/1520839 1111.72/1109.96 c cleaning 9954 clauses out of 20092 with flag 292000/1530834 1119.42/1117.69 c cleaning 10009 clauses out of 20136 with flag 302000/1540834 1126.71/1124.95 c cleaning 10003 clauses out of 20127 with flag 312000/1550834 1133.73/1132.00 c cleaning 10025 clauses out of 20124 with flag 322000/1560834 1140.82/1139.05 c cleaning 10006 clauses out of 20100 with flag 332001/1570835 1147.12/1145.39 c cleaning 10010 clauses out of 20096 with flag 342003/1580837 1151.42/1149.60 c Got one! Elapsed wall clock time (in seconds):1149.49 1151.42/1149.60 o 39229 1152.02/1150.21 c Got one! Elapsed wall clock time (in seconds):1150.098 1152.02/1150.21 o 36570 1153.32/1151.56 c Got one! Elapsed wall clock time (in seconds):1151.449 1153.32/1151.56 o 36521 1154.42/1152.70 c cleaning 11432 clauses out of 23026 with flag 2002/1593778 1159.93/1158.14 c cleaning 8684 clauses out of 17596 with flag 8004/1599780 1168.13/1166.37 c cleaning 7878 clauses out of 15909 with flag 15001/1606777 1176.44/1174.67 c cleaning 7887 clauses out of 16030 with flag 23000/1614776 1185.46/1183.61 c cleaning 8489 clauses out of 17143 with flag 32000/1623776 1196.64/1194.88 c cleaning 9239 clauses out of 18656 with flag 42002/1633778 1203.35/1201.54 c cleaning 9630 clauses out of 19415 with flag 52000/1643776 1209.95/1208.11 c cleaning 9827 clauses out of 19785 with flag 62001/1653777 1216.96/1215.15 c cleaning 9899 clauses out of 19959 with flag 72002/1663778 1222.66/1220.85 c cleaning 9959 clauses out of 20060 with flag 82002/1673778 1229.27/1227.50 c cleaning 9964 clauses out of 20101 with flag 92002/1683778 1236.48/1234.60 c cleaning 9986 clauses out of 20135 with flag 102000/1693776 1244.28/1242.44 c cleaning 9990 clauses out of 20149 with flag 112000/1703776 1252.28/1250.48 c cleaning 9986 clauses out of 20159 with flag 122000/1713776 1261.89/1260.06 c cleaning 10018 clauses out of 20170 with flag 132000/1723776 1274.09/1272.30 c cleaning 9958 clauses out of 20152 with flag 142000/1733776 1285.00/1283.19 c cleaning 9975 clauses out of 20195 with flag 152001/1743777 1294.00/1292.18 c cleaning 10008 clauses out of 20219 with flag 162000/1753776 1303.61/1301.71 c cleaning 10003 clauses out of 20211 with flag 172000/1763776 1312.22/1310.40 c cleaning 9988 clauses out of 20208 with flag 182000/1773776 1322.02/1320.16 c cleaning 10011 clauses out of 20222 with flag 192002/1783778 1329.12/1327.27 c cleaning 10004 clauses out of 20209 with flag 202000/1793776 1335.22/1333.33 c cleaning 10006 clauses out of 20205 with flag 212000/1803776 1346.82/1344.96 c cleaning 9986 clauses out of 20199 with flag 222000/1813776 1355.62/1353.79 c cleaning 10013 clauses out of 20213 with flag 232000/1823776 1364.92/1363.09 c cleaning 10016 clauses out of 20201 with flag 242001/1833777 1373.64/1371.73 c cleaning 9964 clauses out of 20184 with flag 252000/1843776 1381.73/1379.80 c cleaning 10002 clauses out of 20220 with flag 262000/1853776 1389.05/1387.16 c cleaning 10008 clauses out of 20219 with flag 272001/1863777 1397.14/1395.21 c cleaning 10012 clauses out of 20209 with flag 282000/1873776 1404.55/1402.69 c cleaning 9981 clauses out of 20197 with flag 292000/1883776 1411.25/1409.34 c cleaning 9993 clauses out of 20216 with flag 302001/1893777 1417.76/1415.80 c cleaning 9990 clauses out of 20222 with flag 312000/1903776 1426.47/1424.58 c cleaning 9999 clauses out of 20233 with flag 322001/1913777 1435.86/1433.92 c cleaning 9978 clauses out of 20233 with flag 332000/1923776 1444.86/1442.98 c cleaning 9996 clauses out of 20255 with flag 342000/1933776 1452.56/1450.65 c cleaning 9999 clauses out of 20260 with flag 352001/1943777 1460.87/1458.92 c cleaning 9989 clauses out of 20260 with flag 362000/1953776 1469.97/1468.02 c cleaning 9995 clauses out of 20271 with flag 372000/1963776 1478.68/1476.74 c cleaning 10007 clauses out of 20276 with flag 382000/1973776 1486.58/1484.62 c cleaning 10006 clauses out of 20269 with flag 392000/1983776 1494.88/1492.97 c cleaning 9983 clauses out of 20263 with flag 402000/1993776 1502.88/1500.91 c cleaning 10017 clauses out of 20280 with flag 412000/2003776 1510.78/1508.80 c cleaning 9996 clauses out of 20263 with flag 422000/2013776 1517.98/1516.07 c cleaning 10008 clauses out of 20267 with flag 432000/2023776 1525.18/1523.24 c cleaning 9996 clauses out of 20259 with flag 442000/2033776 1532.49/1530.56 c cleaning 10046 clauses out of 20258 with flag 452002/2043778 1542.49/1540.52 c cleaning 10013 clauses out of 20210 with flag 462000/2053776 1552.19/1550.20 c cleaning 10010 clauses out of 20197 with flag 472000/2063776 1561.60/1559.71 c cleaning 10001 clauses out of 20187 with flag 482000/2073776 1572.49/1570.51 c cleaning 10002 clauses out of 20187 with flag 492001/2083777 1581.70/1579.71 c cleaning 9986 clauses out of 20184 with flag 502000/2093776 1591.20/1589.22 c cleaning 10012 clauses out of 20199 with flag 512001/2103777 1600.20/1598.22 c cleaning 9982 clauses out of 20186 with flag 522000/2113776 1611.40/1609.42 c cleaning 9988 clauses out of 20204 with flag 532000/2123776 1621.30/1619.37 c cleaning 10022 clauses out of 20218 with flag 542002/2133778 1630.40/1628.43 c cleaning 9970 clauses out of 20195 with flag 552001/2143777 1639.10/1637.10 c cleaning 10018 clauses out of 20224 with flag 562000/2153776 1650.00/1648.09 c cleaning 9974 clauses out of 20207 with flag 572001/2163777 1660.10/1658.19 c cleaning 10003 clauses out of 20233 with flag 582001/2173777 1668.52/1666.58 c cleaning 9988 clauses out of 20229 with flag 592000/2183776 1676.23/1674.25 c cleaning 9996 clauses out of 20242 with flag 602001/2193777 1684.12/1682.18 c cleaning 10046 clauses out of 20246 with flag 612001/2203777 1694.32/1692.32 c cleaning 10019 clauses out of 20199 with flag 622000/2213776 1702.53/1700.60 c cleaning 9999 clauses out of 20180 with flag 632000/2223776 1710.92/1708.93 c cleaning 9995 clauses out of 20181 with flag 642000/2233776 1720.73/1718.73 c cleaning 9975 clauses out of 20186 with flag 652000/2243776 1728.83/1726.83 c cleaning 10030 clauses out of 20214 with flag 662003/2253779 1735.83/1733.82 c cleaning 10060 clauses out of 20169 with flag 672000/2263776 1741.93/1739.99 c cleaning 9958 clauses out of 20101 with flag 682000/2273776 1748.24/1746.25 c cleaning 9987 clauses out of 20144 with flag 692001/2283777 1755.24/1753.23 c cleaning 9953 clauses out of 20154 with flag 702000/2293776 1764.26/1762.26 c cleaning 10011 clauses out of 20200 with flag 712000/2303776 1773.35/1771.30 c cleaning 9980 clauses out of 20189 with flag 722000/2313776 1780.35/1778.39 c cleaning 10057 clauses out of 20209 with flag 732000/2323776 1787.46/1785.43 c cleaning 10063 clauses out of 20152 with flag 742000/2333776 1795.86/1793.85 c cleaning 9926 clauses out of 20089 with flag 752001/2343777 1800.08/1798.02 c starts : 244 1800.08/1798.02 c conflicts : 2350850 1800.08/1798.02 c decisions : 8025024 1800.08/1798.02 c propagations : 113566829 1800.08/1798.02 c inspects : 827551742 1800.08/1798.02 c shortcuts : 0 1800.08/1798.02 c learnt literals : 202 1800.08/1798.02 c learnt binary clauses : 342 1800.08/1798.02 c learnt ternary clauses : 391 1800.08/1798.02 c learnt constraints : 2350648 1800.08/1798.02 c ignored constraints : 0 1800.08/1798.02 c root simplifications : 0 1800.08/1798.02 c removed literals (reason simplification) : 553883313 1800.08/1798.02 c reason swapping (by a shorter reason) : 0 1800.08/1798.02 c Calls to reduceDB : 245 1800.08/1798.02 c number of reductions to clauses (during analyze) : 0 1800.08/1798.02 c number of learned constraints concerned by reduction : 0 1800.08/1798.02 c number of learning phase by resolution : 0 1800.08/1798.02 c number of learning phase by cutting planes : 0 1800.08/1798.02 c speed (assignments/second) : 175676.5987989865 1800.08/1798.02 c non guided choices 33 1800.08/1798.03 c learnt constraints type 1800.08/1798.03 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 342 1800.08/1798.03 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16920 1800.08/1798.03 c constraints type 1800.08/1798.03 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 426 1800.08/1798.03 c org.sat4j.minisat.constraints.card.MinWatchCard => 426 1800.08/1798.03 c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1 1800.08/1798.03 s SATISFIABLE 1800.08/1798.04 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 x3761 -x3762 -x3763 -x3764 -x3765 x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 x6971 -x6972 -x6973 x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 1800.08/1798.05 c objective function=36521 1800.08/1798.05 c Total wall clock time (in seconds): 1797.943
OK 36521
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458860-1307139837/watcher-3458860-1307139837 -o /tmp/evaluation-result-3458860-1307139837/solver-3458860-1307139837 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458860-1307139837.opb running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.93 2.01 1.99 2/418 5200 /proc/meminfo: memFree=28630472/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=35788 CPUtime=0 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 1324 0 0 0 0 0 0 0 25 0 2 0 825583425 36646912 1025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 8947 1026 789 9 0 386 0 [pid=5200/tid=5201] ppid=5198 vsize=13526316 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 3331 0 1 0 0 0 0 0 25 0 2 0 825583426 13850947584 4147 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 2 0 0 0 [startup+0.0753571 s] /proc/loadavg: 1.93 2.01 1.99 2/418 5200 /proc/meminfo: memFree=28630472/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13555088 CPUtime=0.06 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 14358 0 1 0 4 2 0 0 25 0 18 0 825583425 13880410112 14054 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3388772 14054 1754 9 0 3379506 0 [pid=5200/tid=5201] ppid=5198 vsize=13555088 CPUtime=0.05 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 13183 0 1 0 4 1 0 0 25 0 18 0 825583426 13880410112 14054 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237278564672 0 4 0 16800975 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13555088 [startup+0.105353 s] /proc/loadavg: 1.93 2.01 1.99 2/418 5200 /proc/meminfo: memFree=28630472/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13621848 CPUtime=0.11 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 15542 0 1 0 9 2 0 0 25 0 18 0 825583425 13948772352 15238 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3405462 15238 2093 9 0 3396196 0 [pid=5200/tid=5201] ppid=5198 vsize=13621848 CPUtime=0.09 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 13656 0 1 0 7 2 0 0 25 0 18 0 825583426 13948772352 15238 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.11 Current children cumulated vsize (KiB) 13621848 [startup+0.30032 s] /proc/loadavg: 1.93 2.01 1.99 2/418 5200 /proc/meminfo: memFree=28630472/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13624592 CPUtime=0.54 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 22238 0 1 0 51 3 0 0 25 0 18 0 825583425 13951582208 20639 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3406148 20643 2202 9 0 3396882 0 [pid=5200/tid=5201] ppid=5198 vsize=13624592 CPUtime=0.28 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 17206 0 1 0 26 2 0 0 25 0 18 0 825583426 13951582208 20645 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 46912505607744 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.54 Current children cumulated vsize (KiB) 13624592 [startup+0.700293 s] /proc/loadavg: 1.93 2.01 1.99 2/418 5200 /proc/meminfo: memFree=28630472/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13627968 CPUtime=1.31 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 36004 0 1 0 127 4 0 0 25 0 19 0 825583425 13955039232 34356 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3406992 34356 2225 9 0 3397726 0 [pid=5200/tid=5201] ppid=5198 vsize=13627968 CPUtime=0.68 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 30172 0 1 0 65 3 0 0 25 0 19 0 825583426 13955039232 34356 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 47183952612179 0 4 0 16800975 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.31 Current children cumulated vsize (KiB) 13627968 [startup+1.50122 s] /proc/loadavg: 1.93 2.01 1.99 3/437 5219 /proc/meminfo: memFree=28497588/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13627968 CPUtime=2.35 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 39560 0 1 0 230 5 0 0 25 0 19 0 825583425 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3406992 35508 2227 9 0 3397726 0 [pid=5200/tid=5201] ppid=5198 vsize=13627968 CPUtime=1.49 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 31294 0 1 0 145 4 0 0 25 0 19 0 825583426 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 46912505748721 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=5200/tid=5203] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5203/stat : 5203 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5204] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5204/stat : 5204 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5205] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5205/stat : 5205 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5206] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5206/stat : 5206 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5207] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5207/stat : 5207 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5208] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5208/stat : 5208 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5209] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5209/stat : 5209 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5210] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5210/stat : 5210 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5211] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5211/stat : 5211 (java) S 5198 5200 31595 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 0 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5212] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5212/stat : 5212 (java) S 5198 5200 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825583429 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5213] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5213/stat : 5213 (java) S 5198 5200 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825583429 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5214] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5214/stat : 5214 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290703281 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5215] ppid=5198 vsize=13627968 CPUtime=0.46 cores=0,2,4,6 /proc/5200/task/5215/stat : 5215 (java) S 5198 5200 31595 0 -1 4202560 4861 0 0 0 46 0 0 0 24 0 19 0 825583431 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5216] ppid=5198 vsize=13627968 CPUtime=0.39 cores=0,2,4,6 /proc/5200/task/5216/stat : 5216 (java) S 5198 5200 31595 0 -1 4202560 2244 0 0 0 39 0 0 0 21 0 19 0 825583431 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5217] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5217/stat : 5217 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5218] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5218/stat : 5218 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825583431 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5219] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5219/stat : 5219 (java) S 5198 5200 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825583468 13955039232 35508 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.35 Current children cumulated vsize (KiB) 13627968 [startup+3.10093 s] /proc/loadavg: 1.93 2.01 1.99 3/437 5220 /proc/meminfo: memFree=28491256/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13627968 CPUtime=4 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 41159 0 1 0 395 5 0 0 25 0 19 0 825583425 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3406992 37106 2227 9 0 3397726 0 [pid=5200/tid=5201] ppid=5198 vsize=13627968 CPUtime=3.08 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 32890 0 1 0 304 4 0 0 25 0 19 0 825583426 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 47183952612179 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=5200/tid=5203] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5203/stat : 5203 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5204] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5204/stat : 5204 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5205] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5205/stat : 5205 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5206] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5206/stat : 5206 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5207] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5207/stat : 5207 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5208] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5208/stat : 5208 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5209] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5209/stat : 5209 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5210] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5210/stat : 5210 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583428 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5211] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5211/stat : 5211 (java) S 5198 5200 31595 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 0 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5212] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5212/stat : 5212 (java) S 5198 5200 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825583429 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5213] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5213/stat : 5213 (java) S 5198 5200 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825583429 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5214] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5214/stat : 5214 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290703281 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5215] ppid=5198 vsize=13627968 CPUtime=0.49 cores=0,2,4,6 /proc/5200/task/5215/stat : 5215 (java) S 5198 5200 31595 0 -1 4202560 4864 0 0 0 49 0 0 0 16 0 19 0 825583431 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5216] ppid=5198 vsize=13627968 CPUtime=0.4 cores=0,2,4,6 /proc/5200/task/5216/stat : 5216 (java) S 5198 5200 31595 0 -1 4202560 2244 0 0 0 40 0 0 0 15 0 19 0 825583431 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5217] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5217/stat : 5217 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5218] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5218/stat : 5218 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825583431 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5219] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5219/stat : 5219 (java) S 5198 5200 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825583468 13955039232 37106 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4 Current children cumulated vsize (KiB) 13627968 [startup+6.30125 s] /proc/loadavg: 1.93 2.01 1.99 3/437 5220 /proc/meminfo: memFree=28477460/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13627968 CPUtime=7.4 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 46063 0 1 0 734 6 0 0 25 0 19 0 825583425 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3406992 41934 2253 9 0 3397726 0 [pid=5200/tid=5201] ppid=5198 vsize=13627968 CPUtime=6.25 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) S 5198 5200 31595 0 -1 4202560 33052 0 1 0 621 4 0 0 25 0 19 0 825583426 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5203] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5203/stat : 5203 (java) S 5198 5200 31595 0 -1 4202560 867 0 0 0 0 0 0 0 15 0 19 0 825583428 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5204] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5204/stat : 5204 (java) S 5198 5200 31595 0 -1 4202560 537 0 0 0 0 0 0 0 16 0 19 0 825583428 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5205] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5205/stat : 5205 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825583428 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5206] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5206/stat : 5206 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825583428 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5207] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5207/stat : 5207 (java) S 5198 5200 31595 0 -1 4202560 523 0 0 0 0 0 0 0 16 0 19 0 825583428 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5208] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5208/stat : 5208 (java) S 5198 5200 31595 0 -1 4202560 217 0 0 0 0 0 0 0 18 0 19 0 825583428 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5209] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5209/stat : 5209 (java) S 5198 5200 31595 0 -1 4202560 681 0 0 0 0 0 0 0 15 0 19 0 825583428 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5210] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5210/stat : 5210 (java) S 5198 5200 31595 0 -1 4202560 498 0 0 0 0 0 0 0 18 0 19 0 825583428 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5211] ppid=5198 vsize=13627968 CPUtime=0.02 cores=0,2,4,6 /proc/5200/task/5211/stat : 5211 (java) R 5198 5200 31595 0 -1 4202560 1392 0 0 0 2 0 0 0 15 0 19 0 825583429 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 47183947042953 0 0 0 16800975 0 0 0 -1 2 0 0 0 [pid=5200/tid=5212] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5212/stat : 5212 (java) S 5198 5200 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5213] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5213/stat : 5213 (java) S 5198 5200 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5214] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5214/stat : 5214 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290703281 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5215] ppid=5198 vsize=13627968 CPUtime=0.56 cores=0,2,4,6 /proc/5200/task/5215/stat : 5215 (java) S 5198 5200 31595 0 -1 4202560 4877 0 0 0 56 0 0 0 15 0 19 0 825583431 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5216] ppid=5198 vsize=13627968 CPUtime=0.51 cores=0,2,4,6 /proc/5200/task/5216/stat : 5216 (java) S 5198 5200 31595 0 -1 4202560 2266 0 0 0 51 0 0 0 15 0 19 0 825583431 13955039232 41934 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 ################ # More data... # ################ [pid=5200/tid=5208] ppid=5198 vsize=13627968 CPUtime=0.17 cores=0,2,4,6 /proc/5200/task/5208/stat : 5208 (java) S 5198 5200 31595 0 -1 4202560 775 0 0 0 17 0 0 0 15 0 19 0 825583428 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5209] ppid=5198 vsize=13627968 CPUtime=0.17 cores=0,2,4,6 /proc/5200/task/5209/stat : 5209 (java) S 5198 5200 31595 0 -1 4202560 717 0 0 0 17 0 0 0 15 0 19 0 825583428 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5210] ppid=5198 vsize=13627968 CPUtime=0.16 cores=0,2,4,6 /proc/5200/task/5210/stat : 5210 (java) S 5198 5200 31595 0 -1 4202560 537 0 0 0 16 0 0 0 15 0 19 0 825583428 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5211] ppid=5198 vsize=13627968 CPUtime=6.57 cores=0,2,4,6 /proc/5200/task/5211/stat : 5211 (java) S 5198 5200 31595 0 -1 4202560 4726 0 0 0 654 3 0 0 15 0 19 0 825583429 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 0 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5212] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5212/stat : 5212 (java) S 5198 5200 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5213] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5213/stat : 5213 (java) S 5198 5200 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5214] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5214/stat : 5214 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290703281 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5215] ppid=5198 vsize=13627968 CPUtime=0.58 cores=0,2,4,6 /proc/5200/task/5215/stat : 5215 (java) S 5198 5200 31595 0 -1 4202560 4879 0 0 0 58 0 0 0 15 0 19 0 825583431 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5216] ppid=5198 vsize=13627968 CPUtime=0.6 cores=0,2,4,6 /proc/5200/task/5216/stat : 5216 (java) S 5198 5200 31595 0 -1 4202560 2280 0 0 0 60 0 0 0 15 0 19 0 825583431 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5217] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5217/stat : 5217 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5218] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5218/stat : 5218 (java) S 5198 5200 31595 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 825583431 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5219] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5219/stat : 5219 (java) S 5198 5200 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825583468 13955039232 47025 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1664.31 Current children cumulated vsize (KiB) 13627968 [startup+1722.3 s] /proc/loadavg: 2.02 2.02 2.00 3/437 5313 /proc/meminfo: memFree=29711556/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13627968 CPUtime=1724.33 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 51617 0 1 0 172420 13 0 0 25 0 19 0 825583425 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3406992 47051 2254 9 0 3397726 0 [pid=5200/tid=5201] ppid=5198 vsize=13627968 CPUtime=1714.97 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 33285 0 1 0 171491 6 0 0 25 0 19 0 825583426 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 46912505895965 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=5200/tid=5203] ppid=5198 vsize=13627968 CPUtime=0.17 cores=0,2,4,6 /proc/5200/task/5203/stat : 5203 (java) S 5198 5200 31595 0 -1 4202560 1424 0 0 0 17 0 0 0 15 0 19 0 825583428 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5204] ppid=5198 vsize=13627968 CPUtime=0.15 cores=0,2,4,6 /proc/5200/task/5204/stat : 5204 (java) S 5198 5200 31595 0 -1 4202560 560 0 0 0 15 0 0 0 15 0 19 0 825583428 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5205] ppid=5198 vsize=13627968 CPUtime=0.17 cores=0,2,4,6 /proc/5200/task/5205/stat : 5205 (java) S 5198 5200 31595 0 -1 4202560 23 0 0 0 17 0 0 0 15 0 19 0 825583428 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5206] ppid=5198 vsize=13627968 CPUtime=0.15 cores=0,2,4,6 /proc/5200/task/5206/stat : 5206 (java) S 5198 5200 31595 0 -1 4202560 548 0 0 0 15 0 0 0 15 0 19 0 825583428 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5207] ppid=5198 vsize=13627968 CPUtime=0.16 cores=0,2,4,6 /proc/5200/task/5207/stat : 5207 (java) S 5198 5200 31595 0 -1 4202560 582 0 0 0 16 0 0 0 15 0 19 0 825583428 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5208] ppid=5198 vsize=13627968 CPUtime=0.18 cores=0,2,4,6 /proc/5200/task/5208/stat : 5208 (java) S 5198 5200 31595 0 -1 4202560 776 0 0 0 18 0 0 0 15 0 19 0 825583428 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5209] ppid=5198 vsize=13627968 CPUtime=0.17 cores=0,2,4,6 /proc/5200/task/5209/stat : 5209 (java) S 5198 5200 31595 0 -1 4202560 717 0 0 0 17 0 0 0 15 0 19 0 825583428 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5210] ppid=5198 vsize=13627968 CPUtime=0.16 cores=0,2,4,6 /proc/5200/task/5210/stat : 5210 (java) S 5198 5200 31595 0 -1 4202560 537 0 0 0 16 0 0 0 15 0 19 0 825583428 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5211] ppid=5198 vsize=13627968 CPUtime=6.78 cores=0,2,4,6 /proc/5200/task/5211/stat : 5211 (java) S 5198 5200 31595 0 -1 4202560 4755 0 0 0 675 3 0 0 15 0 19 0 825583429 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 0 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5212] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5212/stat : 5212 (java) S 5198 5200 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5213] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5213/stat : 5213 (java) S 5198 5200 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5214] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5214/stat : 5214 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290703281 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5215] ppid=5198 vsize=13627968 CPUtime=0.58 cores=0,2,4,6 /proc/5200/task/5215/stat : 5215 (java) S 5198 5200 31595 0 -1 4202560 4879 0 0 0 58 0 0 0 15 0 19 0 825583431 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5216] ppid=5198 vsize=13627968 CPUtime=0.6 cores=0,2,4,6 /proc/5200/task/5216/stat : 5216 (java) S 5198 5200 31595 0 -1 4202560 2280 0 0 0 60 0 0 0 15 0 19 0 825583431 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5217] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5217/stat : 5217 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5218] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5218/stat : 5218 (java) S 5198 5200 31595 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 825583431 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5219] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5219/stat : 5219 (java) S 5198 5200 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825583468 13955039232 47051 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1724.33 Current children cumulated vsize (KiB) 13627968 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/437 5315 /proc/meminfo: memFree=29711136/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13627968 CPUtime=1784.36 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 51699 0 1 0 178423 13 0 0 25 0 19 0 825583425 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3406992 47121 2254 9 0 3397726 0 [pid=5200/tid=5201] ppid=5198 vsize=13627968 CPUtime=1774.7 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 33293 0 1 0 177464 6 0 0 25 0 19 0 825583426 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 46912505748666 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=5200/tid=5203] ppid=5198 vsize=13627968 CPUtime=0.17 cores=0,2,4,6 /proc/5200/task/5203/stat : 5203 (java) S 5198 5200 31595 0 -1 4202560 1424 0 0 0 17 0 0 0 15 0 19 0 825583428 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5204] ppid=5198 vsize=13627968 CPUtime=0.15 cores=0,2,4,6 /proc/5200/task/5204/stat : 5204 (java) S 5198 5200 31595 0 -1 4202560 561 0 0 0 15 0 0 0 16 0 19 0 825583428 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5205] ppid=5198 vsize=13627968 CPUtime=0.18 cores=0,2,4,6 /proc/5200/task/5205/stat : 5205 (java) S 5198 5200 31595 0 -1 4202560 24 0 0 0 18 0 0 0 15 0 19 0 825583428 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5206] ppid=5198 vsize=13627968 CPUtime=0.16 cores=0,2,4,6 /proc/5200/task/5206/stat : 5206 (java) S 5198 5200 31595 0 -1 4202560 548 0 0 0 16 0 0 0 16 0 19 0 825583428 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5207] ppid=5198 vsize=13627968 CPUtime=0.16 cores=0,2,4,6 /proc/5200/task/5207/stat : 5207 (java) S 5198 5200 31595 0 -1 4202560 582 0 0 0 16 0 0 0 16 0 19 0 825583428 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5208] ppid=5198 vsize=13627968 CPUtime=0.18 cores=0,2,4,6 /proc/5200/task/5208/stat : 5208 (java) S 5198 5200 31595 0 -1 4202560 776 0 0 0 18 0 0 0 15 0 19 0 825583428 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5209] ppid=5198 vsize=13627968 CPUtime=0.18 cores=0,2,4,6 /proc/5200/task/5209/stat : 5209 (java) S 5198 5200 31595 0 -1 4202560 717 0 0 0 18 0 0 0 15 0 19 0 825583428 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5210] ppid=5198 vsize=13627968 CPUtime=0.17 cores=0,2,4,6 /proc/5200/task/5210/stat : 5210 (java) S 5198 5200 31595 0 -1 4202560 537 0 0 0 17 0 0 0 16 0 19 0 825583428 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5211] ppid=5198 vsize=13627968 CPUtime=7.03 cores=0,2,4,6 /proc/5200/task/5211/stat : 5211 (java) S 5198 5200 31595 0 -1 4202560 4825 0 0 0 700 3 0 0 15 0 19 0 825583429 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 0 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5212] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5212/stat : 5212 (java) S 5198 5200 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5213] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5213/stat : 5213 (java) S 5198 5200 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5214] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5214/stat : 5214 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290703281 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5215] ppid=5198 vsize=13627968 CPUtime=0.58 cores=0,2,4,6 /proc/5200/task/5215/stat : 5215 (java) S 5198 5200 31595 0 -1 4202560 4879 0 0 0 58 0 0 0 15 0 19 0 825583431 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5216] ppid=5198 vsize=13627968 CPUtime=0.6 cores=0,2,4,6 /proc/5200/task/5216/stat : 5216 (java) S 5198 5200 31595 0 -1 4202560 2280 0 0 0 60 0 0 0 15 0 19 0 825583431 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5217] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5217/stat : 5217 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5218] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5218/stat : 5218 (java) S 5198 5200 31595 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825583431 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5219] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5219/stat : 5219 (java) S 5198 5200 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825583468 13955039232 47121 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1784.36 Current children cumulated vsize (KiB) 13627968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1798 s] /proc/loadavg: 2.00 2.01 2.00 3/437 5315 /proc/meminfo: memFree=29711112/32950904 swapFree=56615552/67111528 [pid=5200] ppid=5198 vsize=13627968 CPUtime=1800.08 cores=0,2,4,6 /proc/5200/stat : 5200 (java) S 5198 5200 31595 0 -1 4202496 51707 0 1 0 179995 13 0 0 25 0 19 0 825583425 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 /proc/5200/statm: 3406992 47123 2254 9 0 3397726 0 [pid=5200/tid=5201] ppid=5198 vsize=13627968 CPUtime=1790.34 cores=0,2,4,6 /proc/5200/task/5201/stat : 5201 (java) R 5198 5200 31595 0 -1 4202560 33295 0 1 0 179028 6 0 0 25 0 19 0 825583426 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 46912505748738 0 4 0 16800975 0 0 0 -1 2 0 0 0 [pid=5200/tid=5203] ppid=5198 vsize=13627968 CPUtime=0.17 cores=0,2,4,6 /proc/5200/task/5203/stat : 5203 (java) S 5198 5200 31595 0 -1 4202560 1424 0 0 0 17 0 0 0 15 0 19 0 825583428 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5204] ppid=5198 vsize=13627968 CPUtime=0.16 cores=0,2,4,6 /proc/5200/task/5204/stat : 5204 (java) S 5198 5200 31595 0 -1 4202560 561 0 0 0 16 0 0 0 15 0 19 0 825583428 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5205] ppid=5198 vsize=13627968 CPUtime=0.19 cores=0,2,4,6 /proc/5200/task/5205/stat : 5205 (java) S 5198 5200 31595 0 -1 4202560 26 0 0 0 19 0 0 0 15 0 19 0 825583428 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5206] ppid=5198 vsize=13627968 CPUtime=0.16 cores=0,2,4,6 /proc/5200/task/5206/stat : 5206 (java) S 5198 5200 31595 0 -1 4202560 548 0 0 0 16 0 0 0 15 0 19 0 825583428 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5207] ppid=5198 vsize=13627968 CPUtime=0.16 cores=0,2,4,6 /proc/5200/task/5207/stat : 5207 (java) S 5198 5200 31595 0 -1 4202560 582 0 0 0 16 0 0 0 15 0 19 0 825583428 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5208] ppid=5198 vsize=13627968 CPUtime=0.18 cores=0,2,4,6 /proc/5200/task/5208/stat : 5208 (java) S 5198 5200 31595 0 -1 4202560 776 0 0 0 18 0 0 0 15 0 19 0 825583428 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5209] ppid=5198 vsize=13627968 CPUtime=0.18 cores=0,2,4,6 /proc/5200/task/5209/stat : 5209 (java) S 5198 5200 31595 0 -1 4202560 717 0 0 0 18 0 0 0 15 0 19 0 825583428 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5210] ppid=5198 vsize=13627968 CPUtime=0.17 cores=0,2,4,6 /proc/5200/task/5210/stat : 5210 (java) S 5198 5200 31595 0 -1 4202560 537 0 0 0 17 0 0 0 15 0 19 0 825583428 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5211] ppid=5198 vsize=13627968 CPUtime=7.09 cores=0,2,4,6 /proc/5200/task/5211/stat : 5211 (java) S 5198 5200 31595 0 -1 4202560 4827 0 0 0 706 3 0 0 15 0 19 0 825583429 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 0 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5212] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5212/stat : 5212 (java) S 5198 5200 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5213] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5213/stat : 5213 (java) S 5198 5200 31595 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825583429 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 2 0 0 0 [pid=5200/tid=5214] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5214/stat : 5214 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290703281 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5215] ppid=5198 vsize=13627968 CPUtime=0.58 cores=0,2,4,6 /proc/5200/task/5215/stat : 5215 (java) S 5198 5200 31595 0 -1 4202560 4879 0 0 0 58 0 0 0 15 0 19 0 825583431 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5216] ppid=5198 vsize=13627968 CPUtime=0.6 cores=0,2,4,6 /proc/5200/task/5216/stat : 5216 (java) S 5198 5200 31595 0 -1 4202560 2280 0 0 0 60 0 0 0 15 0 19 0 825583431 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 0 0 0 0 [pid=5200/tid=5217] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5217/stat : 5217 (java) S 5198 5200 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825583431 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290695577 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 [pid=5200/tid=5218] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5218/stat : 5218 (java) S 5198 5200 31595 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 825583431 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 4 0 0 0 [pid=5200/tid=5219] ppid=5198 vsize=13627968 CPUtime=0 cores=0,2,4,6 /proc/5200/task/5219/stat : 5219 (java) S 5198 5200 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825583468 13955039232 47123 33554432000 1073741824 1073778376 140734782484592 18446744073709551615 237290696192 0 4 0 16800975 18446604449058685952 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 13627968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 143 Real time (s): 1798.07 CPU time (s): 1800.22 CPU user time (s): 1800.08 CPU system time (s): 0.145977 CPU usage (%): 100.12 Max. virtual memory (cumulated for all children) (KiB): 13627968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.145977 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 51853 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= 44037 involuntary context switches= 9720 runsolver used 7.63784 second user time and 15.2877 second system time The end
Begin job on node121 at 2011-06-04 00:23:57 IDJOB=3458860 IDBENCH=1521 IDSOLVER=1952 FILE ID=node121/3458860-1307139837 RUNJOBID= node121-1307133745-3291 PBS_JOBID= 13508795 Free space on /tmp= 73932 MiB SOLVER NAME= Sat4j Resolution 2.3.0 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air05.opb COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458860-1307139837/watcher-3458860-1307139837 -o /tmp/evaluation-result-3458860-1307139837/solver-3458860-1307139837 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458860-1307139837.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7a59cd2d9b82be306fe717119e5558d0 RANDOM SEED=976782364 node121.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.817 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.63 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.817 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 : 5226.07 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.817 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.84 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.817 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.77 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.817 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.817 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.74 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.817 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.75 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.817 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950904 kB MemFree: 28630768 kB Buffers: 304880 kB Cached: 460128 kB SwapCached: 9896 kB Active: 3649828 kB Inactive: 406948 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950904 kB LowFree: 28630768 kB SwapTotal: 67111528 kB SwapFree: 56615552 kB Dirty: 860 kB Writeback: 0 kB AnonPages: 3288944 kB Mapped: 21344 kB Slab: 141308 kB PageTables: 54864 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586980 kB Committed_AS: 96945764 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= 73952 MiB End job on node121 at 2011-06-04 00:53:57