0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.09	c version 2.3.2.v20120418
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/0.09	c Number of processors 	8
0.08/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.08/0.12	c configuring ORDERS
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.08/0.13	c Expensive reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=true
0.08/0.13	c Heuristics kept accross calls (keep the solver "hot")
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3710454-1338248278.opb
0.08/0.13	c reading problem ... 
0.67/0.47	c ... done. Wall clock time 0.348s.
0.67/0.47	c declared #vars     9765
0.67/0.47	c #constraints  21927
0.67/0.47	c constraints type 
0.67/0.47	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
0.67/0.47	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
0.67/0.47	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
0.67/0.47	c ignored satisfied constraints => 4
0.67/0.47	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
0.67/0.47	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6015
0.67/0.47	c 21931 constraints processed.
2.38/1.76	c SATISFIABLE
2.38/1.76	c OPTIMIZING...
2.38/1.76	c Got one! Elapsed wall clock time (in seconds):1.638
2.38/1.76	o 336508487
3.90/3.11	c cleaning 2969 clauses out of 5938 with flag 3002/5938
6.31/5.05	c cleaning 4474 clauses out of 8967 with flag 9000/11936
8.31/7.00	c cleaning 5745 clauses out of 11494 with flag 16001/18937
9.62/8.33	c cleaning 6865 clauses out of 13748 with flag 24000/26936
11.46/10.18	c cleaning 7937 clauses out of 15885 with flag 33002/35938
13.48/12.14	c cleaning 8966 clauses out of 17948 with flag 43002/45938
15.69/14.39	c cleaning 9987 clauses out of 19983 with flag 54003/56939
18.58/17.26	c cleaning 10989 clauses out of 21994 with flag 66001/68937
19.71/18.35	c Got one! Elapsed wall clock time (in seconds):18.226
19.71/18.35	o 216426034
20.90/19.50	c cleaning 11042 clauses out of 22092 with flag 5007/80024
22.21/20.71	c cleaning 8502 clauses out of 17042 with flag 11000/86017
23.11/21.62	c Got one! Elapsed wall clock time (in seconds):21.499
23.11/21.62	o 169391755
23.34/21.84	c cleaning 7000 clauses out of 14022 with flag 1001/91500
24.45/22.94	c cleaning 6498 clauses out of 13021 with flag 7000/97499
26.16/24.66	c cleaning 6747 clauses out of 13524 with flag 14001/104500
27.25/25.74	c cleaning 7380 clauses out of 14776 with flag 22000/112499
29.06/27.54	c cleaning 8195 clauses out of 16397 with flag 31001/121500
30.46/28.91	c cleaning 9089 clauses out of 18202 with flag 41001/131500
32.26/30.80	c cleaning 10048 clauses out of 20112 with flag 52000/142499
34.57/33.03	c cleaning 11023 clauses out of 22065 with flag 64001/154500
36.57/35.09	c cleaning 12006 clauses out of 24042 with flag 77001/167500
38.99/37.41	c cleaning 13007 clauses out of 26036 with flag 91001/181500
41.31/39.73	c cleaning 14004 clauses out of 28029 with flag 106001/196500
43.82/42.27	c cleaning 15004 clauses out of 30024 with flag 122000/212499
47.54/45.93	c cleaning 15995 clauses out of 32022 with flag 139002/229501
51.57/49.90	c cleaning 17007 clauses out of 34028 with flag 157003/247502
56.18/54.51	c cleaning 18007 clauses out of 36021 with flag 176003/266502
59.70/58.06	c cleaning 18996 clauses out of 38011 with flag 196000/286499
63.50/61.81	c cleaning 20001 clauses out of 40015 with flag 217000/307499
67.61/65.96	c cleaning 21005 clauses out of 42015 with flag 239001/329500
71.61/69.97	c cleaning 22000 clauses out of 44009 with flag 262000/352499
76.52/74.83	c cleaning 22989 clauses out of 46009 with flag 286000/376499
81.64/79.92	c cleaning 23998 clauses out of 48020 with flag 311000/401499
86.54/84.88	c cleaning 24986 clauses out of 50022 with flag 337000/427499
93.17/91.49	c cleaning 26012 clauses out of 52037 with flag 364001/454500
98.07/96.30	c cleaning 27001 clauses out of 54026 with flag 392002/482501
102.38/100.61	c cleaning 28001 clauses out of 56024 with flag 421001/511500
107.49/105.73	c cleaning 29003 clauses out of 58022 with flag 451000/541499
115.12/113.35	c cleaning 30000 clauses out of 60022 with flag 482003/572502
119.72/117.99	c Got one! Elapsed wall clock time (in seconds):117.862
119.72/117.99	o 98236497
120.85/119.02	c cleaning 29333 clauses out of 58692 with flag 5000/601175
121.76/119.94	c cleaning 17663 clauses out of 35351 with flag 11002/607177
122.78/120.98	c cleaning 12322 clauses out of 24686 with flag 18000/614175
124.08/122.29	c cleaning 10159 clauses out of 20367 with flag 26003/622178
125.58/123.70	c cleaning 9551 clauses out of 19205 with flag 35000/631175
126.88/125.06	c cleaning 9820 clauses out of 19652 with flag 45001/641176
128.39/126.52	c cleaning 10413 clauses out of 20834 with flag 56003/652178
129.88/128.08	c cleaning 11200 clauses out of 22420 with flag 68002/664177
131.89/130.07	c cleaning 12099 clauses out of 24219 with flag 81001/677176
134.80/133.00	c cleaning 13053 clauses out of 26121 with flag 95002/691177
138.70/136.88	c cleaning 14024 clauses out of 28066 with flag 110000/706175
142.10/140.30	c cleaning 15016 clauses out of 30043 with flag 126001/722176
145.62/143.77	c cleaning 16007 clauses out of 32027 with flag 143001/739176
149.23/147.38	c cleaning 16998 clauses out of 34020 with flag 161001/757176
149.44/147.57	c Got one! Elapsed wall clock time (in seconds):147.445
149.44/147.57	o 94136972
150.06/148.18	c cleaning 11038 clauses out of 22100 with flag 4001/762254
151.17/149.21	c cleaning 8476 clauses out of 17061 with flag 10000/768253
152.28/150.37	c cleaning 7765 clauses out of 15585 with flag 17000/775253
153.69/151.71	c cleaning 7885 clauses out of 15820 with flag 25000/783253
155.19/153.24	c cleaning 8464 clauses out of 16936 with flag 34001/792254
156.73/154.77	c cleaning 9224 clauses out of 18471 with flag 44000/802253
158.63/156.62	c cleaning 10111 clauses out of 20247 with flag 55000/813253
160.63/158.66	c cleaning 11056 clauses out of 22136 with flag 67000/825253
162.94/160.96	c cleaning 12013 clauses out of 24080 with flag 80000/838253
165.74/163.74	c cleaning 13018 clauses out of 26067 with flag 94000/852253
168.45/166.43	c cleaning 14011 clauses out of 28049 with flag 109000/867253
171.15/169.19	c cleaning 15008 clauses out of 30038 with flag 125000/883253
173.96/171.98	c cleaning 16012 clauses out of 32034 with flag 142004/900257
177.37/175.32	c cleaning 16999 clauses out of 34018 with flag 160000/918253
180.57/178.51	c cleaning 18004 clauses out of 36019 with flag 179000/937253
184.39/182.34	c cleaning 18999 clauses out of 38016 with flag 199002/957255
187.90/185.88	c cleaning 19991 clauses out of 40016 with flag 220001/978254
188.10/186.09	c Got one! Elapsed wall clock time (in seconds):185.968
188.10/186.09	o 78935942
188.90/186.85	c cleaning 12727 clauses out of 25500 with flag 4000/983739
189.91/187.82	c cleaning 9373 clauses out of 18775 with flag 10002/989741
191.01/188.90	c cleaning 8163 clauses out of 16400 with flag 17000/996739
192.32/190.21	c cleaning 8088 clauses out of 16239 with flag 25002/1004741
193.81/191.70	c cleaning 8561 clauses out of 17150 with flag 34001/1013740
195.52/193.40	c cleaning 9279 clauses out of 18584 with flag 44000/1023739
197.12/195.00	c cleaning 10134 clauses out of 20305 with flag 55000/1034739
198.93/196.87	c cleaning 11073 clauses out of 22171 with flag 67000/1046739
201.24/199.19	c cleaning 12035 clauses out of 24098 with flag 80000/1059739
203.23/201.16	c cleaning 13023 clauses out of 26065 with flag 94002/1073741
206.03/203.92	c cleaning 14018 clauses out of 28042 with flag 109002/1088741
209.24/207.13	c cleaning 14999 clauses out of 30022 with flag 125000/1104739
212.75/210.60	c cleaning 15999 clauses out of 32023 with flag 142000/1121739
215.67/213.56	c Got one! Elapsed wall clock time (in seconds):213.44
215.67/213.56	o 70987597
216.58/214.40	c cleaning 18042 clauses out of 36112 with flag 5000/1141834
217.49/215.38	c cleaning 12020 clauses out of 24072 with flag 11002/1147836
218.59/216.47	c cleaning 9507 clauses out of 19050 with flag 18000/1154834
219.90/217.71	c cleaning 8740 clauses out of 17544 with flag 26001/1162835
221.33/219.16	c cleaning 8868 clauses out of 17803 with flag 35000/1171834
222.84/220.64	c cleaning 9459 clauses out of 18935 with flag 45000/1181834
224.54/222.39	c cleaning 10219 clauses out of 20480 with flag 56004/1192838
226.54/224.34	c cleaning 11102 clauses out of 22258 with flag 68001/1204835
228.46/226.23	c cleaning 12065 clauses out of 24155 with flag 81000/1217834
230.37/228.12	c cleaning 13026 clauses out of 26090 with flag 95000/1231834
232.99/230.70	c cleaning 14026 clauses out of 28064 with flag 110000/1246834
235.79/233.52	c cleaning 15013 clauses out of 30038 with flag 126000/1262834
238.89/236.60	c cleaning 16006 clauses out of 32026 with flag 143001/1279835
242.40/240.19	c cleaning 16993 clauses out of 34020 with flag 161001/1297835
245.61/243.35	c cleaning 18009 clauses out of 36027 with flag 180001/1316835
248.81/246.53	c cleaning 19004 clauses out of 38017 with flag 200000/1336834
252.04/249.71	c cleaning 19998 clauses out of 40014 with flag 221001/1357835
255.75/253.42	c cleaning 21001 clauses out of 42016 with flag 243001/1379835
259.46/257.18	c cleaning 21994 clauses out of 44005 with flag 266001/1402835
261.69/259.32	c Got one! Elapsed wall clock time (in seconds):259.191
261.69/259.32	o 22422491
262.29/259.98	c cleaning 19037 clauses out of 38085 with flag 5002/1419021
263.11/260.78	c cleaning 12503 clauses out of 25046 with flag 11000/1425019
264.40/262.05	c cleaning 9742 clauses out of 19540 with flag 18000/1432019
265.70/263.37	c cleaning 8875 clauses out of 17800 with flag 26002/1440021
267.11/264.77	c cleaning 8938 clauses out of 17925 with flag 35002/1449021
269.21/266.84	c cleaning 9481 clauses out of 18986 with flag 45001/1459020
271.43/269.06	c cleaning 10244 clauses out of 20504 with flag 56000/1470019
273.23/270.80	c cleaning 11122 clauses out of 22259 with flag 68000/1482019
274.65/272.26	c cleaning 12059 clauses out of 24138 with flag 81001/1495020
276.26/273.90	c cleaning 13023 clauses out of 26078 with flag 95000/1509019
278.36/275.93	c cleaning 14015 clauses out of 28054 with flag 110000/1524019
281.07/278.62	c cleaning 15011 clauses out of 30040 with flag 126001/1540020
283.77/281.30	c cleaning 15992 clauses out of 32028 with flag 143000/1557019
286.78/284.30	c cleaning 17006 clauses out of 34036 with flag 161000/1575019
289.49/287.03	c cleaning 18007 clauses out of 36030 with flag 180000/1594019
292.81/290.34	c cleaning 19005 clauses out of 38023 with flag 200000/1614019
296.44/293.92	c cleaning 20000 clauses out of 40018 with flag 221000/1635019
300.35/297.87	c cleaning 20998 clauses out of 42019 with flag 243001/1657020
304.36/301.80	c cleaning 21995 clauses out of 44020 with flag 266000/1680019
309.89/307.38	c cleaning 22992 clauses out of 46018 with flag 290000/1704019
316.01/313.41	c cleaning 23999 clauses out of 48027 with flag 315001/1729020
323.02/320.49	c cleaning 24989 clauses out of 50027 with flag 341000/1755019
325.14/322.57	c Got one! Elapsed wall clock time (in seconds):322.442
325.14/322.57	o 22374413
326.34/323.76	c cleaning 19097 clauses out of 38235 with flag 5000/1768217
326.85/324.29	c Got one! Elapsed wall clock time (in seconds):324.167
326.85/324.29	o 22312127
327.25/324.61	c cleaning 12087 clauses out of 24194 with flag 3002/1773335
328.16/325.55	c cleaning 9019 clauses out of 18105 with flag 9000/1779333
329.16/326.57	c cleaning 8018 clauses out of 16086 with flag 16000/1786333
330.57/327.92	c cleaning 8026 clauses out of 16073 with flag 24005/1794338
331.87/329.29	c cleaning 8505 clauses out of 17042 with flag 33000/1803333
333.07/330.42	c cleaning 9255 clauses out of 18537 with flag 43000/1813333
334.57/331.99	c cleaning 10116 clauses out of 20284 with flag 54002/1824335
336.27/333.62	c cleaning 11061 clauses out of 22166 with flag 66000/1836333
337.89/335.24	c cleaning 12037 clauses out of 24105 with flag 79000/1849333
339.69/337.02	c cleaning 13022 clauses out of 26068 with flag 93000/1863333
341.81/339.18	c cleaning 14010 clauses out of 28048 with flag 108002/1878335
344.26/341.58	c cleaning 14988 clauses out of 30036 with flag 124000/1894333
346.99/344.21	c cleaning 16014 clauses out of 32048 with flag 141000/1911333
348.20/345.42	c Got one! Elapsed wall clock time (in seconds):345.297
348.20/345.42	o 20737893
349.10/346.33	c cleaning 13963 clauses out of 27944 with flag 5000/1923245
350.22/347.44	c cleaning 9983 clauses out of 19982 with flag 11001/1929246
351.43/348.61	c cleaning 8488 clauses out of 17000 with flag 18002/1936247
352.73/349.91	c cleaning 8234 clauses out of 16510 with flag 26000/1944245
353.93/351.19	c cleaning 8628 clauses out of 17276 with flag 35000/1953245
355.43/352.63	c cleaning 9312 clauses out of 18650 with flag 45002/1963247
357.04/354.23	c cleaning 10146 clauses out of 20336 with flag 56000/1974245
358.84/356.02	c cleaning 11074 clauses out of 22190 with flag 68000/1986245
360.84/358.08	c cleaning 12049 clauses out of 24117 with flag 81001/1999246
363.14/360.39	c cleaning 13022 clauses out of 26067 with flag 95000/2013245
365.54/362.74	c cleaning 14010 clauses out of 28046 with flag 110001/2028246
368.07/365.22	c cleaning 15003 clauses out of 30035 with flag 126000/2044245
370.76/367.92	c cleaning 16004 clauses out of 32032 with flag 143000/2061245
373.87/371.01	c Got one! Elapsed wall clock time (in seconds):370.888
373.87/371.01	o 20578422
374.37/371.57	c Got one! Elapsed wall clock time (in seconds):371.44
374.37/371.57	o 20576934
375.17/372.30	c cleaning 19747 clauses out of 39507 with flag 4000/2084725
375.87/373.07	c cleaning 12866 clauses out of 25760 with flag 10000/2090725
376.79/373.98	c cleaning 9930 clauses out of 19895 with flag 17001/2097726
377.79/374.99	c cleaning 8973 clauses out of 17966 with flag 25002/2105727
378.89/376.05	c cleaning 8982 clauses out of 17992 with flag 34001/2114726
379.99/377.20	c cleaning 9495 clauses out of 19010 with flag 44001/2124726
381.40/378.56	c cleaning 10245 clauses out of 20514 with flag 55000/2135725
382.80/379.99	c cleaning 11122 clauses out of 22271 with flag 67002/2147727
384.21/381.38	c cleaning 12052 clauses out of 24147 with flag 80000/2160725
385.92/383.03	c cleaning 13041 clauses out of 26096 with flag 94001/2174726
388.03/385.18	c cleaning 14012 clauses out of 28054 with flag 109000/2189725
390.43/387.55	c cleaning 15005 clauses out of 30042 with flag 125000/2205725
392.95/390.06	c cleaning 16004 clauses out of 32037 with flag 142000/2222725
395.66/392.74	c cleaning 17003 clauses out of 34034 with flag 160001/2240726
398.88/395.92	c cleaning 17994 clauses out of 36030 with flag 179000/2259725
401.97/399.06	c cleaning 18996 clauses out of 38036 with flag 199000/2279725
405.09/402.15	c cleaning 19992 clauses out of 40040 with flag 220000/2300725
409.19/406.21	c Got one! Elapsed wall clock time (in seconds):406.088
409.19/406.21	o 20233129
410.09/407.12	c cleaning 22610 clauses out of 45227 with flag 5000/2326296
411.00/408.05	c cleaning 14305 clauses out of 28619 with flag 11004/2332300
412.12/409.14	c cleaning 10639 clauses out of 21310 with flag 18000/2339296
413.32/410.37	c cleaning 9312 clauses out of 18671 with flag 26000/2347296
414.82/411.82	c cleaning 9158 clauses out of 18360 with flag 35001/2356297
416.83/413.81	c cleaning 9599 clauses out of 19200 with flag 45000/2366296
418.06/415.01	c Got one! Elapsed wall clock time (in seconds):414.881
418.06/415.01	o 20189557
419.46/416.41	c cleaning 10219 clauses out of 20438 with flag 5003/2377134
421.18/418.12	c cleaning 8082 clauses out of 16216 with flag 11000/2383131
423.12/420.07	c cleaning 7540 clauses out of 15134 with flag 18000/2390131
425.22/422.16	c cleaning 7768 clauses out of 15594 with flag 26000/2398131
427.03/423.98	c cleaning 8409 clauses out of 16830 with flag 35004/2407135
428.55/425.44	c cleaning 9195 clauses out of 18417 with flag 45000/2417131
429.96/426.89	c cleaning 10099 clauses out of 20222 with flag 56000/2428131
431.56/428.45	c cleaning 11059 clauses out of 22127 with flag 68004/2440135
434.38/431.27	c cleaning 12022 clauses out of 24065 with flag 81001/2453132
437.70/434.51	c cleaning 13010 clauses out of 26042 with flag 95000/2467131
441.30/438.20	c cleaning 14013 clauses out of 28035 with flag 110003/2482134
445.41/442.24	c cleaning 14986 clauses out of 30019 with flag 126000/2498131
449.01/445.83	c cleaning 16007 clauses out of 32033 with flag 143000/2515131
451.53/448.34	c cleaning 16994 clauses out of 34026 with flag 161000/2533131
454.63/451.45	c cleaning 17999 clauses out of 36035 with flag 180003/2552134
457.88/454.62	c cleaning 19006 clauses out of 38033 with flag 200000/2572131
461.29/458.06	c cleaning 19999 clauses out of 40027 with flag 221000/2593131
464.89/461.62	c cleaning 21007 clauses out of 42028 with flag 243000/2615131
468.00/464.77	c cleaning 21993 clauses out of 44022 with flag 266001/2638132
471.51/468.26	c cleaning 23008 clauses out of 46029 with flag 290001/2662132
475.42/472.17	c cleaning 23996 clauses out of 48020 with flag 315000/2687131
479.54/476.28	c cleaning 24998 clauses out of 50025 with flag 341001/2713132
483.64/480.35	c cleaning 25996 clauses out of 52027 with flag 368001/2740132
488.07/484.76	c cleaning 27003 clauses out of 54032 with flag 396002/2768133
492.57/489.22	c cleaning 27991 clauses out of 56027 with flag 425000/2797131
497.40/494.02	c cleaning 29004 clauses out of 58038 with flag 455002/2827133
501.90/498.55	c cleaning 29994 clauses out of 60032 with flag 486000/2858131
506.42/503.07	c cleaning 31001 clauses out of 62038 with flag 518000/2890131
511.45/508.08	c cleaning 31989 clauses out of 64037 with flag 551000/2923131
517.57/514.12	c cleaning 33006 clauses out of 66051 with flag 585003/2957134
524.18/520.76	c cleaning 34000 clauses out of 68042 with flag 620000/2992131
533.49/530.04	c cleaning 35011 clauses out of 70043 with flag 656001/3028132
542.70/539.23	c cleaning 36010 clauses out of 72031 with flag 693000/3065131
551.91/548.47	c cleaning 36998 clauses out of 74022 with flag 731001/3103132
561.83/558.31	c cleaning 37999 clauses out of 76024 with flag 770001/3142132
571.86/568.34	c cleaning 38994 clauses out of 78024 with flag 810000/3182131
582.47/578.93	c cleaning 39990 clauses out of 80030 with flag 851000/3223131
592.49/588.98	c cleaning 41000 clauses out of 82041 with flag 893001/3265132
603.49/599.90	c cleaning 42009 clauses out of 84041 with flag 936001/3308132
610.21/606.68	c Got one! Elapsed wall clock time (in seconds):606.556
610.21/606.68	o 19873628
611.31/607.73	c cleaning 42129 clauses out of 84272 with flag 5006/3350372
612.74/609.18	c cleaning 24059 clauses out of 48137 with flag 11000/3356366
613.94/610.40	c cleaning 15502 clauses out of 31079 with flag 18001/3363367
615.39/611.72	c cleaning 11775 clauses out of 23576 with flag 26000/3371366
616.83/613.18	c cleaning 10371 clauses out of 20802 with flag 35001/3380367
618.45/614.78	c cleaning 10177 clauses out of 20431 with flag 45001/3390367
620.26/616.51	c cleaning 10614 clauses out of 21253 with flag 56000/3401366
622.38/618.61	c cleaning 11305 clauses out of 22639 with flag 68000/3413366
624.69/620.91	c cleaning 12153 clauses out of 24335 with flag 81001/3426367
627.11/623.31	c cleaning 13085 clauses out of 26181 with flag 95000/3440366
629.53/625.77	c cleaning 14039 clauses out of 28096 with flag 110000/3455366
632.43/628.66	c cleaning 15010 clauses out of 30057 with flag 126000/3471366
635.46/631.62	c cleaning 16021 clauses out of 32047 with flag 143000/3488366
638.17/634.30	c cleaning 17001 clauses out of 34027 with flag 161001/3506367
641.47/637.62	c cleaning 18004 clauses out of 36026 with flag 180001/3525367
644.89/641.05	c cleaning 19006 clauses out of 38023 with flag 200002/3545368
649.01/645.15	c cleaning 19994 clauses out of 40017 with flag 221002/3566368
653.62/649.70	c cleaning 21002 clauses out of 42021 with flag 243000/3588366
658.33/654.44	c cleaning 22000 clauses out of 44020 with flag 266001/3611367
662.25/658.36	c cleaning 22994 clauses out of 46020 with flag 290001/3635367
666.57/662.69	c cleaning 23993 clauses out of 48026 with flag 315001/3660367
670.69/666.71	c cleaning 25007 clauses out of 50033 with flag 341001/3686367
674.79/670.81	c cleaning 25995 clauses out of 52025 with flag 368000/3713366
679.70/675.71	c cleaning 27002 clauses out of 54030 with flag 396000/3741366
685.21/681.25	c cleaning 28002 clauses out of 56028 with flag 425000/3770366
691.22/687.29	c cleaning 28999 clauses out of 58027 with flag 455001/3800367
697.73/693.79	c cleaning 29997 clauses out of 60027 with flag 486000/3831366
703.93/699.92	c cleaning 31007 clauses out of 62030 with flag 518000/3863366
709.85/705.88	c cleaning 32003 clauses out of 64023 with flag 551000/3896366
717.06/713.08	c cleaning 32988 clauses out of 66020 with flag 585000/3930366
724.41/720.33	c cleaning 34004 clauses out of 68032 with flag 620000/3965366
730.13/726.03	c cleaning 35007 clauses out of 70029 with flag 656001/4001367
735.43/731.30	c cleaning 36007 clauses out of 72021 with flag 693000/4038366
741.44/737.37	c cleaning 36998 clauses out of 74014 with flag 731000/4076366
747.96/743.80	c cleaning 38001 clauses out of 76016 with flag 770000/4115366
754.68/750.51	c cleaning 38998 clauses out of 78015 with flag 810000/4155366
762.49/758.31	c cleaning 40005 clauses out of 80017 with flag 851000/4196366
771.61/767.46	c cleaning 40995 clauses out of 82013 with flag 893001/4238367
781.14/776.93	c cleaning 41988 clauses out of 84017 with flag 936000/4281366
788.66/784.46	c cleaning 43004 clauses out of 86029 with flag 980000/4325366
796.38/792.14	c cleaning 43993 clauses out of 88026 with flag 1025001/4370367
803.20/798.98	c cleaning 45009 clauses out of 90032 with flag 1071000/4416366
810.11/805.83	c cleaning 46000 clauses out of 92023 with flag 1118000/4463366
817.02/812.75	c cleaning 47001 clauses out of 94024 with flag 1166001/4511367
826.03/821.78	c cleaning 47981 clauses out of 96022 with flag 1215000/4560366
835.74/831.50	c cleaning 49010 clauses out of 98041 with flag 1265000/4610366
846.06/841.74	c cleaning 50003 clauses out of 100031 with flag 1316000/4661366
854.12/849.78	c cleaning 50999 clauses out of 102031 with flag 1368003/4713369
862.56/858.16	c cleaning 51993 clauses out of 104029 with flag 1421000/4766366
870.08/865.62	c Got one! Elapsed wall clock time (in seconds):865.495
870.08/865.62	o 19472846
871.08/866.62	c cleaning 52324 clauses out of 104680 with flag 5000/4819010
872.49/868.03	c cleaning 29163 clauses out of 58356 with flag 11000/4825010
873.41/868.94	c cleaning 18080 clauses out of 36193 with flag 18000/4832010
874.61/870.17	c cleaning 13032 clauses out of 26113 with flag 26000/4840010
876.31/871.81	c cleaning 11014 clauses out of 22081 with flag 35000/4849010
878.02/873.53	c cleaning 10514 clauses out of 21067 with flag 45000/4859010
880.53/876.06	c cleaning 10764 clauses out of 21553 with flag 56000/4870010
884.15/879.69	c cleaning 11388 clauses out of 22793 with flag 68004/4882014
886.49/882.00	c cleaning 12200 clauses out of 24402 with flag 81001/4895011
889.19/884.67	c cleaning 13083 clauses out of 26201 with flag 95000/4909010
891.91/887.38	c cleaning 14044 clauses out of 28118 with flag 110000/4924010
893.52/888.90	c Got one! Elapsed wall clock time (in seconds):888.777
893.52/888.90	o 19430349
894.12/889.51	c cleaning 14034 clauses out of 28097 with flag 5001/4938034
894.93/890.32	c cleaning 10004 clauses out of 20063 with flag 11001/4944034
895.74/891.11	c cleaning 8506 clauses out of 17060 with flag 18002/4951035
896.76/892.19	c cleaning 8239 clauses out of 16552 with flag 26000/4959033
898.08/893.44	c cleaning 8645 clauses out of 17313 with flag 35000/4968033
899.38/894.76	c cleaning 9331 clauses out of 18669 with flag 45001/4978034
901.30/896.61	c cleaning 10156 clauses out of 20338 with flag 56001/4989034
903.50/898.84	c cleaning 11083 clauses out of 22183 with flag 68002/5001035
906.02/901.33	c cleaning 12035 clauses out of 24098 with flag 81000/5014033
908.72/904.05	c cleaning 13025 clauses out of 26063 with flag 95000/5028033
911.34/906.61	c cleaning 14003 clauses out of 28038 with flag 110000/5043033
913.97/909.27	c cleaning 15006 clauses out of 30036 with flag 126001/5059034
916.99/912.24	c cleaning 16003 clauses out of 32029 with flag 143000/5076033
920.02/915.27	c cleaning 17002 clauses out of 34028 with flag 161002/5094035
923.41/918.69	c cleaning 18001 clauses out of 36024 with flag 180001/5113034
926.52/921.72	c cleaning 19001 clauses out of 38023 with flag 200001/5133034
929.14/924.30	c cleaning 19998 clauses out of 40022 with flag 221001/5154034
932.84/928.02	c cleaning 20996 clauses out of 42023 with flag 243000/5176033
936.74/931.92	c cleaning 22001 clauses out of 44027 with flag 266000/5199033
940.45/935.69	c cleaning 23004 clauses out of 46027 with flag 290001/5223034
944.76/939.90	c cleaning 24002 clauses out of 48022 with flag 315001/5248034
949.17/944.31	c cleaning 24998 clauses out of 50019 with flag 341001/5274034
953.48/948.68	c cleaning 25996 clauses out of 52021 with flag 368001/5301034
958.00/953.12	c cleaning 26998 clauses out of 54025 with flag 396001/5329034
962.31/957.46	c Got one! Elapsed wall clock time (in seconds):957.337
962.31/957.46	o 14697196
963.51/958.69	c cleaning 29252 clauses out of 58532 with flag 5000/5360572
965.04/960.15	c cleaning 17625 clauses out of 35280 with flag 11000/5366572
966.86/961.93	c cleaning 12307 clauses out of 24655 with flag 18000/5373572
968.77/963.84	c cleaning 10142 clauses out of 20348 with flag 26000/5381572
970.99/966.02	c cleaning 9585 clauses out of 19208 with flag 35002/5390574
973.50/968.55	c cleaning 9777 clauses out of 19621 with flag 45000/5400572
976.23/971.27	c cleaning 10406 clauses out of 20846 with flag 56002/5411574
979.42/974.40	c cleaning 11198 clauses out of 22439 with flag 68001/5423573
982.63/977.69	c cleaning 12100 clauses out of 24241 with flag 81001/5436573
986.03/981.06	c cleaning 13064 clauses out of 26140 with flag 95000/5450572
989.44/984.46	c cleaning 14026 clauses out of 28076 with flag 110000/5465572
993.23/988.25	c cleaning 14999 clauses out of 30051 with flag 126001/5481573
997.24/992.25	c cleaning 16006 clauses out of 32051 with flag 143000/5498572
1000.24/995.25	c cleaning 17011 clauses out of 34045 with flag 161001/5516573
1001.45/996.48	c Got one! Elapsed wall clock time (in seconds):996.355
1001.45/996.48	o 10997668
1002.45/997.46	c cleaning 16075 clauses out of 32170 with flag 5001/5531712
1003.38/998.38	c cleaning 11029 clauses out of 22096 with flag 11002/5537713
1004.58/999.56	c cleaning 8999 clauses out of 18065 with flag 18000/5544711
1005.99/1000.94	c cleaning 8495 clauses out of 17071 with flag 26005/5552716
1007.79/1002.73	c cleaning 8760 clauses out of 17571 with flag 35000/5561711
1009.40/1004.33	c cleaning 9391 clauses out of 18811 with flag 45000/5571711
1011.40/1006.38	c cleaning 10193 clauses out of 20420 with flag 56000/5582711
1013.50/1008.48	c cleaning 11105 clauses out of 22228 with flag 68001/5594712
1015.81/1010.77	c cleaning 12046 clauses out of 24124 with flag 81002/5607713
1018.41/1013.30	c cleaning 13027 clauses out of 26076 with flag 95000/5621711
1021.42/1016.34	c cleaning 14006 clauses out of 28049 with flag 110000/5636711
1024.72/1019.61	c cleaning 14995 clauses out of 30044 with flag 126001/5652712
1028.04/1022.91	c cleaning 16002 clauses out of 32048 with flag 143000/5669711
1031.23/1026.13	c cleaning 17007 clauses out of 34046 with flag 161000/5687711
1034.84/1029.72	c cleaning 18007 clauses out of 36041 with flag 180002/5706713
1038.54/1033.43	c cleaning 19004 clauses out of 38033 with flag 200001/5726712
1042.05/1037.00	c cleaning 20008 clauses out of 40031 with flag 221003/5747714
1048.06/1042.96	c cleaning 20997 clauses out of 42009 with flag 243001/5769712
1054.47/1049.34	c cleaning 22000 clauses out of 44011 with flag 266000/5792711
1061.18/1056.04	c cleaning 22996 clauses out of 46011 with flag 290000/5816711
1063.41/1058.25	c Got one! Elapsed wall clock time (in seconds):1058.126
1063.41/1058.25	o 10996893
1064.91/1059.74	c cleaning 17588 clauses out of 35182 with flag 5002/5828884
1066.73/1061.55	c cleaning 11788 clauses out of 23592 with flag 11000/5834882
1068.74/1063.52	c cleaning 9373 clauses out of 18798 with flag 18000/5841882
1071.06/1065.89	c cleaning 8688 clauses out of 17428 with flag 26003/5849885
1073.68/1068.44	c cleaning 8837 clauses out of 17740 with flag 35003/5858885
1076.78/1071.54	c cleaning 9440 clauses out of 18900 with flag 45000/5868882
1080.08/1074.82	c cleaning 10214 clauses out of 20460 with flag 56000/5879882
1083.59/1078.37	c cleaning 11107 clauses out of 22248 with flag 68002/5891884
1087.50/1082.27	c cleaning 12057 clauses out of 24139 with flag 81000/5904882
1092.10/1086.83	c cleaning 13031 clauses out of 26082 with flag 95000/5918882
1096.52/1091.23	c cleaning 14013 clauses out of 28055 with flag 110004/5933886
1101.02/1095.80	c cleaning 14993 clauses out of 30039 with flag 126001/5949883
1106.34/1101.01	c cleaning 16001 clauses out of 32046 with flag 143001/5966883
1112.16/1106.87	c cleaning 16992 clauses out of 34044 with flag 161000/5984882
1118.47/1113.12	c cleaning 18007 clauses out of 36052 with flag 180000/6003882
1120.97/1115.65	c Got one! Elapsed wall clock time (in seconds):1115.529
1120.97/1115.65	o 10993840
1122.47/1117.14	c cleaning 15441 clauses out of 30897 with flag 5002/6016742
1124.29/1118.97	c cleaning 10246 clauses out of 20512 with flag 11001/6022741
1126.10/1120.72	c cleaning 8608 clauses out of 17265 with flag 18000/6029740
1128.03/1122.69	c cleaning 8298 clauses out of 16657 with flag 26000/6037740
1130.33/1124.92	c cleaning 8656 clauses out of 17360 with flag 35001/6046741
1132.63/1127.29	c cleaning 9343 clauses out of 18703 with flag 45000/6056740
1135.45/1130.01	c cleaning 10163 clauses out of 20360 with flag 56000/6067740
1136.76/1131.39	c Got one! Elapsed wall clock time (in seconds):1131.269
1136.76/1131.39	o 10992533
1138.16/1132.79	c cleaning 10726 clauses out of 21473 with flag 5000/6079016
1139.97/1134.51	c cleaning 8353 clauses out of 16747 with flag 11000/6085016
1141.87/1136.43	c cleaning 7673 clauses out of 15394 with flag 18000/6092016
1144.08/1138.65	c cleaning 7852 clauses out of 15721 with flag 26000/6100016
1146.70/1141.20	c cleaning 8415 clauses out of 16869 with flag 35000/6109016
1149.60/1144.14	c cleaning 9209 clauses out of 18456 with flag 45002/6119018
1152.52/1147.09	c cleaning 10106 clauses out of 20245 with flag 56000/6130016
1153.32/1147.89	c Got one! Elapsed wall clock time (in seconds):1147.765
1153.32/1147.89	o 10992525
1153.72/1148.27	c cleaning 7617 clauses out of 15294 with flag 2000/6135171
1154.85/1149.39	c cleaning 6797 clauses out of 13677 with flag 8000/6141171
1156.17/1150.63	c Got one! Elapsed wall clock time (in seconds):1150.501
1156.17/1150.63	o 10808184
1157.57/1152.08	c cleaning 9217 clauses out of 18455 with flag 5000/6152746
1159.28/1153.73	c cleaning 7605 clauses out of 15240 with flag 11002/6158748
1161.19/1155.67	c cleaning 7277 clauses out of 14633 with flag 18000/6165746
1163.39/1157.89	c cleaning 7657 clauses out of 15358 with flag 26002/6173748
1165.71/1160.14	c cleaning 8326 clauses out of 16700 with flag 35001/6182747
1168.11/1162.54	c cleaning 9169 clauses out of 18373 with flag 45000/6192746
1170.82/1165.20	c cleaning 10080 clauses out of 20205 with flag 56001/6203747
1174.03/1168.47	c cleaning 11046 clauses out of 22124 with flag 68000/6215746
1177.55/1171.95	c cleaning 12023 clauses out of 24079 with flag 81001/6228747
1181.16/1175.54	c cleaning 13011 clauses out of 26055 with flag 95000/6242746
1185.16/1179.56	c cleaning 14002 clauses out of 28045 with flag 110001/6257747
1189.46/1183.85	c cleaning 15000 clauses out of 30042 with flag 126000/6273746
1194.07/1188.49	c cleaning 16008 clauses out of 32042 with flag 143000/6290746
1199.27/1193.66	c cleaning 16998 clauses out of 34034 with flag 161000/6308746
1204.39/1198.75	c cleaning 18007 clauses out of 36037 with flag 180001/6327747
1209.72/1204.03	c cleaning 18991 clauses out of 38029 with flag 200000/6347746
1214.54/1208.89	c cleaning 20002 clauses out of 40038 with flag 221000/6368746
1219.26/1213.59	c cleaning 20998 clauses out of 42038 with flag 243002/6390748
1224.57/1218.89	c cleaning 22001 clauses out of 44038 with flag 266000/6413746
1230.27/1224.58	c cleaning 22974 clauses out of 46037 with flag 290000/6437746
1236.01/1230.20	c cleaning 24014 clauses out of 48065 with flag 315002/6462748
1241.62/1235.84	c cleaning 25006 clauses out of 50049 with flag 341000/6488746
1247.93/1242.18	c cleaning 25996 clauses out of 52043 with flag 368000/6515746
1254.43/1248.62	c cleaning 27008 clauses out of 54047 with flag 396000/6543746
1261.25/1255.44	c cleaning 28004 clauses out of 56039 with flag 425000/6572746
1267.96/1262.19	c cleaning 28999 clauses out of 58035 with flag 455000/6602746
1276.17/1270.31	c cleaning 29994 clauses out of 60036 with flag 486000/6633746
1283.88/1278.09	c cleaning 31002 clauses out of 62043 with flag 518001/6665747
1291.98/1286.16	c cleaning 32001 clauses out of 64040 with flag 551000/6698746
1300.11/1294.28	c cleaning 33001 clauses out of 66039 with flag 585000/6732746
1309.13/1303.25	c cleaning 33989 clauses out of 68041 with flag 620003/6767749
1318.54/1312.62	c cleaning 35003 clauses out of 70049 with flag 656000/6803746
1327.15/1321.27	c cleaning 36009 clauses out of 72047 with flag 693001/6840747
1336.87/1330.99	c cleaning 36997 clauses out of 74038 with flag 731001/6878747
1348.01/1342.04	c cleaning 38000 clauses out of 76040 with flag 770000/6917746
1359.22/1353.23	c cleaning 38988 clauses out of 78040 with flag 810000/6957746
1369.54/1363.58	c cleaning 39999 clauses out of 80052 with flag 851000/6998746
1371.87/1365.80	c Got one! Elapsed wall clock time (in seconds):1365.678
1371.87/1365.80	o 10244733
1372.67/1366.68	c cleaning 27409 clauses out of 54847 with flag 5004/7013540
1373.67/1367.61	c cleaning 16704 clauses out of 33434 with flag 11000/7019536
1374.80/1368.72	c cleaning 11842 clauses out of 23730 with flag 18000/7026536
1376.20/1370.18	c cleaning 9917 clauses out of 19888 with flag 26000/7034536
1377.72/1371.67	c cleaning 9435 clauses out of 18971 with flag 35000/7043536
1379.52/1373.46	c cleaning 9757 clauses out of 19536 with flag 45000/7053536
1381.22/1375.19	c cleaning 10375 clauses out of 20779 with flag 56000/7064536
1383.22/1377.14	c cleaning 11188 clauses out of 22404 with flag 68000/7076536
1385.45/1379.40	c cleaning 12085 clauses out of 24216 with flag 81000/7089536
1387.96/1381.86	c cleaning 13052 clauses out of 26131 with flag 95000/7103536
1390.56/1384.43	c cleaning 14030 clauses out of 28079 with flag 110000/7118536
1393.46/1387.34	c cleaning 15011 clauses out of 30049 with flag 126000/7134536
1396.87/1390.73	c cleaning 16007 clauses out of 32038 with flag 143000/7151536
1399.87/1393.72	c cleaning 17000 clauses out of 34031 with flag 161000/7169536
1403.37/1397.22	c cleaning 18007 clauses out of 36031 with flag 180000/7188536
1406.68/1400.57	c cleaning 18991 clauses out of 38024 with flag 200000/7208536
1410.69/1404.59	c cleaning 19996 clauses out of 40034 with flag 221001/7229537
1414.49/1408.36	c cleaning 21009 clauses out of 42037 with flag 243000/7251536
1418.80/1412.68	c cleaning 22001 clauses out of 44029 with flag 266001/7274537
1424.00/1417.88	c cleaning 22974 clauses out of 46027 with flag 290000/7298536
1429.52/1423.37	c cleaning 24010 clauses out of 48053 with flag 315000/7323536
1433.82/1427.64	c cleaning 25018 clauses out of 50044 with flag 341001/7349537
1437.92/1431.73	c cleaning 25998 clauses out of 52025 with flag 368000/7376536
1442.73/1436.56	c cleaning 26993 clauses out of 54028 with flag 396001/7404537
1447.04/1440.84	c cleaning 27999 clauses out of 56035 with flag 425001/7433537
1452.04/1445.86	c cleaning 28995 clauses out of 58035 with flag 455000/7463536
1456.55/1450.31	c cleaning 30005 clauses out of 60040 with flag 486000/7494536
1462.07/1455.81	c cleaning 30999 clauses out of 62035 with flag 518000/7526536
1466.88/1460.66	c cleaning 32001 clauses out of 64037 with flag 551001/7559537
1472.78/1466.55	c cleaning 32994 clauses out of 66036 with flag 585001/7593537
1474.69/1468.44	c Got one! Elapsed wall clock time (in seconds):1468.31
1474.69/1468.44	o 10200002
1474.69/1468.48	c Got one! Elapsed wall clock time (in seconds):1468.351
1474.69/1468.48	o 10113323
1474.79/1468.58	c Got one! Elapsed wall clock time (in seconds):1468.458
1474.79/1468.58	o 10081178
1475.79/1469.60	c cleaning 24073 clauses out of 48162 with flag 5002/7609549
1477.10/1470.81	c cleaning 15031 clauses out of 30088 with flag 11001/7615548
1478.41/1472.10	c cleaning 10981 clauses out of 22056 with flag 18000/7622547
1479.51/1473.29	c cleaning 9506 clauses out of 19076 with flag 26001/7630548
1480.73/1474.44	c cleaning 9270 clauses out of 18569 with flag 35000/7639547
1482.13/1475.87	c cleaning 9642 clauses out of 19301 with flag 45002/7649549
1483.75/1477.45	c cleaning 10323 clauses out of 20662 with flag 56005/7660552
1485.77/1479.49	c cleaning 11154 clauses out of 22334 with flag 68000/7672547
1488.09/1481.74	c cleaning 12082 clauses out of 24182 with flag 81002/7685549
1491.50/1485.11	c cleaning 13042 clauses out of 26098 with flag 95000/7699547
1494.91/1488.54	c cleaning 14010 clauses out of 28056 with flag 110000/7714547
1498.61/1492.28	c cleaning 15015 clauses out of 30046 with flag 126000/7730547
1501.02/1494.67	c Got one! Elapsed wall clock time (in seconds):1494.546
1501.02/1494.67	o 10068297
1501.72/1495.39	c cleaning 14512 clauses out of 29046 with flag 5000/7744562
1502.65/1496.28	c cleaning 10246 clauses out of 20534 with flag 11000/7750562
1503.78/1497.36	c cleaning 8617 clauses out of 17289 with flag 18001/7757563
1505.09/1498.60	c cleaning 8303 clauses out of 16671 with flag 26000/7765562
1506.60/1500.10	c cleaning 8672 clauses out of 17368 with flag 35000/7774562
1508.10/1501.65	c cleaning 9338 clauses out of 18698 with flag 45002/7784564
1509.81/1503.37	c cleaning 10168 clauses out of 20358 with flag 56000/7795562
1511.71/1505.24	c cleaning 11080 clauses out of 22190 with flag 68000/7807562
1513.72/1507.21	c cleaning 12042 clauses out of 24111 with flag 81001/7820563
1515.63/1509.15	c cleaning 13026 clauses out of 26070 with flag 95002/7834564
1518.03/1511.53	c cleaning 14013 clauses out of 28042 with flag 110000/7849562
1520.14/1513.65	c cleaning 14997 clauses out of 30029 with flag 126000/7865562
1522.75/1516.29	c cleaning 16003 clauses out of 32034 with flag 143002/7882564
1527.26/1520.71	c cleaning 17005 clauses out of 34029 with flag 161000/7900562
1529.97/1523.49	c cleaning 17998 clauses out of 36026 with flag 180002/7919564
1532.67/1526.16	c cleaning 18999 clauses out of 38029 with flag 200003/7939565
1536.09/1529.57	c cleaning 19998 clauses out of 40028 with flag 221001/7960563
1541.11/1534.52	c cleaning 21003 clauses out of 42029 with flag 243000/7982562
1546.12/1539.52	c cleaning 21997 clauses out of 44026 with flag 266000/8005562
1551.24/1544.68	c cleaning 22998 clauses out of 46029 with flag 290000/8029562
1556.06/1549.50	c cleaning 24011 clauses out of 48031 with flag 315000/8054562
1559.66/1553.08	c cleaning 24995 clauses out of 50020 with flag 341000/8080562
1563.67/1557.04	c cleaning 25999 clauses out of 52025 with flag 368000/8107562
1567.78/1561.18	c cleaning 26997 clauses out of 54026 with flag 396000/8135562
1572.69/1566.05	c cleaning 27994 clauses out of 56031 with flag 425002/8164564
1577.00/1570.38	c cleaning 28999 clauses out of 58035 with flag 455000/8194562
1581.01/1574.35	c cleaning 30006 clauses out of 60040 with flag 486004/8225566
1586.24/1579.50	c cleaning 31007 clauses out of 62033 with flag 518003/8257565
1591.75/1585.04	c cleaning 31979 clauses out of 64010 with flag 551001/8290563
1598.35/1591.61	c cleaning 32978 clauses out of 66031 with flag 585001/8324563
1605.66/1598.95	c cleaning 34017 clauses out of 68060 with flag 620008/8359570
1613.47/1606.77	c cleaning 35007 clauses out of 70035 with flag 656000/8395562
1621.98/1615.28	c cleaning 35994 clauses out of 72032 with flag 693004/8432566
1630.29/1623.58	c cleaning 36993 clauses out of 74035 with flag 731001/8470563
1638.59/1631.85	c cleaning 38008 clauses out of 76045 with flag 770004/8509566
1648.22/1641.42	c cleaning 38996 clauses out of 78033 with flag 810000/8549562
1657.85/1651.00	c cleaning 40010 clauses out of 80045 with flag 851008/8590570
1667.97/1661.11	c cleaning 40339 clauses out of 80704 with flag 893001/8632563
1678.78/1672.00	c cleaning 41674 clauses out of 83365 with flag 936001/8675563
1689.61/1682.73	c cleaning 42817 clauses out of 85690 with flag 980000/8719562
1699.32/1692.40	c cleaning 43920 clauses out of 87873 with flag 1025000/8764562
1709.75/1702.87	c cleaning 44960 clauses out of 89954 with flag 1071001/8810563
1720.87/1713.96	c cleaning 45984 clauses out of 91995 with flag 1118002/8857564
1732.19/1725.21	c cleaning 46990 clauses out of 94010 with flag 1166001/8905563
1743.40/1736.41	c cleaning 47989 clauses out of 96019 with flag 1215000/8954562
1754.62/1747.65	c cleaning 48992 clauses out of 98030 with flag 1265000/9004562
1766.24/1759.24	c cleaning 50001 clauses out of 100038 with flag 1316000/9055562
1778.17/1771.10	c cleaning 51004 clauses out of 102037 with flag 1368000/9107562
1778.80/1771.75	c Got one! Elapsed wall clock time (in seconds):1771.621
1778.80/1771.75	o 10008470
1779.62/1772.56	c cleaning 28337 clauses out of 56709 with flag 3002/9113238
1781.34/1774.22	c cleaning 17148 clauses out of 34370 with flag 9000/9119236
1783.14/1776.02	c cleaning 12058 clauses out of 24223 with flag 16001/9126237
1785.25/1778.18	c cleaning 10035 clauses out of 20164 with flag 24000/9134236
1787.66/1780.52	c cleaning 9534 clauses out of 19131 with flag 33002/9143238
1790.26/1783.11	c cleaning 9775 clauses out of 19595 with flag 43000/9153236
1793.09/1785.91	c cleaning 10382 clauses out of 20821 with flag 54001/9164237
1796.29/1789.16	c cleaning 11189 clauses out of 22438 with flag 66000/9176236
1799.90/1792.71	c cleaning 12110 clauses out of 24250 with flag 79001/9189237
1800.01/1792.81	c starts		: 330
1800.01/1792.81	c conflicts		: 9189434
1800.01/1792.81	c decisions		: 17629324
1800.01/1792.81	c propagations		: 1640826558
1800.01/1792.81	c inspects		: 9871408324
1800.01/1792.81	c shortcuts		: 0
1800.01/1792.81	c learnt literals	: 61
1800.01/1792.81	c learnt binary clauses	: 675
1800.01/1792.81	c learnt ternary clauses	: 429
1800.01/1792.81	c learnt constraints	: 9189373
1800.01/1792.81	c ignored constraints	: 0
1800.01/1792.81	c root simplifications	: 391
1800.01/1792.81	c removed literals (reason simplification)	: 150916474
1800.01/1792.81	c reason swapping (by a shorter reason)	: 0
1800.01/1792.81	c Calls to reduceDB	: 496
1800.01/1792.81	c number of reductions to clauses (during analyze)	: 0
1800.01/1792.81	c number of learned constraints concerned by reduction	: 0
1800.01/1792.81	c number of learning phase by resolution	: 0
1800.01/1792.81	c number of learning phase by cutting planes	: 0
1800.01/1792.81	c speed (assignments/second)	: 915477.5642492013
1800.01/1792.81	c non guided choices	12619
1800.01/1792.81	c learnt constraints type 
1800.01/1792.81	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 433
1800.01/1792.81	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 11923
1800.01/1792.81	c constraints type 
1800.01/1792.81	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 6001
1800.01/1792.81	c org.sat4j.minisat.constraints.cnf.UnitClauses => 4
1800.01/1792.81	c org.sat4j.minisat.constraints.card.MinWatchCard => 22
1800.01/1792.81	c ignored satisfied constraints => 4
1800.01/1792.81	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 9885
1800.01/1792.81	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 6016
1800.01/1792.81	c 21932 constraints processed.
1800.01/1792.81	s SATISFIABLE
1800.01/1792.82	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.01/1792.83	c objective function=10008470
1800.01/1792.83	c Total wall clock time (in seconds): 1792.707

OK	10008470

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

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 1153
/proc/meminfo: memFree=28741368/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/1153/stat : 1153 (java) R 1151 1153 31663 0 -1 4202496 445 0 0 0 0 0 0 0 20 0 1 0 290953277 9515008 175 33554432000 1073741824 1073778376 140737117988544 140737117971272 252263089040 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2323 175 133 9 0 71 0

[startup+0.063877 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 1153
/proc/meminfo: memFree=28741368/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9558380 CPUtime=0.04 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 3162 0 1 0 3 1 0 0 20 0 18 0 290953277 9787781120 4370 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2389595 4370 1744 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558380

[startup+0.100248 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 1153
/proc/meminfo: memFree=28741368/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 4210 0 1 0 7 1 0 0 20 0 18 0 290953277 9787842560 5417 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2389610 5418 2113 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.30022 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 1153
/proc/meminfo: memFree=28741368/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9558440 CPUtime=0.48 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 5213 0 1 0 46 2 0 0 20 0 18 0 290953277 9787842560 9624 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2389610 9624 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558440

[startup+0.700219 s]
/proc/loadavg: 1.92 1.99 1.99 3/192 1153
/proc/meminfo: memFree=28741368/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9625004 CPUtime=1.3 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 7681 0 1 0 127 3 0 0 20 0 19 0 290953277 9856004096 22625 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2406251 22625 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 9625004

[startup+1.50069 s]
/proc/loadavg: 1.92 1.99 1.99 3/211 1172
/proc/meminfo: memFree=28659984/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9625004 CPUtime=2.17 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 7718 0 1 0 214 3 0 0 20 0 19 0 290953277 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2406251 22632 2258 9 0 2396937 0
[pid=1153/tid=1155] ppid=1151 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/1153/task/1155/stat : 1155 (java) R 1151 1153 31663 0 -1 4202560 2537 0 1 0 145 2 0 0 20 0 19 0 290953277 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958645563800 139958506086856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1156] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1156/stat : 1156 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958488824744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1157] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1157/stat : 1157 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958487772200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1158] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1158/stat : 1158 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958486719144 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1159] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1159/stat : 1159 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958485666600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1160] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1160/stat : 1160 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958484613544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1161] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1161/stat : 1161 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958483561000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1162] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1162/stat : 1162 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958482507944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1163] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1163/stat : 1163 (java) S 1151 1153 31663 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958481455400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1164] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1164/stat : 1164 (java) S 1151 1153 31663 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290953280 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958469258088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1165] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1165/stat : 1165 (java) S 1151 1153 31663 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958468204408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1166] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1166/stat : 1166 (java) S 1151 1153 31663 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958467151240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1167] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1167/stat : 1167 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958466099984 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1168] ppid=1151 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/1153/task/1168/stat : 1168 (java) S 1151 1153 31663 0 -1 4202560 1927 0 0 0 35 0 0 0 20 0 19 0 290953283 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958465046840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1169] ppid=1151 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/1153/task/1169/stat : 1169 (java) S 1151 1153 31663 0 -1 4202560 2053 0 0 0 31 0 0 0 20 0 19 0 290953283 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958463994296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1170] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1170/stat : 1170 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958462941432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1171] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1171/stat : 1171 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958461889096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1172] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1172/stat : 1172 (java) S 1151 1153 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290953326 9856004096 22632 33554432000 1073741824 1073778376 140737117988544 139958460835368 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625004

[startup+3.10067 s]
/proc/loadavg: 1.92 1.99 1.99 3/211 1172
/proc/meminfo: memFree=28657192/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9625004 CPUtime=3.9 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 8178 0 1 0 387 3 0 0 20 0 19 0 290953277 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2406251 23678 2268 9 0 2396937 0
[pid=1153/tid=1155] ppid=1151 vsize=9625004 CPUtime=3.06 cores=0,2,4,6
/proc/1153/task/1155/stat : 1155 (java) R 1151 1153 31663 0 -1 4202560 2541 0 1 0 304 2 0 0 20 0 19 0 290953277 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958645563880 139958505528378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1156] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1156/stat : 1156 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958488824744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1157] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1157/stat : 1157 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958487772200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1158] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1158/stat : 1158 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958486719144 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1159] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1159/stat : 1159 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958485666600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1160] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1160/stat : 1160 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958484613544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1161] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1161/stat : 1161 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958483561000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1162] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1162/stat : 1162 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958482507944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1163] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1163/stat : 1163 (java) S 1151 1153 31663 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958481455400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1164] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1164/stat : 1164 (java) S 1151 1153 31663 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 290953280 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958469258088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1165] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1165/stat : 1165 (java) S 1151 1153 31663 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958468204408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1166] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1166/stat : 1166 (java) S 1151 1153 31663 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958467151240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1167] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1167/stat : 1167 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958466099984 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1168] ppid=1151 vsize=9625004 CPUtime=0.44 cores=0,2,4,6
/proc/1153/task/1168/stat : 1168 (java) R 1151 1153 31663 0 -1 4202560 2134 0 0 0 44 0 0 0 20 0 19 0 290953283 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958465046840 139958649650336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1169] ppid=1151 vsize=9625004 CPUtime=0.36 cores=0,2,4,6
/proc/1153/task/1169/stat : 1169 (java) R 1151 1153 31663 0 -1 4202560 2302 0 0 0 36 0 0 0 20 0 19 0 290953283 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958463988136 252266464401 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1170] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1170/stat : 1170 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958462941432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1171] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1171/stat : 1171 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958461889096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1172] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1172/stat : 1172 (java) S 1151 1153 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290953326 9856004096 23678 33554432000 1073741824 1073778376 140737117988544 139958460835368 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 9625004

[startup+6.30065 s]
/proc/loadavg: 1.93 1.99 1.99 3/211 1172
/proc/meminfo: memFree=28617924/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9625004 CPUtime=7.61 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 16135 0 1 0 756 5 0 0 20 0 19 0 290953277 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2406251 32740 2289 9 0 2396937 0
[pid=1153/tid=1155] ppid=1151 vsize=9625004 CPUtime=6.2 cores=0,2,4,6
/proc/1153/task/1155/stat : 1155 (java) R 1151 1153 31663 0 -1 4202560 2546 0 1 0 618 2 0 0 20 0 19 0 290953277 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958645563928 139958506228373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1156] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1156/stat : 1156 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958488824744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1157] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1157/stat : 1157 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958487772200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1158] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1158/stat : 1158 (java) S 1151 1153 31663 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958486719144 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1159] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1159/stat : 1159 (java) S 1151 1153 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958485666600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1160] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1160/stat : 1160 (java) S 1151 1153 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958484613544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1161] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1161/stat : 1161 (java) S 1151 1153 31663 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958483561000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1162] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1162/stat : 1162 (java) S 1151 1153 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958482507944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1163] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1163/stat : 1163 (java) S 1151 1153 31663 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 290953279 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958481455400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1164] ppid=1151 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/1153/task/1164/stat : 1164 (java) S 1151 1153 31663 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 19 0 290953280 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958469258088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1165] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1165/stat : 1165 (java) S 1151 1153 31663 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958468204408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1166] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1166/stat : 1166 (java) S 1151 1153 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958467151240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1167] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1167/stat : 1167 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958466099984 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1168] ppid=1151 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/1153/task/1168/stat : 1168 (java) S 1151 1153 31663 0 -1 4202560 2180 0 0 0 47 0 0 0 20 0 19 0 290953283 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958465046840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1169] ppid=1151 vsize=9625004 CPUtime=0.82 cores=0,2,4,6
/proc/1153/task/1169/stat : 1169 (java) S 1151 1153 31663 0 -1 4202560 10145 0 0 0 80 2 0 0 20 0 19 0 290953283 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958463994296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1170] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1170/stat : 1170 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958462941432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1171] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1171/stat : 1171 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958461889096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1172] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1172/stat : 1172 (java) S 1151 1153 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290953326 9856004096 32740 33554432000 1073741824 1073778376 140737117988544 139958460835368 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=1153/tid=1168] ppid=1151 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/1153/task/1168/stat : 1168 (java) S 1151 1153 31663 0 -1 4202560 3559 0 0 0 60 1 0 0 20 0 19 0 290953283 9856004096 44045 33554432000 1073741824 1073778376 140737117988544 139958465046840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1169] ppid=1151 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/1153/task/1169/stat : 1169 (java) S 1151 1153 31663 0 -1 4202560 10159 0 0 0 93 2 0 0 20 0 19 0 290953283 9856004096 44045 33554432000 1073741824 1073778376 140737117988544 139958463994296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1170] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1170/stat : 1170 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 44045 33554432000 1073741824 1073778376 140737117988544 139958462941432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1171] ppid=1151 vsize=9625004 CPUtime=0.27 cores=0,2,4,6
/proc/1153/task/1171/stat : 1171 (java) S 1151 1153 31663 0 -1 4202560 95 0 0 0 12 15 0 0 20 0 19 0 290953283 9856004096 44045 33554432000 1073741824 1073778376 140737117988544 139958461889096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1172] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1172/stat : 1172 (java) S 1151 1153 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290953326 9856004096 44045 33554432000 1073741824 1073778376 140737117988544 139958460835368 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1669.18
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 1211
/proc/meminfo: memFree=28361928/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9625004 CPUtime=1729.29 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 18970 0 1 0 172894 35 0 0 20 0 19 0 290953277 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2406251 44564 2292 9 0 2396937 0
[pid=1153/tid=1155] ppid=1151 vsize=9625004 CPUtime=1697.95 cores=0,2,4,6
/proc/1153/task/1155/stat : 1155 (java) R 1151 1153 31663 0 -1 4202560 3025 0 1 0 169767 28 0 0 20 0 19 0 290953277 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958645563696 139958506270773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1156] ppid=1151 vsize=9625004 CPUtime=0.98 cores=0,2,4,6
/proc/1153/task/1156/stat : 1156 (java) S 1151 1153 31663 0 -1 4202560 87 0 0 0 96 2 0 0 20 0 19 0 290953279 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958488824744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1157] ppid=1151 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/1153/task/1157/stat : 1157 (java) S 1151 1153 31663 0 -1 4202560 75 0 0 0 100 2 0 0 20 0 19 0 290953279 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958487772200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1158] ppid=1151 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/1153/task/1158/stat : 1158 (java) S 1151 1153 31663 0 -1 4202560 68 0 0 0 102 2 0 0 20 0 19 0 290953279 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958486719144 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1159] ppid=1151 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1153/task/1159/stat : 1159 (java) S 1151 1153 31663 0 -1 4202560 92 0 0 0 106 2 0 0 20 0 19 0 290953279 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958485666600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1160] ppid=1151 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/1153/task/1160/stat : 1160 (java) S 1151 1153 31663 0 -1 4202560 110 0 0 0 101 3 0 0 20 0 19 0 290953279 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958484613544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1161] ppid=1151 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/1153/task/1161/stat : 1161 (java) S 1151 1153 31663 0 -1 4202560 144 0 0 0 103 2 0 0 20 0 19 0 290953279 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958483561000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1162] ppid=1151 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/1153/task/1162/stat : 1162 (java) S 1151 1153 31663 0 -1 4202560 116 0 0 0 99 2 0 0 20 0 19 0 290953279 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958482507944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1163] ppid=1151 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/1153/task/1163/stat : 1163 (java) S 1151 1153 31663 0 -1 4202560 84 0 0 0 105 2 0 0 20 0 19 0 290953279 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958481455400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1164] ppid=1151 vsize=9625004 CPUtime=17.06 cores=0,2,4,6
/proc/1153/task/1164/stat : 1164 (java) S 1151 1153 31663 0 -1 4202560 166 0 0 0 1703 3 0 0 20 0 19 0 290953280 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958469258088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1165] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1165/stat : 1165 (java) S 1151 1153 31663 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958468204408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1166] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1166/stat : 1166 (java) S 1151 1153 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958467151240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1167] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1167/stat : 1167 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958466099984 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1168] ppid=1151 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/1153/task/1168/stat : 1168 (java) S 1151 1153 31663 0 -1 4202560 3559 0 0 0 60 1 0 0 20 0 19 0 290953283 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958465046840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1169] ppid=1151 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/1153/task/1169/stat : 1169 (java) S 1151 1153 31663 0 -1 4202560 10159 0 0 0 93 2 0 0 20 0 19 0 290953283 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958463994296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1170] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1170/stat : 1170 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958462941432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1171] ppid=1151 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/1153/task/1171/stat : 1171 (java) S 1151 1153 31663 0 -1 4202560 99 0 0 0 13 16 0 0 20 0 19 0 290953283 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958461889096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1172] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1172/stat : 1172 (java) S 1151 1153 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290953326 9856004096 44564 33554432000 1073741824 1073778376 140737117988544 139958460835368 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1729.29
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/211 1270
/proc/meminfo: memFree=28951696/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9625004 CPUtime=1789.46 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 19258 0 1 0 178909 37 0 0 20 0 19 0 290953277 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2406251 44624 2292 9 0 2396937 0
[pid=1153/tid=1155] ppid=1151 vsize=9625004 CPUtime=1757.26 cores=0,2,4,6
/proc/1153/task/1155/stat : 1155 (java) R 1151 1153 31663 0 -1 4202560 3035 0 1 0 175696 30 0 0 20 0 19 0 290953277 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958645563696 139958506078810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1156] ppid=1151 vsize=9625004 CPUtime=1.01 cores=0,2,4,6
/proc/1153/task/1156/stat : 1156 (java) S 1151 1153 31663 0 -1 4202560 94 0 0 0 99 2 0 0 20 0 19 0 290953279 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958488824744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1157] ppid=1151 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/1153/task/1157/stat : 1157 (java) S 1151 1153 31663 0 -1 4202560 75 0 0 0 103 2 0 0 20 0 19 0 290953279 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958487772200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1158] ppid=1151 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/1153/task/1158/stat : 1158 (java) S 1151 1153 31663 0 -1 4202560 68 0 0 0 105 2 0 0 20 0 19 0 290953279 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958486719144 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1159] ppid=1151 vsize=9625004 CPUtime=1.09 cores=0,2,4,6
/proc/1153/task/1159/stat : 1159 (java) S 1151 1153 31663 0 -1 4202560 92 0 0 0 107 2 0 0 20 0 19 0 290953279 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958485666600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1160] ppid=1151 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/1153/task/1160/stat : 1160 (java) S 1151 1153 31663 0 -1 4202560 120 0 0 0 104 3 0 0 20 0 19 0 290953279 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958484613544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1161] ppid=1151 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1153/task/1161/stat : 1161 (java) S 1151 1153 31663 0 -1 4202560 144 0 0 0 106 2 0 0 20 0 19 0 290953279 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958483561000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1162] ppid=1151 vsize=9625004 CPUtime=1.04 cores=0,2,4,6
/proc/1153/task/1162/stat : 1162 (java) S 1151 1153 31663 0 -1 4202560 116 0 0 0 102 2 0 0 20 0 19 0 290953279 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958482507944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1163] ppid=1151 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/1153/task/1163/stat : 1163 (java) S 1151 1153 31663 0 -1 4202560 91 0 0 0 108 2 0 0 20 0 19 0 290953279 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958481455400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1164] ppid=1151 vsize=9625004 CPUtime=17.53 cores=0,2,4,6
/proc/1153/task/1164/stat : 1164 (java) S 1151 1153 31663 0 -1 4202560 170 0 0 0 1750 3 0 0 20 0 19 0 290953280 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958469258088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1165] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1165/stat : 1165 (java) S 1151 1153 31663 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958468204408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1166] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1166/stat : 1166 (java) S 1151 1153 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958467151240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1167] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1167/stat : 1167 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958466099984 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1168] ppid=1151 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/1153/task/1168/stat : 1168 (java) S 1151 1153 31663 0 -1 4202560 3805 0 0 0 63 1 0 0 20 0 19 0 290953283 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958465046840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1169] ppid=1151 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/1153/task/1169/stat : 1169 (java) S 1151 1153 31663 0 -1 4202560 10159 0 0 0 93 2 0 0 20 0 19 0 290953283 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958463994296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1170] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1170/stat : 1170 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958462941432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1171] ppid=1151 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/1153/task/1171/stat : 1171 (java) S 1151 1153 31663 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 290953283 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958461889096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1172] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1172/stat : 1172 (java) S 1151 1153 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290953326 9856004096 44624 33554432000 1073741824 1073778376 140737117988544 139958460835368 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.8 s]
/proc/loadavg: 1.94 1.98 1.99 3/211 1270
/proc/meminfo: memFree=28900272/32873852 swapFree=7624/7624
[pid=1153] ppid=1151 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6
/proc/1153/stat : 1153 (java) S 1151 1153 31663 0 -1 4202496 19265 0 1 0 179963 38 0 0 20 0 19 0 290953277 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 140737117979680 252266446909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1153/statm: 2406251 44627 2292 9 0 2396937 0
[pid=1153/tid=1155] ppid=1151 vsize=9625004 CPUtime=1767.56 cores=0,2,4,6
/proc/1153/task/1155/stat : 1155 (java) R 1151 1153 31663 0 -1 4202560 3039 0 1 0 176726 30 0 0 20 0 19 0 290953277 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958645563816 139958506078810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1156] ppid=1151 vsize=9625004 CPUtime=1.02 cores=0,2,4,6
/proc/1153/task/1156/stat : 1156 (java) S 1151 1153 31663 0 -1 4202560 94 0 0 0 100 2 0 0 20 0 19 0 290953279 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958488824744 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1157] ppid=1151 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/1153/task/1157/stat : 1157 (java) S 1151 1153 31663 0 -1 4202560 75 0 0 0 103 2 0 0 20 0 19 0 290953279 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958487772200 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1158] ppid=1151 vsize=9625004 CPUtime=1.07 cores=0,2,4,6
/proc/1153/task/1158/stat : 1158 (java) S 1151 1153 31663 0 -1 4202560 68 0 0 0 105 2 0 0 20 0 19 0 290953279 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958486719144 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1159] ppid=1151 vsize=9625004 CPUtime=1.1 cores=0,2,4,6
/proc/1153/task/1159/stat : 1159 (java) S 1151 1153 31663 0 -1 4202560 92 0 0 0 108 2 0 0 20 0 19 0 290953279 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958485666600 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1160] ppid=1151 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1153/task/1160/stat : 1160 (java) S 1151 1153 31663 0 -1 4202560 120 0 0 0 105 3 0 0 20 0 19 0 290953279 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958484613544 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1161] ppid=1151 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/1153/task/1161/stat : 1161 (java) S 1151 1153 31663 0 -1 4202560 147 0 0 0 106 2 0 0 20 0 19 0 290953279 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958483561000 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1153/tid=1162] ppid=1151 vsize=9625004 CPUtime=1.05 cores=0,2,4,6
/proc/1153/task/1162/stat : 1162 (java) S 1151 1153 31663 0 -1 4202560 116 0 0 0 103 2 0 0 20 0 19 0 290953279 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958482507944 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1163] ppid=1151 vsize=9625004 CPUtime=1.11 cores=0,2,4,6
/proc/1153/task/1163/stat : 1163 (java) S 1151 1153 31663 0 -1 4202560 91 0 0 0 109 2 0 0 20 0 19 0 290953279 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958481455400 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1164] ppid=1151 vsize=9625004 CPUtime=17.69 cores=0,2,4,6
/proc/1153/task/1164/stat : 1164 (java) S 1151 1153 31663 0 -1 4202560 170 0 0 0 1766 3 0 0 20 0 19 0 290953280 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958469258088 252266461097 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1165] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1165/stat : 1165 (java) S 1151 1153 31663 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958468204408 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1166] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1166/stat : 1166 (java) S 1151 1153 31663 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 290953281 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958467151240 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1167] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1167/stat : 1167 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958466099984 252266469152 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1168] ppid=1151 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/1153/task/1168/stat : 1168 (java) S 1151 1153 31663 0 -1 4202560 3805 0 0 0 63 1 0 0 20 0 19 0 290953283 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958465046840 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1169] ppid=1151 vsize=9625004 CPUtime=0.95 cores=0,2,4,6
/proc/1153/task/1169/stat : 1169 (java) S 1151 1153 31663 0 -1 4202560 10159 0 0 0 93 2 0 0 20 0 19 0 290953283 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958463994296 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1153/tid=1170] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1170/stat : 1170 (java) S 1151 1153 31663 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 290953283 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958462941432 252266460220 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1153/tid=1171] ppid=1151 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/1153/task/1171/stat : 1171 (java) S 1151 1153 31663 0 -1 4202560 103 0 0 0 13 17 0 0 20 0 19 0 290953283 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958461889096 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1153/tid=1172] ppid=1151 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/1153/task/1172/stat : 1172 (java) S 1151 1153 31663 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 290953326 9856004096 44627 33554432000 1073741824 1073778376 140737117988544 139958460835368 252266461097 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1153 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=187090
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=843871
# CPU time returned by wait4() is 1796.03
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1792.84
CPU time (s): 1800.01
CPU user time (s): 1799.63
CPU system time (s): 0.38
CPU usage (%): 100.4
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.19
system time used= 0.843871
maximum resident set size= 178984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19298
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51158
involuntary context switches= 34385

runsolver used 9.26059 second user time and 9.79351 second system time

The end

Begin job on node131 at 2012-05-29 01:37:58
IDJOB=3710454
IDBENCH=92668
IDSOLVER=2289
FILE ID=node131/3710454-1338248278
RUNJOBID= node131-1338224871-31679
PBS_JOBID= 14624623
Free space on /tmp= 71692 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_8_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-3710454-1338248278/watcher-3710454-1338248278 -o /tmp/evaluation-result-3710454-1338248278/solver-3710454-1338248278 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710454-1338248278.opb

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

MD5SUM BENCH= 92eaf5bbbb67d6b3b242e002852c9043
RANDOM SEED=888519802

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28742384 kB
Buffers:          520396 kB
Cached:          2007852 kB
SwapCached:         2328 kB
Active:          1530812 kB
Inactive:        1746408 kB
Active(anon):     746996 kB
Inactive(anon):      996 kB
Active(file):     783816 kB
Inactive(file):  1745412 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             40092 kB
Writeback:             0 kB
AnonPages:        758768 kB
Mapped:            22456 kB
Shmem:                 0 kB
Slab:             708248 kB
SReclaimable:     150280 kB
SUnreclaim:       557968 kB
KernelStack:        1600 kB
PageTables:         5656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    1674516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 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= 71716 MiB
End job on node131 at 2012-05-29 02:07:53