Trace number 4081475

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Res+CP PB16SAT (TO)31 1800.49 898.957

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_022_area_delay.opb
MD5SUM8e8463c13e61e1a22058cdf603119640
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark26
Best CPU time to get the best result obtained on this benchmark0.18997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 26
Optimality of the best value was proved YES
Number of variables7926
Total number of constraints23835
Number of constraints which are clauses23835
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 3885
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 3885
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 3885
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@5d764be1
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4413ee
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@9f436f5
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081475-1465239474.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
1.39/0.66	c ... done. Wall clock time 0.546s.
1.39/0.66	c declared #vars     7926
1.39/0.66	c #constraints  23835
1.39/0.67	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
1.39/0.67	c constraints type 
1.39/0.67	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 4050
1.39/0.67	c org.sat4j.minisat.constraints.cnf.UnitClause => 617
1.39/0.67	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 19168
1.39/0.67	c 23835 constraints processed.
1.39/0.67	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
1.39/0.67	c constraints type 
1.39/0.67	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 19168
1.39/0.67	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 4050
1.39/0.67	c org.sat4j.pb.constraints.pb.UnitClausePB => 617
1.39/0.67	c 23835 constraints processed.
1.39/0.67	c objective function length is 3885 literals
2.51/0.91	c And the winner is solver1
2.85/1.18	c SATISFIABLE
2.85/1.18	c OPTIMIZING...
2.85/1.18	c Got one! Elapsed wall clock time (in seconds):1.057
2.85/1.18	o 39
7.38/3.12	c And the winner is solver1
7.46/3.20	c Got one! Elapsed wall clock time (in seconds):3.081
7.46/3.20	o 38
8.72/3.87	c cleaning 2754 clauses out of 5517 with flag 4769/5517
11.06/4.81	c And the winner is solver1
11.09/5.21	c Got one! Elapsed wall clock time (in seconds):5.092
11.09/5.21	o 37
14.62/6.93	c And the winner is solver1
14.71/7.22	c Got one! Elapsed wall clock time (in seconds):7.099
14.71/7.22	o 36
15.70/7.79	c cleaning 4151 clauses out of 8304 with flag 4630/11058
18.59/9.12	c And the winner is solver1
18.64/9.22	c Got one! Elapsed wall clock time (in seconds):9.103
18.64/9.22	o 35
22.08/10.84	c cleaning 4653 clauses out of 9306 with flag 13270/16211
28.93/14.25	c cleaning 5327 clauses out of 10653 with flag 42806/22211
37.35/18.47	c cleaning 6159 clauses out of 12326 with flag 79267/29211
47.40/23.42	c cleaning 7067 clauses out of 14168 with flag 122335/37212
58.20/28.84	c cleaning 8050 clauses out of 16100 with flag 167758/46211
70.67/35.00	c cleaning 9025 clauses out of 18050 with flag 215707/56211
85.15/42.20	c cleaning 9983 clauses out of 20025 with flag 270246/67211
100.65/49.95	c cleaning 10986 clauses out of 22042 with flag 331300/79211
116.95/58.00	c cleaning 11989 clauses out of 24056 with flag 407280/92211
134.05/66.50	c cleaning 13016 clauses out of 26067 with flag 490104/106211
152.97/75.91	c cleaning 14011 clauses out of 28051 with flag 572471/121211
173.65/86.23	c cleaning 15009 clauses out of 30040 with flag 668036/137211
195.55/97.18	c cleaning 16007 clauses out of 32031 with flag 772123/154211
218.89/108.72	c cleaning 16974 clauses out of 34024 with flag 880540/172211
243.47/121.00	c cleaning 18015 clauses out of 36050 with flag 1010185/191211
270.00/134.19	c cleaning 18991 clauses out of 38035 with flag 1143614/211211
285.63/141.90	c And the winner is solver1
285.90/142.27	c Got one! Elapsed wall clock time (in seconds):142.151
285.90/142.27	o 34
291.96/145.39	c cleaning 17903 clauses out of 35811 with flag 29141/227978
299.62/149.12	c cleaning 11954 clauses out of 23908 with flag 65813/233978
307.44/153.03	c cleaning 9474 clauses out of 18954 with flag 106980/240978
316.50/157.57	c cleaning 8738 clauses out of 17480 with flag 151395/248978
327.40/162.99	c cleaning 8849 clauses out of 17742 with flag 199327/257978
339.19/168.80	c cleaning 9436 clauses out of 18893 with flag 250569/267978
351.25/174.83	c cleaning 10229 clauses out of 20458 with flag 311684/278979
364.72/181.54	c cleaning 11105 clauses out of 22228 with flag 375434/290978
378.75/188.52	c cleaning 12059 clauses out of 24123 with flag 443381/303978
394.21/196.21	c cleaning 13026 clauses out of 26064 with flag 515887/317978
411.02/205.02	c cleaning 14016 clauses out of 28039 with flag 593633/332979
429.52/214.25	c cleaning 14998 clauses out of 30022 with flag 680617/348978
433.12/216.07	c And the winner is solver1
433.30/216.15	c Got one! Elapsed wall clock time (in seconds):216.027
433.30/216.15	o 33
435.64/217.36	c cleaning 10239 clauses out of 20483 with flag 9640/354437
441.84/220.47	c cleaning 8121 clauses out of 16244 with flag 41344/360437
449.92/224.40	c cleaning 7558 clauses out of 15123 with flag 79009/367437
458.74/228.86	c cleaning 7771 clauses out of 15565 with flag 119921/375437
468.38/233.63	c cleaning 8386 clauses out of 16794 with flag 165451/384437
478.98/238.91	c cleaning 9184 clauses out of 18408 with flag 215975/394437
492.06/245.41	c cleaning 10110 clauses out of 20224 with flag 281484/405437
506.51/252.63	c cleaning 11057 clauses out of 22115 with flag 350305/417438
521.96/260.31	c cleaning 12029 clauses out of 24057 with flag 419194/430437
537.81/268.29	c cleaning 12990 clauses out of 26028 with flag 495469/444437
553.88/276.24	c cleaning 14019 clauses out of 28038 with flag 574475/459437
572.51/285.58	c cleaning 14981 clauses out of 30019 with flag 673443/475437
592.60/295.59	c cleaning 15925 clauses out of 32038 with flag 775132/492437
614.12/306.78	c cleaning 17055 clauses out of 34113 with flag 879617/510437
637.20/318.29	c cleaning 18016 clauses out of 36058 with flag 995489/529437
663.46/331.24	c cleaning 18987 clauses out of 38044 with flag 1110683/549439
665.05/332.05	c And the winner is solver1
665.19/332.33	c Got one! Elapsed wall clock time (in seconds):332.217
665.19/332.33	o 32
669.40/334.49	c cleaning 12155 clauses out of 24315 with flag 18428/554697
675.79/337.61	c cleaning 9066 clauses out of 18160 with flag 51237/560697
681.99/340.78	c cleaning 8041 clauses out of 16094 with flag 89182/567697
690.30/344.86	c cleaning 8017 clauses out of 16053 with flag 127565/575697
701.19/350.23	c cleaning 8506 clauses out of 17036 with flag 173360/584697
712.33/355.72	c cleaning 9258 clauses out of 18530 with flag 224458/594697
722.93/361.09	c cleaning 10125 clauses out of 20272 with flag 276253/605697
735.01/367.09	c cleaning 11051 clauses out of 22147 with flag 334366/617697
747.29/373.15	c cleaning 12039 clauses out of 24097 with flag 395615/630698
761.17/380.07	c cleaning 13019 clauses out of 26057 with flag 461810/644697
776.01/387.41	c cleaning 14012 clauses out of 28039 with flag 534084/659698
792.51/395.64	c cleaning 15012 clauses out of 30027 with flag 611611/675698
813.71/406.12	c cleaning 16002 clauses out of 32014 with flag 703752/692697
838.48/419.17	c cleaning 16999 clauses out of 34012 with flag 804356/710697
863.14/431.40	c cleaning 18004 clauses out of 36013 with flag 913037/729697
889.32/444.48	c cleaning 18992 clauses out of 38009 with flag 1033760/749697
917.06/458.25	c cleaning 20006 clauses out of 40017 with flag 1157838/770697
947.39/473.32	c cleaning 20990 clauses out of 42011 with flag 1282925/792697
977.13/488.12	c cleaning 21994 clauses out of 44021 with flag 1428919/815697
1009.86/504.22	c cleaning 23000 clauses out of 46027 with flag 1587810/839697
1042.52/520.42	c cleaning 24011 clauses out of 48027 with flag 1746674/864697
1050.91/524.64	c And the winner is solver1
1051.06/524.98	c Got one! Elapsed wall clock time (in seconds):524.867
1051.06/524.98	o 31
1056.21/527.58	c cleaning 17865 clauses out of 35734 with flag 24213/876415
1062.41/530.69	c cleaning 11931 clauses out of 23866 with flag 53019/882412
1069.60/534.29	c cleaning 9466 clauses out of 18936 with flag 86412/889413
1077.69/538.25	c cleaning 8735 clauses out of 17470 with flag 126700/897413
1088.69/543.71	c cleaning 8867 clauses out of 17734 with flag 176069/906412
1101.20/549.94	c cleaning 9431 clauses out of 18867 with flag 227208/916412
1115.28/556.96	c cleaning 10183 clauses out of 20436 with flag 285514/927412
1133.34/567.23	c cleaning 11122 clauses out of 22253 with flag 349583/939412
1148.77/574.95	c cleaning 12064 clauses out of 24131 with flag 412018/952412
1166.16/583.67	c cleaning 13032 clauses out of 26067 with flag 489626/966412
1185.44/593.23	c cleaning 14018 clauses out of 28035 with flag 578451/981412
1205.18/603.02	c cleaning 14979 clauses out of 30017 with flag 665641/997412
1225.71/613.22	c cleaning 16010 clauses out of 32038 with flag 759111/1014412
1248.31/624.45	c cleaning 17005 clauses out of 34028 with flag 849286/1032412
1272.11/636.32	c cleaning 18000 clauses out of 36023 with flag 946067/1051412
1294.11/647.35	c cleaning 19002 clauses out of 38023 with flag 1048538/1071412
1318.08/659.20	c cleaning 20000 clauses out of 40021 with flag 1157084/1092412
1342.08/671.29	c cleaning 21006 clauses out of 42022 with flag 1276570/1114413
1371.11/685.68	c cleaning 22008 clauses out of 44016 with flag 1414920/1137413
1402.59/701.07	c cleaning 22986 clauses out of 46007 with flag 1546534/1161412
1431.13/715.19	c cleaning 24001 clauses out of 48021 with flag 1663420/1186412
1463.11/731.19	c cleaning 25003 clauses out of 50020 with flag 1805031/1212412
1498.13/748.52	c cleaning 25993 clauses out of 52017 with flag 1946188/1239412
1531.13/765.05	c cleaning 26994 clauses out of 54024 with flag 2093632/1267412
1564.18/781.44	c cleaning 28000 clauses out of 56030 with flag 2238526/1296412
1598.78/798.74	c cleaning 29013 clauses out of 58030 with flag 2385613/1326412
1634.60/816.51	c cleaning 29997 clauses out of 60017 with flag 2536631/1357412
1674.20/836.35	c cleaning 30999 clauses out of 62020 with flag 2696296/1389412
1715.53/856.87	c cleaning 32011 clauses out of 64021 with flag 2859820/1422412
1751.88/874.89	c cleaning 33000 clauses out of 66010 with flag 3029369/1456412
1795.88/896.86	c cleaning 33992 clauses out of 68010 with flag 3206191/1491412
1800.08/898.90	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.08/898.90	c starts		: 27016
1800.08/898.90	c conflicts		: 1494765
1800.08/898.90	c decisions		: 12994663
1800.08/898.90	c propagations		: 4281523464
1800.08/898.90	c inspects		: 4899685699
1800.08/898.90	c shortcuts		: 0
1800.08/898.90	c learnt literals	: 0
1800.08/898.90	c learnt binary clauses	: 0
1800.08/898.90	c learnt ternary clauses	: 36
1800.08/898.90	c learnt constraints	: 1494765
1800.08/898.90	c ignored constraints	: 0
1800.08/898.90	c root simplifications	: 0
1800.08/898.90	c removed literals (reason simplification)	: 7720261
1800.08/898.90	c reason swapping (by a shorter reason)	: 0
1800.08/898.90	c Calls to reduceDB	: 98
1800.08/898.90	c Number of update (reduction) of LBD	: 642376
1800.08/898.90	c Imported unit clauses	: 0
1800.08/898.90	c number of reductions to clauses (during analyze)	: 0
1800.08/898.90	c number of learned constraints concerned by reduction	: 0
1800.08/898.90	c number of learning phase by resolution	: 0
1800.08/898.90	c number of learning phase by cutting planes	: 0
1800.08/898.90	c speed (assignments/second)	: 1.1450679211574977E7
1800.08/898.90	c non guided choices	0
1800.08/898.92	c learnt constraints type 
1800.08/898.92	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 37371
1800.08/898.92	c >>>>>>>>>> Solver number 1 (9 answers) <<<<<<<<<<<<<<<<<<
1800.08/898.92	c starts		: 24
1800.08/898.92	c conflicts		: 2943
1800.08/898.92	c decisions		: 437242
1800.08/898.92	c propagations		: 2475219
1800.08/898.92	c inspects		: 36602249
1800.08/898.92	c shortcuts		: 0
1800.08/898.92	c learnt literals	: 0
1800.08/898.92	c learnt binary clauses	: 0
1800.08/898.92	c learnt ternary clauses	: 0
1800.08/898.92	c learnt constraints	: 2942
1800.08/898.92	c ignored constraints	: 0
1800.08/898.92	c root simplifications	: 0
1800.08/898.92	c removed literals (reason simplification)	: 0
1800.08/898.92	c reason swapping (by a shorter reason)	: 0
1800.08/898.92	c Calls to reduceDB	: 0
1800.08/898.92	c Number of update (reduction) of LBD	: 0
1800.08/898.92	c Imported unit clauses	: 0
1800.08/898.92	c number of reductions to clauses (during analyze)	: 0
1800.08/898.92	c number of learned constraints concerned by reduction	: 0
1800.08/898.92	c number of learning phase by resolution	: 0
1800.08/898.92	c number of learning phase by cutting planes	: 0
1800.08/898.92	c speed (assignments/second)	: 2755.7210944867074
1800.08/898.92	c non guided choices	0
1800.08/898.92	c learnt constraints type 
1800.08/898.92	c org.sat4j.pb.constraints.pb.LearntHTClausePB => 112
1800.08/898.92	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 88
1800.08/898.92	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2742
1800.08/898.92	s SATISFIABLE
1800.08/898.92	c Found 9 solution(s)
1800.08/898.93	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 x229 -x230 -x231 x232 x233 x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 x297 -x298 -x299 -x300 -x301 x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 x955 x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 x2004 x2005 x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 x3737 x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 x4230 x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 x4673 x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 x4820 x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 x5245 x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 x5330 x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 -x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 x6381 x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 x6424 x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 x6756 x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 x6898 x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 x6971 x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 x7198 x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 x7338 x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 -x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 -x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 -x7595 -x7596 -x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 -x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 -x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 -x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 -x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 -x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 -x7892 -x7893 -x7894 -x7895 x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 x7918 x7919 x7920 -x7921 -x7922 x7923 x7924 x7925 x7926 
1800.08/898.94	c objective function=31
1800.08/898.94	c Total wall clock time (in seconds): 898.822

Verifier Data 

OK	31

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4081475-1465239474/watcher-4081475-1465239474 -o /tmp/evaluation-result-4081475-1465239474/solver-4081475-1465239474 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081475-1465239474.opb 

pid=17011
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: 4.11 4.06 4.00 4/197 17014
/proc/meminfo: memFree=27966568/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9212 CPUtime=0 cores=0,2,4,6
/proc/17014/stat : 17014 (java) R 17011 17014 12316 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 105880652 9433088 63 33554432000 1073741824 1073778376 140736836450752 140736836447880 262953537824 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2306 75 58 9 0 38 0

[startup+0.10006 s]
/proc/loadavg: 4.11 4.06 4.00 4/197 17014
/proc/meminfo: memFree=27966568/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 4419 0 1 0 8 1 0 0 20 0 18 0 105880652 9787879424 6034 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2389619 6034 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 4.11 4.06 4.00 4/197 17014
/proc/meminfo: memFree=27966568/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 5027 0 1 0 27 1 0 0 20 0 18 0 105880652 9787879424 6871 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2389619 6871 2219 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300232 s]
/proc/loadavg: 4.11 4.06 4.00 4/197 17014
/proc/meminfo: memFree=27966568/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9558476 CPUtime=0.5 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 6378 0 1 0 49 1 0 0 20 0 18 0 105880652 9787879424 9205 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2389619 9205 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700195 s]
/proc/loadavg: 4.11 4.06 4.00 4/197 17014
/proc/meminfo: memFree=27966568/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9692792 CPUtime=1.71 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 27306 0 1 0 165 6 0 0 20 0 20 0 105880652 9925419008 37482 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2423198 37482 2252 9 0 2413875 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9692792

[startup+1.50074 s]
/proc/loadavg: 3.94 4.02 3.99 3/216 17036
/proc/meminfo: memFree=27685276/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9824732 CPUtime=3.81 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 28440 0 1 0 373 8 0 0 20 0 22 0 105880652 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2456183 39301 2272 9 0 2446860 0
[pid=17014/tid=17016] ppid=17011 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/17014/task/17016/stat : 17016 (java) S 17011 17014 12316 0 -1 4202560 2456 0 1 0 64 2 0 0 20 0 22 0 105880653 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432731333496 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17017] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17017/stat : 17017 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432692824360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17018] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17018/stat : 17018 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432691771560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17019] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17019/stat : 17019 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432690719272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17020] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17020/stat : 17020 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432689666472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17021] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17021/stat : 17021 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432688614184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17022] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17022/stat : 17022 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432687561384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17023] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17023/stat : 17023 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432686509096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17024] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17024/stat : 17024 (java) S 17011 17014 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432685456296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17025] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17025/stat : 17025 (java) S 17011 17014 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105880655 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432555079912 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17026] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17026/stat : 17026 (java) S 17011 17014 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432554025976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17027] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17027/stat : 17027 (java) S 17011 17014 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432552973576 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17028] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17028/stat : 17028 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432551922064 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17029] ppid=17011 vsize=9824732 CPUtime=0.98 cores=0,2,4,6
/proc/17014/task/17029/stat : 17029 (java) S 17011 17014 12316 0 -1 4202560 11910 0 0 0 96 2 0 0 20 0 22 0 105880658 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432550869688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17030] ppid=17011 vsize=9824732 CPUtime=0.99 cores=0,2,4,6
/proc/17014/task/17030/stat : 17030 (java) S 17011 17014 12316 0 -1 4202560 12734 0 0 0 97 2 0 0 20 0 22 0 105880658 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432549816888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17031] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17031/stat : 17031 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432548764792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17032] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17032/stat : 17032 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140432547712200 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17035] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17035/stat : 17035 (java) S 17011 17014 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105880723 10060525568 39301 33554432000 1073741824 1073778376 140736836450752 140431536313512 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9824732

[startup+3.10084 s]
/proc/loadavg: 3.94 4.02 3.99 6/219 17039
/proc/meminfo: memFree=27670324/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9824732 CPUtime=7.38 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 28495 0 1 0 729 9 0 0 20 0 22 0 105880652 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2456183 43953 2276 9 0 2446860 0
[pid=17014/tid=17016] ppid=17011 vsize=9824732 CPUtime=0.66 cores=0,2,4,6
/proc/17014/task/17016/stat : 17016 (java) S 17011 17014 12316 0 -1 4202560 2456 0 1 0 64 2 0 0 20 0 22 0 105880653 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432731333496 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17017] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17017/stat : 17017 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432692824360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17018] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17018/stat : 17018 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432691771560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17019] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17019/stat : 17019 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432690719272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17020] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17020/stat : 17020 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432689666472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17021] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17021/stat : 17021 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432688614184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17022] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17022/stat : 17022 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432687561384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17023] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17023/stat : 17023 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432686509096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17024] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17024/stat : 17024 (java) S 17011 17014 12316 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432685456296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17025] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17025/stat : 17025 (java) S 17011 17014 12316 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 105880655 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432555079912 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17026] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17026/stat : 17026 (java) S 17011 17014 12316 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432554025976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17027] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17027/stat : 17027 (java) S 17011 17014 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432552973576 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17028] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17028/stat : 17028 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432551922064 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17029] ppid=17011 vsize=9824732 CPUtime=1.19 cores=0,2,4,6
/proc/17014/task/17029/stat : 17029 (java) S 17011 17014 12316 0 -1 4202560 11943 0 0 0 117 2 0 0 20 0 22 0 105880658 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432550869688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17030] ppid=17011 vsize=9824732 CPUtime=1.18 cores=0,2,4,6
/proc/17014/task/17030/stat : 17030 (java) S 17011 17014 12316 0 -1 4202560 12738 0 0 0 115 3 0 0 20 0 22 0 105880658 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432549816888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17031] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17031/stat : 17031 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432548764792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17032] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17032/stat : 17032 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140432547712200 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17035] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17035/stat : 17035 (java) S 17011 17014 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105880723 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140431536313512 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17037] ppid=17011 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/17014/task/17037/stat : 17037 (java) R 17011 17014 12316 0 -1 4202560 5 0 0 0 186 0 0 0 20 0 22 0 105880772 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140431538418760 140432563476736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17038] ppid=17011 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/17014/task/17038/stat : 17038 (java) R 17011 17014 12316 0 -1 4202560 20 0 0 0 188 0 0 0 20 0 22 0 105880772 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140431537363624 140432563639108 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17039] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17039/stat : 17039 (java) S 17011 17014 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105880772 10060525568 43953 33554432000 1073741824 1073778376 140736836450752 140431535261352 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 9824732

[startup+6.30087 s]
/proc/loadavg: 3.79 3.99 3.98 6/219 17045
/proc/meminfo: memFree=27609304/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9824732 CPUtime=13.34 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 31752 0 1 0 1318 16 0 0 20 0 22 0 105880652 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2456183 55729 2293 9 0 2446860 0
[pid=17014/tid=17016] ppid=17011 vsize=9824732 CPUtime=0.68 cores=0,2,4,6
/proc/17014/task/17016/stat : 17016 (java) S 17011 17014 12316 0 -1 4202560 2458 0 1 0 66 2 0 0 20 0 22 0 105880653 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432731333496 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17017] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17017/stat : 17017 (java) S 17011 17014 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432692824360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17018] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17018/stat : 17018 (java) S 17011 17014 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432691771560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17019] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17019/stat : 17019 (java) S 17011 17014 12316 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432690719272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17020] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17020/stat : 17020 (java) S 17011 17014 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432689666472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17021] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17021/stat : 17021 (java) S 17011 17014 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432688614184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17022] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17022/stat : 17022 (java) S 17011 17014 12316 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432687561384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17023] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17023/stat : 17023 (java) S 17011 17014 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432686509096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17024] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17024/stat : 17024 (java) S 17011 17014 12316 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 105880654 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432685456296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17025] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17025/stat : 17025 (java) S 17011 17014 12316 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 105880655 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432555079912 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17026] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17026/stat : 17026 (java) S 17011 17014 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432554025976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17027] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17027/stat : 17027 (java) S 17011 17014 12316 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432552973576 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17028] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17028/stat : 17028 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432551922064 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17029] ppid=17011 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/17014/task/17029/stat : 17029 (java) S 17011 17014 12316 0 -1 4202560 11982 0 0 0 140 2 0 0 20 0 22 0 105880658 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432550869688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17030] ppid=17011 vsize=9824732 CPUtime=1.44 cores=0,2,4,6
/proc/17014/task/17030/stat : 17030 (java) S 17011 17014 12316 0 -1 4202560 15863 0 0 0 141 3 0 0 20 0 22 0 105880658 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432549816888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17031] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17031/stat : 17031 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 55729 33554432000 1073741824 1073778376 140736836450752 140432548764792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17032] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6

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


[startup+882.308 s]
/proc/loadavg: 3.99 3.96 3.97 5/219 17207
/proc/meminfo: memFree=27660052/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9824732 CPUtime=1766.89 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 41932 0 1 0 176419 270 0 0 20 0 22 0 105880652 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2456183 595856 2302 9 0 2446860 0
[pid=17014/tid=17016] ppid=17011 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/17014/task/17016/stat : 17016 (java) S 17011 17014 12316 0 -1 4202560 2465 0 1 0 71 4 0 0 20 0 22 0 105880653 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432731333496 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17017] ppid=17011 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/17014/task/17017/stat : 17017 (java) S 17011 17014 12316 0 -1 4202560 1453 0 0 0 222 29 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432692824360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17018] ppid=17011 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/17014/task/17018/stat : 17018 (java) S 17011 17014 12316 0 -1 4202560 705 0 0 0 260 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432691771560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17019] ppid=17011 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/17014/task/17019/stat : 17019 (java) S 17011 17014 12316 0 -1 4202560 1025 0 0 0 228 24 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432690719272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17020] ppid=17011 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/17014/task/17020/stat : 17020 (java) S 17011 17014 12316 0 -1 4202560 848 0 0 0 229 25 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432689666472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17021] ppid=17011 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/17014/task/17021/stat : 17021 (java) S 17011 17014 12316 0 -1 4202560 970 0 0 0 216 26 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432688614184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17022] ppid=17011 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/17014/task/17022/stat : 17022 (java) S 17011 17014 12316 0 -1 4202560 879 0 0 0 221 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432687561384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17023] ppid=17011 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/17014/task/17023/stat : 17023 (java) S 17011 17014 12316 0 -1 4202560 1048 0 0 0 227 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432686509096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17024] ppid=17011 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/17014/task/17024/stat : 17024 (java) S 17011 17014 12316 0 -1 4202560 1339 0 0 0 233 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432685456296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17025] ppid=17011 vsize=9824732 CPUtime=6.06 cores=0,2,4,6
/proc/17014/task/17025/stat : 17025 (java) S 17011 17014 12316 0 -1 4202560 1697 0 0 0 600 6 0 0 20 0 22 0 105880655 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432555079912 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17026] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17026/stat : 17026 (java) S 17011 17014 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432554025976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17027] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17027/stat : 17027 (java) S 17011 17014 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432552973576 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17028] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17028/stat : 17028 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432551922064 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17029] ppid=17011 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/17014/task/17029/stat : 17029 (java) S 17011 17014 12316 0 -1 4202560 12013 0 0 0 186 2 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432550869688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17030] ppid=17011 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/17014/task/17030/stat : 17030 (java) S 17011 17014 12316 0 -1 4202560 15890 0 0 0 178 4 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432549816888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17031] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17031/stat : 17031 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432548764792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17032] ppid=17011 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/17014/task/17032/stat : 17032 (java) S 17011 17014 12316 0 -1 4202560 51 0 0 0 7 9 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432547712200 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17035] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17035/stat : 17035 (java) S 17011 17014 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105880723 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431536313512 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17186] ppid=17011 vsize=9824732 CPUtime=352.51 cores=0,2,4,6
/proc/17014/task/17186/stat : 17186 (java) R 17011 17014 12316 0 -1 4202560 4 0 0 0 35246 5 0 0 20 0 22 0 105933152 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431538409744 140432563464726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17187] ppid=17011 vsize=9824732 CPUtime=352.51 cores=0,2,4,6
/proc/17014/task/17187/stat : 17187 (java) R 17011 17014 12316 0 -1 4202560 35 0 0 0 35246 5 0 0 20 0 22 0 105933152 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431537364496 140432564061277 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17188] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17188/stat : 17188 (java) S 17011 17014 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105933152 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431535261352 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1766.89
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+898.901 s]
/proc/loadavg: 3.99 3.97 3.97 5/219 17208
/proc/meminfo: memFree=27570612/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 41934 0 1 0 179738 270 0 0 20 0 22 0 105880652 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2456183 595856 2302 9 0 2446860 0
[pid=17014/tid=17016] ppid=17011 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/17014/task/17016/stat : 17016 (java) S 17011 17014 12316 0 -1 4202560 2465 0 1 0 71 4 0 0 20 0 22 0 105880653 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432731333496 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17017] ppid=17011 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/17014/task/17017/stat : 17017 (java) S 17011 17014 12316 0 -1 4202560 1453 0 0 0 222 29 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432692824360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17018] ppid=17011 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/17014/task/17018/stat : 17018 (java) S 17011 17014 12316 0 -1 4202560 705 0 0 0 260 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432691771560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17019] ppid=17011 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/17014/task/17019/stat : 17019 (java) S 17011 17014 12316 0 -1 4202560 1025 0 0 0 228 24 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432690719272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17020] ppid=17011 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/17014/task/17020/stat : 17020 (java) S 17011 17014 12316 0 -1 4202560 848 0 0 0 229 25 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432689666472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17021] ppid=17011 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/17014/task/17021/stat : 17021 (java) S 17011 17014 12316 0 -1 4202560 970 0 0 0 216 26 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432688614184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17022] ppid=17011 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/17014/task/17022/stat : 17022 (java) S 17011 17014 12316 0 -1 4202560 879 0 0 0 221 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432687561384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17023] ppid=17011 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/17014/task/17023/stat : 17023 (java) S 17011 17014 12316 0 -1 4202560 1048 0 0 0 227 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432686509096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17024] ppid=17011 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/17014/task/17024/stat : 17024 (java) S 17011 17014 12316 0 -1 4202560 1339 0 0 0 233 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432685456296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17025] ppid=17011 vsize=9824732 CPUtime=6.06 cores=0,2,4,6
/proc/17014/task/17025/stat : 17025 (java) S 17011 17014 12316 0 -1 4202560 1697 0 0 0 600 6 0 0 20 0 22 0 105880655 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432555079912 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17026] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17026/stat : 17026 (java) S 17011 17014 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432554025976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17027] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17027/stat : 17027 (java) S 17011 17014 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432552973576 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17028] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17028/stat : 17028 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432551922064 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17029] ppid=17011 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/17014/task/17029/stat : 17029 (java) S 17011 17014 12316 0 -1 4202560 12013 0 0 0 186 2 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432550869688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17030] ppid=17011 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/17014/task/17030/stat : 17030 (java) S 17011 17014 12316 0 -1 4202560 15890 0 0 0 178 4 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432549816888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17031] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17031/stat : 17031 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432548764792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17032] ppid=17011 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/17014/task/17032/stat : 17032 (java) S 17011 17014 12316 0 -1 4202560 53 0 0 0 7 9 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432547712200 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17035] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17035/stat : 17035 (java) S 17011 17014 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105880723 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431536313512 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17186] ppid=17011 vsize=9824732 CPUtime=369.1 cores=0,2,4,6
/proc/17014/task/17186/stat : 17186 (java) R 17011 17014 12316 0 -1 4202560 4 0 0 0 36905 5 0 0 20 0 22 0 105933152 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431538409744 140432563601422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17187] ppid=17011 vsize=9824732 CPUtime=369.11 cores=0,2,4,6
/proc/17014/task/17187/stat : 17187 (java) R 17011 17014 12316 0 -1 4202560 35 0 0 0 36906 5 0 0 20 0 22 0 105933152 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431537364496 140432564061334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17188] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17188/stat : 17188 (java) S 17011 17014 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105933152 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431535261352 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732

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

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

[startup+898.901 s]
/proc/loadavg: 3.99 3.97 3.97 5/219 17208
/proc/meminfo: memFree=27570612/32872528 swapFree=11320/319964
[pid=17014] ppid=17011 vsize=9824732 CPUtime=1800.08 cores=0,2,4,6
/proc/17014/stat : 17014 (java) S 17011 17014 12316 0 -1 4202496 41934 0 1 0 179738 270 0 0 20 0 22 0 105880652 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140736836441888 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17014/statm: 2456183 595856 2302 9 0 2446860 0
[pid=17014/tid=17016] ppid=17011 vsize=9824732 CPUtime=0.75 cores=0,2,4,6
/proc/17014/task/17016/stat : 17016 (java) S 17011 17014 12316 0 -1 4202560 2465 0 1 0 71 4 0 0 20 0 22 0 105880653 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432731333496 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17017] ppid=17011 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/17014/task/17017/stat : 17017 (java) S 17011 17014 12316 0 -1 4202560 1453 0 0 0 222 29 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432692824360 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17018] ppid=17011 vsize=9824732 CPUtime=2.88 cores=0,2,4,6
/proc/17014/task/17018/stat : 17018 (java) S 17011 17014 12316 0 -1 4202560 705 0 0 0 260 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432691771560 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17019] ppid=17011 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/17014/task/17019/stat : 17019 (java) S 17011 17014 12316 0 -1 4202560 1025 0 0 0 228 24 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432690719272 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17020] ppid=17011 vsize=9824732 CPUtime=2.54 cores=0,2,4,6
/proc/17014/task/17020/stat : 17020 (java) S 17011 17014 12316 0 -1 4202560 848 0 0 0 229 25 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432689666472 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17021] ppid=17011 vsize=9824732 CPUtime=2.42 cores=0,2,4,6
/proc/17014/task/17021/stat : 17021 (java) S 17011 17014 12316 0 -1 4202560 970 0 0 0 216 26 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432688614184 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17022] ppid=17011 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/17014/task/17022/stat : 17022 (java) S 17011 17014 12316 0 -1 4202560 879 0 0 0 221 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432687561384 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17023] ppid=17011 vsize=9824732 CPUtime=2.55 cores=0,2,4,6
/proc/17014/task/17023/stat : 17023 (java) S 17011 17014 12316 0 -1 4202560 1048 0 0 0 227 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432686509096 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17024] ppid=17011 vsize=9824732 CPUtime=2.61 cores=0,2,4,6
/proc/17014/task/17024/stat : 17024 (java) S 17011 17014 12316 0 -1 4202560 1339 0 0 0 233 28 0 0 20 0 22 0 105880654 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432685456296 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17025] ppid=17011 vsize=9824732 CPUtime=6.06 cores=0,2,4,6
/proc/17014/task/17025/stat : 17025 (java) S 17011 17014 12316 0 -1 4202560 1697 0 0 0 600 6 0 0 20 0 22 0 105880655 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432555079912 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17026] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17026/stat : 17026 (java) S 17011 17014 12316 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432554025976 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17027] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17027/stat : 17027 (java) S 17011 17014 12316 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 105880656 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432552973576 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17028] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17028/stat : 17028 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432551922064 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17029] ppid=17011 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/17014/task/17029/stat : 17029 (java) S 17011 17014 12316 0 -1 4202560 12013 0 0 0 186 2 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432550869688 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17030] ppid=17011 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/17014/task/17030/stat : 17030 (java) S 17011 17014 12316 0 -1 4202560 15890 0 0 0 178 4 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432549816888 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17014/tid=17031] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17031/stat : 17031 (java) S 17011 17014 12316 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432548764792 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17032] ppid=17011 vsize=9824732 CPUtime=0.16 cores=0,2,4,6
/proc/17014/task/17032/stat : 17032 (java) S 17011 17014 12316 0 -1 4202560 53 0 0 0 7 9 0 0 20 0 22 0 105880658 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140432547712200 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17035] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17035/stat : 17035 (java) S 17011 17014 12316 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 105880723 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431536313512 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17014/tid=17186] ppid=17011 vsize=9824732 CPUtime=369.1 cores=0,2,4,6
/proc/17014/task/17186/stat : 17186 (java) R 17011 17014 12316 0 -1 4202560 4 0 0 0 36905 5 0 0 20 0 22 0 105933152 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431538409744 140432563601422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17014/tid=17187] ppid=17011 vsize=9824732 CPUtime=369.11 cores=0,2,4,6
/proc/17014/task/17187/stat : 17187 (java) R 17011 17014 12316 0 -1 4202560 35 0 0 0 36906 5 0 0 20 0 22 0 105933152 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431537364496 140432564061334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=17014/tid=17188] ppid=17011 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/17014/task/17188/stat : 17188 (java) S 17011 17014 12316 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 105933152 10060525568 595856 33554432000 1073741824 1073778376 140736836450752 140431535261352 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9824732

Child status: 143
Real time (s): 898.957
CPU time (s): 1800.49
CPU user time (s): 1797.51
CPU system time (s): 2.98155
CPU usage (%): 200.287
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.51
system time used= 2.98155
maximum resident set size= 2383536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41971
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1000
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24120
involuntary context switches= 26733

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.78312 second user time and 7.03493 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-06 20:57:54
IDJOB=4081475
IDBENCH=24998
IDSOLVER=2543
FILE ID=node128/4081475-1465239474
RUNJOBID= node128-1465223671-12332
PBS_JOBID= 19843236
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_022_area_delay.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081475-1465239474/watcher-4081475-1465239474 -o /tmp/evaluation-result-4081475-1465239474/solver-4081475-1465239474 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465223671-12332 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081475-1465239474.opb

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

MD5SUM BENCH= 8e8463c13e61e1a22058cdf603119640
RANDOM SEED=1556208741

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27966848 kB
Buffers:           33248 kB
Cached:            97164 kB
SwapCached:         1664 kB
Active:          3809084 kB
Inactive:          69072 kB
Active(anon):    3749564 kB
Inactive(anon):      528 kB
Active(file):      59520 kB
Inactive(file):    68544 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098460 kB
Dirty:              1308 kB
Writeback:             0 kB
AnonPages:       4066604 kB
Mapped:            15368 kB
Shmem:                 0 kB
Slab:             568468 kB
SReclaimable:      12148 kB
SUnreclaim:       556320 kB
KernelStack:        1632 kB
PageTables:        12552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4684340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3966976 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node128 at 2016-06-06 21:12:53