Trace number 4101706

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)262441 1800.7 900.856

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-rout.opb
MD5SUM485ca531ffda98d59a839bf46c37d61d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark262441
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 262412
Optimality of the best value was proved NO
Number of variables7561
Total number of constraints306
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint2
Maximum length of a constraint917
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525077
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	262441

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-4101706-1466215517/watcher-4101706-1466215517 -o /tmp/evaluation-result-4101706-1466215517/solver-4101706-1466215517 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4101706-1466215517.opb 

pid=14351
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.30 4.36 4.32 4/197 14354
/proc/meminfo: memFree=29611812/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14354/stat : 14354 (java) D 14351 14354 8337 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 23597443 9515008 176 33554432000 1073741824 1073778376 140734218225024 140734218207752 225444709264 0 0 4096 0 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/14354/statm: 2323 176 133 9 0 71 0

[startup+0.100116 s]
/proc/loadavg: 4.30 4.36 4.32 4/197 14354
/proc/meminfo: memFree=29611812/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 3905 0 1 0 6 1 0 0 20 0 18 0 23597443 9787879424 5035 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2389619 5042 2007 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476

[startup+0.200302 s]
/proc/loadavg: 4.30 4.36 4.32 4/197 14354
/proc/meminfo: memFree=29611812/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9558476 CPUtime=0.21 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 4657 0 1 0 20 1 0 0 20 0 18 0 23597443 9787879424 7288 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2389619 7289 2206 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300291 s]
/proc/loadavg: 4.30 4.36 4.32 4/197 14354
/proc/meminfo: memFree=29611812/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 5588 0 1 0 47 1 0 0 20 0 18 0 23597443 9787879424 9983 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2389619 9985 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476

[startup+0.700185 s]
/proc/loadavg: 4.30 4.36 4.32 4/197 14354
/proc/meminfo: memFree=29611812/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9824732 CPUtime=1.86 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 19013 0 1 0 182 4 0 0 20 0 22 0 23597443 10060525568 21714 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2456183 21714 2270 9 0 2446860 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9824732

[startup+1.50075 s]
/proc/loadavg: 4.30 4.36 4.32 4/216 14376
/proc/meminfo: memFree=29484604/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9824732 CPUtime=3.17 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 21498 0 1 0 310 7 0 0 20 0 19 0 23597443 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2456183 33615 2272 9 0 2446860 0
[pid=14354/tid=14356] ppid=14351 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/14354/task/14356/stat : 14356 (java) S 14351 14354 8337 0 -1 4202560 2431 0 1 0 45 2 0 0 20 0 19 0 23597444 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187384038264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14357] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14357/stat : 14357 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597446 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187345529640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14358] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14358/stat : 14358 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597446 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187344476840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14359] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14359/stat : 14359 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597446 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187343424552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14360] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14360/stat : 14360 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597446 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187342371752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14361] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597446 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187341318440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14362] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14362/stat : 14362 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597446 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187340265640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14363] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14363/stat : 14363 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597446 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187339213352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14364] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14364/stat : 14364 (java) S 14351 14354 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23597446 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187338160552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14365] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14365/stat : 14365 (java) S 14351 14354 8337 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23597447 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187208231656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14366] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14366/stat : 14366 (java) S 14351 14354 8337 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23597447 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187207177720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14367] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14367/stat : 14367 (java) S 14351 14354 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23597447 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187206125320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14368] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14368/stat : 14368 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597450 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187205073808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14369] ppid=14351 vsize=9824732 CPUtime=0.82 cores=0,2,4,6
/proc/14354/task/14369/stat : 14369 (java) S 14351 14354 8337 0 -1 4202560 8321 0 0 0 80 2 0 0 20 0 19 0 23597450 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187204020408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14370] ppid=14351 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/14354/task/14370/stat : 14370 (java) S 14351 14354 8337 0 -1 4202560 9388 0 0 0 75 2 0 0 20 0 19 0 23597450 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187202967608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14371] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14371/stat : 14371 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597450 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187201915512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14372] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14372/stat : 14372 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23597450 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140187200862920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14376] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14376/stat : 14376 (java) S 14351 14354 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23597497 10060525568 33615 33554432000 1073741824 1073778376 140734226193328 140186054813224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 9824732

[startup+3.10077 s]
/proc/loadavg: 4.30 4.36 4.32 6/219 14382
/proc/meminfo: memFree=29432164/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9824732 CPUtime=6.82 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 30977 0 1 0 667 15 0 0 20 0 22 0 23597443 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2456183 69421 2292 9 0 2446860 0
[pid=14354/tid=14356] ppid=14351 vsize=9824732 CPUtime=0.48 cores=0,2,4,6
/proc/14354/task/14356/stat : 14356 (java) S 14351 14354 8337 0 -1 4202560 2431 0 1 0 46 2 0 0 20 0 22 0 23597444 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187384038264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14357] ppid=14351 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/14354/task/14357/stat : 14357 (java) S 14351 14354 8337 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 23597446 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187345529640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14358] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14358/stat : 14358 (java) S 14351 14354 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23597446 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187344476840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14359] ppid=14351 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/14354/task/14359/stat : 14359 (java) S 14351 14354 8337 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 22 0 23597446 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187343424552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14360] ppid=14351 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/14354/task/14360/stat : 14360 (java) S 14351 14354 8337 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 23597446 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187342371752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14361] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (java) S 14351 14354 8337 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 23597446 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187341318440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14362] ppid=14351 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/14354/task/14362/stat : 14362 (java) S 14351 14354 8337 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 23597446 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187340265640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14363] ppid=14351 vsize=9824732 CPUtime=0.01 cores=0,2,4,6
/proc/14354/task/14363/stat : 14363 (java) S 14351 14354 8337 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 22 0 23597446 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187339213352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14364] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14364/stat : 14364 (java) S 14351 14354 8337 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 23597446 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187338160552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14365] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14365/stat : 14365 (java) S 14351 14354 8337 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187208231656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14366] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14366/stat : 14366 (java) S 14351 14354 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187207177720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14367] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14367/stat : 14367 (java) S 14351 14354 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187206125320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14368] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14368/stat : 14368 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187205073808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14369] ppid=14351 vsize=9824732 CPUtime=1.34 cores=0,2,4,6
/proc/14354/task/14369/stat : 14369 (java) S 14351 14354 8337 0 -1 4202560 11920 0 0 0 132 2 0 0 20 0 22 0 23597450 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187204020408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14370] ppid=14351 vsize=9824732 CPUtime=1.23 cores=0,2,4,6
/proc/14354/task/14370/stat : 14370 (java) R 14351 14354 8337 0 -1 4202560 15062 0 0 0 120 3 0 0 20 0 22 0 23597450 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187202945544 140187386943576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14371] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14371/stat : 14371 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187201915512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14372] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14372/stat : 14372 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140187200862920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14376] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14376/stat : 14376 (java) S 14351 14354 8337 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 23597497 10060525568 69421 33554432000 1073741824 1073778376 140734226193328 140186054813224 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.82
Current children cumulated vsize (KiB) 9824732

[startup+6.30086 s]
/proc/loadavg: 4.36 4.37 4.32 6/219 14394
/proc/meminfo: memFree=29248152/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9824732 CPUtime=11.17 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 32634 0 1 0 1089 28 0 0 20 0 22 0 23597443 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2456183 92479 2293 9 0 2446860 0
[pid=14354/tid=14356] ppid=14351 vsize=9824732 CPUtime=0.49 cores=0,2,4,6
/proc/14354/task/14356/stat : 14356 (java) S 14351 14354 8337 0 -1 4202560 2432 0 1 0 47 2 0 0 20 0 22 0 23597444 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187384038264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14357] ppid=14351 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/14354/task/14357/stat : 14357 (java) S 14351 14354 8337 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 22 0 23597446 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187345529640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14358] ppid=14351 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14354/task/14358/stat : 14358 (java) S 14351 14354 8337 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 22 0 23597446 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187344476840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14359] ppid=14351 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14354/task/14359/stat : 14359 (java) S 14351 14354 8337 0 -1 4202560 30 0 0 0 3 0 0 0 20 0 22 0 23597446 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187343424552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14360] ppid=14351 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14354/task/14360/stat : 14360 (java) S 14351 14354 8337 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 23597446 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187342371752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14361] ppid=14351 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (java) S 14351 14354 8337 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 23597446 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187341318440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14362] ppid=14351 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/14354/task/14362/stat : 14362 (java) S 14351 14354 8337 0 -1 4202560 45 0 0 0 4 2 0 0 20 0 22 0 23597446 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187340265640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14363] ppid=14351 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/14354/task/14363/stat : 14363 (java) S 14351 14354 8337 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 23597446 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187339213352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14364] ppid=14351 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/14354/task/14364/stat : 14364 (java) S 14351 14354 8337 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 23597446 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187338160552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14365] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14365/stat : 14365 (java) S 14351 14354 8337 0 -1 4202560 200 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187208231656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14366] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14366/stat : 14366 (java) S 14351 14354 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187207177720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14367] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14367/stat : 14367 (java) S 14351 14354 8337 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187206125320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14368] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14368/stat : 14368 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187205073808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14369] ppid=14351 vsize=9824732 CPUtime=1.42 cores=0,2,4,6
/proc/14354/task/14369/stat : 14369 (java) S 14351 14354 8337 0 -1 4202560 11920 0 0 0 140 2 0 0 20 0 22 0 23597450 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187204020408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14370] ppid=14351 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/14354/task/14370/stat : 14370 (java) S 14351 14354 8337 0 -1 4202560 16399 0 0 0 160 3 0 0 20 0 22 0 23597450 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187202967608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14371] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14371/stat : 14371 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187201915512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14372] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14372/stat : 14372 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187200862920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14391] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14391/stat : 14391 (java) S 14351 14354 8337 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 23597896 10060525568 92479 33554432000 1073741824 1073778376 140734226193328 140187197703848 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 9824732


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


[startup+822.301 s]
/proc/loadavg: 4.30 4.26 4.27 5/219 14522
/proc/meminfo: memFree=25767008/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9824732 CPUtime=1643.39 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 42666 0 1 0 164061 278 0 0 20 0 22 0 23597443 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2456183 372333 2301 9 0 2446860 0
[pid=14354/tid=14356] ppid=14351 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/14354/task/14356/stat : 14356 (java) S 14351 14354 8337 0 -1 4202560 2441 0 1 0 49 4 0 0 20 0 22 0 23597444 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187384038264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14357] ppid=14351 vsize=9824732 CPUtime=1.75 cores=0,2,4,6
/proc/14354/task/14357/stat : 14357 (java) S 14351 14354 8337 0 -1 4202560 525 0 0 0 156 19 0 0 20 0 22 0 23597446 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187345529640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14358] ppid=14351 vsize=9824732 CPUtime=1.97 cores=0,2,4,6
/proc/14354/task/14358/stat : 14358 (java) S 14351 14354 8337 0 -1 4202560 805 0 0 0 174 23 0 0 20 0 22 0 23597446 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187344476840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14359] ppid=14351 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/14354/task/14359/stat : 14359 (java) S 14351 14354 8337 0 -1 4202560 666 0 0 0 162 25 0 0 20 0 22 0 23597446 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187343424552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14360] ppid=14351 vsize=9824732 CPUtime=1.79 cores=0,2,4,6
/proc/14354/task/14360/stat : 14360 (java) S 14351 14354 8337 0 -1 4202560 596 0 0 0 157 22 0 0 20 0 22 0 23597446 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187342371752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14361] ppid=14351 vsize=9824732 CPUtime=1.73 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (java) S 14351 14354 8337 0 -1 4202560 541 0 0 0 150 23 0 0 20 0 22 0 23597446 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187341318440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14362] ppid=14351 vsize=9824732 CPUtime=1.84 cores=0,2,4,6
/proc/14354/task/14362/stat : 14362 (java) S 14351 14354 8337 0 -1 4202560 822 0 0 0 161 23 0 0 20 0 22 0 23597446 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187340265640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14363] ppid=14351 vsize=9824732 CPUtime=1.9 cores=0,2,4,6
/proc/14354/task/14363/stat : 14363 (java) S 14351 14354 8337 0 -1 4202560 699 0 0 0 167 23 0 0 20 0 22 0 23597446 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187339213352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14364] ppid=14351 vsize=9824732 CPUtime=2.05 cores=0,2,4,6
/proc/14354/task/14364/stat : 14364 (java) S 14351 14354 8337 0 -1 4202560 766 0 0 0 178 27 0 0 20 0 22 0 23597446 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187338160552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14365] ppid=14351 vsize=9824732 CPUtime=3.08 cores=0,2,4,6
/proc/14354/task/14365/stat : 14365 (java) S 14351 14354 8337 0 -1 4202560 2496 0 0 0 299 9 0 0 20 0 22 0 23597447 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187208231656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14366] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14366/stat : 14366 (java) S 14351 14354 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187207177720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14367] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14367/stat : 14367 (java) S 14351 14354 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187206125320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14368] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14368/stat : 14368 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187205073808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14369] ppid=14351 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/14354/task/14369/stat : 14369 (java) S 14351 14354 8337 0 -1 4202560 11920 0 0 0 154 2 0 0 20 0 22 0 23597450 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187204020408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14370] ppid=14351 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/14354/task/14370/stat : 14370 (java) S 14351 14354 8337 0 -1 4202560 16411 0 0 0 179 3 0 0 20 0 22 0 23597450 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187202967608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14371] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14371/stat : 14371 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187201915512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14372] ppid=14351 vsize=9824732 CPUtime=0.28 cores=0,2,4,6
/proc/14354/task/14372/stat : 14372 (java) S 14351 14354 8337 0 -1 4202560 47 0 0 0 14 14 0 0 20 0 22 0 23597450 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187200862920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14415] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14415/stat : 14415 (java) S 14351 14354 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23599700 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187198756520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14425] ppid=14351 vsize=9824732 CPUtime=620.77 cores=0,2,4,6
/proc/14354/task/14425/stat : 14425 (java) R 14351 14354 8337 0 -1 4202560 29 0 0 0 62068 9 0 0 20 0 22 0 23617038 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187197700704 140187213346155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14426] ppid=14351 vsize=9824732 CPUtime=620.7 cores=0,2,4,6
/proc/14354/task/14426/stat : 14426 (java) R 14351 14354 8337 0 -1 4202560 81 0 0 0 62059 11 0 0 20 0 22 0 23617038 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140186054811680 140187213307634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14427] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14427/stat : 14427 (java) S 14351 14354 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23617038 10060525568 372333 33554432000 1073741824 1073778376 140734226193328 140187199809064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1643.39
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.20 4.23 4.26 5/219 14523
/proc/meminfo: memFree=25703752/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9824732 CPUtime=1762.9 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 42865 0 1 0 176003 287 0 0 20 0 22 0 23597443 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2456183 348560 2301 9 0 2446860 0
[pid=14354/tid=14356] ppid=14351 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/14354/task/14356/stat : 14356 (java) S 14351 14354 8337 0 -1 4202560 2441 0 1 0 49 4 0 0 20 0 22 0 23597444 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187384038264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14357] ppid=14351 vsize=9824732 CPUtime=1.87 cores=0,2,4,6
/proc/14354/task/14357/stat : 14357 (java) S 14351 14354 8337 0 -1 4202560 541 0 0 0 168 19 0 0 20 0 22 0 23597446 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187345529640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14358] ppid=14351 vsize=9824732 CPUtime=2.05 cores=0,2,4,6
/proc/14354/task/14358/stat : 14358 (java) S 14351 14354 8337 0 -1 4202560 820 0 0 0 181 24 0 0 20 0 22 0 23597446 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187344476840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14359] ppid=14351 vsize=9824732 CPUtime=2.04 cores=0,2,4,6
/proc/14354/task/14359/stat : 14359 (java) S 14351 14354 8337 0 -1 4202560 688 0 0 0 177 27 0 0 20 0 22 0 23597446 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187343424552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14360] ppid=14351 vsize=9824732 CPUtime=1.91 cores=0,2,4,6
/proc/14354/task/14360/stat : 14360 (java) S 14351 14354 8337 0 -1 4202560 614 0 0 0 168 23 0 0 20 0 22 0 23597446 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187342371752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14361] ppid=14351 vsize=9824732 CPUtime=1.83 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (java) S 14351 14354 8337 0 -1 4202560 552 0 0 0 160 23 0 0 20 0 22 0 23597446 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187341318440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14362] ppid=14351 vsize=9824732 CPUtime=1.95 cores=0,2,4,6
/proc/14354/task/14362/stat : 14362 (java) S 14351 14354 8337 0 -1 4202560 843 0 0 0 171 24 0 0 20 0 22 0 23597446 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187340265640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14363] ppid=14351 vsize=9824732 CPUtime=2.02 cores=0,2,4,6
/proc/14354/task/14363/stat : 14363 (java) S 14351 14354 8337 0 -1 4202560 719 0 0 0 179 23 0 0 20 0 22 0 23597446 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187339213352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14364] ppid=14351 vsize=9824732 CPUtime=2.19 cores=0,2,4,6
/proc/14354/task/14364/stat : 14364 (java) S 14351 14354 8337 0 -1 4202560 787 0 0 0 191 28 0 0 20 0 22 0 23597446 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187338160552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14365] ppid=14351 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/14354/task/14365/stat : 14365 (java) S 14351 14354 8337 0 -1 4202560 2536 0 0 0 388 10 0 0 20 0 22 0 23597447 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187208231656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14366] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14366/stat : 14366 (java) S 14351 14354 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187207177720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14367] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14367/stat : 14367 (java) S 14351 14354 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187206125320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14368] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14368/stat : 14368 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187205073808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14369] ppid=14351 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/14354/task/14369/stat : 14369 (java) S 14351 14354 8337 0 -1 4202560 11920 0 0 0 154 2 0 0 20 0 22 0 23597450 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187204020408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14370] ppid=14351 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/14354/task/14370/stat : 14370 (java) S 14351 14354 8337 0 -1 4202560 16411 0 0 0 179 3 0 0 20 0 22 0 23597450 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187202967608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14371] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14371/stat : 14371 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187201915512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14372] ppid=14351 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/14354/task/14372/stat : 14372 (java) S 14351 14354 8337 0 -1 4202560 50 0 0 0 14 17 0 0 20 0 22 0 23597450 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187200862920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14415] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14415/stat : 14415 (java) S 14351 14354 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23599700 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187198756520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14425] ppid=14351 vsize=9824732 CPUtime=679.6 cores=0,2,4,6
/proc/14354/task/14425/stat : 14425 (java) R 14351 14354 8337 0 -1 4202560 37 0 0 0 67950 10 0 0 20 0 22 0 23617038 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187197701008 140187213345826 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14426] ppid=14351 vsize=9824732 CPUtime=679.51 cores=0,2,4,6
/proc/14354/task/14426/stat : 14426 (java) R 14351 14354 8337 0 -1 4202560 85 0 0 0 67939 12 0 0 20 0 22 0 23617038 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140186054811760 140187213309280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14427] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14427/stat : 14427 (java) S 14351 14354 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23617038 10060525568 348560 33554432000 1073741824 1073778376 140734226193328 140187199809064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1762.9
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+900.801 s]
/proc/loadavg: 4.20 4.23 4.25 6/220 14526
/proc/meminfo: memFree=25726896/32872528 swapFree=1499884/1696108
[pid=14354] ppid=14351 vsize=9824732 CPUtime=1800.04 cores=0,2,4,6
/proc/14354/stat : 14354 (java) S 14351 14354 8337 0 -1 4202496 42890 0 1 0 179716 288 0 0 20 0 22 0 23597443 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140734226184464 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/14354/statm: 2456183 319689 2301 9 0 2446860 0
[pid=14354/tid=14356] ppid=14351 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/14354/task/14356/stat : 14356 (java) S 14351 14354 8337 0 -1 4202560 2441 0 1 0 49 4 0 0 20 0 22 0 23597444 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187384038264 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14357] ppid=14351 vsize=9824732 CPUtime=1.93 cores=0,2,4,6
/proc/14354/task/14357/stat : 14357 (java) S 14351 14354 8337 0 -1 4202560 544 0 0 0 174 19 0 0 20 0 22 0 23597446 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187345529640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14358] ppid=14351 vsize=9824732 CPUtime=2.09 cores=0,2,4,6
/proc/14354/task/14358/stat : 14358 (java) S 14351 14354 8337 0 -1 4202560 820 0 0 0 185 24 0 0 20 0 22 0 23597446 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187344476840 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14359] ppid=14351 vsize=9824732 CPUtime=2.08 cores=0,2,4,6
/proc/14354/task/14359/stat : 14359 (java) S 14351 14354 8337 0 -1 4202560 690 0 0 0 181 27 0 0 20 0 22 0 23597446 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187343424552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14360] ppid=14351 vsize=9824732 CPUtime=1.96 cores=0,2,4,6
/proc/14354/task/14360/stat : 14360 (java) S 14351 14354 8337 0 -1 4202560 617 0 0 0 173 23 0 0 20 0 22 0 23597446 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187342371752 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14361] ppid=14351 vsize=9824732 CPUtime=1.88 cores=0,2,4,6
/proc/14354/task/14361/stat : 14361 (java) S 14351 14354 8337 0 -1 4202560 556 0 0 0 164 24 0 0 20 0 22 0 23597446 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187341318440 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14362] ppid=14351 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/14354/task/14362/stat : 14362 (java) S 14351 14354 8337 0 -1 4202560 843 0 0 0 176 24 0 0 20 0 22 0 23597446 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187340265640 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14363] ppid=14351 vsize=9824732 CPUtime=2.06 cores=0,2,4,6
/proc/14354/task/14363/stat : 14363 (java) S 14351 14354 8337 0 -1 4202560 725 0 0 0 183 23 0 0 20 0 22 0 23597446 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187339213352 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14364] ppid=14351 vsize=9824732 CPUtime=2.23 cores=0,2,4,6
/proc/14354/task/14364/stat : 14364 (java) S 14351 14354 8337 0 -1 4202560 787 0 0 0 195 28 0 0 20 0 22 0 23597446 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187338160552 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14365] ppid=14351 vsize=9824732 CPUtime=3.99 cores=0,2,4,6
/proc/14354/task/14365/stat : 14365 (java) S 14351 14354 8337 0 -1 4202560 2536 0 0 0 388 11 0 0 20 0 22 0 23597447 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187208231656 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14366] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14366/stat : 14366 (java) S 14351 14354 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187207177720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14367] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14367/stat : 14367 (java) S 14351 14354 8337 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 23597447 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187206125320 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14368] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14368/stat : 14368 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187205073808 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14369] ppid=14351 vsize=9824732 CPUtime=1.56 cores=0,2,4,6
/proc/14354/task/14369/stat : 14369 (java) S 14351 14354 8337 0 -1 4202560 11920 0 0 0 154 2 0 0 20 0 22 0 23597450 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187204020408 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14370] ppid=14351 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/14354/task/14370/stat : 14370 (java) S 14351 14354 8337 0 -1 4202560 16411 0 0 0 179 3 0 0 20 0 22 0 23597450 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187202967608 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14354/tid=14371] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14371/stat : 14371 (java) S 14351 14354 8337 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 23597450 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187201915512 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14354/tid=14372] ppid=14351 vsize=9824732 CPUtime=0.32 cores=0,2,4,6
/proc/14354/task/14372/stat : 14372 (java) S 14351 14354 8337 0 -1 4202560 52 0 0 0 15 17 0 0 20 0 22 0 23597450 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187200862920 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14415] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14415/stat : 14415 (java) S 14351 14354 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23599700 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187198756520 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14425] ppid=14351 vsize=9824732 CPUtime=697.99 cores=0,2,4,6
/proc/14354/task/14425/stat : 14425 (java) R 14351 14354 8337 0 -1 4202560 39 0 0 0 69789 10 0 0 20 0 22 0 23617038 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187197701776 140187213601723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14354/tid=14426] ppid=14351 vsize=9824732 CPUtime=697.9 cores=0,2,4,6
/proc/14354/task/14426/stat : 14426 (java) R 14351 14354 8337 0 -1 4202560 88 0 0 0 69778 12 0 0 20 0 22 0 23617038 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140186054810768 140187212903554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14354/tid=14427] ppid=14351 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/14354/task/14427/stat : 14427 (java) S 14351 14354 8337 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 23617038 10060525568 319689 33554432000 1073741824 1073778376 140734226193328 140187199809064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
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 14354 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 900.856
CPU time (s): 1800.7
CPU user time (s): 1797.4
CPU system time (s): 3.3035
CPU usage (%): 199.888
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.4
system time used= 3.3035
maximum resident set size= 3023528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42928
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25292
involuntary context switches= 28798

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.25505 second user time and 8.27374 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-18 04:05:17
IDJOB=4101706
IDBENCH=1784
IDSOLVER=2543
FILE ID=node137/4101706-1466215517
RUNJOBID= node137-1466206054-8353
PBS_JOBID= 19918140
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-rout.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101706-1466215517/watcher-4101706-1466215517 -o /tmp/evaluation-result-4101706-1466215517/solver-4101706-1466215517 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466206054-8353 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4101706-1466215517.opb

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

MD5SUM BENCH= 485ca531ffda98d59a839bf46c37d61d
RANDOM SEED=1474844896

node137.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.56
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.55
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 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.38
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.56
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29611968 kB
Buffers:           92676 kB
Cached:            93920 kB
SwapCached:         1268 kB
Active:           700804 kB
Inactive:         127968 kB
Active(anon):     643496 kB
Inactive(anon):     1024 kB
Active(file):      57308 kB
Inactive(file):   126944 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100004 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:       2396732 kB
Mapped:            15440 kB
Shmem:                 0 kB
Slab:             600796 kB
SReclaimable:      44940 kB
SUnreclaim:       555856 kB
KernelStack:        1808 kB
PageTables:         8760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2585656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    856064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node137 at 2016-06-18 04:20:18