Trace number 4103254

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)6923632 1800.13 896.778

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUMe99162fa0a9c8caac0a04031bf39653d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5179385
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4815872
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	6923632

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-4103254-1466221269/watcher-4103254-1466221269 -o /tmp/evaluation-result-4103254-1466221269/solver-4103254-1466221269 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16279 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103254-1466221269.opb 

pid=20930
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 4.30 4.31 4.27 5/197 20933
/proc/meminfo: memFree=26930040/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/20933/stat : 20933 (java) D 20930 20933 16262 0 -1 4202496 533 0 0 0 0 0 0 0 20 0 1 0 24175526 9515008 185 33554432000 1073741824 1073778376 140736656719008 140736656708072 270320889127 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2323 185 143 9 0 71 0

[startup+0.100062 s]
/proc/loadavg: 4.30 4.31 4.27 5/197 20933
/proc/meminfo: memFree=26930040/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 16262 0 -1 4202496 4413 0 1 0 8 1 0 0 20 0 18 0 24175526 9787879424 6052 33554432000 1073741824 1073778376 140736656719008 140736656710144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2389619 6052 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200321 s]
/proc/loadavg: 4.30 4.31 4.27 5/197 20933
/proc/meminfo: memFree=26930040/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 16262 0 -1 4202496 5033 0 1 0 27 1 0 0 20 0 18 0 24175526 9787879424 6992 33554432000 1073741824 1073778376 140736656719008 140736656710144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2389619 6992 2220 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300243 s]
/proc/loadavg: 4.30 4.31 4.27 5/197 20933
/proc/meminfo: memFree=26930040/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9558476 CPUtime=0.5 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 16262 0 -1 4202496 8658 0 1 0 48 2 0 0 20 0 18 0 24175526 9787879424 11279 33554432000 1073741824 1073778376 140736656719008 140736656710144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2389619 11279 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558476

[startup+0.700194 s]
/proc/loadavg: 4.30 4.31 4.27 5/197 20933
/proc/meminfo: memFree=26930040/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 16262 0 -1 4202496 16575 0 1 0 184 4 0 0 20 0 22 0 24175526 10060525568 22646 33554432000 1073741824 1073778376 140736656719008 140736656710144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2456183 22646 2272 9 0 2446860 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9824732

[startup+1.50083 s]
/proc/loadavg: 4.30 4.31 4.27 7/219 20958
/proc/meminfo: memFree=26821808/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9824732 CPUtime=3.87 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 16262 0 -1 4202496 19882 0 1 0 378 9 0 0 20 0 22 0 24175526 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140736656710144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2456183 47849 2289 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 16262 0 -1 4202560 2440 0 1 0 46 2 0 0 20 0 22 0 24175527 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549680599928 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549653051816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549651999272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 16262 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549522237608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549521185064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 16262 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 24175528 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549520133032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549519080488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 16262 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549518027432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549046659880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 16262 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549034461544 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549033407864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549032354696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549031303440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 16262 0 -1 4202560 7143 0 0 0 89 1 0 0 20 0 22 0 24175532 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549030251320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) S 20930 20933 16262 0 -1 4202560 8804 0 0 0 88 2 0 0 20 0 22 0 24175532 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549029198776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549028145912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549027093576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24175582 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549022782376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20956] ppid=20930 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/20933/task/20956/stat : 20956 (java) R 20930 20933 16262 0 -1 4202560 10 0 0 0 43 0 0 0 20 0 22 0 24175628 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549024885928 140549534143768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20957] ppid=20930 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/20933/task/20957/stat : 20957 (java) R 20930 20933 16262 0 -1 4202560 38 0 0 0 37 0 0 0 20 0 22 0 24175628 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549025939400 140549534175243 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20958] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20958/stat : 20958 (java) S 20930 20933 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24175628 10060525568 47849 33554432000 1073741824 1073778376 140736656719008 140549023835432 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9824732

[startup+3.10094 s]
/proc/loadavg: 4.30 4.31 4.27 5/219 20958
/proc/meminfo: memFree=26721208/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9824732 CPUtime=7.57 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 16262 0 -1 4202496 23236 0 1 0 743 14 0 0 20 0 22 0 24175526 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140736656710144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2456183 80475 2293 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 16262 0 -1 4202560 2440 0 1 0 46 2 0 0 20 0 22 0 24175527 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549680599928 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 16262 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 24175528 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549653051816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 16262 0 -1 4202560 72 0 0 0 1 0 0 0 20 0 22 0 24175528 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549651999272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 16262 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549522237608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 16262 0 -1 4202560 130 0 0 0 2 0 0 0 20 0 22 0 24175528 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549521185064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 16262 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 24175528 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549520133032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 16262 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549519080488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 16262 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 24175528 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549518027432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 16262 0 -1 4202560 105 0 0 0 1 0 0 0 20 0 22 0 24175528 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549046659880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 16262 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549034461544 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549033407864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549032354696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549031303440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.2 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 16262 0 -1 4202560 9684 0 0 0 118 2 0 0 20 0 22 0 24175532 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549030251320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=1.06 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) S 20930 20933 16262 0 -1 4202560 9179 0 0 0 104 2 0 0 20 0 22 0 24175532 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549029198776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549028145912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549027093576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24175582 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549022782376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20956] ppid=20930 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/20933/task/20956/stat : 20956 (java) R 20930 20933 16262 0 -1 4202560 23 0 0 0 199 0 0 0 20 0 22 0 24175628 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549024879008 140549534042816 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20957] ppid=20930 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/20933/task/20957/stat : 20957 (java) R 20930 20933 16262 0 -1 4202560 81 0 0 0 191 2 0 0 20 0 22 0 24175628 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549025939688 140549534093910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20958] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20958/stat : 20958 (java) S 20930 20933 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24175628 10060525568 80475 33554432000 1073741824 1073778376 140736656719008 140549023835432 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 9824732

[startup+6.30096 s]
/proc/loadavg: 4.28 4.30 4.27 5/219 20958
/proc/meminfo: memFree=26573640/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9824732 CPUtime=14.22 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 16262 0 -1 4202496 23543 0 1 0 1401 21 0 0 20 0 22 0 24175526 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140736656710144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2456183 96968 2293 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 16262 0 -1 4202560 2440 0 1 0 46 2 0 0 20 0 22 0 24175527 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549680599928 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 16262 0 -1 4202560 29 0 0 0 2 1 0 0 20 0 22 0 24175528 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549653051816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 16262 0 -1 4202560 88 0 0 0 3 0 0 0 20 0 22 0 24175528 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549651999272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 16262 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 24175528 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549522237608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 16262 0 -1 4202560 148 0 0 0 3 2 0 0 20 0 22 0 24175528 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549521185064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 16262 0 -1 4202560 71 0 0 0 3 3 0 0 20 0 22 0 24175528 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549520133032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 16262 0 -1 4202560 99 0 0 0 2 1 0 0 20 0 22 0 24175528 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549519080488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 16262 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 24175528 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549518027432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 16262 0 -1 4202560 131 0 0 0 2 2 0 0 20 0 22 0 24175528 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549046659880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 16262 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549034461544 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549033407864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549032354696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 96968 33554432000 1073741824 1073778376 140736656719008 140549031303440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.31 cores=1,3,5,7

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

[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 16262 0 -1 4202560 1008 0 0 0 251 19 0 0 20 0 22 0 24175528 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549046659880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=5.98 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 16262 0 -1 4202560 2868 0 0 0 589 9 0 0 20 0 22 0 24175529 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549034461544 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549033407864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549032354696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549031303440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 16262 0 -1 4202560 9707 0 0 0 163 2 0 0 20 0 22 0 24175532 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549030251320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) S 20930 20933 16262 0 -1 4202560 12630 0 0 0 166 2 0 0 20 0 22 0 24175532 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549029198776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549028145912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 16262 0 -1 4202560 51 0 0 0 12 20 0 0 20 0 22 0 24175532 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549027093576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24175582 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549022782376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=21075] ppid=20930 vsize=9824732 CPUtime=582.15 cores=1,3,5,7
/proc/20933/task/21075/stat : 21075 (java) R 20930 20933 16262 0 -1 4202560 19 0 0 0 58207 8 0 0 20 0 22 0 24204559 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549025938416 140549534162172 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=21076] ppid=20930 vsize=9824732 CPUtime=582.08 cores=1,3,5,7
/proc/20933/task/21076/stat : 21076 (java) R 20930 20933 16262 0 -1 4202560 39 0 0 0 58200 8 0 0 20 0 22 0 24204559 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549024886112 140549534093850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=21077] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/21077/stat : 21077 (java) S 20930 20933 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24204559 10060525568 983038 33554432000 1073741824 1073778376 140736656719008 140549023835304 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1770.06
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+896.701 s]
/proc/loadavg: 4.18 4.18 4.19 5/219 21128
/proc/meminfo: memFree=23589840/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9824732 CPUtime=1798.97 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 16262 0 -1 4202496 39020 0 1 0 179638 259 0 0 20 0 22 0 24175526 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140736656710144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2456183 983054 2302 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 16262 0 -1 4202560 2448 0 1 0 50 4 0 0 20 0 22 0 24175527 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549680599928 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 16262 0 -1 4202560 961 0 0 0 274 22 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549653051816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 16262 0 -1 4202560 932 0 0 0 252 18 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549651999272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 16262 0 -1 4202560 842 0 0 0 282 22 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549522237608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 16262 0 -1 4202560 940 0 0 0 265 22 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549521185064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 16262 0 -1 4202560 1009 0 0 0 266 23 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549520133032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 16262 0 -1 4202560 930 0 0 0 264 23 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549519080488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=3.33 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 16262 0 -1 4202560 1013 0 0 0 305 28 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549518027432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 16262 0 -1 4202560 1008 0 0 0 254 19 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549046659880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=5.99 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 16262 0 -1 4202560 2886 0 0 0 590 9 0 0 20 0 22 0 24175529 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549034461544 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549033407864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549032354696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549031303440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 16262 0 -1 4202560 9707 0 0 0 163 2 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549030251320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) S 20930 20933 16262 0 -1 4202560 12630 0 0 0 166 2 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549029198776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549028145912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 16262 0 -1 4202560 53 0 0 0 12 20 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549027093576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24175582 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549022782376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=21075] ppid=20930 vsize=9824732 CPUtime=596.43 cores=1,3,5,7
/proc/20933/task/21075/stat : 21075 (java) R 20930 20933 16262 0 -1 4202560 19 0 0 0 59634 9 0 0 20 0 22 0 24204559 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549025939264 140549533762858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=21076] ppid=20930 vsize=9824732 CPUtime=596.35 cores=1,3,5,7
/proc/20933/task/21076/stat : 21076 (java) R 20930 20933 16262 0 -1 4202560 40 0 0 0 59626 9 0 0 20 0 22 0 24204559 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549024887472 140549534174211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=21077] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/21077/stat : 21077 (java) S 20930 20933 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24204559 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549023835304 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.97
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 20933 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+896.701 s]
/proc/loadavg: 4.18 4.18 4.19 5/219 21128
/proc/meminfo: memFree=23589840/32872528 swapFree=1556504/1720024
[pid=20933] ppid=20930 vsize=9824732 CPUtime=1798.97 cores=1,3,5,7
/proc/20933/stat : 20933 (java) S 20930 20933 16262 0 -1 4202496 39020 0 1 0 179638 259 0 0 20 0 22 0 24175526 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140736656710144 270333411389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20933/statm: 2456183 983054 2302 9 0 2446860 0
[pid=20933/tid=20935] ppid=20930 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/20933/task/20935/stat : 20935 (java) S 20930 20933 16262 0 -1 4202560 2448 0 1 0 50 4 0 0 20 0 22 0 24175527 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549680599928 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20936] ppid=20930 vsize=9824732 CPUtime=2.96 cores=1,3,5,7
/proc/20933/task/20936/stat : 20936 (java) S 20930 20933 16262 0 -1 4202560 961 0 0 0 274 22 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549653051816 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20937] ppid=20930 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/20933/task/20937/stat : 20937 (java) S 20930 20933 16262 0 -1 4202560 932 0 0 0 252 18 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549651999272 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20938] ppid=20930 vsize=9824732 CPUtime=3.04 cores=1,3,5,7
/proc/20933/task/20938/stat : 20938 (java) S 20930 20933 16262 0 -1 4202560 842 0 0 0 282 22 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549522237608 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20939] ppid=20930 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/20933/task/20939/stat : 20939 (java) S 20930 20933 16262 0 -1 4202560 940 0 0 0 265 22 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549521185064 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20940] ppid=20930 vsize=9824732 CPUtime=2.89 cores=1,3,5,7
/proc/20933/task/20940/stat : 20940 (java) S 20930 20933 16262 0 -1 4202560 1009 0 0 0 266 23 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549520133032 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20941] ppid=20930 vsize=9824732 CPUtime=2.87 cores=1,3,5,7
/proc/20933/task/20941/stat : 20941 (java) S 20930 20933 16262 0 -1 4202560 930 0 0 0 264 23 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549519080488 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20942] ppid=20930 vsize=9824732 CPUtime=3.33 cores=1,3,5,7
/proc/20933/task/20942/stat : 20942 (java) S 20930 20933 16262 0 -1 4202560 1013 0 0 0 305 28 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549518027432 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20943] ppid=20930 vsize=9824732 CPUtime=2.73 cores=1,3,5,7
/proc/20933/task/20943/stat : 20943 (java) S 20930 20933 16262 0 -1 4202560 1008 0 0 0 254 19 0 0 20 0 22 0 24175528 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549046659880 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20944] ppid=20930 vsize=9824732 CPUtime=5.99 cores=1,3,5,7
/proc/20933/task/20944/stat : 20944 (java) S 20930 20933 16262 0 -1 4202560 2886 0 0 0 590 9 0 0 20 0 22 0 24175529 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549034461544 270333425577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20945] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20945/stat : 20945 (java) S 20930 20933 16262 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549033407864 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20946] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20946/stat : 20946 (java) S 20930 20933 16262 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 24175529 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549032354696 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20947] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20947/stat : 20947 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549031303440 270333433632 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20933/tid=20948] ppid=20930 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/20933/task/20948/stat : 20948 (java) S 20930 20933 16262 0 -1 4202560 9707 0 0 0 163 2 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549030251320 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20949] ppid=20930 vsize=9824732 CPUtime=1.68 cores=1,3,5,7
/proc/20933/task/20949/stat : 20949 (java) S 20930 20933 16262 0 -1 4202560 12630 0 0 0 166 2 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549029198776 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=20950] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20950/stat : 20950 (java) S 20930 20933 16262 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549028145912 270333424700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=20951] ppid=20930 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/20933/task/20951/stat : 20951 (java) S 20930 20933 16262 0 -1 4202560 53 0 0 0 12 20 0 0 20 0 22 0 24175532 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549027093576 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20933/tid=20955] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/20955/stat : 20955 (java) S 20930 20933 16262 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 24175582 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549022782376 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=21075] ppid=20930 vsize=9824732 CPUtime=596.43 cores=1,3,5,7
/proc/20933/task/21075/stat : 21075 (java) R 20930 20933 16262 0 -1 4202560 19 0 0 0 59634 9 0 0 20 0 22 0 24204559 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549025939264 140549533762858 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20933/tid=21076] ppid=20930 vsize=9824732 CPUtime=596.35 cores=1,3,5,7
/proc/20933/task/21076/stat : 21076 (java) R 20930 20933 16262 0 -1 4202560 40 0 0 0 59626 9 0 0 20 0 22 0 24204559 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549024887472 140549534174211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20933/tid=21077] ppid=20930 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20933/task/21077/stat : 21077 (java) S 20930 20933 16262 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 24204559 10060525568 983054 33554432000 1073741824 1073778376 140736656719008 140549023835304 270333425577 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.97
Current children cumulated vsize (KiB) 9824732

Child status: 143

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


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

Real time (s): 896.778
CPU time (s): 1800.13
CPU user time (s): 1797.63
CPU system time (s): 2.5
CPU usage (%): 200.733
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.39
system time used= 2.93155
maximum resident set size= 3932328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39058
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23930
involuntary context switches= 27418

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07408 second user time and 7.01493 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-18 05:41:09
IDJOB=4103254
IDBENCH=2310
IDSOLVER=2543
FILE ID=node117/4103254-1466221269
RUNJOBID= node117-1466206104-16279
PBS_JOBID= 19918159
Free space on /tmp= 71740 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103254-1466221269/watcher-4103254-1466221269 -o /tmp/evaluation-result-4103254-1466221269/solver-4103254-1466221269 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1466206104-16279 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4103254-1466221269.opb

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

MD5SUM BENCH= e99162fa0a9c8caac0a04031bf39653d
RANDOM SEED=1949032539

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.912
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.54
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.912
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.54
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.912
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:        26929568 kB
Buffers:          158072 kB
Cached:          1769372 kB
SwapCached:            0 kB
Active:          1654676 kB
Inactive:        1810864 kB
Active(anon):    1540924 kB
Inactive(anon):        0 kB
Active(file):     113752 kB
Inactive(file):  1810864 kB
Unevictable:     1720024 kB
Mlocked:         1556504 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1308 kB
Writeback:             0 kB
AnonPages:       3260480 kB
Mapped:            21124 kB
Shmem:               204 kB
Slab:             621244 kB
SReclaimable:      65140 kB
SUnreclaim:       556104 kB
KernelStack:        1632 kB
PageTables:        10652 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3486560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1642496 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= 71740 MiB
End job on node117 at 2016-06-18 05:56:06