0.08/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.08	c See www.sat4j.org for details.
0.08/0.09	c version 2.3.1.v20110525
0.08/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.09	c java.vm.version	19.1-b02
0.08/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.09	c sun.arch.data.model	64
0.08/0.09	c java.version		1.6.0_24
0.08/0.09	c os.name		Linux
0.08/0.09	c os.version		2.6.18-164.el5
0.08/0.09	c os.arch		amd64
0.08/0.09	c Free memory 		12995394264
0.08/0.09	c Max memory 		13063553024
0.08/0.09	c Total memory 		13063553024
0.08/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-3459415-1307139781.opb
0.10/0.11	c reading problem ... 
0.78/0.46	c ... done. Wall clock time 0.349s.
0.78/0.46	c #vars     8627
0.78/0.46	c #constraints  1674
0.78/0.46	c constraints type 
0.78/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 810
0.78/0.46	c org.sat4j.minisat.constraints.cnf.UnitClauses => 6
0.78/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 810
0.78/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8
2.69/1.82	c cleaning 2428 clauses out of 4912 with flag 5000/5000
4.19/3.28	c cleaning 4173 clauses out of 8411 with flag 11001/11001
5.98/5.09	c cleaning 5529 clauses out of 11173 with flag 18000/18000
8.19/7.24	c cleaning 6752 clauses out of 13582 with flag 26000/26000
10.97/9.98	c cleaning 7806 clauses out of 15787 with flag 35003/35003
14.55/13.53	c cleaning 8909 clauses out of 17940 with flag 45000/45000
17.86/16.81	c cleaning 9415 clauses out of 18986 with flag 55001/55001
21.26/20.20	c cleaning 9733 clauses out of 19532 with flag 65000/65000
24.67/23.61	c cleaning 9787 clauses out of 19766 with flag 75000/75000
28.27/27.28	c cleaning 9921 clauses out of 19954 with flag 85001/85001
31.79/30.72	c cleaning 9926 clauses out of 20008 with flag 95000/95000
35.38/34.36	c cleaning 9899 clauses out of 20051 with flag 105000/105000
38.68/37.65	c cleaning 9891 clauses out of 20138 with flag 115000/115000
42.09/41.01	c cleaning 9996 clauses out of 20230 with flag 125000/125000
48.49/47.44	c cleaning 10036 clauses out of 20217 with flag 135000/135000
52.59/51.54	c cleaning 9919 clauses out of 20156 with flag 145000/145000
56.30/55.27	c cleaning 9919 clauses out of 20224 with flag 155000/155000
60.41/59.37	c cleaning 10052 clauses out of 20289 with flag 165000/165000
64.00/62.91	c cleaning 10031 clauses out of 20221 with flag 175000/175000
67.31/66.29	c cleaning 9988 clauses out of 20179 with flag 185000/185000
71.01/69.95	c cleaning 9930 clauses out of 20183 with flag 195001/195001
74.72/73.62	c cleaning 9938 clauses out of 20231 with flag 205002/205002
83.01/81.94	c cleaning 9829 clauses out of 20282 with flag 215000/215000
86.82/85.73	c cleaning 10015 clauses out of 20437 with flag 225000/225000
91.02/89.94	c cleaning 10041 clauses out of 20415 with flag 235000/235000
94.92/93.86	c cleaning 10042 clauses out of 20367 with flag 245000/245000
100.23/99.14	c cleaning 9914 clauses out of 20320 with flag 255002/255002
104.34/103.23	c cleaning 10017 clauses out of 20386 with flag 265002/265002
108.34/107.24	c cleaning 10082 clauses out of 20359 with flag 275000/275000
111.85/110.78	c cleaning 10047 clauses out of 20266 with flag 285000/285000
115.25/114.10	c cleaning 9999 clauses out of 20213 with flag 295000/295000
120.25/119.19	c cleaning 9950 clauses out of 20207 with flag 305000/305000
123.86/122.73	c cleaning 9907 clauses out of 20251 with flag 315001/315001
127.76/126.67	c cleaning 10050 clauses out of 20338 with flag 325002/325002
132.16/131.03	c cleaning 9906 clauses out of 20280 with flag 335001/335001
136.16/135.08	c cleaning 10064 clauses out of 20366 with flag 345000/345000
139.87/138.79	c cleaning 10006 clauses out of 20287 with flag 355000/355000
143.57/142.43	c cleaning 9917 clauses out of 20277 with flag 365000/365000
147.17/146.07	c cleaning 10058 clauses out of 20358 with flag 375000/375000
150.48/149.31	c cleaning 9970 clauses out of 20297 with flag 385000/385000
157.48/156.32	c cleaning 10043 clauses out of 20323 with flag 395000/395000
161.08/159.90	c cleaning 9995 clauses out of 20276 with flag 405000/405000
166.28/165.15	c cleaning 10027 clauses out of 20276 with flag 415000/415000
170.09/168.98	c cleaning 10019 clauses out of 20243 with flag 425000/425000
174.49/173.33	c cleaning 9931 clauses out of 20221 with flag 435000/435000
179.89/178.77	c cleaning 10053 clauses out of 20287 with flag 445000/445000
183.39/182.24	c cleaning 9978 clauses out of 20232 with flag 455000/455000
187.69/186.55	c cleaning 9952 clauses out of 20242 with flag 465000/465000
191.60/190.46	c cleaning 9884 clauses out of 20287 with flag 475002/475002
192.51/191.32	c SATISFIABLE
192.51/191.32	c OPTIMIZING...
192.51/191.32	c Got one! Elapsed wall clock time (in seconds):191.211
192.51/191.32	o 73481
194.33/192.98	c cleaning 7896 clauses out of 16124 with flag 4003/480724
197.34/195.98	c cleaning 6980 clauses out of 14219 with flag 10000/486721
199.54/198.15	c cleaning 7085 clauses out of 14238 with flag 17002/493723
202.24/200.88	c cleaning 7493 clauses out of 15149 with flag 25001/501722
211.04/209.62	c cleaning 8290 clauses out of 16655 with flag 34002/510723
214.95/213.56	c cleaning 9088 clauses out of 18352 with flag 44000/520721
221.65/220.24	c cleaning 9564 clauses out of 19255 with flag 54000/530721
222.78/221.32	c Got one! Elapsed wall clock time (in seconds):221.208
222.78/221.32	o 72814
223.42/221.96	c cleaning 7179 clauses out of 14710 with flag 2000/535742
225.33/223.89	c cleaning 6636 clauses out of 13529 with flag 8000/541742
230.63/229.13	c cleaning 6718 clauses out of 13890 with flag 15002/548744
238.94/237.47	c cleaning 7495 clauses out of 15170 with flag 23000/556742
242.05/240.55	c cleaning 8274 clauses out of 16660 with flag 32002/565744
245.66/244.15	c cleaning 9112 clauses out of 18379 with flag 42004/575746
250.17/248.65	c cleaning 9473 clauses out of 19259 with flag 52000/585742
254.25/252.71	c cleaning 9807 clauses out of 19778 with flag 62000/595742
260.26/258.72	c cleaning 9881 clauses out of 19965 with flag 72000/605742
264.06/262.50	c cleaning 9929 clauses out of 20081 with flag 82001/615743
267.96/266.47	c cleaning 10031 clauses out of 20145 with flag 92000/625742
272.49/270.92	c cleaning 9943 clauses out of 20112 with flag 102000/635742
284.59/283.09	c cleaning 9875 clauses out of 20167 with flag 112001/645743
287.99/286.42	c cleaning 9983 clauses out of 20286 with flag 122001/655743
294.60/293.02	c cleaning 10063 clauses out of 20300 with flag 132000/665742
299.50/297.93	c cleaning 10107 clauses out of 20234 with flag 142000/675742
305.30/303.78	c cleaning 9791 clauses out of 20127 with flag 152000/685742
309.00/307.45	c cleaning 10044 clauses out of 20335 with flag 162000/695742
312.50/310.91	c cleaning 10143 clauses out of 20286 with flag 172000/705742
316.81/315.29	c cleaning 9922 clauses out of 20142 with flag 182001/715743
327.23/325.68	c cleaning 10008 clauses out of 20221 with flag 192002/725744
330.22/328.64	c Got one! Elapsed wall clock time (in seconds):328.525
330.22/328.64	o 72813
332.48/330.84	c cleaning 11406 clauses out of 22943 with flag 5000/738479
334.68/333.06	c cleaning 8596 clauses out of 17535 with flag 11000/744479
337.48/335.80	c cleaning 7777 clauses out of 15931 with flag 18000/751479
341.60/339.96	c cleaning 7950 clauses out of 16152 with flag 26002/759481
344.49/342.88	c cleaning 8525 clauses out of 17196 with flag 35000/768479
348.39/346.72	c cleaning 9127 clauses out of 18669 with flag 45000/778479
353.60/351.94	c cleaning 9586 clauses out of 19541 with flag 55000/788479
357.20/355.51	c cleaning 9825 clauses out of 19953 with flag 65000/798479
362.41/360.77	c cleaning 9883 clauses out of 20128 with flag 75000/808479
369.13/367.48	c cleaning 9999 clauses out of 20243 with flag 85000/818479
372.52/370.88	c cleaning 10017 clauses out of 20245 with flag 95002/828481
376.73/375.03	c cleaning 9877 clauses out of 20224 with flag 105000/838479
382.92/381.25	c cleaning 10093 clauses out of 20346 with flag 115001/848480
387.03/385.38	c cleaning 9974 clauses out of 20247 with flag 125000/858479
391.33/389.62	c cleaning 10010 clauses out of 20270 with flag 135000/868479
395.84/394.13	c cleaning 10013 clauses out of 20258 with flag 145000/878479
400.24/398.59	c cleaning 10069 clauses out of 20246 with flag 155003/888482
406.64/404.94	c cleaning 9977 clauses out of 20173 with flag 165000/898479
413.17/411.45	c cleaning 9936 clauses out of 20197 with flag 175002/908481
422.25/420.54	c cleaning 10008 clauses out of 20258 with flag 185001/918480
425.76/424.04	c cleaning 9938 clauses out of 20251 with flag 195002/928481
434.08/432.35	c cleaning 9994 clauses out of 20312 with flag 205001/938480
444.77/443.01	c cleaning 9799 clauses out of 20317 with flag 215000/948479
453.07/451.31	c cleaning 10153 clauses out of 20518 with flag 225000/958479
465.68/463.94	c cleaning 9950 clauses out of 20366 with flag 235002/968481
472.49/470.81	c cleaning 10043 clauses out of 20413 with flag 245000/978479
479.49/477.72	c cleaning 9935 clauses out of 20370 with flag 255000/988479
484.09/482.38	c cleaning 10039 clauses out of 20435 with flag 265000/998479
491.00/489.22	c cleaning 9964 clauses out of 20397 with flag 275001/1008480
494.91/493.11	c cleaning 10061 clauses out of 20429 with flag 285000/1018479
506.63/504.84	c cleaning 10096 clauses out of 20369 with flag 295001/1028480
510.22/508.44	c cleaning 10073 clauses out of 20266 with flag 305000/1038479
514.52/512.77	c cleaning 9993 clauses out of 20190 with flag 315000/1048479
519.43/517.62	c cleaning 9929 clauses out of 20194 with flag 325000/1058479
523.53/521.78	c cleaning 10110 clauses out of 20266 with flag 335002/1068481
527.03/525.22	c cleaning 9919 clauses out of 20154 with flag 345000/1078479
531.24/529.44	c cleaning 9928 clauses out of 20235 with flag 355002/1088481
536.35/534.56	c cleaning 10020 clauses out of 20305 with flag 365002/1098481
544.05/542.30	c cleaning 9706 clauses out of 20283 with flag 375000/1108479
548.65/546.82	c cleaning 10233 clauses out of 20577 with flag 385002/1118481
557.95/556.18	c cleaning 9937 clauses out of 20340 with flag 395002/1128481
563.45/561.64	c cleaning 10000 clauses out of 20400 with flag 405001/1138480
572.06/570.20	c cleaning 10186 clauses out of 20395 with flag 415000/1148479
577.46/575.69	c cleaning 9864 clauses out of 20208 with flag 425000/1158479
584.96/583.17	c cleaning 10056 clauses out of 20343 with flag 435000/1168479
588.77/586.90	c cleaning 10038 clauses out of 20284 with flag 445000/1178479
595.17/593.38	c cleaning 9901 clauses out of 20247 with flag 455001/1188480
599.28/597.44	c cleaning 10025 clauses out of 20343 with flag 465000/1198479
605.48/603.62	c cleaning 9894 clauses out of 20318 with flag 475001/1208480
609.58/607.72	c cleaning 10177 clauses out of 20418 with flag 485002/1218481
612.79/610.98	c cleaning 9969 clauses out of 20238 with flag 495000/1228479
616.99/615.13	c Got one! Elapsed wall clock time (in seconds):615.018
616.99/615.13	o 68910
618.70/616.83	c cleaning 10111 clauses out of 20563 with flag 5001/1238773
620.51/618.69	c cleaning 8085 clauses out of 16449 with flag 11000/1244772
622.81/620.91	c cleaning 7551 clauses out of 15362 with flag 18001/1251773
625.42/623.57	c cleaning 7803 clauses out of 15809 with flag 26001/1259773
632.62/630.76	c cleaning 8327 clauses out of 17002 with flag 35000/1268772
638.42/636.60	c cleaning 9237 clauses out of 18671 with flag 45000/1278772
642.83/640.97	c cleaning 9592 clauses out of 19431 with flag 55001/1288773
646.44/644.59	c cleaning 9901 clauses out of 19835 with flag 65001/1298773
650.23/648.35	c cleaning 9805 clauses out of 19930 with flag 75000/1308772
656.35/654.42	c cleaning 9970 clauses out of 20127 with flag 85002/1318774
661.34/659.48	c cleaning 9946 clauses out of 20155 with flag 95002/1328774
667.25/665.32	c cleaning 9937 clauses out of 20208 with flag 105001/1338773
677.37/675.45	c cleaning 9943 clauses out of 20273 with flag 115003/1348775
684.16/682.26	c cleaning 10049 clauses out of 20327 with flag 125000/1358772
687.36/685.47	c cleaning 9818 clauses out of 20279 with flag 135001/1368773
691.27/689.38	c cleaning 10076 clauses out of 20459 with flag 145000/1378772
694.57/692.65	c cleaning 10074 clauses out of 20381 with flag 155002/1388774
698.47/696.56	c cleaning 9965 clauses out of 20304 with flag 165000/1398772
703.38/701.49	c cleaning 10041 clauses out of 20339 with flag 175001/1408773
708.89/706.90	c cleaning 10042 clauses out of 20294 with flag 185000/1418772
713.99/712.07	c cleaning 9998 clauses out of 20252 with flag 195000/1428772
721.89/719.97	c cleaning 9928 clauses out of 20256 with flag 205003/1438775
726.71/724.73	c cleaning 10026 clauses out of 20324 with flag 215000/1448772
730.41/728.47	c cleaning 9986 clauses out of 20297 with flag 225002/1458774
735.75/733.78	c cleaning 9867 clauses out of 20310 with flag 235001/1468773
743.45/741.47	c cleaning 9959 clauses out of 20442 with flag 245000/1478772
746.94/744.95	c cleaning 10169 clauses out of 20485 with flag 255002/1488774
750.54/748.56	c cleaning 10153 clauses out of 20313 with flag 265001/1498773
754.14/752.13	c cleaning 9967 clauses out of 20159 with flag 275002/1508774
758.15/756.10	c cleaning 9933 clauses out of 20190 with flag 285000/1518772
761.35/759.37	c cleaning 10044 clauses out of 20257 with flag 295001/1528773
764.86/762.88	c cleaning 9938 clauses out of 20212 with flag 305002/1538774
770.16/768.18	c cleaning 10010 clauses out of 20271 with flag 315000/1548772
774.28/772.25	c cleaning 9952 clauses out of 20261 with flag 325000/1558772
778.06/776.03	c cleaning 9962 clauses out of 20309 with flag 335000/1568772
789.87/787.85	c cleaning 9925 clauses out of 20347 with flag 345000/1578772
856.38/854.37	c cleaning 9910 clauses out of 20422 with flag 355000/1588772
863.18/861.10	c cleaning 10166 clauses out of 20512 with flag 365000/1598772
863.88/861.82	c Got one! Elapsed wall clock time (in seconds):861.709
863.88/861.82	o 68665
865.52/863.42	c cleaning 7850 clauses out of 16146 with flag 4000/1604572
867.92/865.86	c cleaning 7033 clauses out of 14296 with flag 10000/1610572
871.03/868.92	c cleaning 6877 clauses out of 14263 with flag 17000/1617572
874.33/872.30	c cleaning 7610 clauses out of 15387 with flag 25002/1625574
877.83/875.72	c cleaning 8312 clauses out of 16774 with flag 34000/1634572
880.53/878.49	c cleaning 9099 clauses out of 18462 with flag 44001/1644573
888.53/886.48	c cleaning 9642 clauses out of 19359 with flag 54001/1654573
893.15/891.07	c cleaning 9680 clauses out of 19715 with flag 64000/1664572
896.45/894.37	c cleaning 9904 clauses out of 20032 with flag 74000/1674572
901.96/899.87	c cleaning 9924 clauses out of 20129 with flag 84001/1684573
906.95/904.89	c cleaning 9954 clauses out of 20203 with flag 94000/1694572
911.45/909.37	c cleaning 9997 clauses out of 20248 with flag 104001/1704573
916.05/914.01	c cleaning 10051 clauses out of 20250 with flag 114002/1714574
919.66/917.54	c cleaning 10029 clauses out of 20195 with flag 124001/1724573
925.96/923.83	c cleaning 9883 clauses out of 20167 with flag 134002/1734574
933.78/931.64	c cleaning 10009 clauses out of 20282 with flag 144000/1744572
951.49/949.34	c cleaning 9960 clauses out of 20273 with flag 154000/1754572
959.59/957.41	c cleaning 10072 clauses out of 20312 with flag 164001/1764573
964.50/962.33	c cleaning 9950 clauses out of 20237 with flag 174000/1774572
968.51/966.30	c cleaning 9876 clauses out of 20287 with flag 184002/1784574
982.61/980.47	c Got one! Elapsed wall clock time (in seconds):980.363
982.61/980.47	o 68276
984.11/981.98	c cleaning 10871 clauses out of 21931 with flag 5000/1796094
986.74/984.55	c cleaning 8491 clauses out of 17061 with flag 11001/1802095
990.73/988.50	c Got one! Elapsed wall clock time (in seconds):988.393
990.73/988.50	o 68165
992.53/990.33	c cleaning 10221 clauses out of 20527 with flag 5003/1814055
995.03/992.88	c cleaning 7931 clauses out of 16303 with flag 11000/1820052
1001.33/999.11	c cleaning 7530 clauses out of 15372 with flag 18001/1827053
1003.73/1001.57	c cleaning 7734 clauses out of 15839 with flag 26000/1835052
1008.94/1006.71	c cleaning 8374 clauses out of 17105 with flag 35001/1844053
1012.94/1010.74	c cleaning 9227 clauses out of 18732 with flag 45002/1854054
1023.64/1021.47	c cleaning 9489 clauses out of 19505 with flag 55002/1864054
1028.85/1026.65	c cleaning 9804 clauses out of 20014 with flag 65000/1874052
1033.15/1030.98	c cleaning 9966 clauses out of 20210 with flag 75000/1884052
1036.17/1033.98	c cleaning 9966 clauses out of 20242 with flag 85000/1894052
1039.36/1037.21	c cleaning 9978 clauses out of 20276 with flag 95001/1904053
1049.06/1046.80	c cleaning 10128 clauses out of 20298 with flag 105001/1914053
1053.97/1051.73	c cleaning 9772 clauses out of 20167 with flag 115000/1924052
1061.67/1059.46	c cleaning 10044 clauses out of 20395 with flag 125000/1934052
1065.48/1063.29	c cleaning 10041 clauses out of 20350 with flag 135000/1944052
1069.48/1067.22	c cleaning 9825 clauses out of 20307 with flag 145000/1954052
1072.78/1070.55	c cleaning 10044 clauses out of 20480 with flag 155000/1964052
1077.19/1074.90	c cleaning 10021 clauses out of 20434 with flag 165000/1974052
1085.19/1082.97	c cleaning 9810 clauses out of 20413 with flag 175000/1984052
1093.30/1091.07	c cleaning 10126 clauses out of 20602 with flag 185002/1994054
1097.31/1095.08	c cleaning 10039 clauses out of 20474 with flag 195001/2004053
1101.23/1098.96	c cleaning 10153 clauses out of 20434 with flag 205001/2014053
1106.32/1104.09	c cleaning 10014 clauses out of 20280 with flag 215000/2024052
1111.42/1109.11	c cleaning 10007 clauses out of 20263 with flag 225000/2034052
1115.22/1112.97	c cleaning 10059 clauses out of 20256 with flag 235002/2044054
1118.43/1116.13	c cleaning 9975 clauses out of 20199 with flag 245004/2054056
1123.33/1121.05	c cleaning 9816 clauses out of 20220 with flag 255000/2064052
1126.73/1124.45	c cleaning 10018 clauses out of 20404 with flag 265000/2074052
1133.64/1131.36	c cleaning 9983 clauses out of 20388 with flag 275002/2084054
1137.15/1134.89	c cleaning 10032 clauses out of 20402 with flag 285002/2094054
1145.55/1143.21	c cleaning 10005 clauses out of 20369 with flag 295001/2104053
1146.65/1144.35	c Got one! Elapsed wall clock time (in seconds):1144.243
1146.65/1144.35	o 68117
1147.36/1145.08	c cleaning 7520 clauses out of 15640 with flag 2000/2109329
1152.05/1149.73	c cleaning 6780 clauses out of 14120 with flag 8000/2115329
1154.66/1152.30	c cleaning 6954 clauses out of 14341 with flag 15001/2122330
1158.06/1155.78	c cleaning 7578 clauses out of 15386 with flag 23001/2130330
1160.96/1158.69	c cleaning 8212 clauses out of 16806 with flag 32000/2139329
1170.26/1167.94	c cleaning 9097 clauses out of 18595 with flag 42001/2149330
1183.37/1181.00	c cleaning 9622 clauses out of 19497 with flag 52000/2159329
1194.69/1192.35	c cleaning 9809 clauses out of 19875 with flag 62000/2169329
1203.28/1200.98	c cleaning 9943 clauses out of 20065 with flag 72000/2179329
1210.98/1208.66	c cleaning 9932 clauses out of 20121 with flag 82000/2189329
1214.38/1212.06	c cleaning 9954 clauses out of 20187 with flag 92000/2199329
1217.91/1215.58	c Got one! Elapsed wall clock time (in seconds):1215.473
1217.91/1215.58	o 67827
1219.61/1217.23	c cleaning 11309 clauses out of 22662 with flag 5003/2211759
1222.23/1219.85	c cleaning 8410 clauses out of 17349 with flag 11000/2217756
1223.82/1221.43	c Got one! Elapsed wall clock time (in seconds):1221.321
1223.82/1221.43	o 67734
1225.72/1223.31	c cleaning 6969 clauses out of 14268 with flag 4000/2223086
1227.53/1225.17	c cleaning 6508 clauses out of 13298 with flag 10000/2229086
1229.94/1227.57	c cleaning 6767 clauses out of 13791 with flag 17003/2236089
1233.84/1231.46	c cleaning 7373 clauses out of 15021 with flag 25000/2244086
1239.24/1236.82	c cleaning 8210 clauses out of 16648 with flag 34000/2253086
1243.95/1241.51	c cleaning 9154 clauses out of 18439 with flag 44001/2263087
1269.67/1267.24	c cleaning 9410 clauses out of 19285 with flag 54001/2273087
1305.35/1302.91	c cleaning 9733 clauses out of 19875 with flag 64001/2283087
1354.17/1351.74	c cleaning 9926 clauses out of 20141 with flag 74000/2293086
1372.18/1369.78	c cleaning 10045 clauses out of 20217 with flag 84002/2303088
1375.88/1373.47	c cleaning 9969 clauses out of 20170 with flag 94000/2313086
1379.60/1377.13	c cleaning 9976 clauses out of 20200 with flag 104000/2323086
1399.89/1397.46	c cleaning 9828 clauses out of 20224 with flag 114001/2333087
1403.70/1401.21	c cleaning 10046 clauses out of 20393 with flag 124000/2343086
1407.50/1405.04	c cleaning 10073 clauses out of 20345 with flag 134000/2353086
1411.70/1409.26	c cleaning 10112 clauses out of 20272 with flag 144000/2363086
1417.20/1414.76	c cleaning 9968 clauses out of 20164 with flag 154005/2373091
1420.81/1418.34	c cleaning 9956 clauses out of 20191 with flag 164000/2383086
1424.01/1421.53	c cleaning 10001 clauses out of 20233 with flag 174000/2393086
1427.03/1424.55	c cleaning 9990 clauses out of 20231 with flag 184001/2403087
1431.73/1429.23	c cleaning 9938 clauses out of 20239 with flag 194000/2413086
1435.74/1433.25	c cleaning 9924 clauses out of 20301 with flag 204000/2423086
1440.33/1437.85	c cleaning 10099 clauses out of 20377 with flag 214000/2433086
1445.24/1442.74	c cleaning 10037 clauses out of 20275 with flag 224000/2443086
1448.74/1446.26	c cleaning 9960 clauses out of 20238 with flag 234000/2453086
1453.05/1450.54	c cleaning 9964 clauses out of 20278 with flag 244001/2463087
1456.55/1454.09	c cleaning 9931 clauses out of 20314 with flag 254001/2473087
1464.17/1461.62	c cleaning 10005 clauses out of 20383 with flag 264001/2483087
1467.79/1465.23	c cleaning 10076 clauses out of 20376 with flag 274000/2493086
1476.78/1474.21	c cleaning 10018 clauses out of 20300 with flag 284001/2503087
1480.78/1478.26	c cleaning 10028 clauses out of 20281 with flag 294000/2513086
1484.20/1481.65	c cleaning 10006 clauses out of 20254 with flag 304001/2523087
1489.89/1487.39	c cleaning 10057 clauses out of 20247 with flag 314000/2533086
1494.11/1491.53	c cleaning 9950 clauses out of 20190 with flag 324000/2543086
1497.20/1494.65	c cleaning 9978 clauses out of 20237 with flag 334001/2553087
1504.70/1502.11	c Got one! Elapsed wall clock time (in seconds):1502.003
1504.70/1502.11	o 64538
1506.60/1504.05	c cleaning 11293 clauses out of 22777 with flag 5000/2565605
1508.54/1505.95	c cleaning 8637 clauses out of 17484 with flag 11000/2571605
1511.13/1508.53	c cleaning 7756 clauses out of 15847 with flag 18001/2578606
1513.73/1511.16	c cleaning 7880 clauses out of 16091 with flag 26001/2586606
1516.93/1514.39	c cleaning 8394 clauses out of 17211 with flag 35001/2595606
1523.95/1521.38	c cleaning 9336 clauses out of 18820 with flag 45005/2605610
1527.74/1525.19	c cleaning 9636 clauses out of 19482 with flag 55003/2615608
1531.24/1528.63	c cleaning 9720 clauses out of 19840 with flag 65000/2625605
1535.34/1532.75	c cleaning 9884 clauses out of 20120 with flag 75000/2635605
1539.45/1536.87	c cleaning 10019 clauses out of 20235 with flag 85000/2645605
1542.95/1540.34	c cleaning 9942 clauses out of 20214 with flag 95000/2655605
1564.95/1562.34	c cleaning 9897 clauses out of 20270 with flag 105000/2665605
1577.26/1574.66	c cleaning 10060 clauses out of 20371 with flag 115000/2675605
1581.26/1578.63	c cleaning 10056 clauses out of 20311 with flag 125002/2685607
1585.48/1582.89	c cleaning 9936 clauses out of 20253 with flag 135000/2695605
1589.37/1586.78	c cleaning 9885 clauses out of 20317 with flag 145000/2705605
1593.67/1591.07	c cleaning 9982 clauses out of 20432 with flag 155002/2715607
1596.78/1594.13	c cleaning 9953 clauses out of 20447 with flag 165000/2725605
1601.38/1598.75	c cleaning 10059 clauses out of 20493 with flag 175000/2735605
1606.19/1603.59	c cleaning 10137 clauses out of 20434 with flag 185000/2745605
1610.91/1608.26	c cleaning 10046 clauses out of 20299 with flag 195002/2755607
1622.50/1619.84	c cleaning 9748 clauses out of 20251 with flag 205000/2765605
1633.50/1630.88	c cleaning 9903 clauses out of 20503 with flag 215000/2775605
1642.11/1639.47	c cleaning 9993 clauses out of 20600 with flag 225000/2785605
1649.91/1647.25	c cleaning 10162 clauses out of 20607 with flag 235000/2795605
1653.12/1650.47	c cleaning 10125 clauses out of 20444 with flag 245001/2805606
1659.12/1656.46	c cleaning 9663 clauses out of 20318 with flag 255000/2815605
1667.06/1664.33	c cleaning 10158 clauses out of 20660 with flag 265006/2825611
1680.55/1677.87	c cleaning 9889 clauses out of 20497 with flag 275001/2835606
1697.26/1694.59	c cleaning 9947 clauses out of 20609 with flag 285002/2845607
1717.47/1714.73	c cleaning 10018 clauses out of 20665 with flag 295005/2855610
1741.98/1739.20	c cleaning 9998 clauses out of 20644 with flag 305002/2865607
1751.09/1748.35	c cleaning 10219 clauses out of 20641 with flag 315000/2875605
1754.40/1751.69	c cleaning 10057 clauses out of 20424 with flag 325003/2885608
1758.80/1756.07	c cleaning 9999 clauses out of 20371 with flag 335008/2895613
1765.61/1762.84	c cleaning 9832 clauses out of 20365 with flag 345001/2905606
1777.81/1775.05	c cleaning 9807 clauses out of 20532 with flag 355000/2915605
1792.82/1790.08	c cleaning 9802 clauses out of 20726 with flag 365001/2925606
1800.04/1797.22	c starts		: 182
1800.04/1797.22	c conflicts		: 2928391
1800.04/1797.22	c decisions		: 53866924
1800.04/1797.22	c propagations		: 799467740
1800.04/1797.22	c inspects		: 1912758866
1800.04/1797.22	c shortcuts		: 0
1800.04/1797.22	c learnt literals	: 1315
1800.04/1797.22	c learnt binary clauses	: 3683
1800.04/1797.22	c learnt ternary clauses	: 3979
1800.04/1797.22	c learnt constraints	: 2927075
1800.04/1797.22	c ignored constraints	: 0
1800.04/1797.22	c root simplifications	: 0
1800.04/1797.22	c removed literals (reason simplification)	: 58522733
1800.04/1797.22	c reason swapping (by a shorter reason)	: 0
1800.04/1797.22	c Calls to reduceDB	: 305
1800.04/1797.22	c number of reductions to clauses (during analyze)	: 0
1800.04/1797.22	c number of learned constraints concerned by reduction	: 0
1800.04/1797.22	c number of learning phase by resolution	: 0
1800.04/1797.22	c number of learning phase by cutting planes	: 0
1800.04/1797.22	c speed (assignments/second)	: 2709114.241468233
1800.04/1797.22	c non guided choices	1055
1800.04/1797.23	c learnt constraints type 
1800.04/1797.23	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3683
1800.04/1797.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 10025
1800.04/1797.23	c constraints type 
1800.04/1797.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 810
1800.04/1797.23	c org.sat4j.minisat.constraints.cnf.UnitClauses => 6
1800.04/1797.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 810
1800.04/1797.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 8
1800.04/1797.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
1800.04/1797.23	s SATISFIABLE
1800.04/1797.24	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 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 
1800.04/1797.25	c objective function=64538
1800.04/1797.25	c Total wall clock time (in seconds): 1797.139

OK	64538

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.05 2.05 2.00 2/535 12104
/proc/meminfo: memFree=21045896/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 1895 0 1 0 0 0 0 0 25 0 2 0 825574840 13833195520 1597 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3377245 1611 906 9 0 3368401 0
[pid=12104/tid=12105] ppid=12102 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 5648 0 1 0 0 0 0 0 25 0 2 0 825574840 13850947584 6464 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254500385851 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0879289 s]
/proc/loadavg: 2.05 2.05 2.00 2/535 12104
/proc/meminfo: memFree=21045896/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13620624 CPUtime=0.08 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 14769 0 1 0 7 1 0 0 25 0 18 0 825574840 13947518976 14466 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3405156 14467 1913 9 0 3395890 0
[pid=12104/tid=12105] ppid=12102 vsize=13620624 CPUtime=0.06 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 13388 0 1 0 6 0 0 0 18 0 18 0 825574840 13947518976 14467 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512518603 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13620624

[startup+0.100983 s]
/proc/loadavg: 2.05 2.05 2.00 2/535 12104
/proc/meminfo: memFree=21045896/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13621496 CPUtime=0.1 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 15509 0 1 0 9 1 0 0 25 0 18 0 825574840 13948411904 15188 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3405374 15188 2092 9 0 3396108 0
[pid=12104/tid=12105] ppid=12102 vsize=13621496 CPUtime=0.07 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 13557 0 1 0 7 0 0 0 18 0 18 0 825574840 13948411904 15189 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 47354506290367 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621496

[startup+0.305927 s]
/proc/loadavg: 2.05 2.05 2.00 2/535 12104
/proc/meminfo: memFree=21045896/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13625580 CPUtime=0.54 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 23575 0 1 0 52 2 0 0 25 0 18 0 825574840 13952593920 22409 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3406395 22410 2201 9 0 3397129 0
[pid=12104/tid=12105] ppid=12102 vsize=13625580 CPUtime=0.28 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 19116 0 1 0 27 1 0 0 18 0 18 0 825574840 13952593920 22410 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 46912505614937 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 13625580

[startup+0.700898 s]
/proc/loadavg: 2.05 2.05 2.00 2/535 12104
/proc/meminfo: memFree=21045896/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13628220 CPUtime=1.48 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 48292 0 1 0 142 6 0 0 25 0 19 0 825574840 13955297280 45512 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3407055 45512 2229 9 0 3397789 0
[pid=12104/tid=12105] ppid=12102 vsize=13628220 CPUtime=0.68 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 41228 0 1 0 63 5 0 0 19 0 19 0 825574840 13955297280 45512 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13628220

[startup+1.50069 s]
/proc/loadavg: 2.05 2.05 2.00 3/554 12123
/proc/meminfo: memFree=20870228/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13628220 CPUtime=2.37 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 48896 0 1 0 231 6 0 0 25 0 19 0 825574840 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3407055 46112 2233 9 0 3397789 0
[pid=12104/tid=12105] ppid=12102 vsize=13628220 CPUtime=1.48 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 41811 0 1 0 143 5 0 0 20 0 19 0 825574840 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 46912505797803 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574842 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574842 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574842 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12110] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574843 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574843 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12112] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574843 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12113] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12113/stat : 12113 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574843 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12114] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12114/stat : 12114 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574843 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12115] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12115/stat : 12115 (java) S 12102 12104 7151 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 825574844 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 0 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12116] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12116/stat : 12116 (java) S 12102 12104 7151 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 825574844 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12117] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12117/stat : 12117 (java) S 12102 12104 7151 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 825574844 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12118] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12118/stat : 12118 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512515505 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12119] ppid=12102 vsize=13628220 CPUtime=0.46 cores=0,2,4,6
/proc/12104/task/12119/stat : 12119 (java) S 12102 12104 7151 0 -1 4202560 2536 0 0 0 46 0 0 0 25 0 19 0 825574846 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12120] ppid=12102 vsize=13628220 CPUtime=0.42 cores=0,2,4,6
/proc/12104/task/12120/stat : 12120 (java) S 12102 12104 7151 0 -1 4202560 3389 0 0 0 41 1 0 0 16 0 19 0 825574846 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12121] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12121/stat : 12121 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12122] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12122/stat : 12122 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825574846 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12123] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12123/stat : 12123 (java) S 12102 12104 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825574891 13955297280 46112 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 13628220

[startup+3.10135 s]
/proc/loadavg: 2.05 2.05 2.00 3/554 12123
/proc/meminfo: memFree=20856464/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13628220 CPUtime=4.07 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 51948 0 1 0 400 7 0 0 25 0 19 0 825574840 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3407055 48898 2259 9 0 3397789 0
[pid=12104/tid=12105] ppid=12102 vsize=13628220 CPUtime=3.05 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 42039 0 1 0 300 5 0 0 19 0 19 0 825574840 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 46912505818020 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825574842 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 825574842 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825574842 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12110] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825574843 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825574843 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12112] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 825574843 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12113] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12113/stat : 12113 (java) S 12102 12104 7151 0 -1 4202560 707 0 0 0 0 0 0 0 18 0 19 0 825574843 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12114] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12114/stat : 12114 (java) S 12102 12104 7151 0 -1 4202560 569 0 0 0 0 0 0 0 18 0 19 0 825574843 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12115] ppid=12102 vsize=13628220 CPUtime=0.01 cores=0,2,4,6
/proc/12104/task/12115/stat : 12115 (java) S 12102 12104 7151 0 -1 4202560 1276 0 0 0 1 0 0 0 16 0 19 0 825574844 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 0 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12116] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12116/stat : 12116 (java) S 12102 12104 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825574844 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12117] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12117/stat : 12117 (java) S 12102 12104 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825574844 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12118] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12118/stat : 12118 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512515505 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12119] ppid=12102 vsize=13628220 CPUtime=0.49 cores=0,2,4,6
/proc/12104/task/12119/stat : 12119 (java) S 12102 12104 7151 0 -1 4202560 2542 0 0 0 49 0 0 0 15 0 19 0 825574846 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12120] ppid=12102 vsize=13628220 CPUtime=0.48 cores=0,2,4,6
/proc/12104/task/12120/stat : 12120 (java) S 12102 12104 7151 0 -1 4202560 3659 0 0 0 47 1 0 0 15 0 19 0 825574846 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12121] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12121/stat : 12121 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12122] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12122/stat : 12122 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825574846 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12123] ppid=12102 vsize=13628220 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12123/stat : 12123 (java) S 12102 12104 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825574891 13955297280 48898 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.07
Current children cumulated vsize (KiB) 13628220

[startup+6.30073 s]
/proc/loadavg: 2.05 2.04 2.00 3/554 12124
/proc/meminfo: memFree=20851008/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13626728 CPUtime=7.29 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 53308 0 1 0 722 7 0 0 25 0 19 0 825574840 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3406682 49896 2259 9 0 3397416 0
[pid=12104/tid=12105] ppid=12102 vsize=13626728 CPUtime=6.19 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 42043 0 1 0 614 5 0 0 25 0 19 0 825574840 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 46912505797909 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 7151 0 -1 4202560 398 0 0 0 0 0 0 0 15 0 19 0 825574842 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825574842 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 7151 0 -1 4202560 377 0 0 0 0 0 0 0 16 0 19 0 825574842 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12110] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825574843 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825574843 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12112] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 825574843 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12113] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12113/stat : 12113 (java) S 12102 12104 7151 0 -1 4202560 707 0 0 0 0 0 0 0 16 0 19 0 825574843 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12114] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12114/stat : 12114 (java) S 12102 12104 7151 0 -1 4202560 569 0 0 0 0 0 0 0 15 0 19 0 825574843 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12115] ppid=12102 vsize=13626728 CPUtime=0.06 cores=0,2,4,6
/proc/12104/task/12115/stat : 12115 (java) S 12102 12104 7151 0 -1 4202560 1857 0 0 0 6 0 0 0 15 0 19 0 825574844 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 0 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12116] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12116/stat : 12116 (java) S 12102 12104 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12117] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12117/stat : 12117 (java) S 12102 12104 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12118] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12118/stat : 12118 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512515505 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12119] ppid=12102 vsize=13626728 CPUtime=0.5 cores=0,2,4,6
/proc/12104/task/12119/stat : 12119 (java) S 12102 12104 7151 0 -1 4202560 2544 0 0 0 50 0 0 0 15 0 19 0 825574846 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12120] ppid=12102 vsize=13626728 CPUtime=0.48 cores=0,2,4,6
/proc/12104/task/12120/stat : 12120 (java) S 12102 12104 7151 0 -1 4202560 3659 0 0 0 47 1 0 0 15 0 19 0 825574846 13953769472 49896 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0

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

[pid=12104/tid=12112] ppid=12102 vsize=13626728 CPUtime=0.28 cores=0,2,4,6
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 7151 0 -1 4202560 473 0 0 0 28 0 0 0 15 0 19 0 825574843 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12113] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12113/stat : 12113 (java) S 12102 12104 7151 0 -1 4202560 2043 0 0 0 30 0 0 0 15 0 19 0 825574843 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12114] ppid=12102 vsize=13626728 CPUtime=0.29 cores=0,2,4,6
/proc/12104/task/12114/stat : 12114 (java) S 12102 12104 7151 0 -1 4202560 1598 0 0 0 29 0 0 0 15 0 19 0 825574843 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12115] ppid=12102 vsize=13626728 CPUtime=8.66 cores=0,2,4,6
/proc/12104/task/12115/stat : 12115 (java) S 12102 12104 7151 0 -1 4202560 4349 0 0 0 859 7 0 0 15 0 19 0 825574844 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 0 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12116] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12116/stat : 12116 (java) S 12102 12104 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12117] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12117/stat : 12117 (java) S 12102 12104 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12118] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12118/stat : 12118 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512515505 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12119] ppid=12102 vsize=13626728 CPUtime=0.82 cores=0,2,4,6
/proc/12104/task/12119/stat : 12119 (java) S 12102 12104 7151 0 -1 4202560 2882 0 0 0 82 0 0 0 15 0 19 0 825574846 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12120] ppid=12102 vsize=13626728 CPUtime=0.69 cores=0,2,4,6
/proc/12104/task/12120/stat : 12120 (java) S 12102 12104 7151 0 -1 4202560 6134 0 0 0 67 2 0 0 15 0 19 0 825574846 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12121] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12121/stat : 12121 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12122] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12122/stat : 12122 (java) S 12102 12104 7151 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 825574846 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12123] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12123/stat : 12123 (java) S 12102 12104 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825574891 13953769472 63772 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1665.04
Current children cumulated vsize (KiB) 13626728

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/554 12224
/proc/meminfo: memFree=20963096/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13626728 CPUtime=1725.08 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 72677 0 1 0 172488 20 0 0 25 0 19 0 825574840 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3406682 66465 2261 9 0 3397416 0
[pid=12104/tid=12105] ppid=12102 vsize=13626728 CPUtime=1712.3 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 42353 0 1 0 171223 7 0 0 25 0 19 0 825574840 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 46912505797931 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=13626728 CPUtime=0.33 cores=0,2,4,6
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 7151 0 -1 4202560 1368 0 0 0 33 0 0 0 15 0 19 0 825574842 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=13626728 CPUtime=0.29 cores=0,2,4,6
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 7151 0 -1 4202560 3553 0 0 0 29 0 0 0 15 0 19 0 825574842 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=13626728 CPUtime=0.29 cores=0,2,4,6
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 7151 0 -1 4202560 2551 0 0 0 29 0 0 0 15 0 19 0 825574842 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12110] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 7151 0 -1 4202560 1551 0 0 0 30 0 0 0 15 0 19 0 825574843 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=13626728 CPUtime=0.28 cores=0,2,4,6
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 7151 0 -1 4202560 957 0 0 0 28 0 0 0 15 0 19 0 825574843 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12112] ppid=12102 vsize=13626728 CPUtime=0.29 cores=0,2,4,6
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 7151 0 -1 4202560 475 0 0 0 29 0 0 0 15 0 19 0 825574843 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12113] ppid=12102 vsize=13626728 CPUtime=0.31 cores=0,2,4,6
/proc/12104/task/12113/stat : 12113 (java) S 12102 12104 7151 0 -1 4202560 2674 0 0 0 31 0 0 0 15 0 19 0 825574843 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12114] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12114/stat : 12114 (java) S 12102 12104 7151 0 -1 4202560 2350 0 0 0 30 0 0 0 15 0 19 0 825574843 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12115] ppid=12102 vsize=13626728 CPUtime=8.79 cores=0,2,4,6
/proc/12104/task/12115/stat : 12115 (java) S 12102 12104 7151 0 -1 4202560 4579 0 0 0 872 7 0 0 15 0 19 0 825574844 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 0 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12116] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12116/stat : 12116 (java) S 12102 12104 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12117] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12117/stat : 12117 (java) S 12102 12104 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12118] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12118/stat : 12118 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512515505 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12119] ppid=12102 vsize=13626728 CPUtime=0.82 cores=0,2,4,6
/proc/12104/task/12119/stat : 12119 (java) S 12102 12104 7151 0 -1 4202560 2882 0 0 0 82 0 0 0 15 0 19 0 825574846 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12120] ppid=12102 vsize=13626728 CPUtime=0.69 cores=0,2,4,6
/proc/12104/task/12120/stat : 12120 (java) S 12102 12104 7151 0 -1 4202560 6134 0 0 0 67 2 0 0 15 0 19 0 825574846 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12121] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12121/stat : 12121 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12122] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12122/stat : 12122 (java) S 12102 12104 7151 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 825574846 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12123] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12123/stat : 12123 (java) S 12102 12104 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825574891 13953769472 66465 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1725.08
Current children cumulated vsize (KiB) 13626728

[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/554 12226
/proc/meminfo: memFree=20959440/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13626728 CPUtime=1785.12 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 73442 0 1 0 178492 20 0 0 25 0 19 0 825574840 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3406682 67218 2261 9 0 3397416 0
[pid=12104/tid=12105] ppid=12102 vsize=13626728 CPUtime=1772.08 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 42359 0 1 0 177201 7 0 0 25 0 19 0 825574840 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 46912505797744 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=13626728 CPUtime=0.34 cores=0,2,4,6
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 7151 0 -1 4202560 1372 0 0 0 34 0 0 0 16 0 19 0 825574842 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 7151 0 -1 4202560 3558 0 0 0 30 0 0 0 15 0 19 0 825574842 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=13626728 CPUtime=0.29 cores=0,2,4,6
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 7151 0 -1 4202560 2551 0 0 0 29 0 0 0 15 0 19 0 825574842 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12110] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 7151 0 -1 4202560 1551 0 0 0 30 0 0 0 15 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=13626728 CPUtime=0.28 cores=0,2,4,6
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 7151 0 -1 4202560 957 0 0 0 28 0 0 0 15 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12112] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 7151 0 -1 4202560 480 0 0 0 30 0 0 0 15 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12113] ppid=12102 vsize=13626728 CPUtime=0.31 cores=0,2,4,6
/proc/12104/task/12113/stat : 12113 (java) S 12102 12104 7151 0 -1 4202560 2674 0 0 0 31 0 0 0 16 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12114] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12114/stat : 12114 (java) S 12102 12104 7151 0 -1 4202560 2350 0 0 0 30 0 0 0 15 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12115] ppid=12102 vsize=13626728 CPUtime=8.98 cores=0,2,4,6
/proc/12104/task/12115/stat : 12115 (java) S 12102 12104 7151 0 -1 4202560 5322 0 0 0 891 7 0 0 15 0 19 0 825574844 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 0 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12116] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12116/stat : 12116 (java) S 12102 12104 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12117] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12117/stat : 12117 (java) S 12102 12104 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12118] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12118/stat : 12118 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512515505 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12119] ppid=12102 vsize=13626728 CPUtime=0.82 cores=0,2,4,6
/proc/12104/task/12119/stat : 12119 (java) S 12102 12104 7151 0 -1 4202560 2882 0 0 0 82 0 0 0 15 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12120] ppid=12102 vsize=13626728 CPUtime=0.69 cores=0,2,4,6
/proc/12104/task/12120/stat : 12120 (java) S 12102 12104 7151 0 -1 4202560 6134 0 0 0 67 2 0 0 15 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12121] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12121/stat : 12121 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12122] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12122/stat : 12122 (java) S 12102 12104 7151 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12123] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12123/stat : 12123 (java) S 12102 12104 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825574891 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1785.12
Current children cumulated vsize (KiB) 13626728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.2 s]
/proc/loadavg: 2.12 2.06 2.01 3/554 12226
/proc/meminfo: memFree=20959676/32950928 swapFree=34259960/67111528
[pid=12104] ppid=12102 vsize=13626728 CPUtime=1800.04 cores=0,2,4,6
/proc/12104/stat : 12104 (java) S 12102 12104 7151 0 -1 4202496 73447 0 1 0 179984 20 0 0 25 0 19 0 825574840 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512494565 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12104/statm: 3406682 67218 2261 9 0 3397416 0
[pid=12104/tid=12105] ppid=12102 vsize=13626728 CPUtime=1786.97 cores=0,2,4,6
/proc/12104/task/12105/stat : 12105 (java) R 12102 12104 7151 0 -1 4202560 42360 0 1 0 178690 7 0 0 25 0 19 0 825574840 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 46912505797803 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12104/tid=12107] ppid=12102 vsize=13626728 CPUtime=0.34 cores=0,2,4,6
/proc/12104/task/12107/stat : 12107 (java) S 12102 12104 7151 0 -1 4202560 1372 0 0 0 34 0 0 0 15 0 19 0 825574842 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12108] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12108/stat : 12108 (java) S 12102 12104 7151 0 -1 4202560 3558 0 0 0 30 0 0 0 15 0 19 0 825574842 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12109] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12109/stat : 12109 (java) S 12102 12104 7151 0 -1 4202560 2551 0 0 0 30 0 0 0 16 0 19 0 825574842 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12110] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12110/stat : 12110 (java) S 12102 12104 7151 0 -1 4202560 1551 0 0 0 30 0 0 0 15 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12111] ppid=12102 vsize=13626728 CPUtime=0.29 cores=0,2,4,6
/proc/12104/task/12111/stat : 12111 (java) S 12102 12104 7151 0 -1 4202560 957 0 0 0 29 0 0 0 16 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12112] ppid=12102 vsize=13626728 CPUtime=0.31 cores=0,2,4,6
/proc/12104/task/12112/stat : 12112 (java) S 12102 12104 7151 0 -1 4202560 480 0 0 0 31 0 0 0 16 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12113] ppid=12102 vsize=13626728 CPUtime=0.31 cores=0,2,4,6
/proc/12104/task/12113/stat : 12113 (java) S 12102 12104 7151 0 -1 4202560 2674 0 0 0 31 0 0 0 15 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12114] ppid=12102 vsize=13626728 CPUtime=0.3 cores=0,2,4,6
/proc/12104/task/12114/stat : 12114 (java) S 12102 12104 7151 0 -1 4202560 2350 0 0 0 30 0 0 0 15 0 19 0 825574843 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12115] ppid=12102 vsize=13626728 CPUtime=9.01 cores=0,2,4,6
/proc/12104/task/12115/stat : 12115 (java) S 12102 12104 7151 0 -1 4202560 5324 0 0 0 894 7 0 0 15 0 19 0 825574844 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 0 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12116] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12116/stat : 12116 (java) S 12102 12104 7151 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12117] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12117/stat : 12117 (java) S 12102 12104 7151 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 825574844 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
[pid=12104/tid=12118] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12118/stat : 12118 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512515505 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12119] ppid=12102 vsize=13626728 CPUtime=0.82 cores=0,2,4,6
/proc/12104/task/12119/stat : 12119 (java) S 12102 12104 7151 0 -1 4202560 2882 0 0 0 82 0 0 0 15 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 0 0 0 0
[pid=12104/tid=12120] ppid=12102 vsize=13626728 CPUtime=0.69 cores=0,2,4,6
/proc/12104/task/12120/stat : 12120 (java) S 12102 12104 7151 0 -1 4202560 6134 0 0 0 67 2 0 0 15 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12121] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12121/stat : 12121 (java) S 12102 12104 7151 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512507801 0 4 0 16800975 18446604445337563264 0 0 -1 2 0 0 0
[pid=12104/tid=12122] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12122/stat : 12122 (java) S 12102 12104 7151 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 825574846 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 4 0 0 0
[pid=12104/tid=12123] ppid=12102 vsize=13626728 CPUtime=0 cores=0,2,4,6
/proc/12104/task/12123/stat : 12123 (java) S 12102 12104 7151 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 825574891 13953769472 67218 33554432000 1073741824 1073778376 140736863110096 18446744073709551615 254512508416 0 4 0 16800975 18446604445337563264 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13626728

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

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

Child status: 143
Real time (s): 1797.27
CPU time (s): 1800.15
CPU user time (s): 1799.94
CPU system time (s): 0.216967
CPU usage (%): 100.161
Max. virtual memory (cumulated for all children) (KiB): 13628220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.216967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73605
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= 44445
involuntary context switches= 42569

runsolver used 9.8505 second user time and 21.0858 second system time

The end

Begin job on node149 at 2011-06-04 00:23:02
IDJOB=3459415
IDBENCH=1516
IDSOLVER=1952
FILE ID=node149/3459415-1307139781
RUNJOBID= node149-1307134204-10439
PBS_JOBID= 13508767
Free space on /tmp= 73528 MiB

SOLVER NAME= Sat4j Resolution 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air06.opb
COMMAND LINE= java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3459415-1307139781/watcher-3459415-1307139781 -o /tmp/evaluation-result-3459415-1307139781/solver-3459415-1307139781 -C 1800 -W 1900 -M 15500  java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459415-1307139781.opb

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

MD5SUM BENCH= 56f4f4418400a86463858db6d507606d
RANDOM SEED=831177084

node149.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.806
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.61
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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.73
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.806
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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:     32950928 kB
MemFree:      21046308 kB
Buffers:        328380 kB
Cached:        3491420 kB
SwapCached:     123196 kB
Active:         591956 kB
Inactive:     10974244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21046308 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:             844 kB
Writeback:           0 kB
AnonPages:     7647980 kB
Mapped:          26196 kB
Slab:           150316 kB
PageTables:     118456 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 186529512 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= 73528 MiB
End job on node149 at 2011-06-04 00:53:01