Trace number 3710383

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 NameAnswerCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO) 1800.07 1793.86

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_0.opb
MD5SUMca79c3a72fcbc528e4a81e658af79fe0
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4272093
Best CPU time to get the best result obtained on this benchmark1800.49
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 100330219838
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 100330219838
Number of bits of the biggest sum of numbers37
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.05/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.05/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.07	c See www.sat4j.org for details.
0.05/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.05/0.08	c version 2.3.2.v20120418
0.05/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.08	c java.vm.version	19.1-b02
0.05/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.08	c sun.arch.data.model	64
0.05/0.08	c java.version		1.6.0_24
0.05/0.08	c os.name		Linux
0.05/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.05/0.08	c os.arch		amd64
0.05/0.08	c Free memory 		501472288
0.05/0.08	c Max memory 		7480803328
0.05/0.08	c Total memory 		504102912
0.05/0.08	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose learned constraints deletion strategy
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=true
0.10/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-3710383-1338255161.opb
0.10/0.12	c reading problem ... 
1.03/0.54	c ... done. Wall clock time 0.424s.
1.03/0.54	c declared #vars     9940
1.03/0.54	c #constraints  24510
1.03/0.54	c constraints type 
1.03/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1.03/0.54	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1.03/0.54	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1.03/0.54	c ignored satisfied constraints => 2
1.03/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1.03/0.54	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2625
1.03/0.54	c 24512 constraints processed.
1.26/0.66	c SATISFIABLE
1.26/0.66	c OPTIMIZING...
1.26/0.66	c Got one! Elapsed wall clock time (in seconds):0.54
1.26/0.66	o 234147383
1.77/0.81	c Got one! Elapsed wall clock time (in seconds):0.696
1.77/0.81	o 234141789
9.25/8.01	c cleaning 2500 clauses out of 5004 with flag 5002/5004
10.63/9.24	c Got one! Elapsed wall clock time (in seconds):9.128
10.63/9.24	o 125783679
10.63/9.27	c Got one! Elapsed wall clock time (in seconds):9.15
10.63/9.27	o 107106677
10.63/9.29	c Got one! Elapsed wall clock time (in seconds):9.171
10.63/9.29	o 107101097
10.81/9.31	c Got one! Elapsed wall clock time (in seconds):9.191
10.81/9.31	o 107091157
10.81/9.32	c Got one! Elapsed wall clock time (in seconds):9.209
10.81/9.32	o 74860343
12.93/11.49	c Got one! Elapsed wall clock time (in seconds):11.378
12.93/11.49	o 37175709
14.50/12.96	c cleaning 4329 clauses out of 8664 with flag 2000/11188
14.85/13.19	c Got one! Elapsed wall clock time (in seconds):13.072
14.85/13.19	o 20881813
17.38/15.45	c Got one! Elapsed wall clock time (in seconds):15.337
17.38/15.45	o 16770121
17.87/15.99	c cleaning 4861 clauses out of 9731 with flag 1000/16643
20.78/18.43	c cleaning 5433 clauses out of 10866 with flag 7005/22648
25.83/23.46	c cleaning 6169 clauses out of 12350 with flag 14003/29646
28.54/26.15	c Got one! Elapsed wall clock time (in seconds):26.033
28.54/26.15	o 12454931
32.39/29.91	c cleaning 7493 clauses out of 15004 with flag 5000/39712
35.80/33.34	c cleaning 6675 clauses out of 13361 with flag 11006/45718
38.31/35.82	c cleaning 6827 clauses out of 13680 with flag 18001/52713
39.62/37.14	c Got one! Elapsed wall clock time (in seconds):37.025
39.62/37.14	o 10552633
42.02/39.60	c cleaning 5959 clauses out of 11928 with flag 4004/57881
44.02/41.55	c cleaning 5969 clauses out of 11946 with flag 10000/63877
46.12/43.68	c cleaning 6481 clauses out of 12975 with flag 17000/70877
48.12/45.68	c cleaning 7240 clauses out of 14495 with flag 25002/78879
52.74/50.22	c cleaning 8108 clauses out of 16233 with flag 34000/87877
55.74/53.29	c cleaning 9052 clauses out of 18118 with flag 44000/97877
59.17/56.66	c cleaning 10020 clauses out of 20049 with flag 55000/108877
64.18/61.60	c cleaning 11006 clauses out of 22030 with flag 67001/120878
68.68/66.15	c cleaning 11990 clauses out of 23991 with flag 80000/133877
72.28/69.74	c cleaning 12988 clauses out of 25998 with flag 94000/147877
75.69/73.10	c cleaning 14001 clauses out of 28008 with flag 109001/162878
78.90/76.38	c cleaning 14993 clauses out of 30006 with flag 125000/178877
80.20/77.61	c Got one! Elapsed wall clock time (in seconds):77.495
80.20/77.61	o 9077147
81.41/78.82	c cleaning 10393 clauses out of 20797 with flag 3000/184715
83.01/80.45	c cleaning 8194 clauses out of 16401 with flag 9001/190716
84.92/82.36	c cleaning 7591 clauses out of 15200 with flag 16001/197716
86.72/84.14	c cleaning 7793 clauses out of 15601 with flag 24000/205715
89.22/86.68	c cleaning 8382 clauses out of 16772 with flag 33001/214716
91.66/89.01	c cleaning 9193 clauses out of 18389 with flag 43001/224716
93.97/91.34	c cleaning 10091 clauses out of 20196 with flag 54001/235716
96.79/94.16	c cleaning 11042 clauses out of 22093 with flag 66000/247715
99.69/97.08	c cleaning 12018 clauses out of 24052 with flag 79001/260716
105.21/102.56	c cleaning 13010 clauses out of 26020 with flag 93014/274729
109.44/106.75	c cleaning 13984 clauses out of 27981 with flag 108000/289715
119.04/116.36	c cleaning 14983 clauses out of 29975 with flag 124004/305719
130.45/127.70	c cleaning 15984 clauses out of 31987 with flag 141001/322716
134.58/131.89	c cleaning 16994 clauses out of 34001 with flag 159001/340716
139.09/136.37	c cleaning 17996 clauses out of 36006 with flag 178000/359715
139.79/137.03	c Got one! Elapsed wall clock time (in seconds):136.914
139.79/137.03	o 9039845
140.59/137.88	c cleaning 11830 clauses out of 23672 with flag 3000/365381
142.00/139.25	c cleaning 8915 clauses out of 17843 with flag 9001/371382
143.61/140.85	c cleaning 7956 clauses out of 15928 with flag 16001/378382
145.41/142.70	c cleaning 7979 clauses out of 15971 with flag 24000/386381
147.61/144.80	c cleaning 8490 clauses out of 16992 with flag 33000/395381
149.91/147.17	c cleaning 9244 clauses out of 18502 with flag 43000/405381
153.22/150.48	c cleaning 10115 clauses out of 20237 with flag 54001/416382
156.52/153.78	c cleaning 11056 clauses out of 22115 with flag 66000/428381
160.23/157.42	c cleaning 12006 clauses out of 24042 with flag 79000/441381
162.64/159.81	c Got one! Elapsed wall clock time (in seconds):159.696
162.64/159.81	o 7360915
162.64/159.83	c Got one! Elapsed wall clock time (in seconds):159.718
162.64/159.83	o 7360557
165.44/162.65	c cleaning 13669 clauses out of 27350 with flag 5004/456726
168.78/165.95	c cleaning 9829 clauses out of 19678 with flag 11001/462723
171.88/169.07	c cleaning 8413 clauses out of 16850 with flag 18002/469724
175.19/172.34	c cleaning 8208 clauses out of 16433 with flag 26000/477722
178.69/175.80	c cleaning 8608 clauses out of 17226 with flag 35001/486723
182.20/179.39	c cleaning 9302 clauses out of 18617 with flag 45000/496722
185.31/182.49	c cleaning 10144 clauses out of 20304 with flag 56001/507723
192.83/189.97	c cleaning 11076 clauses out of 22159 with flag 68000/519722
199.35/196.43	c cleaning 9688 clauses out of 19436 with flag 81000/532722
202.76/199.85	c cleaning 11846 clauses out of 23748 with flag 95000/546722
206.51/203.58	c cleaning 13420 clauses out of 26902 with flag 110000/561722
210.31/207.31	c cleaning 14731 clauses out of 29480 with flag 126001/577723
214.34/211.32	c cleaning 15865 clauses out of 31748 with flag 143000/594722
218.64/215.64	c cleaning 16936 clauses out of 33883 with flag 161000/612722
223.35/220.35	c cleaning 17965 clauses out of 35936 with flag 180001/631723
229.38/226.32	c cleaning 18940 clauses out of 37893 with flag 200000/651722
231.00/227.98	c Got one! Elapsed wall clock time (in seconds):227.864
231.00/227.98	o 6722177
232.21/229.16	c cleaning 15584 clauses out of 31185 with flag 5001/663960
233.73/230.64	c cleaning 10790 clauses out of 21600 with flag 11000/669959
235.35/232.29	c cleaning 8898 clauses out of 17807 with flag 18001/676960
237.25/234.10	c cleaning 8446 clauses out of 16908 with flag 26000/684959
239.97/236.86	c cleaning 8693 clauses out of 17400 with flag 35000/693959
242.18/239.08	c cleaning 9349 clauses out of 18708 with flag 45001/703960
244.58/241.43	c cleaning 10175 clauses out of 20358 with flag 56000/714959
247.38/244.21	c cleaning 11084 clauses out of 22181 with flag 68000/726959
250.59/247.43	c cleaning 12048 clauses out of 24097 with flag 81000/739959
254.08/250.90	c cleaning 13020 clauses out of 26049 with flag 95000/753959
257.79/254.65	c cleaning 14008 clauses out of 28030 with flag 110001/768960
261.90/258.79	c cleaning 15007 clauses out of 30021 with flag 126000/784959
267.41/264.22	c cleaning 16000 clauses out of 32015 with flag 143001/801960
273.22/270.07	c cleaning 16998 clauses out of 34015 with flag 161001/819960
278.62/275.42	c cleaning 18004 clauses out of 36009 with flag 180000/838959
283.73/280.51	c cleaning 19002 clauses out of 38005 with flag 200000/858959
289.33/286.19	c cleaning 20000 clauses out of 40004 with flag 221001/879960
295.14/291.99	c cleaning 21000 clauses out of 42004 with flag 243001/901960
300.74/297.53	c cleaning 21998 clauses out of 44004 with flag 266001/924960
307.75/304.54	c cleaning 22944 clauses out of 45917 with flag 290000/948959
314.28/311.04	c cleaning 23958 clauses out of 47929 with flag 315002/973961
320.00/316.76	c cleaning 24975 clauses out of 49966 with flag 341000/999959
326.12/322.88	c cleaning 25990 clauses out of 51985 with flag 368001/1026960
332.74/329.45	c cleaning 26993 clauses out of 53995 with flag 396001/1054960
339.56/336.28	c cleaning 27991 clauses out of 55999 with flag 425000/1083959
345.77/342.45	c cleaning 28996 clauses out of 58009 with flag 455001/1113960
352.17/348.81	c cleaning 29984 clauses out of 59982 with flag 486001/1144960
359.39/356.01	c cleaning 30992 clauses out of 61998 with flag 518001/1176960
366.69/363.33	c cleaning 31994 clauses out of 64005 with flag 551000/1209959
375.30/371.92	c cleaning 33000 clauses out of 66013 with flag 585002/1243961
386.93/383.54	c cleaning 33996 clauses out of 68011 with flag 620000/1278959
399.25/395.88	c cleaning 34997 clauses out of 70016 with flag 656001/1314960
413.08/409.62	c cleaning 36001 clauses out of 72018 with flag 693000/1351959
428.61/425.11	c cleaning 36757 clauses out of 73515 with flag 731000/1389959
437.93/434.47	c cleaning 37857 clauses out of 75740 with flag 770000/1428959
447.75/444.29	c cleaning 38938 clauses out of 77879 with flag 810000/1468959
457.78/454.26	c cleaning 39955 clauses out of 79938 with flag 851000/1509959
467.91/464.35	c cleaning 40974 clauses out of 81971 with flag 893001/1551960
478.32/474.70	c cleaning 41984 clauses out of 83991 with flag 936000/1594959
489.16/485.58	c cleaning 42994 clauses out of 86008 with flag 980001/1638960
500.37/496.79	c cleaning 43994 clauses out of 88014 with flag 1025001/1683960
510.89/507.26	c cleaning 44998 clauses out of 90019 with flag 1071000/1729959
522.04/518.30	c cleaning 46000 clauses out of 92021 with flag 1118000/1776959
533.66/529.91	c cleaning 46995 clauses out of 94021 with flag 1166000/1824959
546.10/542.34	c cleaning 48002 clauses out of 96022 with flag 1215001/1873960
559.70/555.95	c cleaning 48999 clauses out of 98020 with flag 1265001/1923960
573.53/569.72	c cleaning 50002 clauses out of 100020 with flag 1316000/1974959
587.76/583.92	c cleaning 50998 clauses out of 102018 with flag 1368000/2026959
607.69/603.81	c cleaning 51982 clauses out of 103982 with flag 1421000/2079959
620.92/617.04	c cleaning 52980 clauses out of 105998 with flag 1475001/2133960
634.33/630.46	c cleaning 53996 clauses out of 108013 with flag 1530000/2188959
649.16/645.28	c cleaning 54997 clauses out of 110013 with flag 1586000/2244959
663.90/659.99	c cleaning 55995 clauses out of 112015 with flag 1643001/2301960
679.13/675.11	c cleaning 57000 clauses out of 114019 with flag 1701000/2359959
693.34/689.37	c cleaning 57996 clauses out of 116017 with flag 1760001/2418960
707.86/703.80	c cleaning 58988 clauses out of 118021 with flag 1820001/2478960
722.18/718.15	c cleaning 60005 clauses out of 120029 with flag 1881001/2539960
737.69/733.69	c cleaning 61001 clauses out of 122025 with flag 1943002/2601961
753.89/749.85	c cleaning 61997 clauses out of 124023 with flag 2006001/2664960
771.02/766.91	c cleaning 63005 clauses out of 126025 with flag 2070000/2728959
787.39/783.29	c cleaning 63992 clauses out of 128020 with flag 2135000/2793959
803.11/798.92	c cleaning 64998 clauses out of 130028 with flag 2201000/2859959
820.24/816.00	c cleaning 66000 clauses out of 132030 with flag 2268000/2926959
837.39/833.11	c cleaning 66994 clauses out of 134031 with flag 2336001/2994960
854.82/850.54	c cleaning 68019 clauses out of 136042 with flag 2405006/3063965
879.67/875.31	c cleaning 68980 clauses out of 137988 with flag 2475000/3133959
899.31/894.97	c cleaning 69994 clauses out of 140008 with flag 2546000/3204959
918.05/913.62	c cleaning 70994 clauses out of 142014 with flag 2618000/3276959
934.67/930.20	c cleaning 72000 clauses out of 144020 with flag 2691000/3349959
951.61/947.12	c cleaning 72995 clauses out of 146020 with flag 2765000/3423959
969.15/964.60	c cleaning 74000 clauses out of 148026 with flag 2840001/3498960
988.11/983.54	c cleaning 75000 clauses out of 150025 with flag 2916000/3574959
1006.93/1002.32	c cleaning 75998 clauses out of 152025 with flag 2993000/3651959
1026.00/1021.39	c cleaning 77002 clauses out of 154027 with flag 3071000/3729959
1044.93/1040.28	c cleaning 78000 clauses out of 156025 with flag 3150000/3808959
1063.67/1058.93	c cleaning 78996 clauses out of 158026 with flag 3230001/3888960
1082.92/1078.15	c cleaning 80004 clauses out of 160030 with flag 3311001/3969960
1102.15/1097.35	c cleaning 81004 clauses out of 162026 with flag 3393001/4051960
1124.02/1119.15	c cleaning 81994 clauses out of 164021 with flag 3476000/4134959
1144.28/1139.34	c cleaning 82995 clauses out of 166027 with flag 3560000/4218959
1165.22/1160.28	c cleaning 83997 clauses out of 168032 with flag 3645000/4303959
1186.06/1181.05	c cleaning 85000 clauses out of 170035 with flag 3731000/4389959
1207.78/1202.76	c cleaning 86002 clauses out of 172036 with flag 3818001/4476960
1229.03/1223.99	c cleaning 86995 clauses out of 174034 with flag 3906001/4564960
1253.94/1248.88	c cleaning 88008 clauses out of 176040 with flag 3995002/4653961
1277.07/1271.91	c cleaning 88996 clauses out of 178030 with flag 4085000/4743959
1298.42/1293.25	c cleaning 90001 clauses out of 180035 with flag 4176001/4834960
1320.60/1315.31	c cleaning 90999 clauses out of 182034 with flag 4268001/4926960
1343.53/1338.25	c cleaning 92009 clauses out of 184034 with flag 4361000/5019959
1365.08/1359.72	c cleaning 92994 clauses out of 186025 with flag 4455000/5113959
1388.23/1382.88	c cleaning 93998 clauses out of 188032 with flag 4550001/5208960
1416.78/1411.33	c cleaning 95003 clauses out of 190034 with flag 4646001/5304960
1441.14/1435.65	c cleaning 96001 clauses out of 192031 with flag 4743001/5401960
1466.61/1461.01	c cleaning 96993 clauses out of 194029 with flag 4841000/5499959
1491.73/1486.11	c cleaning 98005 clauses out of 196036 with flag 4940000/5598959
1525.66/1520.07	c cleaning 98999 clauses out of 198031 with flag 5040000/5698959
1559.37/1553.65	c cleaning 99999 clauses out of 200032 with flag 5141000/5799959
1595.58/1589.82	c cleaning 101000 clauses out of 202033 with flag 5243000/5901959
1628.26/1622.50	c cleaning 102004 clauses out of 204033 with flag 5346000/6004959
1656.89/1651.08	c cleaning 103002 clauses out of 206030 with flag 5450001/6108960
1681.52/1675.66	c cleaning 103996 clauses out of 208027 with flag 5555000/6213959
1710.81/1704.88	c cleaning 104997 clauses out of 210032 with flag 5661001/6319960
1737.10/1731.05	c cleaning 105995 clauses out of 212034 with flag 5768000/6426959
1765.25/1759.11	c cleaning 106995 clauses out of 214039 with flag 5876000/6534959
1795.12/1788.94	c cleaning 107998 clauses out of 216044 with flag 5985000/6643959
1800.07/1793.81	c starts		: 293
1800.07/1793.81	c conflicts		: 6663815
1800.07/1793.81	c decisions		: 7522973
1800.07/1793.81	c propagations		: 163954129
1800.07/1793.81	c inspects		: 3000395227
1800.07/1793.81	c shortcuts		: 0
1800.07/1793.81	c learnt literals	: 653
1800.07/1793.81	c learnt binary clauses	: 538
1800.07/1793.81	c learnt ternary clauses	: 1119
1800.07/1793.81	c learnt constraints	: 6663162
1800.07/1793.81	c ignored constraints	: 0
1800.07/1793.81	c root simplifications	: 946
1800.07/1793.81	c removed literals (reason simplification)	: 652620202
1800.07/1793.81	c reason swapping (by a shorter reason)	: 0
1800.07/1793.81	c Calls to reduceDB	: 165
1800.07/1793.81	c number of reductions to clauses (during analyze)	: 0
1800.07/1793.81	c number of learned constraints concerned by reduction	: 0
1800.07/1793.81	c number of learning phase by resolution	: 0
1800.07/1793.81	c number of learning phase by cutting planes	: 0
1800.07/1793.81	c speed (assignments/second)	: 91428.53892571529
1800.07/1793.81	c non guided choices	8226
1800.07/1793.83	c learnt constraints type 
1800.07/1793.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 322
1800.07/1793.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 127654
1800.07/1793.83	c constraints type 
1800.07/1793.83	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2486
1800.07/1793.83	c org.sat4j.minisat.constraints.cnf.UnitClauses => 2
1800.07/1793.83	c org.sat4j.minisat.constraints.card.MinWatchCard => 7
1800.07/1793.83	c ignored satisfied constraints => 2
1800.07/1793.83	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19390
1800.07/1793.83	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2626
1800.07/1793.83	c 24513 constraints processed.
1800.07/1793.83	s SATISFIABLE
1800.07/1793.84	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 x1263 x1264 -x1265 -x1266 x1267 x1268 -x1269 -x1270 x1271 -x1272 x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 x1282 x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 x1301 -x1302 -x1303 x1304 x1305 -x1306 x1307 x1308 -x1309 x1310 -x1311 -x1312 x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 x2175 x2176 -x2177 -x2178 x2179 -x2180 -x2181 -x2182 -x2183 -x2184 x2185 -x2186 -x2187 x2188 -x2189 -x2190 -x2191 -x2192 -x2193 x2194 x2195 -x2196 -x2197 x2198 x2199 x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 x2207 -x2208 -x2209 -x2210 -x2211 x2212 x2213 -x2214 -x2215 x2216 -x2217 -x2218 x2219 -x2220 x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 x2228 x2229 -x2230 -x2231 -x2232 -x2233 x2234 x2235 -x2236 -x2237 x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 x3300 -x3301 x3302 -x3303 -x3304 -x3305 -x3306 x3307 -x3308 x3309 x3310 x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 x3324 x3325 x3326 -x3327 -x3328 x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 x3345 x3346 x3347 -x3348 -x3349 x3350 -x3351 x3352 x3353 -x3354 -x3355 -x3356 x3357 -x3358 x3359 x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 -x8201 -x8202 -x8203 -x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 -x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 -x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 -x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 -x8454 -x8455 -x8456 -x8457 -x8458 -x8459 -x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 -x8468 -x8469 -x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 -x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 -x8560 -x8561 -x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 -x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 -x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 -x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 -x8729 -x8730 -x8731 -x8732 -x8733 -x8734 -x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 -x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 -x8780 -x8781 -x8782 -x8783 -x8784 -x8785 -x8786 -x8787 -x8788 -x8789 -x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 -x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 -x8894 -x8895 -x8896 -x8897 -x8898 -x8899 -x8900 -x8901 -x8902 -x8903 -x8904 -x8905 -x8906 -x8907 -x8908 -x8909 -x8910 -x8911 -x8912 -x8913 -x8914 -x8915 -x8916 -x8917 -x8918 -x8919 -x8920 -x8921 -x8922 -x8923 -x8924 -x8925 -x8926 -x8927 -x8928 -x8929 -x8930 -x8931 -x8932 -x8933 -x8934 -x8935 -x8936 -x8937 -x8938 -x8939 -x8940 -x8941 -x8942 -x8943 -x8944 -x8945 -x8946 -x8947 -x8948 -x8949 -x8950 -x8951 -x8952 -x8953 -x8954 -x8955 -x8956 -x8957 -x8958 -x8959 -x8960 -x8961 -x8962 -x8963 -x8964 -x8965 -x8966 -x8967 -x8968 -x8969 -x8970 -x8971 -x8972 -x8973 -x8974 -x8975 -x8976 -x8977 -x8978 -x8979 -x8980 -x8981 -x8982 -x8983 -x8984 -x8985 -x8986 -x8987 -x8988 -x8989 -x8990 -x8991 -x8992 -x8993 -x8994 -x8995 -x8996 -x8997 -x8998 -x8999 -x9000 -x9001 -x9002 -x9003 -x9004 -x9005 -x9006 -x9007 -x9008 -x9009 -x9010 -x9011 -x9012 -x9013 -x9014 -x9015 -x9016 -x9017 -x9018 -x9019 -x9020 -x9021 -x9022 -x9023 -x9024 -x9025 -x9026 -x9027 -x9028 -x9029 -x9030 -x9031 -x9032 -x9033 -x9034 -x9035 -x9036 -x9037 -x9038 -x9039 -x9040 -x9041 -x9042 -x9043 -x9044 -x9045 -x9046 -x9047 -x9048 -x9049 -x9050 -x9051 -x9052 -x9053 -x9054 -x9055 -x9056 -x9057 -x9058 -x9059 -x9060 -x9061 -x9062 -x9063 -x9064 -x9065 -x9066 -x9067 -x9068 -x9069 -x9070 -x9071 -x9072 -x9073 -x9074 -x9075 -x9076 -x9077 -x9078 -x9079 -x9080 -x9081 -x9082 -x9083 -x9084 -x9085 -x9086 -x9087 -x9088 -x9089 -x9090 -x9091 -x9092 -x9093 -x9094 -x9095 -x9096 -x9097 -x9098 -x9099 -x9100 -x9101 -x9102 -x9103 -x9104 -x9105 -x9106 -x9107 -x9108 -x9109 -x9110 -x9111 -x9112 -x9113 -x9114 -x9115 -x9116 -x9117 -x9118 -x9119 -x9120 -x9121 -x9122 -x9123 -x9124 -x9125 -x9126 -x9127 -x9128 -x9129 -x9130 -x9131 -x9132 -x9133 -x9134 -x9135 -x9136 -x9137 -x9138 -x9139 -x9140 -x9141 -x9142 -x9143 -x9144 -x9145 -x9146 -x9147 -x9148 -x9149 -x9150 -x9151 -x9152 -x9153 -x9154 -x9155 -x9156 -x9157 -x9158 -x9159 -x9160 -x9161 -x9162 -x9163 -x9164 -x9165 -x9166 -x9167 -x9168 -x9169 -x9170 -x9171 -x9172 -x9173 -x9174 -x9175 -x9176 -x9177 -x9178 -x9179 -x9180 -x9181 -x9182 -x9183 -x9184 -x9185 -x9186 -x9187 -x9188 -x9189 -x9190 -x9191 -x9192 -x9193 -x9194 -x9195 -x9196 -x9197 -x9198 -x9199 -x9200 -x9201 -x9202 -x9203 -x9204 -x9205 -x9206 -x9207 -x9208 -x9209 -x9210 -x9211 -x9212 -x9213 -x9214 -x9215 -x9216 -x9217 -x9218 -x9219 -x9220 -x9221 -x9222 -x9223 -x9224 -x9225 -x9226 -x9227 -x9228 -x9229 -x9230 -x9231 -x9232 -x9233 -x9234 -x9235 -x9236 -x9237 -x9238 -x9239 -x9240 -x9241 -x9242 -x9243 -x9244 -x9245 -x9246 -x9247 -x9248 -x9249 -x9250 -x9251 -x9252 -x9253 -x9254 -x9255 -x9256 -x9257 -x9258 -x9259 -x9260 -x9261 -x9262 -x9263 -x9264 -x9265 -x9266 -x9267 -x9268 -x9269 -x9270 -x9271 -x9272 -x9273 -x9274 -x9275 -x9276 -x9277 -x9278 -x9279 -x9280 -x9281 -x9282 -x9283 -x9284 -x9285 -x9286 -x9287 -x9288 -x9289 -x9290 -x9291 -x9292 -x9293 -x9294 -x9295 -x9296 -x9297 -x9298 -x9299 -x9300 -x9301 -x9302 -x9303 -x9304 -x9305 -x9306 -x9307 -x9308 -x9309 -x9310 -x9311 -x9312 -x9313 -x9314 -x9315 -x9316 -x9317 -x9318 -x9319 -x9320 -x9321 -x9322 -x9323 -x9324 -x9325 -x9326 -x9327 -x9328 -x9329 -x9330 -x9331 -x9332 -x9333 -x9334 -x9335 -x9336 -x9337 -x9338 -x9339 -x9340 -x9341 -x9342 -x9343 -x9344 -x9345 -x9346 -x9347 -x9348 -x9349 -x9350 -x9351 -x9352 -x9353 -x9354 -x9355 -x9356 -x9357 -x9358 -x9359 -x9360 -x9361 -x9362 -x9363 -x9364 -x9365 -x9366 -x9367 -x9368 -x9369 -x9370 -x9371 -x9372 -x9373 -x9374 -x9375 -x9376 -x9377 -x9378 -x9379 -x9380 -x9381 -x9382 -x9383 -x9384 -x9385 -x9386 -x9387 -x9388 -x9389 -x9390 -x9391 -x9392 -x9393 -x9394 -x9395 -x9396 -x9397 -x9398 -x9399 -x9400 -x9401 -x9402 -x9403 -x9404 -x9405 -x9406 -x9407 -x9408 -x9409 -x9410 -x9411 -x9412 -x9413 -x9414 -x9415 -x9416 -x9417 -x9418 -x9419 -x9420 -x9421 -x9422 -x9423 -x9424 -x9425 -x9426 -x9427 -x9428 -x9429 -x9430 -x9431 -x9432 -x9433 -x9434 -x9435 -x9436 -x9437 -x9438 -x9439 -x9440 -x9441 -x9442 -x9443 -x9444 -x9445 -x9446 -x9447 -x9448 -x9449 -x9450 -x9451 -x9452 -x9453 -x9454 -x9455 -x9456 -x9457 -x9458 -x9459 -x9460 -x9461 -x9462 -x9463 -x9464 -x9465 -x9466 -x9467 -x9468 -x9469 -x9470 -x9471 -x9472 -x9473 -x9474 -x9475 -x9476 -x9477 -x9478 -x9479 -x9480 -x9481 -x9482 -x9483 -x9484 -x9485 -x9486 -x9487 -x9488 -x9489 -x9490 -x9491 -x9492 -x9493 -x9494 -x9495 -x9496 -x9497 -x9498 -x9499 -x9500 -x9501 -x9502 -x9503 -x9504 -x9505 -x9506 -x9507 -x9508 -x9509 -x9510 -x9511 -x9512 -x9513 -x9514 -x9515 -x9516 -x9517 -x9518 -x9519 -x9520 -x9521 -x9522 -x9523 -x9524 -x9525 -x9526 -x9527 -x9528 -x9529 -x9530 -x9531 -x9532 -x9533 -x9534 -x9535 -x9536 -x9537 -x9538 -x9539 -x9540 -x9541 -x9542 -x9543 -x9544 -x9545 -x9546 -x9547 -x9548 -x9549 -x9550 -x9551 -x9552 -x9553 -x9554 -x9555 -x9556 -x9557 -x9558 -x9559 -x9560 -x9561 -x9562 -x9563 -x9564 -x9565 -x9566 -x9567 -x9568 -x9569 -x9570 -x9571 -x9572 -x9573 -x9574 -x9575 -x9576 -x9577 -x9578 -x9579 -x9580 -x9581 -x9582 -x9583 -x9584 -x9585 -x9586 -x9587 -x9588 -x9589 -x9590 -x9591 -x9592 -x9593 -x9594 -x9595 -x9596 -x9597 -x9598 -x9599 -x9600 -x9601 -x9602 -x9603 -x9604 -x9605 -x9606 -x9607 -x9608 -x9609 -x9610 -x9611 -x9612 -x9613 -x9614 -x9615 -x9616 -x9617 -x9618 -x9619 -x9620 -x9621 -x9622 -x9623 -x9624 -x9625 -x9626 -x9627 -x9628 -x9629 -x9630 -x9631 -x9632 -x9633 -x9634 -x9635 -x9636 -x9637 -x9638 -x9639 -x9640 -x9641 -x9642 -x9643 -x9644 -x9645 -x9646 -x9647 -x9648 -x9649 -x9650 -x9651 -x9652 -x9653 -x9654 -x9655 -x9656 -x9657 -x9658 -x9659 -x9660 -x9661 -x9662 -x9663 -x9664 -x9665 -x9666 -x9667 -x9668 -x9669 -x9670 -x9671 -x9672 -x9673 -x9674 -x9675 -x9676 -x9677 -x9678 -x9679 -x9680 -x9681 -x9682 -x9683 -x9684 -x9685 -x9686 -x9687 -x9688 -x9689 -x9690 -x9691 -x9692 -x9693 -x9694 -x9695 -x9696 -x9697 -x9698 -x9699 -x9700 -x9701 -x9702 -x9703 -x9704 -x9705 -x9706 -x9707 -x9708 -x9709 -x9710 -x9711 -x9712 -x9713 -x9714 -x9715 -x9716 -x9717 -x9718 -x9719 -x9720 -x9721 -x9722 -x9723 -x9724 -x9725 -x9726 -x9727 -x9728 -x9729 -x9730 -x9731 -x9732 -x9733 -x9734 -x9735 -x9736 -x9737 -x9738 -x9739 -x9740 -x9741 -x9742 -x9743 -x9744 -x9745 -x9746 -x9747 -x9748 -x9749 -x9750 -x9751 -x9752 -x9753 -x9754 -x9755 -x9756 -x9757 -x9758 -x9759 -x9760 -x9761 -x9762 -x9763 -x9764 -x9765 -x9766 -x9767 -x9768 -x9769 -x9770 -x9771 -x9772 -x9773 -x9774 -x9775 -x9776 -x9777 -x9778 -x9779 -x9780 -x9781 -x9782 -x9783 -x9784 -x9785 -x9786 -x9787 -x9788 -x9789 -x9790 -x9791 -x9792 -x9793 -x9794 -x9795 -x9796 -x9797 -x9798 -x9799 -x9800 -x9801 -x9802 -x9803 -x9804 -x9805 -x9806 -x9807 -x9808 -x9809 -x9810 -x9811 -x9812 -x9813 -x9814 -x9815 -x9816 -x9817 -x9818 -x9819 -x9820 -x9821 -x9822 -x9823 -x9824 -x9825 -x9826 -x9827 -x9828 -x9829 -x9830 -x9831 -x9832 -x9833 -x9834 -x9835 -x9836 -x9837 -x9838 -x9839 -x9840 -x9841 -x9842 -x9843 -x9844 -x9845 -x9846 -x9847 -x9848 -x9849 -x9850 -x9851 -x9852 -x9853 -x9854 -x9855 -x9856 -x9857 -x9858 -x9859 -x9860 -x9861 -x9862 -x9863 -x9864 -x9865 -x9866 -x9867 -x9868 -x9869 -x9870 -x9871 -x9872 -x9873 -x9874 -x9875 -x9876 -x9877 -x9878 -x9879 -x9880 -x9881 -x9882 -x9883 -x9884 -x9885 -x9886 -x9887 -x9888 -x9889 -x9890 -x9891 -x9892 -x9893 -x9894 -x9895 -x9896 -x9897 -x9898 -x9899 -x9900 -x9901 -x9902 -x9903 -x9904 -x9905 -x9906 -x9907 -x9908 -x9909 -x9910 -x9911 -x9912 -x9913 -x9914 -x9915 -x9916 -x9917 -x9918 -x9919 -x9920 -x9921 -x9922 -x9923 -x9924 -x9925 -x9926 -x9927 -x9928 -x9929 -x9930 -x9931 -x9932 -x9933 -x9934 -x9935 -x9936 -x9937 -x9938 -x9939 -x9940 
1800.07/1793.85	c objective function=6722177
1800.07/1793.85	c Total wall clock time (in seconds): 1793.739

Verifier Data

OK	6722177

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710383-1338255161/watcher-3710383-1338255161 -o /tmp/evaluation-result-3710383-1338255161/solver-3710383-1338255161 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710383-1338255161.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.02 1.91 2/194 26613
/proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/26613/stat : 26613 (java) R 26611 26613 26215 0 -1 4202496 991 0 0 0 0 0 0 0 20 0 1 0 291640677 23793664 718 33554432000 1073741824 1073778376 140734057685584 140734057674648 248780994640 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 5809 726 538 9 0 128 0

[startup+0.0576081 s]
/proc/loadavg: 2.08 2.02 1.91 2/194 26613
/proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9558440 CPUtime=0.05 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 3199 0 1 0 4 1 0 0 20 0 18 0 291640677 9787842560 4406 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2389610 4406 1764 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558440

[startup+0.100273 s]
/proc/loadavg: 2.08 2.02 1.91 2/194 26613
/proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 4265 0 1 0 9 1 0 0 20 0 18 0 291640677 9787842560 5982 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2389610 5982 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300256 s]
/proc/loadavg: 2.08 2.02 1.91 2/194 26613
/proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9558440 CPUtime=0.51 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 6742 0 1 0 49 2 0 0 20 0 18 0 291640677 9787842560 10512 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2389809 10535 2226 9 0 2380495 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558440

[startup+0.700263 s]
/proc/loadavg: 2.08 2.02 1.91 2/194 26613
/proc/meminfo: memFree=30895320/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 10913 0 1 0 146 3 0 0 20 0 19 0 291640677 9856004096 25649 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2406251 25649 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9625004

[startup+1.50064 s]
/proc/loadavg: 2.08 2.02 1.91 3/213 26632
/proc/meminfo: memFree=30793620/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9625004 CPUtime=2.7 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 11007 0 1 0 267 3 0 0 20 0 19 0 291640677 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2406251 27786 2263 9 0 2396937 0
[pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2544 0 1 0 145 2 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409757753656 140409612050961 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291640679 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 2748 0 0 0 60 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 4514 0 0 0 59 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 27786 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 9625004

[startup+3.10068 s]
/proc/loadavg: 2.07 2.02 1.91 3/213 26632
/proc/meminfo: memFree=30784932/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9625004 CPUtime=4.3 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 11012 0 1 0 427 3 0 0 20 0 19 0 291640677 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2406251 29323 2263 9 0 2396937 0
[pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=3.07 cores=0,2,4,6
/proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2548 0 1 0 305 2 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409757751744 140409612175063 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291640679 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 2748 0 0 0 60 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 4514 0 0 0 59 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 29323 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9625004

[startup+6.30065 s]
/proc/loadavg: 2.07 2.02 1.91 3/213 26632
/proc/meminfo: memFree=30715176/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9625004 CPUtime=7.55 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 11167 0 1 0 751 4 0 0 20 0 19 0 291640677 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2406251 32771 2265 9 0 2396937 0
[pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=6.26 cores=0,2,4,6
/proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2558 0 1 0 624 2 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409757753616 140409612209081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291640678 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291640679 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 2893 0 0 0 64 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=0.59 cores=0,2,4,6
/proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 4514 0 0 0 59 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 32771 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.55
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 7533 0 0 0 91 1 0 0 20 0 19 0 291640682 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6
/proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 12086 0 0 0 147 2 0 0 20 0 19 0 291640682 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0.26 cores=0,2,4,6
/proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 95 0 0 0 12 14 0 0 20 0 19 0 291640682 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 83752 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1668.22
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 26670
/proc/meminfo: memFree=30372100/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9625004 CPUtime=1728.39 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 25576 0 1 0 172800 39 0 0 20 0 19 0 291640677 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2406251 84276 2292 9 0 2396937 0
[pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=1705.97 cores=0,2,4,6
/proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2724 0 1 0 170566 31 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409757753664 140409611955667 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 284 0 0 0 63 3 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 273 0 0 0 62 1 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 324 0 0 0 59 2 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 335 0 0 0 66 3 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 86 0 0 0 59 2 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0.67 cores=0,2,4,6
/proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 62 0 0 0 65 2 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0.72 cores=0,2,4,6
/proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 182 0 0 0 69 3 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0.62 cores=0,2,4,6
/proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 209 0 0 0 60 2 0 0 20 0 19 0 291640678 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=10.23 cores=0,2,4,6
/proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 191 0 0 0 1021 2 0 0 20 0 19 0 291640679 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 7533 0 0 0 91 1 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6
/proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 12086 0 0 0 147 2 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 99 0 0 0 13 15 0 0 20 0 19 0 291640682 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 84276 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1728.39
Current children cumulated vsize (KiB) 9625004

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/213 26671
/proc/meminfo: memFree=30371612/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9625004 CPUtime=1788.52 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 25623 0 1 0 178812 40 0 0 20 0 19 0 291640677 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2406251 84315 2292 9 0 2396937 0
[pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=1765.52 cores=0,2,4,6
/proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2726 0 1 0 176520 32 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409757753664 140409612106834 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 323 0 0 0 65 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 273 0 0 0 64 1 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 324 0 0 0 61 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 335 0 0 0 68 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 86 0 0 0 62 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0.68 cores=0,2,4,6
/proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 62 0 0 0 66 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 182 0 0 0 71 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 209 0 0 0 63 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=10.47 cores=0,2,4,6
/proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 193 0 0 0 1045 2 0 0 20 0 19 0 291640679 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 7533 0 0 0 91 1 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6
/proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 12086 0 0 0 147 2 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1788.52
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.8 s]
/proc/loadavg: 1.92 1.98 1.92 4/212 26729
/proc/meminfo: memFree=30612224/32873844 swapFree=6080/6080
[pid=26613] ppid=26611 vsize=9625004 CPUtime=1800.07 cores=0,2,4,6
/proc/26613/stat : 26613 (java) S 26611 26613 26215 0 -1 4202496 25626 0 1 0 179967 40 0 0 20 0 19 0 291640677 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140734057676720 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/26613/statm: 2406251 84315 2292 9 0 2396937 0
[pid=26613/tid=26615] ppid=26611 vsize=9625004 CPUtime=1776.88 cores=0,2,4,6
/proc/26613/task/26615/stat : 26615 (java) R 26611 26613 26215 0 -1 4202560 2727 0 1 0 177655 33 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409757753664 140409612049273 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26616] ppid=26611 vsize=9625004 CPUtime=0.7 cores=0,2,4,6
/proc/26613/task/26616/stat : 26616 (java) S 26611 26613 26215 0 -1 4202560 323 0 0 0 67 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409730206120 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26613/tid=26617] ppid=26611 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/26613/task/26617/stat : 26617 (java) S 26611 26613 26215 0 -1 4202560 273 0 0 0 64 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409600256552 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26618] ppid=26611 vsize=9625004 CPUtime=0.64 cores=0,2,4,6
/proc/26613/task/26618/stat : 26618 (java) S 26611 26613 26215 0 -1 4202560 324 0 0 0 62 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409599203496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26619] ppid=26611 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/26613/task/26619/stat : 26619 (java) S 26611 26613 26215 0 -1 4202560 335 0 0 0 68 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409598150952 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26620] ppid=26611 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/26613/task/26620/stat : 26620 (java) S 26611 26613 26215 0 -1 4202560 86 0 0 0 63 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409597098920 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26613/tid=26621] ppid=26611 vsize=9625004 CPUtime=0.69 cores=0,2,4,6
/proc/26613/task/26621/stat : 26621 (java) S 26611 26613 26215 0 -1 4202560 62 0 0 0 67 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409596046376 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26622] ppid=26611 vsize=9625004 CPUtime=0.74 cores=0,2,4,6
/proc/26613/task/26622/stat : 26622 (java) S 26611 26613 26215 0 -1 4202560 182 0 0 0 71 3 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409258896040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26623] ppid=26611 vsize=9625004 CPUtime=0.66 cores=0,2,4,6
/proc/26613/task/26623/stat : 26623 (java) S 26611 26613 26215 0 -1 4202560 209 0 0 0 64 2 0 0 20 0 19 0 291640678 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409257843496 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=26613/tid=26624] ppid=26611 vsize=9625004 CPUtime=10.57 cores=0,2,4,6
/proc/26613/task/26624/stat : 26624 (java) S 26611 26613 26215 0 -1 4202560 195 0 0 0 1055 2 0 0 20 0 19 0 291640679 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409245645160 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26625] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26625/stat : 26625 (java) S 26611 26613 26215 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409244591480 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26626] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26626/stat : 26626 (java) S 26611 26613 26215 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291640680 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409243538312 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26627] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26627/stat : 26627 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409242487056 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26628] ppid=26611 vsize=9625004 CPUtime=0.92 cores=0,2,4,6
/proc/26613/task/26628/stat : 26628 (java) S 26611 26613 26215 0 -1 4202560 7533 0 0 0 91 1 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409241434936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=26613/tid=26629] ppid=26611 vsize=9625004 CPUtime=1.49 cores=0,2,4,6
/proc/26613/task/26629/stat : 26629 (java) S 26611 26613 26215 0 -1 4202560 12086 0 0 0 147 2 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409240382392 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26630] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26630/stat : 26630 (java) S 26611 26613 26215 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409239329528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=26613/tid=26631] ppid=26611 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/26613/task/26631/stat : 26631 (java) S 26611 26613 26215 0 -1 4202560 103 0 0 0 13 16 0 0 20 0 19 0 291640682 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409238277192 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=26613/tid=26632] ppid=26611 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/26613/task/26632/stat : 26632 (java) S 26611 26613 26215 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291640733 9856004096 84315 33554432000 1073741824 1073778376 140734057685584 140409237222440 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143

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

Real time (s): 1793.86
CPU time (s): 1800.07
CPU user time (s): 1799.67
CPU system time (s): 0.4
CPU usage (%): 100.346
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.13
system time used= 0.871867
maximum resident set size= 337388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25660
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42530
involuntary context switches= 17878

runsolver used 6.06908 second user time and 13.6359 second system time

The end

Launcher Data

Begin job on node139 at 2012-05-29 03:32:41
IDJOB=3710383
IDBENCH=92754
IDSOLVER=2289
FILE ID=node139/3710383-1338255161
RUNJOBID= node139-1338253362-26231
PBS_JOBID= 14624667
Free space on /tmp= 71652 MiB

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

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

MD5SUM BENCH= ca79c3a72fcbc528e4a81e658af79fe0
RANDOM SEED=1151757369

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30895600 kB
Buffers:          447092 kB
Cached:           549040 kB
SwapCached:          828 kB
Active:           813496 kB
Inactive:         304884 kB
Active(anon):     115832 kB
Inactive(anon):     7968 kB
Active(file):     697664 kB
Inactive(file):   296916 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:              3324 kB
Writeback:             0 kB
AnonPages:        130700 kB
Mapped:            20028 kB
Shmem:                 8 kB
Slab:             718616 kB
SReclaimable:     160292 kB
SUnreclaim:       558324 kB
KernelStack:        1576 kB
PageTables:         4308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     694868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     92160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node139 at 2012-05-29 04:02:37