0.01/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.09	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		12995394264
0.01/0.09	c Max memory 		13063553024
0.01/0.09	c Total memory 		13063553024
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3458864-1307140266.opb
0.10/0.11	c reading problem ... 
0.53/0.37	c ... done. Wall clock time 0.26s.
0.53/0.37	c #vars     7195
0.53/0.37	c #constraints  958
0.53/0.37	c constraints type 
0.53/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29
0.53/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 29
0.53/0.37	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 900
3.29/2.50	c cleaning 2497 clauses out of 5001 with flag 5001/5001
5.75/4.92	c cleaning 4259 clauses out of 8526 with flag 11023/11023
10.37/9.46	c cleaning 5623 clauses out of 11252 with flag 18008/18008
14.09/12.85	c cleaning 6809 clauses out of 13629 with flag 26008/26008
21.93/20.27	c cleaning 7898 clauses out of 15821 with flag 35009/35009
28.16/26.42	c SATISFIABLE
28.16/26.42	c OPTIMIZING...
28.16/26.42	c Got one! Elapsed wall clock time (in seconds):26.305
28.16/26.42	o 5131
28.48/26.78	c Got one! Elapsed wall clock time (in seconds):26.666
28.48/26.78	o 1655
30.00/28.29	c Got one! Elapsed wall clock time (in seconds):28.178
30.00/28.29	o 1601
30.94/29.18	c cleaning 11320 clauses out of 22659 with flag 2001/49746
35.76/33.97	c cleaning 8656 clauses out of 17338 with flag 8000/55745
39.96/38.10	c cleaning 7839 clauses out of 15682 with flag 15000/62745
44.17/42.39	c cleaning 7918 clauses out of 15843 with flag 23000/70745
48.77/46.93	c cleaning 8455 clauses out of 16925 with flag 32000/79745
53.48/51.61	c cleaning 9230 clauses out of 18470 with flag 42000/89745
58.58/56.79	c cleaning 9612 clauses out of 19240 with flag 52000/99745
63.39/61.52	c cleaning 9803 clauses out of 19629 with flag 62001/109746
68.38/66.58	c cleaning 9903 clauses out of 19827 with flag 72002/119747
73.18/71.39	c cleaning 9951 clauses out of 19922 with flag 82000/129745
78.29/76.45	c cleaning 9980 clauses out of 19971 with flag 92000/139745
83.20/81.33	c cleaning 9986 clauses out of 19991 with flag 102000/149745
88.09/86.26	c cleaning 9988 clauses out of 20006 with flag 112001/159746
92.49/90.60	c cleaning 10004 clauses out of 20018 with flag 122001/169746
96.80/94.90	c cleaning 9996 clauses out of 20013 with flag 132000/179745
101.91/100.11	c cleaning 9994 clauses out of 20017 with flag 142000/189745
106.50/104.66	c cleaning 10004 clauses out of 20023 with flag 152000/199745
111.51/109.66	c cleaning 10002 clauses out of 20019 with flag 162000/209745
116.61/114.73	c cleaning 10004 clauses out of 20017 with flag 172000/219745
122.22/120.31	c cleaning 9987 clauses out of 20013 with flag 182000/229745
127.42/125.50	c cleaning 10002 clauses out of 20026 with flag 192000/239745
133.33/131.42	c cleaning 9989 clauses out of 20024 with flag 202000/249745
139.13/137.29	c cleaning 10009 clauses out of 20036 with flag 212001/259746
144.33/142.45	c cleaning 10004 clauses out of 20026 with flag 222000/269745
149.53/147.65	c cleaning 10008 clauses out of 20024 with flag 232002/279747
154.34/152.44	c cleaning 10001 clauses out of 20014 with flag 242000/289745
158.44/156.52	c cleaning 9999 clauses out of 20014 with flag 252001/299746
163.04/161.12	c cleaning 10001 clauses out of 20014 with flag 262000/309745
167.65/165.79	c cleaning 9997 clauses out of 20013 with flag 272000/319745
172.15/170.20	c cleaning 9999 clauses out of 20016 with flag 282000/329745
176.77/174.85	c cleaning 10002 clauses out of 20018 with flag 292001/339746
181.17/179.28	c cleaning 10003 clauses out of 20015 with flag 302000/349745
185.76/183.80	c cleaning 10001 clauses out of 20013 with flag 312001/359746
190.56/188.63	c cleaning 9996 clauses out of 20011 with flag 322000/369745
195.66/193.71	c cleaning 9997 clauses out of 20015 with flag 332000/379745
200.27/198.32	c cleaning 10001 clauses out of 20023 with flag 342005/389750
204.88/202.92	c cleaning 10006 clauses out of 20019 with flag 352002/399747
210.08/208.11	c cleaning 9999 clauses out of 20011 with flag 362000/409745
214.38/212.49	c cleaning 9994 clauses out of 20012 with flag 372000/419745
219.08/217.15	c cleaning 10003 clauses out of 20018 with flag 382000/429745
223.48/221.50	c cleaning 10000 clauses out of 20015 with flag 392000/439745
227.69/225.76	c cleaning 9998 clauses out of 20015 with flag 402000/449745
232.49/230.51	c cleaning 10003 clauses out of 20020 with flag 412003/459748
236.39/234.49	c cleaning 10002 clauses out of 20015 with flag 422001/469746
240.79/238.80	c cleaning 10000 clauses out of 20012 with flag 432000/479745
245.30/243.38	c cleaning 10000 clauses out of 20013 with flag 442001/489746
250.50/248.61	c cleaning 10003 clauses out of 20015 with flag 452003/499748
255.60/253.63	c cleaning 9997 clauses out of 20009 with flag 462000/509745
260.80/258.83	c cleaning 9996 clauses out of 20012 with flag 472000/519745
265.71/263.71	c cleaning 10000 clauses out of 20019 with flag 482003/529748
270.91/268.96	c cleaning 9995 clauses out of 20016 with flag 492000/539745
276.11/274.17	c cleaning 10004 clauses out of 20022 with flag 502001/549746
281.52/279.57	c cleaning 10002 clauses out of 20020 with flag 512003/559748
286.62/284.65	c cleaning 10000 clauses out of 20015 with flag 522000/569745
291.52/289.57	c cleaning 9998 clauses out of 20015 with flag 532000/579745
296.23/294.23	c cleaning 9999 clauses out of 20017 with flag 542000/589745
301.14/299.13	c cleaning 10003 clauses out of 20018 with flag 552000/599745
306.34/304.33	c cleaning 10001 clauses out of 20015 with flag 562000/609745
311.24/309.29	c cleaning 9999 clauses out of 20014 with flag 572000/619745
316.14/314.15	c cleaning 10003 clauses out of 20020 with flag 582005/629750
320.96/319.00	c cleaning 10001 clauses out of 20013 with flag 592001/639746
325.85/323.80	c cleaning 9998 clauses out of 20012 with flag 602001/649746
330.37/328.30	c cleaning 10000 clauses out of 20013 with flag 612000/659745
335.07/333.08	c cleaning 9996 clauses out of 20013 with flag 622000/669745
339.88/337.86	c cleaning 10000 clauses out of 20017 with flag 632000/679745
344.48/342.45	c cleaning 9999 clauses out of 20017 with flag 642000/689745
348.98/346.96	c cleaning 10000 clauses out of 20018 with flag 652000/699745
353.99/351.95	c cleaning 10003 clauses out of 20019 with flag 662001/709746
359.09/357.01	c cleaning 9997 clauses out of 20017 with flag 672002/719747
364.09/362.01	c cleaning 10006 clauses out of 20024 with flag 682006/729751
369.59/367.50	c cleaning 9995 clauses out of 20013 with flag 692001/739746
375.20/373.16	c cleaning 10004 clauses out of 20020 with flag 702003/749748
380.60/378.56	c cleaning 9997 clauses out of 20013 with flag 712000/759745
385.70/383.66	c cleaning 10001 clauses out of 20016 with flag 722000/769745
390.91/388.89	c cleaning 10000 clauses out of 20015 with flag 732000/779745
395.92/393.83	c cleaning 10000 clauses out of 20015 with flag 742000/789745
400.71/398.66	c cleaning 9999 clauses out of 20016 with flag 752001/799746
405.21/403.16	c cleaning 10000 clauses out of 20017 with flag 762001/809746
409.72/407.66	c cleaning 9995 clauses out of 20016 with flag 772000/819745
414.32/412.26	c cleaning 10001 clauses out of 20022 with flag 782001/829746
418.52/416.49	c cleaning 10000 clauses out of 20020 with flag 792000/839745
423.33/421.21	c cleaning 9998 clauses out of 20020 with flag 802000/849745
427.92/425.84	c cleaning 10007 clauses out of 20022 with flag 812000/859745
432.73/430.62	c cleaning 10002 clauses out of 20018 with flag 822003/869748
437.03/434.91	c cleaning 9994 clauses out of 20013 with flag 832000/879745
441.33/439.23	c cleaning 9995 clauses out of 20019 with flag 842000/889745
446.44/444.39	c cleaning 10008 clauses out of 20030 with flag 852006/899751
451.43/449.39	c cleaning 9998 clauses out of 20016 with flag 862000/909745
456.14/454.00	c cleaning 10004 clauses out of 20018 with flag 872000/919745
461.34/459.24	c cleaning 10004 clauses out of 20014 with flag 882000/929745
465.94/463.82	c cleaning 10000 clauses out of 20015 with flag 892005/939750
470.75/468.65	c cleaning 10001 clauses out of 20010 with flag 902000/949745
475.45/473.31	c cleaning 9998 clauses out of 20009 with flag 912000/959745
480.25/478.14	c cleaning 10000 clauses out of 20012 with flag 922001/969746
485.15/483.09	c cleaning 10000 clauses out of 20012 with flag 932001/979746
490.05/487.92	c cleaning 9999 clauses out of 20011 with flag 942000/989745
494.56/492.43	c cleaning 9995 clauses out of 20012 with flag 952000/999745
499.16/497.02	c cleaning 9999 clauses out of 20017 with flag 962000/1009745
503.77/501.70	c cleaning 9998 clauses out of 20020 with flag 972002/1019747
508.76/506.65	c cleaning 9998 clauses out of 20021 with flag 982001/1029746
513.57/511.51	c cleaning 9996 clauses out of 20022 with flag 992000/1039745
518.26/516.16	c cleaning 10004 clauses out of 20026 with flag 1002000/1049745
523.06/520.92	c cleaning 10006 clauses out of 20022 with flag 1012000/1059745
527.98/525.89	c cleaning 10002 clauses out of 20019 with flag 1022003/1069748
532.97/530.89	c cleaning 9993 clauses out of 20016 with flag 1032002/1079747
537.89/535.71	c cleaning 10007 clauses out of 20021 with flag 1042000/1089745
542.97/540.83	c cleaning 9996 clauses out of 20016 with flag 1052002/1099747
548.38/546.21	c cleaning 9999 clauses out of 20018 with flag 1062000/1109745
553.58/551.45	c cleaning 10000 clauses out of 20019 with flag 1072000/1119745
558.49/556.33	c cleaning 10001 clauses out of 20019 with flag 1082000/1129745
562.99/560.80	c cleaning 10002 clauses out of 20019 with flag 1092001/1139746
567.09/564.99	c cleaning 10000 clauses out of 20016 with flag 1102000/1149745
571.59/569.47	c cleaning 10001 clauses out of 20016 with flag 1112000/1159745
576.49/574.36	c cleaning 10000 clauses out of 20015 with flag 1122000/1169745
581.50/579.30	c cleaning 9999 clauses out of 20015 with flag 1132000/1179745
586.51/584.34	c cleaning 10002 clauses out of 20016 with flag 1142000/1189745
591.01/588.88	c cleaning 9998 clauses out of 20014 with flag 1152000/1199745
595.51/593.37	c cleaning 9997 clauses out of 20017 with flag 1162001/1209746
600.22/598.02	c cleaning 10001 clauses out of 20021 with flag 1172002/1219747
605.04/602.85	c cleaning 9998 clauses out of 20019 with flag 1182001/1229746
610.23/608.08	c cleaning 10000 clauses out of 20020 with flag 1192000/1239745
614.73/612.59	c cleaning 9989 clauses out of 20020 with flag 1202000/1249745
619.35/617.14	c cleaning 10002 clauses out of 20032 with flag 1212001/1259746
624.64/622.41	c cleaning 9999 clauses out of 20031 with flag 1222002/1269747
629.74/627.51	c cleaning 10002 clauses out of 20030 with flag 1232000/1279745
634.34/632.11	c cleaning 10001 clauses out of 20028 with flag 1242000/1289745
639.05/636.83	c cleaning 10006 clauses out of 20028 with flag 1252001/1299746
643.95/641.77	c cleaning 9993 clauses out of 20022 with flag 1262001/1309746
648.45/646.27	c cleaning 10005 clauses out of 20033 with flag 1272005/1319750
652.85/650.68	c cleaning 10003 clauses out of 20024 with flag 1282001/1329746
657.56/655.34	c cleaning 10004 clauses out of 20020 with flag 1292000/1339745
662.96/660.71	c cleaning 10000 clauses out of 20016 with flag 1302000/1349745
667.86/665.65	c cleaning 9999 clauses out of 20016 with flag 1312000/1359745
672.36/670.19	c cleaning 10002 clauses out of 20017 with flag 1322000/1369745
676.77/674.56	c cleaning 10003 clauses out of 20016 with flag 1332001/1379746
680.77/678.59	c cleaning 10003 clauses out of 20014 with flag 1342002/1389747
685.28/683.04	c cleaning 9999 clauses out of 20014 with flag 1352005/1399750
690.07/687.83	c cleaning 9991 clauses out of 20010 with flag 1362000/1409745
695.18/692.99	c cleaning 10001 clauses out of 20019 with flag 1372000/1419745
699.38/697.14	c cleaning 9999 clauses out of 20018 with flag 1382000/1429745
704.00/701.72	c cleaning 10004 clauses out of 20022 with flag 1392003/1439748
708.29/706.04	c cleaning 10000 clauses out of 20015 with flag 1402000/1449745
712.39/710.12	c cleaning 10004 clauses out of 20017 with flag 1412002/1459747
716.90/714.61	c cleaning 10003 clauses out of 20011 with flag 1422000/1469745
721.80/719.50	c cleaning 9985 clauses out of 20008 with flag 1432000/1479745
726.50/724.24	c cleaning 10001 clauses out of 20023 with flag 1442000/1489745
731.01/728.76	c cleaning 10005 clauses out of 20023 with flag 1452001/1499746
735.21/732.92	c cleaning 10001 clauses out of 20017 with flag 1462000/1509745
739.71/737.49	c cleaning 9993 clauses out of 20016 with flag 1472000/1519745
744.21/741.95	c cleaning 9997 clauses out of 20023 with flag 1482000/1529745
749.02/746.76	c cleaning 10006 clauses out of 20027 with flag 1492001/1539746
753.92/751.63	c cleaning 10004 clauses out of 20020 with flag 1502000/1549745
759.14/756.82	c cleaning 10001 clauses out of 20018 with flag 1512002/1559747
763.82/761.55	c cleaning 10002 clauses out of 20016 with flag 1522001/1569746
768.43/766.11	c cleaning 9997 clauses out of 20014 with flag 1532001/1579746
773.03/770.79	c cleaning 9992 clauses out of 20016 with flag 1542000/1589745
777.13/774.84	c cleaning 10000 clauses out of 20024 with flag 1552000/1599745
781.34/779.07	c cleaning 10004 clauses out of 20025 with flag 1562001/1609746
785.74/783.44	c cleaning 9997 clauses out of 20020 with flag 1572000/1619745
789.44/787.17	c cleaning 10008 clauses out of 20025 with flag 1582002/1629747
795.15/792.80	c cleaning 9996 clauses out of 20015 with flag 1592000/1639745
800.85/798.57	c cleaning 9998 clauses out of 20019 with flag 1602000/1649745
806.25/803.93	c cleaning 10003 clauses out of 20021 with flag 1612000/1659745
811.65/809.32	c cleaning 9993 clauses out of 20019 with flag 1622001/1669746
816.65/814.32	c cleaning 10009 clauses out of 20026 with flag 1632001/1679746
821.87/819.54	c cleaning 10002 clauses out of 20016 with flag 1642000/1689745
827.06/824.70	c cleaning 10001 clauses out of 20016 with flag 1652002/1699747
831.96/829.68	c cleaning 9996 clauses out of 20013 with flag 1662000/1709745
837.06/834.78	c cleaning 9998 clauses out of 20018 with flag 1672001/1719746
842.36/840.08	c cleaning 9998 clauses out of 20019 with flag 1682000/1729745
847.46/845.18	c cleaning 10003 clauses out of 20022 with flag 1692001/1739746
852.57/850.25	c cleaning 10001 clauses out of 20018 with flag 1702000/1749745
857.37/855.06	c cleaning 10003 clauses out of 20017 with flag 1712000/1759745
862.58/860.23	c cleaning 10004 clauses out of 20017 with flag 1722003/1769748
867.27/864.92	c cleaning 9999 clauses out of 20011 with flag 1732001/1779746
871.47/869.15	c cleaning 9992 clauses out of 20012 with flag 1742001/1789746
875.79/873.48	c cleaning 10001 clauses out of 20019 with flag 1752000/1799745
880.28/877.95	c cleaning 10005 clauses out of 20018 with flag 1762000/1809745
884.49/882.16	c cleaning 10000 clauses out of 20013 with flag 1772000/1819745
888.89/886.59	c cleaning 10000 clauses out of 20013 with flag 1782000/1829745
893.30/890.97	c cleaning 9997 clauses out of 20014 with flag 1792001/1839746
897.49/895.14	c cleaning 9997 clauses out of 20017 with flag 1802001/1849746
901.70/899.37	c cleaning 9999 clauses out of 20019 with flag 1812000/1859745
906.00/903.65	c cleaning 9999 clauses out of 20020 with flag 1822000/1869745
910.20/907.84	c cleaning 9999 clauses out of 20021 with flag 1832000/1879745
914.60/912.20	c cleaning 10002 clauses out of 20025 with flag 1842003/1889748
918.90/916.59	c cleaning 10000 clauses out of 20020 with flag 1852000/1899745
923.31/920.96	c cleaning 9999 clauses out of 20020 with flag 1862000/1909745
927.71/925.38	c cleaning 10003 clauses out of 20021 with flag 1872000/1919745
931.93/929.53	c cleaning 10006 clauses out of 20019 with flag 1882001/1929746
936.23/933.82	c cleaning 9997 clauses out of 20012 with flag 1892000/1939745
940.63/938.30	c cleaning 10000 clauses out of 20015 with flag 1902000/1949745
945.03/942.68	c cleaning 9998 clauses out of 20015 with flag 1912000/1959745
949.33/946.93	c cleaning 9997 clauses out of 20017 with flag 1922000/1969745
953.73/951.38	c cleaning 9997 clauses out of 20020 with flag 1932000/1979745
957.94/955.58	c cleaning 10002 clauses out of 20023 with flag 1942000/1989745
962.44/960.06	c cleaning 10005 clauses out of 20023 with flag 1952002/1999747
967.74/965.38	c cleaning 9998 clauses out of 20016 with flag 1962000/2009745
971.94/969.50	c cleaning 9996 clauses out of 20019 with flag 1972001/2019746
976.74/974.32	c cleaning 9997 clauses out of 20022 with flag 1982000/2029745
981.46/979.08	c cleaning 10005 clauses out of 20025 with flag 1992000/2039745
986.25/983.81	c cleaning 9997 clauses out of 20022 with flag 2002002/2049747
991.15/988.78	c cleaning 10005 clauses out of 20025 with flag 2012002/2059747
995.45/993.09	c cleaning 10000 clauses out of 20018 with flag 2022000/2069745
1000.26/997.81	c cleaning 9996 clauses out of 20018 with flag 2032000/2079745
1004.36/1001.99	c cleaning 10003 clauses out of 20024 with flag 2042002/2089747
1009.26/1006.80	c cleaning 10003 clauses out of 20020 with flag 2052001/2099746
1013.66/1011.25	c cleaning 9996 clauses out of 20016 with flag 2062000/2109745
1018.26/1015.83	c cleaning 9992 clauses out of 20021 with flag 2072001/2119746
1022.87/1020.41	c cleaning 10000 clauses out of 20028 with flag 2082000/2129745
1026.67/1024.21	c cleaning 10006 clauses out of 20028 with flag 2092000/2139745
1030.47/1028.03	c cleaning 10005 clauses out of 20022 with flag 2102000/2149745
1034.48/1032.04	c cleaning 9997 clauses out of 20018 with flag 2112001/2159746
1038.98/1036.51	c cleaning 9999 clauses out of 20020 with flag 2122000/2169745
1043.38/1040.91	c cleaning 10008 clauses out of 20025 with flag 2132004/2179749
1047.68/1045.20	c cleaning 10003 clauses out of 20016 with flag 2142003/2189748
1052.39/1049.97	c cleaning 9998 clauses out of 20010 with flag 2152000/2199745
1057.59/1055.13	c cleaning 9987 clauses out of 20012 with flag 2162000/2209745
1062.40/1059.94	c cleaning 10002 clauses out of 20027 with flag 2172002/2219747
1067.10/1064.62	c cleaning 10008 clauses out of 20027 with flag 2182004/2229749
1071.90/1069.40	c cleaning 10001 clauses out of 20015 with flag 2192000/2239745
1077.21/1074.75	c cleaning 9996 clauses out of 20015 with flag 2202001/2249746
1082.50/1080.08	c cleaning 10002 clauses out of 20019 with flag 2212001/2259746
1087.80/1085.39	c cleaning 9998 clauses out of 20018 with flag 2222002/2269747
1092.90/1090.44	c cleaning 10000 clauses out of 20019 with flag 2232001/2279746
1097.91/1095.50	c cleaning 10001 clauses out of 20019 with flag 2242001/2289746
1102.92/1100.43	c cleaning 10004 clauses out of 20017 with flag 2252000/2299745
1107.32/1104.84	c cleaning 9993 clauses out of 20013 with flag 2262000/2309745
1111.52/1109.07	c cleaning 10003 clauses out of 20020 with flag 2272000/2319745
1115.93/1113.43	c cleaning 10000 clauses out of 20017 with flag 2282000/2329745
1120.15/1117.69	c cleaning 10001 clauses out of 20017 with flag 2292000/2339745
1124.24/1121.76	c cleaning 10003 clauses out of 20016 with flag 2302000/2349745
1128.54/1126.09	c cleaning 9990 clauses out of 20014 with flag 2312001/2359746
1132.94/1130.44	c cleaning 10003 clauses out of 20023 with flag 2322000/2369745
1137.34/1134.81	c cleaning 10006 clauses out of 20020 with flag 2332000/2379745
1141.55/1139.07	c cleaning 9999 clauses out of 20015 with flag 2342001/2389746
1145.75/1143.26	c cleaning 9998 clauses out of 20016 with flag 2352001/2399746
1150.15/1147.62	c cleaning 9998 clauses out of 20018 with flag 2362001/2409746
1154.35/1151.80	c cleaning 9996 clauses out of 20019 with flag 2372000/2419745
1158.76/1156.21	c cleaning 9994 clauses out of 20023 with flag 2382000/2429745
1163.07/1160.52	c cleaning 9996 clauses out of 20029 with flag 2392000/2439745
1167.86/1165.38	c cleaning 10009 clauses out of 20034 with flag 2402001/2449746
1172.66/1170.18	c cleaning 9996 clauses out of 20024 with flag 2412000/2459745
1177.47/1174.91	c cleaning 10003 clauses out of 20030 with flag 2422002/2469747
1182.47/1179.91	c cleaning 10009 clauses out of 20029 with flag 2432004/2479749
1187.17/1184.64	c cleaning 9999 clauses out of 20017 with flag 2442001/2489746
1191.87/1189.30	c cleaning 9997 clauses out of 20017 with flag 2452000/2499745
1196.57/1194.01	c cleaning 10006 clauses out of 20021 with flag 2462001/2509746
1201.07/1198.55	c cleaning 9999 clauses out of 20015 with flag 2472001/2519746
1205.78/1203.27	c cleaning 9997 clauses out of 20015 with flag 2482000/2529745
1210.48/1207.93	c cleaning 10000 clauses out of 20018 with flag 2492000/2539745
1215.08/1212.59	c cleaning 10002 clauses out of 20023 with flag 2502005/2549750
1219.58/1217.06	c cleaning 10000 clauses out of 20019 with flag 2512003/2559748
1224.08/1221.57	c cleaning 9999 clauses out of 20016 with flag 2522000/2569745
1228.48/1225.93	c cleaning 9993 clauses out of 20017 with flag 2532000/2579745
1233.09/1230.59	c cleaning 10004 clauses out of 20025 with flag 2542001/2589746
1238.59/1236.10	c cleaning 9996 clauses out of 20020 with flag 2552000/2599745
1245.61/1243.07	c cleaning 10010 clauses out of 20027 with flag 2562003/2609748
1250.30/1247.76	c cleaning 10002 clauses out of 20016 with flag 2572002/2619747
1255.00/1252.44	c cleaning 9997 clauses out of 20013 with flag 2582001/2629746
1259.60/1257.00	c cleaning 9998 clauses out of 20015 with flag 2592000/2639745
1264.31/1261.79	c cleaning 9997 clauses out of 20019 with flag 2602002/2649747
1269.10/1266.52	c cleaning 10000 clauses out of 20020 with flag 2612000/2659745
1273.80/1271.21	c cleaning 10001 clauses out of 20020 with flag 2622000/2669745
1277.52/1274.93	c cleaning 10003 clauses out of 20020 with flag 2632001/2679746
1281.21/1278.69	c cleaning 10004 clauses out of 20017 with flag 2642001/2689746
1284.91/1282.39	c cleaning 9996 clauses out of 20012 with flag 2652000/2699745
1288.61/1286.09	c cleaning 9997 clauses out of 20016 with flag 2662000/2709745
1292.22/1289.65	c cleaning 10005 clauses out of 20021 with flag 2672002/2719747
1295.72/1293.18	c cleaning 10000 clauses out of 20014 with flag 2682000/2729745
1299.43/1296.91	c cleaning 10000 clauses out of 20014 with flag 2692000/2739745
1303.23/1300.68	c cleaning 10000 clauses out of 20015 with flag 2702001/2749746
1307.03/1304.46	c cleaning 9999 clauses out of 20014 with flag 2712000/2759745
1310.73/1308.17	c cleaning 10003 clauses out of 20016 with flag 2722001/2769746
1314.53/1311.92	c cleaning 10001 clauses out of 20012 with flag 2732000/2779745
1317.93/1315.38	c cleaning 9995 clauses out of 20012 with flag 2742001/2789746
1321.64/1319.05	c cleaning 9999 clauses out of 20017 with flag 2752001/2799746
1325.54/1322.98	c cleaning 10004 clauses out of 20019 with flag 2762002/2809747
1329.26/1326.69	c cleaning 9996 clauses out of 20013 with flag 2772000/2819745
1333.15/1330.59	c cleaning 10004 clauses out of 20017 with flag 2782000/2829745
1336.96/1334.32	c cleaning 9998 clauses out of 20013 with flag 2792000/2839745
1340.65/1338.04	c cleaning 9997 clauses out of 20015 with flag 2802000/2849745
1344.35/1341.77	c cleaning 10000 clauses out of 20022 with flag 2812004/2859749
1348.25/1345.69	c cleaning 10004 clauses out of 20018 with flag 2822000/2869745
1352.15/1349.53	c cleaning 10002 clauses out of 20015 with flag 2832001/2879746
1356.06/1353.44	c cleaning 10000 clauses out of 20014 with flag 2842002/2889747
1359.97/1357.39	c cleaning 9993 clauses out of 20012 with flag 2852000/2899745
1363.86/1361.26	c cleaning 10004 clauses out of 20019 with flag 2862000/2909745
1367.87/1365.21	c cleaning 9999 clauses out of 20015 with flag 2872000/2919745
1371.47/1368.83	c cleaning 9999 clauses out of 20016 with flag 2882000/2929745
1375.49/1372.85	c cleaning 10004 clauses out of 20018 with flag 2892001/2939746
1379.47/1376.85	c cleaning 10000 clauses out of 20015 with flag 2902002/2949747
1383.48/1380.81	c cleaning 10001 clauses out of 20017 with flag 2912004/2959749
1387.49/1384.88	c cleaning 9999 clauses out of 20013 with flag 2922001/2969746
1391.28/1388.66	c cleaning 10000 clauses out of 20015 with flag 2932002/2979747
1395.30/1392.64	c cleaning 10000 clauses out of 20015 with flag 2942002/2989747
1399.99/1397.37	c cleaning 10001 clauses out of 20013 with flag 2952000/2999745
1404.69/1402.07	c cleaning 10000 clauses out of 20013 with flag 2962001/3009746
1409.19/1406.56	c cleaning 10002 clauses out of 20013 with flag 2972001/3019746
1413.90/1411.25	c cleaning 9999 clauses out of 20011 with flag 2982001/3029746
1418.70/1416.05	c cleaning 9996 clauses out of 20014 with flag 2992003/3039748
1424.00/1421.36	c cleaning 9995 clauses out of 20015 with flag 3002000/3049745
1428.80/1426.15	c cleaning 10004 clauses out of 20024 with flag 3012004/3059749
1433.31/1430.60	c cleaning 10000 clauses out of 20016 with flag 3022000/3069745
1437.71/1435.00	c cleaning 10000 clauses out of 20016 with flag 3032000/3079745
1442.71/1440.00	c cleaning 9993 clauses out of 20017 with flag 3042001/3089746
1447.51/1444.87	c cleaning 10003 clauses out of 20024 with flag 3052001/3099746
1452.22/1449.51	c cleaning 10003 clauses out of 20021 with flag 3062001/3109746
1456.72/1454.03	c cleaning 10001 clauses out of 20017 with flag 3072000/3119745
1461.12/1458.50	c cleaning 10006 clauses out of 20017 with flag 3082001/3129746
1466.05/1463.36	c cleaning 9998 clauses out of 20011 with flag 3092001/3139746
1471.05/1468.41	c cleaning 9998 clauses out of 20012 with flag 3102000/3149745
1475.75/1473.03	c cleaning 10006 clauses out of 20017 with flag 3112003/3159748
1481.06/1478.41	c cleaning 9993 clauses out of 20008 with flag 3122000/3169745
1485.96/1483.24	c cleaning 9998 clauses out of 20016 with flag 3132001/3179746
1490.98/1488.26	c cleaning 10003 clauses out of 20020 with flag 3142003/3189748
1496.07/1493.33	c cleaning 9999 clauses out of 20014 with flag 3152000/3199745
1500.78/1498.03	c cleaning 10002 clauses out of 20018 with flag 3162003/3209748
1505.18/1502.47	c cleaning 10000 clauses out of 20015 with flag 3172002/3219747
1509.58/1506.89	c cleaning 9999 clauses out of 20013 with flag 3182000/3229745
1513.98/1511.31	c cleaning 10002 clauses out of 20014 with flag 3192000/3239745
1518.69/1515.91	c cleaning 9994 clauses out of 20013 with flag 3202001/3249746
1523.29/1520.59	c cleaning 9996 clauses out of 20018 with flag 3212000/3259745
1527.90/1525.18	c cleaning 9999 clauses out of 20025 with flag 3222003/3269748
1532.50/1529.79	c cleaning 10001 clauses out of 20023 with flag 3232000/3279745
1537.31/1534.54	c cleaning 10005 clauses out of 20022 with flag 3242000/3289745
1542.10/1539.39	c cleaning 9998 clauses out of 20017 with flag 3252000/3299745
1547.22/1544.41	c cleaning 10003 clauses out of 20023 with flag 3262004/3309749
1552.21/1549.44	c cleaning 10003 clauses out of 20017 with flag 3272001/3319746
1557.02/1554.31	c cleaning 9999 clauses out of 20014 with flag 3282001/3329746
1562.21/1559.48	c cleaning 10000 clauses out of 20014 with flag 3292000/3339745
1566.92/1564.15	c cleaning 9996 clauses out of 20016 with flag 3302002/3349747
1571.62/1568.86	c cleaning 9994 clauses out of 20020 with flag 3312002/3359747
1576.62/1573.85	c cleaning 10000 clauses out of 20025 with flag 3322001/3369746
1581.72/1578.99	c cleaning 10004 clauses out of 20025 with flag 3332001/3379746
1586.62/1583.88	c cleaning 9992 clauses out of 20020 with flag 3342000/3389745
1591.33/1588.60	c cleaning 10001 clauses out of 20028 with flag 3352000/3399745
1596.83/1594.00	c cleaning 10003 clauses out of 20033 with flag 3362006/3409751
1601.63/1598.83	c cleaning 10002 clauses out of 20025 with flag 3372001/3419746
1607.04/1604.25	c cleaning 10007 clauses out of 20023 with flag 3382001/3429746
1611.94/1609.19	c cleaning 9999 clauses out of 20015 with flag 3392000/3439745
1617.25/1614.44	c cleaning 9996 clauses out of 20020 with flag 3402004/3449749
1621.86/1619.05	c cleaning 10004 clauses out of 20021 with flag 3412001/3459746
1626.47/1623.63	c cleaning 9998 clauses out of 20017 with flag 3422001/3469746
1631.16/1628.34	c cleaning 9997 clauses out of 20018 with flag 3432000/3479745
1635.86/1633.02	c cleaning 9992 clauses out of 20021 with flag 3442000/3489745
1640.87/1638.04	c cleaning 10004 clauses out of 20029 with flag 3452000/3499745
1646.28/1643.46	c cleaning 9991 clauses out of 20025 with flag 3462000/3509745
1652.17/1649.33	c cleaning 9983 clauses out of 20034 with flag 3472000/3519745
1657.77/1654.91	c cleaning 10007 clauses out of 20051 with flag 3482000/3529745
1662.58/1659.72	c cleaning 10004 clauses out of 20044 with flag 3492000/3539745
1666.98/1664.18	c cleaning 10000 clauses out of 20040 with flag 3502000/3549745
1672.18/1669.38	c cleaning 10002 clauses out of 20040 with flag 3512000/3559745
1677.49/1674.62	c cleaning 10003 clauses out of 20039 with flag 3522001/3569746
1682.69/1679.80	c cleaning 9991 clauses out of 20035 with flag 3532000/3579745
1689.49/1686.61	c cleaning 10001 clauses out of 20045 with flag 3542001/3589746
1696.81/1693.99	c cleaning 9999 clauses out of 20043 with flag 3552000/3599745
1702.60/1699.72	c cleaning 10002 clauses out of 20045 with flag 3562001/3609746
1708.00/1705.10	c cleaning 10002 clauses out of 20042 with flag 3572000/3619745
1713.20/1710.31	c cleaning 9998 clauses out of 20042 with flag 3582002/3629747
1718.61/1715.72	c cleaning 9994 clauses out of 20043 with flag 3592001/3639746
1723.33/1720.44	c cleaning 10006 clauses out of 20049 with flag 3602001/3649746
1727.92/1725.07	c cleaning 10002 clauses out of 20042 with flag 3612000/3659745
1732.52/1729.69	c cleaning 10014 clauses out of 20040 with flag 3622000/3669745
1737.32/1734.45	c cleaning 9997 clauses out of 20027 with flag 3632001/3679746
1741.93/1739.09	c cleaning 10005 clauses out of 20029 with flag 3642000/3689745
1746.62/1743.73	c cleaning 10004 clauses out of 20025 with flag 3652001/3699746
1751.43/1748.58	c cleaning 10002 clauses out of 20023 with flag 3662003/3709748
1756.43/1753.51	c cleaning 9996 clauses out of 20018 with flag 3672000/3719745
1761.74/1758.84	c cleaning 10004 clauses out of 20023 with flag 3682001/3729746
1766.84/1763.94	c cleaning 9996 clauses out of 20018 with flag 3692000/3739745
1772.04/1769.10	c cleaning 10002 clauses out of 20025 with flag 3702003/3749748
1777.04/1774.13	c cleaning 10009 clauses out of 20029 with flag 3712009/3759754
1781.84/1778.91	c cleaning 9999 clauses out of 20013 with flag 3722002/3769747
1786.55/1783.66	c cleaning 9994 clauses out of 20012 with flag 3732000/3779745
1791.46/1788.54	c cleaning 10000 clauses out of 20022 with flag 3742004/3789749
1796.75/1793.83	c cleaning 10001 clauses out of 20020 with flag 3752002/3799747
1800.06/1797.12	c starts		: 255
1800.06/1797.12	c conflicts		: 3805931
1800.06/1797.12	c decisions		: 8422180
1800.06/1797.12	c propagations		: 1679636951
1800.06/1797.12	c inspects		: 3721747515
1800.06/1797.12	c shortcuts		: 0
1800.06/1797.12	c learnt literals	: 1
1800.06/1797.12	c learnt binary clauses	: 5
1800.06/1797.12	c learnt ternary clauses	: 7
1800.06/1797.12	c learnt constraints	: 3805930
1800.06/1797.12	c ignored constraints	: 0
1800.06/1797.12	c root simplifications	: 0
1800.06/1797.12	c removed literals (reason simplification)	: 56104879
1800.06/1797.12	c reason swapping (by a shorter reason)	: 0
1800.06/1797.12	c Calls to reduceDB	: 382
1800.06/1797.12	c number of reductions to clauses (during analyze)	: 0
1800.06/1797.12	c number of learned constraints concerned by reduction	: 0
1800.06/1797.12	c number of learning phase by resolution	: 0
1800.06/1797.12	c number of learning phase by cutting planes	: 0
1800.06/1797.12	c speed (assignments/second)	: 949576.8819806109
1800.06/1797.12	c non guided choices	1995
1800.06/1797.13	c learnt constraints type 
1800.06/1797.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 5
1800.06/1797.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 16214
1800.06/1797.13	c constraints type 
1800.06/1797.13	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 29
1800.06/1797.13	c org.sat4j.minisat.constraints.card.MinWatchCard => 29
1800.06/1797.13	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 901
1800.06/1797.13	s SATISFIABLE
1800.06/1797.14	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.06/1797.15	c objective function=1601
1800.06/1797.15	c Total wall clock time (in seconds): 1797.037

OK	1601

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-3458864-1307140266/watcher-3458864-1307140266 -o /tmp/evaluation-result-3458864-1307140266/solver-3458864-1307140266 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458864-1307140266.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.99 2.01 2.00 2/418 5260
/proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 825626380 31268864 963 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 7634 963 736 9 0 385 0
[pid=5260/tid=5261] ppid=5258 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 2515 0 1 0 0 0 0 0 25 0 2 0 825626381 13833195520 3331 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237278566096 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.0220491 s]
/proc/loadavg: 1.99 2.01 2.00 2/418 5260
/proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13526316 CPUtime=0.01 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 8524 0 1 0 0 1 0 0 25 0 2 0 825626380 13850947584 8226 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3381579 8241 917 9 0 3372735 0
[pid=5260/tid=5261] ppid=5258 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 7437 0 1 0 0 0 0 0 25 0 2 0 825626381 13850947584 8253 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13526316

[startup+0.101097 s]
/proc/loadavg: 1.99 2.01 2.00 2/418 5260
/proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13622400 CPUtime=0.1 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 15512 0 1 0 8 2 0 0 25 0 18 0 825626380 13949337600 15183 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3405600 15185 2092 9 0 3396334 0
[pid=5260/tid=5261] ppid=5258 vsize=13622400 CPUtime=0.08 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 13570 0 1 0 6 2 0 0 18 0 18 0 825626381 13949337600 15185 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622400

[startup+0.300995 s]
/proc/loadavg: 1.99 2.01 2.00 2/418 5260
/proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13627928 CPUtime=0.53 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 20898 0 1 0 50 3 0 0 25 0 18 0 825626380 13954998272 19835 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3406982 19837 2201 9 0 3397716 0
[pid=5260/tid=5261] ppid=5258 vsize=13627928 CPUtime=0.28 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 16564 0 1 0 25 3 0 0 18 0 18 0 825626381 13954998272 19837 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505365719 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13627928

[startup+0.700924 s]
/proc/loadavg: 1.99 2.01 2.00 2/418 5260
/proc/meminfo: memFree=29921572/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13629436 CPUtime=1.41 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 27134 0 1 0 137 4 0 0 25 0 19 0 825626380 13956542464 23921 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3407359 23921 2228 9 0 3398093 0
[pid=5260/tid=5261] ppid=5258 vsize=13629436 CPUtime=0.68 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 20356 0 1 0 65 3 0 0 19 0 19 0 825626381 13956542464 23921 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505801271 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 13629436

[startup+1.50078 s]
/proc/loadavg: 1.99 2.01 2.00 3/437 5279
/proc/meminfo: memFree=29831652/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13629436 CPUtime=2.27 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 28534 0 1 0 223 4 0 0 25 0 19 0 825626380 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3407359 24948 2233 9 0 3398093 0
[pid=5260/tid=5261] ppid=5258 vsize=13629436 CPUtime=1.48 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 21366 0 1 0 145 3 0 0 20 0 19 0 825626381 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505781826 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5260/tid=5263] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5264] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5265] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24948 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5266] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5267] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5268] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5269] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5270] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626383 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5271] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5272] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825626384 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5273] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 825626384 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5274] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5275] ppid=5258 vsize=13629436 CPUtime=0.37 cores=1,3,5,7
/proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 3823 0 0 0 37 0 0 0 15 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5276] ppid=5258 vsize=13629436 CPUtime=0.4 cores=1,3,5,7
/proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 2183 0 0 0 40 0 0 0 24 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5277] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5278] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825626386 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5279] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13956542464 24949 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 13629436

[startup+3.10049 s]
/proc/loadavg: 1.99 2.01 2.00 3/437 5279
/proc/meminfo: memFree=29825932/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13629436 CPUtime=3.92 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 32380 0 1 0 387 5 0 0 25 0 19 0 825626380 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3407359 28735 2259 9 0 3398093 0
[pid=5260/tid=5261] ppid=5258 vsize=13629436 CPUtime=3.05 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 22385 0 1 0 302 3 0 0 25 0 19 0 825626381 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505781818 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5260/tid=5263] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5264] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5265] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5266] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5267] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5268] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 41 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5269] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 489 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5270] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 865 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5271] ppid=5258 vsize=13629436 CPUtime=0.01 cores=1,3,5,7
/proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 1373 0 0 0 1 0 0 0 16 0 19 0 825626384 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5272] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5273] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5274] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5275] ppid=5258 vsize=13629436 CPUtime=0.39 cores=1,3,5,7
/proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 3880 0 0 0 39 0 0 0 15 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5276] ppid=5258 vsize=13629436 CPUtime=0.42 cores=1,3,5,7
/proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 2189 0 0 0 42 0 0 0 17 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5277] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5278] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825626386 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5279] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13956542464 28735 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.92
Current children cumulated vsize (KiB) 13629436

[startup+6.30092 s]
/proc/loadavg: 1.99 2.01 2.00 3/437 5279
/proc/meminfo: memFree=29800028/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13629436 CPUtime=7.26 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 38903 0 1 0 720 6 0 0 25 0 19 0 825626380 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3407359 31827 2259 9 0 3398093 0
[pid=5260/tid=5261] ppid=5258 vsize=13629436 CPUtime=6.22 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 22387 0 1 0 619 3 0 0 25 0 19 0 825626381 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505781746 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5260/tid=5263] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 1519 0 0 0 0 0 0 0 15 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5264] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5265] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 888 0 0 0 0 0 0 0 18 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5266] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5267] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5268] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 41 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5269] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 489 0 0 0 0 0 0 0 17 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5270] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 865 0 0 0 0 0 0 0 15 0 19 0 825626383 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5271] ppid=5258 vsize=13629436 CPUtime=0.04 cores=1,3,5,7
/proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 2053 0 0 0 4 0 0 0 15 0 19 0 825626384 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5272] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5273] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5274] ppid=5258 vsize=13629436 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5275] ppid=5258 vsize=13629436 CPUtime=0.52 cores=1,3,5,7
/proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 7313 0 0 0 51 1 0 0 15 0 19 0 825626386 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5276] ppid=5258 vsize=13629436 CPUtime=0.43 cores=1,3,5,7
/proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 2192 0 0 0 43 0 0 0 15 0 19 0 825626386 13956542464 31827 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0

################
# More data... #
################

[pid=5260/tid=5268] ppid=5258 vsize=13628532 CPUtime=0.2 cores=1,3,5,7
/proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 2713 0 0 0 20 0 0 0 16 0 19 0 825626383 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5269] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7
/proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1620 0 0 0 22 1 0 0 15 0 19 0 825626383 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5270] ppid=5258 vsize=13628532 CPUtime=0.21 cores=1,3,5,7
/proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 2168 0 0 0 21 0 0 0 15 0 19 0 825626383 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5271] ppid=5258 vsize=13628532 CPUtime=8.78 cores=1,3,5,7
/proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 4783 0 0 0 875 3 0 0 15 0 19 0 825626384 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5272] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5273] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5274] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5275] ppid=5258 vsize=13628532 CPUtime=0.87 cores=1,3,5,7
/proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 14926 0 0 0 86 1 0 0 15 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5276] ppid=5258 vsize=13628532 CPUtime=0.95 cores=1,3,5,7
/proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 6830 0 0 0 95 0 0 0 15 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5277] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5278] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 825626386 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5279] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13955616768 52147 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1725.22
Current children cumulated vsize (KiB) 13628532

[startup+1782.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/437 5374
/proc/meminfo: memFree=29778576/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13628532 CPUtime=1785.25 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 70811 0 1 0 178506 19 0 0 25 0 19 0 825626380 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3407133 52151 2260 9 0 3397867 0
[pid=5260/tid=5261] ppid=5258 vsize=13628532 CPUtime=1772.41 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 25752 0 1 0 177237 4 0 0 25 0 19 0 825626381 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505728660 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5260/tid=5263] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7
/proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 2714 0 0 0 24 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5264] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7
/proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1811 0 0 0 22 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5265] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7
/proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 2399 0 0 0 24 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5266] ppid=5258 vsize=13628532 CPUtime=0.2 cores=1,3,5,7
/proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1899 0 0 0 20 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5267] ppid=5258 vsize=13628532 CPUtime=0.22 cores=1,3,5,7
/proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1937 0 0 0 21 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5268] ppid=5258 vsize=13628532 CPUtime=0.21 cores=1,3,5,7
/proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 2716 0 0 0 21 0 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5269] ppid=5258 vsize=13628532 CPUtime=0.24 cores=1,3,5,7
/proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1620 0 0 0 23 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5270] ppid=5258 vsize=13628532 CPUtime=0.22 cores=1,3,5,7
/proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 2168 0 0 0 22 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5271] ppid=5258 vsize=13628532 CPUtime=9.08 cores=1,3,5,7
/proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 4785 0 0 0 905 3 0 0 15 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5272] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5273] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5274] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5275] ppid=5258 vsize=13628532 CPUtime=0.87 cores=1,3,5,7
/proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 14926 0 0 0 86 1 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5276] ppid=5258 vsize=13628532 CPUtime=0.95 cores=1,3,5,7
/proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 6830 0 0 0 95 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5277] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5278] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5279] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1785.25
Current children cumulated vsize (KiB) 13628532



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.1 s]
/proc/loadavg: 2.05 2.05 2.01 3/437 5384
/proc/meminfo: memFree=29777056/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13628532 CPUtime=1800.06 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 70816 0 1 0 179987 19 0 0 25 0 19 0 825626380 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3407133 52151 2260 9 0 3397867 0
[pid=5260/tid=5261] ppid=5258 vsize=13628532 CPUtime=1787.14 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 25755 0 1 0 178710 4 0 0 25 0 19 0 825626381 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505810424 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5260/tid=5263] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7
/proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 2714 0 0 0 24 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5264] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7
/proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1811 0 0 0 22 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5265] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7
/proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 2399 0 0 0 24 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5266] ppid=5258 vsize=13628532 CPUtime=0.2 cores=1,3,5,7
/proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1899 0 0 0 20 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5267] ppid=5258 vsize=13628532 CPUtime=0.22 cores=1,3,5,7
/proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1937 0 0 0 21 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5268] ppid=5258 vsize=13628532 CPUtime=0.21 cores=1,3,5,7
/proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 2716 0 0 0 21 0 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5269] ppid=5258 vsize=13628532 CPUtime=0.24 cores=1,3,5,7
/proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1620 0 0 0 23 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5270] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7
/proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 2168 0 0 0 23 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5271] ppid=5258 vsize=13628532 CPUtime=9.16 cores=1,3,5,7
/proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 4787 0 0 0 913 3 0 0 15 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5272] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5273] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5274] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5275] ppid=5258 vsize=13628532 CPUtime=0.87 cores=1,3,5,7
/proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 14926 0 0 0 86 1 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5276] ppid=5258 vsize=13628532 CPUtime=0.95 cores=1,3,5,7
/proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 6830 0 0 0 95 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5277] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5278] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5279] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13628532

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1797.1 s]
/proc/loadavg: 2.05 2.05 2.01 3/437 5384
/proc/meminfo: memFree=29777056/32950904 swapFree=56615552/67111528
[pid=5260] ppid=5258 vsize=13628532 CPUtime=1800.06 cores=1,3,5,7
/proc/5260/stat : 5260 (java) S 5258 5260 31595 0 -1 4202496 70816 0 1 0 179987 19 0 0 25 0 19 0 825626380 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5260/statm: 3407133 52151 2260 9 0 3397867 0
[pid=5260/tid=5261] ppid=5258 vsize=13628532 CPUtime=1787.14 cores=1,3,5,7
/proc/5260/task/5261/stat : 5261 (java) R 5258 5260 31595 0 -1 4202560 25755 0 1 0 178710 4 0 0 25 0 19 0 825626381 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 46912505810424 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5260/tid=5263] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7
/proc/5260/task/5263/stat : 5263 (java) S 5258 5260 31595 0 -1 4202560 2714 0 0 0 24 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5264] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7
/proc/5260/task/5264/stat : 5264 (java) S 5258 5260 31595 0 -1 4202560 1811 0 0 0 22 1 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5265] ppid=5258 vsize=13628532 CPUtime=0.25 cores=1,3,5,7
/proc/5260/task/5265/stat : 5265 (java) S 5258 5260 31595 0 -1 4202560 2399 0 0 0 24 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5266] ppid=5258 vsize=13628532 CPUtime=0.2 cores=1,3,5,7
/proc/5260/task/5266/stat : 5266 (java) S 5258 5260 31595 0 -1 4202560 1899 0 0 0 20 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5267] ppid=5258 vsize=13628532 CPUtime=0.22 cores=1,3,5,7
/proc/5260/task/5267/stat : 5267 (java) S 5258 5260 31595 0 -1 4202560 1937 0 0 0 21 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5268] ppid=5258 vsize=13628532 CPUtime=0.21 cores=1,3,5,7
/proc/5260/task/5268/stat : 5268 (java) S 5258 5260 31595 0 -1 4202560 2716 0 0 0 21 0 0 0 16 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5269] ppid=5258 vsize=13628532 CPUtime=0.24 cores=1,3,5,7
/proc/5260/task/5269/stat : 5269 (java) S 5258 5260 31595 0 -1 4202560 1620 0 0 0 23 1 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5270] ppid=5258 vsize=13628532 CPUtime=0.23 cores=1,3,5,7
/proc/5260/task/5270/stat : 5270 (java) S 5258 5260 31595 0 -1 4202560 2168 0 0 0 23 0 0 0 15 0 19 0 825626383 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5271] ppid=5258 vsize=13628532 CPUtime=9.16 cores=1,3,5,7
/proc/5260/task/5271/stat : 5271 (java) S 5258 5260 31595 0 -1 4202560 4787 0 0 0 913 3 0 0 15 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 0 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5272] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5272/stat : 5272 (java) S 5258 5260 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5273] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5273/stat : 5273 (java) S 5258 5260 31595 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 825626384 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5274] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5274/stat : 5274 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290703281 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5275] ppid=5258 vsize=13628532 CPUtime=0.87 cores=1,3,5,7
/proc/5260/task/5275/stat : 5275 (java) S 5258 5260 31595 0 -1 4202560 14926 0 0 0 86 1 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
[pid=5260/tid=5276] ppid=5258 vsize=13628532 CPUtime=0.95 cores=1,3,5,7
/proc/5260/task/5276/stat : 5276 (java) S 5258 5260 31595 0 -1 4202560 6830 0 0 0 95 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 7 0 0 0
[pid=5260/tid=5277] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5277/stat : 5277 (java) S 5258 5260 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290695577 0 4 0 16800975 18446604465300796352 0 0 -1 1 0 0 0
[pid=5260/tid=5278] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5278/stat : 5278 (java) S 5258 5260 31595 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 825626386 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 3 0 0 0
[pid=5260/tid=5279] ppid=5258 vsize=13628532 CPUtime=0 cores=1,3,5,7
/proc/5260/task/5279/stat : 5279 (java) S 5258 5260 31595 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825626419 13955616768 52151 33554432000 1073741824 1073778376 140735399645536 18446744073709551615 237290696192 0 4 0 16800975 18446604465300796352 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13628532

Child status: 143
Real time (s): 1797.16
CPU time (s): 1800.2
CPU user time (s): 1799.99
CPU system time (s): 0.206968
CPU usage (%): 100.169
Max. virtual memory (cumulated for all children) (KiB): 13646164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.206968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70958
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= 48068
involuntary context switches= 13597

runsolver used 6.78097 second user time and 16.2625 second system time

The end

Begin job on node121 at 2011-06-04 00:31:06
IDJOB=3458864
IDBENCH=1525
IDSOLVER=1952
FILE ID=node121/3458864-1307140266
RUNJOBID= node121-1307133745-3292
PBS_JOBID= 13508795
Free space on /tmp= 73952 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-aflow30a.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3458864-1307140266/watcher-3458864-1307140266 -o /tmp/evaluation-result-3458864-1307140266/solver-3458864-1307140266 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458864-1307140266.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d5ffb80d8d2a9d2ae5f84f17eeb42612
RANDOM SEED=1280964668

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:      29921728 kB
Buffers:        305356 kB
Cached:         441060 kB
SwapCached:       9896 kB
Active:        2361768 kB
Inactive:       407272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      29921728 kB
SwapTotal:    67111528 kB
SwapFree:     56615552 kB
Dirty:             876 kB
Writeback:           0 kB
AnonPages:     2020188 kB
Mapped:          21308 kB
Slab:           141296 kB
PageTables:      52384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 96951136 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 01:01:05