Trace number 4432514

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j Resolution Default 2024-07-07SAT (TO)43 3600.66 3598.93

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-may6.5.opb
MD5SUM76e67d27ce5ae72e711eb5f869f0e7e5
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark43
Best CPU time to get the best result obtained on this benchmark2.52233
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27575
Number of constraints which are cardinality constraints (but not clauses)225
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.13/0.16	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.13/0.16	c This is free software under the dual EPL/GNU LGPL licenses.
0.13/0.16	c See www.sat4j.org for details.
0.13/0.17	c version CUSTOM.v20240707
0.13/0.20	c java.runtime.name	OpenJDK Runtime Environment
0.13/0.20	c java.vm.name		OpenJDK 64-Bit Server VM
0.13/0.20	c java.vm.version	22.0.1+8-16
0.13/0.20	c java.vm.vendor	Oracle Corporation
0.13/0.20	c sun.arch.data.model	64
0.13/0.20	c java.version		22.0.1
0.13/0.20	c os.name		Linux
0.13/0.20	c os.version		4.18.0-301.1.el8.x86_64
0.13/0.20	c os.arch		amd64
0.13/0.21	c Free memory 		2113181440
0.13/0.21	c Max memory 		16282288128
0.13/0.21	c Total memory 		2122317824
0.13/0.22	c Number of processors 	2
0.30/0.32	--- Begin Solver configuration ---
0.30/0.32	org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.32	Learn all clauses as in MiniSAT
0.30/0.32	LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.32	VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.32	No reason simplification
0.30/0.32	Glucose 2.1 dynamic restart strategy
0.30/0.32	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.30/0.32	timeout=2147483s
0.30/0.32	DB Simplification allowed=false
0.30/0.32	Listener: none
0.30/0.32	--- End Solver configuration ---
0.30/0.32	c Pseudo Boolean Optimization by upper bound
0.30/0.32	c --- Begin Solver configuration ---
0.30/0.32	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@5e91993f
0.30/0.32	c Learn all clauses as in MiniSAT
0.30/0.32	c LOGGER=java.util.logging.Logger@cac736f claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.30/0.32	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.30/0.32	c No reason simplification
0.30/0.32	c Glucose 2.1 dynamic restart strategy
0.30/0.32	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.30/0.32	c timeout=2147483s
0.30/0.32	c DB Simplification allowed=false
0.30/0.32	c Listener: none
0.30/0.32	c --- End Solver configuration ---
0.30/0.32	c solving HOME/instance-4432514-1721165679.opb
0.30/0.32	c reading problem ... 
0.46/0.33	c  objective function found
1.37/0.89	c ... done. Wall clock time 0.563s.
1.37/0.89	c declared #vars     9632
1.37/0.89	c #constraints  29620
1.37/0.89	c constraints type 
1.55/0.90	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 16520
1.55/0.90	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 281
1.55/0.90	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1764
1.55/0.90	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 11055
1.55/0.90	c 29620 constraints processed.
1.55/0.91	c objective function length is 26 literals
2.73/1.53	c cleaning 2500 clauses out of 5000 with flag 12995/5000
3.33/1.83	c cleaning 4246 clauses out of 8500 with flag 28729/11000
3.83/2.22	c cleaning 5625 clauses out of 11256 with flag 46328/18002
4.31/2.66	c cleaning 6815 clauses out of 13629 with flag 65611/26000
5.08/3.14	c cleaning 7901 clauses out of 15814 with flag 88485/35000
6.04/3.87	c cleaning 8934 clauses out of 17913 with flag 114324/45000
6.24/3.96	c SATISFIABLE
6.24/3.96	c OPTIMIZING...
6.24/3.97	c Got one! Elapsed wall clock time (in seconds):3.638
6.24/3.97	o 211
6.83/4.25	c cleaning 7469 clauses out of 14951 with flag 13865/50972
7.43/4.54	c cleaning 6738 clauses out of 13482 with flag 28732/56972
7.98/4.89	c Got one! Elapsed wall clock time (in seconds):4.566
7.98/4.89	o 201
8.46/5.25	c cleaning 9291 clauses out of 18586 with flag 13921/68814
8.77/5.56	c cleaning 7649 clauses out of 15297 with flag 28826/74816
9.18/5.99	c cleaning 7322 clauses out of 14647 with flag 45440/81815
9.67/6.48	c cleaning 7660 clauses out of 15325 with flag 63670/89815
10.17/6.90	c cleaning 8329 clauses out of 16664 with flag 84603/98814
10.68/7.44	c cleaning 9161 clauses out of 18334 with flag 107174/108813
11.28/8.09	c cleaning 10086 clauses out of 20173 with flag 132020/119813
12.05/8.76	c cleaning 11041 clauses out of 22089 with flag 159188/131815
12.70/9.31	c Got one! Elapsed wall clock time (in seconds):8.989
12.70/9.31	o 199
13.00/9.62	c cleaning 12519 clauses out of 25039 with flag 15891/145806
13.30/9.93	c cleaning 9253 clauses out of 18520 with flag 30956/151806
13.60/10.28	c cleaning 8130 clauses out of 16267 with flag 47631/158806
14.09/10.70	c cleaning 8061 clauses out of 16136 with flag 67349/166805
14.59/11.22	c cleaning 8532 clauses out of 17075 with flag 89358/175805
15.29/11.91	c cleaning 9272 clauses out of 18544 with flag 118521/185806
15.38/12.04	c Got one! Elapsed wall clock time (in seconds):11.719
15.38/12.04	o 191
15.49/12.17	c cleaning 7243 clauses out of 14505 with flag 6235/191039
15.79/12.40	c cleaning 6627 clauses out of 13263 with flag 22696/197040
16.09/12.70	c cleaning 6816 clauses out of 13639 with flag 41157/204043
16.63/13.21	c cleaning 7409 clauses out of 14819 with flag 65456/212039
17.30/13.68	c cleaning 8200 clauses out of 16410 with flag 89421/221039
17.89/14.24	c cleaning 9101 clauses out of 18211 with flag 112752/231040
18.49/14.87	c cleaning 10050 clauses out of 20109 with flag 139272/242039
19.28/15.64	c cleaning 11028 clauses out of 22060 with flag 167568/254040
20.17/16.51	c cleaning 12013 clauses out of 24031 with flag 198674/267039
21.07/17.48	c cleaning 13010 clauses out of 26021 with flag 232504/281042
22.36/18.71	c cleaning 14002 clauses out of 28010 with flag 268073/296041
24.45/20.84	c cleaning 15001 clauses out of 30007 with flag 305579/312040
26.15/22.56	c cleaning 15998 clauses out of 32007 with flag 346254/329041
28.44/24.88	c cleaning 16999 clauses out of 34007 with flag 393056/347039
30.84/27.24	c cleaning 18003 clauses out of 36011 with flag 443370/366042
33.13/29.57	c cleaning 19000 clauses out of 38005 with flag 496346/386039
35.34/31.79	c cleaning 20001 clauses out of 40005 with flag 550971/407039
37.84/34.29	c cleaning 21001 clauses out of 42006 with flag 608036/429041
41.13/37.52	c cleaning 22001 clauses out of 44004 with flag 667587/452040
43.83/40.28	c cleaning 22999 clauses out of 46003 with flag 728878/476040
47.82/44.25	c cleaning 23998 clauses out of 48005 with flag 801484/501041
52.52/48.98	c cleaning 25002 clauses out of 50006 with flag 883190/527040
56.02/52.41	c cleaning 25999 clauses out of 52003 with flag 957007/554039
59.51/55.94	c cleaning 26996 clauses out of 54004 with flag 1034809/582039
59.72/56.16	c Got one! Elapsed wall clock time (in seconds):55.833
59.72/56.16	o 189
60.10/56.47	c cleaning 16023 clauses out of 32054 with flag 6523/587085
60.60/56.92	c cleaning 11009 clauses out of 22032 with flag 23376/593086
61.01/57.32	c cleaning 9001 clauses out of 18023 with flag 40877/600086
61.41/57.74	c cleaning 8506 clauses out of 17021 with flag 60326/608085
62.02/58.32	c cleaning 8752 clauses out of 17515 with flag 82737/617085
62.52/58.83	c cleaning 9376 clauses out of 18763 with flag 106259/627085
63.12/59.48	c cleaning 10193 clauses out of 20389 with flag 132223/638087
63.83/60.19	c cleaning 11094 clauses out of 22195 with flag 165648/650086
64.42/60.74	c Got one! Elapsed wall clock time (in seconds):60.416
64.42/60.74	o 171
64.77/60.91	c cleaning 12053 clauses out of 24106 with flag 16355/663091
64.88/61.08	c cleaning 9021 clauses out of 18054 with flag 33502/669092
65.07/61.29	c cleaning 8014 clauses out of 16033 with flag 52333/676092
65.37/61.57	c cleaning 8000 clauses out of 16018 with flag 73088/684091
65.67/61.88	c cleaning 8498 clauses out of 17020 with flag 96837/693093
66.07/62.23	c cleaning 9258 clauses out of 18520 with flag 126333/703091
66.46/62.69	c cleaning 10131 clauses out of 20263 with flag 160249/714092
67.06/63.20	c cleaning 11064 clauses out of 22133 with flag 196729/726093
67.66/63.87	c cleaning 12031 clauses out of 24070 with flag 228704/739094
68.36/64.59	c cleaning 13016 clauses out of 26036 with flag 263871/753091
69.26/65.47	c cleaning 14009 clauses out of 28022 with flag 300334/768093
70.26/66.48	c cleaning 15002 clauses out of 30011 with flag 339823/784091
71.36/67.53	c cleaning 16006 clauses out of 32014 with flag 381953/801096
72.36/68.57	c cleaning 17002 clauses out of 34004 with flag 427003/819092
73.66/69.86	c cleaning 17999 clauses out of 36003 with flag 475588/838093
75.06/71.27	c cleaning 18996 clauses out of 38002 with flag 526915/858091
76.76/72.91	c cleaning 20000 clauses out of 40007 with flag 584171/879092
78.75/74.91	c cleaning 21005 clauses out of 42010 with flag 641513/901095
80.87/77.06	c cleaning 21997 clauses out of 44002 with flag 698863/924092
83.65/79.81	c cleaning 23003 clauses out of 46006 with flag 757907/948093
85.86/82.02	c cleaning 23991 clauses out of 48001 with flag 821888/973091
85.96/82.13	c Got one! Elapsed wall clock time (in seconds):81.811
85.96/82.13	o 170
86.15/82.32	c cleaning 14613 clauses out of 29238 with flag 11248/978319
86.45/82.61	c cleaning 10310 clauses out of 20626 with flag 30458/984320
86.75/82.91	c cleaning 8644 clauses out of 17314 with flag 48778/991318
87.15/83.30	c cleaning 8328 clauses out of 16673 with flag 71845/999321
87.55/83.77	c cleaning 8665 clauses out of 17343 with flag 100621/1008319
88.15/84.36	c cleaning 9334 clauses out of 18679 with flag 133775/1018320
88.86/85.03	c cleaning 10166 clauses out of 20344 with flag 171078/1029319
89.55/85.75	c Got one! Elapsed wall clock time (in seconds):85.428
89.55/85.75	o 157
89.66/85.87	c Got one! Elapsed wall clock time (in seconds):85.551
89.66/85.87	o 147
89.76/86.00	c cleaning 13126 clauses out of 26325 with flag 10824/1045466
89.87/86.08	c Got one! Elapsed wall clock time (in seconds):85.762
89.87/86.08	o 145
90.06/86.20	c cleaning 9125 clauses out of 18271 with flag 11165/1050538
90.17/86.39	c cleaning 7566 clauses out of 15145 with flag 26103/1056537
90.37/86.59	c Got one! Elapsed wall clock time (in seconds):86.267
90.37/86.59	o 127
90.63/86.76	c Got one! Elapsed wall clock time (in seconds):86.434
90.63/86.76	o 126
90.63/86.79	c cleaning 8942 clauses out of 17891 with flag 2947/1066849
90.91/86.97	c cleaning 7468 clauses out of 14948 with flag 19008/1072848
91.21/87.25	c cleaning 7235 clauses out of 14483 with flag 39465/1079851
91.61/87.65	c cleaning 7616 clauses out of 15246 with flag 65972/1087849
92.12/88.12	c cleaning 8312 clauses out of 16632 with flag 94594/1096851
92.51/88.55	c cleaning 9144 clauses out of 18317 with flag 125724/1106848
92.91/89.00	c cleaning 10075 clauses out of 20173 with flag 156777/1117848
93.61/89.61	c cleaning 11038 clauses out of 22098 with flag 189623/1129848
94.31/90.38	c cleaning 12018 clauses out of 24060 with flag 224591/1142848
95.20/91.28	c cleaning 13010 clauses out of 26043 with flag 260175/1156849
96.32/92.30	c cleaning 14002 clauses out of 28032 with flag 300195/1171848
97.42/93.49	c cleaning 15004 clauses out of 30034 with flag 341054/1187852
98.72/94.75	c cleaning 16002 clauses out of 32027 with flag 384489/1204849
100.13/96.19	c cleaning 17001 clauses out of 34025 with flag 430624/1222849
101.71/97.80	c cleaning 18000 clauses out of 36024 with flag 478211/1241849
103.72/99.77	c cleaning 19006 clauses out of 38032 with flag 528755/1261857
106.12/102.13	c cleaning 19997 clauses out of 40017 with flag 581638/1282848
108.02/104.11	c cleaning 20996 clauses out of 42020 with flag 638668/1304848
110.41/106.43	c cleaning 22004 clauses out of 44026 with flag 702345/1327850
112.60/108.61	c cleaning 22997 clauses out of 46020 with flag 765839/1351848
114.80/110.87	c cleaning 24001 clauses out of 48023 with flag 829042/1376848
117.50/113.55	c cleaning 24997 clauses out of 50023 with flag 894014/1402849
120.29/116.39	c cleaning 25997 clauses out of 52025 with flag 961249/1429848
123.18/119.24	c cleaning 27001 clauses out of 54028 with flag 1033640/1457848
123.28/119.35	c Got one! Elapsed wall clock time (in seconds):119.027
123.28/119.35	o 125
123.60/119.65	c cleaning 16379 clauses out of 32778 with flag 8935/1463599
123.80/119.84	c Got one! Elapsed wall clock time (in seconds):119.518
123.80/119.84	o 117
123.96/119.90	c cleaning 11056 clauses out of 22118 with flag 5970/1469318
123.96/120.00	c Got one! Elapsed wall clock time (in seconds):119.683
123.96/120.00	o 115
124.07/120.10	c cleaning 8433 clauses out of 16907 with flag 7685/1475163
124.24/120.14	c Got one! Elapsed wall clock time (in seconds):119.814
124.24/120.14	o 113
124.42/120.30	c cleaning 7030 clauses out of 14087 with flag 13836/1480776
124.62/120.51	c cleaning 6514 clauses out of 13056 with flag 28072/1486775
124.82/120.76	c cleaning 6756 clauses out of 13542 with flag 45451/1493775
125.14/121.08	c cleaning 7378 clauses out of 14787 with flag 65609/1501776
125.52/121.45	c cleaning 8194 clauses out of 16408 with flag 87138/1510775
125.93/121.87	c cleaning 9091 clauses out of 18214 with flag 112005/1520775
126.75/122.64	c cleaning 10050 clauses out of 20123 with flag 139128/1531775
127.45/123.34	c cleaning 11022 clauses out of 22073 with flag 168779/1543775
128.26/124.11	c cleaning 12015 clauses out of 24051 with flag 202729/1556775
129.04/124.99	c cleaning 13009 clauses out of 26036 with flag 239576/1570775
130.15/126.08	c cleaning 14003 clauses out of 28027 with flag 276459/1585775
131.34/127.21	c cleaning 15002 clauses out of 30026 with flag 315533/1601777
132.74/128.62	c cleaning 16002 clauses out of 32024 with flag 357984/1618777
134.25/130.17	c cleaning 16999 clauses out of 34020 with flag 402135/1636775
135.83/131.75	c cleaning 18004 clauses out of 36024 with flag 448997/1655778
136.33/132.24	c Got one! Elapsed wall clock time (in seconds):131.917
136.33/132.24	o 111
136.56/132.41	c cleaning 15554 clauses out of 31130 with flag 13661/1668888
136.86/132.74	c cleaning 10780 clauses out of 21579 with flag 30755/1674891
137.06/132.99	c cleaning 8886 clauses out of 17798 with flag 48594/1681890
137.36/133.26	c cleaning 8447 clauses out of 16911 with flag 68565/1689889
137.66/133.58	c cleaning 8722 clauses out of 17463 with flag 92490/1698888
138.06/133.95	c cleaning 9365 clauses out of 18742 with flag 118764/1708889
138.46/134.39	c cleaning 10180 clauses out of 20376 with flag 146858/1719888
139.06/134.99	c cleaning 11090 clauses out of 22196 with flag 174851/1731888
140.17/136.02	c cleaning 12045 clauses out of 24106 with flag 204298/1744888
141.05/136.99	c cleaning 13023 clauses out of 26061 with flag 236206/1758888
142.05/138.00	c cleaning 14012 clauses out of 28040 with flag 272294/1773890
143.26/139.18	c cleaning 15001 clauses out of 30026 with flag 310210/1789888
144.35/140.23	c cleaning 16003 clauses out of 32025 with flag 351658/1806888
145.55/141.42	c cleaning 16998 clauses out of 34022 with flag 394674/1824888
146.95/142.84	c cleaning 18003 clauses out of 36024 with flag 440526/1843888
148.96/144.85	c cleaning 19001 clauses out of 38022 with flag 488692/1863889
150.75/146.65	c cleaning 19999 clauses out of 40021 with flag 539868/1884889
152.75/148.67	c cleaning 21003 clauses out of 42022 with flag 592127/1906889
154.85/150.79	c cleaning 22000 clauses out of 44018 with flag 645210/1929888
157.74/153.66	c cleaning 22996 clauses out of 46019 with flag 699278/1953889
161.73/157.61	c cleaning 24001 clauses out of 48025 with flag 754746/1978891
166.03/161.94	c cleaning 25005 clauses out of 50022 with flag 812008/2004889
170.14/166.07	c cleaning 26000 clauses out of 52017 with flag 873654/2031889
174.33/170.29	c cleaning 26999 clauses out of 54016 with flag 937190/2059888
178.93/174.87	c cleaning 28001 clauses out of 56018 with flag 1002112/2088889
183.23/179.12	c cleaning 29004 clauses out of 58017 with flag 1069330/2118889
188.13/184.01	c cleaning 30000 clauses out of 60014 with flag 1138541/2149890
192.81/188.74	c cleaning 31000 clauses out of 62012 with flag 1209713/2181888
197.72/193.69	c cleaning 32000 clauses out of 64012 with flag 1283321/2214888
202.82/198.77	c cleaning 32996 clauses out of 66012 with flag 1359818/2248888
208.22/204.15	c cleaning 34004 clauses out of 68019 with flag 1437859/2283891
213.21/209.12	c cleaning 34994 clauses out of 70012 with flag 1519396/2319888
219.90/215.82	c cleaning 35997 clauses out of 72018 with flag 1604294/2356888
228.51/224.41	c cleaning 37003 clauses out of 74021 with flag 1688064/2394888
240.00/236.00	c cleaning 38002 clauses out of 76019 with flag 1773957/2433889
250.09/246.04	c cleaning 39002 clauses out of 78017 with flag 1862107/2473889
260.35/256.37	c cleaning 40003 clauses out of 80018 with flag 1952611/2514892
271.45/267.44	c cleaning 40997 clauses out of 82011 with flag 2046239/2556888
280.84/276.80	c cleaning 41999 clauses out of 84015 with flag 2143375/2599889
290.72/286.72	c cleaning 42998 clauses out of 86016 with flag 2241432/2643889
300.05/296.06	c cleaning 44002 clauses out of 88018 with flag 2342124/2688889
309.82/305.83	c cleaning 45002 clauses out of 90015 with flag 2444465/2734888
318.31/314.32	c cleaning 45998 clauses out of 92015 with flag 2550095/2781890
327.79/323.88	c cleaning 47002 clauses out of 94017 with flag 2657142/2829890
337.22/333.20	c cleaning 47997 clauses out of 96014 with flag 2767001/2878889
353.88/350.00	c cleaning 49004 clauses out of 98017 with flag 2878560/2928889
366.08/362.15	c cleaning 49985 clauses out of 100012 with flag 2996241/2979888
366.08/362.17	c Got one! Elapsed wall clock time (in seconds):361.844
366.08/362.17	o 109
366.47/362.53	c cleaning 27555 clauses out of 55152 with flag 18599/2985013
366.57/362.67	c Got one! Elapsed wall clock time (in seconds):362.348
366.57/362.67	o 100
366.67/362.78	c cleaning 16316 clauses out of 32642 with flag 6324/2990058
366.87/362.94	c Got one! Elapsed wall clock time (in seconds):362.614
366.87/362.94	o 89
366.98/363.01	c cleaning 10655 clauses out of 21336 with flag 6509/2995068
367.08/363.19	c cleaning 8326 clauses out of 16681 with flag 24466/3001068
367.37/363.46	c cleaning 7659 clauses out of 15356 with flag 41970/3008069
367.77/363.82	c cleaning 7832 clauses out of 15696 with flag 59972/3016068
368.17/364.28	c cleaning 8424 clauses out of 16868 with flag 80162/3025072
368.27/364.35	c Got one! Elapsed wall clock time (in seconds):364.031
368.27/364.35	o 87
368.37/364.45	c cleaning 6909 clauses out of 13854 with flag 8971/3030482
368.58/364.67	c cleaning 6455 clauses out of 12946 with flag 24822/3036483
368.78/364.85	c Got one! Elapsed wall clock time (in seconds):364.53
368.78/364.85	o 86
368.78/364.88	c cleaning 5839 clauses out of 11694 with flag 3278/3041686
369.21/365.25	c cleaning 5925 clauses out of 11857 with flag 19143/3047688
369.41/365.43	c cleaning 6465 clauses out of 12937 with flag 35516/3054693
369.81/365.84	c cleaning 7229 clauses out of 14464 with flag 53243/3062685
370.30/366.33	c cleaning 8109 clauses out of 16236 with flag 73584/3071686
370.90/366.96	c cleaning 9057 clauses out of 18128 with flag 95973/3081687
371.60/367.68	c cleaning 10027 clauses out of 20069 with flag 120931/3092685
372.40/368.45	c cleaning 11012 clauses out of 22042 with flag 148467/3104685
373.40/369.47	c cleaning 12013 clauses out of 24030 with flag 178591/3117685
374.70/370.74	c cleaning 13007 clauses out of 26017 with flag 212039/3131685
375.89/371.96	c cleaning 14000 clauses out of 28010 with flag 248383/3146685
377.39/373.41	c cleaning 15001 clauses out of 30010 with flag 289168/3162685
378.79/374.84	c cleaning 16001 clauses out of 32011 with flag 327995/3179687
380.49/376.51	c cleaning 16998 clauses out of 34008 with flag 374601/3197685
382.18/378.26	c cleaning 17999 clauses out of 36010 with flag 420276/3216685
384.48/380.56	c cleaning 19000 clauses out of 38011 with flag 465385/3236685
386.79/382.83	c cleaning 19999 clauses out of 40011 with flag 512921/3257685
389.10/385.12	c cleaning 21002 clauses out of 42014 with flag 562644/3279687
391.58/387.67	c cleaning 21999 clauses out of 44011 with flag 614538/3302686
395.09/391.18	c cleaning 23003 clauses out of 46012 with flag 669111/3326686
398.17/394.25	c cleaning 24000 clauses out of 48010 with flag 727023/3351687
401.76/397.87	c cleaning 25003 clauses out of 50009 with flag 785440/3377686
402.86/399.00	c Got one! Elapsed wall clock time (in seconds):398.677
402.86/399.00	o 84
403.07/399.17	c Got one! Elapsed wall clock time (in seconds):398.852
403.07/399.17	o 83
403.27/399.39	c cleaning 22520 clauses out of 45113 with flag 7980/3397793
403.47/399.59	c Got one! Elapsed wall clock time (in seconds):399.264
403.47/399.59	o 82
403.67/399.72	c cleaning 14113 clauses out of 28254 with flag 6602/3403454
404.17/400.21	c cleaning 10057 clauses out of 20141 with flag 24272/3409454
404.78/400.87	c cleaning 8526 clauses out of 17084 with flag 42870/3416454
405.28/401.30	c cleaning 8266 clauses out of 16558 with flag 63163/3424454
405.69/401.77	c cleaning 8634 clauses out of 17292 with flag 84441/3433454
406.28/402.32	c cleaning 9318 clauses out of 18658 with flag 108501/3443454
406.88/402.99	c cleaning 10163 clauses out of 20340 with flag 134727/3454454
407.68/403.78	c cleaning 11077 clauses out of 22177 with flag 163219/3466454
408.68/404.71	c cleaning 12042 clauses out of 24100 with flag 193373/3479454
409.68/405.78	c cleaning 13019 clauses out of 26062 with flag 225634/3493458
410.99/407.08	c cleaning 14011 clauses out of 28039 with flag 259216/3508454
412.67/408.74	c cleaning 15007 clauses out of 30030 with flag 298810/3524456
414.37/410.44	c cleaning 16001 clauses out of 32021 with flag 337767/3541454
416.16/412.25	c cleaning 17000 clauses out of 34020 with flag 379024/3559454
418.26/414.35	c cleaning 18000 clauses out of 36020 with flag 421153/3578454
420.65/416.78	c cleaning 19001 clauses out of 38020 with flag 467540/3598454
423.65/419.76	c cleaning 20000 clauses out of 40019 with flag 515456/3619454
426.75/422.83	c cleaning 20999 clauses out of 42019 with flag 565611/3641454
429.95/426.04	c cleaning 22000 clauses out of 44021 with flag 618350/3664455
433.34/429.45	c cleaning 23000 clauses out of 46022 with flag 672622/3688456
437.05/433.17	c Got one! Elapsed wall clock time (in seconds):432.85
437.05/433.17	o 81
437.44/433.56	c cleaning 26121 clauses out of 52262 with flag 14674/3717696
437.74/433.80	c cleaning 16048 clauses out of 32140 with flag 32723/3723695
437.95/434.05	c cleaning 11527 clauses out of 23091 with flag 49992/3730694
438.24/434.30	c cleaning 9762 clauses out of 19564 with flag 68361/3738694
438.54/434.65	c cleaning 9381 clauses out of 18801 with flag 89900/3747693
438.64/434.77	c Got one! Elapsed wall clock time (in seconds):434.448
438.64/434.77	o 79
438.84/434.93	c cleaning 7470 clauses out of 14958 with flag 9109/3753231
439.05/435.14	c cleaning 6727 clauses out of 13488 with flag 23898/3759231
439.14/435.20	c Got one! Elapsed wall clock time (in seconds):434.883
439.14/435.20	o 78
439.24/435.37	c cleaning 6128 clauses out of 12279 with flag 12181/3764749
439.54/435.60	c cleaning 6059 clauses out of 12148 with flag 30251/3770746
439.74/435.86	c cleaning 6533 clauses out of 13090 with flag 48808/3777747
440.13/436.20	c cleaning 7268 clauses out of 14557 with flag 69100/3785747
440.53/436.64	c cleaning 8137 clauses out of 16289 with flag 91673/3794747
441.05/437.15	c cleaning 9065 clauses out of 18150 with flag 117590/3804745
441.63/437.78	c cleaning 10029 clauses out of 20086 with flag 147246/3815746
442.33/438.46	c cleaning 11017 clauses out of 22056 with flag 178067/3827745
443.22/439.35	c cleaning 12005 clauses out of 24039 with flag 209089/3840745
444.17/440.29	c cleaning 13006 clauses out of 26035 with flag 241714/3854746
445.16/441.28	c cleaning 14003 clauses out of 28028 with flag 276770/3869745
446.56/442.69	c cleaning 15001 clauses out of 30025 with flag 313752/3885745
448.07/444.13	c cleaning 16002 clauses out of 32024 with flag 353239/3902745
449.77/445.85	c cleaning 17002 clauses out of 34023 with flag 395816/3920746
451.36/447.48	c cleaning 18003 clauses out of 36021 with flag 440634/3939746
453.46/449.54	c cleaning 19000 clauses out of 38021 with flag 487778/3959749
455.66/451.71	c cleaning 19997 clauses out of 40017 with flag 536878/3980745
457.85/453.92	c cleaning 20998 clauses out of 42020 with flag 589156/4002745
460.65/456.71	c cleaning 21995 clauses out of 44023 with flag 643361/4025746
464.14/460.29	c cleaning 23003 clauses out of 46029 with flag 701182/4049747
467.05/463.13	c cleaning 24004 clauses out of 48026 with flag 760820/4074747
469.83/465.92	c cleaning 24994 clauses out of 50020 with flag 821869/4100745
473.34/469.40	c cleaning 26003 clauses out of 52031 with flag 884167/4127750
477.13/473.27	c cleaning 27001 clauses out of 54023 with flag 949551/4155745
481.05/477.14	c cleaning 27999 clauses out of 56023 with flag 1016935/4184746
484.05/480.13	c cleaning 29003 clauses out of 58027 with flag 1087622/4214749
487.63/483.77	c cleaning 30003 clauses out of 60021 with flag 1160603/4245746
490.62/486.75	c cleaning 30996 clauses out of 62019 with flag 1238448/4277747
494.41/490.50	c cleaning 31997 clauses out of 64021 with flag 1314113/4310745
498.51/494.60	c cleaning 33004 clauses out of 66027 with flag 1391064/4344748
502.50/498.68	c cleaning 33999 clauses out of 68021 with flag 1469893/4379746
507.19/503.34	c cleaning 35002 clauses out of 70022 with flag 1550424/4415746
512.28/508.46	c cleaning 36000 clauses out of 72022 with flag 1633203/4452748
516.98/513.19	c cleaning 36996 clauses out of 74019 with flag 1718096/4490745
522.70/518.85	c cleaning 38002 clauses out of 76023 with flag 1805775/4529745
528.70/524.83	c cleaning 38999 clauses out of 78021 with flag 1896132/4569745
534.90/531.07	c cleaning 40002 clauses out of 80023 with flag 1987513/4610746
542.77/538.90	c cleaning 40997 clauses out of 82020 with flag 2082297/4652745
550.26/546.40	c cleaning 41999 clauses out of 84023 with flag 2178775/4695745
555.87/552.06	c cleaning 43003 clauses out of 86025 with flag 2278752/4739746
563.54/559.72	c cleaning 43997 clauses out of 88021 with flag 2378904/4784745
571.93/568.14	c cleaning 44999 clauses out of 90024 with flag 2482475/4830745
581.01/577.28	c cleaning 46000 clauses out of 92025 with flag 2588032/4877745
588.09/584.32	c cleaning 47002 clauses out of 94027 with flag 2695316/4925747
599.07/595.39	c cleaning 48004 clauses out of 96023 with flag 2805393/4974745
608.06/604.36	c cleaning 49000 clauses out of 98021 with flag 2915976/5024747
618.34/614.68	c cleaning 50000 clauses out of 100020 with flag 3032231/5075746
629.01/625.39	c cleaning 50995 clauses out of 102019 with flag 3150165/5127745
643.18/639.50	c cleaning 52000 clauses out of 104024 with flag 3270108/5180745
658.35/654.75	c cleaning 53002 clauses out of 106024 with flag 3390549/5234745
670.93/667.36	c cleaning 54001 clauses out of 108024 with flag 3514568/5289747
682.40/678.86	c cleaning 55001 clauses out of 110021 with flag 3640775/5345745
687.30/683.72	c Got one! Elapsed wall clock time (in seconds):683.399
687.30/683.72	o 77
687.71/684.19	c Got one! Elapsed wall clock time (in seconds):683.866
687.71/684.19	o 67
688.99/685.34	c cleaning 46880 clauses out of 93779 with flag 2704/5384504
689.39/685.71	c cleaning 26438 clauses out of 52903 with flag 18830/5390508
689.59/685.97	c cleaning 16697 clauses out of 33461 with flag 37143/5397504
689.89/686.26	c cleaning 12367 clauses out of 24765 with flag 57886/5405505
689.99/686.37	c Got one! Elapsed wall clock time (in seconds):686.05
689.99/686.37	o 65
690.10/686.46	c cleaning 8978 clauses out of 17972 with flag 5577/5411079
690.39/686.70	c cleaning 7488 clauses out of 14995 with flag 22910/5417080
690.72/687.07	c cleaning 7245 clauses out of 14507 with flag 42566/5424080
691.20/687.50	c cleaning 7623 clauses out of 15261 with flag 64008/5432079
691.60/687.93	c cleaning 8313 clauses out of 16639 with flag 87429/5441080
692.20/688.54	c cleaning 9155 clauses out of 18325 with flag 117847/5451079
692.90/689.28	c cleaning 10077 clauses out of 20172 with flag 148335/5462081
693.81/690.11	c cleaning 11040 clauses out of 22093 with flag 181768/5474079
694.39/690.74	c cleaning 12014 clauses out of 24055 with flag 217910/5487081
695.09/691.43	c cleaning 13005 clauses out of 26040 with flag 255935/5501080
696.09/692.42	c cleaning 14004 clauses out of 28034 with flag 294260/5516079
697.19/693.59	c cleaning 15003 clauses out of 30032 with flag 334872/5532081
698.59/694.93	c cleaning 16003 clauses out of 32029 with flag 378203/5549081
699.80/696.13	c cleaning 17004 clauses out of 34027 with flag 425236/5567082
701.18/697.53	c cleaning 18000 clauses out of 36020 with flag 473346/5586079
702.98/699.33	c cleaning 18996 clauses out of 38022 with flag 521170/5606081
705.47/701.82	c cleaning 19998 clauses out of 40024 with flag 570101/5627079
708.28/704.64	c cleaning 21001 clauses out of 42026 with flag 623262/5649079
710.97/707.32	c cleaning 22003 clauses out of 44028 with flag 677031/5672082
713.96/710.34	c cleaning 22999 clauses out of 46022 with flag 734134/5696079
717.36/713.77	c cleaning 24003 clauses out of 48024 with flag 793757/5721080
720.85/717.29	c cleaning 24997 clauses out of 50021 with flag 856452/5747080
723.55/719.97	c cleaning 25991 clauses out of 52023 with flag 921847/5774079
728.01/723.92	c cleaning 26997 clauses out of 54034 with flag 989985/5802081
730.81/726.78	c cleaning 27998 clauses out of 56036 with flag 1058638/5831080
733.01/729.00	c cleaning 29002 clauses out of 58039 with flag 1131767/5861081
735.70/731.67	c cleaning 30001 clauses out of 60036 with flag 1208954/5892080
737.80/733.74	c cleaning 30990 clauses out of 62034 with flag 1290932/5924079
740.59/736.54	c cleaning 32001 clauses out of 64045 with flag 1379618/5957080
740.89/736.80	c Got one! Elapsed wall clock time (in seconds):736.476
740.89/736.80	o 63
741.22/737.19	c cleaning 21526 clauses out of 43089 with flag 13347/5968125
741.51/737.46	c cleaning 13761 clauses out of 27564 with flag 27487/5974126
741.51/737.48	c Got one! Elapsed wall clock time (in seconds):737.157
741.51/737.48	o 62
741.71/737.69	c cleaning 9636 clauses out of 19272 with flag 14771/5979595
741.81/737.74	c Got one! Elapsed wall clock time (in seconds):737.414
741.81/737.74	o 60
742.01/737.92	c cleaning 7387 clauses out of 14786 with flag 11159/5984745
742.22/738.15	c cleaning 6690 clauses out of 13399 with flag 27349/5990745
742.41/738.40	c cleaning 6849 clauses out of 13709 with flag 44840/5997745
742.71/738.66	c cleaning 7426 clauses out of 14860 with flag 64792/6005745
743.12/739.02	c cleaning 8212 clauses out of 16434 with flag 88934/6014745
743.50/739.46	c cleaning 9109 clauses out of 18224 with flag 114155/6024747
744.11/740.01	c cleaning 10049 clauses out of 20113 with flag 141300/6035745
744.70/740.67	c cleaning 11029 clauses out of 22064 with flag 170578/6047745
745.60/741.55	c cleaning 12014 clauses out of 24035 with flag 201875/6060745
746.60/742.51	c cleaning 13007 clauses out of 26026 with flag 235354/6074750
747.70/743.63	c cleaning 14003 clauses out of 28014 with flag 272559/6089745
748.89/744.86	c cleaning 14999 clauses out of 30011 with flag 311830/6105745
750.21/746.19	c cleaning 16006 clauses out of 32017 with flag 353101/6122750
751.93/747.85	c cleaning 16997 clauses out of 34006 with flag 395502/6140745
753.53/749.45	c cleaning 17997 clauses out of 36010 with flag 440726/6159746
755.24/751.12	c cleaning 19004 clauses out of 38015 with flag 488888/6179748
757.32/753.25	c cleaning 19998 clauses out of 40008 with flag 539058/6200745
759.23/755.17	c cleaning 20995 clauses out of 42010 with flag 592860/6222745
761.31/757.20	c cleaning 22000 clauses out of 44016 with flag 664156/6245746
763.91/759.86	c cleaning 22998 clauses out of 46015 with flag 741460/6269745
766.70/762.69	c cleaning 23999 clauses out of 48019 with flag 836006/6294747
770.00/765.93	c cleaning 24999 clauses out of 50020 with flag 924500/6320747
773.90/769.87	c cleaning 26003 clauses out of 52019 with flag 1020039/6347745
777.69/773.60	c cleaning 26999 clauses out of 54016 with flag 1104087/6375745
781.78/777.75	c cleaning 28004 clauses out of 56017 with flag 1192393/6404745
784.09/780.02	c cleaning 28994 clauses out of 58014 with flag 1266355/6434746
786.08/782.04	c cleaning 30002 clauses out of 60021 with flag 1340784/6465747
787.97/783.94	c cleaning 30989 clauses out of 62017 with flag 1424367/6497745
788.37/784.30	c Got one! Elapsed wall clock time (in seconds):783.981
788.37/784.30	o 57
788.79/784.63	c cleaning 22171 clauses out of 44377 with flag 15348/6511094
789.09/784.93	c cleaning 14083 clauses out of 28206 with flag 28418/6517094
789.39/785.29	c cleaning 10543 clauses out of 21125 with flag 44081/6524096
789.78/785.68	c cleaning 9268 clauses out of 18580 with flag 61864/6532094
790.20/786.10	c cleaning 9134 clauses out of 18313 with flag 81890/6541095
790.68/786.58	c cleaning 9572 clauses out of 19179 with flag 103616/6551095
791.30/787.11	c cleaning 10282 clauses out of 20607 with flag 128095/6562095
792.24/788.01	c cleaning 11145 clauses out of 22324 with flag 154188/6574094
792.92/788.72	c cleaning 12073 clauses out of 24179 with flag 182608/6587094
793.92/789.70	c cleaning 13038 clauses out of 26106 with flag 213620/6601094
795.12/790.95	c cleaning 14017 clauses out of 28070 with flag 246839/6616096
796.23/792.10	c cleaning 15011 clauses out of 30053 with flag 282585/6632096
797.61/793.42	c cleaning 16002 clauses out of 32041 with flag 320060/6649095
799.01/794.88	c cleaning 17002 clauses out of 34040 with flag 359602/6667096
800.41/796.24	c cleaning 17996 clauses out of 36036 with flag 402236/6686094
801.81/797.63	c cleaning 19000 clauses out of 38040 with flag 448162/6706094
803.41/799.26	c cleaning 19999 clauses out of 40040 with flag 497387/6727094
805.40/801.27	c cleaning 21001 clauses out of 42043 with flag 549231/6749096
807.40/803.25	c cleaning 22001 clauses out of 44041 with flag 608153/6772095
809.59/805.48	c cleaning 23000 clauses out of 46040 with flag 666779/6796095
811.89/807.77	c cleaning 24005 clauses out of 48041 with flag 726404/6821096
814.68/810.52	c cleaning 24999 clauses out of 50036 with flag 788530/6847096
817.58/813.48	c cleaning 25994 clauses out of 52037 with flag 852945/6874096
821.57/817.48	c cleaning 27004 clauses out of 54043 with flag 922331/6902096
824.08/819.90	c Got one! Elapsed wall clock time (in seconds):819.581
824.08/819.90	o 55
824.38/820.28	c cleaning 26022 clauses out of 52064 with flag 13089/6927121
824.85/820.61	c cleaning 16007 clauses out of 32042 with flag 28028/6933121
825.05/820.89	c cleaning 11502 clauses out of 23035 with flag 45370/6940121
825.36/821.14	c cleaning 9752 clauses out of 19533 with flag 65209/6948121
825.75/821.57	c cleaning 9378 clauses out of 18783 with flag 87466/6957123
825.95/821.74	c Got one! Elapsed wall clock time (in seconds):821.422
825.95/821.74	o 53
826.05/821.82	c cleaning 7645 clauses out of 15317 with flag 5569/6963035
826.26/822.02	c cleaning 6818 clauses out of 13670 with flag 21516/6969033
826.45/822.25	c cleaning 6916 clauses out of 13852 with flag 39215/6976033
826.75/822.53	c cleaning 7459 clauses out of 14936 with flag 60562/6984033
827.05/822.86	c cleaning 8229 clauses out of 16477 with flag 83956/6993033
827.45/823.26	c cleaning 9110 clauses out of 18248 with flag 109232/7003033
827.85/823.67	c cleaning 10044 clauses out of 20139 with flag 137852/7014034
827.95/823.71	c Got one! Elapsed wall clock time (in seconds):823.39
827.95/823.71	o 52
828.15/823.92	c cleaning 7617 clauses out of 15263 with flag 14362/7019202
828.36/824.12	c cleaning 6807 clauses out of 13645 with flag 29818/7025201
828.55/824.37	c cleaning 6907 clauses out of 13839 with flag 47370/7032202
828.65/824.48	c Got one! Elapsed wall clock time (in seconds):824.157
828.65/824.48	o 50
828.75/824.57	c cleaning 5970 clauses out of 11968 with flag 6228/7037238
828.95/824.78	c cleaning 5986 clauses out of 11998 with flag 18483/7043238
829.26/825.02	c cleaning 6494 clauses out of 13012 with flag 34926/7050238
829.65/825.43	c cleaning 7251 clauses out of 14520 with flag 61343/7058240
829.95/825.79	c cleaning 8129 clauses out of 16268 with flag 83223/7067239
830.26/826.01	c Got one! Elapsed wall clock time (in seconds):825.69
830.26/826.01	o 49
830.26/826.08	c cleaning 6806 clauses out of 13634 with flag 5526/7072734
830.55/826.31	c cleaning 6405 clauses out of 12826 with flag 22379/7078732
830.75/826.57	c cleaning 6698 clauses out of 13422 with flag 41753/7085733
831.14/826.90	c cleaning 7352 clauses out of 14723 with flag 62173/7093732
831.54/827.31	c cleaning 8177 clauses out of 16372 with flag 85945/7102733
832.05/827.83	c cleaning 9092 clauses out of 18195 with flag 111037/7112733
832.66/828.48	c cleaning 10044 clauses out of 20102 with flag 138298/7123732
833.37/829.16	c cleaning 11024 clauses out of 22058 with flag 167647/7135732
834.15/829.93	c cleaning 12007 clauses out of 24034 with flag 200338/7148732
835.05/830.80	c cleaning 13006 clauses out of 26028 with flag 235571/7162733
836.26/832.01	c cleaning 14005 clauses out of 28022 with flag 271222/7177733
837.44/833.21	c cleaning 14999 clauses out of 30017 with flag 308794/7193733
838.64/834.48	c cleaning 16000 clauses out of 32017 with flag 348982/7210732
840.15/835.91	c cleaning 17007 clauses out of 34024 with flag 391051/7228739
842.04/837.82	c cleaning 18001 clauses out of 36011 with flag 435690/7247733
843.84/839.68	c cleaning 19000 clauses out of 38009 with flag 482188/7267732
846.14/841.91	c cleaning 19996 clauses out of 40011 with flag 535479/7288734
848.43/844.26	c cleaning 21001 clauses out of 42014 with flag 591889/7310733
850.77/846.56	c cleaning 22001 clauses out of 44014 with flag 652547/7333734
853.17/849.00	c cleaning 23002 clauses out of 46013 with flag 711617/7357734
856.96/852.74	c cleaning 23996 clauses out of 48009 with flag 772566/7382732
861.16/856.91	c cleaning 25002 clauses out of 50013 with flag 835202/7408732
865.45/861.26	c cleaning 26004 clauses out of 52011 with flag 899006/7435732
869.04/864.89	c cleaning 26999 clauses out of 54007 with flag 967792/7463732
873.53/869.35	c cleaning 27996 clauses out of 56008 with flag 1045911/7492732
877.83/873.68	c cleaning 28998 clauses out of 58012 with flag 1116608/7522732
882.34/878.17	c cleaning 30002 clauses out of 60014 with flag 1189532/7553732
886.61/882.41	c cleaning 30994 clauses out of 62012 with flag 1264551/7585732
892.31/888.19	c cleaning 32003 clauses out of 64019 with flag 1341188/7618733
897.30/893.13	c cleaning 32999 clauses out of 66016 with flag 1420495/7652733
901.89/897.79	c cleaning 34002 clauses out of 68018 with flag 1502483/7687734
907.68/903.56	c cleaning 34999 clauses out of 70014 with flag 1590654/7723732
913.86/909.73	c cleaning 35999 clauses out of 72017 with flag 1678639/7760734
919.98/915.79	c cleaning 37002 clauses out of 74017 with flag 1769198/7798733
925.38/921.15	c cleaning 38002 clauses out of 76015 with flag 1861113/7837733
931.76/927.59	c cleaning 39003 clauses out of 78012 with flag 1954504/7877732
938.36/934.11	c cleaning 39997 clauses out of 80011 with flag 2050840/7918734
944.53/940.36	c cleaning 41001 clauses out of 82014 with flag 2150423/7960734
951.24/947.07	c cleaning 42002 clauses out of 84012 with flag 2249427/8003733
959.12/954.98	c cleaning 42998 clauses out of 86010 with flag 2352114/8047733
968.40/964.22	c cleaning 44004 clauses out of 88011 with flag 2457058/8092732
976.99/972.81	c cleaning 45005 clauses out of 90014 with flag 2563751/8138739
984.88/980.78	c cleaning 45991 clauses out of 92002 with flag 2672751/8185732
994.56/990.49	c cleaning 47004 clauses out of 94011 with flag 2784065/8233732
1003.45/999.21	c cleaning 48002 clauses out of 96010 with flag 2898057/8282735
1006.64/1002.49	c Got one! Elapsed wall clock time (in seconds):1002.167
1006.64/1002.49	o 48
1007.54/1003.37	c cleaning 38701 clauses out of 77422 with flag 21347/8312149
1007.84/1003.68	c cleaning 22341 clauses out of 44723 with flag 35753/8318151
1008.14/1003.96	c cleaning 14673 clauses out of 29381 with flag 52400/8325150
1008.44/1004.26	c cleaning 11335 clauses out of 22707 with flag 71629/8333149
1008.94/1004.70	c cleaning 10170 clauses out of 20378 with flag 93177/8342155
1009.35/1005.12	c cleaning 10081 clauses out of 20203 with flag 116586/8352150
1009.64/1005.49	c Got one! Elapsed wall clock time (in seconds):1005.169
1009.64/1005.49	o 45
1009.94/1005.74	c cleaning 12056 clauses out of 24119 with flag 14664/8366147
1010.14/1005.97	c cleaning 9015 clauses out of 18060 with flag 29591/8372144
1010.44/1006.23	c cleaning 8010 clauses out of 16047 with flag 46807/8379146
1010.83/1006.60	c cleaning 7972 clauses out of 16035 with flag 67705/8387144
1010.93/1006.73	c Got one! Elapsed wall clock time (in seconds):1006.41
1010.93/1006.73	o 43
1011.35/1007.12	c cleaning 6847 clauses out of 13705 with flag 8034/8392786
1011.63/1007.46	c cleaning 6426 clauses out of 12859 with flag 22026/8398787
1012.93/1008.77	c cleaning 6709 clauses out of 13432 with flag 45327/8405786
1013.73/1009.56	c cleaning 7353 clauses out of 14725 with flag 65992/8413788
1014.13/1009.99	c cleaning 8177 clauses out of 16371 with flag 84815/8422787
1014.73/1010.53	c cleaning 9092 clauses out of 18193 with flag 105503/8432786
1015.43/1011.24	c cleaning 10047 clauses out of 20102 with flag 128941/8443787
1016.24/1012.03	c cleaning 11022 clauses out of 22054 with flag 154580/8455786
1017.12/1012.96	c cleaning 12012 clauses out of 24035 with flag 183098/8468789
1018.24/1014.09	c cleaning 13003 clauses out of 26021 with flag 213885/8482787
1019.53/1015.38	c cleaning 14004 clauses out of 28017 with flag 246554/8497786
1020.82/1016.63	c cleaning 14999 clauses out of 30013 with flag 281722/8513786
1022.33/1018.13	c cleaning 16002 clauses out of 32016 with flag 318858/8530788
1024.42/1020.26	c cleaning 17002 clauses out of 34014 with flag 358901/8548788
1026.51/1022.39	c cleaning 18003 clauses out of 36010 with flag 400744/8567786
1028.91/1024.76	c cleaning 19000 clauses out of 38007 with flag 444812/8587786
1031.40/1027.29	c cleaning 20003 clauses out of 40007 with flag 490760/8608786
1033.90/1029.71	c cleaning 20996 clauses out of 42005 with flag 538928/8630787
1036.70/1032.52	c cleaning 22003 clauses out of 44008 with flag 589277/8653786
1040.30/1036.15	c cleaning 22997 clauses out of 46006 with flag 642588/8677787
1043.99/1039.87	c cleaning 24001 clauses out of 48009 with flag 698738/8702787
1047.98/1043.82	c cleaning 25002 clauses out of 50009 with flag 757359/8728788
1051.77/1047.67	c cleaning 26000 clauses out of 52006 with flag 817893/8755787
1056.47/1052.21	c cleaning 26997 clauses out of 54005 with flag 881368/8783786
1061.06/1056.88	c cleaning 27999 clauses out of 56009 with flag 946321/8812787
1066.15/1061.94	c cleaning 28999 clauses out of 58009 with flag 1014132/8842786
1071.74/1067.55	c cleaning 30000 clauses out of 60010 with flag 1083017/8873786
1077.84/1073.69	c cleaning 31004 clauses out of 62011 with flag 1157043/8905787
1082.53/1078.32	c cleaning 32000 clauses out of 64006 with flag 1232067/8938786
1088.11/1083.99	c cleaning 32996 clauses out of 66008 with flag 1312523/8972788
1094.10/1089.97	c cleaning 34000 clauses out of 68011 with flag 1397234/9007787
1102.38/1098.20	c cleaning 35002 clauses out of 70011 with flag 1479302/9043787
1110.06/1105.94	c cleaning 35999 clauses out of 72009 with flag 1561414/9080787
1119.05/1114.94	c cleaning 37001 clauses out of 74011 with flag 1647150/9118788
1130.43/1126.36	c cleaning 37997 clauses out of 76008 with flag 1736285/9157786
1138.81/1134.78	c cleaning 39004 clauses out of 78013 with flag 1826623/9197788
1150.10/1146.05	c cleaning 39995 clauses out of 80007 with flag 1917781/9238786
1163.77/1159.74	c cleaning 41004 clauses out of 82015 with flag 2013916/9280789
1174.95/1170.97	c cleaning 42001 clauses out of 84008 with flag 2115500/9323786
1187.34/1183.20	c cleaning 43001 clauses out of 86009 with flag 2215001/9367788
1198.13/1194.07	c cleaning 43998 clauses out of 88006 with flag 2317888/9412786
1208.12/1204.03	c cleaning 45005 clauses out of 90009 with flag 2423032/9458787
1218.40/1214.37	c cleaning 45997 clauses out of 92003 with flag 2530296/9505786
1228.58/1224.51	c cleaning 47003 clauses out of 94007 with flag 2644403/9553787
1239.46/1235.33	c cleaning 47997 clauses out of 96004 with flag 2758359/9602787
1259.03/1254.99	c cleaning 49000 clauses out of 98008 with flag 2871723/9652788
1276.90/1272.82	c cleaning 50002 clauses out of 100007 with flag 2988384/9703787
1291.88/1287.84	c cleaning 50998 clauses out of 102004 with flag 3112270/9755786
1309.07/1305.05	c cleaning 52001 clauses out of 104008 with flag 3237138/9808788
1323.32/1319.40	c cleaning 53000 clauses out of 106006 with flag 3360239/9862787
1343.89/1339.92	c cleaning 53998 clauses out of 108006 with flag 3486223/9917787
1365.07/1361.12	c cleaning 54999 clauses out of 110007 with flag 3613749/9973786
1385.46/1381.53	c cleaning 56000 clauses out of 112009 with flag 3748487/10030787
1403.05/1399.11	c cleaning 57003 clauses out of 114010 with flag 3883824/10088788
1420.32/1416.44	c cleaning 57999 clauses out of 116008 with flag 4018615/10147789
1438.39/1434.50	c cleaning 59003 clauses out of 118008 with flag 4154089/10207788
1454.26/1450.44	c cleaning 60002 clauses out of 120005 with flag 4294123/10268788
1478.85/1475.02	c cleaning 60998 clauses out of 122001 with flag 4432362/10330786
1510.99/1507.23	c cleaning 61997 clauses out of 124003 with flag 4573916/10393786
1536.06/1532.32	c cleaning 63002 clauses out of 126006 with flag 4722035/10457786
1557.33/1553.69	c cleaning 63999 clauses out of 128004 with flag 4870620/10522786
1582.30/1578.60	c cleaning 64995 clauses out of 130005 with flag 5018657/10588786
1606.13/1602.43	c cleaning 66000 clauses out of 132010 with flag 5171666/10655786
1632.10/1628.44	c cleaning 67001 clauses out of 134010 with flag 5325687/10723786
1654.16/1650.55	c cleaning 67999 clauses out of 136010 with flag 5480740/10792787
1672.03/1668.41	c cleaning 69002 clauses out of 138011 with flag 5647167/10862787
1712.68/1708.92	c cleaning 69997 clauses out of 140008 with flag 5816240/10933786
1736.64/1732.97	c cleaning 71004 clauses out of 142012 with flag 5980415/11005787
1755.42/1751.76	c cleaning 72000 clauses out of 144007 with flag 6144174/11078786
1792.25/1788.63	c cleaning 72998 clauses out of 146007 with flag 6310447/11152786
1820.31/1816.73	c cleaning 74006 clauses out of 148014 with flag 6481740/11227791
1842.48/1838.90	c cleaning 75002 clauses out of 150004 with flag 6653216/11303787
1888.41/1885.00	c cleaning 75998 clauses out of 152003 with flag 6828640/11380788
1928.65/1925.21	c cleaning 76999 clauses out of 154003 with flag 7009945/11458786
1961.58/1958.24	c cleaning 77998 clauses out of 156005 with flag 7189302/11537787
1992.92/1989.64	c cleaning 79003 clauses out of 158007 with flag 7368910/11617787
2026.16/2022.90	c cleaning 80000 clauses out of 160008 with flag 7563341/11698791
2099.23/2096.13	c cleaning 80994 clauses out of 162004 with flag 7794774/11780787
2163.01/2160.03	c cleaning 81994 clauses out of 164014 with flag 8014637/11863791
2230.77/2228.01	c cleaning 83001 clauses out of 166016 with flag 8244056/11947787
2316.62/2313.96	c cleaning 83997 clauses out of 168014 with flag 8453551/12032786
2401.52/2398.79	c cleaning 85004 clauses out of 170018 with flag 8662859/12118787
2483.38/2480.75	c cleaning 86005 clauses out of 172013 with flag 8886389/12205786
2549.06/2546.57	c cleaning 87002 clauses out of 174008 with flag 9126577/12293786
2622.58/2620.15	c cleaning 88000 clauses out of 176007 with flag 9355627/12382787
2694.76/2692.25	c cleaning 88999 clauses out of 178006 with flag 9599983/12472786
2770.75/2768.31	c cleaning 89994 clauses out of 180009 with flag 9836724/12563788
2822.85/2820.52	c cleaning 91001 clauses out of 182013 with flag 10074788/12655786
2864.57/2862.39	c cleaning 92005 clauses out of 184013 with flag 10318137/12748787
2932.78/2930.58	c cleaning 93000 clauses out of 186010 with flag 10561993/12842789
3026.72/3024.66	c cleaning 93999 clauses out of 188009 with flag 10816058/12937788
3110.08/3108.11	c cleaning 95001 clauses out of 190009 with flag 11076914/13033787
3195.24/3193.40	c cleaning 96001 clauses out of 192007 with flag 11334622/13130786
3279.09/3277.38	c cleaning 97003 clauses out of 194008 with flag 11604100/13228788
3393.51/3391.85	c cleaning 98000 clauses out of 196003 with flag 11877866/13327786
3502.32/3500.88	c cleaning 98997 clauses out of 198005 with flag 12154714/13427788
3536.36/3534.86	c cleaning 100001 clauses out of 200009 with flag 12397772/13528789
3600.06/3598.64	c starts		: 11991
3600.06/3598.66	c conflicts		: 13589503
3600.06/3598.66	c decisions		: 17892722
3600.06/3598.66	c propagations		: 1078231467
3600.06/3598.66	c inspects		: 41260546505
3600.06/3598.66	c shortcuts		: 0
3600.06/3598.66	c learnt literals	: 0
3600.06/3598.66	c learnt binary clauses	: 644
3600.06/3598.66	c learnt ternary clauses	: 700
3600.06/3598.66	c learnt constraints	: 13589503
3600.06/3598.66	c ignored constraints	: 0
3600.06/3598.66	c root simplifications	: 0
3600.06/3598.66	c removed literals (reason simplification)	: 0
3600.06/3598.66	c reason swapping (by a shorter reason)	: 0
3600.06/3598.66	c Calls to reduceDB	: 545
3600.06/3598.66	c Number of update (reduction) of LBD	: 1422487
3600.06/3598.66	c Imported unit clauses	: 0
3600.06/3598.66	c No decision after first conflict	: false
3600.06/3598.66	c number of reductions to clauses (during analyze)	: 0
3600.06/3598.66	c number of learned constraints concerned by reduction	: 0
3600.06/3598.66	c number of learning phase by resolution	: 0
3600.06/3598.66	c number of learning phase by cutting planes	: 0
3600.06/3598.66	c number of rounding to 1 operations	: 0
3600.06/3598.68	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.06/3598.68	c number of reductions of the coefficients by power 2 	: 0
3600.06/3598.68	c number of right shift for reduction by power 2 	: 0
3600.06/3598.68	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.06/3598.68	c number of ending skipping 	: 0
3600.06/3598.68	c number of internal skipping 	: 0
3600.06/3598.68	c number of derivation steps 	: 0
3600.06/3598.68	c number of skipped derivation steps 	: 0
3600.06/3598.68	c number of remaining unassigned 	: 0
3600.06/3598.68	c number of remaining assigned 	: 0
3600.06/3598.68	c number of falsified literals weakened from reason	: 0
3600.06/3598.68	c number of falsified literals weakened from conflict	: 0
3600.06/3598.68	c time for arithmetic operations	: 0
3600.06/3598.68	c minimum degree of deleted constraints	: null
3600.06/3598.68	c maximum degree of deleted constraints	: null
3600.06/3598.68	c number of deleted constraints	: 0
3600.06/3598.68	c speed (assignments/second)	: 299696.05086512404
3600.06/3598.68	c non guided choices	: 1496298
3600.45/3598.84	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 160078
3600.45/3598.84	c learnt constraints type org.sat4j.pb.constraints.pb.LearntBinaryClausePB	: 644
3600.45/3598.84	s SATISFIABLE
3600.45/3598.84	c Found 43 solution(s)
3600.45/3598.85	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 x93 x94 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 -x126 -x127 -x128 x129 x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 x151 x152 x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 x174 x175 -x176 -x177 -x178 -x179 x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 x213 x214 -x215 -x216 -x217 -x218 -x219 x220 x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 x240 -x241 -x242 -x243 -x244 -x245 x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 x261 -x262 -x263 -x264 x265 x266 x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 x295 x296 -x297 -x298 -x299 -x300 x301 x302 x303 -x304 x305 x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 x321 x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 x348 x349 -x350 -x351 -x352 x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 x365 -x366 -x367 -x368 -x369 -x370 -x371 x372 x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 x389 -x390 -x391 -x392 x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 x414 x415 x416 -x417 -x418 -x419 x420 x421 -x422 -x423 -x424 -x425 x426 x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 x453 -x454 -x455 -x456 x457 x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 x468 x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 x479 x480 x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 -x494 -x495 -x496 x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 x513 x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 x534 x535 x536 x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 x556 x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 x569 x570 x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 x596 x597 -x598 -x599 -x600 -x601 -x602 -x603 x604 x605 -x606 -x607 -x608 -x609 x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 x647 -x648 -x649 -x650 -x651 x652 x653 -x654 -x655 -x656 -x657 -x658 -x659 x660 x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 x682 x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 x711 x712 -x713 -x714 -x715 x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 x743 x744 -x745 -x746 -x747 -x748 -x749 x750 x751 -x752 -x753 -x754 -x755 x756 x757 x758 -x759 -x760 x761 x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 x770 x771 -x772 -x773 -x774 -x775 -x776 x777 x778 x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 x789 x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 x804 x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 x839 -x840 x841 x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 x871 -x872 -x873 -x874 -x875 x876 x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 -x904 -x905 -x906 -x907 -x908 x909 x910 x911 -x912 -x913 -x914 -x915 -x916 x917 x918 x919 -x920 x921 x922 -x923 -x924 -x925 -x926 -x927 -x928 x929 x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 x951 -x952 -x953 -x954 -x955 x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 x966 x967 -x968 -x969 -x970 -x971 x972 x973 x974 -x975 -x976 -x977 -x978 -x979 x980 x981 x982 -x983 -x984 -x985 -x986 -x987 x988 x989 x990 -x991 -x992 -x993 x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 x1017 x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 x1044 x1045 -x1046 -x1047 -x1048 x1049 x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 x1073 x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 x1093 x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 x1103 x1104 x1105 x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 x1151 x1152 -x1153 -x1154 -x1155 x1156 x1157 -x1158 -x1159 -x1160 -x1161 x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 x1197 x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 x1206 x1207 x1208 -x1209 -x1210 -x1211 x1212 x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 x1220 x1221 x1222 -x1223 -x1224 x1225 x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 x1240 -x1241 -x1242 -x1243 x1244 x1245 -x1246 -x1247 -x1248 x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 x1260 x1261 x1262 -x1263 -x1264 -x1265 -x1266 -x1267 x1268 x1269 x1270 -x1271 -x1272 x1273 x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 x1292 x1293 -x1294 -x1295 -x1296 x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 x1329 x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 x1359 x1360 x1361 x1362 x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 x1372 x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 x1394 x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 x1404 x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 x1412 x1413 -x1414 -x1415 -x1416 x1417 x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 x1432 -x1433 -x1434 -x1435 x1436 x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 x1455 x1456 x1457 x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 x1479 -x1480 x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 x1509 -x1510 -x1511 -x1512 -x1513 x1514 x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 x1535 x1536 -x1537 -x1538 -x1539 x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 x1549 x1550 x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 x1565 -x1566 -x1567 -x1568 x1569 x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 x1596 x1597 -x1598 -x1599 -x1600 -x1601 x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 x1617 x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 x1631 x1632 x1633 x1634 x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 x1642 x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 x1654 x1655 x1656 x1657 x1658 x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 x1700 x1701 -x1702 -x1703 -x1704 x1705 x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 x1732 x1733 -x1734 -x1735 -x1736 x1737 x1738 x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 x1766 x1767 -x1768 x1769 x1770 x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 x1791 x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 x1800 x1801 x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 x1809 x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 x1831 x1832 -x1833 -x1834 -x1835 x1836 x1837 x1838 -x1839 -x1840 x1841 x1842 x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 x1852 x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 x1884 x1885 x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 x1894 x1895 -x1896 -x1897 -x1898 -x1899 x1900 x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 x1910 x1911 x1912 -x1913 -x1914 -x1915 x1916 x1917 x1918 -x1919 -x1920 x1921 x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 x1937 x1938 x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 x1948 x1949 -x1950 -x1951 -x1952 x1953 x1954 x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 x1967 x1968 x1969 x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 x2001 x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 x2015 x2016 -x2017 -x2018 -x2019 -x2020 -x2021 x2022 x2023 x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 x2047 x2048 -x2049 -x2050 -x2051 x2052 x2053 x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 x2065 x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 x2079 x2080 -x2081 -x2082 -x2083 x2084 x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 x2093 -x2094 -x2095 -x2096 x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 x2113 x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 x2132 x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 x2148 x2149 x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 x2169 x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 x2177 x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 x2194 x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 x2207 x2208 x2209 x2210 x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 x2236 x2237 -x2238 -x2239 -x2240 x2241 x2242 x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 x2302 -x2303 x2304 -x2305 -x2306 -x2307 -x2308 -x2309 x2310 x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 x2318 x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 x2330 x2331 -x2332 -x2333 -x2334 -x2335 -x2336 x2337 x2338 x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 x2353 x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 x2375 x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 x2394 x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 x2409 x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 x2439 -x2440 x2441 x2442 x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 x2460 x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 x2468 x2469 x2470 -x2471 -x2472 x2473 x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 x2487 x2488 -x2489 -x2490 -x2491 x2492 x2493 x2494 -x2495 -x2496 -x2497 -x2498 -x2499 x2500 x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 x2521 x2522 x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 x2545 x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 x2556 x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 x2569 x2570 x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 x2583 x2584 -x2585 -x2586 -x2587 x2588 x2589 -x2590 -x2591 -x2592 x2593 x2594 x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 x2620 x2621 -x2622 -x2623 -x2624 -x2625 x2626 x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 x2638 x2639 -x2640 x2641 x2642 x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 x2652 x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 x2668 x2669 -x2670 -x2671 -x2672 x2673 x2674 x2675 -x2676 -x2677 -x2678 -x2679 -x2680 x2681 x2682 x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 x2690 x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 x2698 x2699 -x2700 -x2701 -x2702 -x2703 -x2704 x2705 x2706 x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 x2778 x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 x2831 x2832 -x2833 -x2834 -x2835 x2836 x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 x2884 x2885 -x2886 -x2887 -x2888 x2889 x2890 x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 x2898 x2899 -x2900 -x2901 -x2902 -x2903 -x2904 x2905 x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 x2922 x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 x2932 x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 x2950 x2951 x2952 x2953 x2954 x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 x3025 x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 x3079 x3080 x3081 x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 x3097 x3098 x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 x3132 x3133 -x3134 -x3135 -x3136 x3137 x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 x3175 x3176 x3177 x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 x3198 x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 x3233 x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 x3273 x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 x3289 x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x3300 x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 x3316 x3317 -x3318 -x3319 -x3320 x3321 x3322 x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 x3361 x3362 x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 x3385 x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 x3393 x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 x3402 x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 x3430 x3431 x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 x3460 x3461 x3462 -x3463 -x3464 x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 x3569 x3570 x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 x3578 x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 x3594 x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 x3609 x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 x3628 x3629 -x3630 -x3631 -x3632 -x3633 x3634 x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 x3654 x3655 x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 x3686 x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 x3695 x3696 x3697 x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 x3706 x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 x5705 x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 x5748 x5749 x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 x5770 x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 x5796 x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 x5814 x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 x5823 x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 x5831 x5832 -x5833 -x5834 -x5835 x5836 x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 x5863 x5864 -x5865 -x5866 -x5867 -x5868 -x5869 x5870 x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 x5884 x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 x5902 x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 x5912 -x5913 -x5914 -x5915 x5916 x5917 -x5918 -x5919 -x5920 x5921 x5922 x5923 -x5924 -x5925 -x5926 -x5927 -x5928 x5929 x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 x5946 x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 x5998 x5999 x6000 -x6001 -x6002 -x6003 -x6004 -x6005 x6006 x6007 x6008 -x6009 -x6010 -x6011 x6012 x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 x6020 x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 x6034 x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 x6049 x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 x6063 x6064 -x6065 -x6066 -x6067 x6068 x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 x6087 x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 x6105 x6106 x6107 -x6108 -x6109 -x6110 -x6111 -x6112 x6113 x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 x6132 x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 x6146 x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 x6154 x6155 -x6156 -x6157 -x6158 -x6159 -x6160 x6161 x6162 x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 x6170 x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 x6196 x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 x6452 x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 x6489 x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 x6532 x6533 -x6534 -x6535 -x6536 x6537 x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 x6550 x6551 -x6552 -x6553 x6554 x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 x6565 x6566 x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 x6577 x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 x6586 x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 x6599 x6600 x6601 x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 x6620 x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 x6638 x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 x6652 x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 x6663 x6664 -x6665 -x6666 -x6667 -x6668 -x6669 x6670 x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 x6678 x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 x6694 x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 x6737 x6738 x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 x6807 x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 x6847 x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 x6862 x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 x6910 x6911 -x6912 x6913 x6914 x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 x6924 x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 x6935 x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 x6945 -x6946 x6947 x6948 x6949 x6950 x6951 x6952 -x6953 x6954 x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 x6968 -x6969 -x6970 x6971 -x6972 x6973 x6974 -x6975 x6976 -x6977 x6978 -x6979 -x6980 -x6981 x6982 x6983 -x6984 x6985 x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 x7002 x7003 x7004 -x7005 x7006 x7007 -x7008 x7009 x7010 x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 x7031 x7032 x7033 x7034 x7035 x7036 x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 x7058 x7059 x7060 x7061 x7062 x7063 x7064 x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 x7086 x7087 x7088 x7089 -x7090 x7091 x7092 -x7093 -x7094 x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 x7108 x7109 -x7110 x7111 x7112 x7113 x7114 x7115 -x7116 x7117 x7118 x7119 x7120 x7121 -x7122 x7123 x7124 x7125 x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 x7137 -x7138 -x7139 -x7140 x7141 x7142 x7143 x7144 x7145 x7146 x7147 x7148 x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 x7165 -x7166 -x7167 -x7168 x7169 -x7170 -x7171 -x7172 -x7173 x7174 -x7175 x7176 x7177 x7178 x7179 -x7180 -x7181 x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 x7192 x7193 -x7194 x7195 -x7196 -x7197 x7198 x7199 x7200 -x7201 x7202 x7203 x7204 -x7205 x7206 x7207 -x7208 -x7209 x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 x7225 x7226 -x7227 x7228 x7229 -x7230 x7231 -x7232 x7233 x7234 -x7235 -x7236 x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 x7249 -x7250 x7251 -x7252 x7253 x7254 x7255 x7256 x7257 x7258 x7259 x7260 x7261 -x7262 x7263 -x7264 -x7265 x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 x7276 -x7277 -x7278 x7279 -x7280 x7281 x7282 x7283 x7284 x7285 x7286 x7287 x7288 x7289 x7290 x7291 x7292 x7293 x7294 x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 x7305 -x7306 x7307 -x7308 x7309 x7310 x7311 x7312 x7313 x7314 x7315 x7316 x7317 x7318 x7319 x7320 x7321 -x7322 x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 x7332 x7333 -x7334 x7335 x7336 -x7337 x7338 x7339 -x7340 x7341 x7342 x7343 x7344 x7345 -x7346 x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 x7360 x7361 -x7362 x7363 -x7364 x7365 x7366 x7367 x7368 x7369 x7370 -x7371 -x7372 x7373 x7374 -x7375 -x7376 x7377 -x7378 x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 x7388 -x7389 -x7390 -x7391 -x7392 x7393 -x7394 -x7395 x7396 x7397 x7398 x7399 -x7400 x7401 -x7402 x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 x7416 x7417 -x7418 x7419 -x7420 -x7421 x7422 x7423 -x7424 -x7425 x7426 x7427 x7428 -x7429 x7430 x7431 -x7432 -x7433 x7434 x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 x7447 -x7448 x7449 x7450 x7451 x7452 x7453 -x7454 x7455 x7456 x7457 -x7458 x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 x7472 -x7473 -x7474 x7475 x7476 x7477 x7478 x7479 x7480 x7481 x7482 x7483 x7484 x7485 -x7486 x7487 x7488 x7489 -x7490 x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 x7500 x7501 -x7502 x7503 -x7504 x7505 x7506 x7507 x7508 x7509 x7510 x7511 x7512 x7513 x7514 x7515 x7516 x7517 x7518 x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 x7528 x7529 -x7530 -x7531 x7532 x7533 x7534 x7535 x7536 x7537 x7538 x7539 x7540 -x7541 x7542 x7543 x7544 -x7545 x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 x7559 -x7560 x7561 x7562 -x7563 x7564 x7565 x7566 x7567 x7568 -x7569 x7570 -x7571 x7572 -x7573 x7574 x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 x7584 x7585 -x7586 -x7587 -x7588 -x7589 x7590 x7591 x7592 x7593 x7594 -x7595 x7596 x7597 x7598 x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 x7615 -x7616 x7617 -x7618 x7619 -x7620 -x7621 x7622 x7623 -x7624 x7625 -x7626 x7627 x7628 x7629 x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 x7640 x7641 -x7642 -x7643 -x7644 -x7645 x7646 -x7647 x7648 x7649 -x7650 x7651 x7652 -x7653 x7654 x7655 x7656 x7657 x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 x7668 x7669 -x7670 x7671 -x7672 x7673 x7674 x7675 x7676 x7677 x7678 x7679 x7680 x7681 x7682 x7683 -x7684 -x7685 -x7686 x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 x7696 x7697 -x7698 x7699 x7700 x7701 x7702 x7703 x7704 x7705 x7706 x7707 x7708 x7709 x7710 x7711 x7712 x7713 x7714 x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 x7724 x7725 -x7726 x7727 x7728 x7729 x7730 x7731 x7732 x7733 x7734 x7735 x7736 x7737 x7738 x7739 x7740 -x7741 x7742 x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 x7752 -x7753 -x7754 x7755 x7756 x7757 x7758 x7759 x7760 x7761 x7762 x7763 x7764 x7765 x7766 -x7767 -x7768 x7769 x7770 x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 x7784 x7785 x7786 x7787 x7788 x7789 x7790 x7791 x7792 -x7793 x7794 x7795 -x7796 -x7797 x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 x7808 x7809 -x7810 x7811 -x7812 x7813 x7814 x7815 x7816 x7817 x7818 x7819 x7820 x7821 x7822 x7823 x7824 x7825 x7826 x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 x7836 x7837 -x7838 x7839 x7840 x7841 x7842 x7843 x7844 x7845 x7846 x7847 x7848 x7849 x7850 x7851 x7852 x7853 x7854 x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 x7864 x7865 -x7866 x7867 x7868 x7869 -x7870 -x7871 x7872 -x7873 -x7874 x7875 x7876 x7877 -x7878 x7879 -x7880 -x7881 -x7882 -x7883 -x7884 x7885 x7886 -x7887 x7888 -x7889 -x7890 -x7891 x7892 -x7893 x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 x7902 x7903 -x7904 -x7905 -x7906 x7907 x7908 x7909 -x7910 -x7911 -x7912 x7913 -x7914 -x7915 x7916 -x7917 x7918 x7919 -x7920 -x7921 x7922 -x7923 x7924 -x7925 x7926 -x7927 -x7928 x7929 -x7930 x7931 x7932 x7933 -x7934 -x7935 x7936 x7937 -x7938 x7939 x7940 x7941 x7942 -x7943 -x7944 x7945 -x7946 x7947 x7948 -x7949 -x7950 -x7951 -x7952 -x7953 x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 x7964 x7965 x7966 -x7967 -x7968 -x7969 x7970 x7971 -x7972 -x7973 x7974 x7975 x7976 -x7977 -x7978 x7979 x7980 -x7981 -x7982 -x7983 x7984 x7985 x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 x7993 -x7994 -x7995 x7996 -x7997 -x7998 -x7999 x8000 x8001 x8002 x8003 x8004 -x8005 -x8006 x8007 -x8008 -x8009 -x8010 x8011 -x8012 -x8013 x8014 -x8015 -x8016 x8017 -x8018 -x8019 -x8020 -x8021 x8022 -x8023 -x8024 x8025 -x8026 -x8027 x8028 -x8029 -x8030 x8031 -x8032 -x8033 -x8034 x8035 x8036 -x8037 -x8038 x8039 -x8040 -x8041 x8042 x8043 -x8044 -x8045 x8046 -x8047 -x8048 -x8049 -x8050 x8051 x8052 -x8053 x8054 x8055 -x8056 -x8057 x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 x8065 x8066 -x8067 -x8068 x8069 -x8070 x8071 -x8072 x8073 x8074 -x8075 x8076 -x8077 -x8078 x8079 x8080 -x8081 x8082 x8083 -x8084 -x8085 x8086 x8087 -x8088 -x8089 x8090 x8091 -x8092 -x8093 x8094 x8095 -x8096 -x8097 -x8098 x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 x8109 x8110 x8111 -x8112 x8113 -x8114 x8115 -x8116 x8117 x8118 x8119 -x8120 -x8121 -x8122 x8123 -x8124 -x8125 -x8126 x8127 -x8128 -x8129 -x8130 x8131 x8132 x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 x8140 x8141 -x8142 x8143 -x8144 x8145 -x8146 -x8147 -x8148 x8149 -x8150 -x8151 -x8152 -x8153 x8154 -x8155 -x8156 -x8157 -x8158 -x8159 x8160 x8161 -x8162 x8163 -x8164 -x8165 -x8166 -x8167 x8168 x8169 x8170 -x8171 -x8172 -x8173 x8174 -x8175 -x8176 -x8177 x8178 -x8179 -x8180 -x8181 -x8182 -x8183 x8184 -x8185 -x8186 x8187 -x8188 -x8189 x8190 -x8191 -x8192 x8193 -x8194 -x8195 -x8196 x8197 -x8198 x8199 -x8200 -x8201 -x8202 x8203 x8204 x8205 x8206 x8207 x8208 x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 x8230 x8231 x8232 -x8233 x8234 -x8235 -x8236 -x8237 x8238 -x8239 -x8240 -x8241 x8242 -x8243 -x8244 -x8245 -x8246 x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 x8254 -x8255 x8256 -x8257 -x8258 -x8259 -x8260 x8261 -x8262 -x8263 -x8264 -x8265 x8266 -x8267 -x8268 -x8269 x8270 -x8271 -x8272 x8273 -x8274 -x8275 -x8276 -x8277 x8278 -x8279 x8280 -x8281 -x8282 -x8283 x8284 -x8285 -x8286 -x8287 -x8288 x8289 -x8290 -x8291 x8292 x8293 x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 x8315 x8316 -x8317 x8318 -x8319 x8320 -x8321 -x8322 x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 x8331 x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 x8507 -x8508 -x8509 x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 x8582 -x8583 x8584 x8585 x8586 -x8587 -x8588 -x8589 x8590 x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 x8599 -x8600 -x8601 -x8602 x8603 -x8604 x8605 -x8606 -x8607 -x8608 x8609 x8610 -x8611 x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 x8623 x8624 x8625 -x8626 -x8627 x8628 -x8629 -x8630 -x8631 x8632 x8633 -x8634 -x8635 -x8636 x8637 x8638 x8639 x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 x8664 -x8665 x8666 -x8667 -x8668 -x8669 x8670 -x8671 -x8672 -x8673 x8674 -x8675 -x8676 -x8677 -x8678 -x8679 x8680 -x8681 x8682 -x8683 x8684 -x8685 x8686 -x8687 x8688 -x8689 x8690 x8691 x8692 -x8693 x8694 x8695 -x8696 -x8697 -x8698 x8699 -x8700 -x8701 -x8702 -x8703 x8704 -x8705 -x8706 -x8707 -x8708 x8709 x8710 x8711 -x8712 x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 x8727 -x8728 x8729 -x8730 x8731 -x8732 x8733 -x8734 -x8735 -x8736 -x8737 x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 x8748 x8749 x8750 -x8751 x8752 -x8753 -x8754 x8755 -x8756 x8757 x8758 x8759 -x8760 x8761 -x8762 x8763 x8764 x8765 x8766 x8767 -x8768 x8769 -x8770 -x8771 x8772 x8773 x8774 -x8775 -x8776 -x8777 x8778 x8779 x8780 -x8781 x8782 x8783 -x8784 x8785 -x8786 -x8787 x8788 x8789 -x8790 x8791 -x8792 x8793 -x8794 x8795 x8796 -x8797 x8798 -x8799 -x8800 -x8801 x8802 x8803 -x8804 -x8805 x8806 -x8807 -x8808 -x8809 -x8810 x8811 x8812 -x8813 x8814 -x8815 -x8816 x8817 x8818 x8819 x8820 x8821 -x8822 x8823 -x8824 x8825 x8826 x8827 x8828 x8829 x8830 x8831 -x8832 -x8833 -x8834 x8835 -x8836 x8837 -x8838 -x8839 x8840 x8841 -x8842 -x8843 -x8844 x8845 x8846 -x8847 -x8848 x8849 x8850 x8851 -x8852 -x8853 -x8854 x8855 x8856 x8857 x8858 x8859 x8860 -x8861 -x8862 -x8863 -x8864 x8865 x8866 x8867 -x8868 -x8869 -x8870 -x8871 -x8872 x8873 x8874 -x8875 x8876 x8877 -x8878 -x8879 x8880 x8881 -x8882 x8883 x8884 -x8885 x8886 x8887 x8888 x8889 -x8890 x8891 x8892 -x8893 x8894 x8895 -x8896 -x8897 x8898 -x8899 x8900 x8901 -x8902 -x8903 -x8904 x8905 x8906 -x8907 x8908 x8909 -x8910 -x8911 x8912 x8913 -x8914 x8915 x8916 -x8917 x8918 -x8919 -x8920 x8921 -x8922 -x8923 x8924 x8925 -x8926 x8927 x8928 x8929 x8930 -x8931 x8932 -x8933 -x8934 x8935 x8936 -x8937 -x8938 -x8939 x8940 -x8941 -x8942 x8943 -x8944 x8945 -x8946 -x8947 -x8948 x8949 -x8950 -x8951 x8952 x8953 -x8954 -x8955 x8956 x8957 -x8958 -x8959 x8960 x8961 -x8962 -x8963 -x8964 x8965 x8966 -x8967 x8968 -x8969 -x8970 x8971 x8972 x8973 x8974 x8975 x8976 -x8977 -x8978 -x8979 x8980 -x8981 x8982 -x8983 x8984 -x8985 -x8986 -x8987 x8988 x8989 -x8990 -x8991 x8992 x8993 -x8994 -x8995 x8996 x8997 x8998 -x8999 -x9000 -x9001 -x9002 x9003 x9004 x9005 x9006 -x9007 -x9008 -x9009 -x9010 -x9011 x9012 -x9013 x9014 -x9015 x9016 -x9017 x9018 -x9019 -x9020 -x9021 -x9022 -x9023 x9024 x9025 x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 x9033 x9034 -x9035 -x9036 -x9037 -x9038 x9039 -x9040 x9041 -x9042 x9043 x9044 x9045 -x9046 x9047 x9048 x9049 -x9050 -x9051 -x9052 x9053 -x9054 -x9055 x9056 -x9057 -x9058 x9059 x9060 -x9061 -x9062 x9063 x9064 -x9065 x9066 -x9067 x9068 x9069 x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 x9090 x9091 -x9092 -x9093 -x9094 -x9095 -x9096 x9097 -x9098 -x9099 -x9100 -x9101 -x9102 x9103 -x9104 x9105 -x9106 -x9107 x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 x9116 -x9117 -x9118 x9119 x9120 x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 x9128 -x9129 -x9130 -x9131 -x9132 x9133 -x9134 -x9135 x9136 -x9137 -x9138 -x9139 x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 x9149 -x9150 x9151 -x9152 -x9153 -x9154 x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 x9164 x9165 -x9166 x9167 x9168 x9169 -x9170 x9171 -x9172 x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 x9187 -x9188 -x9189 x9190 -x9191 -x9192 x9193 -x9194 -x9195 -x9196 x9197 x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 x9220 -x9221 -x9222 -x9223 x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 x9255 -x9256 -x9257 -x9258 -x9259 x9260 -x9261 x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 x9291 -x9292 x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 x9322 -x9323 x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 x9348 -x9349 -x9350 -x9351 -x9352 x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 x9379 -x9380 -x9381 -x9382 -x9383 x9384 x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 x9410 -x9411 -x9412 -x9413 -x9414 x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 x9451 -x9452 -x9453 -x9454 x9455 x9456 -x9457 -x9458 -x9459 -x9460 x9461 -x9462 x9463 x9464 x9465 x9466 -x9467 x9468 x9469 x9470 -x9471 x9472 -x9473 x9474 x9475 x9476 -x9477 -x9478 x9479 -x9480 -x9481 x9482 -x9483 -x9484 -x9485 x9486 x9487 x9488 x9489 -x9490 -x9491 -x9492 -x9493 x9494 x9495 -x9496 x9497 -x9498 -x9499 -x9500 -x9501 x9502 x9503 -x9504 -x9505 -x9506 -x9507 -x9508 x9509 x9510 x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 x9539 x9540 x9541 -x9542 x9543 -x9544 x9545 -x9546 -x9547 -x9548 x9549 -x9550 x9551 -x9552 x9553 -x9554 x9555 -x9556 x9557 -x9558 -x9559 -x9560 x9561 -x9562 -x9563 x9564 x9565 x9566 -x9567 x9568 x9569 x9570 x9571 -x9572 x9573 x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 x9587 -x9588 x9589 -x9590 -x9591 x9592 x9593 x9594 -x9595 x9596 -x9597 x9598 -x9599 x9600 -x9601 x9602 x9603 x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 
3600.45/3598.90	c objective function=43
3600.45/3598.90	c Total wall clock time (in seconds): 3598.573

Verifier Data 

OK	43

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (61925 MiB free)
  memory of node 1: 64510 MiB (60593 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432514-1721165679/watcher-4432514-1721165679 -o /tmp/evaluation-result-4432514-1721165679/solver-4432514-1721165679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870215 --watchdog 3760 java -jar sat4j-pb.jar HOME/instance-4432514-1721165679.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=870278, runsolver pid=870274

[startup+0.105587 s]*
/proc/loadavg: 3.52 4.31 4.39 16/315 870346
/proc/meminfo: memFree=125320504/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=18975048 memory=56572 CPUtime=0.13 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 6382 0 0 0 11 2 0 0 20 0 18 0 168727174 19430449152 14143 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4743762 14143 5436 1 0 550799 0
[pid=870278/tid=870282] ppid=870274 vsize=18975048 memory=4026561586 CPUtime=0.09 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 5345 0 0 0 7 2 0 0 20 0 18 0 168727174 19430449152 14143 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=18975048 memory=232851243367 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168727179 19430449152 14143 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=18975048 memory=15823283178361512 CPUtime=0 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 168727179 19430449152 14143 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 56572 KiB

[startup+0.217139 s]*
/proc/loadavg: 3.52 4.31 4.39 20/315 870346
/proc/meminfo: memFree=125305336/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=18975048 memory=64684 CPUtime=0.3 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 7021 0 0 0 27 3 0 0 20 0 18 0 168727174 19430449152 16171 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4743762 16171 5683 1 0 551360 0
[pid=870278/tid=870282] ppid=870274 vsize=18975048 memory=4782652875487838339 CPUtime=0.18 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 5634 0 0 0 16 2 0 0 20 0 18 0 168727174 19430449152 16171 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=18975048 memory=1645 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168727179 19430449152 16171 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=18975048 memory=13847460783068500 CPUtime=0 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 168727179 19430449152 16171 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 64684 KiB

[startup+0.314597 s]*
/proc/loadavg: 3.52 4.31 4.39 18/315 870346
/proc/meminfo: memFree=125284400/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=18975048 memory=67512 CPUtime=0.46 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 7273 0 0 0 42 4 0 0 20 0 18 0 168727174 19430449152 16878 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4743762 16878 5698 1 0 551540 0
[pid=870278/tid=870282] ppid=870274 vsize=18975048 memory=-8887405729461674684 CPUtime=0.28 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 5801 0 0 0 25 3 0 0 20 0 18 0 168727174 19430449152 16878 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168727179 19430449152 16878 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 168727179 19430449152 16878 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 67512 KiB

[startup+0.700582 s]
/proc/loadavg: 3.52 4.31 4.39 15/315 870346
/proc/meminfo: memFree=125182332/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=18975048 memory=122284 CPUtime=1.15 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 9122 0 0 0 108 7 0 0 20 0 18 0 168727174 19430449152 30571 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4743762 30571 5799 1 0 552732 0
[pid=870278/tid=870282] ppid=870274 vsize=18975048 memory=5424 CPUtime=0.57 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 5900 0 0 0 52 5 0 0 20 0 18 0 168727174 19430449152 30571 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=18975048 memory=11948 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 18 0 168727179 19430449152 30571 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=18975048 memory=0 CPUtime=0 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 18 0 168727179 19430449152 30571 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 18975048 KiB
Current children cumulated memory: 122284 KiB

[startup+1.50027 s]
/proc/loadavg: 4.12 4.42 4.42 14/323 870354
/proc/meminfo: memFree=124870756/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=181184 CPUtime=2.73 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 17194 0 0 0 263 10 0 0 20 0 20 0 168727174 19566772224 45296 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 45296 5867 1 0 555934 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=0 CPUtime=1.27 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 6394 0 0 0 121 6 0 0 20 0 20 0 168727174 19566772224 45296 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 45296 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 45296 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 45296 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 2.73 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 181184 KiB

[startup+3.10557 s]
/proc/loadavg: 4.12 4.42 4.42 10/323 870354
/proc/meminfo: memFree=124803932/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=182816 CPUtime=5.08 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 20821 0 0 0 497 11 0 0 20 0 20 0 168727174 19566772224 45704 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 45704 5867 1 0 556217 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=0 CPUtime=2.85 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 7386 0 0 0 279 6 0 0 20 0 20 0 168727174 19566772224 45704 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 45704 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 45704 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=11656 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 45704 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 5.08 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 182816 KiB

[startup+6.30059 s]
/proc/loadavg: 4.11 4.41 4.42 8/323 870354
/proc/meminfo: memFree=124818472/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=180616 CPUtime=9.57 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 26792 0 0 0 945 12 0 0 20 0 20 0 168727174 19566772224 45154 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 45154 5899 1 0 559037 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=11948 CPUtime=6.02 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 8205 0 0 0 595 7 0 0 20 0 20 0 168727174 19566772224 45154 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 45154 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=180468 CPUtime=0 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 24 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 45154 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=1499 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 45154 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 9.57 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 180616 KiB

[startup+12.7006 s]
/proc/loadavg: 4.10 4.41 4.42 10/323 870356
/proc/meminfo: memFree=124770784/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=191276 CPUtime=16.09 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 30172 0 0 0 1596 13 0 0 20 0 20 0 168727174 19566772224 47819 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 47819 5899 1 0 559037 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=0 CPUtime=12.34 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 9206 0 0 0 1227 7 0 0 20 0 20 0 168727174 19566772224 47819 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 47819 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=191216 CPUtime=0 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 47819 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=182816 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 47819 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 16.09 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 191276 KiB

[startup+25.5005 s]
/proc/loadavg: 4.08 4.39 4.41 9/323 870357
/proc/meminfo: memFree=124648624/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=216024 CPUtime=29.14 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 34817 0 0 0 2899 15 0 0 20 0 20 0 168727174 19566772224 54006 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 54006 5899 1 0 559037 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=4359 CPUtime=24.93 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 10243 0 0 0 2486 7 0 0 20 0 20 0 168727174 19566772224 54006 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=11656 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 54006 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=7964865274386219175 CPUtime=0 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 54006 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=0 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 54006 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 29.14 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 216024 KiB

[startup+51.1132 s]
/proc/loadavg: 4.11 4.37 4.40 8/323 870362
/proc/meminfo: memFree=124376140/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=296260 CPUtime=54.73 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 38368 0 0 0 5454 19 0 0 20 0 20 0 168727174 19566772224 74065 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 74065 5899 1 0 559037 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=-8887405729461674684 CPUtime=50.2 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 11840 0 0 0 5013 7 0 0 20 0 20 0 168727174 19566772224 74065 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=-8887405729461674684 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 74065 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=0 CPUtime=0 cores=1,3

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

Current children cumulated memory: 2063172 KiB

[startup+3342.3 s]
/proc/loadavg: 4.17 4.18 4.22 8/323 872663
/proc/meminfo: memFree=118931620/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=2063172 CPUtime=3344.01 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 149890 0 0 0 334162 239 0 0 20 0 20 0 168727174 19566772224 515793 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 515793 5915 1 0 560409 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=2063172 CPUtime=3327.54 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 58826 0 0 0 332731 23 0 0 20 0 20 0 168727174 19566772224 515793 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=280939985123168 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 515793 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=2063172 CPUtime=0.01 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 5432 0 0 0 0 1 0 0 20 0 20 0 168727179 19566772224 515793 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=11656 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 515793 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 3344.01 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2063172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.17 4.21 8/322 872673
/proc/meminfo: memFree=118857976/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=2063228 CPUtime=3403.99 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 151466 0 0 0 340157 242 0 0 20 0 20 0 168727174 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 515807 5915 1 0 560419 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=2063172 CPUtime=3387.23 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 59451 0 0 0 338700 23 0 0 20 0 20 0 168727174 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=2063228 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=2063228 CPUtime=0.01 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 5445 0 0 0 0 1 0 0 20 0 20 0 168727179 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=2063228 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 3403.99 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2063228 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.16 4.20 10/322 872684
/proc/meminfo: memFree=118728356/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=2063228 CPUtime=3463.89 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 151738 0 0 0 346143 246 0 0 20 0 20 0 168727174 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 515807 5915 1 0 560419 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=2063172 CPUtime=3447.07 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 59610 0 0 0 344684 23 0 0 20 0 20 0 168727174 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=2208 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=2063228 CPUtime=0.01 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 5550 0 0 0 0 1 0 0 20 0 20 0 168727179 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=2063228 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 3463.89 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2063228 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.19 8/323 872695
/proc/meminfo: memFree=118727988/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=2063228 CPUtime=3523.77 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 152264 0 0 0 352128 249 0 0 20 0 20 0 168727174 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 515807 5915 1 0 560419 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=2063228 CPUtime=3506.91 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 60026 0 0 0 350668 23 0 0 20 0 20 0 168727174 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=2063228 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=2063228 CPUtime=0.01 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 5564 0 0 0 0 1 0 0 20 0 20 0 168727179 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=11948 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 515807 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 3523.77 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2063228 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.14 4.18 8/321 872706
/proc/meminfo: memFree=118727904/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=2063244 CPUtime=3583.78 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 153625 0 0 0 358127 251 0 0 20 0 20 0 168727174 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 515811 5915 1 0 560419 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=2063228 CPUtime=3566.67 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 60353 0 0 0 356644 23 0 0 20 0 20 0 168727174 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=41964 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=2063244 CPUtime=0.01 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 5629 0 0 0 0 1 0 0 20 0 20 0 168727179 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=8112848286228190882 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 3583.78 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2063244 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3598.6 s]
/proc/loadavg: 4.11 4.14 4.18 8/321 872708
/proc/meminfo: memFree=118721740/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19108176 memory=2063244 CPUtime=3600.06 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 153641 0 0 0 359754 252 0 0 20 0 20 0 168727174 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 1 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4777044 515811 5915 1 0 560419 0
[pid=870278/tid=870282] ppid=870274 vsize=19108176 memory=2248 CPUtime=3582.93 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 60367 0 0 0 358270 23 0 0 20 0 20 0 168727174 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19108176 memory=-8887405729461674684 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 20 0 168727179 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19108176 memory=5424 CPUtime=0.01 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 5629 0 0 0 0 1 0 0 20 0 20 0 168727179 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870353] ppid=870274 vsize=19108176 memory=16068 CPUtime=0 cores=1,3
/proc/870278/task/870353/stat : 870353 (Timer-0) S 870274 870278 870201 0 -1 1077936192 21 0 0 0 0 0 0 0 20 0 20 0 168727267 19566772224 515811 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 19108176 KiB
Current children cumulated memory: 2063244 KiB

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

[startup+3598.93 s]
# the end of solver process 870278 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3598.11 s, system=2.55431 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3598.81 s]
/proc/loadavg: 4.11 4.14 4.18 8/321 872708
/proc/meminfo: memFree=118721740/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19307868 memory=2063964 CPUtime=3600.45 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 156695 0 0 0 359792 253 0 0 20 0 21 0 168727174 19771256832 515991 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4826967 515991 5914 1 0 561338 0
[pid=870278/tid=870282] ppid=870274 vsize=19307868 memory=32604 CPUtime=3583.11 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 60507 0 0 0 358288 23 0 0 20 0 21 0 168727174 19771256832 515991 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19307868 memory=2063244 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 168727179 19771256832 515991 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19307868 memory=4932 CPUtime=0.01 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 5629 0 0 0 0 1 0 0 20 0 21 0 168727179 19771256832 515991 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 3600.45 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2063964 KiB

[startup+3598.9 s]
/proc/loadavg: 4.11 4.14 4.18 8/321 872708
/proc/meminfo: memFree=118721740/131655788 swapFree=131071996/131071996
[pid=870278] ppid=870274 vsize=19307868 memory=2063952 CPUtime=3600.63 cores=1,3
/proc/870278/stat : 870278 (java) S 870274 870278 870201 0 -1 1077936128 157202 0 0 0 359810 253 0 0 20 0 21 0 168727174 19771256832 515988 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 0 0 16800975 0 0 0 17 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
/proc/870278/statm: 4826967 515988 5914 1 0 561338 0
[pid=870278/tid=870282] ppid=870274 vsize=19307868 memory=2063244 CPUtime=3583.21 cores=1,3
/proc/870278/task/870282/stat : 870282 (java) R 870274 870278 870201 0 -1 4194368 60507 0 0 0 358298 23 0 0 20 0 21 0 168727174 19771256832 515988 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870312] ppid=870274 vsize=19307868 memory=2063244 CPUtime=0 cores=1,3
/proc/870278/task/870312/stat : 870312 (Finalizer) S 870274 870278 870201 0 -1 1077936192 23 0 0 0 0 0 0 0 20 0 21 0 168727179 19771256832 515988 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
[pid=870278/tid=870326] ppid=870274 vsize=19307868 memory=2063244 CPUtime=0.01 cores=1,3
/proc/870278/task/870326/stat : 870326 (Common-Cleaner) S 870274 870278 870201 0 -1 1077936192 5629 0 0 0 0 1 0 0 20 0 21 0 168727179 19771256832 515988 134679101440 94633767448576 94633767452272 140729656913776 0 0 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 94633767460088 94633767460880 94633771266048 140729656914951 140729656915041 140729656915041 140729656922056 0
Current children cumulated CPU time: 3600.63 s
Current children cumulated vsize: 19307868 KiB
Current children cumulated memory: 2063952 KiB

Child status: 143

Real time (s): 3598.93
CPU time (s): 3600.66
CPU user time (s): 3598.11
CPU system time (s): 2.55431
CPU usage (%): 100.048
Max. virtual memory (cumulated for all children) (KiB): 19307868
Max. memory (cumulated for all children) (KiB): 2063964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.11
system time used= 2.55431
maximum resident set size= 2064848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157301
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106515
involuntary context switches= 2609


# summary of solver processes directly reported to runsolver:
#   pid: 870278
#   total CPU time (s): 3600.66
#   total CPU user time (s): 3598.11
#   total CPU system time (s): 2.55431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.4565 second user time and 36.6073 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2024-07-16 23:34:51
IDJOB=4432514
IDBENCH=158391
IDSOLVER=3058
FILE ID=nodeC010/4432514-1721165679
RUNJOBID= nodeC010-1721165691-870215
SLURM_JOB_ID= 7505790
Free space on /tmp= 723776 MiB

SOLVER NAME= Sat4j Resolution Default 2024-07-07
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-may6.5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4432514-1721165679/watcher-4432514-1721165679 -o /tmp/evaluation-result-4432514-1721165679/solver-4432514-1721165679 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1721165691-870215 --watchdog 3760  java -jar sat4j-pb.jar HOME/instance-4432514-1721165679.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 76e67d27ce5ae72e711eb5f869f0e7e5
RANDOM SEED=1216220499

nodeC010.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.224
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.777
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.173
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.174
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.192
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.173
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.173
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.185
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        125453172 kB
MemAvailable:   129867956 kB
Buffers:          431124 kB
Cached:          4769852 kB
SwapCached:            0 kB
Active:           797280 kB
Inactive:        4750392 kB
Active(anon):       1376 kB
Inactive(anon):   383020 kB
Active(file):     795904 kB
Inactive(file):  4367372 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8364 kB
Writeback:             0 kB
AnonPages:        346848 kB
Mapped:           104664 kB
Shmem:             37704 kB
KReclaimable:     183080 kB
Slab:             291384 kB
SReclaimable:     183080 kB
SUnreclaim:       108304 kB
KernelStack:        3840 kB
PageTables:        10292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     693748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53856 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      234312 kB
DirectMap2M:    29030400 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC010 at 2024-07-17 00:34:50