Trace number 3735674

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB11: Sat4j Res//CP 2.3.0SAT (TO)26 1800.17 916.361

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_019_area_delay.opb
MD5SUM0b594d74f3df9901bfa97fac996b1847
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark4.22336
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables7437
Total number of constraints23270
Number of constraints which are clauses23270
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 3612
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 3612
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 3612
Number of bits of the biggest sum of numbers12
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.06/0.11	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.11	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.11	c See www.sat4j.org for details.
0.06/0.12	c version 2.3.1.v20110525
0.06/0.12	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.12	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.12	c java.vm.version	19.1-b02
0.06/0.12	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.12	c sun.arch.data.model	64
0.06/0.12	c java.version		1.6.0_24
0.06/0.12	c os.name		Linux
0.06/0.12	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.12	c os.arch		amd64
0.06/0.12	c Free memory 		9996466904
0.06/0.12	c Max memory 		10048897024
0.06/0.12	c Total memory 		10048897024
0.06/0.12	c Number of processors 	8
0.06/0.14	c Pseudo Boolean Optimization
0.06/0.14	c ManyCore solver with 2 solvers running in parallel
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.06/0.14	c No reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=false
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3735674-1338696082.opb
0.06/0.14	c reading problem ... 
0.97/0.54	c ... done. Wall clock time 0.395s.
0.97/0.54	c #vars     7437
0.97/0.54	c #constraints  23270
0.97/0.54	c constraints type 
0.97/0.54	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3832
0.97/0.54	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18842
0.97/0.54	c constraints type 
0.97/0.54	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18842
0.97/0.54	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3832
1.28/0.65	c  And the winner is CuttingPlanes
1.55/1.06	c SATISFIABLE
1.55/1.06	c OPTIMIZING...
1.55/1.06	c Got one! Elapsed wall clock time (in seconds):0.917
1.55/1.06	o 39
1.71/1.12	c  And the winner is Resolution
2.11/1.60	c Got one! Elapsed wall clock time (in seconds):1.453
2.11/1.60	o 38
2.11/1.62	c  And the winner is Resolution
2.44/2.12	c Got one! Elapsed wall clock time (in seconds):1.977
2.44/2.12	o 37
2.44/2.18	c  And the winner is Resolution
3.12/2.64	c Got one! Elapsed wall clock time (in seconds):2.493
3.12/2.64	o 33
3.35/2.71	c  And the winner is Resolution
3.45/3.15	c Got one! Elapsed wall clock time (in seconds):3.009
3.45/3.15	o 30
5.49/4.14	c  And the winner is Resolution
5.49/4.17	c Got one! Elapsed wall clock time (in seconds):4.024
5.49/4.17	o 29
7.95/5.37	c cleaning 2905 clauses out of 5819 with flag 3001/5819
12.92/7.61	c cleaning 4453 clauses out of 8913 with flag 9000/11818
18.51/10.48	c cleaning 5725 clauses out of 11460 with flag 16000/18818
24.88/13.62	c cleaning 6863 clauses out of 13736 with flag 24001/26819
31.69/17.05	c cleaning 7928 clauses out of 15872 with flag 33000/35818
39.26/20.83	c cleaning 8968 clauses out of 17946 with flag 43002/45820
47.88/25.11	c cleaning 9978 clauses out of 19976 with flag 54000/56818
57.64/30.03	c cleaning 10994 clauses out of 21998 with flag 66000/68818
68.18/35.34	c cleaning 11996 clauses out of 24006 with flag 79002/81820
78.75/40.69	c cleaning 13000 clauses out of 26009 with flag 93001/95819
90.49/46.55	c cleaning 13996 clauses out of 28009 with flag 108001/110819
98.23/50.50	c  And the winner is Resolution
98.23/50.78	c Got one! Elapsed wall clock time (in seconds):50.632
98.23/50.78	o 28
100.87/52.12	c cleaning 14977 clauses out of 29966 with flag 5001/126772
105.98/54.72	c cleaning 10485 clauses out of 20988 with flag 11000/132771
110.74/57.11	c cleaning 8746 clauses out of 17504 with flag 18001/139772
117.06/60.32	c cleaning 8368 clauses out of 16757 with flag 26000/147771
124.20/63.96	c cleaning 8685 clauses out of 17389 with flag 35000/156771
132.14/67.91	c cleaning 9342 clauses out of 18704 with flag 45000/166771
140.28/72.04	c cleaning 10178 clauses out of 20363 with flag 56001/177772
148.83/76.34	c cleaning 11087 clauses out of 22186 with flag 68002/189773
158.78/81.39	c cleaning 12043 clauses out of 24097 with flag 81000/202771
168.56/86.23	c cleaning 13022 clauses out of 26054 with flag 95000/216771
179.29/91.64	c cleaning 14009 clauses out of 28033 with flag 110001/231772
191.81/97.95	c cleaning 15006 clauses out of 30023 with flag 126000/247771
205.73/104.98	c cleaning 16001 clauses out of 32017 with flag 143000/264771
219.40/111.81	c cleaning 17002 clauses out of 34017 with flag 161001/282772
233.57/118.95	c cleaning 17999 clauses out of 36015 with flag 180001/301772
250.08/127.27	c cleaning 18999 clauses out of 38015 with flag 200000/321771
265.80/135.12	c cleaning 20000 clauses out of 40017 with flag 221001/342772
281.87/143.24	c cleaning 20998 clauses out of 42017 with flag 243001/364772
299.17/151.97	c cleaning 22000 clauses out of 44019 with flag 266001/387772
316.31/160.55	c cleaning 22508 clauses out of 45019 with flag 289001/410772
332.40/168.65	c cleaning 22749 clauses out of 45510 with flag 312000/433771
350.24/177.69	c cleaning 22874 clauses out of 45761 with flag 335000/456771
369.72/187.43	c cleaning 22940 clauses out of 45889 with flag 358002/479773
388.62/196.91	c cleaning 22963 clauses out of 45947 with flag 381000/502771
408.11/206.76	c cleaning 22984 clauses out of 45984 with flag 404000/525771
426.10/215.82	c cleaning 22991 clauses out of 46000 with flag 427000/548771
443.99/224.87	c cleaning 22996 clauses out of 46009 with flag 450000/571771
461.46/233.69	c cleaning 22996 clauses out of 46013 with flag 473000/594771
480.16/243.08	c cleaning 23000 clauses out of 46020 with flag 496003/617774
498.54/252.37	c cleaning 22999 clauses out of 46017 with flag 519000/640771
516.80/261.55	c cleaning 23001 clauses out of 46018 with flag 542000/663771
535.07/270.74	c cleaning 23001 clauses out of 46017 with flag 565000/686771
553.94/280.28	c cleaning 23003 clauses out of 46018 with flag 588002/709773
571.11/288.95	c cleaning 23001 clauses out of 46013 with flag 611000/732771
587.97/297.48	c cleaning 23000 clauses out of 46013 with flag 634001/755772
604.25/305.70	c cleaning 22996 clauses out of 46012 with flag 657000/778771
623.13/315.10	c cleaning 23001 clauses out of 46016 with flag 680000/801771
637.67/322.50	c  And the winner is CuttingPlanes
636.39/322.89	c Got one! Elapsed wall clock time (in seconds):322.743
636.39/322.89	o 27
640.01/324.78	c cleaning 23119 clauses out of 46256 with flag 5000/825012
644.65/327.11	c cleaning 14564 clauses out of 29137 with flag 11000/831012
649.67/329.77	c cleaning 10782 clauses out of 21574 with flag 18001/838013
655.30/332.69	c cleaning 9392 clauses out of 18792 with flag 26001/846013
662.03/336.18	c cleaning 9194 clauses out of 18400 with flag 35001/855013
669.85/340.17	c cleaning 9597 clauses out of 19205 with flag 45000/865012
678.69/344.62	c cleaning 10294 clauses out of 20608 with flag 56000/876012
687.72/349.27	c cleaning 11146 clauses out of 22314 with flag 68000/888012
697.25/354.17	c cleaning 12076 clauses out of 24168 with flag 81000/901012
708.25/359.72	c cleaning 13040 clauses out of 26092 with flag 95000/915012
720.47/365.96	c cleaning 14016 clauses out of 28052 with flag 110000/930012
733.51/372.53	c cleaning 15014 clauses out of 30037 with flag 126001/946013
746.61/379.23	c cleaning 16000 clauses out of 32023 with flag 143001/963013
761.04/386.50	c cleaning 16998 clauses out of 34022 with flag 161000/981012
776.05/394.15	c cleaning 18006 clauses out of 36025 with flag 180001/1000013
791.68/402.07	c cleaning 19007 clauses out of 38020 with flag 200002/1020014
807.58/410.18	c cleaning 19995 clauses out of 40011 with flag 221000/1041012
823.59/418.29	c cleaning 21001 clauses out of 42016 with flag 243000/1063012
839.61/426.33	c cleaning 22001 clauses out of 44015 with flag 266000/1086012
856.64/434.97	c cleaning 22497 clauses out of 45014 with flag 289000/1109012
873.92/443.77	c cleaning 22749 clauses out of 45518 with flag 312001/1132013
892.12/452.96	c cleaning 22875 clauses out of 45771 with flag 335003/1155015
909.70/461.84	c cleaning 22938 clauses out of 45893 with flag 358000/1178012
927.09/470.64	c cleaning 22971 clauses out of 45958 with flag 381003/1201015
944.16/479.35	c cleaning 22983 clauses out of 45984 with flag 404000/1224012
960.37/487.53	c cleaning 22995 clauses out of 46003 with flag 427002/1247014
976.53/495.74	c cleaning 22997 clauses out of 46007 with flag 450001/1270013
995.10/505.10	c cleaning 23001 clauses out of 46011 with flag 473002/1293014
1011.74/513.62	c cleaning 22993 clauses out of 46008 with flag 496000/1316012
1028.27/522.06	c cleaning 22997 clauses out of 46015 with flag 519000/1339012
1047.67/531.80	c cleaning 23001 clauses out of 46018 with flag 542000/1362012
1067.06/541.66	c cleaning 22991 clauses out of 46017 with flag 565000/1385012
1086.46/551.58	c cleaning 23008 clauses out of 46026 with flag 588000/1408012
1104.02/560.48	c cleaning 23004 clauses out of 46019 with flag 611001/1431013
1122.17/569.70	c cleaning 23003 clauses out of 46015 with flag 634001/1454013
1139.94/578.63	c cleaning 22999 clauses out of 46012 with flag 657001/1477013
1158.09/587.90	c cleaning 23004 clauses out of 46013 with flag 680001/1500013
1175.23/596.63	c cleaning 22998 clauses out of 46009 with flag 703001/1523013
1192.55/605.44	c cleaning 23001 clauses out of 46012 with flag 726002/1546014
1210.68/614.65	c cleaning 22996 clauses out of 46009 with flag 749000/1569012
1218.63/618.82	c  And the winner is CuttingPlanes
1217.30/619.14	c Got one! Elapsed wall clock time (in seconds):618.998
1217.30/619.14	o 26
1220.80/620.96	c cleaning 18683 clauses out of 37397 with flag 5000/1583396
1225.33/623.35	c cleaning 12351 clauses out of 24715 with flag 11001/1589397
1230.63/626.16	c cleaning 9677 clauses out of 19365 with flag 18002/1596398
1236.36/629.12	c cleaning 8836 clauses out of 17686 with flag 26000/1604396
1243.47/632.93	c cleaning 8921 clauses out of 17850 with flag 35000/1613396
1250.38/636.59	c cleaning 9455 clauses out of 18930 with flag 45001/1623397
1258.68/640.82	c cleaning 10232 clauses out of 20475 with flag 56001/1634397
1267.78/645.58	c cleaning 11114 clauses out of 22243 with flag 68001/1646397
1278.32/651.05	c cleaning 12061 clauses out of 24129 with flag 81001/1659397
1288.43/656.23	c cleaning 13029 clauses out of 26069 with flag 95002/1673398
1299.74/662.01	c cleaning 14012 clauses out of 28040 with flag 110002/1688398
1311.66/668.14	c cleaning 15007 clauses out of 30026 with flag 126000/1704396
1324.83/674.95	c cleaning 16006 clauses out of 32021 with flag 143002/1721398
1338.13/681.77	c cleaning 16997 clauses out of 34015 with flag 161002/1739398
1353.25/689.43	c cleaning 18005 clauses out of 36016 with flag 180000/1758396
1368.98/697.50	c cleaning 19002 clauses out of 38011 with flag 200000/1778396
1385.48/705.95	c cleaning 19996 clauses out of 40010 with flag 221001/1799397
1402.78/714.78	c cleaning 20999 clauses out of 42014 with flag 243001/1821397
1419.29/723.19	c cleaning 22003 clauses out of 44015 with flag 266001/1844397
1436.40/731.82	c cleaning 22499 clauses out of 45011 with flag 289000/1867396
1453.72/740.73	c cleaning 22743 clauses out of 45512 with flag 312000/1890396
1471.22/749.66	c cleaning 22874 clauses out of 45769 with flag 335000/1913396
1489.11/758.78	c cleaning 22940 clauses out of 45896 with flag 358001/1936397
1509.00/768.84	c cleaning 22973 clauses out of 45956 with flag 381001/1959397
1526.87/778.07	c cleaning 22986 clauses out of 45983 with flag 404001/1982397
1544.16/786.89	c cleaning 22986 clauses out of 45996 with flag 427000/2005396
1563.85/796.81	c cleaning 23001 clauses out of 46013 with flag 450003/2028399
1581.15/805.62	c cleaning 22999 clauses out of 46011 with flag 473002/2051398
1599.02/814.86	c cleaning 23002 clauses out of 46011 with flag 496001/2074397
1617.73/824.38	c cleaning 22996 clauses out of 46008 with flag 519000/2097396
1635.61/833.43	c cleaning 22998 clauses out of 46012 with flag 542000/2120396
1653.73/842.64	c cleaning 22995 clauses out of 46015 with flag 565001/2143397
1671.79/851.94	c cleaning 23007 clauses out of 46019 with flag 588000/2166396
1688.88/860.65	c cleaning 22997 clauses out of 46012 with flag 611000/2189396
1705.75/869.26	c cleaning 23000 clauses out of 46015 with flag 634000/2212396
1722.80/877.95	c cleaning 23003 clauses out of 46015 with flag 657000/2235396
1740.83/887.26	c cleaning 22999 clauses out of 46014 with flag 680002/2258398
1757.70/895.81	c cleaning 23002 clauses out of 46015 with flag 703002/2281398
1774.76/904.53	c cleaning 23003 clauses out of 46012 with flag 726001/2304397
1791.83/913.25	c cleaning 22991 clauses out of 46008 with flag 749000/2327396
1797.47/916.32	c starts		: 18
1797.47/916.32	c conflicts		: 1500
1797.47/916.32	c decisions		: 170338
1797.47/916.32	c propagations		: 1030835
1797.47/916.32	c inspects		: 8982935
1797.47/916.32	c shortcuts		: 0
1797.47/916.32	c learnt literals	: 0
1797.47/916.32	c learnt binary clauses	: 0
1797.47/916.32	c learnt ternary clauses	: 0
1797.47/916.32	c learnt constraints	: 1498
1797.47/916.32	c ignored constraints	: 0
1797.47/916.32	c root simplifications	: 0
1797.47/916.32	c removed literals (reason simplification)	: 0
1797.47/916.32	c reason swapping (by a shorter reason)	: 0
1797.47/916.32	c Calls to reduceDB	: 0
1797.47/916.32	c number of reductions to clauses (during analyze)	: 0
1797.47/916.32	c number of learned constraints concerned by reduction	: 0
1797.47/916.32	c number of learning phase by resolution	: 0
1797.47/916.32	c number of learning phase by cutting planes	: 0
1797.47/916.32	c speed (assignments/second)	: 3468.8510578155865
1797.47/916.32	c non guided choices	0
1797.47/916.32	c learnt constraints type 
1797.47/916.32	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 9
1797.47/916.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 56
1797.47/916.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1433
1797.47/916.32	c constraints type 
1797.47/916.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3832
1797.47/916.32	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1797.47/916.32	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18842
1797.47/916.32	c constraints type 
1797.47/916.32	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 18842
1797.47/916.32	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3832
1797.47/916.32	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1797.47/916.32	s SATISFIABLE
1797.47/916.33	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 
1797.47/916.34	c objective function=26
1797.47/916.34	c Total wall clock time (in seconds): 916.195

Verifier Data

OK	26

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-3735674-1338696082/watcher-3735674-1338696082 -o /tmp/evaluation-result-3735674-1338696082/solver-3735674-1338696082 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735674-1338696082.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.98 3.94 3.91 4/198 9933
/proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/9933/stat : 9933 (java) D 9931 9933 2935 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 335732601 2560000 46 33554432000 1073741824 1073778376 140734861177136 140734861174264 239228513575 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/9933/statm: 625 46 37 9 0 29 0

[startup+0.088098 s]
/proc/loadavg: 3.98 3.94 3.91 4/198 9933
/proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=11253516 CPUtime=0.05 cores=1,3,5,7
/proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 4345 0 1 0 4 1 0 0 20 0 13 0 335732601 11523600384 12707 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9933/statm: 2813379 12707 1709 9 0 2804080 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 11253516

[startup+0.100289 s]
/proc/loadavg: 3.98 3.94 3.91 4/198 9933
/proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=11586392 CPUtime=0.06 cores=1,3,5,7
/proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 4452 0 1 0 5 1 0 0 20 0 18 0 335732601 11864465408 12814 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9933/statm: 2896598 12814 1765 9 0 2887285 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11586392

[startup+0.300248 s]
/proc/loadavg: 3.98 3.94 3.91 4/198 9933
/proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=11586392 CPUtime=0.44 cores=1,3,5,7
/proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 6880 0 1 0 42 2 0 0 20 0 18 0 335732601 11864465408 16131 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9933/statm: 2896598 16131 2221 9 0 2887285 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 11586392

[startup+0.700253 s]
/proc/loadavg: 3.98 3.94 3.91 4/198 9933
/proc/meminfo: memFree=26580580/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=11852648 CPUtime=1.55 cores=1,3,5,7
/proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 12288 0 1 0 150 5 0 0 20 0 19 0 335732601 12137111552 31266 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9933/statm: 2963162 31266 2256 9 0 2953849 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 11852648

[startup+1.50063 s]
/proc/loadavg: 4.06 3.96 3.91 3/217 9955
/proc/meminfo: memFree=26463920/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=11852648 CPUtime=2.08 cores=1,3,5,7
/proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 13544 0 1 0 200 8 0 0 20 0 19 0 335732601 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9933/statm: 2963162 32839 2261 9 0 2953849 0
[pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.54 cores=1,3,5,7
/proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3442 0 1 0 51 3 0 0 20 0 19 0 335732603 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732607 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335732608 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335732608 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=0.52 cores=1,3,5,7
/proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 2829 0 0 0 52 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=0.5 cores=1,3,5,7
/proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 5965 0 0 0 50 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 32839 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 11852648

[startup+3.10065 s]
/proc/loadavg: 4.06 3.96 3.91 3/217 9961
/proc/meminfo: memFree=26449284/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=11852648 CPUtime=3.45 cores=1,3,5,7
/proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 21239 0 1 0 330 15 0 0 20 0 19 0 335732601 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9933/statm: 2963162 41290 2266 9 0 2953849 0
[pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.6 cores=1,3,5,7
/proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3445 0 1 0 57 3 0 0 20 0 19 0 335732603 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732606 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732607 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335732608 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335732608 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 9017 0 0 0 103 1 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=0.76 cores=1,3,5,7
/proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 7437 0 0 0 74 2 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335732611 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9958] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9958/stat : 9958 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335732711 12137111552 41290 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 11852648

[startup+6.30089 s]
/proc/loadavg: 4.05 3.96 3.91 4/220 9973
/proc/meminfo: memFree=26363336/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=11852648 CPUtime=10.21 cores=1,3,5,7
/proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 25288 0 1 0 993 28 0 0 20 0 22 0 335732601 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9933/statm: 2963162 157933 2291 9 0 2953849 0
[pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.63 cores=1,3,5,7
/proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3447 0 1 0 60 3 0 0 20 0 22 0 335732603 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335732606 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=0.04 cores=1,3,5,7
/proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 52 0 0 0 4 0 0 0 20 0 22 0 335732607 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.42 cores=1,3,5,7
/proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 11466 0 0 0 140 2 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=0.93 cores=1,3,5,7
/proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 8709 0 0 0 91 2 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9958] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9958/stat : 9958 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335732711 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9971] ppid=9931 vsize=11852648 CPUtime=2.04 cores=1,3,5,7
/proc/9933/task/9971/stat : 9971 (java) R 9931 9933 2935 0 -1 4202560 7 0 0 0 204 0 0 0 20 0 22 0 335733019 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803541205136 139803675568293 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9972] ppid=9931 vsize=11852648 CPUtime=2.03 cores=1,3,5,7
/proc/9933/task/9972/stat : 9972 (java) R 9931 9933 2935 0 -1 4202560 205 0 0 0 195 8 0 0 20 0 22 0 335733019 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803543310856 139803675525553 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9973] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9973/stat : 9973 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335733019 12137111552 157933 33554432000 1073741824 1073778376 140736518609504 139803542259368 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0

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

[pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 108 0 0 0 102 3 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=1.01 cores=1,3,5,7
/proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 111 0 0 0 98 3 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=1.12 cores=1,3,5,7
/proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 104 0 0 0 109 3 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=1.02 cores=1,3,5,7
/proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 79 0 0 0 100 2 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 98 0 0 0 102 3 0 0 20 0 22 0 335732606 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=30.39 cores=1,3,5,7
/proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 156 0 0 0 3028 11 0 0 20 0 22 0 335732607 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.66 cores=1,3,5,7
/proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 11467 0 0 0 164 2 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 8732 0 0 0 127 2 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0.41 cores=1,3,5,7
/proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 51 0 0 0 25 16 0 0 20 0 22 0 335732611 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9976] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9976/stat : 9976 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335737680 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803542258728 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9988] ppid=9931 vsize=11852648 CPUtime=247.55 cores=1,3,5,7
/proc/9933/task/9988/stat : 9988 (java) R 9931 9933 2935 0 -1 4202560 28 0 0 0 24752 3 0 0 20 0 22 0 335794517 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803543311184 139803675568318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9989] ppid=9931 vsize=11852648 CPUtime=247.52 cores=1,3,5,7
/proc/9933/task/9989/stat : 9989 (java) R 9931 9933 2935 0 -1 4202560 21 0 0 0 24749 3 0 0 20 0 22 0 335794517 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803541203744 139803675628031 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9990] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9990/stat : 9990 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335794517 12137111552 940090 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1731.01
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+916.308 s]
/proc/loadavg: 2.42 3.40 3.72 3/192 10018
/proc/meminfo: memFree=25265704/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=11852648 CPUtime=1797.47 cores=1,3,5,7
/proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 27881 0 1 0 179599 148 0 0 20 0 22 0 335732601 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9933/statm: 2963162 942657 2293 9 0 2953849 0
[pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.72 cores=1,3,5,7
/proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3501 0 1 0 68 4 0 0 20 0 22 0 335732603 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 116 0 0 0 107 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 107 0 0 0 103 4 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 91 0 0 0 115 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 110 0 0 0 108 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 112 0 0 0 106 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 105 0 0 0 114 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 80 0 0 0 102 2 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 98 0 0 0 106 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=32.14 cores=1,3,5,7
/proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 159 0 0 0 3202 12 0 0 20 0 22 0 335732607 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.66 cores=1,3,5,7
/proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 11467 0 0 0 164 2 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 8732 0 0 0 127 2 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 53 0 0 0 27 16 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9976] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9976/stat : 9976 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335737680 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803542258728 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9988] ppid=9931 vsize=11852648 CPUtime=279.6 cores=1,3,5,7
/proc/9933/task/9988/stat : 9988 (java) R 9931 9933 2935 0 -1 4202560 31 0 0 0 27956 4 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803543311184 139803675460868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9989] ppid=9931 vsize=11852648 CPUtime=279.56 cores=1,3,5,7
/proc/9933/task/9989/stat : 9989 (java) R 9931 9933 2935 0 -1 4202560 24 0 0 0 27952 4 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803541203728 139803675497724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9990] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9990/stat : 9990 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 11852648

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

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

[startup+916.308 s]
/proc/loadavg: 2.42 3.40 3.72 3/192 10018
/proc/meminfo: memFree=25265704/32873844 swapFree=7644/7644
[pid=9933] ppid=9931 vsize=11852648 CPUtime=1797.47 cores=1,3,5,7
/proc/9933/stat : 9933 (java) S 9931 9933 2935 0 -1 4202496 27881 0 1 0 179599 148 0 0 20 0 22 0 335732601 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 140736518600640 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/9933/statm: 2963162 942657 2293 9 0 2953849 0
[pid=9933/tid=9935] ppid=9931 vsize=11852648 CPUtime=0.72 cores=1,3,5,7
/proc/9933/task/9935/stat : 9935 (java) S 9931 9933 2935 0 -1 4202560 3501 0 1 0 68 4 0 0 20 0 22 0 335732603 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803734983832 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9936] ppid=9931 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/9933/task/9936/stat : 9936 (java) S 9931 9933 2935 0 -1 4202560 116 0 0 0 107 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803673713064 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9937] ppid=9931 vsize=11852648 CPUtime=1.07 cores=1,3,5,7
/proc/9933/task/9937/stat : 9937 (java) S 9931 9933 2935 0 -1 4202560 107 0 0 0 103 4 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803672660520 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9938] ppid=9931 vsize=11852648 CPUtime=1.18 cores=1,3,5,7
/proc/9933/task/9938/stat : 9938 (java) S 9931 9933 2935 0 -1 4202560 91 0 0 0 115 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803671607464 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9939] ppid=9931 vsize=11852648 CPUtime=1.11 cores=1,3,5,7
/proc/9933/task/9939/stat : 9939 (java) S 9931 9933 2935 0 -1 4202560 110 0 0 0 108 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803670554920 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9940] ppid=9931 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/9933/task/9940/stat : 9940 (java) S 9931 9933 2935 0 -1 4202560 112 0 0 0 106 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803567090600 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9941] ppid=9931 vsize=11852648 CPUtime=1.17 cores=1,3,5,7
/proc/9933/task/9941/stat : 9941 (java) S 9931 9933 2935 0 -1 4202560 105 0 0 0 114 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803566038056 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9942] ppid=9931 vsize=11852648 CPUtime=1.04 cores=1,3,5,7
/proc/9933/task/9942/stat : 9942 (java) S 9931 9933 2935 0 -1 4202560 80 0 0 0 102 2 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803564985000 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9943] ppid=9931 vsize=11852648 CPUtime=1.09 cores=1,3,5,7
/proc/9933/task/9943/stat : 9943 (java) S 9931 9933 2935 0 -1 4202560 98 0 0 0 106 3 0 0 20 0 22 0 335732606 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803563932456 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9944] ppid=9931 vsize=11852648 CPUtime=32.14 cores=1,3,5,7
/proc/9933/task/9944/stat : 9944 (java) S 9931 9933 2935 0 -1 4202560 159 0 0 0 3202 12 0 0 20 0 22 0 335732607 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803551734120 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9945] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9945/stat : 9945 (java) S 9931 9933 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803550680440 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9946] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9946/stat : 9946 (java) S 9931 9933 2935 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335732608 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803549627272 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9947] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9947/stat : 9947 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803548576016 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9948] ppid=9931 vsize=11852648 CPUtime=1.66 cores=1,3,5,7
/proc/9933/task/9948/stat : 9948 (java) S 9931 9933 2935 0 -1 4202560 11467 0 0 0 164 2 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803547523896 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9949] ppid=9931 vsize=11852648 CPUtime=1.29 cores=1,3,5,7
/proc/9933/task/9949/stat : 9949 (java) S 9931 9933 2935 0 -1 4202560 8732 0 0 0 127 2 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803546471352 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9950] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9950/stat : 9950 (java) S 9931 9933 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803545418488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9951] ppid=9931 vsize=11852648 CPUtime=0.43 cores=1,3,5,7
/proc/9933/task/9951/stat : 9951 (java) S 9931 9933 2935 0 -1 4202560 53 0 0 0 27 16 0 0 20 0 22 0 335732611 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803544366152 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9933/tid=9976] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9976/stat : 9976 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335737680 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803542258728 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=9933/tid=9988] ppid=9931 vsize=11852648 CPUtime=279.6 cores=1,3,5,7
/proc/9933/task/9988/stat : 9988 (java) R 9931 9933 2935 0 -1 4202560 31 0 0 0 27956 4 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803543311184 139803675460868 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=9933/tid=9989] ppid=9931 vsize=11852648 CPUtime=279.56 cores=1,3,5,7
/proc/9933/task/9989/stat : 9989 (java) R 9931 9933 2935 0 -1 4202560 24 0 0 0 27952 4 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803541203728 139803675497724 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=9933/tid=9990] ppid=9931 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/9933/task/9990/stat : 9990 (java) S 9931 9933 2935 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335794517 12137111552 942657 33554432000 1073741824 1073778376 140736518609504 139803540153640 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 11852648

Child status: 143

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


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.7001
#  lost CPU user time (s): 2.90005
#  lost CPU system time (s): -0.2

Real time (s): 916.361
CPU time (s): 1800.17
CPU user time (s): 1798.89
CPU system time (s): 1.28
CPU usage (%): 196.448
Max. virtual memory (cumulated for all children) (KiB): 11852648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.45
system time used= 1.73074
maximum resident set size= 3770752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27913
page faults= 1
swaps= 0
block input operations= 0
block output operations= 984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28078
involuntary context switches= 26205

runsolver used 3.71043 second user time and 8.94464 second system time

The end

Launcher Data

Begin job on node147 at 2012-06-03 06:01:22
IDJOB=3735674
IDBENCH=24984
IDSOLVER=2328
FILE ID=node147/3735674-1338696082
RUNJOBID= node147-1338678629-2955
PBS_JOBID= 14636666
Free space on /tmp= 70784 MiB

SOLVER NAME= PB11: Sat4j Res//CP 2.3.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_019_area_delay.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3735674-1338696082/watcher-3735674-1338696082 -o /tmp/evaluation-result-3735674-1338696082/solver-3735674-1338696082 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735674-1338696082.opb

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

MD5SUM BENCH= 0b594d74f3df9901bfa97fac996b1847
RANDOM SEED=1939770193

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.951
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.951
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.951
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:        26581224 kB
Buffers:          441388 kB
Cached:          2530272 kB
SwapCached:         3380 kB
Active:          3859728 kB
Inactive:        1537124 kB
Active(anon):    2420948 kB
Inactive(anon):     5908 kB
Active(file):    1438780 kB
Inactive(file):  1531216 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:              1284 kB
Writeback:             0 kB
AnonPages:       2460172 kB
Mapped:            17640 kB
Shmem:                 0 kB
Slab:             721484 kB
SReclaimable:     162400 kB
SUnreclaim:       559084 kB
KernelStack:        1632 kB
PageTables:         8892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   10458396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2410496 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= 70784 MiB
End job on node147 at 2012-06-03 06:16:40