Trace number 3735751

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_009_area_delay.opb
MD5SUM2aa6eb5ee09e1484657dfe3626167241
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark24
Best CPU time to get the best result obtained on this benchmark0.238963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 24
Optimality of the best value was proved YES
Number of variables6148
Total number of constraints19000
Number of constraints which are clauses19000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint127
Number of terms in the objective function 2987
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2987
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2987
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.07/0.10	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.07/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.07/0.10	c See www.sat4j.org for details.
0.07/0.11	c version 2.3.1.v20110525
0.07/0.11	c java.runtime.name	Java(TM) SE Runtime Environment
0.07/0.11	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.07/0.11	c java.vm.version	19.1-b02
0.07/0.11	c java.vm.vendor	Sun Microsystems Inc.
0.07/0.11	c sun.arch.data.model	64
0.07/0.11	c java.version		1.6.0_24
0.07/0.11	c os.name		Linux
0.07/0.11	c os.version		2.6.32-71.29.1.el6.x86_64
0.07/0.11	c os.arch		amd64
0.07/0.11	c Free memory 		9996466904
0.07/0.11	c Max memory 		10048897024
0.07/0.11	c Total memory 		10048897024
0.07/0.11	c Number of processors 	8
0.07/0.13	c Pseudo Boolean Optimization
0.07/0.13	c ManyCore solver with 2 solvers running in parallel
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.07/0.13	c Expensive reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.07/0.13	c --- Begin Solver configuration ---
0.07/0.13	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.07/0.13	c Learn all clauses as in MiniSAT
0.07/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.07/0.13	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.07/0.13	c No reason simplification
0.07/0.13	c Armin Biere (Picosat) restarts strategy
0.07/0.13	c Glucose learned constraints deletion strategy
0.07/0.13	c timeout=2147483s
0.07/0.13	c DB Simplification allowed=false
0.07/0.13	c --- End Solver configuration ---
0.07/0.13	c solving HOME/instance-3735751-1338696544.opb
0.07/0.13	c reading problem ... 
0.98/0.51	c ... done. Wall clock time 0.375s.
0.98/0.51	c #vars     6148
0.98/0.51	c #constraints  19000
0.98/0.51	c constraints type 
0.98/0.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169
0.98/0.51	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344
0.98/0.51	c constraints type 
0.98/0.51	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15344
0.98/0.51	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3169
0.98/0.59	c  And the winner is CuttingPlanes
1.39/1.03	c SATISFIABLE
1.39/1.03	c OPTIMIZING...
1.39/1.03	c Got one! Elapsed wall clock time (in seconds):0.891
1.39/1.03	o 37
1.39/1.07	c  And the winner is Resolution
1.72/1.55	c Got one! Elapsed wall clock time (in seconds):1.417
1.72/1.55	o 36
1.90/1.67	c  And the winner is Resolution
2.42/2.07	c Got one! Elapsed wall clock time (in seconds):1.937
2.42/2.07	o 29
3.39/2.44	c  And the winner is Resolution
3.50/2.59	c Got one! Elapsed wall clock time (in seconds):2.451
3.50/2.59	o 28
7.43/4.55	c cleaning 2981 clauses out of 5965 with flag 5001/5965
10.47/6.00	c  And the winner is Resolution
10.52/6.13	c Got one! Elapsed wall clock time (in seconds):5.999
10.52/6.13	o 27
11.73/6.77	c cleaning 4467 clauses out of 8935 with flag 2000/11916
16.32/9.09	c cleaning 5230 clauses out of 10468 with flag 8000/17916
21.08/11.44	c cleaning 6107 clauses out of 12238 with flag 15000/24916
26.88/14.32	c cleaning 7063 clauses out of 14132 with flag 23001/32917
33.07/17.43	c cleaning 8027 clauses out of 16069 with flag 32001/41917
39.64/20.80	c cleaning 9020 clauses out of 18041 with flag 42000/51916
46.97/24.44	c cleaning 9998 clauses out of 20021 with flag 53000/62916
55.32/28.63	c cleaning 11003 clauses out of 22023 with flag 65000/74916
58.66/30.39	c  And the winner is Resolution
58.80/30.70	c Got one! Elapsed wall clock time (in seconds):30.569
58.80/30.70	o 26
59.18/30.99	c cleaning 8453 clauses out of 16918 with flag 1001/80814
63.12/33.00	c cleaning 7222 clauses out of 14464 with flag 7000/86813
67.84/35.30	c cleaning 7119 clauses out of 14243 with flag 14001/93814
72.36/37.64	c cleaning 7549 clauses out of 15123 with flag 22000/101813
79.69/41.37	c cleaning 8282 clauses out of 16575 with flag 31001/110814
87.05/45.08	c cleaning 9145 clauses out of 18293 with flag 41001/120814
94.37/48.77	c cleaning 10066 clauses out of 20147 with flag 52000/131813
103.68/53.42	c cleaning 11033 clauses out of 22081 with flag 64000/143813
112.20/57.76	c cleaning 12017 clauses out of 24048 with flag 77000/156813
123.50/63.43	c cleaning 13007 clauses out of 26032 with flag 91001/170814
133.82/68.68	c cleaning 14008 clauses out of 28025 with flag 106001/185814
143.31/73.44	c cleaning 14999 clauses out of 30017 with flag 122001/201814
154.63/79.13	c cleaning 16001 clauses out of 32018 with flag 139001/218814
165.33/84.54	c cleaning 16998 clauses out of 34016 with flag 157000/236813
179.65/91.70	c cleaning 17997 clauses out of 36018 with flag 176000/255813
193.91/98.92	c cleaning 18509 clauses out of 37022 with flag 195001/274814
207.69/105.85	c cleaning 18746 clauses out of 37512 with flag 214000/293813
221.98/113.00	c cleaning 18875 clauses out of 37766 with flag 233000/312813
234.50/119.31	c cleaning 18935 clauses out of 37891 with flag 252000/331813
247.14/125.70	c cleaning 18971 clauses out of 37956 with flag 271000/350813
261.84/133.11	c cleaning 18987 clauses out of 37986 with flag 290001/369814
275.90/140.24	c cleaning 18994 clauses out of 37999 with flag 309001/388814
288.60/146.67	c cleaning 18995 clauses out of 38004 with flag 328000/407813
301.63/153.24	c cleaning 18986 clauses out of 38009 with flag 347000/426813
315.72/160.34	c cleaning 19008 clauses out of 38025 with flag 366002/445815
328.19/166.64	c cleaning 18999 clauses out of 38015 with flag 385000/464813
341.26/173.23	c cleaning 18999 clauses out of 38016 with flag 404000/483813
356.46/180.97	c cleaning 19002 clauses out of 38018 with flag 423001/502814
370.53/188.04	c cleaning 19002 clauses out of 38017 with flag 442002/521815
383.99/194.85	c cleaning 18997 clauses out of 38014 with flag 461001/540814
397.24/201.58	c cleaning 18999 clauses out of 38016 with flag 480000/559813
411.03/208.58	c cleaning 18998 clauses out of 38018 with flag 499001/578814
424.52/215.37	c cleaning 19003 clauses out of 38019 with flag 518000/597813
436.76/221.50	c cleaning 19004 clauses out of 38017 with flag 537001/616814
448.00/227.27	c cleaning 18997 clauses out of 38012 with flag 556000/635813
460.53/233.67	c cleaning 18998 clauses out of 38015 with flag 575000/654813
472.16/239.50	c cleaning 19003 clauses out of 38019 with flag 594002/673815
484.17/245.66	c cleaning 18999 clauses out of 38014 with flag 613000/692813
496.97/252.16	c cleaning 18996 clauses out of 38015 with flag 632000/711813
510.10/258.81	c cleaning 19005 clauses out of 38019 with flag 651000/730813
521.52/264.67	c cleaning 19002 clauses out of 38015 with flag 670001/749814
532.94/270.44	c cleaning 18994 clauses out of 38013 with flag 689001/768814
544.32/276.29	c cleaning 19006 clauses out of 38019 with flag 708001/787814
558.45/283.45	c cleaning 18997 clauses out of 38012 with flag 727000/806813
572.88/290.78	c cleaning 19003 clauses out of 38017 with flag 746002/825815
586.70/297.75	c cleaning 18998 clauses out of 38013 with flag 765001/844814
601.33/305.16	c cleaning 18997 clauses out of 38014 with flag 784000/863813
616.23/312.75	c cleaning 18995 clauses out of 38017 with flag 803000/882813
630.22/319.83	c cleaning 19006 clauses out of 38024 with flag 822002/901815
644.02/326.89	c cleaning 19003 clauses out of 38017 with flag 841001/920814
657.18/333.56	c cleaning 18995 clauses out of 38014 with flag 860001/939814
670.43/340.37	c cleaning 19002 clauses out of 38018 with flag 879000/958813
684.18/347.31	c cleaning 19002 clauses out of 38016 with flag 898000/977813
698.52/354.68	c cleaning 19002 clauses out of 38015 with flag 917001/996814
714.04/362.55	c cleaning 19000 clauses out of 38012 with flag 936000/1015813
728.05/369.79	c cleaning 18998 clauses out of 38013 with flag 955001/1034814
742.18/376.92	c cleaning 18996 clauses out of 38014 with flag 974000/1053813
755.52/383.78	c cleaning 19006 clauses out of 38018 with flag 993000/1072813
768.67/390.48	c cleaning 19000 clauses out of 38012 with flag 1012000/1091813
781.45/397.09	c cleaning 18999 clauses out of 38012 with flag 1031000/1110813
794.76/403.88	c cleaning 18999 clauses out of 38016 with flag 1050003/1129816
807.88/410.52	c cleaning 18995 clauses out of 38014 with flag 1069000/1148813
820.60/417.08	c cleaning 19000 clauses out of 38019 with flag 1088000/1167813
834.18/424.04	c cleaning 19008 clauses out of 38019 with flag 1107000/1186813
847.28/430.77	c cleaning 19000 clauses out of 38011 with flag 1126000/1205813
861.00/437.77	c cleaning 18999 clauses out of 38012 with flag 1145001/1224814
874.29/444.55	c cleaning 18996 clauses out of 38013 with flag 1164001/1243814
889.05/452.19	c cleaning 18997 clauses out of 38016 with flag 1183000/1262813
903.95/459.72	c cleaning 18994 clauses out of 38019 with flag 1202000/1281813
918.03/466.92	c cleaning 19006 clauses out of 38026 with flag 1221001/1300814
930.91/473.57	c cleaning 19005 clauses out of 38020 with flag 1240001/1319814
943.42/480.04	c cleaning 18987 clauses out of 38014 with flag 1259000/1338813
956.10/486.53	c cleaning 19007 clauses out of 38027 with flag 1278000/1357813
970.20/493.71	c cleaning 19000 clauses out of 38020 with flag 1297000/1376813
982.70/500.11	c cleaning 19004 clauses out of 38021 with flag 1316001/1395814
995.19/506.64	c cleaning 19002 clauses out of 38017 with flag 1335001/1414814
1009.45/513.91	c cleaning 19002 clauses out of 38016 with flag 1354002/1433815
1023.54/521.19	c cleaning 18991 clauses out of 38012 with flag 1373000/1452813
1036.58/527.83	c cleaning 19006 clauses out of 38022 with flag 1392001/1471814
1049.47/534.58	c cleaning 19002 clauses out of 38015 with flag 1411000/1490813
1062.36/541.18	c cleaning 18997 clauses out of 38013 with flag 1430000/1509813
1074.63/547.49	c cleaning 19004 clauses out of 38017 with flag 1449001/1528814
1087.28/553.99	c cleaning 18995 clauses out of 38012 with flag 1468000/1547813
1100.34/560.74	c cleaning 19000 clauses out of 38019 with flag 1487002/1566815
1113.18/567.40	c cleaning 19002 clauses out of 38018 with flag 1506001/1585814
1126.43/574.14	c cleaning 19001 clauses out of 38015 with flag 1525000/1604813
1139.47/580.83	c cleaning 19002 clauses out of 38014 with flag 1544000/1623813
1152.51/587.62	c cleaning 19000 clauses out of 38013 with flag 1563001/1642814
1165.56/594.35	c cleaning 18996 clauses out of 38012 with flag 1582000/1661813
1177.99/600.78	c cleaning 19002 clauses out of 38018 with flag 1601002/1680815
1192.01/607.97	c cleaning 18998 clauses out of 38014 with flag 1620000/1699813
1205.30/614.88	c cleaning 18998 clauses out of 38016 with flag 1639000/1718813
1218.73/621.78	c cleaning 19000 clauses out of 38022 with flag 1658004/1737817
1231.78/628.42	c cleaning 19003 clauses out of 38018 with flag 1677000/1756813
1245.02/635.26	c cleaning 19003 clauses out of 38015 with flag 1696000/1775813
1259.66/642.88	c cleaning 19000 clauses out of 38012 with flag 1715000/1794813
1274.73/650.52	c cleaning 19001 clauses out of 38013 with flag 1734001/1813814
1288.95/657.81	c cleaning 18996 clauses out of 38013 with flag 1753002/1832815
1302.96/665.07	c cleaning 18992 clauses out of 38016 with flag 1772001/1851814
1316.99/672.36	c cleaning 19006 clauses out of 38025 with flag 1791002/1870815
1331.19/679.66	c cleaning 18998 clauses out of 38019 with flag 1810002/1889815
1345.83/687.18	c cleaning 18999 clauses out of 38020 with flag 1829001/1908814
1359.66/694.28	c cleaning 19007 clauses out of 38023 with flag 1848003/1927816
1375.81/702.62	c cleaning 18994 clauses out of 38013 with flag 1867000/1946813
1390.61/710.23	c cleaning 18994 clauses out of 38019 with flag 1886000/1965813
1403.84/717.09	c cleaning 19004 clauses out of 38025 with flag 1905000/1984813
1416.44/723.56	c cleaning 19009 clauses out of 38021 with flag 1924000/2003813
1429.36/730.38	c cleaning 18999 clauses out of 38013 with flag 1943001/2022814
1442.97/737.39	c cleaning 18985 clauses out of 38013 with flag 1962000/2041813
1456.75/744.48	c cleaning 19002 clauses out of 38028 with flag 1981000/2060813
1470.35/751.48	c cleaning 19003 clauses out of 38026 with flag 2000000/2079813
1481.45/757.35	c cleaning 18998 clauses out of 38023 with flag 2019000/2098813
1492.45/763.09	c cleaning 19004 clauses out of 38025 with flag 2038000/2117813
1505.01/769.50	c cleaning 19003 clauses out of 38021 with flag 2057000/2136813
1519.20/776.85	c cleaning 18997 clauses out of 38018 with flag 2076000/2155813
1533.16/784.16	c cleaning 19001 clauses out of 38021 with flag 2095000/2174813
1546.95/791.27	c cleaning 19005 clauses out of 38021 with flag 2114001/2193814
1558.70/797.31	c cleaning 19004 clauses out of 38015 with flag 2133000/2212813
1570.67/803.56	c cleaning 18991 clauses out of 38011 with flag 2152000/2231813
1583.98/810.56	c cleaning 18997 clauses out of 38020 with flag 2171000/2250813
1597.18/817.33	c cleaning 19008 clauses out of 38024 with flag 2190001/2269814
1610.35/824.17	c cleaning 19003 clauses out of 38015 with flag 2209000/2288813
1624.71/831.56	c cleaning 18993 clauses out of 38012 with flag 2228000/2307813
1639.83/839.47	c cleaning 18999 clauses out of 38020 with flag 2247001/2326814
1655.56/847.50	c cleaning 18998 clauses out of 38021 with flag 2266001/2345814
1670.92/855.48	c cleaning 19007 clauses out of 38022 with flag 2285000/2364813
1686.31/863.35	c cleaning 18998 clauses out of 38015 with flag 2304000/2383813
1701.55/871.37	c cleaning 19000 clauses out of 38017 with flag 2323000/2402813
1716.16/878.89	c cleaning 18994 clauses out of 38017 with flag 2342000/2421813
1730.66/886.38	c cleaning 18998 clauses out of 38023 with flag 2361000/2440813
1742.82/892.67	c cleaning 19003 clauses out of 38026 with flag 2380001/2459814
1756.25/899.78	c cleaning 19002 clauses out of 38024 with flag 2399002/2478815
1769.17/906.43	c cleaning 18999 clauses out of 38020 with flag 2418000/2497813
1781.90/913.07	c cleaning 19003 clauses out of 38021 with flag 2437000/2516813
1793.61/919.10	c cleaning 18998 clauses out of 38019 with flag 2456001/2535814
1800.06/922.71	c starts		: 236
1800.06/922.71	c conflicts		: 2545178
1800.06/922.71	c decisions		: 9482527
1800.06/922.71	c propagations		: 3561350845
1800.06/922.71	c inspects		: 3891718834
1800.06/922.71	c shortcuts		: 0
1800.06/922.71	c learnt literals	: 0
1800.06/922.71	c learnt binary clauses	: 0
1800.06/922.71	c learnt ternary clauses	: 1
1800.06/922.71	c learnt constraints	: 2545178
1800.06/922.71	c ignored constraints	: 0
1800.06/922.71	c root simplifications	: 0
1800.06/922.71	c removed literals (reason simplification)	: 3162740
1800.06/922.71	c reason swapping (by a shorter reason)	: 0
1800.06/922.71	c Calls to reduceDB	: 144
1800.06/922.71	c number of reductions to clauses (during analyze)	: 0
1800.06/922.71	c number of learned constraints concerned by reduction	: 0
1800.06/922.71	c number of learning phase by resolution	: 0
1800.06/922.71	c number of learning phase by cutting planes	: 0
1800.06/922.71	c speed (assignments/second)	: 3992525.618129943
1800.06/922.71	c non guided choices	18392
1800.06/922.73	c learnt constraints type 
1800.06/922.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 28421
1800.06/922.73	c constraints type 
1800.06/922.73	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3169
1800.06/922.73	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/922.73	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 15344
1800.06/922.73	c constraints type 
1800.06/922.73	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 15344
1800.06/922.73	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3169
1800.06/922.73	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.06/922.73	s SATISFIABLE
1800.06/922.74	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 
1800.06/922.75	c objective function=26
1800.06/922.75	c Total wall clock time (in seconds): 922.614

Verifier Data

OK	26

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3735751-1338696544/watcher-3735751-1338696544 -o /tmp/evaluation-result-3735751-1338696544/solver-3735751-1338696544 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3735751-1338696544.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.85 3.97 3.92 5/195 17949
/proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/17949/stat : 17949 (java) R 17947 17949 4583 0 -1 4202496 243 0 0 0 0 0 0 0 20 0 1 0 335779822 9515008 178 33554432000 1073741824 1073778376 140733506354064 140733506336792 229355588918 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17949/statm: 2331 183 140 9 0 79 0

[startup+0.0663231 s]
/proc/loadavg: 3.85 3.97 3.92 5/195 17949
/proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=11253516 CPUtime=0.04 cores=0,2,4,6
/proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 4348 0 1 0 3 1 0 0 20 0 13 0 335779822 11523600384 11689 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17949/statm: 2813379 11690 1706 9 0 2804080 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11253516

[startup+0.100255 s]
/proc/loadavg: 3.85 3.97 3.92 5/195 17949
/proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 4524 0 1 0 6 1 0 0 20 0 18 0 335779822 11864465408 12376 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17949/statm: 2896598 12376 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392

[startup+0.300216 s]
/proc/loadavg: 3.85 3.97 3.92 5/195 17949
/proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=11586392 CPUtime=0.45 cores=0,2,4,6
/proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 6926 0 1 0 43 2 0 0 20 0 18 0 335779822 11864465408 15634 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17949/statm: 2896598 15634 2221 9 0 2887285 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 11586392

[startup+0.700252 s]
/proc/loadavg: 3.85 3.97 3.92 5/195 17949
/proc/meminfo: memFree=22143612/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=11852648 CPUtime=1.39 cores=0,2,4,6
/proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 11269 0 1 0 134 5 0 0 20 0 19 0 335779822 12137111552 29021 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17949/statm: 2963162 29021 2256 9 0 2953849 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 11852648

[startup+1.50067 s]
/proc/loadavg: 3.85 3.97 3.92 3/214 17971
/proc/meminfo: memFree=22036312/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=11852648 CPUtime=1.72 cores=0,2,4,6
/proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 13018 0 1 0 165 7 0 0 20 0 19 0 335779822 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17949/statm: 2963162 31474 2259 9 0 2953849 0
[pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.51 cores=0,2,4,6
/proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3471 0 1 0 48 3 0 0 20 0 19 0 335779823 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335779825 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335779826 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335779827 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335779827 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=0.43 cores=0,2,4,6
/proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 3866 0 0 0 43 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=0.49 cores=0,2,4,6
/proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 4365 0 0 0 49 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335779830 12137111552 31474 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 11852648

[startup+3.10059 s]
/proc/loadavg: 3.85 3.97 3.92 8/217 17980
/proc/meminfo: memFree=22007008/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=11852648 CPUtime=4.61 cores=0,2,4,6
/proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 18390 0 1 0 449 12 0 0 20 0 22 0 335779822 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17949/statm: 2963162 40849 2266 9 0 2953849 0
[pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.56 cores=0,2,4,6
/proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3474 0 1 0 53 3 0 0 20 0 22 0 335779823 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335779826 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=0.88 cores=0,2,4,6
/proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7644 0 0 0 86 2 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=0.86 cores=0,2,4,6
/proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5896 0 0 0 85 1 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 40849 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.61
Current children cumulated vsize (KiB) 11852648

[startup+6.30062 s]
/proc/loadavg: 3.86 3.97 3.92 6/217 17983
/proc/meminfo: memFree=21429280/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=11852648 CPUtime=10.93 cores=0,2,4,6
/proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 18884 0 1 0 1065 28 0 0 20 0 22 0 335779822 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17949/statm: 2963162 221100 2291 9 0 2953849 0
[pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3476 0 1 0 54 3 0 0 20 0 22 0 335779823 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335779825 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=0.05 cores=0,2,4,6
/proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 37 0 0 0 4 1 0 0 20 0 22 0 335779826 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7649 0 0 0 94 2 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=0.96 cores=0,2,4,6
/proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5952 0 0 0 95 1 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 221100 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 11852648

[startup+12.7008 s]
/proc/loadavg: 3.87 3.97 3.92 4/217 17986
/proc/meminfo: memFree=20602340/32873852 swapFree=6856/6856

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

/proc/17949/statm: 2963162 957013 2293 9 0 2953849 0
[pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.61 cores=0,2,4,6
/proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3539 0 1 0 57 4 0 0 20 0 22 0 335779823 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=1.27 cores=0,2,4,6
/proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 123 0 0 0 122 5 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=1.32 cores=0,2,4,6
/proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 112 0 0 0 129 3 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=1.46 cores=0,2,4,6
/proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 154 0 0 0 142 4 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=1.33 cores=0,2,4,6
/proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 149 0 0 0 129 4 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=1.37 cores=0,2,4,6
/proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 114 0 0 0 133 4 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 126 0 0 0 138 5 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=1.36 cores=0,2,4,6
/proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 98 0 0 0 132 4 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=1.24 cores=0,2,4,6
/proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 121 0 0 0 121 3 0 0 20 0 22 0 335779825 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=44.02 cores=0,2,4,6
/proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 180 0 0 0 4387 15 0 0 20 0 22 0 335779826 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7658 0 0 0 107 2 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5972 0 0 0 118 1 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0.31 cores=0,2,4,6
/proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 51 0 0 0 17 14 0 0 20 0 22 0 335779830 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17987] ppid=17947 vsize=11852648 CPUtime=802.52 cores=0,2,4,6
/proc/17949/task/17987/stat : 17987 (java) R 17947 17949 4583 0 -1 4202560 115 0 0 0 80237 15 0 0 20 0 22 0 335782893 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030910001360 140030974906689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17988] ppid=17947 vsize=11852648 CPUtime=802.55 cores=0,2,4,6
/proc/17949/task/17988/stat : 17988 (java) R 17947 17949 4583 0 -1 4202560 483 0 0 0 80223 32 0 0 20 0 22 0 335782893 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030908947296 140030975414053 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17989] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17989/stat : 17989 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335782894 12137111552 957013 33554432000 1073741824 1073778376 140736232980400 140030911055528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1722.64
Current children cumulated vsize (KiB) 11852648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+922.701 s]
/proc/loadavg: 3.83 3.92 3.90 5/217 18078
/proc/meminfo: memFree=18240980/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=11852648 CPUtime=1800.06 cores=0,2,4,6
/proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 21598 0 1 0 179865 141 0 0 20 0 22 0 335779822 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17949/statm: 2963162 959064 2293 9 0 2953849 0
[pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.61 cores=0,2,4,6
/proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3541 0 1 0 57 4 0 0 20 0 22 0 335779823 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 124 0 0 0 130 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=1.44 cores=0,2,4,6
/proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 114 0 0 0 141 3 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=1.54 cores=0,2,4,6
/proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 155 0 0 0 149 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 151 0 0 0 139 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=1.48 cores=0,2,4,6
/proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 116 0 0 0 144 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 127 0 0 0 147 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 103 0 0 0 141 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 122 0 0 0 131 3 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=47.73 cores=0,2,4,6
/proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 182 0 0 0 4758 15 0 0 20 0 22 0 335779826 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7658 0 0 0 107 2 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5972 0 0 0 118 1 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 53 0 0 0 17 16 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17987] ppid=17947 vsize=11852648 CPUtime=838.87 cores=0,2,4,6
/proc/17949/task/17987/stat : 17987 (java) R 17947 17949 4583 0 -1 4202560 123 0 0 0 83872 15 0 0 20 0 22 0 335782893 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030910001360 140030975064847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17988] ppid=17947 vsize=11852648 CPUtime=838.92 cores=0,2,4,6
/proc/17949/task/17988/stat : 17988 (java) R 17947 17949 4583 0 -1 4202560 484 0 0 0 83860 32 0 0 20 0 22 0 335782893 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030908947136 140030974905765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17989] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17989/stat : 17989 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335782894 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030911055528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648

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

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

[startup+922.701 s]
/proc/loadavg: 3.83 3.92 3.90 5/217 18078
/proc/meminfo: memFree=18240980/32873852 swapFree=6856/6856
[pid=17949] ppid=17947 vsize=11852648 CPUtime=1800.06 cores=0,2,4,6
/proc/17949/stat : 17949 (java) S 17947 17949 4583 0 -1 4202496 21598 0 1 0 179865 141 0 0 20 0 22 0 335779822 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140736232971536 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17949/statm: 2963162 959064 2293 9 0 2953849 0
[pid=17949/tid=17951] ppid=17947 vsize=11852648 CPUtime=0.61 cores=0,2,4,6
/proc/17949/task/17951/stat : 17951 (java) S 17947 17949 4583 0 -1 4202560 3541 0 1 0 57 4 0 0 20 0 22 0 335779823 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140031102166168 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17952] ppid=17947 vsize=11852648 CPUtime=1.35 cores=0,2,4,6
/proc/17949/task/17952/stat : 17952 (java) S 17947 17949 4583 0 -1 4202560 124 0 0 0 130 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030939044264 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17953] ppid=17947 vsize=11852648 CPUtime=1.44 cores=0,2,4,6
/proc/17949/task/17953/stat : 17953 (java) S 17947 17949 4583 0 -1 4202560 114 0 0 0 141 3 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030937991720 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17954] ppid=17947 vsize=11852648 CPUtime=1.54 cores=0,2,4,6
/proc/17949/task/17954/stat : 17954 (java) S 17947 17949 4583 0 -1 4202560 155 0 0 0 149 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030936938664 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17955] ppid=17947 vsize=11852648 CPUtime=1.43 cores=0,2,4,6
/proc/17949/task/17955/stat : 17955 (java) S 17947 17949 4583 0 -1 4202560 151 0 0 0 139 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030935886120 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17949/tid=17956] ppid=17947 vsize=11852648 CPUtime=1.48 cores=0,2,4,6
/proc/17949/task/17956/stat : 17956 (java) S 17947 17949 4583 0 -1 4202560 116 0 0 0 144 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030934834088 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17957] ppid=17947 vsize=11852648 CPUtime=1.52 cores=0,2,4,6
/proc/17949/task/17957/stat : 17957 (java) S 17947 17949 4583 0 -1 4202560 127 0 0 0 147 5 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030933781544 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17958] ppid=17947 vsize=11852648 CPUtime=1.45 cores=0,2,4,6
/proc/17949/task/17958/stat : 17958 (java) S 17947 17949 4583 0 -1 4202560 103 0 0 0 141 4 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030932728488 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17959] ppid=17947 vsize=11852648 CPUtime=1.34 cores=0,2,4,6
/proc/17949/task/17959/stat : 17959 (java) S 17947 17949 4583 0 -1 4202560 122 0 0 0 131 3 0 0 20 0 22 0 335779825 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030931675944 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17960] ppid=17947 vsize=11852648 CPUtime=47.73 cores=0,2,4,6
/proc/17949/task/17960/stat : 17960 (java) S 17947 17949 4583 0 -1 4202560 182 0 0 0 4758 15 0 0 20 0 22 0 335779826 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030919477608 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17961] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17961/stat : 17961 (java) S 17947 17949 4583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030918423928 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17962] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17962/stat : 17962 (java) S 17947 17949 4583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335779827 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030917370760 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17963] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17963/stat : 17963 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030916319504 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17964] ppid=17947 vsize=11852648 CPUtime=1.09 cores=0,2,4,6
/proc/17949/task/17964/stat : 17964 (java) S 17947 17949 4583 0 -1 4202560 7658 0 0 0 107 2 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030915267384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17949/tid=17965] ppid=17947 vsize=11852648 CPUtime=1.19 cores=0,2,4,6
/proc/17949/task/17965/stat : 17965 (java) S 17947 17949 4583 0 -1 4202560 5972 0 0 0 118 1 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030914214840 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17966] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17966/stat : 17966 (java) S 17947 17949 4583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030913161976 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17967] ppid=17947 vsize=11852648 CPUtime=0.33 cores=0,2,4,6
/proc/17949/task/17967/stat : 17967 (java) S 17947 17949 4583 0 -1 4202560 53 0 0 0 17 16 0 0 20 0 22 0 335779830 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030912109640 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17974] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17974/stat : 17974 (java) S 17947 17949 4583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335779927 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030907897128 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17987] ppid=17947 vsize=11852648 CPUtime=838.87 cores=0,2,4,6
/proc/17949/task/17987/stat : 17987 (java) R 17947 17949 4583 0 -1 4202560 123 0 0 0 83872 15 0 0 20 0 22 0 335782893 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030910001360 140030975064847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17949/tid=17988] ppid=17947 vsize=11852648 CPUtime=838.92 cores=0,2,4,6
/proc/17949/task/17988/stat : 17988 (java) R 17947 17949 4583 0 -1 4202560 484 0 0 0 83860 32 0 0 20 0 22 0 335782893 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030908947136 140030974905765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17949/tid=17989] ppid=17947 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/17949/task/17989/stat : 17989 (java) S 17947 17949 4583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335782894 12137111552 959064 33554432000 1073741824 1073778376 140736232980400 140030911055528 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 11852648

Child status: 143

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

Real time (s): 922.778
CPU time (s): 1800.06
CPU user time (s): 1798.65
CPU system time (s): 1.41
CPU usage (%): 195.07
Max. virtual memory (cumulated for all children) (KiB): 11853744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.26
system time used= 1.88171
maximum resident set size= 3836372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21629
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29113
involuntary context switches= 34891

runsolver used 3.57046 second user time and 7.74382 second system time

The end

Launcher Data

Begin job on node129 at 2012-06-03 06:09:04
IDJOB=3735751
IDBENCH=24991
IDSOLVER=2328
FILE ID=node129/3735751-1338696544
RUNJOBID= node129-1338679212-13349
PBS_JOBID= 14636684
Free space on /tmp= 70484 MiB

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

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

MD5SUM BENCH= 2aa6eb5ee09e1484657dfe3626167241
RANDOM SEED=1857466493

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        22143892 kB
Buffers:          461392 kB
Cached:          5617788 kB
SwapCached:            0 kB
Active:          6306348 kB
Inactive:        3530868 kB
Active(anon):    3749500 kB
Inactive(anon):    10748 kB
Active(file):    2556848 kB
Inactive(file):  3520120 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               864 kB
Writeback:             0 kB
AnonPages:       3772292 kB
Mapped:            22480 kB
Shmem:               204 kB
Slab:             741120 kB
SReclaimable:     183348 kB
SUnreclaim:       557772 kB
KernelStack:        1608 kB
PageTables:        11188 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:   10456676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3729408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70484 MiB
End job on node129 at 2012-06-03 06:24:28