0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.09	c version 2.3.2.v20120418
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710451-1338247704.opb
0.09/0.12	c reading problem ... 
0.68/0.46	c ... done. Wall clock time 0.338s.
0.68/0.46	c declared #vars     9765
0.68/0.46	c #constraints  21927
0.68/0.46	c constraints type 
0.68/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
0.68/0.46	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
0.68/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.68/0.46	c ignored satisfied constraints => 4
0.68/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
0.68/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015
0.68/0.46	c 21931 constraints processed.
2.44/1.74	c SATISFIABLE
2.44/1.74	c OPTIMIZING...
2.44/1.74	c Got one! Elapsed wall clock time (in seconds):1.613
2.44/1.74	o 399899220
3.74/2.94	c cleaning 2969 clauses out of 5937 with flag 3001/5937
6.38/5.00	c cleaning 4479 clauses out of 8967 with flag 9000/11936
8.48/7.10	c cleaning 5737 clauses out of 11491 with flag 16003/18939
9.50/8.11	c Got one! Elapsed wall clock time (in seconds):7.979
9.50/8.11	o 190424777
9.99/8.55	c cleaning 5643 clauses out of 11286 with flag 1000/24472
11.14/9.66	c cleaning 5819 clauses out of 11644 with flag 7001/30473
12.45/10.95	c cleaning 6401 clauses out of 12823 with flag 14000/37472
13.36/11.81	c Got one! Elapsed wall clock time (in seconds):11.69
13.36/11.81	o 138114089
13.80/12.29	c cleaning 5996 clauses out of 12013 with flag 3001/43063
14.80/13.29	c cleaning 5992 clauses out of 12016 with flag 9001/49063
16.11/14.55	c cleaning 6500 clauses out of 13020 with flag 16000/56062
17.41/15.85	c cleaning 7250 clauses out of 14520 with flag 24000/64062
19.13/17.52	c cleaning 8123 clauses out of 16270 with flag 33000/73062
19.75/18.12	c Got one! Elapsed wall clock time (in seconds):17.994
19.75/18.12	o 40770766
20.26/18.64	c cleaning 6905 clauses out of 13809 with flag 2001/78874
21.37/19.75	c cleaning 6435 clauses out of 12889 with flag 8000/84873
22.28/20.68	c cleaning 6720 clauses out of 13454 with flag 15000/91873
23.58/21.91	c cleaning 7355 clauses out of 14735 with flag 23001/99874
24.79/23.12	c cleaning 8181 clauses out of 16376 with flag 32000/108873
26.29/24.63	c cleaning 9087 clauses out of 18198 with flag 42004/118877
28.22/26.58	c cleaning 10032 clauses out of 20107 with flag 53000/129873
30.43/28.79	c cleaning 11032 clauses out of 22075 with flag 65000/141873
32.32/30.66	c cleaning 12016 clauses out of 24043 with flag 78000/154873
34.42/32.80	c cleaning 12999 clauses out of 26027 with flag 92000/168873
37.13/35.40	c cleaning 14000 clauses out of 28028 with flag 107000/183873
37.63/35.93	c Got one! Elapsed wall clock time (in seconds):35.802
37.63/35.93	o 10969953
38.17/36.41	c cleaning 9434 clauses out of 18878 with flag 2005/189199
39.68/37.92	c cleaning 7703 clauses out of 15439 with flag 8002/195196
41.49/39.75	c cleaning 7354 clauses out of 14735 with flag 15001/202195
42.90/41.11	c cleaning 7681 clauses out of 15380 with flag 23000/210194
44.41/42.67	c cleaning 8267 clauses out of 16553 with flag 32002/219196
46.01/44.25	c cleaning 9136 clauses out of 18286 with flag 42002/229196
47.83/46.02	c cleaning 10068 clauses out of 20149 with flag 53001/240195
49.55/47.76	c cleaning 11029 clauses out of 22080 with flag 65000/252194
51.88/50.03	c cleaning 11885 clauses out of 23777 with flag 78000/265194
52.40/50.52	c Got one! Elapsed wall clock time (in seconds):50.394
52.40/50.52	o 10965316
52.89/51.06	c cleaning 8435 clauses out of 16888 with flag 3000/270304
54.02/52.14	c cleaning 7216 clauses out of 14453 with flag 9000/276304
55.22/53.32	c cleaning 7111 clauses out of 14237 with flag 16000/283304
56.52/54.61	c cleaning 7553 clauses out of 15126 with flag 24000/291304
57.93/56.01	c cleaning 8275 clauses out of 16573 with flag 33000/300304
59.63/57.76	c cleaning 9137 clauses out of 18301 with flag 43003/310307
61.95/60.09	c cleaning 10063 clauses out of 20161 with flag 54000/321304
63.66/61.73	c cleaning 11042 clauses out of 22099 with flag 66001/333305
65.27/63.39	c cleaning 12019 clauses out of 24056 with flag 79000/346304
67.38/65.46	c cleaning 13008 clauses out of 26037 with flag 93000/360304
70.41/68.43	c cleaning 14004 clauses out of 28030 with flag 108001/375305
73.32/71.34	c cleaning 15005 clauses out of 30026 with flag 124001/391305
76.42/74.42	c cleaning 15984 clauses out of 31999 with flag 141000/408304
79.33/77.36	c cleaning 16992 clauses out of 34015 with flag 159000/426304
82.54/80.56	c cleaning 18004 clauses out of 36024 with flag 178001/445305
86.35/84.30	c cleaning 18992 clauses out of 38019 with flag 198000/465304
90.56/88.54	c cleaning 20008 clauses out of 40028 with flag 219001/486305
95.38/93.31	c cleaning 20998 clauses out of 42019 with flag 241000/508304
100.58/98.53	c cleaning 22006 clauses out of 44022 with flag 264001/531305
104.59/102.56	c cleaning 22995 clauses out of 46016 with flag 288001/555305
108.71/106.63	c cleaning 23999 clauses out of 48020 with flag 313000/580304
113.01/110.94	c cleaning 24997 clauses out of 50022 with flag 339001/606305
116.93/114.89	c cleaning 26008 clauses out of 52024 with flag 366000/633304
122.05/119.95	c cleaning 27002 clauses out of 54017 with flag 394001/661305
126.28/124.11	c cleaning 28000 clauses out of 56014 with flag 423000/690304
131.60/129.46	c cleaning 28994 clauses out of 58014 with flag 453000/720304
138.52/136.36	c cleaning 29990 clauses out of 60021 with flag 484001/751305
146.23/144.06	c cleaning 30994 clauses out of 62030 with flag 516000/783304
151.74/149.51	c cleaning 31997 clauses out of 64036 with flag 549000/816304
151.96/149.72	c Got one! Elapsed wall clock time (in seconds):149.601
151.96/149.72	o 10232730
152.65/150.43	c cleaning 18572 clauses out of 37162 with flag 4000/821427
153.76/151.56	c cleaning 12270 clauses out of 24590 with flag 10000/827427
155.06/152.84	c cleaning 9615 clauses out of 19320 with flag 17000/834427
156.66/154.43	c cleaning 8811 clauses out of 17706 with flag 25001/842428
158.57/156.32	c cleaning 8911 clauses out of 17896 with flag 34002/851429
160.59/158.38	c cleaning 9472 clauses out of 18983 with flag 44000/861427
163.00/160.75	c cleaning 10241 clauses out of 20512 with flag 55001/872428
165.60/163.36	c cleaning 11125 clauses out of 22270 with flag 67000/884427
168.40/166.17	c cleaning 12066 clauses out of 24147 with flag 80003/897430
170.93/168.65	c cleaning 13036 clauses out of 26078 with flag 94000/911427
173.04/170.77	c cleaning 14017 clauses out of 28043 with flag 109001/926428
177.25/175.00	c cleaning 15002 clauses out of 30031 with flag 125006/942433
180.65/178.33	c cleaning 15996 clauses out of 32023 with flag 142000/959427
184.65/182.31	c cleaning 17007 clauses out of 34030 with flag 160003/977430
187.29/184.93	c cleaning 18001 clauses out of 36020 with flag 179000/996427
190.40/188.10	c cleaning 18994 clauses out of 38019 with flag 199000/1016427
193.61/191.28	c cleaning 20004 clauses out of 40025 with flag 220000/1037427
194.53/192.17	c Got one! Elapsed wall clock time (in seconds):192.044
194.53/192.17	o 10209114
195.13/192.72	c cleaning 12822 clauses out of 25665 with flag 2000/1043072
196.64/194.27	c cleaning 9368 clauses out of 18843 with flag 8000/1049072
198.54/196.12	c cleaning 8202 clauses out of 16476 with flag 15001/1056073
200.35/197.94	c cleaning 8100 clauses out of 16273 with flag 23000/1064072
202.35/199.93	c cleaning 8567 clauses out of 17174 with flag 32001/1073073
204.66/202.24	c cleaning 9294 clauses out of 18608 with flag 42002/1083074
205.18/202.78	c Got one! Elapsed wall clock time (in seconds):202.652
205.18/202.78	o 10122875
205.88/203.44	c cleaning 7288 clauses out of 14614 with flag 3000/1088374
207.40/204.98	c cleaning 6636 clauses out of 13327 with flag 9001/1094375
209.10/206.64	c cleaning 6827 clauses out of 13690 with flag 16000/1101374
210.71/208.27	c cleaning 7419 clauses out of 14866 with flag 24003/1109377
212.11/209.67	c cleaning 8210 clauses out of 16444 with flag 33000/1118374
213.61/211.10	c cleaning 9104 clauses out of 18234 with flag 43000/1128374
215.52/213.00	c cleaning 10050 clauses out of 20131 with flag 54001/1139375
217.44/214.95	c cleaning 11034 clauses out of 22080 with flag 66000/1151374
219.64/217.17	c cleaning 12019 clauses out of 24048 with flag 79002/1164376
222.17/219.68	c cleaning 12999 clauses out of 26027 with flag 93000/1178374
224.98/222.44	c cleaning 14011 clauses out of 28032 with flag 108004/1193378
227.49/224.94	c cleaning 14995 clauses out of 30018 with flag 124001/1209375
229.91/227.33	c cleaning 15994 clauses out of 32023 with flag 141001/1226375
232.64/230.04	c cleaning 17004 clauses out of 34028 with flag 159000/1244374
235.63/233.08	c cleaning 17996 clauses out of 36025 with flag 178001/1263375
238.94/236.39	c cleaning 18997 clauses out of 38028 with flag 198000/1283374
242.06/239.40	c cleaning 19998 clauses out of 40031 with flag 219000/1304374
245.36/242.70	c cleaning 21003 clauses out of 42033 with flag 241000/1326374
248.57/245.98	c cleaning 21995 clauses out of 44030 with flag 264000/1349374
249.29/246.63	c Got one! Elapsed wall clock time (in seconds):246.507
249.29/246.63	o 10120053
249.89/247.24	c cleaning 13729 clauses out of 27461 with flag 3000/1354801
250.93/248.21	c cleaning 9845 clauses out of 19732 with flag 9000/1360801
252.63/249.96	c cleaning 8435 clauses out of 16891 with flag 16004/1367805
254.64/251.97	c cleaning 8205 clauses out of 16453 with flag 24001/1375802
256.55/253.88	c cleaning 8606 clauses out of 17247 with flag 33000/1384801
258.15/255.40	c Got one! Elapsed wall clock time (in seconds):255.278
258.15/255.40	o 10017905
258.65/255.95	c Got one! Elapsed wall clock time (in seconds):255.822
258.65/255.95	o 10001683
259.35/256.62	c cleaning 10392 clauses out of 20793 with flag 3001/1396953
260.66/257.97	c cleaning 8183 clauses out of 16400 with flag 9000/1402952
262.17/259.47	c cleaning 7588 clauses out of 15217 with flag 16000/1409952
263.97/261.24	c cleaning 7801 clauses out of 15630 with flag 24001/1417953
265.70/262.99	c cleaning 8404 clauses out of 16828 with flag 33000/1426952
266.92/264.14	c cleaning 9202 clauses out of 18426 with flag 43002/1436954
268.73/265.90	c cleaning 10102 clauses out of 20223 with flag 54001/1447953
270.53/267.73	c cleaning 11046 clauses out of 22120 with flag 66000/1459952
272.55/269.72	c cleaning 12020 clauses out of 24074 with flag 79000/1472952
274.77/271.91	c cleaning 13013 clauses out of 26054 with flag 93000/1486952
277.18/274.36	c cleaning 14006 clauses out of 28041 with flag 108000/1501952
280.19/277.37	c cleaning 15012 clauses out of 30041 with flag 124006/1517958
282.99/280.12	c cleaning 15993 clauses out of 32024 with flag 141001/1534953
285.89/283.02	c cleaning 17009 clauses out of 34033 with flag 159003/1552955
289.02/286.17	c cleaning 18001 clauses out of 36021 with flag 178000/1571952
292.43/289.56	c cleaning 19000 clauses out of 38020 with flag 198000/1591952
296.35/293.44	c cleaning 19999 clauses out of 40022 with flag 219002/1612954
300.37/297.42	c cleaning 21005 clauses out of 42022 with flag 241001/1634953
304.58/301.62	c Got one! Elapsed wall clock time (in seconds):301.492
304.58/301.62	o 9965189
305.28/302.32	c cleaning 24046 clauses out of 48118 with flag 5000/1662054
306.11/303.11	c cleaning 15022 clauses out of 30074 with flag 11002/1668056
307.11/304.15	c cleaning 11004 clauses out of 22050 with flag 18000/1675054
308.33/305.32	c cleaning 9489 clauses out of 19048 with flag 26002/1683056
309.63/306.66	c cleaning 9238 clauses out of 18557 with flag 35000/1692054
311.34/308.32	c cleaning 9656 clauses out of 19322 with flag 45003/1702057
312.84/309.84	c cleaning 10319 clauses out of 20663 with flag 56000/1713054
314.55/311.59	c cleaning 11146 clauses out of 22344 with flag 68000/1725054
316.65/313.62	c cleaning 12085 clauses out of 24199 with flag 81001/1738055
318.56/315.53	c cleaning 13045 clauses out of 26113 with flag 95000/1752054
320.56/317.51	c cleaning 14019 clauses out of 28068 with flag 110000/1767054
322.96/319.94	c cleaning 15011 clauses out of 30049 with flag 126000/1783054
325.28/322.23	c cleaning 16014 clauses out of 32039 with flag 143001/1800055
328.90/325.84	c cleaning 17002 clauses out of 34026 with flag 161002/1818056
333.52/330.42	c cleaning 18009 clauses out of 36022 with flag 180000/1837054
337.82/334.71	c Got one! Elapsed wall clock time (in seconds):334.591
337.82/334.71	o 5594629
339.22/336.11	c cleaning 19637 clauses out of 39298 with flag 5000/1858370
340.84/337.75	c cleaning 12817 clauses out of 25665 with flag 11004/1864374
342.73/339.65	c cleaning 9905 clauses out of 19844 with flag 18000/1871370
344.85/341.79	c cleaning 8925 clauses out of 17939 with flag 26000/1879370
347.35/344.27	c cleaning 8977 clauses out of 18014 with flag 35000/1888370
349.76/346.63	c cleaning 9481 clauses out of 19037 with flag 45000/1898370
352.57/349.48	c cleaning 10239 clauses out of 20556 with flag 56000/1909370
355.68/352.57	c cleaning 11147 clauses out of 22319 with flag 68002/1921372
359.09/355.96	c cleaning 12069 clauses out of 24172 with flag 81002/1934372
362.79/359.68	c cleaning 13032 clauses out of 26101 with flag 95000/1948370
366.70/363.59	c cleaning 14014 clauses out of 28069 with flag 110000/1963370
370.80/367.62	c cleaning 15009 clauses out of 30055 with flag 126000/1979370
375.11/371.91	c cleaning 15994 clauses out of 32049 with flag 143003/1996373
379.64/376.49	c cleaning 17009 clauses out of 34052 with flag 161000/2014370
384.58/381.34	c cleaning 18000 clauses out of 36043 with flag 180000/2033370
389.90/386.62	c cleaning 18997 clauses out of 38043 with flag 200000/2053370
395.51/392.25	c cleaning 20010 clauses out of 40046 with flag 221000/2074370
401.12/397.88	c cleaning 20858 clauses out of 41757 with flag 243000/2096370
406.92/403.70	c cleaning 21940 clauses out of 43899 with flag 266000/2119370
413.13/409.83	c cleaning 22974 clauses out of 45959 with flag 290000/2143370
420.04/416.76	c cleaning 23986 clauses out of 47985 with flag 315000/2168370
427.35/424.07	c cleaning 24986 clauses out of 50001 with flag 341002/2194372
431.57/428.23	c Got one! Elapsed wall clock time (in seconds):428.11
431.57/428.23	o 5592935
432.47/429.17	c cleaning 22398 clauses out of 44819 with flag 5000/2214234
433.79/430.40	c cleaning 14164 clauses out of 28421 with flag 11000/2220234
434.91/431.54	c cleaning 10594 clauses out of 21260 with flag 18003/2227237
436.62/433.21	c cleaning 9317 clauses out of 18667 with flag 26004/2235238
438.62/435.23	c cleaning 9150 clauses out of 18346 with flag 35000/2244234
440.83/437.43	c cleaning 9581 clauses out of 19196 with flag 45000/2254234
442.74/439.36	c cleaning 10298 clauses out of 20616 with flag 56001/2265235
445.06/441.61	c cleaning 11151 clauses out of 22317 with flag 68000/2277234
448.57/445.19	c cleaning 12077 clauses out of 24166 with flag 81000/2290234
452.48/449.00	c cleaning 13039 clauses out of 26089 with flag 95000/2304234
456.38/452.93	c cleaning 14002 clauses out of 28050 with flag 110000/2319234
460.49/457.10	c cleaning 15014 clauses out of 30048 with flag 126000/2335234
465.29/461.80	c cleaning 15988 clauses out of 32034 with flag 143000/2352234
470.10/466.65	c cleaning 16993 clauses out of 34046 with flag 161000/2370234
474.10/470.60	c cleaning 18009 clauses out of 36053 with flag 180000/2389234
474.31/470.86	c Got one! Elapsed wall clock time (in seconds):470.734
474.31/470.86	o 5476670
475.51/472.09	c cleaning 11643 clauses out of 23370 with flag 4000/2394560
477.23/473.77	c cleaning 8830 clauses out of 17728 with flag 10001/2400561
479.13/475.63	c cleaning 7888 clauses out of 15897 with flag 17000/2407560
481.23/477.73	c cleaning 7981 clauses out of 16009 with flag 25000/2415560
483.64/480.13	c cleaning 8506 clauses out of 17028 with flag 34000/2424560
486.46/482.92	c cleaning 9244 clauses out of 18522 with flag 44000/2434560
489.46/485.97	c cleaning 10132 clauses out of 20279 with flag 55001/2445561
492.86/489.30	c cleaning 11056 clauses out of 22146 with flag 67000/2457560
496.40/492.89	c cleaning 12033 clauses out of 24090 with flag 80000/2470560
500.00/496.45	c cleaning 13007 clauses out of 26057 with flag 94000/2484560
504.11/500.56	c cleaning 13998 clauses out of 28050 with flag 109000/2499560
508.42/504.85	c cleaning 15009 clauses out of 30053 with flag 125001/2515561
512.83/509.23	c cleaning 16009 clauses out of 32045 with flag 142002/2532562
517.44/513.85	c cleaning 17009 clauses out of 34034 with flag 160000/2550560
522.24/518.64	c cleaning 18005 clauses out of 36026 with flag 179001/2569561
527.44/523.83	c cleaning 18993 clauses out of 38023 with flag 199003/2589563
533.05/529.40	c cleaning 19991 clauses out of 40027 with flag 220000/2610560
538.37/534.72	c cleaning 21005 clauses out of 42036 with flag 242000/2632560
544.29/540.64	c cleaning 22004 clauses out of 44031 with flag 265000/2655560
550.30/546.65	c cleaning 22996 clauses out of 46027 with flag 289000/2679560
556.40/552.71	c cleaning 23983 clauses out of 48031 with flag 314000/2704560
563.42/559.75	c cleaning 25015 clauses out of 50048 with flag 340000/2730560
570.92/567.20	c cleaning 26001 clauses out of 52033 with flag 367000/2757560
578.33/574.64	c cleaning 27000 clauses out of 54032 with flag 395000/2785560
586.34/582.66	c cleaning 27991 clauses out of 56032 with flag 424000/2814560
595.35/591.66	c cleaning 29000 clauses out of 58044 with flag 454003/2844563
604.26/600.56	c cleaning 29990 clauses out of 60041 with flag 485000/2875560
613.17/609.44	c cleaning 31004 clauses out of 62051 with flag 517000/2907560
622.49/618.73	c cleaning 31999 clauses out of 64048 with flag 550001/2940561
632.42/628.63	c cleaning 33012 clauses out of 66053 with flag 584005/2974565
642.95/639.15	c cleaning 33976 clauses out of 68037 with flag 619001/3009561
652.57/648.79	c cleaning 35014 clauses out of 70060 with flag 655000/3045560
662.40/658.58	c cleaning 35949 clauses out of 71913 with flag 692000/3082560
671.03/667.16	c cleaning 36970 clauses out of 73964 with flag 730000/3120560
681.94/678.05	c cleaning 37977 clauses out of 75995 with flag 769001/3159561
687.27/683.39	c Got one! Elapsed wall clock time (in seconds):683.262
687.27/683.39	o 5401533
688.87/684.99	c cleaning 31177 clauses out of 62424 with flag 5000/3183967
690.79/686.80	c cleaning 18588 clauses out of 37247 with flag 11000/3189967
692.60/688.68	c cleaning 12805 clauses out of 25660 with flag 18001/3196968
694.81/690.89	c cleaning 10386 clauses out of 20854 with flag 26000/3204967
695.61/691.67	c Got one! Elapsed wall clock time (in seconds):691.547
695.61/691.67	o 5388377
696.51/692.51	c cleaning 8129 clauses out of 16293 with flag 3000/3210792
698.22/694.30	c cleaning 7067 clauses out of 14165 with flag 9001/3216793
700.23/696.25	c cleaning 7016 clauses out of 14097 with flag 16000/3223792
702.46/698.44	c cleaning 7519 clauses out of 15081 with flag 24000/3231792
704.98/700.96	c cleaning 8269 clauses out of 16563 with flag 33001/3240793
707.81/703.71	c cleaning 9124 clauses out of 18293 with flag 43000/3250792
710.71/706.66	c cleaning 10076 clauses out of 20169 with flag 54000/3261792
713.81/709.71	c cleaning 11039 clauses out of 22093 with flag 66000/3273792
715.52/711.46	c Got one! Elapsed wall clock time (in seconds):711.338
715.52/711.46	o 5277476
716.93/712.83	c cleaning 11653 clauses out of 23326 with flag 5000/3286064
718.63/714.54	c cleaning 8830 clauses out of 17675 with flag 11002/3292066
720.53/716.47	c cleaning 7910 clauses out of 15843 with flag 18000/3299064
722.74/718.61	c cleaning 7936 clauses out of 15934 with flag 26001/3307065
725.24/721.15	c cleaning 8481 clauses out of 16997 with flag 35000/3316064
728.05/723.93	c cleaning 9250 clauses out of 18516 with flag 45000/3326064
731.15/727.01	c cleaning 10123 clauses out of 20267 with flag 56001/3337065
734.36/730.26	c cleaning 11053 clauses out of 22143 with flag 68000/3349064
737.96/733.84	c cleaning 12020 clauses out of 24090 with flag 81000/3362064
741.66/737.54	c cleaning 13016 clauses out of 26072 with flag 95002/3376066
745.38/741.25	c cleaning 14010 clauses out of 28054 with flag 110000/3391064
746.19/742.08	c Got one! Elapsed wall clock time (in seconds):741.961
746.19/742.08	o 5271417
746.79/742.66	c cleaning 9755 clauses out of 19561 with flag 2000/3396581
748.49/744.38	c cleaning 7856 clauses out of 15808 with flag 8002/3402583
750.60/746.42	c cleaning 7444 clauses out of 14950 with flag 15000/3409581
752.82/748.64	c cleaning 7737 clauses out of 15507 with flag 23001/3417582
755.32/751.11	c cleaning 8375 clauses out of 16769 with flag 32000/3426581
758.04/753.81	c cleaning 9186 clauses out of 18395 with flag 42001/3436582
760.86/756.64	c cleaning 10094 clauses out of 20208 with flag 53000/3447581
764.06/759.88	c cleaning 11038 clauses out of 22114 with flag 65000/3459581
767.57/763.38	c cleaning 12027 clauses out of 24076 with flag 78000/3472581
771.67/767.48	c cleaning 13010 clauses out of 26050 with flag 92001/3486582
775.78/771.50	c cleaning 14000 clauses out of 28040 with flag 107001/3501582
780.19/775.93	c cleaning 15003 clauses out of 30039 with flag 123000/3517581
784.81/780.59	c cleaning 15996 clauses out of 32036 with flag 140000/3534581
789.82/785.52	c cleaning 17012 clauses out of 34041 with flag 158001/3552582
794.82/790.53	c cleaning 17995 clauses out of 36028 with flag 177000/3571581
799.83/795.59	c cleaning 19001 clauses out of 38034 with flag 197001/3591582
805.44/801.12	c cleaning 19984 clauses out of 40032 with flag 218000/3612581
811.44/807.12	c cleaning 21010 clauses out of 42049 with flag 240001/3634582
817.85/813.53	c cleaning 21998 clauses out of 44042 with flag 263004/3657585
824.36/820.04	c cleaning 23005 clauses out of 46040 with flag 287000/3681581
831.07/826.74	c cleaning 23998 clauses out of 48038 with flag 312003/3706584
838.00/833.65	c cleaning 25004 clauses out of 50038 with flag 338001/3732582
845.51/841.18	c cleaning 26003 clauses out of 52033 with flag 365000/3759581
853.32/848.99	c cleaning 26997 clauses out of 54031 with flag 393001/3787582
861.36/856.95	c cleaning 27991 clauses out of 56033 with flag 422000/3816581
869.57/865.17	c cleaning 29009 clauses out of 58042 with flag 452000/3846581
878.30/873.86	c cleaning 29999 clauses out of 60035 with flag 483002/3877583
887.23/882.78	c cleaning 31003 clauses out of 62035 with flag 515001/3909582
896.25/891.78	c cleaning 32000 clauses out of 64031 with flag 548000/3942581
906.06/901.52	c cleaning 32993 clauses out of 66031 with flag 582000/3976581
915.66/911.11	c cleaning 34000 clauses out of 68038 with flag 617000/4011581
925.38/920.81	c cleaning 35007 clauses out of 70039 with flag 653001/4047582
934.59/930.02	c cleaning 36005 clauses out of 72034 with flag 690003/4084584
943.23/938.69	c cleaning 36996 clauses out of 74027 with flag 728001/4122582
953.04/948.40	c cleaning 37986 clauses out of 76030 with flag 767000/4161581
963.45/958.83	c cleaning 39008 clauses out of 78044 with flag 807000/4201581
973.37/968.78	c cleaning 40004 clauses out of 80036 with flag 848000/4242581
984.49/979.84	c cleaning 40986 clauses out of 82032 with flag 890000/4284581
995.51/990.86	c cleaning 42003 clauses out of 84047 with flag 933001/4327582
1008.14/1003.45	c cleaning 43011 clauses out of 86043 with flag 977000/4371581
1020.96/1016.24	c cleaning 44006 clauses out of 88034 with flag 1022002/4416583
1033.78/1029.05	c cleaning 44998 clauses out of 90027 with flag 1068001/4462582
1046.29/1041.55	c cleaning 45983 clauses out of 92028 with flag 1115000/4509581
1059.40/1054.63	c cleaning 47003 clauses out of 94045 with flag 1163000/4557581
1071.82/1067.07	c cleaning 47998 clauses out of 96032 with flag 1212000/4606581
1079.54/1074.70	c Got one! Elapsed wall clock time (in seconds):1074.581
1079.54/1074.70	o 5244145
1081.04/1076.27	c cleaning 40264 clauses out of 80570 with flag 5000/4639117
1082.86/1078.04	c cleaning 23144 clauses out of 46306 with flag 11000/4645117
1084.87/1080.02	c cleaning 15027 clauses out of 30162 with flag 18000/4652117
1087.09/1082.25	c cleaning 11536 clauses out of 23136 with flag 26001/4660118
1089.40/1084.57	c cleaning 10269 clauses out of 20599 with flag 35000/4669117
1092.02/1087.15	c cleaning 10144 clauses out of 20330 with flag 45000/4679117
1094.64/1089.71	c cleaning 10586 clauses out of 21187 with flag 56001/4690118
1097.54/1092.62	c cleaning 11285 clauses out of 22600 with flag 68000/4702117
1100.97/1096.04	c cleaning 12147 clauses out of 24317 with flag 81002/4715119
1104.87/1099.97	c cleaning 13071 clauses out of 26170 with flag 95002/4729119
1109.10/1104.13	c cleaning 14036 clauses out of 28097 with flag 110000/4744117
1113.70/1108.70	c cleaning 15016 clauses out of 30061 with flag 126000/4760117
1118.31/1113.37	c cleaning 15982 clauses out of 32045 with flag 143000/4777117
1123.41/1118.44	c cleaning 17012 clauses out of 34064 with flag 161001/4795118
1128.82/1123.90	c cleaning 17989 clauses out of 36051 with flag 180000/4814117
1134.73/1129.79	c cleaning 19023 clauses out of 38062 with flag 200000/4834117
1140.92/1135.91	c cleaning 19984 clauses out of 40039 with flag 221000/4855117
1147.24/1142.28	c cleaning 21023 clauses out of 42057 with flag 243002/4877119
1153.95/1148.98	c cleaning 21997 clauses out of 44032 with flag 266000/4900117
1161.28/1156.30	c cleaning 22999 clauses out of 46037 with flag 290002/4924119
1168.99/1163.91	c cleaning 24003 clauses out of 48036 with flag 315000/4949117
1176.89/1171.88	c cleaning 24996 clauses out of 50034 with flag 341001/4975118
1185.09/1180.03	c cleaning 25999 clauses out of 52037 with flag 368000/5002117
1192.73/1187.66	c cleaning 27010 clauses out of 54039 with flag 396001/5030118
1199.85/1194.76	c cleaning 27989 clauses out of 56028 with flag 425000/5059117
1207.76/1202.66	c cleaning 29006 clauses out of 58039 with flag 455000/5089117
1216.08/1210.90	c cleaning 30005 clauses out of 60033 with flag 486000/5120117
1224.38/1219.25	c cleaning 31000 clauses out of 62028 with flag 518000/5152117
1233.21/1228.09	c cleaning 32003 clauses out of 64029 with flag 551001/5185118
1242.12/1236.99	c cleaning 33001 clauses out of 66025 with flag 585000/5219117
1251.95/1246.77	c cleaning 33997 clauses out of 68024 with flag 620000/5254117
1262.76/1257.57	c cleaning 35003 clauses out of 70027 with flag 656000/5290117
1273.68/1268.42	c cleaning 35996 clauses out of 72024 with flag 693000/5327117
1284.48/1279.27	c cleaning 37005 clauses out of 74028 with flag 731000/5365117
1295.79/1290.57	c cleaning 37991 clauses out of 76023 with flag 770000/5404117
1306.80/1301.55	c cleaning 38996 clauses out of 78033 with flag 810001/5444118
1318.12/1312.82	c cleaning 39994 clauses out of 80038 with flag 851002/5485119
1330.33/1325.07	c cleaning 41002 clauses out of 82042 with flag 893000/5527117
1342.35/1337.02	c cleaning 42012 clauses out of 84040 with flag 936000/5570117
1353.77/1348.48	c cleaning 42991 clauses out of 86028 with flag 980000/5614117
1365.80/1360.45	c cleaning 43996 clauses out of 88037 with flag 1025000/5659117
1378.11/1372.79	c cleaning 45004 clauses out of 90042 with flag 1071001/5705118
1390.72/1385.34	c cleaning 45998 clauses out of 92037 with flag 1118000/5752117
1404.06/1398.66	c cleaning 47010 clauses out of 94039 with flag 1166000/5800117
1417.17/1411.75	c cleaning 48003 clauses out of 96029 with flag 1215000/5849117
1429.99/1424.60	c cleaning 48993 clauses out of 98026 with flag 1265000/5899117
1444.09/1438.67	c cleaning 49996 clauses out of 100034 with flag 1316001/5950118
1458.05/1452.59	c cleaning 51005 clauses out of 102037 with flag 1368000/6002117
1475.68/1470.11	c cleaning 51991 clauses out of 104032 with flag 1421000/6055117
1490.62/1485.04	c cleaning 52983 clauses out of 106041 with flag 1475000/6109117
1506.05/1500.43	c cleaning 54011 clauses out of 108060 with flag 1530002/6164119
1521.05/1515.48	c cleaning 55012 clauses out of 110048 with flag 1586001/6220118
1538.38/1532.78	c cleaning 55992 clauses out of 112035 with flag 1643000/6277117
1555.22/1549.50	c cleaning 56980 clauses out of 114043 with flag 1701000/6335117
1572.93/1567.30	c cleaning 57999 clauses out of 116063 with flag 1760000/6394117
1589.95/1584.25	c cleaning 59012 clauses out of 118067 with flag 1820003/6454120
1606.87/1601.11	c cleaning 60003 clauses out of 120052 with flag 1881000/6515117
1624.00/1618.27	c cleaning 60997 clauses out of 122049 with flag 1943000/6577117
1642.30/1636.55	c cleaning 62010 clauses out of 124052 with flag 2006000/6640117
1660.84/1655.08	c cleaning 62999 clauses out of 126042 with flag 2070000/6704117
1681.25/1675.45	c cleaning 63999 clauses out of 128043 with flag 2135000/6769117
1701.98/1696.20	c cleaning 65013 clauses out of 130046 with flag 2201002/6835119
1721.52/1715.62	c cleaning 65999 clauses out of 132033 with flag 2268002/6902119
1740.94/1735.09	c cleaning 66994 clauses out of 134032 with flag 2336000/6970117
1759.95/1754.08	c cleaning 67988 clauses out of 136038 with flag 2405000/7039117
1780.96/1775.09	c cleaning 69004 clauses out of 138051 with flag 2475001/7109118
1799.98/1794.05	c cleaning 69989 clauses out of 140046 with flag 2546000/7180117
1800.13/1794.12	c starts		: 316
1800.13/1794.12	c conflicts		: 7180138
1800.13/1794.12	c decisions		: 15875662
1800.13/1794.12	c propagations		: 1947372057
1800.13/1794.12	c inspects		: 9058843633
1800.13/1794.12	c shortcuts		: 0
1800.13/1794.12	c learnt literals	: 58
1800.13/1794.12	c learnt binary clauses	: 633
1800.13/1794.12	c learnt ternary clauses	: 1039
1800.13/1794.12	c learnt constraints	: 7180080
1800.13/1794.12	c ignored constraints	: 0
1800.13/1794.12	c root simplifications	: 374
1800.13/1794.12	c removed literals (reason simplification)	: 180897329
1800.13/1794.12	c reason swapping (by a shorter reason)	: 0
1800.13/1794.12	c Calls to reduceDB	: 347
1800.13/1794.12	c number of reductions to clauses (during analyze)	: 0
1800.13/1794.12	c number of learned constraints concerned by reduction	: 0
1800.13/1794.12	c number of learning phase by resolution	: 0
1800.13/1794.12	c number of learning phase by cutting planes	: 0
1800.13/1794.12	c speed (assignments/second)	: 1085709.1218365324
1800.13/1794.12	c non guided choices	7746
1800.13/1794.14	c learnt constraints type 
1800.13/1794.14	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 542
1800.13/1794.14	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 69636
1800.13/1794.14	c constraints type 
1800.13/1794.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
1800.13/1794.14	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
1800.13/1794.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.13/1794.14	c ignored satisfied constraints => 4
1800.13/1794.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
1800.13/1794.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016
1800.13/1794.14	c 21932 constraints processed.
1800.13/1794.14	s SATISFIABLE
1800.13/1794.15	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 
1800.13/1794.16	c objective function=5244145
1800.13/1794.16	c Total wall clock time (in seconds): 1794.039

OK	5244145

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3710451-1338247704/watcher-3710451-1338247704 -o /tmp/evaluation-result-3710451-1338247704/solver-3710451-1338247704 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710451-1338247704.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.09 2.03 2.01 2/174 31819
/proc/meminfo: memFree=26747920/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31819/stat : 31819 (java) D 31817 31819 30092 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 290898943 9515008 182 33554432000 1073741824 1073778376 140734681402032 140734681393064 240426761909 0 0 4096 0 18446744072100588836 0 0 17 1 0 0 0 0 0
/proc/31819/statm: 2323 182 140 9 0 71 0

[startup+0.105403 s]
/proc/loadavg: 2.09 2.03 2.01 2/174 31819
/proc/meminfo: memFree=26747920/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 4289 0 1 0 8 1 0 0 20 0 18 0 290898943 9787842560 6006 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2389610 6006 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.200349 s]
/proc/loadavg: 2.09 2.03 2.01 2/174 31819
/proc/meminfo: memFree=26747920/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9558440 CPUtime=0.27 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 5027 0 1 0 26 1 0 0 20 0 18 0 290898943 9787842560 7065 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2389610 7065 2211 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558440

[startup+0.300335 s]
/proc/loadavg: 2.09 2.03 2.01 2/174 31819
/proc/meminfo: memFree=26747920/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9558440 CPUtime=0.48 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 5408 0 1 0 47 1 0 0 20 0 18 0 290898943 9787842560 9734 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2389610 9734 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440

[startup+0.700296 s]
/proc/loadavg: 2.09 2.03 2.01 2/174 31819
/proc/meminfo: memFree=26747920/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9625004 CPUtime=1.36 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 9515 0 1 0 133 3 0 0 20 0 19 0 290898943 9856004096 22713 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2406251 22713 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625004

[startup+1.50073 s]
/proc/loadavg: 2.09 2.03 2.01 2/193 31838
/proc/meminfo: memFree=26665180/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9625004 CPUtime=2.23 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 9521 0 1 0 220 3 0 0 20 0 19 0 290898943 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2406251 22716 2258 9 0 2396937 0
[pid=31819/tid=31821] ppid=31817 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/31819/task/31821/stat : 31821 (java) R 31817 31819 30092 0 -1 4202560 2543 0 1 0 143 3 0 0 20 0 19 0 290898944 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732240876072 140732069993187 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31822] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31822/stat : 31822 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732202367656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31823] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31823/stat : 31823 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732201315112 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31824] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31824/stat : 31824 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732200262568 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31825] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31825/stat : 31825 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732199210024 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31826] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31826/stat : 31826 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732198156456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31827] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31827/stat : 31827 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732197103912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31828] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31828/stat : 31828 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732196051368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31829] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31829/stat : 31829 (java) S 31817 31819 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732194998824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31830] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31830/stat : 31830 (java) S 31817 31819 30092 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732065098344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31831] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31831/stat : 31831 (java) S 31817 31819 30092 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732064044664 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31832] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31832/stat : 31832 (java) S 31817 31819 30092 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732062992008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31833] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31833/stat : 31833 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732061940752 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31834] ppid=31817 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/31819/task/31834/stat : 31834 (java) S 31817 31819 30092 0 -1 4202560 3882 0 0 0 38 0 0 0 20 0 19 0 290898950 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732060887096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31835] ppid=31817 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/31819/task/31835/stat : 31835 (java) S 31817 31819 30092 0 -1 4202560 1895 0 0 0 36 0 0 0 20 0 19 0 290898950 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732059834552 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31836] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31836/stat : 31836 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732058782200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31837] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31837/stat : 31837 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732057729864 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31838] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31838/stat : 31838 (java) S 31817 31819 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290898992 9856004096 22716 33554432000 1073741824 1073778376 140735048235280 140732056675624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625004

[startup+3.10083 s]
/proc/loadavg: 2.09 2.03 2.01 4/212 31893
/proc/meminfo: memFree=26716836/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9625004 CPUtime=4.13 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 14815 0 1 0 407 6 0 0 20 0 19 0 290898943 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2406251 31426 2289 9 0 2396937 0
[pid=31819/tid=31821] ppid=31817 vsize=9625004 CPUtime=3.02 cores=1,3,5,7
/proc/31819/task/31821/stat : 31821 (java) R 31817 31819 30092 0 -1 4202560 2549 0 1 0 299 3 0 0 20 0 19 0 290898944 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732240875944 140732070150301 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31822] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31822/stat : 31822 (java) S 31817 31819 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732202367656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31823] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31823/stat : 31823 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732201315112 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31824] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31824/stat : 31824 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732200262568 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31825] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31825/stat : 31825 (java) S 31817 31819 30092 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732199210024 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31826] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31826/stat : 31826 (java) S 31817 31819 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732198156456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31827] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31827/stat : 31827 (java) S 31817 31819 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732197103912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31828] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31828/stat : 31828 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732196051368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31829] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31829/stat : 31829 (java) S 31817 31819 30092 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732194998824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31830] ppid=31817 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/31819/task/31830/stat : 31830 (java) S 31817 31819 30092 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 19 0 290898947 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732065098344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31831] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31831/stat : 31831 (java) S 31817 31819 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732064044664 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31832] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31832/stat : 31832 (java) S 31817 31819 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732062992008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31833] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31833/stat : 31833 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732061940752 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31834] ppid=31817 vsize=9625004 CPUtime=0.59 cores=1,3,5,7
/proc/31819/task/31834/stat : 31834 (java) R 31817 31819 30092 0 -1 4202560 8611 0 0 0 58 1 0 0 20 0 19 0 290898950 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732060874664 140732243781724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31835] ppid=31817 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/31819/task/31835/stat : 31835 (java) S 31817 31819 30092 0 -1 4202560 2397 0 0 0 41 0 0 0 20 0 19 0 290898950 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732059834552 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31836] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31836/stat : 31836 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732058782200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31837] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31837/stat : 31837 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732057729864 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31838] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31838/stat : 31838 (java) S 31817 31819 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290898992 9856004096 31426 33554432000 1073741824 1073778376 140735048235280 140732056675624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 9625004

[startup+6.30065 s]
/proc/loadavg: 2.24 2.06 2.02 4/213 31894
/proc/meminfo: memFree=26656460/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9625004 CPUtime=7.69 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 17563 0 1 0 762 7 0 0 20 0 19 0 290898943 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2406251 33011 2289 9 0 2396937 0
[pid=31819/tid=31821] ppid=31817 vsize=9625004 CPUtime=6.19 cores=1,3,5,7
/proc/31819/task/31821/stat : 31821 (java) R 31817 31819 30092 0 -1 4202560 2551 0 1 0 616 3 0 0 20 0 19 0 290898944 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732240876056 140732070167210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31822] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31822/stat : 31822 (java) S 31817 31819 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732202367656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31823] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31823/stat : 31823 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732201315112 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31824] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31824/stat : 31824 (java) S 31817 31819 30092 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732200262568 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31825] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31825/stat : 31825 (java) S 31817 31819 30092 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732199210024 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31826] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31826/stat : 31826 (java) S 31817 31819 30092 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732198156456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31827] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31827/stat : 31827 (java) S 31817 31819 30092 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732197103912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31828] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31828/stat : 31828 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732196051368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31829] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31829/stat : 31829 (java) S 31817 31819 30092 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 290898946 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732194998824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31830] ppid=31817 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/31819/task/31830/stat : 31830 (java) S 31817 31819 30092 0 -1 4202560 35 0 0 0 4 0 0 0 20 0 19 0 290898947 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732065098344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31831] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31831/stat : 31831 (java) S 31817 31819 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732064044664 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31832] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31832/stat : 31832 (java) S 31817 31819 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732062992008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31833] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31833/stat : 31833 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732061940752 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31834] ppid=31817 vsize=9625004 CPUtime=0.94 cores=1,3,5,7
/proc/31819/task/31834/stat : 31834 (java) S 31817 31819 30092 0 -1 4202560 11138 0 0 0 91 3 0 0 20 0 19 0 290898950 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732060887096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31835] ppid=31817 vsize=9625004 CPUtime=0.44 cores=1,3,5,7
/proc/31819/task/31835/stat : 31835 (java) S 31817 31819 30092 0 -1 4202560 2610 0 0 0 44 0 0 0 20 0 19 0 290898950 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732059834552 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31836] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31836/stat : 31836 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732058782200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31837] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31837/stat : 31837 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732057729864 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31838] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31838/stat : 31838 (java) S 31817 31819 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290898992 9856004096 33011 33554432000 1073741824 1073778376 140735048235280 140732056675624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

[pid=31819/tid=31827] ppid=31817 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/31819/task/31827/stat : 31827 (java) S 31817 31819 30092 0 -1 4202560 28 0 0 0 79 1 0 0 20 0 19 0 290898946 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732197103912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31828] ppid=31817 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/31819/task/31828/stat : 31828 (java) S 31817 31819 30092 0 -1 4202560 39 0 0 0 74 1 0 0 20 0 19 0 290898946 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732196051368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31829] ppid=31817 vsize=9625004 CPUtime=0.79 cores=1,3,5,7
/proc/31819/task/31829/stat : 31829 (java) S 31817 31819 30092 0 -1 4202560 32 0 0 0 77 2 0 0 20 0 19 0 290898946 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732194998824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31830] ppid=31817 vsize=9625004 CPUtime=12.94 cores=1,3,5,7
/proc/31819/task/31830/stat : 31830 (java) S 31817 31819 30092 0 -1 4202560 148 0 0 0 1290 4 0 0 20 0 19 0 290898947 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732065098344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31831] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31831/stat : 31831 (java) S 31817 31819 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732064044664 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31832] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31832/stat : 31832 (java) S 31817 31819 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732062992008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31833] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31833/stat : 31833 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732061940752 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31834] ppid=31817 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/31819/task/31834/stat : 31834 (java) S 31817 31819 30092 0 -1 4202560 11144 0 0 0 107 3 0 0 20 0 19 0 290898950 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732060887096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31835] ppid=31817 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/31819/task/31835/stat : 31835 (java) S 31817 31819 30092 0 -1 4202560 3261 0 0 0 55 0 0 0 20 0 19 0 290898950 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732059834552 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31836] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31836/stat : 31836 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732058782200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31837] ppid=31817 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/31819/task/31837/stat : 31837 (java) S 31817 31819 30092 0 -1 4202560 95 0 0 0 13 15 0 0 20 0 19 0 290898950 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732057729864 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31838] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31838/stat : 31838 (java) S 31817 31819 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290898992 9856004096 41779 33554432000 1073741824 1073778376 140735048235280 140732056675624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1668.14
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31910
/proc/meminfo: memFree=26480500/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9625004 CPUtime=1728.24 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 19330 0 1 0 172785 39 0 0 20 0 19 0 290898943 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2406251 41790 2292 9 0 2396937 0
[pid=31819/tid=31821] ppid=31817 vsize=9625004 CPUtime=1707.11 cores=1,3,5,7
/proc/31819/task/31821/stat : 31821 (java) R 31817 31819 30092 0 -1 4202560 2890 0 1 0 170677 34 0 0 20 0 19 0 290898944 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732240875824 140732069987602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31822] ppid=31817 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/31819/task/31822/stat : 31822 (java) S 31817 31819 30092 0 -1 4202560 171 0 0 0 83 2 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732202367656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31823] ppid=31817 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/31819/task/31823/stat : 31823 (java) S 31817 31819 30092 0 -1 4202560 59 0 0 0 74 1 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732201315112 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31824] ppid=31817 vsize=9625004 CPUtime=0.79 cores=1,3,5,7
/proc/31819/task/31824/stat : 31824 (java) S 31817 31819 30092 0 -1 4202560 86 0 0 0 79 0 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732200262568 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31825] ppid=31817 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/31819/task/31825/stat : 31825 (java) S 31817 31819 30092 0 -1 4202560 96 0 0 0 74 2 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732199210024 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31826] ppid=31817 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/31819/task/31826/stat : 31826 (java) S 31817 31819 30092 0 -1 4202560 87 0 0 0 79 2 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732198156456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31827] ppid=31817 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/31819/task/31827/stat : 31827 (java) S 31817 31819 30092 0 -1 4202560 28 0 0 0 80 1 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732197103912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31828] ppid=31817 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/31819/task/31828/stat : 31828 (java) S 31817 31819 30092 0 -1 4202560 39 0 0 0 75 1 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732196051368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31829] ppid=31817 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/31819/task/31829/stat : 31829 (java) S 31817 31819 30092 0 -1 4202560 32 0 0 0 78 2 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732194998824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31830] ppid=31817 vsize=9625004 CPUtime=13.11 cores=1,3,5,7
/proc/31819/task/31830/stat : 31830 (java) S 31817 31819 30092 0 -1 4202560 152 0 0 0 1307 4 0 0 20 0 19 0 290898947 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732065098344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31831] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31831/stat : 31831 (java) S 31817 31819 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732064044664 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31832] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31832/stat : 31832 (java) S 31817 31819 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732062992008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31833] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31833/stat : 31833 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732061940752 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31834] ppid=31817 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/31819/task/31834/stat : 31834 (java) S 31817 31819 30092 0 -1 4202560 11144 0 0 0 107 3 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732060887096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31835] ppid=31817 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/31819/task/31835/stat : 31835 (java) S 31817 31819 30092 0 -1 4202560 3261 0 0 0 55 0 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732059834552 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31836] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31836/stat : 31836 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732058782200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31837] ppid=31817 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/31819/task/31837/stat : 31837 (java) S 31817 31819 30092 0 -1 4202560 99 0 0 0 15 16 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732057729864 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31838] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31838/stat : 31838 (java) S 31817 31819 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290898992 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732056675624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.24
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31910
/proc/meminfo: memFree=26480004/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9625004 CPUtime=1788.28 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 19341 0 1 0 178789 39 0 0 20 0 19 0 290898943 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2406251 41790 2292 9 0 2396937 0
[pid=31819/tid=31821] ppid=31817 vsize=9625004 CPUtime=1766.91 cores=1,3,5,7
/proc/31819/task/31821/stat : 31821 (java) R 31817 31819 30092 0 -1 4202560 2893 0 1 0 176656 35 0 0 20 0 19 0 290898944 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732240875824 140732070166794 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31822] ppid=31817 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/31819/task/31822/stat : 31822 (java) S 31817 31819 30092 0 -1 4202560 171 0 0 0 83 2 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732202367656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31823] ppid=31817 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/31819/task/31823/stat : 31823 (java) S 31817 31819 30092 0 -1 4202560 59 0 0 0 74 1 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732201315112 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31824] ppid=31817 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/31819/task/31824/stat : 31824 (java) S 31817 31819 30092 0 -1 4202560 86 0 0 0 80 0 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732200262568 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31825] ppid=31817 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/31819/task/31825/stat : 31825 (java) S 31817 31819 30092 0 -1 4202560 96 0 0 0 75 2 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732199210024 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31826] ppid=31817 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/31819/task/31826/stat : 31826 (java) S 31817 31819 30092 0 -1 4202560 87 0 0 0 80 2 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732198156456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31827] ppid=31817 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/31819/task/31827/stat : 31827 (java) S 31817 31819 30092 0 -1 4202560 28 0 0 0 81 1 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732197103912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31828] ppid=31817 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/31819/task/31828/stat : 31828 (java) S 31817 31819 30092 0 -1 4202560 39 0 0 0 75 1 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732196051368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31829] ppid=31817 vsize=9625004 CPUtime=0.81 cores=1,3,5,7
/proc/31819/task/31829/stat : 31829 (java) S 31817 31819 30092 0 -1 4202560 32 0 0 0 79 2 0 0 20 0 19 0 290898946 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732194998824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31830] ppid=31817 vsize=9625004 CPUtime=13.29 cores=1,3,5,7
/proc/31819/task/31830/stat : 31830 (java) S 31817 31819 30092 0 -1 4202560 157 0 0 0 1325 4 0 0 20 0 19 0 290898947 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732065098344 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31831] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31831/stat : 31831 (java) S 31817 31819 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732064044664 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31832] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31832/stat : 31832 (java) S 31817 31819 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732062992008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31833] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31833/stat : 31833 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732061940752 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31834] ppid=31817 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/31819/task/31834/stat : 31834 (java) S 31817 31819 30092 0 -1 4202560 11144 0 0 0 107 3 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732060887096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31835] ppid=31817 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/31819/task/31835/stat : 31835 (java) S 31817 31819 30092 0 -1 4202560 3261 0 0 0 55 0 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732059834552 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31836] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31836/stat : 31836 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732058782200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31837] ppid=31817 vsize=9625004 CPUtime=0.31 cores=1,3,5,7
/proc/31819/task/31837/stat : 31837 (java) S 31817 31819 30092 0 -1 4202560 102 0 0 0 15 16 0 0 20 0 19 0 290898950 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732057729864 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31838] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31838/stat : 31838 (java) S 31817 31819 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290898992 9856004096 41790 33554432000 1073741824 1073778376 140735048235280 140732056675624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1788.28
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1794.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 31911
/proc/meminfo: memFree=26480004/32873844 swapFree=6088/6088
[pid=31819] ppid=31817 vsize=9625004 CPUtime=1800.13 cores=1,3,5,7
/proc/31819/stat : 31819 (java) S 31817 31819 30092 0 -1 4202496 19343 0 1 0 179973 40 0 0 20 0 19 0 290898943 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140735048226416 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/31819/statm: 2406251 41792 2292 9 0 2396937 0
[pid=31819/tid=31821] ppid=31817 vsize=9625004 CPUtime=1778.66 cores=1,3,5,7
/proc/31819/task/31821/stat : 31821 (java) S 31817 31819 30092 0 -1 4202560 2893 0 1 0 177830 36 0 0 20 0 19 0 290898944 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732240875944 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31822] ppid=31817 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/31819/task/31822/stat : 31822 (java) S 31817 31819 30092 0 -1 4202560 171 0 0 0 83 2 0 0 20 0 19 0 290898946 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732202367656 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31823] ppid=31817 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/31819/task/31823/stat : 31823 (java) S 31817 31819 30092 0 -1 4202560 61 0 0 0 75 1 0 0 20 0 19 0 290898946 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732201315112 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31824] ppid=31817 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/31819/task/31824/stat : 31824 (java) S 31817 31819 30092 0 -1 4202560 86 0 0 0 80 0 0 0 20 0 19 0 290898946 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732200262568 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31825] ppid=31817 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/31819/task/31825/stat : 31825 (java) S 31817 31819 30092 0 -1 4202560 96 0 0 0 76 2 0 0 20 0 19 0 290898946 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732199210024 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31826] ppid=31817 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/31819/task/31826/stat : 31826 (java) S 31817 31819 30092 0 -1 4202560 87 0 0 0 81 2 0 0 20 0 19 0 290898946 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732198156456 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31827] ppid=31817 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/31819/task/31827/stat : 31827 (java) S 31817 31819 30092 0 -1 4202560 28 0 0 0 81 1 0 0 20 0 19 0 290898946 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732197103912 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31828] ppid=31817 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/31819/task/31828/stat : 31828 (java) S 31817 31819 30092 0 -1 4202560 39 0 0 0 76 1 0 0 20 0 19 0 290898946 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732196051368 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31829] ppid=31817 vsize=9625004 CPUtime=0.82 cores=1,3,5,7
/proc/31819/task/31829/stat : 31829 (java) S 31817 31819 30092 0 -1 4202560 32 0 0 0 80 2 0 0 20 0 19 0 290898946 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732194998824 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31830] ppid=31817 vsize=9625004 CPUtime=13.34 cores=1,3,5,7
/proc/31819/task/31830/stat : 31830 (java) R 31817 31819 30092 0 -1 4202560 157 0 0 0 1330 4 0 0 20 0 19 0 290898947 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732065097200 140732246562256 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31831] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31831/stat : 31831 (java) S 31817 31819 30092 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732064044664 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31832] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31832/stat : 31832 (java) S 31817 31819 30092 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290898947 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732062992008 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31833] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31833/stat : 31833 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732061940752 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31819/tid=31834] ppid=31817 vsize=9625004 CPUtime=1.1 cores=1,3,5,7
/proc/31819/task/31834/stat : 31834 (java) S 31817 31819 30092 0 -1 4202560 11144 0 0 0 107 3 0 0 20 0 19 0 290898950 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732060887096 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31835] ppid=31817 vsize=9625004 CPUtime=0.55 cores=1,3,5,7
/proc/31819/task/31835/stat : 31835 (java) S 31817 31819 30092 0 -1 4202560 3261 0 0 0 55 0 0 0 20 0 19 0 290898950 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732059834552 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31819/tid=31836] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31836/stat : 31836 (java) S 31817 31819 30092 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290898950 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732058782200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31819/tid=31837] ppid=31817 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/31819/task/31837/stat : 31837 (java) S 31817 31819 30092 0 -1 4202560 102 0 0 0 15 17 0 0 20 0 19 0 290898950 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732057729864 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31819/tid=31838] ppid=31817 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/31819/task/31838/stat : 31838 (java) S 31817 31819 30092 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290898992 9856004096 41792 33554432000 1073741824 1073778376 140735048235280 140732056675624 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1794.17
CPU time (s): 1800.8
CPU user time (s): 1799.95
CPU system time (s): 0.85187
CPU usage (%): 100.369
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.85187
maximum resident set size= 169332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19378
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47218
involuntary context switches= 24267

runsolver used 5.66914 second user time and 15.0047 second system time

The end

Begin job on node108 at 2012-05-29 01:28:24
IDJOB=3710451
IDBENCH=92657
IDSOLVER=2289
FILE ID=node108/3710451-1338247704
RUNJOBID= node108-1338240509-31238
PBS_JOBID= 14624630
Free space on /tmp= 71508 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_3_mh_ic.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710451-1338247704/watcher-3710451-1338247704 -o /tmp/evaluation-result-3710451-1338247704/solver-3710451-1338247704 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710451-1338247704.opb

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

MD5SUM BENCH= bd1f23f2ad95dce248911d20ecda08b7
RANDOM SEED=951218268

node108.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.273
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	: 5332.54
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.273
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	: 5331.91
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.273
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	: 5331.91
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.273
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	: 5331.91
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.273
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	: 5331.91
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.273
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	: 5438.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.273
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	: 5331.90
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.273
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26747920 kB
Buffers:          337148 kB
Cached:          4969632 kB
SwapCached:            0 kB
Active:           914124 kB
Inactive:        4412424 kB
Active(anon):      18916 kB
Inactive(anon):        0 kB
Active(file):     895208 kB
Inactive(file):  4412424 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1624 kB
Writeback:             0 kB
AnonPages:         22016 kB
Mapped:            14300 kB
Shmem:               200 kB
Slab:             658924 kB
SReclaimable:     101072 kB
SUnreclaim:       557852 kB
KernelStack:        1496 kB
PageTables:         4040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     137736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node108 at 2012-05-29 01:58:20