Trace number 4109204

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16MSAT (TO) 1800.07 1781.66

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo
MD5SUMcbd603b41e8425572ef374dcdfc00979
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1800.07
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables8190
Total number of constraints181
Number of soft constraints67
Number of constraints which are clauses91
Number of constraints which are cardinality constraints (but not clauses)90
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint90
Maximum length of a constraint91
Top cost 3514
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3513
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 92
Number of bits of the biggest sum of numbers7
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.04/0.37	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.04/0.37	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.37	c See www.sat4j.org for details.
0.04/0.37	c version PB16.v20160501
0.04/0.37	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.37	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.37	c java.vm.version	19.1-b02
0.04/0.37	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.37	c sun.arch.data.model	64
0.04/0.37	c java.version		1.6.0_24
0.04/0.37	c os.name		Linux
0.04/0.37	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.37	c os.arch		amd64
0.04/0.37	c Free memory 		501472288
0.04/0.37	c Max memory 		7480803328
0.04/0.37	c Total memory 		504102912
0.04/0.37	c Number of processors 	8
0.13/0.40	c Pseudo Boolean Optimization by upper bound
0.13/0.40	c --- Begin Solver configuration ---
0.13/0.40	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.13/0.40	c Learn all clauses as in MiniSAT
0.13/0.40	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.13/0.40	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.13/0.40	c No reason simplification
0.13/0.40	c Glucose 2.1 dynamic restart strategy
0.13/0.40	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.13/0.40	c timeout=2147483s
0.13/0.40	c DB Simplification allowed=false
0.13/0.40	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.13/0.40	c --- End Solver configuration ---
0.13/0.41	c solving HOME/instance-4109204-1466341824.wbo
0.13/0.41	c reading problem ... 
0.59/0.60	c ... done. Wall clock time 0.193s.
0.59/0.60	c declared #vars     8190
0.59/0.60	c internal #vars     8257
0.59/0.60	c #constraints  181
0.59/0.60	c constraints type 
0.59/0.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 91
0.59/0.60	c org.sat4j.minisat.constraints.card.MinWatchCard => 49
0.59/0.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41
0.59/0.60	c 181 constraints processed.
0.59/0.60	c objective function length is 67 literals
1.51/1.29	c cleaning 2497 clauses out of 5000 with flag 30827/5000
2.59/2.05	c cleaning 4244 clauses out of 8503 with flag 70422/11000
3.59/3.01	c cleaning 5624 clauses out of 11260 with flag 116041/18001
4.80/4.26	c cleaning 6811 clauses out of 13636 with flag 170108/26001
6.33/5.78	c cleaning 7908 clauses out of 15829 with flag 233723/35005
8.33/7.72	c cleaning 8950 clauses out of 17916 with flag 305231/45000
10.57/9.95	c cleaning 9975 clauses out of 19966 with flag 381745/56000
12.96/12.37	c cleaning 10989 clauses out of 21993 with flag 466120/68002
15.66/15.02	c cleaning 11994 clauses out of 24002 with flag 563015/81000
18.56/17.94	c cleaning 13000 clauses out of 26009 with flag 663906/95001
22.55/21.80	c cleaning 13997 clauses out of 28008 with flag 785284/110000
26.35/25.65	c cleaning 14998 clauses out of 30011 with flag 911882/126000
31.05/30.34	c cleaning 15999 clauses out of 32013 with flag 1056425/143000
36.44/35.59	c cleaning 17001 clauses out of 34015 with flag 1207109/161001
41.85/40.97	c cleaning 17997 clauses out of 36013 with flag 1362302/180000
48.79/47.64	c cleaning 19001 clauses out of 38016 with flag 1527858/200000
55.91/54.73	c cleaning 20004 clauses out of 40017 with flag 1707376/221002
63.42/62.14	c cleaning 20999 clauses out of 42012 with flag 1874802/243001
70.32/69.09	c cleaning 22001 clauses out of 44015 with flag 2040263/266003
79.02/77.76	c cleaning 23000 clauses out of 46012 with flag 2218287/290001
88.71/87.23	c cleaning 23999 clauses out of 48011 with flag 2390243/315000
98.61/96.81	c cleaning 24999 clauses out of 50012 with flag 2592046/341000
108.20/106.48	c cleaning 25999 clauses out of 52013 with flag 2792905/368000
111.91/110.12	c SATISFIABLE
111.91/110.12	c OPTIMIZING...
111.91/110.12	c Got one! Elapsed wall clock time (in seconds):109.714
111.91/110.12	o 11
113.66/111.73	c cleaning 21546 clauses out of 43101 with flag 33928/385087
115.06/113.11	c cleaning 13769 clauses out of 27556 with flag 77563/391088
116.26/114.39	c cleaning 10386 clauses out of 20786 with flag 129741/398087
117.76/115.85	c cleaning 9190 clauses out of 18400 with flag 188821/406087
119.56/117.65	c cleaning 9098 clauses out of 18210 with flag 260774/415087
121.46/119.50	c cleaning 9550 clauses out of 19112 with flag 341255/425087
123.63/121.68	c cleaning 10273 clauses out of 20563 with flag 427027/436088
126.34/124.32	c cleaning 11137 clauses out of 22290 with flag 528535/448088
129.14/127.11	c cleaning 12071 clauses out of 24153 with flag 638558/461088
132.33/130.21	c cleaning 13035 clauses out of 26082 with flag 751870/475088
135.94/133.88	c cleaning 14013 clauses out of 28046 with flag 871027/490087
140.14/138.07	c cleaning 15008 clauses out of 30033 with flag 1003510/506087
145.00/142.88	c cleaning 16004 clauses out of 32025 with flag 1149671/523087
150.10/147.90	c cleaning 17000 clauses out of 34021 with flag 1304782/541087
155.90/153.70	c cleaning 18006 clauses out of 36021 with flag 1474479/560087
162.14/159.90	c cleaning 19000 clauses out of 38016 with flag 1654387/580088
168.77/166.48	c cleaning 20002 clauses out of 40016 with flag 1828047/601088
175.68/173.39	c cleaning 21001 clauses out of 42013 with flag 2012504/623087
183.53/181.20	c cleaning 22004 clauses out of 44014 with flag 2198859/646089
192.30/189.89	c cleaning 22995 clauses out of 46008 with flag 2403645/670087
201.10/198.67	c cleaning 24001 clauses out of 48013 with flag 2625416/695087
211.17/208.68	c cleaning 25003 clauses out of 50013 with flag 2867153/721088
221.74/219.18	c cleaning 26000 clauses out of 52010 with flag 3120698/748088
232.93/230.29	c cleaning 27001 clauses out of 54010 with flag 3367781/776088
243.84/241.07	c cleaning 28000 clauses out of 56010 with flag 3578857/805089
255.43/252.51	c cleaning 28997 clauses out of 58008 with flag 3812230/835087
268.84/265.87	c cleaning 29997 clauses out of 60012 with flag 4061035/866088
281.96/278.80	c cleaning 30999 clauses out of 62014 with flag 4320812/898087
295.96/292.87	c cleaning 31999 clauses out of 64016 with flag 4594277/931088
311.01/307.72	c cleaning 32999 clauses out of 66016 with flag 4891582/965087
325.94/322.51	c cleaning 34003 clauses out of 68017 with flag 5185734/1000087
344.62/341.12	c cleaning 35003 clauses out of 70017 with flag 5467915/1036090
360.93/357.37	c cleaning 35998 clauses out of 72011 with flag 5739630/1073087
378.41/374.69	c cleaning 37001 clauses out of 74013 with flag 6026205/1111087
401.31/397.38	c cleaning 37998 clauses out of 76012 with flag 6359060/1150087
422.08/418.08	c cleaning 39000 clauses out of 78015 with flag 6685327/1190088
423.28/419.29	c Got one! Elapsed wall clock time (in seconds):418.888
423.28/419.29	o 10
424.47/420.36	c cleaning 22365 clauses out of 44760 with flag 24792/1195833
426.38/422.12	c cleaning 14190 clauses out of 28395 with flag 82772/1201833
427.98/423.70	c cleaning 10589 clauses out of 21205 with flag 146084/1208833
429.58/425.36	c cleaning 9300 clauses out of 18616 with flag 217108/1216833
431.41/427.11	c cleaning 9150 clauses out of 18316 with flag 293356/1225833
433.31/429.05	c cleaning 9576 clauses out of 19167 with flag 387435/1235834
435.61/431.38	c cleaning 10287 clauses out of 20590 with flag 487236/1246833
438.23/433.95	c cleaning 11142 clauses out of 22303 with flag 588444/1258833
441.14/436.83	c cleaning 12073 clauses out of 24162 with flag 706967/1271834
444.54/440.29	c cleaning 13034 clauses out of 26088 with flag 839643/1285833
448.59/444.23	c cleaning 14019 clauses out of 28055 with flag 979983/1300834
452.79/448.49	c cleaning 15015 clauses out of 30037 with flag 1123079/1316835
457.20/452.86	c cleaning 16006 clauses out of 32020 with flag 1290080/1333833
462.84/458.48	c cleaning 16999 clauses out of 34015 with flag 1463978/1351834
468.57/464.17	c cleaning 17998 clauses out of 36015 with flag 1626563/1370833
475.32/470.88	c cleaning 19002 clauses out of 38017 with flag 1813437/1390833
482.16/477.67	c cleaning 19999 clauses out of 40015 with flag 1999770/1411833
490.23/485.60	c cleaning 21001 clauses out of 42018 with flag 2194856/1433835
497.63/492.92	c cleaning 22003 clauses out of 44019 with flag 2416233/1456837
505.95/501.30	c cleaning 22997 clauses out of 46012 with flag 2643665/1480833
514.92/510.14	c cleaning 24000 clauses out of 48016 with flag 2877391/1505834
524.35/519.59	c cleaning 25001 clauses out of 50015 with flag 3130820/1531833
534.85/529.95	c cleaning 26000 clauses out of 52015 with flag 3397935/1558834
547.20/542.21	c cleaning 27001 clauses out of 54014 with flag 3677893/1586833
561.40/556.35	c cleaning 27995 clauses out of 56013 with flag 3962337/1615833
574.40/569.22	c cleaning 29004 clauses out of 58020 with flag 4258321/1645835
588.20/582.98	c cleaning 30002 clauses out of 60015 with flag 4554131/1676834
602.50/597.11	c cleaning 30999 clauses out of 62012 with flag 4828869/1708833
616.12/610.63	c cleaning 32001 clauses out of 64013 with flag 5085294/1741833
630.45/624.89	c cleaning 32999 clauses out of 66015 with flag 5357732/1775836
647.37/641.66	c cleaning 33999 clauses out of 68014 with flag 5671088/1810834
665.73/659.85	c cleaning 34999 clauses out of 70014 with flag 6007102/1846833
684.65/678.54	c cleaning 35999 clauses out of 72015 with flag 6321851/1883833
703.08/696.84	c cleaning 37001 clauses out of 74018 with flag 6641337/1921835
722.74/716.32	c cleaning 38001 clauses out of 76015 with flag 6966533/1960833
746.35/739.79	c cleaning 39006 clauses out of 78016 with flag 7387982/2000835
769.47/762.67	c cleaning 39997 clauses out of 80009 with flag 7814073/2041834
794.76/787.72	c cleaning 40998 clauses out of 82012 with flag 8269512/2083834
823.88/816.65	c cleaning 42002 clauses out of 84017 with flag 8771011/2126837
855.31/847.88	c cleaning 43000 clauses out of 86012 with flag 9196074/2170834
871.92/864.27	c cleaning 44003 clauses out of 88013 with flag 9568906/2215835
900.04/892.19	c cleaning 44998 clauses out of 90009 with flag 9996103/2261834
929.10/920.96	c cleaning 45998 clauses out of 92012 with flag 10473912/2308835
957.57/949.16	c cleaning 47000 clauses out of 94012 with flag 10974792/2356833
990.47/981.86	c cleaning 47997 clauses out of 96012 with flag 11453990/2405833
1022.67/1013.67	c cleaning 49002 clauses out of 98015 with flag 11962030/2455833
1056.92/1047.51	c cleaning 49992 clauses out of 100015 with flag 12462038/2506835
1092.90/1083.01	c cleaning 51006 clauses out of 102021 with flag 12976694/2558833
1128.93/1118.60	c cleaning 52002 clauses out of 104015 with flag 13498199/2611833
1161.41/1150.62	c cleaning 53003 clauses out of 106015 with flag 14021828/2665835
1206.69/1195.55	c cleaning 53997 clauses out of 108010 with flag 14594371/2720833
1251.13/1239.32	c cleaning 55002 clauses out of 110013 with flag 15127597/2776833
1293.40/1281.14	c cleaning 56000 clauses out of 112011 with flag 15657421/2833833
1332.86/1320.03	c cleaning 57001 clauses out of 114013 with flag 16109298/2891835
1374.64/1361.38	c cleaning 57999 clauses out of 116013 with flag 16619407/2950836
1414.58/1400.86	c cleaning 59004 clauses out of 118012 with flag 17115438/3010834
1430.83/1416.88	c Got one! Elapsed wall clock time (in seconds):1416.476
1430.83/1416.88	o 8
1434.69/1420.63	c cleaning 49073 clauses out of 98167 with flag 44355/3049993
1437.11/1423.02	c cleaning 27538 clauses out of 55093 with flag 112328/3055992
1438.93/1424.84	c cleaning 17266 clauses out of 34555 with flag 183022/3062992
1440.54/1426.43	c cleaning 12632 clauses out of 25289 with flag 259582/3070992
1442.48/1428.31	c cleaning 10819 clauses out of 21659 with flag 340998/3079994
1444.41/1430.29	c cleaning 10412 clauses out of 20838 with flag 426497/3089992
1446.45/1432.25	c cleaning 10700 clauses out of 21426 with flag 515054/3100992
1448.71/1434.42	c cleaning 11356 clauses out of 22726 with flag 616245/3112992
1451.45/1437.14	c cleaning 12177 clauses out of 24371 with flag 735422/3125993
1454.50/1440.19	c cleaning 13088 clauses out of 26195 with flag 856264/3139994
1458.16/1443.79	c cleaning 14043 clauses out of 28106 with flag 986787/3154993
1462.73/1448.26	c cleaning 15021 clauses out of 30063 with flag 1136371/3170993
1467.60/1453.00	c cleaning 16012 clauses out of 32041 with flag 1283929/3187992
1472.66/1458.04	c cleaning 17007 clauses out of 34031 with flag 1465347/3205994
1478.32/1463.63	c cleaning 18001 clauses out of 36022 with flag 1656918/3224992
1484.61/1469.82	c cleaning 19002 clauses out of 38022 with flag 1840457/3244993
1491.20/1476.31	c cleaning 19996 clauses out of 40019 with flag 2033200/3265992
1497.67/1482.76	c cleaning 21005 clauses out of 42027 with flag 2219387/3287996
1505.18/1490.13	c cleaning 22002 clauses out of 44018 with flag 2442900/3310992
1513.57/1498.40	c cleaning 23003 clauses out of 46017 with flag 2646158/3334993
1522.80/1507.50	c cleaning 23998 clauses out of 48013 with flag 2857360/3359992
1531.04/1515.62	c Got one! Elapsed wall clock time (in seconds):1515.212
1531.04/1515.62	o 4
1533.36/1517.97	c cleaning 26361 clauses out of 52736 with flag 38813/3388713
1534.98/1519.53	c cleaning 16176 clauses out of 32373 with flag 88208/3394711
1536.40/1520.95	c cleaning 11581 clauses out of 23200 with flag 152723/3401714
1537.52/1522.00	c cleaning 9785 clauses out of 19616 with flag 214684/3409711
1538.86/1523.35	c cleaning 9391 clauses out of 18831 with flag 290058/3418711
1540.40/1524.84	c cleaning 9696 clauses out of 19442 with flag 365569/3428713
1542.36/1526.70	c cleaning 10353 clauses out of 20745 with flag 462549/3439712
1544.59/1528.91	c cleaning 11168 clauses out of 22391 with flag 569571/3451711
1547.12/1531.44	c cleaning 12090 clauses out of 24224 with flag 688199/3464712
1550.20/1534.43	c cleaning 13047 clauses out of 26133 with flag 818421/3478711
1553.56/1537.74	c cleaning 14014 clauses out of 28087 with flag 942555/3493712
1557.29/1541.41	c cleaning 15013 clauses out of 30072 with flag 1091366/3509711
1561.48/1545.54	c cleaning 16007 clauses out of 32059 with flag 1257460/3526711
1565.79/1549.80	c cleaning 17004 clauses out of 34052 with flag 1424626/3544711
1569.10/1553.02	c cleaning 17996 clauses out of 36048 with flag 1586838/3563711
1574.12/1557.92	c cleaning 18994 clauses out of 38052 with flag 1717681/3583711
1581.47/1565.28	c cleaning 19986 clauses out of 40059 with flag 1856623/3604712
1590.80/1574.47	c cleaning 20980 clauses out of 42072 with flag 2014526/3626711
1601.64/1585.20	c cleaning 21982 clauses out of 44092 with flag 2189761/3649711
1612.77/1596.20	c cleaning 23008 clauses out of 46112 with flag 2384057/3673713
1623.33/1606.65	c cleaning 24002 clauses out of 48103 with flag 2580495/3698712
1635.40/1618.59	c cleaning 24998 clauses out of 50100 with flag 2782704/3724711
1649.69/1632.70	c cleaning 25991 clauses out of 52102 with flag 2996318/3751711
1663.62/1646.52	c cleaning 27009 clauses out of 54113 with flag 3207472/3779713
1677.31/1660.03	c cleaning 28001 clauses out of 56103 with flag 3426161/3808712
1692.94/1675.53	c cleaning 28997 clauses out of 58102 with flag 3647416/3838712
1709.31/1691.77	c cleaning 29996 clauses out of 60105 with flag 3876526/3869712
1727.12/1709.34	c cleaning 30998 clauses out of 62111 with flag 4112075/3901714
1745.43/1727.54	c cleaning 31991 clauses out of 64112 with flag 4365538/3934713
1765.32/1747.25	c cleaning 33005 clauses out of 66122 with flag 4636093/3968714
1783.01/1764.72	c cleaning 33995 clauses out of 68118 with flag 4943207/4003715
1800.07/1781.60	c starts		: 39
1800.07/1781.60	c conflicts		: 4035311
1800.07/1781.60	c decisions		: 4613142
1800.07/1781.60	c propagations		: 52258656
1800.07/1781.60	c inspects		: 28962515469
1800.07/1781.60	c shortcuts		: 0
1800.07/1781.60	c learnt literals	: 0
1800.07/1781.60	c learnt binary clauses	: 0
1800.07/1781.60	c learnt ternary clauses	: 0
1800.07/1781.60	c learnt constraints	: 4035311
1800.07/1781.60	c ignored constraints	: 0
1800.07/1781.60	c root simplifications	: 0
1800.07/1781.60	c removed literals (reason simplification)	: 0
1800.07/1781.60	c reason swapping (by a shorter reason)	: 0
1800.07/1781.60	c Calls to reduceDB	: 167
1800.07/1781.60	c Number of update (reduction) of LBD	: 1975962
1800.07/1781.60	c Imported unit clauses	: 0
1800.07/1781.60	c number of reductions to clauses (during analyze)	: 0
1800.07/1781.60	c number of learned constraints concerned by reduction	: 0
1800.07/1781.60	c number of learning phase by resolution	: 0
1800.07/1781.60	c number of learning phase by cutting planes	: 0
1800.07/1781.60	c speed (assignments/second)	: 29342.40991266675
1800.07/1781.60	c non guided choices	64185
1800.07/1781.63	c learnt constraints type 
1800.07/1781.63	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 65719
1800.07/1781.63	s SATISFIABLE
1800.07/1781.63	c Found 4 solution(s)
1800.07/1781.64	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 -x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 -x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 x8075 -x8076 -x8077 -x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 -x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 -x8188 -x8189 -x8190 
1800.07/1781.65	c objective function=4
1800.07/1781.65	c Total wall clock time (in seconds): 1781.243

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4109204-1466341824/watcher-4109204-1466341824 -o /tmp/evaluation-result-4109204-1466341824/solver-4109204-1466341824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466341824-18889 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4109204-1466341824.wbo 

pid=18915
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: 0.01 0.03 0.01 2/177 18918
/proc/meminfo: memFree=31274372/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/18918/stat : 18918 (java) D 18915 18918 18872 0 -1 4202496 158 0 0 0 0 0 0 0 20 0 1 0 36232524 278528 33 33554432000 1073741824 1073778376 140733502179888 140733502177064 270109076775 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/18918/statm: 68 33 25 9 0 25 0

[startup+0.100172 s]
/proc/loadavg: 0.01 0.03 0.01 2/177 18918
/proc/meminfo: memFree=31274372/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/18918/stat : 18918 (java) D 18915 18918 18872 0 -1 4202496 980 0 3 0 0 0 0 0 20 0 1 0 36232524 23793664 633 33554432000 1073741824 1073778376 140734083536528 140734083526520 270109030977 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 4 0 0
/proc/18918/statm: 5809 633 471 9 0 128 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23236

[startup+0.200201 s]
/proc/loadavg: 0.01 0.03 0.01 2/177 18918
/proc/meminfo: memFree=31274372/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=101528 CPUtime=0.01 cores=1,3,5,7
/proc/18918/stat : 18918 (java) S 18915 18918 18872 0 -1 4202496 1436 0 21 0 0 1 0 0 20 0 2 0 36232524 103964672 1060 33554432000 1073741824 1073778376 140734083536528 140734083527664 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 9 0 0
/proc/18918/statm: 25382 1060 811 9 0 16774 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 101528

[startup+0.300188 s]
/proc/loadavg: 0.01 0.03 0.01 2/177 18918
/proc/meminfo: memFree=31274372/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/18918/stat : 18918 (java) S 18915 18918 18872 0 -1 4202496 3113 0 25 0 3 1 0 0 20 0 13 0 36232524 9446973440 3757 33554432000 1073741824 1073778376 140734083536528 140734083527664 270121599037 0 0 0 16800971 18446744073709551615 0 0 17 5 0 0 9 0 0
/proc/18918/statm: 2306390 3757 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.700172 s]
/proc/loadavg: 0.01 0.03 0.01 2/177 18918
/proc/meminfo: memFree=31274372/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/18918/stat : 18918 (java) S 18915 18918 18872 0 -1 4202496 7947 0 27 0 81 3 0 0 20 0 19 0 36232524 9856040960 12512 33554432000 1073741824 1073778376 140734083536528 140734083527664 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9 0 0
/proc/18918/statm: 2406260 12512 2254 9 0 2396937 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 9625040

[startup+1.50081 s]
/proc/loadavg: 0.01 0.03 0.01 3/214 18955
/proc/meminfo: memFree=31182956/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=9625040 CPUtime=2.05 cores=1,3,5,7
/proc/18918/stat : 18918 (java) S 18915 18918 18872 0 -1 4202496 14833 0 27 0 201 4 0 0 20 0 19 0 36232524 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 140734083527664 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9 0 0
/proc/18918/statm: 2406260 20715 2262 9 0 2396937 0
[pid=18918/tid=18921] ppid=18915 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/18918/task/18921/stat : 18921 (java) R 18915 18918 18872 0 -1 4202560 2406 0 6 0 116 1 0 0 20 0 19 0 36232540 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971601621480 139971458098972 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0
[pid=18918/tid=18922] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18922/stat : 18922 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971579722024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18924] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18924/stat : 18924 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971578669224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18926] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18926/stat : 18926 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971577616936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18928] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18928/stat : 18928 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971576564136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18918/tid=18929] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18929/stat : 18929 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971239340840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18931] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18931/stat : 18931 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971238288040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18918/tid=18933] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18933/stat : 18933 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232545 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971237235752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18935] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18935/stat : 18935 (java) S 18915 18918 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36232545 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971236182952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18938] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18938/stat : 18938 (java) S 18915 18918 18872 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 36232548 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971223984360 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18941] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18941/stat : 18941 (java) S 18915 18918 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971222930424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18943] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18943/stat : 18943 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971221878024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18944] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18944/stat : 18944 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971220826512 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18945] ppid=18915 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/18918/task/18945/stat : 18945 (java) S 18915 18918 18872 0 -1 4202560 8513 0 1 0 44 2 0 0 20 0 19 0 36232555 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971219774136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18947] ppid=18915 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/18918/task/18947/stat : 18947 (java) S 18915 18918 18872 0 -1 4202560 2661 0 1 0 36 0 0 0 20 0 19 0 36232555 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971218721336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18950] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18950/stat : 18950 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971217669240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18952] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18952/stat : 18952 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971216616648 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18955] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18955/stat : 18955 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232585 9856040960 20715 33554432000 1073741824 1073778376 140734083536528 139971215561640 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 9625040

[startup+3.1008 s]
/proc/loadavg: 0.01 0.03 0.01 3/214 18955
/proc/meminfo: memFree=31140960/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=9625040 CPUtime=3.7 cores=1,3,5,7
/proc/18918/stat : 18918 (java) S 18915 18918 18872 0 -1 4202496 14851 0 27 0 365 5 0 0 20 0 19 0 36232524 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 140734083527664 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9 0 0
/proc/18918/statm: 2406260 27885 2262 9 0 2396937 0
[pid=18918/tid=18921] ppid=18915 vsize=9625040 CPUtime=2.77 cores=1,3,5,7
/proc/18918/task/18921/stat : 18921 (java) R 18915 18918 18872 0 -1 4202560 2422 0 6 0 275 2 0 0 20 0 19 0 36232540 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971601619448 139971458148511 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0
[pid=18918/tid=18922] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18922/stat : 18922 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971579722024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18924] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18924/stat : 18924 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971578669224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18926] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18926/stat : 18926 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971577616936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18928] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18928/stat : 18928 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971576564136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18918/tid=18929] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18929/stat : 18929 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971239340840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18931] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18931/stat : 18931 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971238288040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18918/tid=18933] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18933/stat : 18933 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232545 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971237235752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18935] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18935/stat : 18935 (java) S 18915 18918 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36232545 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971236182952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18938] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18938/stat : 18938 (java) S 18915 18918 18872 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36232548 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971223984360 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18941] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18941/stat : 18941 (java) S 18915 18918 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971222930424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18943] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18943/stat : 18943 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971221878024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18944] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18944/stat : 18944 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971220826512 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18945] ppid=18915 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/18918/task/18945/stat : 18945 (java) S 18915 18918 18872 0 -1 4202560 8513 0 1 0 47 2 0 0 20 0 19 0 36232555 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971219774136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18947] ppid=18915 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/18918/task/18947/stat : 18947 (java) S 18915 18918 18872 0 -1 4202560 2662 0 1 0 38 0 0 0 20 0 19 0 36232555 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971218721336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18950] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18950/stat : 18950 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971217669240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18952] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18952/stat : 18952 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971216616648 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18955] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18955/stat : 18955 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232585 9856040960 27885 33554432000 1073741824 1073778376 140734083536528 139971215561640 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.7
Current children cumulated vsize (KiB) 9625040

[startup+6.30083 s]
/proc/loadavg: 0.17 0.06 0.02 3/214 18955
/proc/meminfo: memFree=31083036/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=9625040 CPUtime=6.92 cores=1,3,5,7
/proc/18918/stat : 18918 (java) S 18915 18918 18872 0 -1 4202496 14911 0 27 0 686 6 0 0 20 0 19 0 36232524 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 140734083527664 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9 0 0
/proc/18918/statm: 2406260 39704 2262 9 0 2396937 0
[pid=18918/tid=18921] ppid=18915 vsize=9625040 CPUtime=5.96 cores=1,3,5,7
/proc/18918/task/18921/stat : 18921 (java) R 18915 18918 18872 0 -1 4202560 2447 0 6 0 593 3 0 0 20 0 19 0 36232540 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971601612496 139971458057458 0 4 0 16800975 0 0 0 -1 5 0 0 12 0 0
[pid=18918/tid=18922] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18922/stat : 18922 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971579722024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18924] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18924/stat : 18924 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971578669224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18926] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18926/stat : 18926 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971577616936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18928] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18928/stat : 18928 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971576564136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18918/tid=18929] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18929/stat : 18929 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971239340840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18931] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18931/stat : 18931 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232544 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971238288040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18918/tid=18933] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18933/stat : 18933 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232545 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971237235752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18935] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18935/stat : 18935 (java) S 18915 18918 18872 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 36232545 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971236182952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18938] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18938/stat : 18938 (java) S 18915 18918 18872 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 36232548 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971223984360 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18941] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18941/stat : 18941 (java) S 18915 18918 18872 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971222930424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18943] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18943/stat : 18943 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971221878024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18944] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18944/stat : 18944 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971220826512 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18945] ppid=18915 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/18918/task/18945/stat : 18945 (java) S 18915 18918 18872 0 -1 4202560 8548 0 1 0 50 2 0 0 20 0 19 0 36232555 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971219774136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18947] ppid=18915 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/18918/task/18947/stat : 18947 (java) S 18915 18918 18872 0 -1 4202560 2662 0 1 0 38 0 0 0 20 0 19 0 36232555 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971218721336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18950] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18950/stat : 18950 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971217669240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18952] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18952/stat : 18952 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971216616648 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18955] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18955/stat : 18955 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232585 9856040960 39704 33554432000 1073741824 1073778376 140734083536528 139971215561640 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.92
Current children cumulated vsize (KiB) 9625040


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

[pid=18918/tid=18955] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18955/stat : 18955 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232585 9856040960 98003 33554432000 1073741824 1073778376 140734083536528 139971215561640 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1619.03
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.11 2.09 1.70 3/213 19058
/proc/meminfo: memFree=30516656/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=9625040 CPUtime=1679.6 cores=1,3,5,7
/proc/18918/stat : 18918 (java) S 18915 18918 18872 0 -1 4202496 33297 0 27 0 167731 229 0 0 20 0 19 0 36232524 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 140734083527664 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9 0 0
/proc/18918/statm: 2406260 100014 2284 9 0 2396937 0
[pid=18918/tid=18921] ppid=18915 vsize=9625040 CPUtime=1646.47 cores=1,3,5,7
/proc/18918/task/18921/stat : 18921 (java) R 18915 18918 18872 0 -1 4202560 2861 0 6 0 164615 32 0 0 20 0 19 0 36232540 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971601612480 139971458056479 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0
[pid=18918/tid=18922] ppid=18915 vsize=9625040 CPUtime=2.75 cores=1,3,5,7
/proc/18918/task/18922/stat : 18922 (java) S 18915 18918 18872 0 -1 4202560 2638 0 0 0 252 23 0 0 20 0 19 0 36232544 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971579722024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18924] ppid=18915 vsize=9625040 CPUtime=2.71 cores=1,3,5,7
/proc/18918/task/18924/stat : 18924 (java) S 18915 18918 18872 0 -1 4202560 1320 0 0 0 252 19 0 0 20 0 19 0 36232544 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971578669224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18926] ppid=18915 vsize=9625040 CPUtime=2.9 cores=1,3,5,7
/proc/18918/task/18926/stat : 18926 (java) S 18915 18918 18872 0 -1 4202560 2226 0 0 0 265 25 0 0 20 0 19 0 36232544 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971577616936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18928] ppid=18915 vsize=9625040 CPUtime=2.79 cores=1,3,5,7
/proc/18918/task/18928/stat : 18928 (java) S 18915 18918 18872 0 -1 4202560 2508 0 0 0 256 23 0 0 20 0 19 0 36232544 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971576564136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18929] ppid=18915 vsize=9625040 CPUtime=2.96 cores=1,3,5,7
/proc/18918/task/18929/stat : 18929 (java) S 18915 18918 18872 0 -1 4202560 1980 0 0 0 276 20 0 0 20 0 19 0 36232544 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971239340840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18931] ppid=18915 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/18918/task/18931/stat : 18931 (java) S 18915 18918 18872 0 -1 4202560 1208 0 0 0 282 24 0 0 20 0 19 0 36232544 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971238288040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18933] ppid=18915 vsize=9625040 CPUtime=2.82 cores=1,3,5,7
/proc/18918/task/18933/stat : 18933 (java) S 18915 18918 18872 0 -1 4202560 2227 0 0 0 263 19 0 0 20 0 19 0 36232545 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971237235752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18935] ppid=18915 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/18918/task/18935/stat : 18935 (java) S 18915 18918 18872 0 -1 4202560 1966 0 0 0 278 27 0 0 20 0 19 0 36232545 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971236182952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18938] ppid=18915 vsize=9625040 CPUtime=4.32 cores=1,3,5,7
/proc/18918/task/18938/stat : 18938 (java) S 18915 18918 18872 0 -1 4202560 1777 0 0 0 426 6 0 0 20 0 19 0 36232548 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971223984360 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18941] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18941/stat : 18941 (java) S 18915 18918 18872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971222930424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18943] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18943/stat : 18943 (java) S 18915 18918 18872 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971221878024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18944] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18944/stat : 18944 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971220826512 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18945] ppid=18915 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/18918/task/18945/stat : 18945 (java) S 18915 18918 18872 0 -1 4202560 8587 0 1 0 59 2 0 0 20 0 19 0 36232555 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971219774136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18947] ppid=18915 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/18918/task/18947/stat : 18947 (java) S 18915 18918 18872 0 -1 4202560 2663 0 1 0 47 0 0 0 20 0 19 0 36232555 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971218721336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18950] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18950/stat : 18950 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971217669240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18952] ppid=18915 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/18918/task/18952/stat : 18952 (java) S 18915 18918 18872 0 -1 4202560 97 0 0 0 22 36 0 0 20 0 19 0 36232555 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971216616648 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18955] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18955/stat : 18955 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232585 9856040960 100014 33554432000 1073741824 1073778376 140734083536528 139971215561640 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1679.6
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.04 2.07 1.72 3/213 19059
/proc/meminfo: memFree=30534740/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=9625040 CPUtime=1740.23 cores=1,3,5,7
/proc/18918/stat : 18918 (java) S 18915 18918 18872 0 -1 4202496 33444 0 27 0 173788 235 0 0 20 0 19 0 36232524 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 140734083527664 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9 0 0
/proc/18918/statm: 2406260 101391 2284 9 0 2396937 0
[pid=18918/tid=18921] ppid=18915 vsize=9625040 CPUtime=1705.85 cores=1,3,5,7
/proc/18918/task/18921/stat : 18921 (java) R 18915 18918 18872 0 -1 4202560 2874 0 6 0 170552 33 0 0 20 0 19 0 36232540 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971601620192 139971458121875 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0
[pid=18918/tid=18922] ppid=18915 vsize=9625040 CPUtime=2.85 cores=1,3,5,7
/proc/18918/task/18922/stat : 18922 (java) S 18915 18918 18872 0 -1 4202560 2646 0 0 0 262 23 0 0 20 0 19 0 36232544 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971579722024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18924] ppid=18915 vsize=9625040 CPUtime=2.81 cores=1,3,5,7
/proc/18918/task/18924/stat : 18924 (java) S 18915 18918 18872 0 -1 4202560 1323 0 0 0 261 20 0 0 20 0 19 0 36232544 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971578669224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18926] ppid=18915 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/18918/task/18926/stat : 18926 (java) S 18915 18918 18872 0 -1 4202560 2240 0 0 0 278 26 0 0 20 0 19 0 36232544 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971577616936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18928] ppid=18915 vsize=9625040 CPUtime=2.87 cores=1,3,5,7
/proc/18918/task/18928/stat : 18928 (java) S 18915 18918 18872 0 -1 4202560 2516 0 0 0 263 24 0 0 20 0 19 0 36232544 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971576564136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18929] ppid=18915 vsize=9625040 CPUtime=3.09 cores=1,3,5,7
/proc/18918/task/18929/stat : 18929 (java) S 18915 18918 18872 0 -1 4202560 1996 0 0 0 287 22 0 0 20 0 19 0 36232544 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971239340840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18931] ppid=18915 vsize=9625040 CPUtime=3.2 cores=1,3,5,7
/proc/18918/task/18931/stat : 18931 (java) S 18915 18918 18872 0 -1 4202560 1212 0 0 0 296 24 0 0 20 0 19 0 36232544 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971238288040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18918/tid=18933] ppid=18915 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/18918/task/18933/stat : 18933 (java) S 18915 18918 18872 0 -1 4202560 2230 0 0 0 273 20 0 0 20 0 19 0 36232545 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971237235752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18918/tid=18935] ppid=18915 vsize=9625040 CPUtime=3.16 cores=1,3,5,7
/proc/18918/task/18935/stat : 18935 (java) S 18915 18918 18872 0 -1 4202560 1973 0 0 0 289 27 0 0 20 0 19 0 36232545 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971236182952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18938] ppid=18915 vsize=9625040 CPUtime=4.52 cores=1,3,5,7
/proc/18918/task/18938/stat : 18938 (java) S 18915 18918 18872 0 -1 4202560 1846 0 0 0 446 6 0 0 20 0 19 0 36232548 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971223984360 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18941] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18941/stat : 18941 (java) S 18915 18918 18872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971222930424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18943] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18943/stat : 18943 (java) S 18915 18918 18872 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971221878024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18944] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18944/stat : 18944 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971220826512 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18945] ppid=18915 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/18918/task/18945/stat : 18945 (java) S 18915 18918 18872 0 -1 4202560 8587 0 1 0 59 2 0 0 20 0 19 0 36232555 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971219774136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18947] ppid=18915 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/18918/task/18947/stat : 18947 (java) S 18915 18918 18872 0 -1 4202560 2663 0 1 0 47 0 0 0 20 0 19 0 36232555 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971218721336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18950] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18950/stat : 18950 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971217669240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18952] ppid=18915 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/18918/task/18952/stat : 18952 (java) S 18915 18918 18872 0 -1 4202560 99 0 0 0 24 36 0 0 20 0 19 0 36232555 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971216616648 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18955] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18955/stat : 18955 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232585 9856040960 101391 33554432000 1073741824 1073778376 140734083536528 139971215561640 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1740.23
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1781.6 s]
/proc/loadavg: 2.06 2.07 1.74 3/214 19063
/proc/meminfo: memFree=30530880/32872528 swapFree=526336/559040
[pid=18918] ppid=18915 vsize=9625040 CPUtime=1800.07 cores=1,3,5,7
/proc/18918/stat : 18918 (java) S 18915 18918 18872 0 -1 4202496 33782 0 27 0 179769 238 0 0 20 0 19 0 36232524 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 140734083527664 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 9 0 0
/proc/18918/statm: 2406260 100786 2284 9 0 2396937 0
[pid=18918/tid=18921] ppid=18915 vsize=9625040 CPUtime=1764.6 cores=1,3,5,7
/proc/18918/task/18921/stat : 18921 (java) R 18915 18918 18872 0 -1 4202560 2888 0 6 0 176426 34 0 0 20 0 19 0 36232540 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971601620192 139971458056449 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0
[pid=18918/tid=18922] ppid=18915 vsize=9625040 CPUtime=2.96 cores=1,3,5,7
/proc/18918/task/18922/stat : 18922 (java) S 18915 18918 18872 0 -1 4202560 2727 0 0 0 272 24 0 0 20 0 19 0 36232544 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971579722024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18918/tid=18924] ppid=18915 vsize=9625040 CPUtime=2.92 cores=1,3,5,7
/proc/18918/task/18924/stat : 18924 (java) S 18915 18918 18872 0 -1 4202560 1391 0 0 0 272 20 0 0 20 0 19 0 36232544 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971578669224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18926] ppid=18915 vsize=9625040 CPUtime=3.12 cores=1,3,5,7
/proc/18918/task/18926/stat : 18926 (java) S 18915 18918 18872 0 -1 4202560 2302 0 0 0 286 26 0 0 20 0 19 0 36232544 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971577616936 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18928] ppid=18915 vsize=9625040 CPUtime=2.96 cores=1,3,5,7
/proc/18918/task/18928/stat : 18928 (java) S 18915 18918 18872 0 -1 4202560 2542 0 0 0 272 24 0 0 20 0 19 0 36232544 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971576564136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18929] ppid=18915 vsize=9625040 CPUtime=3.19 cores=1,3,5,7
/proc/18918/task/18929/stat : 18929 (java) S 18915 18918 18872 0 -1 4202560 2000 0 0 0 297 22 0 0 20 0 19 0 36232544 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971239340840 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18931] ppid=18915 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/18918/task/18931/stat : 18931 (java) S 18915 18918 18872 0 -1 4202560 1212 0 0 0 304 24 0 0 20 0 19 0 36232544 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971238288040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18933] ppid=18915 vsize=9625040 CPUtime=3.02 cores=1,3,5,7
/proc/18918/task/18933/stat : 18933 (java) S 18915 18918 18872 0 -1 4202560 2230 0 0 0 282 20 0 0 20 0 19 0 36232545 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971237235752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18935] ppid=18915 vsize=9625040 CPUtime=3.25 cores=1,3,5,7
/proc/18918/task/18935/stat : 18935 (java) S 18915 18918 18872 0 -1 4202560 2012 0 0 0 297 28 0 0 20 0 19 0 36232545 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971236182952 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18938] ppid=18915 vsize=9625040 CPUtime=4.69 cores=1,3,5,7
/proc/18918/task/18938/stat : 18938 (java) S 18915 18918 18872 0 -1 4202560 1886 0 0 0 462 7 0 0 20 0 19 0 36232548 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971223984360 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18941] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18941/stat : 18941 (java) S 18915 18918 18872 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971222930424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18918/tid=18943] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18943/stat : 18943 (java) S 18915 18918 18872 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 36232550 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971221878024 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18944] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18944/stat : 18944 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971220826512 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18945] ppid=18915 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/18918/task/18945/stat : 18945 (java) S 18915 18918 18872 0 -1 4202560 8587 0 1 0 59 2 0 0 20 0 19 0 36232555 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971219774136 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18918/tid=18947] ppid=18915 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/18918/task/18947/stat : 18947 (java) S 18915 18918 18872 0 -1 4202560 2663 0 1 0 47 0 0 0 20 0 19 0 36232555 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971218721336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18950] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18950/stat : 18950 (java) S 18915 18918 18872 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 36232555 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971217669240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18952] ppid=18915 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/18918/task/18952/stat : 18952 (java) S 18915 18918 18872 0 -1 4202560 103 0 0 0 24 37 0 0 20 0 19 0 36232555 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971216616648 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18918/tid=18955] ppid=18915 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18918/task/18955/stat : 18955 (java) S 18915 18918 18872 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 36232585 9856040960 100786 33554432000 1073741824 1073778376 140734083536528 139971215561640 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9625040

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18918 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=238386
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=829569
# CPU time returned by wait4() is 1796.07
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1781.66
CPU time (s): 1800.07
CPU user time (s): 1797.69
CPU system time (s): 2.38
CPU usage (%): 101.034
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.24
system time used= 2.82957
maximum resident set size= 767088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33830
page faults= 27
swaps= 0
block input operations= 9448
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50823
involuntary context switches= 51409

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0733 second user time and 13.084 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-19 15:10:24
IDJOB=4109204
IDBENCH=78730
IDSOLVER=2551
FILE ID=node106/4109204-1466341824
RUNJOBID= node106-1466341824-18889
PBS_JOBID= 19922042
Free space on /tmp= 71700 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-91-90--soft-66-100-0.wbo
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4109204-1466341824/watcher-4109204-1466341824 -o /tmp/evaluation-result-4109204-1466341824/solver-4109204-1466341824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466341824-18889 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4109204-1466341824.wbo

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

MD5SUM BENCH= cbd603b41e8425572ef374dcdfc00979
RANDOM SEED=895616303

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31276072 kB
Buffers:           68952 kB
Cached:           209520 kB
SwapCached:         1780 kB
Active:            52080 kB
Inactive:         231388 kB
Active(anon):       4400 kB
Inactive(anon):     3188 kB
Active(file):      47680 kB
Inactive(file):   228200 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099264 kB
Dirty:              1604 kB
Writeback:             4 kB
AnonPages:        563268 kB
Mapped:             6984 kB
Shmem:                 0 kB
Slab:             623820 kB
SReclaimable:      67848 kB
SUnreclaim:       555972 kB
KernelStack:        1368 kB
PageTables:         4588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     656104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node106 at 2016-06-19 15:40:06