0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Glucose 2.1 dynamic restart strategy
0.11/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-4090932-1466067589.wbo
0.11/0.10	c reading problem ... 
0.58/0.32	c ... done. Wall clock time 0.219s.
0.58/0.32	c declared #vars     10100
0.58/0.32	c internal #vars     10301
0.58/0.32	c #constraints  201
0.58/0.32	c constraints type 
0.58/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 101
0.58/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 100
0.58/0.32	c 201 constraints processed.
0.58/0.32	c objective function length is 201 literals
1.77/1.07	c cleaning 2497 clauses out of 5000 with flag 33478/5000
2.65/1.83	c cleaning 4247 clauses out of 8505 with flag 69150/11002
3.76/2.96	c cleaning 5621 clauses out of 11257 with flag 112160/18001
5.17/4.39	c cleaning 6810 clauses out of 13637 with flag 159548/26002
6.89/6.05	c cleaning 7906 clauses out of 15825 with flag 214469/35000
8.95/8.02	c cleaning 8950 clauses out of 17920 with flag 278064/45001
11.65/10.72	c cleaning 9979 clauses out of 19969 with flag 354313/56000
14.75/13.84	c cleaning 10990 clauses out of 21991 with flag 434434/68001
18.04/17.09	c cleaning 11996 clauses out of 24002 with flag 516715/81002
22.14/21.10	c cleaning 12997 clauses out of 26005 with flag 609359/95001
26.34/25.38	c cleaning 13994 clauses out of 28007 with flag 710499/110000
31.47/30.32	c cleaning 15003 clauses out of 30013 with flag 817607/126000
36.57/35.41	c cleaning 15999 clauses out of 32011 with flag 933025/143001
41.47/40.34	c cleaning 17003 clauses out of 34013 with flag 1044235/161002
46.97/45.78	c cleaning 18000 clauses out of 36012 with flag 1162017/180004
54.07/52.90	c cleaning 18999 clauses out of 38009 with flag 1295865/200001
63.51/62.11	c cleaning 19997 clauses out of 40011 with flag 1450969/221002
72.60/71.03	c cleaning 21003 clauses out of 42014 with flag 1605170/243002
82.00/80.45	c cleaning 22002 clauses out of 44009 with flag 1765182/266000
92.24/90.41	c cleaning 22995 clauses out of 46007 with flag 1935018/290000
102.84/101.10	c cleaning 23996 clauses out of 48013 with flag 2117137/315001
115.67/113.63	c cleaning 25005 clauses out of 50018 with flag 2308915/341002
126.67/124.23	c cleaning 26001 clauses out of 52011 with flag 2484643/368000
138.92/136.44	c cleaning 27000 clauses out of 54010 with flag 2681195/396000
151.53/148.97	c cleaning 28000 clauses out of 56010 with flag 2889773/425000
166.29/163.65	c cleaning 28998 clauses out of 58010 with flag 3113505/455000
179.96/177.18	c cleaning 29999 clauses out of 60012 with flag 3325761/486000
196.85/193.93	c cleaning 30995 clauses out of 62014 with flag 3549481/518001
211.77/208.86	c cleaning 32001 clauses out of 64019 with flag 3761771/551001
229.20/226.11	c cleaning 33003 clauses out of 66019 with flag 4010863/585002
247.63/244.41	c cleaning 33998 clauses out of 68015 with flag 4267947/620001
266.94/263.55	c cleaning 34999 clauses out of 70017 with flag 4518732/656001
284.59/281.05	c cleaning 36000 clauses out of 72019 with flag 4755159/693002
303.28/299.52	c cleaning 36999 clauses out of 74017 with flag 5013701/731000
323.42/319.58	c cleaning 38002 clauses out of 76018 with flag 5288313/770000
345.46/341.44	c cleaning 38993 clauses out of 78016 with flag 5562305/810000
365.85/361.68	c cleaning 40006 clauses out of 80023 with flag 5835978/851000
391.60/387.26	c cleaning 41004 clauses out of 82017 with flag 6128380/893000
417.68/413.17	c cleaning 42001 clauses out of 84015 with flag 6422184/936002
444.10/439.33	c cleaning 42996 clauses out of 86014 with flag 6715955/980002
470.07/465.13	c cleaning 44002 clauses out of 88017 with flag 7023982/1025001
499.60/494.48	c cleaning 44997 clauses out of 90014 with flag 7339507/1071000
531.68/526.25	c cleaning 46004 clauses out of 92017 with flag 7686198/1118000
563.22/557.56	c cleaning 46999 clauses out of 94014 with flag 8049744/1166001
587.16/581.32	c SATISFIABLE
587.16/581.32	c OPTIMIZING...
587.16/581.32	c Got one! Elapsed wall clock time (in seconds):581.222
587.16/581.32	o 33
591.67/585.75	c cleaning 44216 clauses out of 88436 with flag 28902/1207422
594.40/588.43	c cleaning 25106 clauses out of 50222 with flag 72627/1213424
596.60/590.61	c cleaning 16054 clauses out of 32117 with flag 122857/1220425
598.63/592.64	c cleaning 12026 clauses out of 24060 with flag 181719/1228422
600.66/594.63	c cleaning 10515 clauses out of 21034 with flag 246809/1237422
602.80/596.73	c cleaning 10256 clauses out of 20519 with flag 326683/1247422
605.12/599.09	c cleaning 10623 clauses out of 21265 with flag 414510/1258424
608.05/601.91	c cleaning 11312 clauses out of 22643 with flag 507389/1270425
611.50/605.31	c cleaning 12156 clauses out of 24328 with flag 609493/1283422
615.25/609.08	c cleaning 13081 clauses out of 26173 with flag 717535/1297423
619.82/613.55	c cleaning 14041 clauses out of 28092 with flag 833241/1312423
624.71/618.31	c cleaning 15018 clauses out of 30050 with flag 965909/1328422
630.32/623.80	c cleaning 16011 clauses out of 32034 with flag 1107602/1345424
636.69/630.12	c cleaning 17005 clauses out of 34022 with flag 1262648/1363423
642.82/636.30	c cleaning 18001 clauses out of 36016 with flag 1413883/1382422
649.91/643.22	c cleaning 19005 clauses out of 38020 with flag 1563625/1402427
657.54/650.70	c cleaning 20000 clauses out of 40010 with flag 1720524/1423422
666.02/659.13	c cleaning 21000 clauses out of 42012 with flag 1894028/1445424
674.45/667.46	c cleaning 21999 clauses out of 44011 with flag 2055945/1468423
682.75/675.64	c cleaning 23002 clauses out of 46013 with flag 2222195/1492424
692.26/685.07	c cleaning 23999 clauses out of 48009 with flag 2401389/1517422
702.86/695.51	c cleaning 25000 clauses out of 50010 with flag 2592688/1543422
714.29/706.85	c cleaning 25998 clauses out of 52012 with flag 2791082/1570424
726.51/718.89	c cleaning 27002 clauses out of 54014 with flag 3002600/1598424
739.25/731.44	c cleaning 28002 clauses out of 56011 with flag 3211722/1627423
753.43/745.44	c cleaning 28998 clauses out of 58008 with flag 3434296/1657422
767.20/759.01	c cleaning 29998 clauses out of 60012 with flag 3637796/1688424
780.29/771.93	c cleaning 31005 clauses out of 62016 with flag 3844543/1720426
796.20/787.62	c cleaning 31999 clauses out of 64007 with flag 4054455/1753422
812.13/803.44	c cleaning 33000 clauses out of 66009 with flag 4281718/1787423
828.46/819.57	c cleaning 34004 clauses out of 68010 with flag 4524829/1822424
830.29/821.35	c Got one! Elapsed wall clock time (in seconds):821.247
830.29/821.35	o 31
832.16/823.11	c cleaning 22828 clauses out of 45666 with flag 34898/1834084
833.88/824.83	c cleaning 14414 clauses out of 28839 with flag 84674/1840085
835.38/826.32	c cleaning 10705 clauses out of 21425 with flag 148254/1847085
836.81/827.77	c cleaning 9354 clauses out of 18719 with flag 217256/1855084
838.54/829.42	c cleaning 9175 clauses out of 18367 with flag 296181/1864086
840.44/831.37	c cleaning 9592 clauses out of 19194 with flag 387797/1874088
842.74/833.60	c cleaning 10296 clauses out of 20599 with flag 484058/1885085
845.17/836.08	c cleaning 11147 clauses out of 22304 with flag 581999/1897086
848.29/839.19	c cleaning 12067 clauses out of 24155 with flag 695288/1910084
852.87/843.64	c cleaning 13036 clauses out of 26088 with flag 817901/1924084
856.99/847.75	c cleaning 14020 clauses out of 28053 with flag 940134/1939085
861.86/852.59	c cleaning 15007 clauses out of 30034 with flag 1074136/1955086
867.35/857.96	c cleaning 16002 clauses out of 32026 with flag 1213878/1972085
873.13/863.67	c cleaning 17008 clauses out of 34024 with flag 1359206/1990085
879.37/869.85	c cleaning 18000 clauses out of 36016 with flag 1500448/2009085
886.09/876.50	c cleaning 19003 clauses out of 38016 with flag 1652630/2029085
893.68/883.95	c cleaning 20000 clauses out of 40012 with flag 1818186/2050084
901.41/891.53	c cleaning 20995 clauses out of 42012 with flag 1981255/2072084
909.42/899.46	c cleaning 21999 clauses out of 44018 with flag 2151679/2095085
918.01/907.92	c cleaning 23003 clauses out of 46021 with flag 2322851/2119087
928.03/917.87	c cleaning 24003 clauses out of 48015 with flag 2516486/2144084
939.13/928.86	c cleaning 25003 clauses out of 50012 with flag 2711940/2170084
951.27/940.81	c cleaning 25999 clauses out of 52009 with flag 2918278/2197084
963.01/952.47	c cleaning 26997 clauses out of 54010 with flag 3123329/2225084
976.05/965.33	c cleaning 28002 clauses out of 56013 with flag 3338896/2254084
990.24/979.39	c cleaning 29002 clauses out of 58012 with flag 3571309/2284085
1005.32/994.21	c cleaning 30000 clauses out of 60009 with flag 3816042/2315084
1022.51/1011.24	c cleaning 31002 clauses out of 62011 with flag 4056504/2347086
1041.13/1029.65	c cleaning 32001 clauses out of 64009 with flag 4309020/2380086
1059.55/1047.73	c cleaning 33000 clauses out of 66006 with flag 4566484/2414084
1076.91/1064.96	c cleaning 34002 clauses out of 68008 with flag 4815954/2449086
1080.14/1068.12	c Got one! Elapsed wall clock time (in seconds):1068.018
1080.14/1068.12	o 25
1080.14/1068.20	c Got one! Elapsed wall clock time (in seconds):1068.099
1080.14/1068.20	o 2
1082.29/1070.21	c cleaning 24091 clauses out of 48195 with flag 32453/2463275
1084.33/1072.20	c cleaning 15045 clauses out of 30106 with flag 82934/2469277
1085.95/1073.89	c cleaning 11018 clauses out of 22059 with flag 151023/2476275
1087.69/1075.59	c cleaning 9511 clauses out of 19042 with flag 228922/2484276
1089.74/1077.51	c cleaning 9260 clauses out of 18532 with flag 316452/2493277
1091.87/1079.67	c cleaning 9629 clauses out of 19270 with flag 410158/2503275
1094.51/1082.21	c cleaning 10314 clauses out of 20644 with flag 514370/2514278
1097.14/1084.88	c cleaning 11150 clauses out of 22328 with flag 628507/2526276
1100.38/1088.04	c cleaning 12078 clauses out of 24178 with flag 733658/2539276
1104.04/1091.67	c cleaning 13038 clauses out of 26099 with flag 849080/2553275
1107.88/1095.43	c cleaning 14023 clauses out of 28062 with flag 972444/2568276
1112.45/1099.91	c cleaning 15005 clauses out of 30038 with flag 1101256/2584275
1117.12/1104.56	c cleaning 16010 clauses out of 32035 with flag 1231109/2601277
1122.73/1110.02	c cleaning 17002 clauses out of 34024 with flag 1376644/2619276
1128.69/1115.97	c cleaning 18002 clauses out of 36021 with flag 1513914/2638275
1135.17/1122.39	c cleaning 19000 clauses out of 38019 with flag 1674303/2658275
1141.47/1128.57	c cleaning 19998 clauses out of 40019 with flag 1840919/2679275
1149.09/1136.02	c cleaning 21006 clauses out of 42026 with flag 2025589/2701280
1158.41/1145.29	c cleaning 21994 clauses out of 44015 with flag 2223350/2724275
1168.61/1155.35	c cleaning 22993 clauses out of 46021 with flag 2415737/2748275
1178.40/1165.04	c cleaning 24008 clauses out of 48028 with flag 2617652/2773275
1188.85/1175.39	c cleaning 24999 clauses out of 50020 with flag 2828184/2799275
1199.83/1186.18	c cleaning 26002 clauses out of 52021 with flag 3045946/2826275
1212.20/1198.37	c cleaning 27006 clauses out of 54019 with flag 3283848/2854275
1226.37/1212.36	c cleaning 28003 clauses out of 56014 with flag 3521715/2883276
1235.46/1221.39	c Got one! Elapsed wall clock time (in seconds):1221.291
1235.46/1221.39	o 1
1237.69/1223.50	c cleaning 27687 clauses out of 55390 with flag 36648/2910655
1239.33/1225.18	c cleaning 16845 clauses out of 33703 with flag 80754/2916655
1240.87/1226.67	c cleaning 11919 clauses out of 23859 with flag 130149/2923656
1242.28/1228.09	c cleaning 9963 clauses out of 19939 with flag 190168/2931655
1244.01/1229.76	c cleaning 9481 clauses out of 18977 with flag 257072/2940656
1246.17/1231.82	c cleaning 9738 clauses out of 19497 with flag 333455/2950657
1248.40/1234.06	c cleaning 10374 clauses out of 20761 with flag 413990/2961659
1251.05/1236.63	c cleaning 11184 clauses out of 22384 with flag 501267/2973656
1254.09/1239.60	c cleaning 12088 clauses out of 24199 with flag 592803/2986655
1257.94/1243.48	c cleaning 13043 clauses out of 26111 with flag 712598/3000655
1262.48/1247.97	c cleaning 14027 clauses out of 28070 with flag 834419/3015657
1267.31/1252.67	c cleaning 15009 clauses out of 30041 with flag 958864/3031655
1272.70/1257.93	c cleaning 16002 clauses out of 32032 with flag 1092561/3048655
1278.46/1263.63	c cleaning 17009 clauses out of 34031 with flag 1225642/3066656
1285.36/1270.48	c cleaning 18001 clauses out of 36021 with flag 1372248/3085655
1292.98/1277.90	c cleaning 19006 clauses out of 38024 with flag 1516469/3105659
1300.18/1285.10	c cleaning 19996 clauses out of 40014 with flag 1682323/3126655
1308.05/1292.82	c cleaning 20997 clauses out of 42018 with flag 1866213/3148655
1316.89/1301.50	c cleaning 22005 clauses out of 44025 with flag 2055553/3171659
1325.49/1310.08	c cleaning 22996 clauses out of 46016 with flag 2241352/3195655
1334.93/1319.32	c cleaning 23997 clauses out of 48021 with flag 2434401/3220656
1345.01/1329.22	c cleaning 24999 clauses out of 50025 with flag 2647014/3246657
1356.32/1340.41	c cleaning 26000 clauses out of 52025 with flag 2865137/3273656
1367.35/1351.38	c cleaning 27000 clauses out of 54024 with flag 3086668/3301655
1379.29/1363.17	c cleaning 28003 clauses out of 56025 with flag 3312114/3330656
1392.37/1376.10	c cleaning 29000 clauses out of 58021 with flag 3553282/3360655
1408.45/1391.96	c cleaning 30004 clauses out of 60024 with flag 3796794/3391658
1424.41/1407.71	c cleaning 30998 clauses out of 62017 with flag 4025966/3423655
1441.10/1424.27	c cleaning 31996 clauses out of 64019 with flag 4271440/3456655
1459.66/1442.56	c cleaning 33004 clauses out of 66025 with flag 4510536/3490657
1478.01/1460.76	c cleaning 34003 clauses out of 68019 with flag 4790709/3525655
1497.01/1479.52	c cleaning 34998 clauses out of 70016 with flag 5072905/3561655
1516.90/1499.29	c cleaning 35995 clauses out of 72018 with flag 5344105/3598655
1539.04/1521.14	c cleaning 36999 clauses out of 74023 with flag 5627856/3636655
1562.30/1544.19	c cleaning 38003 clauses out of 76025 with flag 5918342/3675656
1584.08/1565.63	c cleaning 39003 clauses out of 78021 with flag 6198024/3715655
1607.37/1588.65	c cleaning 39995 clauses out of 80020 with flag 6516943/3756657
1630.92/1611.97	c cleaning 41005 clauses out of 82023 with flag 6797975/3798655
1662.99/1643.67	c cleaning 41996 clauses out of 84018 with flag 7135439/3841655
1689.34/1669.75	c cleaning 43002 clauses out of 86022 with flag 7454521/3885655
1719.35/1699.50	c cleaning 43998 clauses out of 88022 with flag 7793992/3930657
1746.34/1726.15	c cleaning 45005 clauses out of 90022 with flag 8117371/3976655
1779.26/1758.63	c cleaning 46000 clauses out of 92017 with flag 8483427/4023655
1800.06/1779.20	c starts		: 20
1800.06/1779.20	c conflicts		: 4057111
1800.06/1779.20	c decisions		: 4549838
1800.06/1779.20	c propagations		: 46918184
1800.06/1779.20	c inspects		: 29158707017
1800.06/1779.20	c shortcuts		: 0
1800.06/1779.20	c learnt literals	: 0
1800.06/1779.20	c learnt binary clauses	: 0
1800.06/1779.20	c learnt ternary clauses	: 0
1800.06/1779.20	c learnt constraints	: 4057111
1800.06/1779.20	c ignored constraints	: 0
1800.06/1779.20	c root simplifications	: 0
1800.06/1779.20	c removed literals (reason simplification)	: 0
1800.06/1779.20	c reason swapping (by a shorter reason)	: 0
1800.06/1779.20	c Calls to reduceDB	: 174
1800.06/1779.20	c Number of update (reduction) of LBD	: 1888559
1800.06/1779.20	c Imported unit clauses	: 0
1800.06/1779.20	c number of reductions to clauses (during analyze)	: 0
1800.06/1779.20	c number of learned constraints concerned by reduction	: 0
1800.06/1779.20	c number of learning phase by resolution	: 0
1800.06/1779.20	c number of learning phase by cutting planes	: 0
1800.06/1779.20	c speed (assignments/second)	: 26375.24566129547
1800.06/1779.20	c non guided choices	66493
1800.06/1779.23	c learnt constraints type 
1800.06/1779.23	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 79474
1800.06/1779.23	s SATISFIABLE
1800.06/1779.23	c Found 5 solution(s)
1800.06/1779.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 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 -x9941 -x9942 -x9943 -x9944 -x9945 -x9946 -x9947 -x9948 -x9949 -x9950 -x9951 -x9952 -x9953 -x9954 -x9955 -x9956 -x9957 -x9958 -x9959 -x9960 -x9961 -x9962 -x9963 -x9964 -x9965 -x9966 -x9967 -x9968 -x9969 -x9970 -x9971 -x9972 -x9973 -x9974 -x9975 -x9976 -x9977 -x9978 -x9979 -x9980 -x9981 -x9982 -x9983 -x9984 -x9985 -x9986 -x9987 -x9988 -x9989 -x9990 -x9991 -x9992 -x9993 -x9994 -x9995 -x9996 -x9997 -x9998 -x9999 -x10000 -x10001 -x10002 -x10003 -x10004 -x10005 -x10006 -x10007 -x10008 -x10009 -x10010 -x10011 -x10012 -x10013 -x10014 -x10015 -x10016 -x10017 -x10018 -x10019 -x10020 -x10021 -x10022 -x10023 -x10024 -x10025 -x10026 -x10027 -x10028 -x10029 -x10030 -x10031 -x10032 -x10033 -x10034 -x10035 -x10036 -x10037 -x10038 -x10039 -x10040 -x10041 -x10042 -x10043 -x10044 -x10045 -x10046 -x10047 -x10048 -x10049 -x10050 -x10051 -x10052 -x10053 -x10054 -x10055 -x10056 -x10057 -x10058 -x10059 -x10060 -x10061 -x10062 -x10063 -x10064 -x10065 -x10066 -x10067 -x10068 -x10069 -x10070 -x10071 -x10072 -x10073 -x10074 -x10075 -x10076 -x10077 -x10078 -x10079 -x10080 -x10081 -x10082 -x10083 -x10084 -x10085 -x10086 -x10087 -x10088 -x10089 -x10090 -x10091 -x10092 -x10093 -x10094 -x10095 -x10096 -x10097 -x10098 -x10099 -x10100 
1800.06/1779.25	c objective function=1
1800.06/1779.25	c Total wall clock time (in seconds): 1779.147

OK	1

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4090932-1466067589/watcher-4090932-1466067589 -o /tmp/evaluation-result-4090932-1466067589/solver-4090932-1466067589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466062124-6864 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090932-1466067589.wbo 

pid=7915
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.16 2.24 2.19 3/194 7918
/proc/meminfo: memFree=30331168/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 8805484 98570240 976 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 24065 976 743 9 0 16771 0
[pid=7918/tid=7919] ppid=7915 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8805484 98570240 976 33554432000 1073741824 1073778376 140733965770192 140699937877544 270707541376 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0

[startup+0.100113 s]
/proc/loadavg: 2.16 2.24 2.19 3/194 7918
/proc/meminfo: memFree=30331168/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 4491 0 1 0 10 1 0 0 20 0 18 0 8805484 9787879424 6122 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2389619 6122 2157 9 0 2380296 0
[pid=7918/tid=7919] ppid=7915 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 2375 0 1 0 6 1 0 0 20 0 18 0 8805484 9787879424 6122 33554432000 1073741824 1073778376 140733965770192 140699937880992 140699941152295 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476

[startup+0.200336 s]
/proc/loadavg: 2.16 2.24 2.19 3/194 7918
/proc/meminfo: memFree=30331168/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 5863 0 1 0 28 2 0 0 20 0 18 0 8805484 9787879424 7971 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2389619 7971 2221 9 0 2380296 0
[pid=7918/tid=7919] ppid=7915 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 2395 0 1 0 16 1 0 0 20 0 18 0 8805484 9787879424 7971 33554432000 1073741824 1073778376 140733965770192 140699937880992 140699790036871 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300338 s]
/proc/loadavg: 2.16 2.24 2.19 3/194 7918
/proc/meminfo: memFree=30331168/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9558476 CPUtime=0.58 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 7318 0 1 0 56 2 0 0 20 0 18 0 8805484 9787879424 10905 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2389619 10905 2242 9 0 2380296 0
[pid=7918/tid=7919] ppid=7915 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 2402 0 1 0 26 1 0 0 20 0 18 0 8805484 9787879424 10905 33554432000 1073741824 1073778376 140733965770192 140699937880992 140699790049756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.700273 s]
/proc/loadavg: 2.16 2.24 2.19 3/194 7918
/proc/meminfo: memFree=30331168/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 10628 0 1 0 140 3 0 0 20 0 19 0 8805484 9856040960 15175 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2406260 15175 2268 9 0 2396937 0
[pid=7918/tid=7919] ppid=7915 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 2419 0 1 0 66 1 0 0 20 0 19 0 8805484 9856040960 15175 33554432000 1073741824 1073778376 140733965770192 140699937881952 140699790680054 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9625040

[startup+1.50082 s]
/proc/loadavg: 2.16 2.24 2.19 3/213 7937
/proc/meminfo: memFree=30266168/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9625040 CPUtime=2.33 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 11634 0 1 0 230 3 0 0 20 0 19 0 8805484 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2406260 19710 2274 9 0 2396937 0
[pid=7918/tid=7919] ppid=7915 vsize=9625040 CPUtime=1.48 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 2428 0 1 0 146 2 0 0 20 0 19 0 8805484 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699937882560 140699790679584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7921] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7921/stat : 7921 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699910334760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7922] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7922/stat : 7922 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699909281960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7923] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7923/stat : 7923 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699778984488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7918/tid=7924] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7924/stat : 7924 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699777931688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7925] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7925/stat : 7925 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699776879400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7926] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7926/stat : 7926 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699775826600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7927] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7927/stat : 7927 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699774774312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7928] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7928/stat : 7928 (java) S 7915 7918 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699303406504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7929] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7929/stat : 7929 (java) S 7915 7918 6847 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699291207912 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7930] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7930/stat : 7930 (java) S 7915 7918 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699290153976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7931] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7931/stat : 7931 (java) S 7915 7918 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699289101576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7932] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7932/stat : 7932 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699288050064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7933] ppid=7915 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7918/task/7933/stat : 7933 (java) S 7915 7918 6847 0 -1 4202560 3425 0 0 0 43 0 0 0 20 0 19 0 8805488 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699286997688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7934] ppid=7915 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/7918/task/7934/stat : 7934 (java) S 7915 7918 6847 0 -1 4202560 4503 0 0 0 38 0 0 0 20 0 19 0 8805488 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699285944888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7935] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7935/stat : 7935 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699284892792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7936] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7936/stat : 7936 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699283840200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7937] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7937/stat : 7937 (java) S 7915 7918 6847 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8805517 9856040960 19710 33554432000 1073741824 1073778376 140733965770192 140699282686888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9625040

[startup+3.10087 s]
/proc/loadavg: 2.16 2.24 2.19 4/213 7937
/proc/meminfo: memFree=30243268/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 11650 0 1 0 393 4 0 0 20 0 19 0 8805484 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2406260 27390 2274 9 0 2396937 0
[pid=7918/tid=7919] ppid=7915 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 2444 0 1 0 305 2 0 0 20 0 19 0 8805484 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699937873632 140699790218662 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7921] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7921/stat : 7921 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699910334760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7922] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7922/stat : 7922 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699909281960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7923] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7923/stat : 7923 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699778984488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7918/tid=7924] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7924/stat : 7924 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699777931688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7925] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7925/stat : 7925 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699776879400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7926] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7926/stat : 7926 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699775826600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7927] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7927/stat : 7927 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699774774312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7928] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7928/stat : 7928 (java) S 7915 7918 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699303406504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7929] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7929/stat : 7929 (java) S 7915 7918 6847 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699291207912 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7930] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7930/stat : 7930 (java) S 7915 7918 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699290153976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7931] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7931/stat : 7931 (java) S 7915 7918 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699289101576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7932] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7932/stat : 7932 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699288050064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7933] ppid=7915 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/7918/task/7933/stat : 7933 (java) S 7915 7918 6847 0 -1 4202560 3425 0 0 0 45 0 0 0 20 0 19 0 8805488 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699286997688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7934] ppid=7915 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7918/task/7934/stat : 7934 (java) S 7915 7918 6847 0 -1 4202560 4503 0 0 0 40 0 0 0 20 0 19 0 8805488 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699285944888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7935] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7935/stat : 7935 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699284892792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7936] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7936/stat : 7936 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699283840200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7937] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7937/stat : 7937 (java) S 7915 7918 6847 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8805517 9856040960 27390 33554432000 1073741824 1073778376 140733965770192 140699282686888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9625040

[startup+6.30087 s]
/proc/loadavg: 2.15 2.23 2.19 3/213 7937
/proc/meminfo: memFree=30186008/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9625040 CPUtime=7.19 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 11675 0 1 0 715 4 0 0 20 0 19 0 8805484 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2406260 39550 2274 9 0 2396937 0
[pid=7918/tid=7919] ppid=7915 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 2469 0 1 0 624 2 0 0 20 0 19 0 8805484 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699937882520 140699790727340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7921] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7921/stat : 7921 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699910334760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7922] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7922/stat : 7922 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699909281960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7923] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7923/stat : 7923 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699778984488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7918/tid=7924] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7924/stat : 7924 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699777931688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7925] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7925/stat : 7925 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699776879400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7926] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7926/stat : 7926 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699775826600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7927] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7927/stat : 7927 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699774774312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7928] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7928/stat : 7928 (java) S 7915 7918 6847 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8805485 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699303406504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7929] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7929/stat : 7929 (java) S 7915 7918 6847 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699291207912 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7930] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7930/stat : 7930 (java) S 7915 7918 6847 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699290153976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7931] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7931/stat : 7931 (java) S 7915 7918 6847 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699289101576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7932] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7932/stat : 7932 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699288050064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7933] ppid=7915 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/7918/task/7933/stat : 7933 (java) S 7915 7918 6847 0 -1 4202560 3425 0 0 0 48 0 0 0 20 0 19 0 8805488 9856040960 39550 33554432000 1073741824 1073778376 140733965770192 140699286997688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7934] ppid=7915 vsize=9625040 CPUtime=0.4 cores=1,3,5,7

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

[pid=7918/tid=7937] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7937/stat : 7937 (java) S 7915 7918 6847 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8805517 9856040960 94203 33554432000 1073741824 1073778376 140733965770192 140699282686888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1621.23
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.27 2.30 2.26 3/213 8066
/proc/meminfo: memFree=29304300/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9625040 CPUtime=1681.89 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 33604 0 1 0 167980 209 0 0 20 0 19 0 8805484 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2406260 111494 2296 9 0 2396937 0
[pid=7918/tid=7919] ppid=7915 vsize=9625040 CPUtime=1644.49 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 2965 0 1 0 164419 30 0 0 20 0 19 0 8805484 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699937881328 140699790727340 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7921] ppid=7915 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/7918/task/7921/stat : 7921 (java) S 7915 7918 6847 0 -1 4202560 2105 0 0 0 309 22 0 0 20 0 19 0 8805485 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699910334760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7918/tid=7922] ppid=7915 vsize=9625040 CPUtime=3.22 cores=1,3,5,7
/proc/7918/task/7922/stat : 7922 (java) S 7915 7918 6847 0 -1 4202560 2195 0 0 0 302 20 0 0 20 0 19 0 8805485 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699909281960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7923] ppid=7915 vsize=9625040 CPUtime=3.3 cores=1,3,5,7
/proc/7918/task/7923/stat : 7923 (java) S 7915 7918 6847 0 -1 4202560 3226 0 0 0 308 22 0 0 20 0 19 0 8805485 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699778984488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7924] ppid=7915 vsize=9625040 CPUtime=3.21 cores=1,3,5,7
/proc/7918/task/7924/stat : 7924 (java) S 7915 7918 6847 0 -1 4202560 2614 0 0 0 300 21 0 0 20 0 19 0 8805485 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699777931688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7925] ppid=7915 vsize=9625040 CPUtime=3.35 cores=1,3,5,7
/proc/7918/task/7925/stat : 7925 (java) S 7915 7918 6847 0 -1 4202560 1823 0 0 0 316 19 0 0 20 0 19 0 8805485 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699776879400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7926] ppid=7915 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/7918/task/7926/stat : 7926 (java) S 7915 7918 6847 0 -1 4202560 2654 0 0 0 323 23 0 0 20 0 19 0 8805485 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699775826600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7927] ppid=7915 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/7918/task/7927/stat : 7927 (java) S 7915 7918 6847 0 -1 4202560 2471 0 0 0 309 20 0 0 20 0 19 0 8805485 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699774774312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7928] ppid=7915 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/7918/task/7928/stat : 7928 (java) S 7915 7918 6847 0 -1 4202560 2534 0 0 0 314 19 0 0 20 0 19 0 8805485 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699303406504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7929] ppid=7915 vsize=9625040 CPUtime=5.25 cores=1,3,5,7
/proc/7918/task/7929/stat : 7929 (java) S 7915 7918 6847 0 -1 4202560 1604 0 0 0 517 8 0 0 20 0 19 0 8805486 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699291207912 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7930] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7930/stat : 7930 (java) S 7915 7918 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699290153976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7931] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7931/stat : 7931 (java) S 7915 7918 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699289101576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7932] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7932/stat : 7932 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699288050064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7933] ppid=7915 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7918/task/7933/stat : 7933 (java) S 7915 7918 6847 0 -1 4202560 3549 0 0 0 54 0 0 0 20 0 19 0 8805488 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699286997688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7934] ppid=7915 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7918/task/7934/stat : 7934 (java) S 7915 7918 6847 0 -1 4202560 4508 0 0 0 54 0 0 0 20 0 19 0 8805488 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699285944888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7935] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7935/stat : 7935 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699284892792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7936] ppid=7915 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7918/task/7936/stat : 7936 (java) S 7915 7918 6847 0 -1 4202560 93 0 0 0 27 33 0 0 20 0 19 0 8805488 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699283840200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7937] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7937/stat : 7937 (java) S 7915 7918 6847 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8805517 9856040960 111494 33554432000 1073741824 1073778376 140733965770192 140699282686888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1681.89
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.24 2.28 2.26 3/213 8067
/proc/meminfo: memFree=29244208/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9625040 CPUtime=1742.5 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 34053 0 1 0 174038 212 0 0 20 0 19 0 8805484 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2406260 94810 2296 9 0 2396937 0
[pid=7918/tid=7919] ppid=7915 vsize=9625040 CPUtime=1703.86 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 2987 0 1 0 170355 31 0 0 20 0 19 0 8805484 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699937881328 140699790727340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7921] ppid=7915 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/7918/task/7921/stat : 7921 (java) S 7915 7918 6847 0 -1 4202560 2232 0 0 0 320 22 0 0 20 0 19 0 8805485 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699910334760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7922] ppid=7915 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/7918/task/7922/stat : 7922 (java) S 7915 7918 6847 0 -1 4202560 2195 0 0 0 313 20 0 0 20 0 19 0 8805485 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699909281960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7923] ppid=7915 vsize=9625040 CPUtime=3.42 cores=1,3,5,7
/proc/7918/task/7923/stat : 7923 (java) S 7915 7918 6847 0 -1 4202560 3282 0 0 0 320 22 0 0 20 0 19 0 8805485 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699778984488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7924] ppid=7915 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/7918/task/7924/stat : 7924 (java) S 7915 7918 6847 0 -1 4202560 2614 0 0 0 310 21 0 0 20 0 19 0 8805485 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699777931688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7918/tid=7925] ppid=7915 vsize=9625040 CPUtime=3.46 cores=1,3,5,7
/proc/7918/task/7925/stat : 7925 (java) S 7915 7918 6847 0 -1 4202560 1935 0 0 0 327 19 0 0 20 0 19 0 8805485 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699776879400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7918/tid=7926] ppid=7915 vsize=9625040 CPUtime=3.58 cores=1,3,5,7
/proc/7918/task/7926/stat : 7926 (java) S 7915 7918 6847 0 -1 4202560 2654 0 0 0 335 23 0 0 20 0 19 0 8805485 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699775826600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7927] ppid=7915 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/7918/task/7927/stat : 7927 (java) S 7915 7918 6847 0 -1 4202560 2591 0 0 0 321 20 0 0 20 0 19 0 8805485 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699774774312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7928] ppid=7915 vsize=9625040 CPUtime=3.44 cores=1,3,5,7
/proc/7918/task/7928/stat : 7928 (java) S 7915 7918 6847 0 -1 4202560 2534 0 0 0 325 19 0 0 20 0 19 0 8805485 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699303406504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7929] ppid=7915 vsize=9625040 CPUtime=5.42 cores=1,3,5,7
/proc/7918/task/7929/stat : 7929 (java) S 7915 7918 6847 0 -1 4202560 1612 0 0 0 533 9 0 0 20 0 19 0 8805486 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699291207912 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7930] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7930/stat : 7930 (java) S 7915 7918 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699290153976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7931] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7931/stat : 7931 (java) S 7915 7918 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699289101576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7932] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7932/stat : 7932 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699288050064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7933] ppid=7915 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7918/task/7933/stat : 7933 (java) S 7915 7918 6847 0 -1 4202560 3549 0 0 0 54 0 0 0 20 0 19 0 8805488 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699286997688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7934] ppid=7915 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7918/task/7934/stat : 7934 (java) S 7915 7918 6847 0 -1 4202560 4508 0 0 0 54 0 0 0 20 0 19 0 8805488 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699285944888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7935] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7935/stat : 7935 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699284892792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7936] ppid=7915 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7918/task/7936/stat : 7936 (java) S 7915 7918 6847 0 -1 4202560 97 0 0 0 28 34 0 0 20 0 19 0 8805488 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699283840200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7937] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7937/stat : 7937 (java) S 7915 7918 6847 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8805517 9856040960 94810 33554432000 1073741824 1073778376 140733965770192 140699282686888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1742.5
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779.2 s]
/proc/loadavg: 2.13 2.24 2.25 3/213 8068
/proc/meminfo: memFree=29239096/32872528 swapFree=1541688/1694988
[pid=7918] ppid=7915 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/7918/stat : 7918 (java) S 7915 7918 6847 0 -1 4202496 35586 0 1 0 179786 220 0 0 20 0 19 0 8805484 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140733965761328 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7918/statm: 2406260 96580 2296 9 0 2396937 0
[pid=7918/tid=7919] ppid=7915 vsize=9625040 CPUtime=1760.02 cores=1,3,5,7
/proc/7918/task/7919/stat : 7919 (java) R 7915 7918 6847 0 -1 4202560 3005 0 1 0 175969 33 0 0 20 0 19 0 8805484 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699937881328 140699790727340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7921] ppid=7915 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/7918/task/7921/stat : 7921 (java) S 7915 7918 6847 0 -1 4202560 2348 0 0 0 331 23 0 0 20 0 19 0 8805485 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699910334760 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7922] ppid=7915 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/7918/task/7922/stat : 7922 (java) S 7915 7918 6847 0 -1 4202560 2616 0 0 0 326 21 0 0 20 0 19 0 8805485 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699909281960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7923] ppid=7915 vsize=9625040 CPUtime=3.54 cores=1,3,5,7
/proc/7918/task/7923/stat : 7923 (java) S 7915 7918 6847 0 -1 4202560 3310 0 0 0 332 22 0 0 20 0 19 0 8805485 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699778984488 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7924] ppid=7915 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/7918/task/7924/stat : 7924 (java) S 7915 7918 6847 0 -1 4202560 2624 0 0 0 321 22 0 0 20 0 19 0 8805485 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699777931688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7925] ppid=7915 vsize=9625040 CPUtime=3.6 cores=1,3,5,7
/proc/7918/task/7925/stat : 7925 (java) S 7915 7918 6847 0 -1 4202560 2012 0 0 0 340 20 0 0 20 0 19 0 8805485 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699776879400 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7926] ppid=7915 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/7918/task/7926/stat : 7926 (java) S 7915 7918 6847 0 -1 4202560 3123 0 0 0 346 24 0 0 20 0 19 0 8805485 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699775826600 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7918/tid=7927] ppid=7915 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/7918/task/7927/stat : 7927 (java) S 7915 7918 6847 0 -1 4202560 2607 0 0 0 330 22 0 0 20 0 19 0 8805485 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699774774312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7928] ppid=7915 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/7918/task/7928/stat : 7928 (java) S 7915 7918 6847 0 -1 4202560 2818 0 0 0 336 20 0 0 20 0 19 0 8805485 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699303406504 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7929] ppid=7915 vsize=9625040 CPUtime=5.69 cores=1,3,5,7
/proc/7918/task/7929/stat : 7929 (java) S 7915 7918 6847 0 -1 4202560 1704 0 0 0 560 9 0 0 20 0 19 0 8805486 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699291207912 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7930] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7930/stat : 7930 (java) S 7915 7918 6847 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699290153976 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7931] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7931/stat : 7931 (java) S 7915 7918 6847 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8805486 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699289101576 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7932] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7932/stat : 7932 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699288050064 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7933] ppid=7915 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7918/task/7933/stat : 7933 (java) S 7915 7918 6847 0 -1 4202560 3549 0 0 0 54 0 0 0 20 0 19 0 8805488 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699286997688 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7918/tid=7934] ppid=7915 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7918/task/7934/stat : 7934 (java) S 7915 7918 6847 0 -1 4202560 4508 0 0 0 54 0 0 0 20 0 19 0 8805488 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699285944888 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7935] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7935/stat : 7935 (java) S 7915 7918 6847 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8805488 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699284892792 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7918/tid=7936] ppid=7915 vsize=9625040 CPUtime=0.64 cores=1,3,5,7
/proc/7918/task/7936/stat : 7936 (java) S 7915 7918 6847 0 -1 4202560 99 0 0 0 29 35 0 0 20 0 19 0 8805488 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699283840200 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7918/tid=7937] ppid=7915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7918/task/7937/stat : 7937 (java) S 7915 7918 6847 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8805517 9856040960 96580 33554432000 1073741824 1073778376 140733965770192 140699282686888 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7918 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7918 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=528342
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=662595
# CPU time returned by wait4() is 1796.19
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1779.27
CPU time (s): 1800.06
CPU user time (s): 1797.86
CPU system time (s): 2.2
CPU usage (%): 101.169
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.53
system time used= 2.6626
maximum resident set size= 855600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35625
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54056
involuntary context switches= 58136

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7632 second user time and 12.1432 second system time

The end

Begin job on node125 at 2016-06-16 10:59:49
IDJOB=4090932
IDBENCH=79182
IDSOLVER=2551
FILE ID=node125/4090932-1466067589
RUNJOBID= node125-1466062124-6864
PBS_JOBID= 19904014
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100--soft-0-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4090932-1466067589/watcher-4090932-1466067589 -o /tmp/evaluation-result-4090932-1466067589/solver-4090932-1466067589 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466062124-6864 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4090932-1466067589.wbo

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

MD5SUM BENCH= 0a60736b8b79adacf122a04a37158c9c
RANDOM SEED=1210319841

node125.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30331696 kB
Buffers:            8964 kB
Cached:            43456 kB
SwapCached:         2680 kB
Active:            98684 kB
Inactive:          31596 kB
Active(anon):      77760 kB
Inactive(anon):     2116 kB
Active(file):      20924 kB
Inactive(file):    29480 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67096824 kB
Dirty:               852 kB
Writeback:             0 kB
AnonPages:       1786932 kB
Mapped:            15108 kB
Shmem:                 0 kB
Slab:             564788 kB
SReclaimable:       8432 kB
SUnreclaim:       556356 kB
KernelStack:        1616 kB
PageTables:         7516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2384436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node125 at 2016-06-16 11:29:28