Trace number 3710144

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 specific settings 2.3.2 snapshotSAT (TO)10481249 1800.59 1771.97

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
MD5SUM291088d217a1998c91be99350439e903
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5516295
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5965824
Optimality of the best value was proved NO
Number of variables7812
Total number of constraints285
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 constraints285
Minimum length of a constraint31
Maximum length of a constraint630
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 1543007621731
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 1543007621731
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.00/0.08	c version 2.3.2.v20120418
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
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
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710144-1338149332.opb
0.09/0.12	c reading problem ... 
0.81/0.40	c ... done. Wall clock time 0.279s.
0.81/0.40	c declared #vars     7812
0.81/0.40	c #constraints  318
0.81/0.40	c constraints type 
0.81/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 318
0.81/0.40	c 318 constraints processed.
1.09/0.58	c SATISFIABLE
1.09/0.58	c OPTIMIZING...
1.09/0.58	c Got one! Elapsed wall clock time (in seconds):0.462
1.09/0.58	o 22549248
1.35/0.63	c Got one! Elapsed wall clock time (in seconds):0.504
1.35/0.63	o 22364084
1.35/0.66	c Got one! Elapsed wall clock time (in seconds):0.54
1.35/0.66	o 20215014
1.56/0.78	c Got one! Elapsed wall clock time (in seconds):0.654
1.56/0.78	o 17495787
1.83/0.91	c Got one! Elapsed wall clock time (in seconds):0.79
1.83/0.91	o 15409191
1.97/1.06	c Got one! Elapsed wall clock time (in seconds):0.939
1.97/1.06	o 14978017
2.30/1.30	c Got one! Elapsed wall clock time (in seconds):1.18
2.30/1.30	o 10536049
4.60/3.63	c cleaning 3247 clauses out of 6496 with flag 5003/6496
7.38/6.33	c cleaning 4621 clauses out of 9246 with flag 11000/12493
9.89/8.89	c cleaning 5802 clauses out of 11625 with flag 18000/19493
13.10/12.07	c cleaning 6912 clauses out of 13823 with flag 26000/27493
17.16/16.08	c cleaning 7951 clauses out of 15912 with flag 35001/36494
21.17/20.08	c cleaning 8967 clauses out of 17960 with flag 45000/46493
26.09/24.91	c cleaning 9987 clauses out of 19994 with flag 56001/57494
31.30/30.17	c cleaning 10994 clauses out of 22006 with flag 68000/69493
36.42/35.28	c cleaning 12004 clauses out of 24012 with flag 81000/82493
42.24/41.07	c cleaning 12999 clauses out of 26008 with flag 95000/96493
49.37/48.13	c cleaning 13993 clauses out of 28010 with flag 110001/111494
55.77/54.56	c cleaning 15006 clauses out of 30016 with flag 126000/127493
56.10/54.89	c Got one! Elapsed wall clock time (in seconds):54.77
56.10/54.89	o 10481249
57.90/56.67	c cleaning 10307 clauses out of 20626 with flag 5001/133109
60.73/59.46	c cleaning 8143 clauses out of 16318 with flag 11000/139108
63.43/62.15	c cleaning 7582 clauses out of 15177 with flag 18002/146110
66.33/65.09	c cleaning 7793 clauses out of 15594 with flag 26001/154109
69.24/67.92	c cleaning 8389 clauses out of 16801 with flag 35001/163109
72.55/71.21	c cleaning 9203 clauses out of 18412 with flag 45001/173109
76.87/75.53	c cleaning 10095 clauses out of 20208 with flag 56000/184108
80.68/79.38	c cleaning 11049 clauses out of 22114 with flag 68001/196109
84.38/83.00	c cleaning 12030 clauses out of 24066 with flag 81002/209110
89.20/87.84	c cleaning 13009 clauses out of 26035 with flag 95001/223109
94.22/92.86	c cleaning 14005 clauses out of 28025 with flag 110000/238108
98.93/97.55	c cleaning 14999 clauses out of 30020 with flag 126000/254108
104.77/103.39	c cleaning 16003 clauses out of 32022 with flag 143001/271109
110.97/109.56	c cleaning 16997 clauses out of 34021 with flag 161003/289111
116.69/115.22	c cleaning 18007 clauses out of 36023 with flag 180002/308110
122.92/121.48	c cleaning 18995 clauses out of 38014 with flag 200000/328108
129.45/127.92	c cleaning 20007 clauses out of 40021 with flag 221002/349110
137.08/135.48	c cleaning 21002 clauses out of 42012 with flag 243000/371108
144.80/143.10	c cleaning 22005 clauses out of 44014 with flag 266004/394112
152.68/150.99	c cleaning 22999 clauses out of 46006 with flag 290001/418109
160.79/159.03	c cleaning 23991 clauses out of 48006 with flag 315000/443108
169.06/167.28	c cleaning 25005 clauses out of 50018 with flag 341003/469111
179.21/177.31	c cleaning 25996 clauses out of 52011 with flag 368001/496109
189.59/187.68	c cleaning 26993 clauses out of 54014 with flag 396000/524108
200.04/197.97	c cleaning 27998 clauses out of 56021 with flag 425000/553108
211.43/209.27	c cleaning 29003 clauses out of 58023 with flag 455000/583108
222.39/220.14	c cleaning 30005 clauses out of 60020 with flag 486000/614108
233.81/231.46	c cleaning 30999 clauses out of 62018 with flag 518003/646111
244.21/241.73	c cleaning 32003 clauses out of 64017 with flag 551001/679109
256.01/253.42	c cleaning 33000 clauses out of 66014 with flag 585001/713109
266.90/264.28	c cleaning 33996 clauses out of 68013 with flag 620000/748108
278.11/275.30	c cleaning 34987 clauses out of 70017 with flag 656000/784108
293.67/290.73	c cleaning 36005 clauses out of 72031 with flag 693001/821109
311.73/308.65	c cleaning 37001 clauses out of 74025 with flag 731000/859108
329.66/326.45	c cleaning 38007 clauses out of 76024 with flag 770000/898108
341.90/338.53	c cleaning 39004 clauses out of 78018 with flag 810001/938109
357.04/353.53	c cleaning 40000 clauses out of 80015 with flag 851002/979110
372.38/368.75	c cleaning 40994 clauses out of 82013 with flag 893000/1021108
389.41/385.69	c cleaning 42000 clauses out of 84019 with flag 936000/1064108
405.56/401.57	c cleaning 43003 clauses out of 86019 with flag 980000/1108108
421.23/417.05	c cleaning 43994 clauses out of 88018 with flag 1025002/1153110
436.52/432.20	c cleaning 45002 clauses out of 90022 with flag 1071000/1199108
452.62/448.09	c cleaning 45993 clauses out of 92020 with flag 1118000/1246108
470.15/465.32	c cleaning 47006 clauses out of 94027 with flag 1166000/1294108
488.46/483.50	c cleaning 48007 clauses out of 96022 with flag 1215001/1343109
505.90/500.53	c cleaning 48995 clauses out of 98014 with flag 1265000/1393108
526.39/520.73	c cleaning 49997 clauses out of 100020 with flag 1316001/1444109
545.75/539.88	c cleaning 51002 clauses out of 102022 with flag 1368000/1496108
563.45/557.21	c cleaning 51983 clauses out of 104020 with flag 1421000/1549108
582.80/576.28	c cleaning 52994 clauses out of 106037 with flag 1475000/1603108
610.20/603.21	c cleaning 53989 clauses out of 108043 with flag 1530000/1658108
637.41/630.09	c cleaning 55014 clauses out of 110055 with flag 1586001/1714109
668.68/660.79	c cleaning 56012 clauses out of 112040 with flag 1643000/1771108
688.36/679.99	c cleaning 57004 clauses out of 114028 with flag 1701000/1829108
708.06/699.34	c cleaning 58002 clauses out of 116024 with flag 1760000/1888108
726.38/717.34	c cleaning 58991 clauses out of 118022 with flag 1820000/1948108
748.38/738.90	c cleaning 60014 clauses out of 120032 with flag 1881001/2009109
775.39/765.68	c cleaning 61005 clauses out of 122021 with flag 1943004/2071112
798.24/788.09	c cleaning 62000 clauses out of 124014 with flag 2006002/2134110
817.66/807.19	c cleaning 63003 clauses out of 126013 with flag 2070001/2198109
834.91/824.05	c cleaning 63986 clauses out of 128009 with flag 2135000/2263108
858.30/846.95	c cleaning 64999 clauses out of 130023 with flag 2201000/2329108
886.61/874.75	c cleaning 66005 clauses out of 132025 with flag 2268001/2396109
909.89/897.55	c cleaning 67000 clauses out of 134019 with flag 2336000/2464108
933.90/921.18	c cleaning 68000 clauses out of 136019 with flag 2405000/2533108
958.09/944.89	c cleaning 68991 clauses out of 138021 with flag 2475002/2603110
983.95/970.32	c cleaning 70004 clauses out of 140028 with flag 2546000/2674108
1012.67/998.68	c cleaning 71004 clauses out of 142025 with flag 2618001/2746109
1036.38/1022.09	c cleaning 71998 clauses out of 144022 with flag 2691002/2819110
1059.90/1045.28	c cleaning 73001 clauses out of 146022 with flag 2765000/2893108
1085.70/1070.55	c cleaning 73988 clauses out of 148022 with flag 2840001/2968109
1113.34/1097.70	c cleaning 75008 clauses out of 150033 with flag 2916000/3044108
1146.52/1130.24	c cleaning 76005 clauses out of 152026 with flag 2993001/3121109
1180.38/1163.46	c cleaning 76998 clauses out of 154020 with flag 3071000/3199108
1210.75/1193.27	c cleaning 77997 clauses out of 156024 with flag 3150002/3278110
1242.43/1224.46	c cleaning 78984 clauses out of 158025 with flag 3230000/3358108
1276.69/1258.21	c cleaning 80006 clauses out of 160042 with flag 3311001/3439109
1312.65/1293.61	c cleaning 81000 clauses out of 162035 with flag 3393000/3521108
1351.02/1331.40	c cleaning 82002 clauses out of 164035 with flag 3476000/3604108
1391.59/1371.33	c cleaning 83002 clauses out of 166034 with flag 3560001/3688109
1431.98/1410.90	c cleaning 84009 clauses out of 168031 with flag 3645000/3773108
1470.10/1448.46	c cleaning 85006 clauses out of 170024 with flag 3731002/3859110
1506.03/1483.67	c cleaning 85995 clauses out of 172019 with flag 3818003/3946111
1538.22/1515.29	c cleaning 87003 clauses out of 174021 with flag 3906000/4034108
1570.06/1546.49	c cleaning 88002 clauses out of 176020 with flag 3995002/4123110
1602.92/1578.60	c cleaning 88992 clauses out of 178016 with flag 4085000/4213108
1636.14/1611.28	c cleaning 89997 clauses out of 180024 with flag 4176000/4304108
1670.33/1644.82	c cleaning 91004 clauses out of 182027 with flag 4268000/4396108
1704.87/1678.73	c cleaning 92005 clauses out of 184023 with flag 4361000/4489108
1743.07/1716.12	c cleaning 92989 clauses out of 186018 with flag 4455000/4583108
1783.28/1755.59	c cleaning 94005 clauses out of 188029 with flag 4550000/4678108
1800.01/1771.91	c starts		: 279
1800.01/1771.91	c conflicts		: 4720641
1800.01/1771.91	c decisions		: 8201447
1800.01/1771.91	c propagations		: 443187797
1800.01/1771.91	c inspects		: 4114238403
1800.01/1771.91	c shortcuts		: 0
1800.01/1771.91	c learnt literals	: 0
1800.01/1771.91	c learnt binary clauses	: 0
1800.01/1771.91	c learnt ternary clauses	: 0
1800.01/1771.91	c learnt constraints	: 4720641
1800.01/1771.91	c ignored constraints	: 0
1800.01/1771.91	c root simplifications	: 279
1800.01/1771.91	c removed literals (reason simplification)	: 3911571
1800.01/1771.91	c reason swapping (by a shorter reason)	: 0
1800.01/1771.91	c Calls to reduceDB	: 103
1800.01/1771.91	c number of reductions to clauses (during analyze)	: 0
1800.01/1771.91	c number of learned constraints concerned by reduction	: 0
1800.01/1771.91	c number of learning phase by resolution	: 0
1800.01/1771.91	c number of learning phase by cutting planes	: 0
1800.01/1771.91	c speed (assignments/second)	: 250177.8744571663
1800.01/1771.91	c non guided choices	6834
1800.01/1771.94	c learnt constraints type 
1800.01/1771.94	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 136595
1800.01/1771.94	c constraints type 
1800.01/1771.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 319
1800.01/1771.94	c 319 constraints processed.
1800.01/1771.94	s SATISFIABLE
1800.01/1771.95	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.01/1771.96	c objective function=10481249
1800.01/1771.96	c Total wall clock time (in seconds): 1771.836

Verifier Data

OK	10481249

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3710144-1338149332/watcher-3710144-1338149332 -o /tmp/evaluation-result-3710144-1338149332/solver-3710144-1338149332 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710144-1338149332.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 2.13 1.96 3/194 21998
/proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/21998/stat : 21998 (java) R 21996 21998 21838 0 -1 4202496 286 0 0 0 0 0 0 0 20 0 1 0 281059152 278528 33 33554432000 1073741824 1073778376 140735908120000 140735647861656 242158234919 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 68 33 25 9 0 25 0

[startup+0.094962 s]
/proc/loadavg: 2.23 2.13 1.96 3/194 21998
/proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9558440 CPUtime=0.08 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 4126 0 1 0 8 0 0 0 20 0 18 0 281059152 9787842560 5331 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2389610 5341 2111 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558440

[startup+0.100194 s]
/proc/loadavg: 2.23 2.13 1.96 3/194 21998
/proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 4273 0 1 0 9 0 0 0 20 0 18 0 281059152 9787842560 5478 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2389610 5478 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300229 s]
/proc/loadavg: 2.23 2.13 1.96 3/194 21998
/proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9558440 CPUtime=0.51 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 9378 0 1 0 50 1 0 0 20 0 18 0 281059152 9787842560 11214 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2389610 11214 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558440

[startup+0.700243 s]
/proc/loadavg: 2.23 2.13 1.96 3/194 21998
/proc/meminfo: memFree=30387204/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9625004 CPUtime=1.56 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 10984 0 1 0 154 2 0 0 20 0 19 0 281059152 9856004096 19126 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2406251 19126 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 9625004

[startup+1.50069 s]
/proc/loadavg: 2.45 2.18 1.98 3/213 22017
/proc/meminfo: memFree=30310712/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9625004 CPUtime=2.5 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 11290 0 1 0 247 3 0 0 20 0 19 0 281059152 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2406251 24780 2258 9 0 2396937 0
[pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=1.47 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 2539 0 1 0 145 2 0 0 20 0 19 0 281059153 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852092068472 139851937247981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3307 0 0 0 46 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4243 0 0 0 53 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 24780 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9625004

[startup+3.10071 s]
/proc/loadavg: 2.45 2.18 1.98 3/213 22017
/proc/meminfo: memFree=30285144/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9625004 CPUtime=4.1 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 11304 0 1 0 407 3 0 0 20 0 19 0 281059152 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2406251 30924 2258 9 0 2396937 0
[pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=3.07 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 2553 0 1 0 305 2 0 0 20 0 19 0 281059153 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852092066376 139851937214443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.46 cores=0,2,4,6
/proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3307 0 0 0 46 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4243 0 0 0 53 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 30924 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 9625004

[startup+6.30058 s]
/proc/loadavg: 2.45 2.18 1.98 3/213 22017
/proc/meminfo: memFree=30240096/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9625004 CPUtime=7.38 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 11389 0 1 0 733 5 0 0 20 0 19 0 281059152 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2406251 38624 2284 9 0 2396937 0
[pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=6.22 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 2561 0 1 0 620 2 0 0 20 0 19 0 281059153 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852092068432 139851937234278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281059154 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 19 0 281059156 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.48 cores=0,2,4,6
/proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 48 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.56 cores=0,2,4,6
/proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4248 0 0 0 56 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 38624 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.38
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

[pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=4.51 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 2366 0 0 0 442 9 0 0 20 0 19 0 281059154 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=4.46 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 3072 0 0 0 438 8 0 0 20 0 19 0 281059154 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=4.42 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 2446 0 0 0 432 10 0 0 20 0 19 0 281059154 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=5.63 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 433 0 0 0 554 9 0 0 20 0 19 0 281059156 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 49 0 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4275 0 0 0 63 0 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0.29 cores=0,2,4,6
/proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 94 0 0 0 13 16 0 0 20 0 19 0 281059158 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 100108 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1688.19
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/213 22260
/proc/meminfo: memFree=29858124/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9625004 CPUtime=1749.37 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 38037 0 1 0 174823 114 0 0 20 0 19 0 281059152 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2406251 100285 2285 9 0 2396937 0
[pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=1704.71 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 3653 0 1 0 170439 32 0 0 20 0 19 0 281059153 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852092067200 139851937095658 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=4.75 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 3585 0 0 0 462 13 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=4.89 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 3419 0 0 0 477 12 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=4.47 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 2380 0 0 0 439 8 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=4.75 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 3449 0 0 0 465 10 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=4.72 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 3581 0 0 0 460 12 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=4.75 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 2863 0 0 0 466 9 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=4.65 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 3227 0 0 0 457 8 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=4.62 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 2561 0 0 0 451 11 0 0 20 0 19 0 281059154 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=5.81 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 449 0 0 0 572 9 0 0 20 0 19 0 281059156 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 49 0 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4275 0 0 0 63 0 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 98 0 0 0 14 16 0 0 20 0 19 0 281059158 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 100285 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1749.37
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1771.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 22260
/proc/meminfo: memFree=29865188/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 38907 0 1 0 179884 117 0 0 20 0 19 0 281059152 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2406251 98626 2285 9 0 2396937 0
[pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=1753.78 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 3691 0 1 0 175345 33 0 0 20 0 19 0 281059153 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852092067200 139851937310571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=4.91 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 3585 0 0 0 478 13 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=5.06 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 3638 0 0 0 494 12 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=4.65 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 2551 0 0 0 457 8 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=4.95 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 3606 0 0 0 484 11 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=4.91 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 3611 0 0 0 479 12 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=4.92 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 2895 0 0 0 483 9 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=4.84 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 3247 0 0 0 476 8 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=4.85 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 2748 0 0 0 474 11 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=5.9 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 463 0 0 0 581 9 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 49 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4275 0 0 0 63 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 100 0 0 0 14 17 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004

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

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

[startup+1771.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 22260
/proc/meminfo: memFree=29865188/32873648 swapFree=7112/7112
[pid=21998] ppid=21996 vsize=9625004 CPUtime=1800.01 cores=0,2,4,6
/proc/21998/stat : 21998 (java) S 21996 21998 21838 0 -1 4202496 38907 0 1 0 179884 117 0 0 20 0 19 0 281059152 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 140735908111136 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21998/statm: 2406251 98626 2285 9 0 2396937 0
[pid=21998/tid=22000] ppid=21996 vsize=9625004 CPUtime=1753.78 cores=0,2,4,6
/proc/21998/task/22000/stat : 22000 (java) R 21996 21998 21838 0 -1 4202560 3691 0 1 0 175345 33 0 0 20 0 19 0 281059153 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852092067200 139851937310571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22001] ppid=21996 vsize=9625004 CPUtime=4.91 cores=0,2,4,6
/proc/21998/task/22001/stat : 22001 (java) S 21996 21998 21838 0 -1 4202560 3585 0 0 0 478 13 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852064520488 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22002] ppid=21996 vsize=9625004 CPUtime=5.06 cores=0,2,4,6
/proc/21998/task/22002/stat : 22002 (java) S 21996 21998 21838 0 -1 4202560 3638 0 0 0 494 12 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852063467688 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22003] ppid=21996 vsize=9625004 CPUtime=4.65 cores=0,2,4,6
/proc/21998/task/22003/stat : 22003 (java) S 21996 21998 21838 0 -1 4202560 2551 0 0 0 457 8 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852062415400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22004] ppid=21996 vsize=9625004 CPUtime=4.95 cores=0,2,4,6
/proc/21998/task/22004/stat : 22004 (java) S 21996 21998 21838 0 -1 4202560 3606 0 0 0 484 11 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852061362600 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22005] ppid=21996 vsize=9625004 CPUtime=4.91 cores=0,2,4,6
/proc/21998/task/22005/stat : 22005 (java) S 21996 21998 21838 0 -1 4202560 3611 0 0 0 479 12 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852060310312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22006] ppid=21996 vsize=9625004 CPUtime=4.92 cores=0,2,4,6
/proc/21998/task/22006/stat : 22006 (java) S 21996 21998 21838 0 -1 4202560 2895 0 0 0 483 9 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852059257512 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21998/tid=22007] ppid=21996 vsize=9625004 CPUtime=4.84 cores=0,2,4,6
/proc/21998/task/22007/stat : 22007 (java) S 21996 21998 21838 0 -1 4202560 3247 0 0 0 476 8 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852058205224 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22008] ppid=21996 vsize=9625004 CPUtime=4.85 cores=0,2,4,6
/proc/21998/task/22008/stat : 22008 (java) S 21996 21998 21838 0 -1 4202560 2748 0 0 0 474 11 0 0 20 0 19 0 281059154 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139852057152424 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22009] ppid=21996 vsize=9625004 CPUtime=5.9 cores=0,2,4,6
/proc/21998/task/22009/stat : 22009 (java) S 21996 21998 21838 0 -1 4202560 463 0 0 0 581 9 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851445807336 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21998/tid=22010] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22010/stat : 22010 (java) S 21996 21998 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851444753400 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22011] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22011/stat : 22011 (java) S 21996 21998 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281059156 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851443701000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22012] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22012/stat : 22012 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851442649488 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22013] ppid=21996 vsize=9625004 CPUtime=0.49 cores=0,2,4,6
/proc/21998/task/22013/stat : 22013 (java) S 21996 21998 21838 0 -1 4202560 3310 0 0 0 49 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851441597112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21998/tid=22014] ppid=21996 vsize=9625004 CPUtime=0.63 cores=0,2,4,6
/proc/21998/task/22014/stat : 22014 (java) S 21996 21998 21838 0 -1 4202560 4275 0 0 0 63 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851440544312 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22015] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22015/stat : 22015 (java) S 21996 21998 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851439492216 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22016] ppid=21996 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/21998/task/22016/stat : 22016 (java) S 21996 21998 21838 0 -1 4202560 100 0 0 0 14 17 0 0 20 0 19 0 281059158 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851438439624 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21998/tid=22017] ppid=21996 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21998/task/22017/stat : 22017 (java) S 21996 21998 21838 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 281059195 9856004096 98626 33554432000 1073741824 1073778376 140735908120000 139851437384616 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625004

Child status: 143
Real time (s): 1771.97
CPU time (s): 1800.59
CPU user time (s): 1799.02
CPU system time (s): 1.57176
CPU usage (%): 101.615
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.02
system time used= 1.57176
maximum resident set size= 404936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38947
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72796
involuntary context switches= 100039

runsolver used 5.71213 second user time and 14.2028 second system time

The end

Launcher Data

Begin job on node126 at 2012-05-27 22:08:52
IDJOB=3710144
IDBENCH=2297
IDSOLVER=2289
FILE ID=node126/3710144-1338149332
RUNJOBID= node126-1338147557-21854
PBS_JOBID= 14624519
Free space on /tmp= 71356 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x21.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710144-1338149332/watcher-3710144-1338149332 -o /tmp/evaluation-result-3710144-1338149332/solver-3710144-1338149332 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710144-1338149332.opb

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

MD5SUM BENCH= 291088d217a1998c91be99350439e903
RANDOM SEED=122416957

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30387584 kB
Buffers:          309784 kB
Cached:           580704 kB
SwapCached:        17756 kB
Active:          1503612 kB
Inactive:         174744 kB
Active(anon):     769656 kB
Inactive(anon):    20452 kB
Active(file):     733956 kB
Inactive(file):   154292 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67086932 kB
Dirty:              1220 kB
Writeback:             0 kB
AnonPages:        778044 kB
Mapped:            17888 kB
Shmem:                 0 kB
Slab:             668504 kB
SReclaimable:     112940 kB
SUnreclaim:       555564 kB
KernelStack:        1608 kB
PageTables:         5888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1226328 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    729088 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71356 MiB
End job on node126 at 2012-05-27 22:38:26