0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4117415-1467212107.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
1.06/0.56	c ... done. Wall clock time 0.443s.
1.06/0.56	c declared #vars     9324
1.06/0.56	c #constraints  28660
1.06/0.56	c constraints type 
1.06/0.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 10671
1.06/0.56	c org.sat4j.minisat.constraints.card.MinWatchCard => 293
1.06/0.56	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15988
1.06/0.56	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1708
1.06/0.56	c 28660 constraints processed.
1.06/0.56	c objective function length is 26 literals
1.79/0.99	c cleaning 2502 clauses out of 5003 with flag 14306/5003
2.49/1.39	c cleaning 4247 clauses out of 8500 with flag 32250/11002
3.11/1.96	c cleaning 5621 clauses out of 11252 with flag 50201/18001
3.78/2.59	c cleaning 6797 clauses out of 13631 with flag 73261/26001
4.23/2.83	c SATISFIABLE
4.23/2.83	c OPTIMIZING...
4.23/2.83	c Got one! Elapsed wall clock time (in seconds):2.72
4.23/2.83	o 2110
4.66/3.23	c cleaning 6182 clauses out of 12363 with flag 15120/31530
5.15/3.79	c cleaning 6088 clauses out of 12181 with flag 33477/37530
5.76/4.34	c cleaning 6547 clauses out of 13094 with flag 51828/44531
6.38/5.00	c cleaning 7274 clauses out of 14550 with flag 73926/52534
7.18/5.79	c cleaning 8132 clauses out of 16272 with flag 103633/61530
8.28/6.84	c cleaning 9064 clauses out of 18140 with flag 133033/71530
9.68/8.25	c cleaning 10037 clauses out of 20076 with flag 168066/82530
11.28/9.85	c cleaning 11020 clauses out of 22039 with flag 208989/94530
11.68/10.25	c Got one! Elapsed wall clock time (in seconds):10.139
11.68/10.25	o 1910
11.94/10.48	c cleaning 8213 clauses out of 16436 with flag 9880/99947
12.44/10.98	c cleaning 7104 clauses out of 14221 with flag 31068/105945
13.04/11.56	c cleaning 7053 clauses out of 14118 with flag 51914/112946
13.65/12.15	c cleaning 7528 clauses out of 15064 with flag 75610/120945
14.44/12.91	c cleaning 8262 clauses out of 16537 with flag 100829/129946
15.44/13.92	c cleaning 9132 clauses out of 18273 with flag 128207/139944
16.54/15.09	c cleaning 10071 clauses out of 20142 with flag 157487/150945
17.84/16.38	c cleaning 11034 clauses out of 22073 with flag 190737/162947
19.44/17.98	c cleaning 12013 clauses out of 24036 with flag 230643/175944
21.45/19.93	c cleaning 13012 clauses out of 26026 with flag 267494/189947
23.55/22.08	c cleaning 14003 clauses out of 28011 with flag 308356/204944
25.94/24.40	c cleaning 15001 clauses out of 30008 with flag 351547/220944
28.44/26.93	c cleaning 16002 clauses out of 32008 with flag 397612/237945
31.25/29.75	c cleaning 17003 clauses out of 34008 with flag 446024/255947
34.34/32.80	c cleaning 18000 clauses out of 36004 with flag 495901/274946
37.79/36.27	c cleaning 19001 clauses out of 38003 with flag 549233/294945
41.99/40.41	c cleaning 20000 clauses out of 40001 with flag 607999/315944
46.60/45.08	c cleaning 20999 clauses out of 42001 with flag 667131/337944
51.21/49.66	c cleaning 21997 clauses out of 44003 with flag 728405/360945
55.70/54.14	c cleaning 23001 clauses out of 46006 with flag 793158/384945
56.10/54.50	c Got one! Elapsed wall clock time (in seconds):54.385
56.10/54.50	o 1890
56.33/54.72	c cleaning 14304 clauses out of 28626 with flag 5222/390566
57.13/55.51	c cleaning 10155 clauses out of 20321 with flag 27371/396565
57.83/56.22	c cleaning 8574 clauses out of 17166 with flag 47711/403565
58.53/56.93	c cleaning 8286 clauses out of 16592 with flag 68695/411565
59.33/57.77	c cleaning 8649 clauses out of 17307 with flag 93702/420566
60.43/58.81	c cleaning 9326 clauses out of 18657 with flag 121328/430565
61.53/59.92	c cleaning 10165 clauses out of 20332 with flag 151106/441566
62.73/61.17	c cleaning 11083 clauses out of 22167 with flag 184134/453566
63.83/62.20	c Got one! Elapsed wall clock time (in seconds):62.084
63.83/62.20	o 1870
64.45/62.84	c cleaning 14351 clauses out of 28704 with flag 18498/471186
65.14/63.56	c cleaning 10171 clauses out of 20352 with flag 38904/477185
65.94/64.31	c cleaning 8583 clauses out of 17180 with flag 60051/484184
66.65/65.05	c cleaning 8293 clauses out of 16597 with flag 82314/492184
66.94/65.32	c Got one! Elapsed wall clock time (in seconds):65.208
66.94/65.32	o 1810
67.06/65.40	c cleaning 7009 clauses out of 14029 with flag 5353/497909
67.26/65.68	c cleaning 6503 clauses out of 13020 with flag 20747/503909
67.69/66.02	c cleaning 6755 clauses out of 13517 with flag 39763/510909
68.09/66.42	c cleaning 7377 clauses out of 14763 with flag 60118/518910
68.69/67.00	c cleaning 8193 clauses out of 16387 with flag 83124/527911
69.29/67.66	c cleaning 9093 clauses out of 18193 with flag 108565/537910
70.09/68.48	c cleaning 10049 clauses out of 20101 with flag 136894/548911
71.19/69.60	c cleaning 11020 clauses out of 22052 with flag 166868/560911
72.68/71.01	c cleaning 12013 clauses out of 24031 with flag 197991/573910
74.18/72.60	c cleaning 13003 clauses out of 26017 with flag 232664/587909
75.88/74.22	c cleaning 14004 clauses out of 28015 with flag 270627/602910
77.98/76.37	c cleaning 15005 clauses out of 30012 with flag 311226/618911
80.18/78.53	c cleaning 16000 clauses out of 32005 with flag 355706/635909
82.80/81.10	c cleaning 17002 clauses out of 34009 with flag 403521/653913
85.70/84.08	c cleaning 18001 clauses out of 36004 with flag 450138/672910
88.80/87.15	c cleaning 19000 clauses out of 38002 with flag 500673/692909
93.01/91.36	c cleaning 19995 clauses out of 40002 with flag 553590/713909
97.20/95.55	c cleaning 21004 clauses out of 42009 with flag 609306/735911
101.40/99.73	c cleaning 22000 clauses out of 44003 with flag 667469/758909
104.55/102.84	c Got one! Elapsed wall clock time (in seconds):102.729
104.55/102.84	o 1690
104.96/103.28	c cleaning 24693 clauses out of 49398 with flag 16497/786304
105.45/103.75	c cleaning 15353 clauses out of 30707 with flag 32887/792306
106.05/104.31	c cleaning 11174 clauses out of 22353 with flag 50809/799305
106.65/104.90	c cleaning 9589 clauses out of 19182 with flag 71612/807308
107.36/105.64	c cleaning 9294 clauses out of 18591 with flag 95595/816306
108.25/106.52	c cleaning 9644 clauses out of 19295 with flag 122224/826304
109.35/107.60	c cleaning 10320 clauses out of 20651 with flag 150392/837304
110.35/108.67	c cleaning 11162 clauses out of 22333 with flag 181665/849306
111.65/109.92	c cleaning 12083 clauses out of 24169 with flag 215630/862304
113.35/111.64	c cleaning 13032 clauses out of 26086 with flag 250998/876304
115.45/113.70	c cleaning 14027 clauses out of 28055 with flag 289157/891305
117.45/115.71	c cleaning 15011 clauses out of 30028 with flag 329853/907305
119.75/118.00	c cleaning 16003 clauses out of 32019 with flag 376712/924307
122.45/120.75	c cleaning 17001 clauses out of 34013 with flag 423071/942304
125.65/123.99	c cleaning 18000 clauses out of 36012 with flag 471564/961304
128.85/127.18	c cleaning 19006 clauses out of 38014 with flag 524176/981306
132.38/130.60	c cleaning 19999 clauses out of 40007 with flag 579669/1002305
136.18/134.48	c cleaning 21002 clauses out of 42008 with flag 637017/1024305
138.58/136.87	c Got one! Elapsed wall clock time (in seconds):136.753
138.58/136.87	o 1670
139.68/137.95	c cleaning 22475 clauses out of 44954 with flag 19379/1048253
140.68/138.90	c cleaning 14233 clauses out of 28479 with flag 37406/1054253
141.38/139.64	c cleaning 10621 clauses out of 21246 with flag 57528/1061253
142.18/140.42	c cleaning 9306 clauses out of 18625 with flag 80709/1069253
142.88/141.15	c Got one! Elapsed wall clock time (in seconds):141.04
142.88/141.15	o 1610
143.38/141.69	c cleaning 11242 clauses out of 22497 with flag 16224/1082431
143.98/142.27	c cleaning 8618 clauses out of 17255 with flag 34107/1088431
144.58/142.82	c cleaning 7810 clauses out of 15636 with flag 54549/1095430
145.18/143.44	c cleaning 7908 clauses out of 15827 with flag 76596/1103431
145.99/144.24	c cleaning 8452 clauses out of 16918 with flag 100950/1112430
146.88/145.10	c cleaning 9232 clauses out of 18467 with flag 127743/1122431
147.88/146.18	c cleaning 10113 clauses out of 20234 with flag 159225/1133430
149.18/147.50	c cleaning 11061 clauses out of 22122 with flag 191488/1145431
150.68/148.95	c cleaning 12026 clauses out of 24060 with flag 226615/1158430
152.48/150.80	c cleaning 13015 clauses out of 26035 with flag 262815/1172431
154.47/152.78	c cleaning 14005 clauses out of 28022 with flag 303901/1187433
156.67/154.97	c cleaning 15005 clauses out of 30014 with flag 347380/1203430
159.08/157.35	c cleaning 16001 clauses out of 32009 with flag 394514/1220430
161.51/159.74	c cleaning 17000 clauses out of 34008 with flag 447782/1238430
164.51/162.78	c cleaning 17996 clauses out of 36010 with flag 497263/1257432
168.20/166.42	c cleaning 19001 clauses out of 38014 with flag 550402/1277432
172.20/170.40	c cleaning 20003 clauses out of 40011 with flag 606724/1298430
176.10/174.32	c cleaning 21004 clauses out of 42009 with flag 663968/1320431
179.90/178.14	c cleaning 22002 clauses out of 44004 with flag 725412/1343430
180.60/178.82	c Got one! Elapsed wall clock time (in seconds):178.706
180.60/178.82	o 1510
181.40/179.61	c cleaning 18388 clauses out of 36795 with flag 15839/1358223
182.10/180.35	c cleaning 12196 clauses out of 24409 with flag 33576/1364225
182.90/181.16	c cleaning 9599 clauses out of 19213 with flag 51681/1371225
183.61/181.84	c cleaning 8797 clauses out of 17612 with flag 71769/1379223
184.42/182.70	c cleaning 8906 clauses out of 17817 with flag 93357/1388225
185.21/183.40	c cleaning 9449 clauses out of 18909 with flag 121084/1398223
185.21/183.44	c Got one! Elapsed wall clock time (in seconds):183.325
185.21/183.44	o 1470
185.62/183.89	c cleaning 7351 clauses out of 14716 with flag 16265/1403479
186.11/184.35	c cleaning 6677 clauses out of 13365 with flag 31689/1409479
186.62/184.88	c cleaning 6840 clauses out of 13687 with flag 49658/1416478
187.31/185.59	c cleaning 7424 clauses out of 14847 with flag 69490/1424478
188.21/186.45	c cleaning 8206 clauses out of 16424 with flag 91835/1433479
189.33/187.51	c cleaning 9106 clauses out of 18217 with flag 116111/1443478
190.53/188.77	c cleaning 10055 clauses out of 20111 with flag 144415/1454478
191.73/189.94	c cleaning 10997 clauses out of 22058 with flag 179060/1466480
191.83/190.03	c Got one! Elapsed wall clock time (in seconds):189.915
191.83/190.03	o 1450
192.24/190.44	c cleaning 8086 clauses out of 16188 with flag 12494/1471607
192.73/190.97	c cleaning 7052 clauses out of 14107 with flag 28531/1477612
193.34/191.57	c cleaning 7018 clauses out of 14049 with flag 45765/1484606
194.04/192.25	c cleaning 7516 clauses out of 15031 with flag 65952/1492606
194.74/192.92	c cleaning 8238 clauses out of 16515 with flag 89050/1501606
194.94/193.12	c Got one! Elapsed wall clock time (in seconds):193.008
194.94/193.12	o 1370
195.04/193.30	c cleaning 6882 clauses out of 13783 with flag 8437/1507112
195.34/193.53	c Got one! Elapsed wall clock time (in seconds):193.419
195.34/193.53	o 1360
195.34/193.57	c cleaning 6368 clauses out of 12751 with flag 3280/1512962
195.64/193.83	c cleaning 6185 clauses out of 12382 with flag 20959/1518961
196.04/194.27	c cleaning 6593 clauses out of 13197 with flag 39399/1525961
196.44/194.69	c Got one! Elapsed wall clock time (in seconds):194.575
196.44/194.69	o 1350
196.84/195.07	c cleaning 8693 clauses out of 17388 with flag 14289/1536745
197.34/195.53	c cleaning 7344 clauses out of 14695 with flag 29559/1542745
197.84/196.00	c cleaning 7170 clauses out of 14349 with flag 47014/1549743
198.44/196.65	c cleaning 7586 clauses out of 15179 with flag 67356/1557743
199.24/197.41	c cleaning 8292 clauses out of 16593 with flag 89846/1566743
200.14/198.33	c cleaning 9148 clauses out of 18302 with flag 114165/1576744
201.24/199.49	c cleaning 10073 clauses out of 20154 with flag 140705/1587744
202.54/200.75	c cleaning 11039 clauses out of 22081 with flag 170791/1599744
204.04/202.23	c cleaning 12016 clauses out of 24041 with flag 202407/1612743
205.64/203.89	c cleaning 13008 clauses out of 26025 with flag 236725/1626743
207.67/205.82	c cleaning 14009 clauses out of 28020 with flag 273863/1641746
209.66/207.85	c cleaning 14999 clauses out of 30010 with flag 314773/1657745
210.46/208.66	c Got one! Elapsed wall clock time (in seconds):208.545
210.46/208.66	o 1330
210.87/209.02	c cleaning 16661 clauses out of 33377 with flag 14805/1676111
210.87/209.03	c Got one! Elapsed wall clock time (in seconds):208.913
210.87/209.03	o 1310
211.16/209.32	c Got one! Elapsed wall clock time (in seconds):209.208
211.16/209.32	o 1290
211.26/209.44	c cleaning 11039 clauses out of 22091 with flag 8167/1681486
211.56/209.70	c cleaning 8502 clauses out of 17052 with flag 27493/1687486
211.86/210.01	c cleaning 7743 clauses out of 15550 with flag 45479/1694486
211.97/210.11	c Got one! Elapsed wall clock time (in seconds):209.998
211.97/210.11	o 1270
212.16/210.31	c cleaning 6763 clauses out of 13541 with flag 8880/1700220
212.56/210.79	c cleaning 6379 clauses out of 12778 with flag 22918/1706220
213.17/211.32	c cleaning 6693 clauses out of 13401 with flag 39631/1713222
213.76/211.98	c cleaning 7349 clauses out of 14710 with flag 59153/1721224
214.66/212.84	c cleaning 8167 clauses out of 16358 with flag 83165/1730221
215.66/213.87	c cleaning 9090 clauses out of 18191 with flag 110474/1740221
216.96/215.16	c cleaning 10039 clauses out of 20101 with flag 136368/1751221
218.26/216.45	c cleaning 11022 clauses out of 22061 with flag 165165/1763220
219.86/218.08	c cleaning 12011 clauses out of 24039 with flag 199038/1776220
221.87/220.01	c cleaning 13005 clauses out of 26028 with flag 234441/1790220
224.26/222.41	c cleaning 14007 clauses out of 28025 with flag 273072/1805222
227.17/225.39	c cleaning 15000 clauses out of 30018 with flag 313306/1821222
230.37/228.51	c cleaning 16001 clauses out of 32018 with flag 355496/1838222
233.27/231.49	c cleaning 16999 clauses out of 34015 with flag 399199/1856220
236.77/234.96	c cleaning 18004 clauses out of 36019 with flag 446564/1875223
241.17/239.32	c cleaning 18982 clauses out of 38012 with flag 497484/1895220
246.18/244.37	c cleaning 20001 clauses out of 40031 with flag 554417/1916221
251.27/249.45	c cleaning 21008 clauses out of 42034 with flag 617928/1938225
256.27/254.41	c cleaning 22000 clauses out of 44021 with flag 682146/1961220
262.84/260.94	c cleaning 23001 clauses out of 46023 with flag 752454/1985222
268.83/266.99	c cleaning 24002 clauses out of 48020 with flag 826460/2010220
275.13/273.23	c cleaning 25000 clauses out of 50022 with flag 899799/2036224
281.34/279.45	c cleaning 26004 clauses out of 52019 with flag 977986/2063221
288.13/286.28	c cleaning 26995 clauses out of 54015 with flag 1060257/2091221
289.33/287.41	c Got one! Elapsed wall clock time (in seconds):287.294
289.33/287.41	o 1230
289.73/287.80	c cleaning 21336 clauses out of 42699 with flag 17751/2106900
290.03/288.13	c Got one! Elapsed wall clock time (in seconds):288.016
290.03/288.13	o 1210
290.53/288.65	c cleaning 13199 clauses out of 26429 with flag 8241/2111966
290.93/289.07	c cleaning 9575 clauses out of 19229 with flag 23266/2117965
291.63/289.75	c cleaning 8287 clauses out of 16654 with flag 39354/2124965
292.43/290.52	c cleaning 8149 clauses out of 16370 with flag 59723/2132968
293.23/291.36	c cleaning 8585 clauses out of 17227 with flag 80299/2141974
294.40/292.41	c cleaning 9288 clauses out of 18634 with flag 102660/2151966
295.50/293.54	c Got one! Elapsed wall clock time (in seconds):293.43
295.50/293.54	o 1190
295.81/293.83	c cleaning 12570 clauses out of 25164 with flag 14485/2167784
296.10/294.15	c cleaning 9285 clauses out of 18596 with flag 31309/2173786
296.60/294.62	c cleaning 8140 clauses out of 16308 with flag 52150/2180783
297.20/295.23	c cleaning 8070 clauses out of 16168 with flag 77625/2188783
297.40/295.41	c Got one! Elapsed wall clock time (in seconds):295.293
297.40/295.41	o 1170
297.50/295.55	c cleaning 6912 clauses out of 13838 with flag 8850/2194523
297.70/295.74	c Got one! Elapsed wall clock time (in seconds):295.628
297.70/295.74	o 1150
297.80/295.84	c cleaning 6166 clauses out of 12384 with flag 5463/2199981
298.10/296.12	c cleaning 6083 clauses out of 12219 with flag 22460/2205982
298.60/296.65	c cleaning 6547 clauses out of 13137 with flag 38427/2212983
299.21/297.25	c cleaning 7274 clauses out of 14590 with flag 56761/2220983
300.01/298.00	c cleaning 8137 clauses out of 16315 with flag 76853/2229982
300.71/298.73	c Got one! Elapsed wall clock time (in seconds):298.618
300.71/298.73	o 1130
301.01/299.07	c cleaning 10742 clauses out of 21499 with flag 15737/2243303
301.32/299.33	c cleaning 8356 clauses out of 16759 with flag 30638/2249305
301.61/299.69	c cleaning 7679 clauses out of 15402 with flag 50709/2256304
302.11/300.14	c cleaning 7838 clauses out of 15724 with flag 70610/2264305
302.61/300.69	c cleaning 8423 clauses out of 16886 with flag 93298/2273305
303.42/301.43	c cleaning 9208 clauses out of 18461 with flag 119185/2283303
304.31/302.31	c cleaning 10104 clauses out of 20253 with flag 146383/2294303
305.11/303.16	c cleaning 11070 clauses out of 22149 with flag 177491/2306303
306.31/304.30	c cleaning 12020 clauses out of 24081 with flag 209027/2319305
308.08/306.01	c cleaning 13005 clauses out of 26059 with flag 240552/2333303
309.77/307.79	c cleaning 14011 clauses out of 28057 with flag 276510/2348306
311.87/309.88	c cleaning 15004 clauses out of 30045 with flag 312886/2364305
314.27/312.23	c cleaning 16002 clauses out of 32040 with flag 350642/2381304
314.67/312.61	c Got one! Elapsed wall clock time (in seconds):312.501
314.67/312.61	o 1110
314.97/312.92	c cleaning 13049 clauses out of 26127 with flag 14269/2391393
315.17/313.17	c Got one! Elapsed wall clock time (in seconds):313.054
315.17/313.17	o 1090
315.27/313.24	c cleaning 9340 clauses out of 18685 with flag 2958/2397000
315.77/313.74	c cleaning 7660 clauses out of 15341 with flag 19688/2402996
316.07/314.10	c cleaning 7332 clauses out of 14681 with flag 37613/2409996
316.57/314.51	c cleaning 7672 clauses out of 15350 with flag 55904/2417997
317.07/315.06	c cleaning 8335 clauses out of 16680 with flag 76761/2426999
317.78/315.77	c cleaning 9165 clauses out of 18343 with flag 99145/2436997
318.77/316.73	c cleaning 10086 clauses out of 20180 with flag 123537/2447999
320.08/318.04	c cleaning 11044 clauses out of 22092 with flag 150508/2459997
321.18/319.12	c cleaning 12011 clauses out of 24047 with flag 180568/2472996
321.77/319.76	c Got one! Elapsed wall clock time (in seconds):319.65
321.77/319.76	o 1070
322.18/320.12	c cleaning 14054 clauses out of 28116 with flag 16063/2489076
322.67/320.60	c cleaning 10022 clauses out of 20060 with flag 36796/2495074
323.07/321.09	c cleaning 8489 clauses out of 17037 with flag 61033/2502073
323.50/321.46	c cleaning 8249 clauses out of 16548 with flag 80493/2510073
324.00/321.96	c cleaning 8631 clauses out of 17302 with flag 102594/2519076
324.60/322.58	c cleaning 9317 clauses out of 18669 with flag 128163/2529074
325.40/323.34	c cleaning 10153 clauses out of 20351 with flag 155600/2540073
326.30/324.29	c cleaning 11080 clauses out of 22201 with flag 184400/2552076
327.40/325.38	c cleaning 12037 clauses out of 24118 with flag 215190/2565073
329.00/326.97	c cleaning 13020 clauses out of 26081 with flag 249083/2579073
330.40/328.40	c cleaning 14009 clauses out of 28061 with flag 286173/2594073
332.00/329.97	c cleaning 15005 clauses out of 30052 with flag 326587/2610073
334.00/331.90	c cleaning 16002 clauses out of 32047 with flag 368996/2627073
335.90/333.89	c cleaning 17000 clauses out of 34046 with flag 414328/2645074
338.61/336.53	c cleaning 17998 clauses out of 36045 with flag 462210/2664073
341.11/339.05	c cleaning 19006 clauses out of 38051 with flag 513803/2684077
344.00/341.95	c cleaning 20002 clauses out of 40042 with flag 566578/2705074
347.05/344.94	c cleaning 20997 clauses out of 42039 with flag 622627/2727073
350.66/348.50	c cleaning 22003 clauses out of 44046 with flag 680954/2750077
354.36/352.28	c cleaning 22997 clauses out of 46039 with flag 741218/2774073
358.57/356.43	c cleaning 24016 clauses out of 48042 with flag 803987/2799073
358.86/356.79	c Got one! Elapsed wall clock time (in seconds):356.675
358.86/356.79	o 1010
359.36/357.25	c cleaning 17386 clauses out of 34786 with flag 14964/2809833
359.77/357.61	c cleaning 11687 clauses out of 23400 with flag 31406/2815833
360.16/358.00	c cleaning 9342 clauses out of 18715 with flag 48698/2822835
360.46/358.37	c cleaning 8665 clauses out of 17371 with flag 69113/2830833
360.87/358.77	c Got one! Elapsed wall clock time (in seconds):358.661
360.87/358.77	o 980
361.26/359.11	c cleaning 10803 clauses out of 21613 with flag 14758/2843740
361.56/359.48	c cleaning 8380 clauses out of 16807 with flag 33451/2849737
361.66/359.59	c Got one! Elapsed wall clock time (in seconds):359.477
361.66/359.59	o 970
361.87/359.77	c cleaning 6748 clauses out of 13511 with flag 9058/2854821
362.16/360.08	c cleaning 6366 clauses out of 12762 with flag 25080/2860820
362.46/360.38	c cleaning 6681 clauses out of 13397 with flag 43986/2867821
362.86/360.77	c cleaning 7345 clauses out of 14718 with flag 64410/2875823
363.36/361.28	c cleaning 8174 clauses out of 16372 with flag 87412/2884822
364.07/361.94	c cleaning 9086 clauses out of 18196 with flag 115740/2894820
364.76/362.68	c cleaning 10041 clauses out of 20110 with flag 143969/2905820
365.93/363.73	c cleaning 11022 clauses out of 22070 with flag 174444/2917821
366.73/364.55	c cleaning 12003 clauses out of 24047 with flag 210845/2930820
368.23/366.00	c cleaning 13001 clauses out of 26044 with flag 247809/2944820
370.03/367.88	c cleaning 14001 clauses out of 28044 with flag 286653/2959821
372.53/370.38	c cleaning 15001 clauses out of 30042 with flag 326928/2975820
375.23/373.03	c cleaning 16001 clauses out of 32041 with flag 369459/2992820
378.23/376.02	c cleaning 17005 clauses out of 34042 with flag 419904/3010822
381.74/379.52	c cleaning 17999 clauses out of 36036 with flag 470810/3029821
385.93/383.77	c cleaning 19004 clauses out of 38036 with flag 523471/3049820
390.50/388.22	c cleaning 20006 clauses out of 40034 with flag 570598/3070822
395.30/393.07	c cleaning 21006 clauses out of 42028 with flag 619516/3092822
400.90/398.66	c cleaning 21999 clauses out of 44021 with flag 674117/3115821
407.11/404.82	c cleaning 22999 clauses out of 46024 with flag 730306/3139823
414.10/411.82	c cleaning 23998 clauses out of 48022 with flag 790223/3164820
421.90/419.62	c cleaning 25002 clauses out of 50024 with flag 852149/3190820
430.79/428.42	c cleaning 25999 clauses out of 52023 with flag 924535/3217821
440.29/437.91	c cleaning 27002 clauses out of 54024 with flag 992131/3245821
449.89/447.51	c cleaning 28001 clauses out of 56021 with flag 1062085/3274820
460.19/457.90	c cleaning 28996 clauses out of 58020 with flag 1136761/3304820
471.09/468.77	c cleaning 30007 clauses out of 60025 with flag 1211458/3335821
482.36/479.99	c cleaning 30996 clauses out of 62018 with flag 1292189/3367821
495.75/493.35	c cleaning 31997 clauses out of 64022 with flag 1379412/3400821
508.56/506.12	c cleaning 33003 clauses out of 66024 with flag 1459066/3434820
523.54/521.13	c cleaning 34000 clauses out of 68022 with flag 1543431/3469821
539.01/536.50	c cleaning 35000 clauses out of 70021 with flag 1632076/3505820
556.01/553.56	c cleaning 36000 clauses out of 72023 with flag 1723763/3542822
572.31/569.82	c cleaning 36996 clauses out of 74021 with flag 1818296/3580820
588.40/585.92	c cleaning 37999 clauses out of 76025 with flag 1914119/3619820
606.26/603.71	c cleaning 39005 clauses out of 78029 with flag 2011210/3659823
625.05/622.59	c cleaning 39999 clauses out of 80022 with flag 2113869/3700821
646.05/643.57	c cleaning 40997 clauses out of 82024 with flag 2216210/3742822
667.91/665.36	c cleaning 42003 clauses out of 84027 with flag 2318977/3785822
687.01/684.48	c Got one! Elapsed wall clock time (in seconds):684.365
687.01/684.48	o 960
691.31/688.72	c cleaning 44816 clauses out of 89650 with flag 14588/3833448
692.90/690.37	c cleaning 25417 clauses out of 50838 with flag 32504/3839452
693.30/690.76	c cleaning 16200 clauses out of 32417 with flag 51933/3846448
693.70/691.12	c cleaning 12076 clauses out of 24219 with flag 74815/3854450
694.21/691.67	c cleaning 10527 clauses out of 21142 with flag 97607/3863449
694.51/691.92	c Got one! Elapsed wall clock time (in seconds):691.81
694.51/691.92	o 910
694.51/691.99	c cleaning 8029 clauses out of 16070 with flag 4214/3868904
694.91/692.37	c cleaning 7015 clauses out of 14040 with flag 22401/3874903
695.31/692.70	c cleaning 7001 clauses out of 14025 with flag 40767/3881903
695.61/693.07	c cleaning 7495 clauses out of 15024 with flag 61031/3889903
696.21/693.69	c cleaning 8257 clauses out of 16529 with flag 84796/3898903
696.91/694.34	c cleaning 9123 clauses out of 18274 with flag 111523/3908905
697.71/695.20	c cleaning 10065 clauses out of 20149 with flag 139301/3919903
699.00/696.36	c cleaning 11035 clauses out of 22084 with flag 169349/3931903
700.30/697.61	c cleaning 12021 clauses out of 24052 with flag 204772/3944906
701.69/699.09	c cleaning 13003 clauses out of 26028 with flag 241898/3958903
702.59/699.95	c cleaning 13990 clauses out of 28027 with flag 280774/3973905
702.69/700.01	c Got one! Elapsed wall clock time (in seconds):699.899
702.69/700.01	o 890
702.89/700.28	c cleaning 9757 clauses out of 19529 with flag 14779/3979397
703.40/700.71	c cleaning 7881 clauses out of 15772 with flag 32487/3985397
703.89/701.22	c cleaning 7439 clauses out of 14892 with flag 51660/3992398
704.39/701.79	c cleaning 7726 clauses out of 15453 with flag 73030/4000398
704.99/702.40	c cleaning 8358 clauses out of 16726 with flag 99451/4009397
705.89/703.20	c cleaning 9183 clauses out of 18368 with flag 127372/4019397
706.80/704.19	c cleaning 10092 clauses out of 20185 with flag 157808/4030397
707.49/704.84	c cleaning 11031 clauses out of 22095 with flag 190529/4042399
708.19/705.52	c Got one! Elapsed wall clock time (in seconds):705.412
708.19/705.52	o 870
708.59/705.94	c cleaning 12720 clauses out of 25445 with flag 16848/4056780
709.09/706.43	c cleaning 9356 clauses out of 18726 with flag 34619/4062781
709.59/706.93	c cleaning 8177 clauses out of 16370 with flag 54602/4069781
710.28/707.54	c cleaning 8090 clauses out of 16194 with flag 76331/4077782
710.88/708.19	c cleaning 8545 clauses out of 17102 with flag 102085/4086780
711.68/708.94	c cleaning 9275 clauses out of 18557 with flag 128692/4096780
712.68/709.90	c cleaning 10142 clauses out of 20283 with flag 159224/4107781
713.39/710.63	c cleaning 11055 clauses out of 22140 with flag 191131/4119780
714.98/712.27	c cleaning 12040 clauses out of 24086 with flag 221066/4132781
715.88/713.13	c cleaning 13004 clauses out of 26046 with flag 258203/4146781
716.38/713.65	c Got one! Elapsed wall clock time (in seconds):713.538
716.38/713.65	o 850
716.98/714.23	c cleaning 13695 clauses out of 27405 with flag 14529/4161144
717.68/714.91	c cleaning 9849 clauses out of 19709 with flag 28929/4167143
718.08/715.31	c cleaning 8416 clauses out of 16860 with flag 46793/4174143
718.48/715.76	c cleaning 8211 clauses out of 16444 with flag 67988/4182143
719.08/716.32	c cleaning 8604 clauses out of 17233 with flag 90308/4191143
719.78/717.05	c cleaning 9304 clauses out of 18631 with flag 113871/4201145
720.88/718.18	c cleaning 10155 clauses out of 20325 with flag 137568/4212143
722.42/719.69	c cleaning 11077 clauses out of 22171 with flag 166345/4224144
724.12/721.38	c cleaning 12037 clauses out of 24093 with flag 196048/4237143
725.92/723.11	c cleaning 13013 clauses out of 26056 with flag 227582/4251143
728.02/725.26	c cleaning 14015 clauses out of 28046 with flag 262485/4266146
730.43/727.64	c cleaning 15003 clauses out of 30028 with flag 299824/4282143
733.02/730.27	c cleaning 16007 clauses out of 32027 with flag 339421/4299145
736.53/733.77	c cleaning 17000 clauses out of 34018 with flag 380411/4317143
740.12/737.36	c cleaning 18002 clauses out of 36023 with flag 425009/4336148
743.76/740.96	c cleaning 18999 clauses out of 38017 with flag 471612/4356144
747.56/744.74	c cleaning 19995 clauses out of 40018 with flag 519721/4377144
751.85/749.09	c cleaning 20999 clauses out of 42023 with flag 570083/4399144
756.95/754.11	c cleaning 22004 clauses out of 44025 with flag 622727/4422145
761.45/758.61	c cleaning 23001 clauses out of 46020 with flag 680048/4446144
767.05/764.27	c cleaning 24000 clauses out of 48020 with flag 739811/4471145
773.10/770.29	c cleaning 24999 clauses out of 50019 with flag 799501/4497144
780.60/777.77	c cleaning 25996 clauses out of 52021 with flag 862851/4524145
787.70/784.87	c cleaning 27005 clauses out of 54024 with flag 928184/4552144
795.50/792.63	c cleaning 27998 clauses out of 56018 with flag 994789/4581143
804.40/801.57	c cleaning 29004 clauses out of 58023 with flag 1065675/4611146
813.52/810.68	c cleaning 29998 clauses out of 60018 with flag 1138514/4642145
823.62/820.80	c cleaning 30999 clauses out of 62019 with flag 1212230/4674144
834.22/831.32	c cleaning 32002 clauses out of 64019 with flag 1290291/4707143
845.47/842.53	c cleaning 32998 clauses out of 66017 with flag 1368876/4741143
857.68/854.76	c cleaning 34004 clauses out of 68024 with flag 1452315/4776148
869.97/867.03	c cleaning 34999 clauses out of 70016 with flag 1535354/4812144
882.67/879.77	c cleaning 35998 clauses out of 72016 with flag 1622433/4849143
883.47/880.54	c Got one! Elapsed wall clock time (in seconds):880.427
883.47/880.54	o 830
884.61/881.62	c cleaning 26952 clauses out of 53916 with flag 18585/4867041
885.71/882.77	c cleaning 16474 clauses out of 32964 with flag 32308/4873041
886.51/883.58	c cleaning 11728 clauses out of 23492 with flag 49727/4880043
887.21/884.24	c cleaning 9861 clauses out of 19763 with flag 69591/4888042
888.11/885.16	c cleaning 9433 clauses out of 18903 with flag 90394/4897043
889.21/886.26	c cleaning 9714 clauses out of 19468 with flag 114042/4907041
890.51/887.56	c cleaning 10358 clauses out of 20756 with flag 139310/4918043
892.01/889.08	c cleaning 11182 clauses out of 22398 with flag 168194/4930043
893.91/890.91	c cleaning 12092 clauses out of 24214 with flag 197677/4943041
895.71/892.76	c cleaning 13048 clauses out of 26126 with flag 229919/4957045
897.71/894.76	c cleaning 14017 clauses out of 28076 with flag 264964/4972043
898.93/895.95	c Got one! Elapsed wall clock time (in seconds):895.833
898.93/895.95	o 820
899.64/896.64	c cleaning 16315 clauses out of 32643 with flag 15873/4990627
900.33/897.30	c cleaning 11156 clauses out of 22329 with flag 33824/4996628
900.83/897.88	c cleaning 9077 clauses out of 18171 with flag 54537/5003626
901.33/898.36	c cleaning 8532 clauses out of 17096 with flag 77482/5011628
901.83/898.84	c cleaning 8759 clauses out of 17563 with flag 99527/5020627
902.43/899.45	c cleaning 9361 clauses out of 18803 with flag 124419/5030626
902.53/899.56	c Got one! Elapsed wall clock time (in seconds):899.443
902.53/899.56	o 810
902.83/899.84	c cleaning 7468 clauses out of 14949 with flag 14419/5036133
903.23/900.21	c cleaning 6731 clauses out of 13480 with flag 32319/5042132
903.63/900.65	c cleaning 6868 clauses out of 13749 with flag 53924/5049132
904.03/901.04	c cleaning 7440 clauses out of 14887 with flag 74443/5057138
904.63/901.66	c cleaning 8219 clauses out of 16444 with flag 94389/5066135
905.23/902.23	c cleaning 9104 clauses out of 18223 with flag 115897/5076133
906.13/903.13	c cleaning 10054 clauses out of 20119 with flag 142157/5087133
907.46/904.43	c cleaning 11023 clauses out of 22064 with flag 171354/5099132
909.16/906.18	c cleaning 12016 clauses out of 24045 with flag 202124/5112136
910.97/907.97	c cleaning 13006 clauses out of 26026 with flag 236529/5126133
913.57/910.57	c cleaning 14004 clauses out of 28020 with flag 273203/5141133
916.57/913.52	c cleaning 15002 clauses out of 30015 with flag 311878/5157132
919.87/916.81	c cleaning 16005 clauses out of 32014 with flag 353376/5174133
923.67/920.65	c cleaning 17002 clauses out of 34009 with flag 397175/5192133
927.99/924.95	c cleaning 17997 clauses out of 36008 with flag 443276/5211134
932.89/929.85	c cleaning 18997 clauses out of 38010 with flag 495605/5231133
938.49/935.47	c cleaning 19999 clauses out of 40012 with flag 546843/5252132
944.48/941.40	c cleaning 21004 clauses out of 42014 with flag 600024/5274133
950.93/947.87	c cleaning 21997 clauses out of 44009 with flag 658949/5297132
958.33/955.21	c cleaning 23002 clauses out of 46012 with flag 720836/5321132
965.64/962.57	c cleaning 23995 clauses out of 48010 with flag 787228/5346132
974.13/971.01	c cleaning 25002 clauses out of 50017 with flag 853783/5372134
981.88/978.72	c cleaning 25999 clauses out of 52014 with flag 921969/5399133
989.07/985.90	c cleaning 27003 clauses out of 54014 with flag 991222/5427132
999.47/996.33	c cleaning 28001 clauses out of 56011 with flag 1063912/5456132
1010.41/1007.28	c cleaning 29000 clauses out of 58010 with flag 1140561/5486132
1018.90/1015.78	c cleaning 30002 clauses out of 60013 with flag 1229624/5517135
1028.30/1025.13	c cleaning 31000 clauses out of 62008 with flag 1318594/5549132
1039.43/1036.21	c cleaning 32003 clauses out of 64008 with flag 1403558/5582132
1048.82/1045.66	c cleaning 32999 clauses out of 66006 with flag 1487480/5616133
1058.72/1055.55	c cleaning 34002 clauses out of 68011 with flag 1580041/5651137
1070.78/1067.59	c cleaning 35002 clauses out of 70007 with flag 1672969/5687135
1084.09/1080.86	c cleaning 36000 clauses out of 72004 with flag 1770590/5724134
1099.46/1096.10	c cleaning 36994 clauses out of 74002 with flag 1869230/5762132
1115.66/1112.32	c cleaning 38000 clauses out of 76009 with flag 1966951/5801133
1132.66/1129.33	c cleaning 39006 clauses out of 78013 with flag 2066533/5841137
1147.22/1143.86	c cleaning 39995 clauses out of 80002 with flag 2167228/5882132
1165.03/1161.64	c cleaning 40998 clauses out of 82010 with flag 2271726/5924135
1189.49/1186.07	c cleaning 41999 clauses out of 84009 with flag 2384964/5967132
1215.99/1212.57	c cleaning 43001 clauses out of 86010 with flag 2493879/6011132
1245.34/1241.85	c cleaning 44002 clauses out of 88012 with flag 2604520/6056135
1272.33/1268.70	c cleaning 44995 clauses out of 90008 with flag 2732474/6102133
1299.13/1295.51	c cleaning 46003 clauses out of 92014 with flag 2851256/6149134
1322.74/1319.03	c cleaning 46996 clauses out of 94009 with flag 2972916/6197132
1354.13/1350.45	c cleaning 48002 clauses out of 96015 with flag 3098062/6246134
1381.39/1377.67	c cleaning 49002 clauses out of 98014 with flag 3223898/6296135
1408.40/1404.61	c cleaning 50002 clauses out of 100012 with flag 3351625/6347135
1439.56/1435.79	c cleaning 51001 clauses out of 102010 with flag 3483898/6399135
1467.93/1464.10	c cleaning 52002 clauses out of 104007 with flag 3613450/6452133
1496.93/1493.05	c cleaning 52999 clauses out of 106006 with flag 3748244/6506134
1524.64/1520.79	c cleaning 53998 clauses out of 108005 with flag 3887645/6561132
1553.98/1550.09	c cleaning 55002 clauses out of 110009 with flag 4025008/6617134
1586.26/1582.33	c cleaning 55995 clauses out of 112007 with flag 4166639/6674134
1615.71/1611.73	c cleaning 57002 clauses out of 114013 with flag 4312904/6732135
1652.14/1648.12	c cleaning 57990 clauses out of 116010 with flag 4457655/6791134
1653.05/1649.01	c Got one! Elapsed wall clock time (in seconds):1648.901
1653.05/1649.01	o 790
1653.94/1649.97	c cleaning 31937 clauses out of 63903 with flag 7119/6797017
1654.94/1650.94	c cleaning 18965 clauses out of 37968 with flag 32932/6803019
1655.64/1651.61	c cleaning 12991 clauses out of 26003 with flag 50743/6810019
1655.94/1651.97	c cleaning 10484 clauses out of 21011 with flag 69191/6818018
1656.04/1652.01	c Got one! Elapsed wall clock time (in seconds):1651.893
1656.04/1652.01	o 770
1656.35/1652.37	c cleaning 8125 clauses out of 16256 with flag 17005/6823747
1657.04/1653.02	c cleaning 7057 clauses out of 14130 with flag 33128/6829746
1657.50/1653.47	c cleaning 7031 clauses out of 14074 with flag 52496/6836747
1658.20/1654.18	c cleaning 7513 clauses out of 15046 with flag 70234/6844750
1658.80/1654.77	c cleaning 8252 clauses out of 16530 with flag 90035/6853747
1658.90/1654.88	c Got one! Elapsed wall clock time (in seconds):1654.767
1658.90/1654.88	o 750
1659.20/1655.14	c cleaning 7102 clauses out of 14221 with flag 13173/6859690
1659.70/1655.63	c cleaning 6555 clauses out of 13120 with flag 41538/6865691
1660.10/1656.03	c cleaning 6744 clauses out of 13566 with flag 59268/6872692
1660.20/1656.15	c Got one! Elapsed wall clock time (in seconds):1656.035
1660.20/1656.15	o 730
1660.40/1656.36	c cleaning 6330 clauses out of 12715 with flag 11915/6878585
1660.70/1656.66	c cleaning 6166 clauses out of 12387 with flag 26043/6884587
1660.70/1656.70	c Got one! Elapsed wall clock time (in seconds):1656.586
1660.70/1656.70	o 720
1661.00/1656.99	c cleaning 5809 clauses out of 11626 with flag 16516/6889992
1661.70/1657.70	c cleaning 5906 clauses out of 11815 with flag 67780/6895990
1662.20/1658.10	c cleaning 6449 clauses out of 12909 with flag 86779/6902990
1662.60/1658.59	c cleaning 7224 clauses out of 14461 with flag 109565/6910991
1663.44/1659.35	c cleaning 8114 clauses out of 16237 with flag 130402/6919991
1664.24/1660.16	c cleaning 9053 clauses out of 18121 with flag 153336/6929989
1665.33/1661.20	c cleaning 10029 clauses out of 20070 with flag 180557/6940991
1666.53/1662.49	c cleaning 11015 clauses out of 22041 with flag 208188/6952991
1667.23/1663.10	c cleaning 11999 clauses out of 24024 with flag 242968/6965989
1667.63/1663.50	c Got one! Elapsed wall clock time (in seconds):1663.384
1667.63/1663.50	o 690
1668.33/1664.24	c cleaning 11233 clauses out of 22467 with flag 14723/6976431
1669.14/1665.07	c cleaning 8610 clauses out of 17234 with flag 53190/6982431
1669.65/1665.59	c cleaning 7764 clauses out of 15626 with flag 75998/6989433
1670.07/1665.94	c Got one! Elapsed wall clock time (in seconds):1665.826
1670.07/1665.94	o 670
1670.07/1665.99	c cleaning 6750 clauses out of 13514 with flag 3122/6995085
1670.57/1666.50	c cleaning 6370 clauses out of 12764 with flag 18577/7001085
1671.27/1667.19	c cleaning 6695 clauses out of 13395 with flag 35657/7008086
1671.87/1667.79	c cleaning 7344 clauses out of 14699 with flag 54050/7016085
1673.47/1669.32	c cleaning 8174 clauses out of 16354 with flag 85381/7025084
1675.67/1671.51	c cleaning 9088 clauses out of 18181 with flag 114227/7035085
1677.87/1673.73	c cleaning 10043 clauses out of 20094 with flag 147864/7046086
1679.66/1675.59	c cleaning 11019 clauses out of 22049 with flag 178013/7058084
1681.46/1677.37	c cleaning 12012 clauses out of 24031 with flag 206652/7071085
1683.58/1679.41	c cleaning 13001 clauses out of 26018 with flag 240251/7085084
1685.78/1681.61	c cleaning 14003 clauses out of 28018 with flag 278384/7100085
1689.18/1685.01	c cleaning 15002 clauses out of 30015 with flag 326735/7116085
1693.58/1689.44	c cleaning 16006 clauses out of 32012 with flag 383548/7133084
1696.98/1692.86	c cleaning 17000 clauses out of 34008 with flag 428844/7151086
1700.88/1696.71	c cleaning 18001 clauses out of 36006 with flag 475462/7170084
1704.90/1700.78	c cleaning 19000 clauses out of 38005 with flag 524579/7190084
1709.59/1705.49	c cleaning 19997 clauses out of 40005 with flag 578903/7211084
1714.99/1710.85	c cleaning 21003 clauses out of 42011 with flag 642699/7233087
1720.39/1716.20	c cleaning 21998 clauses out of 44007 with flag 699119/7256086
1725.83/1721.64	c cleaning 23004 clauses out of 46010 with flag 762223/7280087
1732.43/1728.29	c cleaning 23997 clauses out of 48003 with flag 833060/7305084
1739.13/1734.93	c cleaning 24996 clauses out of 50007 with flag 902265/7331085
1746.77/1742.59	c cleaning 25999 clauses out of 52010 with flag 985314/7358084
1755.47/1751.28	c cleaning 26999 clauses out of 54012 with flag 1075368/7386085
1763.66/1759.47	c cleaning 28002 clauses out of 56012 with flag 1149168/7415084
1772.19/1767.93	c cleaning 29002 clauses out of 58012 with flag 1234791/7445086
1782.09/1777.85	c cleaning 29997 clauses out of 60008 with flag 1314525/7476084
1792.59/1788.38	c cleaning 31000 clauses out of 62012 with flag 1410020/7508085
1800.02/1795.70	c starts		: 4820
1800.02/1795.70	c conflicts		: 7535164
1800.02/1795.70	c decisions		: 11681651
1800.02/1795.70	c propagations		: 527987157
1800.02/1795.70	c inspects		: 37486254695
1800.02/1795.70	c shortcuts		: 0
1800.02/1795.70	c learnt literals	: 0
1800.02/1795.70	c learnt binary clauses	: 788
1800.02/1795.70	c learnt ternary clauses	: 842
1800.02/1795.70	c learnt constraints	: 7535164
1800.02/1795.70	c ignored constraints	: 0
1800.02/1795.70	c root simplifications	: 0
1800.02/1795.70	c removed literals (reason simplification)	: 0
1800.02/1795.70	c reason swapping (by a shorter reason)	: 0
1800.02/1795.70	c Calls to reduceDB	: 466
1800.02/1795.70	c Number of update (reduction) of LBD	: 1140200
1800.02/1795.70	c Imported unit clauses	: 0
1800.02/1795.70	c number of reductions to clauses (during analyze)	: 0
1800.02/1795.70	c number of learned constraints concerned by reduction	: 0
1800.02/1795.70	c number of learning phase by resolution	: 0
1800.02/1795.70	c number of learning phase by cutting planes	: 0
1800.02/1795.70	c speed (assignments/second)	: 294120.9785776677
1800.02/1795.70	c non guided choices	1707623
1800.02/1795.72	c learnt constraints type 
1800.02/1795.72	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 788
1800.02/1795.72	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 57303
1800.02/1795.72	s SATISFIABLE
1800.02/1795.72	c Found 45 solution(s)
1800.02/1795.73	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 
1800.02/1795.74	c objective function=670
1800.02/1795.74	c Total wall clock time (in seconds): 1795.629

OK	670

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4117415-1467212107/watcher-4117415-1467212107 -o /tmp/evaluation-result-4117415-1467212107/solver-4117415-1467212107 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4117415-1467212107.opb 

pid=2030
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.06 1.79 3/193 2033
/proc/meminfo: memFree=29284284/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/2033/stat : 2033 (java) R 2030 2033 1865 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 239904 9515008 185 33554432000 1073741824 1073778376 140736283547152 140736283538376 271787388343 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2323 185 142 9 0 71 0

[startup+0.100059 s]
/proc/loadavg: 2.02 2.06 1.79 3/193 2033
/proc/meminfo: memFree=29284284/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 239904 9787879424 6036 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2389619 6036 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 2.02 2.06 1.79 3/193 2033
/proc/meminfo: memFree=29284284/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 5324 0 1 0 27 1 0 0 20 0 18 0 239904 9787879424 7344 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2389619 7344 2213 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.30024 s]
/proc/loadavg: 2.02 2.06 1.79 3/193 2033
/proc/meminfo: memFree=29284284/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 9041 0 1 0 56 2 0 0 20 0 18 0 239904 9787879424 14694 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2389619 14694 2235 9 0 2380296 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 9558476

[startup+0.700197 s]
/proc/loadavg: 2.02 2.06 1.79 3/193 2033
/proc/meminfo: memFree=29284284/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9625040 CPUtime=1.5 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 13429 0 1 0 147 3 0 0 20 0 19 0 239904 9856040960 35648 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2406260 35648 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.02 2.06 1.79 5/212 2052
/proc/meminfo: memFree=29147056/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9625040 CPUtime=2.7 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 15545 0 1 0 267 3 0 0 20 0 19 0 239904 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2406260 37442 2273 9 0 2396937 0
[pid=2033/tid=2035] ppid=2030 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 1865 0 -1 4202560 2465 0 1 0 143 3 0 0 20 0 19 0 239905 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139721567617432 139721410666671 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2036] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139721529109416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2037] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139721409817640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2038] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139721408764584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2039] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139721407712040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2040] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139721406658984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2041] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139721405606440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2042] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139721404553384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2043] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139721403500840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2044] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 239907 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139720921172840 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2045] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139720920119160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2046] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139720919065992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2047] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139720918014736 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2048] ppid=2030 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 1865 0 -1 4202560 7544 0 0 0 61 0 0 0 20 0 19 0 239910 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139720916961592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2049] ppid=2030 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/2033/task/2049/stat : 2049 (java) S 2030 2033 1865 0 -1 4202560 4262 0 0 0 60 0 0 0 20 0 19 0 239910 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139720915909048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2050] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2050/stat : 2050 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139720914856184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2051] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2051/stat : 2051 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139720913803848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2052] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2052/stat : 2052 (java) S 2030 2033 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 239961 9856040960 37442 33554432000 1073741824 1073778376 140735892148256 139720912750120 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 9625040

[startup+3.10072 s]
/proc/loadavg: 2.02 2.06 1.79 5/212 2118
/proc/meminfo: memFree=29564248/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9625040 CPUtime=4.56 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 16350 0 1 0 452 4 0 0 20 0 19 0 239904 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2406260 40529 2273 9 0 2396937 0
[pid=2033/tid=2035] ppid=2030 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 1865 0 -1 4202560 2472 0 1 0 302 3 0 0 20 0 19 0 239905 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139721567617136 139721410524925 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2036] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139721529109416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2037] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139721409817640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2038] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139721408764584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2039] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139721407712040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2040] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139721406658984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2041] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139721405606440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2042] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139721404553384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2043] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139721403500840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2044] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 239907 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139720921172840 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2045] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 1865 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139720920119160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2046] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139720919065992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2047] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139720918014736 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2048] ppid=2030 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 1865 0 -1 4202560 7544 0 0 0 65 0 0 0 20 0 19 0 239910 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139720916961592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2049] ppid=2030 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/2033/task/2049/stat : 2049 (java) S 2030 2033 1865 0 -1 4202560 5060 0 0 0 82 0 0 0 20 0 19 0 239910 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139720915909048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2050] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2050/stat : 2050 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139720914856184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2051] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2051/stat : 2051 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139720913803848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2052] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2052/stat : 2052 (java) S 2030 2033 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 239961 9856040960 40529 33554432000 1073741824 1073778376 140735892148256 139720912750120 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 9625040

[startup+6.30078 s]
/proc/loadavg: 2.02 2.06 1.79 3/213 2119
/proc/meminfo: memFree=29393528/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9625040 CPUtime=7.78 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 16397 0 1 0 772 6 0 0 20 0 19 0 239904 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2406260 45660 2286 9 0 2396937 0
[pid=2033/tid=2035] ppid=2030 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 1865 0 -1 4202560 2483 0 1 0 620 3 0 0 20 0 19 0 239905 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139721567617232 139721410533787 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2036] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 1865 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139721529109416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2037] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139721409817640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2038] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139721408764584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2039] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 1865 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139721407712040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2040] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139721406658984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2041] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139721405606440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2042] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 1865 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139721404553384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2043] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 1865 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 239906 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139721403500840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2044] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 1865 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 239907 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139720921172840 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2045] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139720920119160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2046] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139720919065992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2047] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139720918014736 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2048] ppid=2030 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 1865 0 -1 4202560 7544 0 0 0 65 0 0 0 20 0 19 0 239910 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139720916961592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2049] ppid=2030 vsize=9625040 CPUtime=0.82 cores=0,2,4,6
/proc/2033/task/2049/stat : 2049 (java) S 2030 2033 1865 0 -1 4202560 5060 0 0 0 82 0 0 0 20 0 19 0 239910 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139720915909048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2050] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2050/stat : 2050 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139720914856184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2051] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2051/stat : 2051 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139720913803848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2052] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2052/stat : 2052 (java) S 2030 2033 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 239961 9856040960 45660 33554432000 1073741824 1073778376 140735892148256 139720912750120 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.78
Current children cumulated vsize (KiB) 9625040


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

[pid=2033/tid=2052] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2052/stat : 2052 (java) S 2030 2033 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 239961 9856040960 86067 33554432000 1073741824 1073778376 140735892148256 139720912750120 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1726.52
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.02 4/213 2185
/proc/meminfo: memFree=29055036/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9625040 CPUtime=1786.59 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 17710 0 1 0 178595 64 0 0 20 0 19 0 239904 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2406260 84961 2295 9 0 2396937 0
[pid=2033/tid=2035] ppid=2030 vsize=9625040 CPUtime=1776.27 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 1865 0 -1 4202560 2543 0 1 0 177596 31 0 0 20 0 19 0 239905 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139721567608464 139721410603445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2036] ppid=2030 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 1865 0 -1 4202560 212 0 0 0 42 5 0 0 20 0 19 0 239906 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139721529109416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2037] ppid=2030 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 1865 0 -1 4202560 183 0 0 0 41 6 0 0 20 0 19 0 239906 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139721409817640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2038] ppid=2030 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 1865 0 -1 4202560 71 0 0 0 38 4 0 0 20 0 19 0 239906 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139721408764584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2039] ppid=2030 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 1865 0 -1 4202560 87 0 0 0 46 5 0 0 20 0 19 0 239906 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139721407712040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2040] ppid=2030 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 1865 0 -1 4202560 62 0 0 0 41 4 0 0 20 0 19 0 239906 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139721406658984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2041] ppid=2030 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 1865 0 -1 4202560 176 0 0 0 46 5 0 0 20 0 19 0 239906 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139721405606440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2042] ppid=2030 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 1865 0 -1 4202560 198 0 0 0 43 5 0 0 20 0 19 0 239906 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139721404553384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2043] ppid=2030 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 1865 0 -1 4202560 72 0 0 0 39 4 0 0 20 0 19 0 239906 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139721403500840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2044] ppid=2030 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 1865 0 -1 4202560 123 0 0 0 11 4 0 0 20 0 19 0 239907 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139720921172840 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2045] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139720920119160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2046] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139720919065992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2047] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139720918014736 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2048] ppid=2030 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 1865 0 -1 4202560 7552 0 0 0 72 0 0 0 20 0 19 0 239910 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139720916961592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2049] ppid=2030 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/2033/task/2049/stat : 2049 (java) S 2030 2033 1865 0 -1 4202560 5069 0 0 0 92 0 0 0 20 0 19 0 239910 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139720915909048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2050] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2050/stat : 2050 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139720914856184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2051] ppid=2030 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/2033/task/2051/stat : 2051 (java) S 2030 2033 1865 0 -1 4202560 103 0 0 0 20 21 0 0 20 0 19 0 239910 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139720913803848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2052] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2052/stat : 2052 (java) S 2030 2033 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 239961 9856040960 84961 33554432000 1073741824 1073778376 140735892148256 139720912750120 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.7 s]
/proc/loadavg: 2.00 2.05 2.02 4/213 2185
/proc/meminfo: memFree=29057644/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 17713 0 1 0 179938 64 0 0 20 0 19 0 239904 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2406260 84368 2295 9 0 2396937 0
[pid=2033/tid=2035] ppid=2030 vsize=9625040 CPUtime=1789.62 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 1865 0 -1 4202560 2544 0 1 0 178930 32 0 0 20 0 19 0 239905 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721567616144 139721410525495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2036] ppid=2030 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 1865 0 -1 4202560 212 0 0 0 44 5 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721529109416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2037] ppid=2030 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 1865 0 -1 4202560 183 0 0 0 42 6 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721409817640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2038] ppid=2030 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 1865 0 -1 4202560 71 0 0 0 39 4 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721408764584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2039] ppid=2030 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 1865 0 -1 4202560 87 0 0 0 46 5 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721407712040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2040] ppid=2030 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 1865 0 -1 4202560 62 0 0 0 41 4 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721406658984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2041] ppid=2030 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 1865 0 -1 4202560 176 0 0 0 46 5 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721405606440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2042] ppid=2030 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 1865 0 -1 4202560 198 0 0 0 43 5 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721404553384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2043] ppid=2030 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 1865 0 -1 4202560 72 0 0 0 39 4 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721403500840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2044] ppid=2030 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 1865 0 -1 4202560 125 0 0 0 11 4 0 0 20 0 19 0 239907 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720921172840 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2045] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720920119160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2046] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720919065992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2047] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720918014736 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2048] ppid=2030 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 1865 0 -1 4202560 7552 0 0 0 72 0 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720916961592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2049] ppid=2030 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/2033/task/2049/stat : 2049 (java) S 2030 2033 1865 0 -1 4202560 5069 0 0 0 92 0 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720915909048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2050] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2050/stat : 2050 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720914856184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2051] ppid=2030 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/2033/task/2051/stat : 2051 (java) S 2030 2033 1865 0 -1 4202560 103 0 0 0 20 21 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720913803848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2052] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2052/stat : 2052 (java) S 2030 2033 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 239961 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720912750120 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

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

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

[startup+1795.7 s]
/proc/loadavg: 2.00 2.05 2.02 4/213 2185
/proc/meminfo: memFree=29057644/32872528 swapFree=1099624/1181384
[pid=2033] ppid=2030 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/2033/stat : 2033 (java) S 2030 2033 1865 0 -1 4202496 17713 0 1 0 179938 64 0 0 20 0 19 0 239904 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 140735892139392 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/2033/statm: 2406260 84368 2295 9 0 2396937 0
[pid=2033/tid=2035] ppid=2030 vsize=9625040 CPUtime=1789.62 cores=0,2,4,6
/proc/2033/task/2035/stat : 2035 (java) R 2030 2033 1865 0 -1 4202560 2544 0 1 0 178930 32 0 0 20 0 19 0 239905 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721567616144 139721410525495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2036] ppid=2030 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/2033/task/2036/stat : 2036 (java) S 2030 2033 1865 0 -1 4202560 212 0 0 0 44 5 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721529109416 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2037] ppid=2030 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2033/task/2037/stat : 2037 (java) S 2030 2033 1865 0 -1 4202560 183 0 0 0 42 6 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721409817640 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2038] ppid=2030 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2033/task/2038/stat : 2038 (java) S 2030 2033 1865 0 -1 4202560 71 0 0 0 39 4 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721408764584 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2039] ppid=2030 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2033/task/2039/stat : 2039 (java) S 2030 2033 1865 0 -1 4202560 87 0 0 0 46 5 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721407712040 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2040] ppid=2030 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/2033/task/2040/stat : 2040 (java) S 2030 2033 1865 0 -1 4202560 62 0 0 0 41 4 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721406658984 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2041] ppid=2030 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/2033/task/2041/stat : 2041 (java) S 2030 2033 1865 0 -1 4202560 176 0 0 0 46 5 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721405606440 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2042] ppid=2030 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/2033/task/2042/stat : 2042 (java) S 2030 2033 1865 0 -1 4202560 198 0 0 0 43 5 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721404553384 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=2033/tid=2043] ppid=2030 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/2033/task/2043/stat : 2043 (java) S 2030 2033 1865 0 -1 4202560 72 0 0 0 39 4 0 0 20 0 19 0 239906 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139721403500840 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2044] ppid=2030 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/2033/task/2044/stat : 2044 (java) S 2030 2033 1865 0 -1 4202560 125 0 0 0 11 4 0 0 20 0 19 0 239907 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720921172840 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2045] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2045/stat : 2045 (java) S 2030 2033 1865 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720920119160 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2046] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2046/stat : 2046 (java) S 2030 2033 1865 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 239908 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720919065992 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2047] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2047/stat : 2047 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720918014736 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2048] ppid=2030 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/2033/task/2048/stat : 2048 (java) S 2030 2033 1865 0 -1 4202560 7552 0 0 0 72 0 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720916961592 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=2033/tid=2049] ppid=2030 vsize=9625040 CPUtime=0.92 cores=0,2,4,6
/proc/2033/task/2049/stat : 2049 (java) S 2030 2033 1865 0 -1 4202560 5069 0 0 0 92 0 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720915909048 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2050] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2050/stat : 2050 (java) S 2030 2033 1865 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720914856184 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=2033/tid=2051] ppid=2030 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/2033/task/2051/stat : 2051 (java) S 2030 2033 1865 0 -1 4202560 103 0 0 0 20 21 0 0 20 0 19 0 239910 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720913803848 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=2033/tid=2052] ppid=2030 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/2033/task/2052/stat : 2052 (java) S 2030 2033 1865 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 239961 9856040960 84368 33554432000 1073741824 1073778376 140735892148256 139720912750120 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2033 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=888135
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=93833
# CPU time returned by wait4() is 1795.98
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.75
CPU time (s): 1800.02
CPU user time (s): 1799.38
CPU system time (s): 0.64
CPU usage (%): 100.238
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.89
system time used= 1.09383
maximum resident set size= 483524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17750
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39809
involuntary context switches= 23354

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3634 second user time and 12.7611 second system time

The end

Begin job on node115 at 2016-06-29 16:55:07
IDJOB=4117415
IDBENCH=111572
IDSOLVER=2546
FILE ID=node115/4117415-1467212107
RUNJOBID= node115-1467210312-1881
PBS_JOBID= 19997598
Free space on /tmp= 71660 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/EmployeeScheduling/normalized-jun6.5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4117415-1467212107/watcher-4117415-1467212107 -o /tmp/evaluation-result-4117415-1467212107/solver-4117415-1467212107 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467210312-1881 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4117415-1467212107.opb

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

MD5SUM BENCH= ee482ad52a229e6d084bd579d92cf8a7
RANDOM SEED=640473346

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.087
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29284812 kB
Buffers:           64772 kB
Cached:          1160424 kB
SwapCached:            0 kB
Active:           550240 kB
Inactive:        1142116 kB
Active(anon):     469600 kB
Inactive(anon):        0 kB
Active(file):      80640 kB
Inactive(file):  1142116 kB
Unevictable:     1181384 kB
Mlocked:         1099624 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2044 kB
Writeback:             0 kB
AnonPages:       1654420 kB
Mapped:            22140 kB
Shmem:               204 kB
Slab:             574364 kB
SReclaimable:      18632 kB
SUnreclaim:       555732 kB
KernelStack:        1576 kB
PageTables:         7680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1867284 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    532480 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71660 MiB
End job on node115 at 2016-06-29 17:25:03