Trace number 3717779

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 NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28MSAT (TO) 1800.02 1782.28

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
MD5SUM4b3e4ac9b9f8acc38ac61fe906d48ca6
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark0.371943
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables6800
Total number of constraints165
Number of soft constraints165
Number of constraints which are clauses85
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint80
Maximum length of a constraint85
Top cost 7728
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 7727
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 86
Number of bits of the biggest sum of numbers7
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.10	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.08/0.10	c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.10	c See www.sat4j.org for details.
0.08/0.10	c version 2.3.2.v20120528
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.13	c Pseudo Boolean Optimization by upper bound
0.08/0.13	c --- Begin Solver configuration ---
0.08/0.13	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.08/0.13	c Learn all clauses as in MiniSAT
0.08/0.13	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.13	c No reason simplification
0.08/0.13	c Armin Biere (Picosat) restarts strategy
0.08/0.13	c Glucose 2 learned constraints deletion strategy
0.08/0.13	c timeout=2147483s
0.08/0.13	c DB Simplification allowed=false
0.08/0.13	c --- End Solver configuration ---
0.08/0.13	c solving HOME/instance-3717779-1338253922.wbo
0.08/0.13	c reading problem ... 
0.51/0.32	c ... done. Wall clock time 0.195s.
0.51/0.32	c declared #vars     6800
0.51/0.32	c internal #vars     6965
0.51/0.32	c #constraints  165
0.51/0.32	c constraints type 
0.51/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85
0.51/0.32	c ignored satisfied constraints => 1
0.51/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 80
0.51/0.32	c 166 constraints processed.
0.51/0.32	c objective function length is 165 literals
1.11/0.57	c SATISFIABLE
1.11/0.57	c OPTIMIZING...
1.11/0.57	c Got one! Elapsed wall clock time (in seconds):0.44
1.11/0.57	o 90
1.11/0.59	c Got one! Elapsed wall clock time (in seconds):0.464
1.11/0.59	o 20
1.41/0.61	c Got one! Elapsed wall clock time (in seconds):0.486
1.41/0.61	o 7
1.41/0.68	c Got one! Elapsed wall clock time (in seconds):0.558
1.41/0.68	o 5
1.68/0.80	c Got one! Elapsed wall clock time (in seconds):0.671
1.68/0.80	o 4
1.78/0.92	c Got one! Elapsed wall clock time (in seconds):0.797
1.78/0.92	o 1
2.08/1.28	c cleaning 3228 clauses out of 6473 with flag 17677/6473
2.86/1.94	c cleaning 4602 clauses out of 9243 with flag 54039/12471
3.68/2.79	c cleaning 5784 clauses out of 11641 with flag 98001/19471
5.01/4.03	c cleaning 6849 clauses out of 13859 with flag 154528/27473
6.52/5.44	c cleaning 7957 clauses out of 16009 with flag 213472/36472
7.93/6.87	c cleaning 8959 clauses out of 18051 with flag 277297/46471
9.75/8.64	c cleaning 9961 clauses out of 20092 with flag 350454/57471
12.79/11.62	c cleaning 11018 clauses out of 22134 with flag 441474/69474
15.60/14.35	c cleaning 12027 clauses out of 24113 with flag 532337/82471
18.75/17.43	c cleaning 13000 clauses out of 26088 with flag 623378/96473
22.13/20.75	c cleaning 14017 clauses out of 28086 with flag 734178/111471
24.59/23.18	c cleaning 15012 clauses out of 30069 with flag 836190/127471
27.82/26.36	c cleaning 16002 clauses out of 32061 with flag 956189/144475
32.07/30.50	c cleaning 16995 clauses out of 34056 with flag 1105785/162472
35.56/33.99	c cleaning 18001 clauses out of 36062 with flag 1243985/181473
39.21/37.55	c cleaning 18987 clauses out of 38060 with flag 1375442/201472
43.96/42.27	c cleaning 20010 clauses out of 40075 with flag 1546990/222474
50.12/48.38	c cleaning 21017 clauses out of 42062 with flag 1727606/244471
56.68/54.90	c cleaning 21980 clauses out of 44045 with flag 1926150/267471
61.31/59.38	c cleaning 22982 clauses out of 46065 with flag 2094039/291471
67.66/65.68	c cleaning 24032 clauses out of 48083 with flag 2331164/316471
75.82/73.79	c cleaning 25018 clauses out of 50052 with flag 2572804/342472
84.17/81.99	c cleaning 26004 clauses out of 52034 with flag 2811745/369472
92.26/89.95	c cleaning 26980 clauses out of 54029 with flag 3059448/397471
98.06/95.67	c cleaning 27985 clauses out of 56049 with flag 3280711/426471
107.52/104.81	c cleaning 29007 clauses out of 58065 with flag 3555422/456472
119.59/116.80	c cleaning 30007 clauses out of 60058 with flag 3840250/487472
130.84/127.94	c cleaning 31016 clauses out of 62052 with flag 4184269/519473
142.44/139.46	c cleaning 32009 clauses out of 64039 with flag 4516707/552476
156.25/153.00	c cleaning 32999 clauses out of 66025 with flag 4827750/586471
163.56/160.33	c cleaning 33932 clauses out of 68026 with flag 5079360/621471
173.88/170.57	c cleaning 35033 clauses out of 70099 with flag 5400160/657476
185.00/181.56	c cleaning 36024 clauses out of 72062 with flag 5731910/694472
196.61/193.03	c cleaning 37005 clauses out of 74038 with flag 6065979/732472
212.27/208.56	c cleaning 38008 clauses out of 76032 with flag 6416121/771471
225.01/221.18	c cleaning 39009 clauses out of 78027 with flag 6752984/811474
241.51/237.52	c cleaning 40005 clauses out of 80019 with flag 7131641/852475
255.26/251.11	c cleaning 40979 clauses out of 82013 with flag 7507900/894474
266.28/262.04	c cleaning 41965 clauses out of 84031 with flag 7826805/937471
279.29/274.95	c cleaning 43024 clauses out of 86066 with flag 8214460/981471
294.42/289.94	c cleaning 44010 clauses out of 88042 with flag 8615071/1026471
317.13/312.20	c cleaning 45005 clauses out of 90032 with flag 9085862/1072471
334.07/329.15	c cleaning 45998 clauses out of 92027 with flag 9538051/1119471
354.83/349.74	c cleaning 47001 clauses out of 94029 with flag 10046840/1167471
371.09/365.81	c cleaning 47994 clauses out of 96028 with flag 10568722/1216471
390.23/384.85	c cleaning 48998 clauses out of 98034 with flag 11070034/1266471
412.71/407.10	c cleaning 50009 clauses out of 100043 with flag 11694985/1317478
424.34/418.57	c cleaning 50984 clauses out of 102029 with flag 12109030/1369473
444.17/438.26	c cleaning 52006 clauses out of 104044 with flag 12586130/1422472
466.38/460.24	c cleaning 53010 clauses out of 106040 with flag 13079572/1476474
491.47/485.18	c cleaning 53996 clauses out of 108028 with flag 13585952/1531472
520.75/514.23	c cleaning 54998 clauses out of 110033 with flag 14182686/1587473
558.32/551.29	c cleaning 56013 clauses out of 112036 with flag 14810934/1644474
586.54/579.32	c cleaning 57002 clauses out of 114021 with flag 15435866/1702472
616.55/608.84	c cleaning 58001 clauses out of 116018 with flag 16055507/1761471
646.99/638.85	c cleaning 58973 clauses out of 118017 with flag 16676679/1821471
678.18/669.85	c cleaning 60008 clauses out of 120044 with flag 17350297/1882471
712.31/703.74	c cleaning 61003 clauses out of 122038 with flag 18081668/1944473
745.41/736.52	c cleaning 61994 clauses out of 124033 with flag 18774161/2007471
767.63/758.47	c cleaning 62981 clauses out of 126039 with flag 19333040/2071471
791.57/782.16	c cleaning 63997 clauses out of 128062 with flag 19975659/2136475
819.18/809.60	c cleaning 65007 clauses out of 130062 with flag 20585091/2202472
858.60/848.79	c cleaning 65999 clauses out of 132054 with flag 21234267/2269471
885.30/875.22	c cleaning 67010 clauses out of 134055 with flag 21912658/2337471
926.35/916.19	c cleaning 68013 clauses out of 136050 with flag 22522171/2406476
951.61/941.15	c cleaning 69000 clauses out of 138032 with flag 23171292/2476471
988.20/977.56	c cleaning 70000 clauses out of 140033 with flag 23958217/2547472
1023.37/1012.40	c cleaning 71001 clauses out of 142034 with flag 24825285/2619473
1054.05/1042.86	c cleaning 72006 clauses out of 144033 with flag 25583571/2692473
1100.65/1089.24	c cleaning 72998 clauses out of 146025 with flag 26214557/2766471
1143.72/1131.98	c cleaning 74000 clauses out of 148029 with flag 26908535/2841473
1184.53/1172.45	c cleaning 75003 clauses out of 150027 with flag 27724758/2917471
1222.88/1210.59	c cleaning 75998 clauses out of 152028 with flag 28567123/2994475
1248.77/1236.17	c cleaning 76992 clauses out of 154026 with flag 29226628/3072471
1278.87/1265.90	c cleaning 78000 clauses out of 156034 with flag 29938173/3151471
1309.41/1296.21	c cleaning 79003 clauses out of 158034 with flag 30666860/3231471
1341.55/1328.15	c cleaning 79996 clauses out of 160033 with flag 31500685/3312473
1380.86/1366.83	c cleaning 80974 clauses out of 162038 with flag 32389171/3394474
1422.90/1408.34	c cleaning 81997 clauses out of 164061 with flag 33163443/3477471
1509.77/1494.21	c cleaning 83021 clauses out of 166064 with flag 34100930/3561471
1574.75/1558.14	c cleaning 84015 clauses out of 168051 with flag 35020752/3646479
1632.64/1615.74	c cleaning 84977 clauses out of 170028 with flag 35849637/3732471
1706.02/1688.82	c cleaning 85997 clauses out of 172054 with flag 36731366/3819474
1758.25/1740.71	c cleaning 86989 clauses out of 174054 with flag 37704142/3907471
1800.02/1782.21	c starts		: 258
1800.02/1782.21	c conflicts		: 3974948
1800.02/1782.21	c decisions		: 5965025
1800.02/1782.21	c propagations		: 298625752
1800.02/1782.21	c inspects		: 13199419564
1800.02/1782.21	c shortcuts		: 0
1800.02/1782.21	c learnt literals	: 0
1800.02/1782.21	c learnt binary clauses	: 0
1800.02/1782.21	c learnt ternary clauses	: 0
1800.02/1782.21	c learnt constraints	: 3974948
1800.02/1782.21	c ignored constraints	: 0
1800.02/1782.21	c root simplifications	: 0
1800.02/1782.21	c removed literals (reason simplification)	: 0
1800.02/1782.21	c reason swapping (by a shorter reason)	: 0
1800.02/1782.21	c Calls to reduceDB	: 84
1800.02/1782.21	c Number of update (reduction) of LBD	: 2456193
1800.02/1782.21	c number of reductions to clauses (during analyze)	: 0
1800.02/1782.21	c number of learned constraints concerned by reduction	: 0
1800.02/1782.21	c number of learning phase by resolution	: 0
1800.02/1782.21	c number of learning phase by cutting planes	: 0
1800.02/1782.21	c speed (assignments/second)	: 167590.8397563464
1800.02/1782.21	c non guided choices	327713
1800.02/1782.24	c learnt constraints type 
1800.02/1782.24	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 154571
1800.02/1782.24	c constraints type 
1800.02/1782.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 85
1800.02/1782.24	c ignored satisfied constraints => 1
1800.02/1782.24	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 81
1800.02/1782.24	c 167 constraints processed.
1800.02/1782.24	s SATISFIABLE
1800.02/1782.25	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 
1800.02/1782.26	c objective function=1
1800.02/1782.26	c Total wall clock time (in seconds): 1782.136

Verifier Data 

OK	1

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3717779-1338253922/watcher-3717779-1338253922 -o /tmp/evaluation-result-3717779-1338253922/solver-3717779-1338253922 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717779-1338253922.wbo 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/195 18591
/proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/18591/stat : 18591 (java) D 18589 18591 13427 0 -1 4202496 240 0 0 0 0 0 0 0 20 0 1 0 291520683 9515008 175 33554432000 1073741824 1073778376 140735278037200 140735278019928 270118241168 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/18591/statm: 2323 175 133 9 0 71 0

[startup+0.034946 s]
/proc/loadavg: 1.92 1.99 1.99 3/195 18591
/proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9016616 CPUtime=0.01 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 2777 0 1 0 1 0 0 0 20 0 10 0 291520683 9233014784 3477 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2254154 3477 1538 9 0 2244855 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9016616

[startup+0.100345 s]
/proc/loadavg: 1.92 1.99 1.99 3/195 18591
/proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9558416 CPUtime=0.08 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 3859 0 1 0 7 1 0 0 20 0 18 0 291520683 9787817984 5062 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2389604 5063 2030 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300297 s]
/proc/loadavg: 1.92 1.99 1.99 3/195 18591
/proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9558416 CPUtime=0.51 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 7175 0 1 0 50 1 0 0 20 0 18 0 291520683 9787817984 9862 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2389604 9862 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558416

[startup+0.700309 s]
/proc/loadavg: 1.92 1.99 1.99 3/195 18591
/proc/meminfo: memFree=30925208/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9624980 CPUtime=1.58 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 11763 0 1 0 155 3 0 0 20 0 19 0 291520683 9855979520 14722 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2406245 14722 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9624980

[startup+1.50079 s]
/proc/loadavg: 1.92 1.99 1.99 3/214 18610
/proc/meminfo: memFree=30866604/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9624980 CPUtime=2.42 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 11849 0 1 0 238 4 0 0 20 0 19 0 291520683 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2406245 23478 2279 9 0 2396937 0
[pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=1.44 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 2475 0 1 0 142 2 0 0 20 0 19 0 291520684 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020355838360 140020179166709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 34 0 0 0 0 0 0 0 20 0 19 0 291520686 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3677 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.44 cores=1,3,5,7
/proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 44 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 23478 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 9624980

[startup+3.10079 s]
/proc/loadavg: 1.93 1.99 1.99 3/214 18610
/proc/meminfo: memFree=30822976/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9624980 CPUtime=4.11 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 11884 0 1 0 404 7 0 0 20 0 19 0 291520683 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2406245 29624 2279 9 0 2396937 0
[pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=2.99 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 2476 0 1 0 297 2 0 0 20 0 19 0 291520684 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179166652 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=0.04 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 19 0 291520686 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.49 cores=1,3,5,7
/proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3678 0 0 0 49 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 29624 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9624980

[startup+6.30062 s]
/proc/loadavg: 1.93 1.99 1.99 3/214 18610
/proc/meminfo: memFree=30805740/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9624980 CPUtime=7.43 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 12403 0 1 0 732 11 0 0 20 0 19 0 291520683 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2406245 34680 2279 9 0 2396937 0
[pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=6.09 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 2478 0 1 0 607 2 0 0 20 0 19 0 291520684 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179200318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 142 0 0 0 0 2 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 150 0 0 0 0 2 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 124 0 0 0 1 0 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 127 0 0 0 1 1 0 0 20 0 19 0 291520685 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 39 0 0 0 9 0 0 0 20 0 19 0 291520686 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.53 cores=1,3,5,7
/proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3689 0 0 0 53 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 34680 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 9624980

[startup+12.7008 s]

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

[pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 291520690 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0.85 cores=1,3,5,7
/proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 93 0 0 0 49 36 0 0 20 0 19 0 291520690 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 543575 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1619.24
Current children cumulated vsize (KiB) 9624980

[startup+1662.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/213 18895
/proc/meminfo: memFree=29535288/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9624980 CPUtime=1679.51 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 20982 0 1 0 167602 349 0 0 20 0 19 0 291520683 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2406245 543609 2280 9 0 2396937 0
[pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=1644.45 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 3524 0 1 0 164417 28 0 0 20 0 19 0 291520684 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179199616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=2.46 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 922 0 0 0 205 41 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=2.72 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 613 0 0 0 236 36 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=2.32 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 606 0 0 0 202 30 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=2.93 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 1011 0 0 0 246 47 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=2.36 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 814 0 0 0 207 29 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=2.58 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 642 0 0 0 222 36 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=2.85 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 859 0 0 0 248 37 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=2.5 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 860 0 0 0 215 35 0 0 20 0 19 0 291520685 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=7.92 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 1718 0 0 0 788 4 0 0 20 0 19 0 291520686 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 95 0 0 0 51 37 0 0 20 0 19 0 291520690 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 543609 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1679.51
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/214 18898
/proc/meminfo: memFree=29515980/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9624980 CPUtime=1739.84 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 21061 0 1 0 173633 351 0 0 20 0 19 0 291520683 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2406245 543665 2280 9 0 2396937 0
[pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=1704.03 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 3525 0 1 0 170374 29 0 0 20 0 19 0 291520684 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179228885 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=2.53 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 922 0 0 0 212 41 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=2.76 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 623 0 0 0 240 36 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=2.37 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 640 0 0 0 207 30 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=2.96 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 1022 0 0 0 249 47 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=2.4 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 814 0 0 0 211 29 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=2.61 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 642 0 0 0 225 36 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=2.89 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 865 0 0 0 252 37 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=2.6 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 871 0 0 0 225 35 0 0 20 0 19 0 291520685 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=8.08 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 1720 0 0 0 804 4 0 0 20 0 19 0 291520686 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0.92 cores=1,3,5,7
/proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 99 0 0 0 53 39 0 0 20 0 19 0 291520690 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 543665 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1739.84
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1782.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/212 18898
/proc/meminfo: memFree=29524188/32873844 swapFree=6872/6872
[pid=18591] ppid=18589 vsize=9624980 CPUtime=1800.02 cores=1,3,5,7
/proc/18591/stat : 18591 (java) S 18589 18591 13427 0 -1 4202496 21115 0 1 0 179649 353 0 0 20 0 19 0 291520683 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140734555751280 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/18591/statm: 2406245 541455 2280 9 0 2396937 0
[pid=18591/tid=18593] ppid=18589 vsize=9624980 CPUtime=1763.54 cores=1,3,5,7
/proc/18591/task/18593/stat : 18593 (java) R 18589 18591 13427 0 -1 4202560 3526 0 1 0 176324 30 0 0 20 0 19 0 291520684 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020355838240 140020179197426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18594] ppid=18589 vsize=9624980 CPUtime=2.58 cores=1,3,5,7
/proc/18591/task/18594/stat : 18594 (java) S 18589 18591 13427 0 -1 4202560 922 0 0 0 217 41 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020317329576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18595] ppid=18589 vsize=9624980 CPUtime=2.78 cores=1,3,5,7
/proc/18591/task/18595/stat : 18595 (java) S 18589 18591 13427 0 -1 4202560 651 0 0 0 241 37 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020316277032 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18596] ppid=18589 vsize=9624980 CPUtime=2.39 cores=1,3,5,7
/proc/18591/task/18596/stat : 18596 (java) S 18589 18591 13427 0 -1 4202560 640 0 0 0 209 30 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020315224488 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18597] ppid=18589 vsize=9624980 CPUtime=2.99 cores=1,3,5,7
/proc/18591/task/18597/stat : 18597 (java) S 18589 18591 13427 0 -1 4202560 1028 0 0 0 252 47 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020314171944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18598] ppid=18589 vsize=9624980 CPUtime=2.44 cores=1,3,5,7
/proc/18591/task/18598/stat : 18598 (java) S 18589 18591 13427 0 -1 4202560 814 0 0 0 215 29 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020313119400 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18599] ppid=18589 vsize=9624980 CPUtime=2.63 cores=1,3,5,7
/proc/18591/task/18599/stat : 18599 (java) S 18589 18591 13427 0 -1 4202560 642 0 0 0 227 36 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020312066856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18591/tid=18600] ppid=18589 vsize=9624980 CPUtime=2.97 cores=1,3,5,7
/proc/18591/task/18600/stat : 18600 (java) S 18589 18591 13427 0 -1 4202560 865 0 0 0 260 37 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020311014312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18601] ppid=18589 vsize=9624980 CPUtime=2.68 cores=1,3,5,7
/proc/18591/task/18601/stat : 18601 (java) S 18589 18591 13427 0 -1 4202560 884 0 0 0 233 35 0 0 20 0 19 0 291520685 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020309961768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18602] ppid=18589 vsize=9624980 CPUtime=8.24 cores=1,3,5,7
/proc/18591/task/18602/stat : 18602 (java) S 18589 18591 13427 0 -1 4202560 1722 0 0 0 820 4 0 0 20 0 19 0 291520686 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020297549928 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18603] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18603/stat : 18603 (java) S 18589 18591 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020178478200 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18604] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18604/stat : 18604 (java) S 18589 18591 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291520687 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020177425544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18605] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18605/stat : 18605 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020176374288 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18606] ppid=18589 vsize=9624980 CPUtime=0.55 cores=1,3,5,7
/proc/18591/task/18606/stat : 18606 (java) S 18589 18591 13427 0 -1 4202560 3694 0 0 0 55 0 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020175321656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18591/tid=18607] ppid=18589 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/18591/task/18607/stat : 18607 (java) S 18589 18591 13427 0 -1 4202560 4439 0 0 0 47 0 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020174269112 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18608] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18608/stat : 18608 (java) S 18589 18591 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020173216760 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18591/tid=18609] ppid=18589 vsize=9624980 CPUtime=0.96 cores=1,3,5,7
/proc/18591/task/18609/stat : 18609 (java) S 18589 18591 13427 0 -1 4202560 103 0 0 0 55 41 0 0 20 0 19 0 291520690 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020172164424 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18591/tid=18610] ppid=18589 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/18591/task/18610/stat : 18610 (java) S 18589 18591 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291520717 9855979520 541455 33554432000 1073741824 1073778376 140734555760144 140020171109160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9624980

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

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

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18591 and gives
#  childrusage.ru_utime.tv_sec=1791
#  childrusage.ru_utime.tv_usec=811603
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=830417
# CPU time returned by wait4() is 1795.64
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1782.28
CPU time (s): 1800.02
CPU user time (s): 1796.49
CPU system time (s): 3.53
CPU usage (%): 100.996
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.81
system time used= 3.83042
maximum resident set size= 2174848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21154
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39980
involuntary context switches= 16849

runsolver used 6.14007 second user time and 16.1335 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-29 03:12:02
IDJOB=3717779
IDBENCH=79176
IDSOLVER=2301
FILE ID=node106/3717779-1338253922
RUNJOBID= node106-1338247868-15528
PBS_JOBID= 14624657
Free space on /tmp= 71332 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-85-80--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717779-1338253922/watcher-3717779-1338253922 -o /tmp/evaluation-result-3717779-1338253922/solver-3717779-1338253922 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3717779-1338253922.wbo

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

MD5SUM BENCH= 4b3e4ac9b9f8acc38ac61fe906d48ca6
RANDOM SEED=1315565531

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30925472 kB
Buffers:           74720 kB
Cached:            56268 kB
SwapCached:         1836 kB
Active:          1111896 kB
Inactive:          42148 kB
Active(anon):    1022308 kB
Inactive(anon):     3012 kB
Active(file):      89588 kB
Inactive(file):    39136 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100488 kB
Dirty:               488 kB
Writeback:             0 kB
AnonPages:       1027932 kB
Mapped:            15828 kB
Shmem:                 0 kB
Slab:             651736 kB
SReclaimable:      93540 kB
SUnreclaim:       558196 kB
KernelStack:        1600 kB
PageTables:         6364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1425472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    964608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71332 MiB
End job on node106 at 2012-05-29 03:41:46