Trace number 2658722

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 Resolution 2.2.0 2010-05-26SAT (TO)22 1800.27 1796.65

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMaf0ded53094abde95c37378ccd6c7afa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark22
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
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.08/0.14	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.08/0.14	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14	c See www.sat4j.org for details.
0.08/0.15	c version 2.2.0.v20100526
0.08/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.15	c java.vm.name		Java HotSpot(TM) Server VM
0.08/0.15	c java.vm.version	11.2-b01
0.08/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.15	c sun.arch.data.model	32
0.08/0.15	c java.version		1.6.0_12
0.08/0.15	c os.name		Linux
0.08/0.15	c os.version		2.6.18-164.el5
0.08/0.15	c os.arch		i386
0.08/0.15	c Free memory 		1393557488
0.08/0.15	c Max memory 		1395916800
0.08/0.15	c Total memory 		1395916800
0.08/0.15	c Number of processors 	2
0.22/0.21	c Pseudo Boolean Optimization
0.22/0.21	c --- Begin Solver configuration ---
0.22/0.21	c Stops conflict analysis at the first Unique Implication Point
0.22/0.21	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@1ac1fe4
0.22/0.21	c Learn all clauses as in MiniSAT
0.22/0.21	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.22/0.21	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.22/0.21	c Expensive reason simplification
0.22/0.21	c Armin Biere (Picosat) restarts strategy
0.22/0.21	c Glucose learned constraints deletion strategy
0.22/0.21	c timeout=2147483s
0.22/0.21	c DB Simplification allowed=false
0.22/0.21	c --- End Solver configuration ---
0.22/0.21	c solving HOME/instance-2658722-1276641124.opb
0.22/0.21	c reading problem ... 
1.83/1.26	c ... done. Wall clock time 1.048s.
1.83/1.26	c #vars     8901
1.83/1.26	c #constraints  32298
1.83/1.26	c constraints type 
1.83/1.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099
1.83/1.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1.83/1.26	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193
2.36/1.56	c SATISFIABLE
2.36/1.56	c OPTIMIZING...
2.36/1.56	c Got one! Elapsed wall clock time (in seconds):1.345
2.36/1.56	o 27
2.56/1.66	c Got one! Elapsed wall clock time (in seconds):1.45
2.56/1.66	o 26
3.16/1.93	c Got one! Elapsed wall clock time (in seconds):1.719
3.16/1.93	o 25
6.31/4.58	c Got one! Elapsed wall clock time (in seconds):4.368
6.31/4.58	o 24
6.54/4.70	c cleaning 2496 clauses out of 5002 with flag 5002/5002
10.02/8.12	c cleaning 4248 clauses out of 8505 with flag 11001/11001
13.63/11.73	c cleaning 5617 clauses out of 11256 with flag 18000/18000
17.04/15.14	c cleaning 6805 clauses out of 13639 with flag 26000/26000
20.70/18.73	c cleaning 7899 clauses out of 15834 with flag 35000/35000
25.11/23.17	c cleaning 8948 clauses out of 17935 with flag 45000/45000
29.30/27.38	c Got one! Elapsed wall clock time (in seconds):27.165
29.30/27.38	o 22
30.16/28.10	c cleaning 9980 clauses out of 19987 with flag 56000/56000
35.88/33.84	c cleaning 10985 clauses out of 22008 with flag 68001/68001
42.38/40.30	c cleaning 12003 clauses out of 24023 with flag 81001/81001
49.10/47.03	c cleaning 12990 clauses out of 26020 with flag 95001/95001
55.71/53.67	c cleaning 13983 clauses out of 28029 with flag 110000/110000
63.92/61.85	c cleaning 15002 clauses out of 30046 with flag 126000/126000
71.03/68.94	c cleaning 15996 clauses out of 32044 with flag 143000/143000
79.53/77.49	c cleaning 17008 clauses out of 34050 with flag 161002/161002
89.54/87.48	c cleaning 18021 clauses out of 36042 with flag 180002/180002
99.96/97.86	c cleaning 19000 clauses out of 38020 with flag 200001/200001
114.05/111.97	c cleaning 19995 clauses out of 40019 with flag 221000/221000
128.27/126.15	c cleaning 20998 clauses out of 42024 with flag 243000/243000
141.58/139.41	c cleaning 21982 clauses out of 44027 with flag 266001/266001
154.09/151.92	c cleaning 22996 clauses out of 46046 with flag 290002/290002
169.90/167.73	c cleaning 24010 clauses out of 48051 with flag 315003/315003
189.81/187.68	c cleaning 25004 clauses out of 50039 with flag 341001/341001
204.74/202.57	c cleaning 26002 clauses out of 52038 with flag 368004/368004
219.05/216.85	c cleaning 26987 clauses out of 54033 with flag 396001/396001
235.07/232.80	c cleaning 27995 clauses out of 56045 with flag 425000/425000
250.67/248.40	c cleaning 29000 clauses out of 58050 with flag 455000/455000
265.59/263.36	c cleaning 29999 clauses out of 60053 with flag 486003/486003
288.71/286.48	c cleaning 31018 clauses out of 62060 with flag 518009/518009
304.23/301.99	c cleaning 31996 clauses out of 64034 with flag 551001/551001
319.95/317.63	c cleaning 32489 clauses out of 65037 with flag 584000/584000
338.56/336.29	c cleaning 32735 clauses out of 65548 with flag 617000/617000
357.47/355.19	c cleaning 32894 clauses out of 65813 with flag 650000/650000
373.88/371.54	c cleaning 32929 clauses out of 65920 with flag 683001/683001
395.59/393.25	c cleaning 32962 clauses out of 65990 with flag 716000/716000
411.43/409.02	c cleaning 32987 clauses out of 66029 with flag 749001/749001
434.13/431.78	c cleaning 32996 clauses out of 66044 with flag 782003/782003
467.87/465.43	c cleaning 33013 clauses out of 66047 with flag 815002/815002
501.98/499.51	c cleaning 32995 clauses out of 66034 with flag 848002/848002
536.69/534.28	c cleaning 33001 clauses out of 66037 with flag 881000/881000
553.53/551.02	c cleaning 32990 clauses out of 66036 with flag 914000/914000
571.25/568.71	c cleaning 32976 clauses out of 66046 with flag 947000/947000
595.26/592.74	c cleaning 32998 clauses out of 66070 with flag 980000/980000
616.08/613.52	c cleaning 32987 clauses out of 66072 with flag 1013000/1013000
634.12/631.58	c cleaning 33010 clauses out of 66086 with flag 1046001/1046001
652.84/650.25	c cleaning 33009 clauses out of 66076 with flag 1079001/1079001
675.26/672.68	c cleaning 32996 clauses out of 66068 with flag 1112002/1112002
700.39/697.76	c cleaning 33020 clauses out of 66071 with flag 1145001/1145001
722.22/719.54	c cleaning 33003 clauses out of 66052 with flag 1178002/1178002
743.83/741.14	c cleaning 33008 clauses out of 66049 with flag 1211002/1211002
766.95/764.20	c cleaning 32997 clauses out of 66040 with flag 1244001/1244001
790.07/787.35	c cleaning 33008 clauses out of 66043 with flag 1277001/1277001
811.29/808.53	c cleaning 33005 clauses out of 66034 with flag 1310000/1310000
829.59/826.90	c cleaning 32983 clauses out of 66034 with flag 1343005/1343005
848.79/846.09	c cleaning 32993 clauses out of 66048 with flag 1376002/1376002
870.61/867.84	c cleaning 33010 clauses out of 66054 with flag 1409001/1409001
893.11/890.32	c cleaning 32982 clauses out of 66044 with flag 1442001/1442001
914.44/911.69	c cleaning 32989 clauses out of 66061 with flag 1475000/1475000
937.36/934.54	c cleaning 32997 clauses out of 66072 with flag 1508000/1508000
959.47/956.65	c cleaning 33011 clauses out of 66075 with flag 1541000/1541000
979.59/976.75	c cleaning 33010 clauses out of 66065 with flag 1574001/1574001
1001.70/998.81	c cleaning 33002 clauses out of 66055 with flag 1607001/1607001
1022.91/1020.03	c cleaning 32996 clauses out of 66053 with flag 1640001/1640001
1046.02/1043.11	c cleaning 32991 clauses out of 66056 with flag 1673000/1673000
1067.15/1064.29	c cleaning 32995 clauses out of 66065 with flag 1706000/1706000
1089.26/1086.32	c cleaning 32985 clauses out of 66070 with flag 1739000/1739000
1108.90/1105.92	c cleaning 32992 clauses out of 66086 with flag 1772001/1772001
1126.82/1123.80	c cleaning 33011 clauses out of 66093 with flag 1805000/1805000
1148.06/1145.08	c cleaning 33007 clauses out of 66082 with flag 1838000/1838000
1168.36/1165.32	c cleaning 32997 clauses out of 66075 with flag 1871000/1871000
1185.98/1182.97	c cleaning 33005 clauses out of 66079 with flag 1904001/1904001
1204.29/1201.21	c cleaning 32994 clauses out of 66073 with flag 1937000/1937000
1223.70/1220.69	c cleaning 33007 clauses out of 66080 with flag 1970001/1970001
1241.22/1238.12	c cleaning 32999 clauses out of 66073 with flag 2003001/2003001
1260.44/1257.37	c cleaning 33012 clauses out of 66073 with flag 2036000/2036000
1281.14/1278.07	c cleaning 32957 clauses out of 66062 with flag 2069001/2069001
1299.75/1296.67	c cleaning 33041 clauses out of 66105 with flag 2102001/2102001
1317.47/1314.38	c cleaning 33009 clauses out of 66063 with flag 2135000/2135000
1334.88/1331.71	c cleaning 32997 clauses out of 66054 with flag 2168000/2168000
1354.60/1351.47	c cleaning 32990 clauses out of 66057 with flag 2201000/2201000
1371.91/1368.76	c cleaning 32993 clauses out of 66068 with flag 2234001/2234001
1387.95/1384.77	c cleaning 32997 clauses out of 66076 with flag 2267002/2267002
1403.38/1400.11	c cleaning 32988 clauses out of 66077 with flag 2300000/2300000
1426.98/1423.79	c cleaning 32997 clauses out of 66089 with flag 2333000/2333000
1451.91/1448.63	c cleaning 32993 clauses out of 66092 with flag 2366000/2366000
1475.01/1471.80	c cleaning 33014 clauses out of 66099 with flag 2399000/2399000
1499.42/1496.17	c cleaning 32997 clauses out of 66086 with flag 2432001/2432001
1516.85/1513.60	c cleaning 33018 clauses out of 66089 with flag 2465001/2465001
1535.46/1532.12	c cleaning 33008 clauses out of 66070 with flag 2498000/2498000
1552.98/1549.62	c cleaning 33002 clauses out of 66063 with flag 2531001/2531001
1568.61/1565.25	c cleaning 33004 clauses out of 66061 with flag 2564001/2564001
1584.81/1581.50	c cleaning 33004 clauses out of 66060 with flag 2597004/2597004
1600.12/1596.80	c cleaning 33002 clauses out of 66053 with flag 2630001/2630001
1616.14/1612.73	c cleaning 32996 clauses out of 66050 with flag 2663000/2663000
1642.94/1639.59	c cleaning 32995 clauses out of 66054 with flag 2696000/2696000
1671.54/1668.10	c cleaning 32991 clauses out of 66059 with flag 2729000/2729000
1700.05/1696.66	c cleaning 32990 clauses out of 66068 with flag 2762000/2762000
1727.56/1724.17	c cleaning 33008 clauses out of 66079 with flag 2795001/2795001
1754.76/1751.33	c cleaning 32998 clauses out of 66070 with flag 2828000/2828000
1782.99/1779.60	c cleaning 33010 clauses out of 66072 with flag 2861000/2861000
1800.04/1796.51	c starts		: 236
1800.04/1796.51	c conflicts		: 2881674
1800.04/1796.51	c decisions		: 12031124
1800.04/1796.51	c propagations		: 1448110498
1800.04/1796.51	c inspects		: 4674513885
1800.04/1796.51	c learnt literals	: 0
1800.04/1796.51	c learnt binary clauses	: 4
1800.04/1796.51	c learnt ternary clauses	: 1
1800.04/1796.51	c learnt clauses	: 2881673
1800.04/1796.51	c ignored clauses	: 0
1800.04/1796.51	c root simplifications	: 0
1800.04/1796.51	c removed literals (reason simplification)	: 172223433
1800.04/1796.51	c reason swapping (by a shorter reason)	: 0
1800.04/1796.51	c Calls to reduceDB	: 99
1800.04/1796.51	c number of reductions to clauses (during analyze)	: 0
1800.04/1796.51	c number of learned constraints concerned by reduction	: 0
1800.04/1796.51	c number of learning phase by resolution	: 0
1800.04/1796.51	c number of learning phase by cutting planes	: 0
1800.04/1796.51	c speed (assignments/second)	: 818542.4713687439
1800.04/1796.51	c non guided choices	27749
1800.04/1796.55	c learnt constraints type 
1800.04/1796.55	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 53746
1800.04/1796.55	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 4
1800.04/1796.55	c constraints type 
1800.04/1796.55	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 8099
1800.04/1796.55	c org.sat4j.minisat.constraints.card.MinWatchCard => 2
1800.04/1796.55	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 24193
1800.04/1796.55	s SATISFIABLE
1800.04/1796.57	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 x770 x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 x1146 x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 x1196 x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 x2539 x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 x2792 -x2793 x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 x3170 -x3171 x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 x3210 -x3211 x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 x3425 -x3426 -x3427 -x3428 -x3429 x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 x3439 x3440 -x3441 -x3442 -x3443 -x3444 x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 x3560 x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 x4159 x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 x4212 x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 x4779 x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 x4954 x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100 -x5101 x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 x5499 x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 x5571 x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 x5837 x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 x6044 x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 x6295 -x6296 -x6297 -x6298 x6299 x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 x6335 -x6336 x6337 -x6338 -x6339 -x6340 -x6341 x6342 -x6343 -x6344 -x6345 -x6346 -x6347 x6348 x6349 x6350 x6351 -x6352 -x6353 -x6354 -x6355 x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 x6494 -x6495 x6496 -x6497 -x6498 -x6499 x6500 x6501 -x6502 x6503 -x6504 -x6505 -x6506 -x6507 x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 x6559 x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 x6738 -x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 -x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 -x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 -x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 -x6850 -x6851 -x6852 -x6853 x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 -x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 -x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 -x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 -x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 -x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 -x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 -x7184 -x7185 -x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 -x7250 -x7251 -x7252 -x7253 -x7254 -x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 -x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 -x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 -x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 -x7406 -x7407 -x7408 -x7409 -x7410 -x7411 -x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 -x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 -x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 -x7537 -x7538 -x7539 -x7540 x7541 -x7542 -x7543 -x7544 -x7545 -x7546 -x7547 -x7548 -x7549 -x7550 -x7551 -x7552 -x7553 -x7554 -x7555 -x7556 -x7557 -x7558 -x7559 -x7560 -x7561 -x7562 x7563 -x7564 -x7565 -x7566 -x7567 -x7568 -x7569 -x7570 -x7571 -x7572 -x7573 -x7574 -x7575 -x7576 -x7577 -x7578 -x7579 -x7580 -x7581 -x7582 -x7583 -x7584 -x7585 -x7586 -x7587 -x7588 -x7589 -x7590 -x7591 -x7592 -x7593 -x7594 x7595 -x7596 x7597 -x7598 -x7599 -x7600 -x7601 -x7602 -x7603 -x7604 -x7605 -x7606 -x7607 -x7608 -x7609 -x7610 -x7611 -x7612 -x7613 -x7614 -x7615 -x7616 -x7617 -x7618 -x7619 -x7620 -x7621 -x7622 -x7623 -x7624 -x7625 -x7626 -x7627 -x7628 -x7629 -x7630 -x7631 -x7632 -x7633 -x7634 -x7635 -x7636 -x7637 -x7638 -x7639 -x7640 -x7641 -x7642 -x7643 -x7644 -x7645 -x7646 -x7647 -x7648 -x7649 -x7650 -x7651 -x7652 -x7653 -x7654 -x7655 -x7656 -x7657 -x7658 -x7659 -x7660 -x7661 -x7662 -x7663 -x7664 -x7665 -x7666 -x7667 -x7668 -x7669 -x7670 -x7671 -x7672 -x7673 -x7674 -x7675 -x7676 -x7677 -x7678 -x7679 -x7680 -x7681 -x7682 -x7683 -x7684 -x7685 -x7686 -x7687 -x7688 -x7689 -x7690 -x7691 -x7692 -x7693 -x7694 -x7695 -x7696 -x7697 -x7698 -x7699 -x7700 -x7701 -x7702 x7703 -x7704 -x7705 -x7706 -x7707 -x7708 -x7709 -x7710 x7711 -x7712 -x7713 -x7714 -x7715 -x7716 -x7717 -x7718 -x7719 -x7720 -x7721 -x7722 -x7723 -x7724 -x7725 -x7726 -x7727 -x7728 -x7729 -x7730 -x7731 -x7732 -x7733 -x7734 -x7735 -x7736 -x7737 -x7738 -x7739 -x7740 -x7741 -x7742 -x7743 -x7744 -x7745 -x7746 -x7747 -x7748 -x7749 -x7750 -x7751 -x7752 -x7753 -x7754 -x7755 -x7756 -x7757 -x7758 -x7759 -x7760 -x7761 -x7762 -x7763 -x7764 -x7765 -x7766 -x7767 -x7768 -x7769 -x7770 -x7771 -x7772 -x7773 -x7774 -x7775 -x7776 -x7777 -x7778 -x7779 -x7780 -x7781 -x7782 -x7783 -x7784 -x7785 -x7786 -x7787 -x7788 -x7789 -x7790 -x7791 -x7792 -x7793 -x7794 -x7795 -x7796 -x7797 -x7798 -x7799 -x7800 -x7801 -x7802 -x7803 -x7804 -x7805 -x7806 -x7807 -x7808 -x7809 x7810 -x7811 -x7812 -x7813 -x7814 -x7815 -x7816 -x7817 -x7818 -x7819 -x7820 -x7821 -x7822 -x7823 -x7824 -x7825 -x7826 -x7827 -x7828 -x7829 -x7830 -x7831 -x7832 -x7833 -x7834 -x7835 -x7836 -x7837 -x7838 -x7839 -x7840 -x7841 -x7842 -x7843 -x7844 -x7845 -x7846 -x7847 -x7848 -x7849 -x7850 -x7851 -x7852 -x7853 -x7854 -x7855 -x7856 -x7857 -x7858 -x7859 -x7860 -x7861 -x7862 -x7863 -x7864 -x7865 x7866 -x7867 -x7868 -x7869 -x7870 -x7871 -x7872 -x7873 -x7874 -x7875 -x7876 -x7877 x7878 -x7879 -x7880 -x7881 -x7882 -x7883 -x7884 -x7885 -x7886 -x7887 -x7888 -x7889 -x7890 -x7891 x7892 -x7893 -x7894 -x7895 -x7896 -x7897 -x7898 -x7899 -x7900 -x7901 -x7902 -x7903 -x7904 -x7905 -x7906 -x7907 -x7908 -x7909 -x7910 -x7911 -x7912 -x7913 -x7914 -x7915 -x7916 -x7917 x7918 -x7919 -x7920 -x7921 -x7922 -x7923 -x7924 -x7925 -x7926 -x7927 -x7928 -x7929 -x7930 -x7931 -x7932 -x7933 -x7934 -x7935 -x7936 -x7937 -x7938 -x7939 -x7940 -x7941 -x7942 -x7943 -x7944 -x7945 -x7946 -x7947 -x7948 -x7949 -x7950 -x7951 -x7952 -x7953 -x7954 -x7955 -x7956 -x7957 -x7958 -x7959 -x7960 -x7961 -x7962 -x7963 -x7964 -x7965 -x7966 -x7967 -x7968 -x7969 x7970 -x7971 -x7972 -x7973 -x7974 -x7975 -x7976 -x7977 -x7978 -x7979 -x7980 -x7981 -x7982 -x7983 -x7984 -x7985 -x7986 -x7987 -x7988 -x7989 -x7990 -x7991 -x7992 -x7993 -x7994 -x7995 -x7996 -x7997 -x7998 -x7999 -x8000 -x8001 -x8002 -x8003 -x8004 -x8005 -x8006 -x8007 -x8008 -x8009 -x8010 -x8011 -x8012 -x8013 -x8014 -x8015 -x8016 -x8017 -x8018 -x8019 -x8020 -x8021 -x8022 -x8023 -x8024 -x8025 -x8026 -x8027 -x8028 -x8029 -x8030 -x8031 -x8032 -x8033 -x8034 -x8035 -x8036 -x8037 -x8038 -x8039 -x8040 -x8041 -x8042 -x8043 -x8044 -x8045 -x8046 -x8047 -x8048 -x8049 -x8050 -x8051 -x8052 -x8053 -x8054 -x8055 -x8056 -x8057 -x8058 -x8059 -x8060 -x8061 -x8062 -x8063 -x8064 -x8065 -x8066 -x8067 -x8068 -x8069 -x8070 -x8071 -x8072 -x8073 -x8074 -x8075 -x8076 -x8077 x8078 -x8079 -x8080 -x8081 -x8082 -x8083 -x8084 -x8085 -x8086 -x8087 -x8088 -x8089 -x8090 -x8091 -x8092 -x8093 -x8094 -x8095 -x8096 -x8097 -x8098 -x8099 -x8100 -x8101 -x8102 -x8103 -x8104 -x8105 -x8106 -x8107 -x8108 -x8109 -x8110 -x8111 -x8112 -x8113 -x8114 -x8115 -x8116 -x8117 -x8118 -x8119 -x8120 -x8121 -x8122 -x8123 -x8124 -x8125 -x8126 -x8127 -x8128 -x8129 -x8130 -x8131 x8132 -x8133 -x8134 -x8135 -x8136 -x8137 -x8138 -x8139 -x8140 -x8141 -x8142 -x8143 -x8144 -x8145 -x8146 -x8147 -x8148 -x8149 -x8150 -x8151 -x8152 -x8153 -x8154 -x8155 -x8156 -x8157 -x8158 -x8159 -x8160 -x8161 -x8162 -x8163 -x8164 -x8165 -x8166 -x8167 -x8168 -x8169 -x8170 -x8171 -x8172 -x8173 -x8174 -x8175 -x8176 -x8177 -x8178 -x8179 -x8180 -x8181 -x8182 -x8183 -x8184 -x8185 -x8186 -x8187 x8188 -x8189 x8190 -x8191 -x8192 -x8193 -x8194 -x8195 -x8196 -x8197 -x8198 -x8199 -x8200 x8201 x8202 -x8203 x8204 -x8205 -x8206 -x8207 -x8208 -x8209 -x8210 -x8211 -x8212 -x8213 -x8214 -x8215 x8216 -x8217 -x8218 -x8219 -x8220 -x8221 -x8222 -x8223 -x8224 -x8225 -x8226 -x8227 -x8228 -x8229 -x8230 -x8231 x8232 -x8233 -x8234 -x8235 -x8236 -x8237 -x8238 -x8239 -x8240 -x8241 -x8242 -x8243 -x8244 -x8245 -x8246 -x8247 -x8248 -x8249 -x8250 -x8251 -x8252 -x8253 -x8254 -x8255 -x8256 -x8257 -x8258 -x8259 -x8260 -x8261 -x8262 -x8263 -x8264 -x8265 -x8266 -x8267 -x8268 -x8269 -x8270 -x8271 -x8272 -x8273 -x8274 -x8275 -x8276 -x8277 -x8278 -x8279 -x8280 -x8281 -x8282 -x8283 -x8284 -x8285 -x8286 -x8287 -x8288 -x8289 -x8290 -x8291 -x8292 -x8293 -x8294 -x8295 -x8296 -x8297 -x8298 -x8299 -x8300 -x8301 -x8302 -x8303 -x8304 -x8305 -x8306 -x8307 -x8308 -x8309 -x8310 -x8311 -x8312 -x8313 -x8314 -x8315 x8316 -x8317 -x8318 -x8319 -x8320 -x8321 -x8322 -x8323 -x8324 -x8325 -x8326 -x8327 -x8328 -x8329 -x8330 -x8331 -x8332 -x8333 -x8334 -x8335 -x8336 -x8337 -x8338 -x8339 -x8340 -x8341 -x8342 -x8343 -x8344 -x8345 -x8346 -x8347 -x8348 -x8349 -x8350 -x8351 -x8352 -x8353 -x8354 -x8355 -x8356 -x8357 -x8358 -x8359 -x8360 -x8361 -x8362 -x8363 -x8364 -x8365 -x8366 -x8367 -x8368 -x8369 -x8370 -x8371 -x8372 -x8373 -x8374 -x8375 -x8376 -x8377 -x8378 -x8379 -x8380 -x8381 -x8382 -x8383 -x8384 -x8385 -x8386 -x8387 -x8388 -x8389 -x8390 -x8391 -x8392 -x8393 -x8394 -x8395 -x8396 -x8397 -x8398 -x8399 -x8400 -x8401 -x8402 -x8403 -x8404 -x8405 -x8406 -x8407 -x8408 -x8409 -x8410 -x8411 -x8412 -x8413 -x8414 -x8415 -x8416 -x8417 -x8418 -x8419 -x8420 -x8421 -x8422 -x8423 -x8424 -x8425 -x8426 -x8427 -x8428 -x8429 -x8430 -x8431 -x8432 -x8433 -x8434 -x8435 -x8436 -x8437 -x8438 -x8439 -x8440 -x8441 -x8442 -x8443 -x8444 -x8445 -x8446 -x8447 -x8448 -x8449 -x8450 -x8451 -x8452 -x8453 x8454 -x8455 -x8456 -x8457 -x8458 -x8459 x8460 -x8461 -x8462 -x8463 -x8464 -x8465 -x8466 -x8467 x8468 -x8469 x8470 -x8471 -x8472 -x8473 -x8474 -x8475 -x8476 -x8477 -x8478 -x8479 -x8480 -x8481 -x8482 -x8483 -x8484 -x8485 -x8486 -x8487 -x8488 -x8489 -x8490 -x8491 -x8492 -x8493 -x8494 -x8495 x8496 -x8497 -x8498 -x8499 -x8500 -x8501 -x8502 -x8503 -x8504 -x8505 -x8506 -x8507 -x8508 -x8509 -x8510 -x8511 -x8512 -x8513 -x8514 -x8515 -x8516 -x8517 -x8518 -x8519 -x8520 -x8521 -x8522 -x8523 -x8524 -x8525 -x8526 -x8527 -x8528 -x8529 -x8530 -x8531 -x8532 -x8533 -x8534 -x8535 -x8536 -x8537 -x8538 -x8539 -x8540 -x8541 -x8542 -x8543 -x8544 -x8545 -x8546 -x8547 -x8548 -x8549 -x8550 -x8551 -x8552 -x8553 -x8554 -x8555 -x8556 -x8557 -x8558 -x8559 x8560 -x8561 x8562 -x8563 -x8564 -x8565 -x8566 -x8567 -x8568 -x8569 -x8570 -x8571 -x8572 -x8573 -x8574 -x8575 -x8576 -x8577 -x8578 -x8579 -x8580 -x8581 -x8582 -x8583 -x8584 -x8585 -x8586 -x8587 -x8588 -x8589 x8590 -x8591 -x8592 -x8593 -x8594 -x8595 -x8596 -x8597 -x8598 -x8599 -x8600 -x8601 -x8602 -x8603 -x8604 -x8605 -x8606 -x8607 -x8608 -x8609 -x8610 -x8611 -x8612 -x8613 -x8614 -x8615 -x8616 -x8617 -x8618 -x8619 -x8620 -x8621 -x8622 -x8623 -x8624 -x8625 -x8626 -x8627 -x8628 -x8629 -x8630 -x8631 -x8632 -x8633 -x8634 -x8635 -x8636 -x8637 -x8638 -x8639 -x8640 -x8641 -x8642 -x8643 -x8644 -x8645 -x8646 -x8647 -x8648 -x8649 x8650 -x8651 -x8652 -x8653 -x8654 -x8655 -x8656 -x8657 -x8658 -x8659 -x8660 -x8661 -x8662 -x8663 -x8664 -x8665 -x8666 -x8667 -x8668 -x8669 -x8670 -x8671 -x8672 -x8673 -x8674 -x8675 -x8676 -x8677 -x8678 -x8679 -x8680 -x8681 -x8682 -x8683 -x8684 -x8685 -x8686 -x8687 -x8688 -x8689 -x8690 -x8691 -x8692 -x8693 -x8694 -x8695 -x8696 -x8697 -x8698 -x8699 -x8700 -x8701 -x8702 -x8703 -x8704 -x8705 -x8706 -x8707 -x8708 -x8709 -x8710 -x8711 -x8712 -x8713 -x8714 x8715 -x8716 -x8717 -x8718 -x8719 -x8720 -x8721 -x8722 -x8723 -x8724 -x8725 -x8726 -x8727 -x8728 x8729 x8730 -x8731 -x8732 -x8733 x8734 x8735 -x8736 -x8737 -x8738 -x8739 -x8740 -x8741 -x8742 -x8743 -x8744 -x8745 -x8746 -x8747 -x8748 -x8749 -x8750 -x8751 -x8752 -x8753 -x8754 -x8755 -x8756 -x8757 -x8758 -x8759 x8760 -x8761 -x8762 -x8763 -x8764 -x8765 -x8766 -x8767 -x8768 -x8769 -x8770 -x8771 -x8772 -x8773 -x8774 -x8775 -x8776 -x8777 -x8778 -x8779 x8780 -x8781 -x8782 -x8783 -x8784 x8785 -x8786 -x8787 -x8788 -x8789 x8790 -x8791 -x8792 -x8793 -x8794 -x8795 -x8796 -x8797 -x8798 -x8799 -x8800 -x8801 -x8802 -x8803 -x8804 -x8805 -x8806 -x8807 -x8808 -x8809 -x8810 -x8811 -x8812 -x8813 -x8814 -x8815 -x8816 -x8817 -x8818 -x8819 -x8820 -x8821 -x8822 -x8823 -x8824 -x8825 -x8826 -x8827 -x8828 -x8829 -x8830 -x8831 -x8832 -x8833 -x8834 -x8835 -x8836 -x8837 -x8838 -x8839 x8840 -x8841 -x8842 -x8843 -x8844 -x8845 -x8846 -x8847 -x8848 -x8849 -x8850 -x8851 -x8852 -x8853 -x8854 -x8855 -x8856 -x8857 -x8858 -x8859 -x8860 -x8861 -x8862 -x8863 -x8864 -x8865 -x8866 -x8867 -x8868 -x8869 -x8870 -x8871 -x8872 -x8873 -x8874 -x8875 -x8876 -x8877 -x8878 -x8879 -x8880 -x8881 -x8882 -x8883 -x8884 -x8885 -x8886 -x8887 -x8888 -x8889 -x8890 -x8891 -x8892 -x8893 x8894 x8895 -x8896 -x8897 -x8898 -x8899 -x8900 x8901 
1800.04/1796.60	c objective function=22
1800.04/1796.60	c Total wall clock time (in seconds): 1796.388

Verifier Data 

OK	22

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2658722-1276641124/watcher-2658722-1276641124 -o /tmp/evaluation-result-2658722-1276641124/solver-2658722-1276641124 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658722-1276641124.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 6642
/proc/meminfo: memFree=1815900/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1700 CPUtime=0
/proc/6642/stat : 6642 (java6) R 6640 6642 6034 0 -1 4194304 201 0 0 0 0 0 0 0 16 0 1 0 37768750 1740800 105 1992294400 134512640 134550932 4286674016 18446744073709551615 6551712 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6642/statm: 458 111 86 10 0 63 0

[startup+0.0474729 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 6642
/proc/meminfo: memFree=1815900/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1520328 CPUtime=0.03
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 3428 0 1 0 2 1 0 0 15 0 4 0 37768750 1556815872 2870 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 380082 2870 960 10 0 377392 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1520328

[startup+0.101479 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 6642
/proc/meminfo: memFree=1815900/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1524184 CPUtime=0.08
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 3950 0 1 0 6 2 0 0 15 0 12 0 37768750 1560764416 3388 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 381046 3388 1076 10 0 378348 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1524184

[startup+0.300492 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 6642
/proc/meminfo: memFree=1815900/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1526088 CPUtime=0.34
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 5310 0 1 0 30 4 0 0 15 0 12 0 37768750 1562714112 4746 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 381522 4746 1358 10 0 378824 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 1526088

[startup+0.700534 s]
/proc/loadavg: 0.99 0.98 0.99 3/106 6642
/proc/meminfo: memFree=1815900/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1528148 CPUtime=1.01
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 7414 0 1 0 96 5 0 0 15 0 12 0 37768750 1564823552 6811 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382037 6811 1402 10 0 379339 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 1528148

[startup+1.50161 s]
/proc/loadavg: 0.99 0.98 0.99 5/118 6654
/proc/meminfo: memFree=1775008/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1530544 CPUtime=2.36
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 19935 0 1 0 225 11 0 0 15 0 13 0 37768750 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382636 18725 1421 10 0 379938 0
[pid=6642/tid=6644] ppid=6640 vsize=1530544 CPUtime=1.37
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 16655 0 1 0 127 10 0 0 19 0 13 0 37768751 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4108705252 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 37768753 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 37768753 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 37768755 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6648/stat : 6648 (java) S 6640 6642 6034 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 37768755 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6649] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6649/stat : 6649 (java) S 6640 6642 6034 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 13 0 37768755 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6650] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6650/stat : 6650 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 37768759 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6651] ppid=6640 vsize=1530544 CPUtime=0.29
/proc/6642/task/6651/stat : 6651 (java) R 6640 6642 6034 0 -1 4202560 577 0 0 0 29 0 0 0 19 0 13 0 37768759 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 106127289 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6642/tid=6652] ppid=6640 vsize=1530544 CPUtime=0.67
/proc/6642/task/6652/stat : 6652 (java) R 6640 6642 6034 0 -1 4202560 1633 0 0 0 67 0 0 0 16 0 13 0 37768760 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 105873548 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6642/tid=6653] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6653/stat : 6653 (java) S 6640 6642 6034 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 37768760 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6654] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6654/stat : 6654 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 37768760 1567277056 18725 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 1530544

[startup+3.10177 s]
/proc/loadavg: 0.99 0.98 0.99 4/119 6655
/proc/meminfo: memFree=1740776/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1530544 CPUtime=4.87
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 21495 0 1 0 475 12 0 0 15 0 13 0 37768750 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382636 20283 1431 10 0 379938 0
[pid=6642/tid=6644] ppid=6640 vsize=1530544 CPUtime=2.96
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 18043 0 1 0 286 10 0 0 22 0 13 0 37768751 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4109335520 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 3 0 0 0 0 0 0 0 17 0 13 0 37768753 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 37768753 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 13 0 37768755 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6648/stat : 6648 (java) S 6640 6642 6034 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 13 0 37768755 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6649] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6649/stat : 6649 (java) S 6640 6642 6034 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 13 0 37768755 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6650] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6650/stat : 6650 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 37768759 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6651] ppid=6640 vsize=1530544 CPUtime=0.33
/proc/6642/task/6651/stat : 6651 (java) S 6640 6642 6034 0 -1 4202560 580 0 0 0 33 0 0 0 18 0 13 0 37768759 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6652] ppid=6640 vsize=1530544 CPUtime=1.56
/proc/6642/task/6652/stat : 6652 (java) S 6640 6642 6034 0 -1 4202560 1801 0 0 0 156 0 0 0 16 0 13 0 37768760 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6653] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6653/stat : 6653 (java) S 6640 6642 6034 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 37768760 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6654] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6654/stat : 6654 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 37768760 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6655] ppid=6640 vsize=1530544 CPUtime=0
/proc/6642/task/6655/stat : 6655 (java) S 6640 6642 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37768882 1567277056 20283 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 1530544

[startup+6.30206 s]
/proc/loadavg: 0.99 0.98 0.99 2/119 6655
/proc/meminfo: memFree=1726516/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1528888 CPUtime=8.16
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 25012 0 1 0 802 14 0 0 15 0 13 0 37768750 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382222 23393 1445 10 0 379524 0
[pid=6642/tid=6644] ppid=6640 vsize=1528888 CPUtime=6.07
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 19057 0 1 0 596 11 0 0 20 0 13 0 37768751 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4109313257 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1528888 CPUtime=0.02
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 530 0 0 0 2 0 0 0 16 0 13 0 37768753 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1528888 CPUtime=0.01
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 656 0 0 0 1 0 0 0 18 0 13 0 37768753 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1528888 CPUtime=0.04
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 1309 0 0 0 4 0 0 0 15 0 13 0 37768755 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6648/stat : 6648 (java) S 6640 6642 6034 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6649] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6649/stat : 6649 (java) S 6640 6642 6034 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6650] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6650/stat : 6650 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 37768759 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6651] ppid=6640 vsize=1528888 CPUtime=0.38
/proc/6642/task/6651/stat : 6651 (java) S 6640 6642 6034 0 -1 4202560 586 0 0 0 38 0 0 0 16 0 13 0 37768759 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6652] ppid=6640 vsize=1528888 CPUtime=1.59
/proc/6642/task/6652/stat : 6652 (java) S 6640 6642 6034 0 -1 4202560 1805 0 0 0 159 0 0 0 15 0 13 0 37768760 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6653] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6653/stat : 6653 (java) S 6640 6642 6034 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 37768760 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6654] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6654/stat : 6654 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 37768760 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6655] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6655/stat : 6655 (java) S 6640 6642 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37768882 1565581312 23393 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.16
Current children cumulated vsize (KiB) 1528888

[startup+12.7017 s]
/proc/loadavg: 0.99 0.98 0.99 2/119 6655
/proc/meminfo: memFree=1721184/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1528888 CPUtime=14.64
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 26487 0 1 0 1450 14 0 0 15 0 13 0 37768750 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382222 24862 1445 10 0 379524 0
[pid=6642/tid=6644] ppid=6640 vsize=1528888 CPUtime=12.33
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 19060 0 1 0 1222 11 0 0 25 0 13 0 37768751 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4109359943 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1528888 CPUtime=0.03
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 1031 0 0 0 3 0 0 0 16 0 13 0 37768753 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1528888 CPUtime=0.03
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 1225 0 0 0 3 0 0 0 18 0 13 0 37768753 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1528888 CPUtime=0.13
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 1703 0 0 0 13 0 0 0 16 0 13 0 37768755 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6648/stat : 6648 (java) S 6640 6642 6034 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6649] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6649/stat : 6649 (java) S 6640 6642 6034 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6650] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6650/stat : 6650 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 37768759 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6651] ppid=6640 vsize=1528888 CPUtime=0.43
/proc/6642/task/6651/stat : 6651 (java) S 6640 6642 6034 0 -1 4202560 591 0 0 0 43 0 0 0 15 0 13 0 37768759 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6652] ppid=6640 vsize=1528888 CPUtime=1.63
/proc/6642/task/6652/stat : 6652 (java) S 6640 6642 6034 0 -1 4202560 1808 0 0 0 163 0 0 0 15 0 13 0 37768760 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6653] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6653/stat : 6653 (java) S 6640 6642 6034 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 37768760 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6654] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6654/stat : 6654 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 37768760 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6655] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6655/stat : 6655 (java) S 6640 6642 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37768882 1565581312 24862 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 14.64
Current children cumulated vsize (KiB) 1528888

[startup+25.5008 s]
/proc/loadavg: 0.99 0.98 0.99 2/119 6657
/proc/meminfo: memFree=1715852/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1528888 CPUtime=27.5
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 27826 0 1 0 2735 15 0 0 15 0 13 0 37768750 1565581312 26198 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382222 26198 1445 10 0 379524 0
[pid=6642/tid=6644] ppid=6640 vsize=1528888 CPUtime=24.95
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 19063 0 1 0 2483 12 0 0 25 0 13 0 37768751 1565581312 26198 1992294400 134512640 134550932 4293607600 18446744073709551615 4109300042 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1528888 CPUtime=0.06
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 1611 0 0 0 6 0 0 0 15 0 13 0 37768753 1565581312 26198 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1528888 CPUtime=0.05
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 1778 0 0 0 5 0 0 0 18 0 13 0 37768753 1565581312 26198 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1528888 CPUtime=0.28
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 1901 0 0 0 28 0 0 0 15 0 13 0 37768755 1565581312 26198 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1528888 CPUtime=0

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

[pid=6642] ppid=6640 vsize=1528888 CPUtime=1665.75
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 47923 0 1 0 166520 55 0 0 15 0 13 0 37768750 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382222 42831 1445 10 0 379524 0
[pid=6642/tid=6644] ppid=6640 vsize=1528888 CPUtime=1652.03
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 19151 0 1 0 165166 37 0 0 25 0 13 0 37768751 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4109227718 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1528888 CPUtime=2.07
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 10629 0 0 0 201 6 0 0 16 0 13 0 37768753 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1528888 CPUtime=2
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 9826 0 0 0 194 6 0 0 15 0 13 0 37768753 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1528888 CPUtime=7.38
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 4748 0 0 0 736 2 0 0 15 0 13 0 37768755 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6648/stat : 6648 (java) S 6640 6642 6034 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6649] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6649/stat : 6649 (java) S 6640 6642 6034 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6650] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6650/stat : 6650 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 37768759 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6651] ppid=6640 vsize=1528888 CPUtime=0.56
/proc/6642/task/6651/stat : 6651 (java) S 6640 6642 6034 0 -1 4202560 596 0 0 0 56 0 0 0 15 0 13 0 37768759 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6652] ppid=6640 vsize=1528888 CPUtime=1.64
/proc/6642/task/6652/stat : 6652 (java) S 6640 6642 6034 0 -1 4202560 1808 0 0 0 164 0 0 0 15 0 13 0 37768760 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6653] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6653/stat : 6653 (java) S 6640 6642 6034 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 37768760 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6654] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6654/stat : 6654 (java) S 6640 6642 6034 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 13 0 37768760 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6655] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6655/stat : 6655 (java) S 6640 6642 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37768882 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1665.75
Current children cumulated vsize (KiB) 1528888

[startup+1722.3 s]
/proc/loadavg: 1.00 1.05 1.01 2/119 6704
/proc/meminfo: memFree=1646660/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1528888 CPUtime=1725.76
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 47931 0 1 0 172520 56 0 0 15 0 13 0 37768750 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382222 42831 1445 10 0 379524 0
[pid=6642/tid=6644] ppid=6640 vsize=1528888 CPUtime=1711.76
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 19153 0 1 0 171138 38 0 0 25 0 13 0 37768751 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4109411053 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1528888 CPUtime=2.11
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 10629 0 0 0 205 6 0 0 15 0 13 0 37768753 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1528888 CPUtime=2.04
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 9826 0 0 0 198 6 0 0 16 0 13 0 37768753 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1528888 CPUtime=7.58
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 4750 0 0 0 756 2 0 0 15 0 13 0 37768755 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6648/stat : 6648 (java) S 6640 6642 6034 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6649] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6649/stat : 6649 (java) S 6640 6642 6034 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6650] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6650/stat : 6650 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 37768759 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6651] ppid=6640 vsize=1528888 CPUtime=0.56
/proc/6642/task/6651/stat : 6651 (java) S 6640 6642 6034 0 -1 4202560 596 0 0 0 56 0 0 0 15 0 13 0 37768759 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6652] ppid=6640 vsize=1528888 CPUtime=1.64
/proc/6642/task/6652/stat : 6652 (java) S 6640 6642 6034 0 -1 4202560 1808 0 0 0 164 0 0 0 15 0 13 0 37768760 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6653] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6653/stat : 6653 (java) S 6640 6642 6034 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 37768760 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6654] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6654/stat : 6654 (java) S 6640 6642 6034 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 13 0 37768760 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6655] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6655/stat : 6655 (java) S 6640 6642 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37768882 1565581312 42831 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1725.76
Current children cumulated vsize (KiB) 1528888

[startup+1782.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/119 6715
/proc/meminfo: memFree=1644056/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1528888 CPUtime=1785.84
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 48892 0 1 0 178525 59 0 0 15 0 13 0 37768750 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382222 43456 1445 10 0 379524 0
[pid=6642/tid=6644] ppid=6640 vsize=1528888 CPUtime=1771.36
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 19156 0 1 0 177096 40 0 0 25 0 13 0 37768751 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4109227572 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1528888 CPUtime=2.21
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 11080 0 0 0 215 6 0 0 16 0 13 0 37768753 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1528888 CPUtime=2.15
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 10320 0 0 0 208 7 0 0 15 0 13 0 37768753 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1528888 CPUtime=7.84
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 4759 0 0 0 782 2 0 0 15 0 13 0 37768755 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6648/stat : 6648 (java) S 6640 6642 6034 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6649] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6649/stat : 6649 (java) S 6640 6642 6034 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6650] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6650/stat : 6650 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 37768759 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6651] ppid=6640 vsize=1528888 CPUtime=0.58
/proc/6642/task/6651/stat : 6651 (java) S 6640 6642 6034 0 -1 4202560 596 0 0 0 58 0 0 0 15 0 13 0 37768759 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6652] ppid=6640 vsize=1528888 CPUtime=1.64
/proc/6642/task/6652/stat : 6652 (java) S 6640 6642 6034 0 -1 4202560 1808 0 0 0 164 0 0 0 15 0 13 0 37768760 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6653] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6653/stat : 6653 (java) S 6640 6642 6034 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 37768760 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6654] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6654/stat : 6654 (java) S 6640 6642 6034 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 37768760 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6655] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6655/stat : 6655 (java) S 6640 6642 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37768882 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1785.84
Current children cumulated vsize (KiB) 1528888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.5 s]
/proc/loadavg: 1.00 1.03 1.01 2/119 6715
/proc/meminfo: memFree=1644056/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1528888 CPUtime=1800.04
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 48892 0 1 0 179945 59 0 0 15 0 13 0 37768750 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382222 43456 1445 10 0 379524 0
[pid=6642/tid=6644] ppid=6640 vsize=1528888 CPUtime=1785.56
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 19156 0 1 0 178516 40 0 0 25 0 13 0 37768751 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4109278728 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1528888 CPUtime=2.21
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 11080 0 0 0 215 6 0 0 16 0 13 0 37768753 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1528888 CPUtime=2.15
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 10320 0 0 0 208 7 0 0 15 0 13 0 37768753 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1528888 CPUtime=7.84
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 4759 0 0 0 782 2 0 0 15 0 13 0 37768755 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6648/stat : 6648 (java) S 6640 6642 6034 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6649] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6649/stat : 6649 (java) S 6640 6642 6034 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 13 0 37768755 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6650] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6650/stat : 6650 (java) S 6640 6642 6034 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 37768759 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6651] ppid=6640 vsize=1528888 CPUtime=0.58
/proc/6642/task/6651/stat : 6651 (java) S 6640 6642 6034 0 -1 4202560 596 0 0 0 58 0 0 0 15 0 13 0 37768759 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6652] ppid=6640 vsize=1528888 CPUtime=1.64
/proc/6642/task/6652/stat : 6652 (java) S 6640 6642 6034 0 -1 4202560 1808 0 0 0 164 0 0 0 15 0 13 0 37768760 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6653] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6653/stat : 6653 (java) S 6640 6642 6034 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 13 0 37768760 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6654] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6654/stat : 6654 (java) S 6640 6642 6034 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 13 0 37768760 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6655] ppid=6640 vsize=1528888 CPUtime=0
/proc/6642/task/6655/stat : 6655 (java) S 6640 6642 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 13 0 37768882 1565581312 43456 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1528888

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

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

[startup+1796.61 s]
/proc/loadavg: 1.00 1.03 1.01 2/119 6715
/proc/meminfo: memFree=1644056/2059040 swapFree=4140256/4192956
[pid=6642] ppid=6640 vsize=1529536 CPUtime=1800.23
/proc/6642/stat : 6642 (java) S 6640 6642 6034 0 -1 4202496 48913 0 1 0 179964 59 0 0 15 0 14 0 37768750 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/6642/statm: 382384 43477 1446 10 0 379686 0
[pid=6642/tid=6644] ppid=6640 vsize=1529536 CPUtime=1785.61
/proc/6642/task/6644/stat : 6644 (java) R 6640 6642 6034 0 -1 4202560 19156 0 1 0 178521 40 0 0 25 0 14 0 37768751 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4109300691 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6642/tid=6645] ppid=6640 vsize=1529536 CPUtime=2.21
/proc/6642/task/6645/stat : 6645 (java) S 6640 6642 6034 0 -1 4202560 11080 0 0 0 215 6 0 0 16 0 14 0 37768753 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6646] ppid=6640 vsize=1529536 CPUtime=2.15
/proc/6642/task/6646/stat : 6646 (java) S 6640 6642 6034 0 -1 4202560 10320 0 0 0 208 7 0 0 15 0 14 0 37768753 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6647] ppid=6640 vsize=1529536 CPUtime=7.84
/proc/6642/task/6647/stat : 6647 (java) S 6640 6642 6034 0 -1 4202560 4759 0 0 0 782 2 0 0 15 0 14 0 37768755 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 0 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6648] ppid=6640 vsize=1529536 CPUtime=0
/proc/6642/task/6648/stat : 6648 (java) S 6640 6642 6034 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 37768755 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6649] ppid=6640 vsize=1529536 CPUtime=0
/proc/6642/task/6649/stat : 6649 (java) S 6640 6642 6034 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 14 0 37768755 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6650] ppid=6640 vsize=1529536 CPUtime=0
/proc/6642/task/6650/stat : 6650 (java) S 6640 6642 6034 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 14 0 37768759 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6651] ppid=6640 vsize=1529536 CPUtime=0.63
/proc/6642/task/6651/stat : 6651 (java) S 6640 6642 6034 0 -1 4202560 596 0 0 0 63 0 0 0 16 0 14 0 37768759 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 1 0 0 0
[pid=6642/tid=6652] ppid=6640 vsize=1529536 CPUtime=1.65
/proc/6642/task/6652/stat : 6652 (java) S 6640 6642 6034 0 -1 4202560 1808 0 0 0 165 0 0 0 15 0 14 0 37768760 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6653] ppid=6640 vsize=1529536 CPUtime=0
/proc/6642/task/6653/stat : 6653 (java) S 6640 6642 6034 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 14 0 37768760 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6654] ppid=6640 vsize=1529536 CPUtime=0
/proc/6642/task/6654/stat : 6654 (java) S 6640 6642 6034 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 14 0 37768760 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
[pid=6642/tid=6655] ppid=6640 vsize=1529536 CPUtime=0
/proc/6642/task/6655/stat : 6655 (java) S 6640 6642 6034 0 -1 4202560 4 0 0 0 0 0 0 0 19 0 14 0 37768882 1566244864 43477 1992294400 134512640 134550932 4293607600 18446744073709551615 4294960144 0 4 0 16800975 18446604437858308416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 1529536

Child status: 143
Real time (s): 1796.65
CPU time (s): 1800.27
CPU user time (s): 1799.65
CPU system time (s): 0.614906
CPU usage (%): 100.202
Max. virtual memory (cumulated for all children) (KiB): 1530544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.614906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48914
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37717
involuntary context switches= 18805

runsolver used 3.74343 second user time and 9.41657 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-16 00:32:04
IDJOB=2658722
IDBENCH=25018
IDSOLVER=1164
FILE ID=node018/2658722-1276641124
PBS_JOBID= 11172368
Free space on /tmp= 62484 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2658722-1276641124/watcher-2658722-1276641124 -o /tmp/evaluation-result-2658722-1276641124/solver-2658722-1276641124 -C 1800 -W 2000 -M 1800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2658722-1276641124.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa
RANDOM SEED=1424049702

node018.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.49
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.248
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1816296 kB
Buffers:         56096 kB
Cached:          99604 kB
SwapCached:       6204 kB
Active:          79472 kB
Inactive:        89756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1816296 kB
SwapTotal:     4192956 kB
SwapFree:      4140256 kB
Dirty:            1184 kB
Writeback:           0 kB
AnonPages:       11756 kB
Mapped:          12952 kB
Slab:            51504 kB
PageTables:       4068 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180228 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62484 MiB
End job on node018 at 2010-06-16 01:02:03