Trace number 4084648

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 2.3.6 Resolution PB16SAT 1411.46 1404.27

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K91.opb
MD5SUM8c2203c9ba90488459f210b4f3d3e3ed
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1411.46
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6188
Total number of constraints6372
Number of constraints which are clauses6281
Number of constraints which are cardinality constraints (but not clauses)91
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint91
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 92
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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.12/0.10	c Pseudo Boolean Optimization by upper bound
0.12/0.10	c --- Begin Solver configuration ---
0.12/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.12/0.10	c Learn all clauses as in MiniSAT
0.12/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.10	c No reason simplification
0.12/0.10	c Glucose 2.1 dynamic restart strategy
0.12/0.10	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.10	c timeout=2147483s
0.12/0.10	c DB Simplification allowed=false
0.12/0.10	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.12/0.10	c --- End Solver configuration ---
0.12/0.10	c solving HOME/instance-4084648-1465283318.opb
0.12/0.10	c reading problem ... 
0.12/0.10	c  no objective function found
0.59/0.37	c ... done. Wall clock time 0.266s.
0.59/0.37	c declared #vars     6188
0.59/0.37	c #constraints  6372
0.59/0.37	c constraints type 
0.59/0.37	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5109
0.59/0.37	c org.sat4j.minisat.constraints.card.MinWatchCard => 91
0.59/0.37	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.59/0.37	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1170
0.59/0.37	c 6372 constraints processed.
1.79/1.13	c cleaning 2489 clauses out of 4991 with flag 24015/5000
2.55/1.87	c cleaning 4243 clauses out of 8495 with flag 64458/11000
3.36/2.68	c cleaning 5604 clauses out of 11248 with flag 114720/18000
4.37/3.66	c cleaning 6791 clauses out of 13643 with flag 170561/26002
5.58/4.81	c cleaning 7837 clauses out of 15848 with flag 232492/35001
6.88/6.11	c cleaning 8991 clauses out of 18009 with flag 294841/45001
8.38/7.60	c cleaning 9783 clauses out of 20015 with flag 363086/56000
9.99/9.29	c cleaning 10321 clauses out of 22235 with flag 433679/68004
11.80/11.01	c cleaning 11185 clauses out of 24911 with flag 506505/81002
13.79/13.00	c cleaning 11983 clauses out of 27724 with flag 597212/95000
15.89/15.16	c cleaning 12842 clauses out of 30741 with flag 686001/110000
18.29/17.53	c cleaning 13906 clauses out of 33899 with flag 782683/126002
20.79/20.04	c cleaning 14694 clauses out of 36991 with flag 883544/143000
23.59/22.88	c cleaning 15462 clauses out of 40297 with flag 999632/161001
26.41/25.67	c cleaning 16521 clauses out of 43834 with flag 1116549/180000
29.31/28.52	c cleaning 17261 clauses out of 47310 with flag 1234800/200001
32.51/31.76	c cleaning 18366 clauses out of 51049 with flag 1369365/221001
35.91/35.20	c cleaning 19066 clauses out of 54682 with flag 1513142/243000
39.61/38.90	c cleaning 19877 clauses out of 58617 with flag 1668092/266001
43.72/42.91	c cleaning 20965 clauses out of 62740 with flag 1832198/290001
47.91/47.14	c cleaning 21744 clauses out of 66773 with flag 1989849/315000
52.31/51.53	c cleaning 22528 clauses out of 71029 with flag 2161320/341000
57.12/56.38	c cleaning 23533 clauses out of 75501 with flag 2345981/368000
62.17/61.38	c cleaning 24324 clauses out of 79968 with flag 2534361/396000
67.47/66.66	c cleaning 25489 clauses out of 84644 with flag 2736706/425000
73.27/72.49	c cleaning 26503 clauses out of 89154 with flag 2948913/455000
79.17/78.39	c cleaning 27584 clauses out of 93653 with flag 3169160/486002
85.37/84.56	c cleaning 27961 clauses out of 98068 with flag 3394839/518001
91.87/91.06	c cleaning 29204 clauses out of 103107 with flag 3639298/551001
99.03/98.11	c cleaning 29973 clauses out of 107902 with flag 3900165/585000
106.04/105.10	c cleaning 31176 clauses out of 112929 with flag 4169155/620000
113.54/112.61	c cleaning 31882 clauses out of 117754 with flag 4442510/656001
121.44/120.51	c cleaning 33016 clauses out of 122873 with flag 4721940/693002
130.14/129.20	c cleaning 33825 clauses out of 127854 with flag 5013135/731001
138.96/137.90	c cleaning 34811 clauses out of 133029 with flag 5314242/770001
148.36/147.33	c cleaning 35894 clauses out of 138218 with flag 5623826/810001
157.97/156.92	c cleaning 36948 clauses out of 143322 with flag 5957104/851000
168.07/167.09	c cleaning 37995 clauses out of 148375 with flag 6296500/893001
179.67/178.42	c cleaning 38938 clauses out of 153380 with flag 6706380/936001
190.77/189.55	c cleaning 39915 clauses out of 158443 with flag 7055885/980002
202.57/201.32	c cleaning 40872 clauses out of 163526 with flag 7449567/1025000
214.77/213.51	c cleaning 41898 clauses out of 168655 with flag 7851813/1071001
227.65/226.27	c cleaning 43020 clauses out of 173756 with flag 8269332/1118000
240.96/239.54	c cleaning 44037 clauses out of 178736 with flag 8686825/1166000
254.56/253.13	c cleaning 45069 clauses out of 183701 with flag 9116706/1215002
269.18/267.55	c cleaning 46021 clauses out of 188630 with flag 9580027/1265000
283.78/282.17	c cleaning 47056 clauses out of 193609 with flag 10032943/1316000
299.49/297.58	c cleaning 47994 clauses out of 198554 with flag 10496646/1368001
316.34/314.16	c cleaning 49029 clauses out of 203559 with flag 11014338/1421000
333.05/330.83	c cleaning 50274 clauses out of 208530 with flag 11541660/1475000
350.18/347.76	c cleaning 51087 clauses out of 213257 with flag 12034356/1530002
367.63/365.14	c cleaning 51862 clauses out of 218169 with flag 12606823/1586001
385.99/383.44	c cleaning 52982 clauses out of 223305 with flag 13241706/1643000
404.08/401.50	c cleaning 53906 clauses out of 228323 with flag 13781323/1701000
422.90/420.25	c cleaning 55114 clauses out of 233417 with flag 14348112/1760000
443.35/440.62	c cleaning 56147 clauses out of 238304 with flag 14947479/1820003
464.83/462.01	c cleaning 56962 clauses out of 243154 with flag 15593373/1881000
486.12/483.23	c cleaning 58271 clauses out of 248192 with flag 16273230/1943000
508.03/505.15	c cleaning 59184 clauses out of 252921 with flag 16993823/2006000
529.90/526.86	c cleaning 60023 clauses out of 257738 with flag 17629550/2070001
554.30/551.20	c cleaning 61359 clauses out of 262713 with flag 18354074/2135000
578.42/575.18	c cleaning 62567 clauses out of 267356 with flag 19056574/2201002
603.08/599.71	c cleaning 63296 clauses out of 271787 with flag 19768713/2268000
628.55/625.18	c cleaning 64430 clauses out of 276488 with flag 20464513/2336000
655.79/652.20	c cleaning 65488 clauses out of 281057 with flag 21238143/2405000
683.98/680.39	c cleaning 66620 clauses out of 285570 with flag 22050026/2475001
712.23/708.47	c cleaning 67436 clauses out of 289949 with flag 22819990/2546000
739.93/736.03	c cleaning 68632 clauses out of 294512 with flag 23618403/2618000
768.46/764.43	c cleaning 69904 clauses out of 298880 with flag 24411393/2691000
798.76/794.57	c cleaning 70730 clauses out of 302979 with flag 25288367/2765003
831.76/827.41	c cleaning 71833 clauses out of 307245 with flag 26329583/2840000
865.57/861.13	c cleaning 72767 clauses out of 311412 with flag 27372153/2916001
900.94/896.35	c cleaning 73932 clauses out of 315645 with flag 28628323/2993002
936.19/931.42	c cleaning 74943 clauses out of 319711 with flag 29799172/3071000
971.29/966.34	c cleaning 75953 clauses out of 323767 with flag 30954663/3150000
1010.07/1004.90	c cleaning 77122 clauses out of 327815 with flag 32269259/3230001
1046.56/1041.35	c cleaning 78372 clauses out of 331692 with flag 33466821/3311000
1083.09/1077.60	c cleaning 79274 clauses out of 335320 with flag 34599899/3393000
1120.11/1114.41	c cleaning 80231 clauses out of 339046 with flag 35658537/3476000
1159.00/1153.11	c cleaning 81065 clauses out of 342816 with flag 36682490/3560001
1197.00/1190.99	c cleaning 82000 clauses out of 346750 with flag 37679805/3645000
1238.18/1231.93	c cleaning 82745 clauses out of 350750 with flag 38762075/3731000
1283.84/1277.37	c cleaning 83904 clauses out of 355005 with flag 40405081/3818000
1329.91/1323.27	c cleaning 85609 clauses out of 359101 with flag 42056583/3906000
1373.56/1366.54	c cleaning 86299 clauses out of 362491 with flag 43328156/3995000
1411.33/1404.18	c SATISFIABLE
1411.33/1404.18	c starts		: 35261
1411.33/1404.18	c conflicts		: 4076220
1411.33/1404.18	c decisions		: 63689863
1411.33/1404.18	c propagations		: 1493071042
1411.33/1404.18	c inspects		: 14839261136
1411.33/1404.18	c shortcuts		: 0
1411.33/1404.18	c learnt literals	: 59
1411.33/1404.18	c learnt binary clauses	: 101684
1411.33/1404.18	c learnt ternary clauses	: 107860
1411.33/1404.18	c learnt constraints	: 4076161
1411.33/1404.18	c ignored constraints	: 0
1411.33/1404.18	c root simplifications	: 0
1411.33/1404.18	c removed literals (reason simplification)	: 0
1411.33/1404.18	c reason swapping (by a shorter reason)	: 0
1411.33/1404.18	c Calls to reduceDB	: 85
1411.33/1404.18	c Number of update (reduction) of LBD	: 3429429
1411.33/1404.18	c Imported unit clauses	: 0
1411.33/1404.18	c number of reductions to clauses (during analyze)	: 0
1411.33/1404.18	c number of learned constraints concerned by reduction	: 0
1411.33/1404.18	c number of learning phase by resolution	: 0
1411.33/1404.18	c number of learning phase by cutting planes	: 0
1411.33/1404.18	c speed (assignments/second)	: 1063585.603169662
1411.33/1404.18	c non guided choices	6875
1411.46/1404.25	c learnt constraints type 
1411.46/1404.25	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 101684
1411.46/1404.25	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 255728
1411.46/1404.25	s SATISFIABLE
1411.46/1404.25	c Found 1 solution(s)
1411.46/1404.26	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 
1411.46/1404.27	c Total wall clock time (in seconds): 1404.166

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4084648-1465283318/watcher-4084648-1465283318 -o /tmp/evaluation-result-4084648-1465283318/solver-4084648-1465283318 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465261709-15102 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084648-1465283318.opb 

pid=18974
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: 2.18 2.22 2.18 3/196 18977
/proc/meminfo: memFree=29952872/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 110263816 98570240 978 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 24065 978 744 9 0 16771 0
[pid=18977/tid=18978] ppid=18974 vsize=96272 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 2 0 110263817 98582528 983 33554432000 1073741824 1073778376 140734301950128 139977883135528 215124624797 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0

[startup+0.10006 s]
/proc/loadavg: 2.18 2.22 2.18 3/196 18977
/proc/meminfo: memFree=29952872/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 4548 0 1 0 11 1 0 0 20 0 18 0 110263816 9787879424 5666 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2389619 5666 2157 9 0 2380296 0
[pid=18977/tid=18978] ppid=18974 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 2435 0 1 0 8 0 0 0 20 0 18 0 110263817 9787879424 5666 33554432000 1073741824 1073778376 140734301950128 139977883138976 215128007949 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558476

[startup+0.200272 s]
/proc/loadavg: 2.18 2.22 2.18 3/196 18977
/proc/meminfo: memFree=29952872/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 6036 0 1 0 30 1 0 0 20 0 18 0 110263816 9787879424 7599 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2389619 7599 2221 9 0 2380296 0
[pid=18977/tid=18978] ppid=18974 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 2452 0 1 0 17 0 0 0 20 0 18 0 110263817 9787879424 7599 33554432000 1073741824 1073778376 140734301950128 139977883138976 139977822954192 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476

[startup+0.300332 s]
/proc/loadavg: 2.18 2.22 2.18 3/196 18977
/proc/meminfo: memFree=29952872/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9558476 CPUtime=0.59 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 7309 0 1 0 58 1 0 0 20 0 18 0 110263816 9787879424 9938 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2389619 9938 2236 9 0 2380296 0
[pid=18977/tid=18978] ppid=18974 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 2455 0 1 0 26 1 0 0 20 0 18 0 110263817 9787879424 9938 33554432000 1073741824 1073778376 140734301950128 139977883138976 139977886425959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 9558476

[startup+0.700297 s]
/proc/loadavg: 2.18 2.22 2.18 3/196 18977
/proc/meminfo: memFree=29952872/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 8090 0 1 0 134 2 0 0 20 0 19 0 110263816 9856040960 15733 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2406260 15733 2261 9 0 2396937 0
[pid=18977/tid=18978] ppid=18974 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 2478 0 1 0 66 1 0 0 20 0 19 0 110263817 9856040960 15733 33554432000 1073741824 1073778376 140734301950128 139977883140680 139977823509443 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.18 2.22 2.18 3/215 18996
/proc/meminfo: memFree=29892204/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9625040 CPUtime=2.23 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 8322 0 1 0 221 2 0 0 20 0 19 0 110263816 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2406260 16772 2267 9 0 2396937 0
[pid=18977/tid=18978] ppid=18974 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 2481 0 1 0 146 1 0 0 20 0 19 0 110263817 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977883138632 139977823541234 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18980] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18980/stat : 18980 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977821871016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18981] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18981/stat : 18981 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977820818472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18982] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18982/stat : 18982 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977819765416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18977/tid=18983] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18983/stat : 18983 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977818712872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18984] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18984/stat : 18984 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977817659816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18985] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18985/stat : 18985 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977721330216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18986] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18986/stat : 18986 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977720277160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18987] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18987/stat : 18987 (java) S 18974 18977 15085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977719224616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18988] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18988/stat : 18988 (java) S 18974 18977 15085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110263818 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977707027304 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18989] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18989/stat : 18989 (java) S 18974 18977 15085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977705973624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18990] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18990/stat : 18990 (java) S 18974 18977 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977704920456 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18991] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18991/stat : 18991 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977703869200 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18992] ppid=18974 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/18977/task/18992/stat : 18992 (java) S 18974 18977 15085 0 -1 4202560 1891 0 0 0 29 0 0 0 20 0 19 0 110263821 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977702816056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18993] ppid=18974 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/18977/task/18993/stat : 18993 (java) S 18974 18977 15085 0 -1 4202560 2678 0 0 0 42 0 0 0 20 0 19 0 110263821 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977701763512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18994] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18994/stat : 18994 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977700710648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18995] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18995/stat : 18995 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977699658312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18996] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18996/stat : 18996 (java) S 18974 18977 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110263854 9856040960 16772 33554432000 1073741824 1073778376 140734301950128 139977698604584 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 9625040

[startup+3.10083 s]
/proc/loadavg: 2.18 2.22 2.18 3/215 18996
/proc/meminfo: memFree=29881228/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9625040 CPUtime=3.87 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 8333 0 1 0 385 2 0 0 20 0 19 0 110263816 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2406260 18826 2267 9 0 2396937 0
[pid=18977/tid=18978] ppid=18974 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 2486 0 1 0 306 1 0 0 20 0 19 0 110263817 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977883140376 139977823488266 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18980] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18980/stat : 18980 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977821871016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18981] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18981/stat : 18981 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977820818472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18982] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18982/stat : 18982 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977819765416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18977/tid=18983] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18983/stat : 18983 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977818712872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18984] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18984/stat : 18984 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977817659816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18985] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18985/stat : 18985 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977721330216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18986] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18986/stat : 18986 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977720277160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18987] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18987/stat : 18987 (java) S 18974 18977 15085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977719224616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18988] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18988/stat : 18988 (java) S 18974 18977 15085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110263818 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977707027304 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18989] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18989/stat : 18989 (java) S 18974 18977 15085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977705973624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18990] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18990/stat : 18990 (java) S 18974 18977 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977704920456 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18991] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18991/stat : 18991 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977703869200 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18992] ppid=18974 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/18977/task/18992/stat : 18992 (java) S 18974 18977 15085 0 -1 4202560 1893 0 0 0 31 0 0 0 20 0 19 0 110263821 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977702816056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18993] ppid=18974 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/18977/task/18993/stat : 18993 (java) S 18974 18977 15085 0 -1 4202560 2682 0 0 0 44 0 0 0 20 0 19 0 110263821 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977701763512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18994] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18994/stat : 18994 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977700710648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18995] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18995/stat : 18995 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977699658312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18996] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18996/stat : 18996 (java) S 18974 18977 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110263854 9856040960 18826 33554432000 1073741824 1073778376 140734301950128 139977698604584 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 9625040

[startup+6.3009 s]
/proc/loadavg: 2.16 2.21 2.18 4/215 18996
/proc/meminfo: memFree=29846288/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9625040 CPUtime=7.08 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 8359 0 1 0 706 2 0 0 20 0 19 0 110263816 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2406260 22359 2268 9 0 2396937 0
[pid=18977/tid=18978] ppid=18974 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 2494 0 1 0 625 1 0 0 20 0 19 0 110263817 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977883131568 139977823552959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18980] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18980/stat : 18980 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977821871016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18981] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18981/stat : 18981 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977820818472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18982] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18982/stat : 18982 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977819765416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18977/tid=18983] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18983/stat : 18983 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977818712872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18984] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18984/stat : 18984 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977817659816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18985] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18985/stat : 18985 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977721330216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18986] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18986/stat : 18986 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977720277160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18987] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18987/stat : 18987 (java) S 18974 18977 15085 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110263817 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977719224616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18988] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18988/stat : 18988 (java) S 18974 18977 15085 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110263818 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977707027304 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18989] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18989/stat : 18989 (java) S 18974 18977 15085 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977705973624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18990] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18990/stat : 18990 (java) S 18974 18977 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977704920456 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18991] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18991/stat : 18991 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977703869200 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18992] ppid=18974 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/18977/task/18992/stat : 18992 (java) S 18974 18977 15085 0 -1 4202560 1910 0 0 0 32 0 0 0 20 0 19 0 110263821 9856040960 22359 33554432000 1073741824 1073778376 140734301950128 139977702816056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18977/tid=18993] ppid=18974 vsize=9625040 CPUtime=0.45 cores=1,3,5,7

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

[pid=18977/tid=18988] ppid=18974 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/18977/task/18988/stat : 18988 (java) S 18974 18977 15085 0 -1 4202560 360 0 0 0 161 3 0 0 20 0 19 0 110263818 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977707027304 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18989] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18989/stat : 18989 (java) S 18974 18977 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977705973624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18990] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18990/stat : 18990 (java) S 18974 18977 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977704920456 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18991] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18991/stat : 18991 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977703869200 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18992] ppid=18974 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/18977/task/18992/stat : 18992 (java) S 18974 18977 15085 0 -1 4202560 1910 0 0 0 32 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977702816056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18977/tid=18993] ppid=18974 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/18977/task/18993/stat : 18993 (java) S 18974 18977 15085 0 -1 4202560 2690 0 0 0 47 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977701763512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18994] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18994/stat : 18994 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977700710648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18995] ppid=18974 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/18977/task/18995/stat : 18995 (java) S 18974 18977 15085 0 -1 4202560 82 0 0 0 23 31 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977699658312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18996] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18996/stat : 18996 (java) S 18974 18977 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110263854 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977698604584 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1408.83
Current children cumulated vsize (KiB) 9625040

[startup+1403.2 s]
/proc/loadavg: 2.31 2.26 2.20 4/215 19032
/proc/meminfo: memFree=29402152/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9625040 CPUtime=1410.43 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 12324 0 1 0 140927 116 0 0 20 0 19 0 110263816 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2406260 87162 2290 9 0 2396937 0
[pid=18977/tid=18978] ppid=18974 vsize=9625040 CPUtime=1395.45 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 2607 0 1 0 139519 26 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977883139360 139977823541234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18980] ppid=18974 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/18977/task/18980/stat : 18980 (java) S 18974 18977 15085 0 -1 4202560 563 0 0 0 99 13 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977821871016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18981] ppid=18974 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/18977/task/18981/stat : 18981 (java) S 18974 18977 15085 0 -1 4202560 339 0 0 0 94 7 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977820818472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18982] ppid=18974 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/18977/task/18982/stat : 18982 (java) S 18974 18977 15085 0 -1 4202560 592 0 0 0 105 9 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977819765416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18983] ppid=18974 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/18977/task/18983/stat : 18983 (java) S 18974 18977 15085 0 -1 4202560 484 0 0 0 92 11 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977818712872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18984] ppid=18974 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/18977/task/18984/stat : 18984 (java) S 18974 18977 15085 0 -1 4202560 305 0 0 0 88 7 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977817659816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18985] ppid=18974 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/18977/task/18985/stat : 18985 (java) S 18974 18977 15085 0 -1 4202560 252 0 0 0 97 9 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977721330216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18986] ppid=18974 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/18977/task/18986/stat : 18986 (java) S 18974 18977 15085 0 -1 4202560 486 0 0 0 94 11 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977720277160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18987] ppid=18974 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/18977/task/18987/stat : 18987 (java) S 18974 18977 15085 0 -1 4202560 396 0 0 0 103 12 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977719224616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18988] ppid=18974 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/18977/task/18988/stat : 18988 (java) S 18974 18977 15085 0 -1 4202560 360 0 0 0 161 3 0 0 20 0 19 0 110263818 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977707027304 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18989] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18989/stat : 18989 (java) S 18974 18977 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977705973624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18990] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18990/stat : 18990 (java) S 18974 18977 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977704920456 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18991] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18991/stat : 18991 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977703869200 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18992] ppid=18974 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/18977/task/18992/stat : 18992 (java) S 18974 18977 15085 0 -1 4202560 1910 0 0 0 32 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977702816056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18977/tid=18993] ppid=18974 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/18977/task/18993/stat : 18993 (java) S 18974 18977 15085 0 -1 4202560 2690 0 0 0 47 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977701763512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18994] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18994/stat : 18994 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977700710648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18995] ppid=18974 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/18977/task/18995/stat : 18995 (java) S 18974 18977 15085 0 -1 4202560 82 0 0 0 23 31 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977699658312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18996] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18996/stat : 18996 (java) S 18974 18977 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110263854 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977698604584 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1410.43
Current children cumulated vsize (KiB) 9625040

[startup+1404 s]
/proc/loadavg: 2.37 2.28 2.20 4/215 19032
/proc/meminfo: memFree=29402276/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9625040 CPUtime=1411.23 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 12324 0 1 0 141007 116 0 0 20 0 19 0 110263816 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2406260 87162 2290 9 0 2396937 0
[pid=18977/tid=18978] ppid=18974 vsize=9625040 CPUtime=1396.25 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) R 18974 18977 15085 0 -1 4202560 2607 0 1 0 139599 26 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977883139360 139977823541234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18980] ppid=18974 vsize=9625040 CPUtime=1.12 cores=1,3,5,7
/proc/18977/task/18980/stat : 18980 (java) S 18974 18977 15085 0 -1 4202560 563 0 0 0 99 13 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977821871016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18981] ppid=18974 vsize=9625040 CPUtime=1.01 cores=1,3,5,7
/proc/18977/task/18981/stat : 18981 (java) S 18974 18977 15085 0 -1 4202560 339 0 0 0 94 7 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977820818472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18982] ppid=18974 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/18977/task/18982/stat : 18982 (java) S 18974 18977 15085 0 -1 4202560 592 0 0 0 105 9 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977819765416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18983] ppid=18974 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/18977/task/18983/stat : 18983 (java) S 18974 18977 15085 0 -1 4202560 484 0 0 0 92 11 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977818712872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18984] ppid=18974 vsize=9625040 CPUtime=0.95 cores=1,3,5,7
/proc/18977/task/18984/stat : 18984 (java) S 18974 18977 15085 0 -1 4202560 305 0 0 0 88 7 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977817659816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18985] ppid=18974 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/18977/task/18985/stat : 18985 (java) S 18974 18977 15085 0 -1 4202560 252 0 0 0 97 9 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977721330216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18986] ppid=18974 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/18977/task/18986/stat : 18986 (java) S 18974 18977 15085 0 -1 4202560 486 0 0 0 94 11 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977720277160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18987] ppid=18974 vsize=9625040 CPUtime=1.15 cores=1,3,5,7
/proc/18977/task/18987/stat : 18987 (java) S 18974 18977 15085 0 -1 4202560 396 0 0 0 103 12 0 0 20 0 19 0 110263817 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977719224616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18988] ppid=18974 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/18977/task/18988/stat : 18988 (java) S 18974 18977 15085 0 -1 4202560 360 0 0 0 161 3 0 0 20 0 19 0 110263818 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977707027304 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18989] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18989/stat : 18989 (java) S 18974 18977 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977705973624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18990] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18990/stat : 18990 (java) S 18974 18977 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110263819 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977704920456 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18991] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18991/stat : 18991 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977703869200 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18992] ppid=18974 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/18977/task/18992/stat : 18992 (java) S 18974 18977 15085 0 -1 4202560 1910 0 0 0 32 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977702816056 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18977/tid=18993] ppid=18974 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/18977/task/18993/stat : 18993 (java) S 18974 18977 15085 0 -1 4202560 2690 0 0 0 47 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977701763512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18994] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18994/stat : 18994 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977700710648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18995] ppid=18974 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/18977/task/18995/stat : 18995 (java) S 18974 18977 15085 0 -1 4202560 82 0 0 0 23 31 0 0 20 0 19 0 110263821 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977699658312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18996] ppid=18974 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18996/stat : 18996 (java) S 18974 18977 15085 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110263854 9856040960 87162 33554432000 1073741824 1073778376 140734301950128 139977698604584 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1411.23
Current children cumulated vsize (KiB) 9625040

[startup+1404.21 s]
/proc/loadavg: 2.37 2.28 2.20 4/215 19032
/proc/meminfo: memFree=29402276/32872528 swapFree=20720/1686580
[pid=18977] ppid=18974 vsize=9691604 CPUtime=1411.46 cores=1,3,5,7
/proc/18977/stat : 18977 (java) S 18974 18977 15085 0 -1 4202496 12364 0 1 0 141030 116 0 0 20 0 19 0 110263816 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 140734301941264 215127982141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18977/statm: 2422901 87197 2294 9 0 2413578 0
[pid=18977/tid=18978] ppid=18974 vsize=9691604 CPUtime=1396.44 cores=1,3,5,7
/proc/18977/task/18978/stat : 18978 (java) S 18974 18977 15085 0 -1 4202560 2610 0 1 0 139618 26 0 0 20 0 19 0 110263817 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977883140824 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18980] ppid=18974 vsize=9691604 CPUtime=1.12 cores=1,3,5,7
/proc/18977/task/18980/stat : 18980 (java) S 18974 18977 15085 0 -1 4202560 563 0 0 0 99 13 0 0 20 0 19 0 110263817 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977821871016 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18981] ppid=18974 vsize=9691604 CPUtime=1.01 cores=1,3,5,7
/proc/18977/task/18981/stat : 18981 (java) S 18974 18977 15085 0 -1 4202560 339 0 0 0 94 7 0 0 20 0 19 0 110263817 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977820818472 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18982] ppid=18974 vsize=9691604 CPUtime=1.14 cores=1,3,5,7
/proc/18977/task/18982/stat : 18982 (java) S 18974 18977 15085 0 -1 4202560 592 0 0 0 105 9 0 0 20 0 19 0 110263817 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977819765416 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18983] ppid=18974 vsize=9691604 CPUtime=1.03 cores=1,3,5,7
/proc/18977/task/18983/stat : 18983 (java) S 18974 18977 15085 0 -1 4202560 484 0 0 0 92 11 0 0 20 0 19 0 110263817 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977818712872 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18984] ppid=18974 vsize=9691604 CPUtime=0.95 cores=1,3,5,7
/proc/18977/task/18984/stat : 18984 (java) S 18974 18977 15085 0 -1 4202560 305 0 0 0 88 7 0 0 20 0 19 0 110263817 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977817659816 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18985] ppid=18974 vsize=9691604 CPUtime=1.06 cores=1,3,5,7
/proc/18977/task/18985/stat : 18985 (java) S 18974 18977 15085 0 -1 4202560 252 0 0 0 97 9 0 0 20 0 19 0 110263817 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977721330216 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18986] ppid=18974 vsize=9691604 CPUtime=1.05 cores=1,3,5,7
/proc/18977/task/18986/stat : 18986 (java) S 18974 18977 15085 0 -1 4202560 486 0 0 0 94 11 0 0 20 0 19 0 110263817 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977720277160 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18987] ppid=18974 vsize=9691604 CPUtime=1.15 cores=1,3,5,7
/proc/18977/task/18987/stat : 18987 (java) S 18974 18977 15085 0 -1 4202560 396 0 0 0 103 12 0 0 20 0 19 0 110263817 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977719224616 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18988] ppid=18974 vsize=9691604 CPUtime=1.64 cores=1,3,5,7
/proc/18977/task/18988/stat : 18988 (java) S 18974 18977 15085 0 -1 4202560 360 0 0 0 161 3 0 0 20 0 19 0 110263818 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977707027304 215127996329 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18977/tid=18989] ppid=18974 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18989/stat : 18989 (java) S 18974 18977 15085 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110263819 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977705973624 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18990] ppid=18974 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18990/stat : 18990 (java) S 18974 18977 15085 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 110263819 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977704920456 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18991] ppid=18974 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18991/stat : 18991 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977703869200 215128004384 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18977/tid=18992] ppid=18974 vsize=9691604 CPUtime=0.33 cores=1,3,5,7
/proc/18977/task/18992/stat : 18992 (java) R 18974 18977 15085 0 -1 4202560 1935 0 0 0 33 0 0 0 20 0 19 0 110263821 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977702815936 139977884949776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18993] ppid=18974 vsize=9691604 CPUtime=0.48 cores=1,3,5,7
/proc/18977/task/18993/stat : 18993 (java) S 18974 18977 15085 0 -1 4202560 2694 0 0 0 48 0 0 0 20 0 19 0 110263821 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977701763512 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18994] ppid=18974 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/18977/task/18994/stat : 18994 (java) S 18974 18977 15085 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110263821 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977700710648 215127995452 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18977/tid=18995] ppid=18974 vsize=9691604 CPUtime=0.54 cores=1,3,5,7
/proc/18977/task/18995/stat : 18995 (java) S 18974 18977 15085 0 -1 4202560 82 0 0 0 23 31 0 0 20 0 19 0 110263821 9924202496 87197 33554432000 1073741824 1073778376 140734301950128 139977699658312 215127996329 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1411.46
Current children cumulated vsize (KiB) 9691604

Child status: 10

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18977 and gives
#  childrusage.ru_utime.tv_sec=1406
#  childrusage.ru_utime.tv_usec=788135
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=530767
# CPU time returned by wait4() is 1408.32
# while last known CPU time is 1411.46
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1404.27
CPU time (s): 1411.46
CPU user time (s): 1410.3
CPU system time (s): 1.16
CPU usage (%): 100.512
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1406.79
system time used= 1.53077
maximum resident set size= 779304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12556
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31897
involuntary context switches= 19751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44202 second user time and 14.9627 second system time

The end

Launcher Data 

Begin job on node135 at 2016-06-07 09:08:38
IDJOB=4084648
IDBENCH=90116
IDSOLVER=2546
FILE ID=node135/4084648-1465283318
RUNJOBID= node135-1465261709-15102
PBS_JOBID= 19843293
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K91.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084648-1465283318/watcher-4084648-1465283318 -o /tmp/evaluation-result-4084648-1465283318/solver-4084648-1465283318 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node135-1465261709-15102 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084648-1465283318.opb

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

MD5SUM BENCH= 8c2203c9ba90488459f210b4f3d3e3ed
RANDOM SEED=1460499292

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29953028 kB
Buffers:          125716 kB
Cached:           229028 kB
SwapCached:         1764 kB
Active:           222100 kB
Inactive:         273208 kB
Active(anon):     141380 kB
Inactive(anon):     1376 kB
Active(file):      80720 kB
Inactive(file):   271832 kB
Unevictable:     1686580 kB
Mlocked:           20720 kB
SwapTotal:      67108856 kB
SwapFree:       67098336 kB
Dirty:              2408 kB
Writeback:             0 kB
AnonPages:       1826156 kB
Mapped:            15456 kB
Shmem:                 0 kB
Slab:             602032 kB
SReclaimable:      45588 kB
SUnreclaim:       556444 kB
KernelStack:        1616 kB
PageTables:         7608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2378364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1785856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71732 MiB
End job on node135 at 2016-06-07 09:32:02