Trace number 4084656

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 1524.86 1517.25

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K99.opb
MD5SUM827b46126fccb5cb8162396480ca6949
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 benchmark1231.91
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6732
Total number of constraints6932
Number of constraints which are clauses6833
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint99
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 100
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.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4084656-1465282960.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  no objective function found
0.55/0.39	c ... done. Wall clock time 0.275s.
0.55/0.39	c declared #vars     6732
0.55/0.39	c #constraints  6932
0.55/0.39	c constraints type 
0.55/0.39	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 5557
0.55/0.39	c org.sat4j.minisat.constraints.card.MinWatchCard => 99
0.55/0.39	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.55/0.39	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1274
0.55/0.39	c 6932 constraints processed.
1.77/1.17	c cleaning 2496 clauses out of 4993 with flag 26111/5001
2.64/1.94	c cleaning 4214 clauses out of 8487 with flag 63568/11000
3.54/2.84	c cleaning 5607 clauses out of 11269 with flag 109595/18000
4.55/3.89	c cleaning 6805 clauses out of 13661 with flag 168740/26001
5.75/5.07	c cleaning 7857 clauses out of 15853 with flag 233073/35000
7.15/6.40	c cleaning 8959 clauses out of 17993 with flag 293614/45001
8.66/7.90	c cleaning 9555 clauses out of 20034 with flag 356439/56001
10.26/9.56	c cleaning 10216 clauses out of 22477 with flag 424080/68000
12.06/11.34	c cleaning 11055 clauses out of 25262 with flag 496116/81001
14.06/13.34	c cleaning 11938 clauses out of 28206 with flag 574937/95000
16.26/15.53	c cleaning 12887 clauses out of 31271 with flag 665412/110003
18.66/17.98	c cleaning 13601 clauses out of 34380 with flag 759885/126000
21.36/20.66	c cleaning 14392 clauses out of 37778 with flag 861094/143001
24.26/23.55	c cleaning 15226 clauses out of 41384 with flag 968390/161000
27.09/26.39	c cleaning 16462 clauses out of 45160 with flag 1091190/180002
30.19/29.43	c cleaning 17094 clauses out of 48696 with flag 1219933/200000
33.59/32.85	c cleaning 18206 clauses out of 52601 with flag 1353490/221000
37.10/36.35	c cleaning 18880 clauses out of 56393 with flag 1482307/243000
40.79/40.03	c cleaning 19869 clauses out of 60514 with flag 1628230/266002
44.80/44.10	c cleaning 20715 clauses out of 64643 with flag 1786083/290000
48.99/48.27	c cleaning 21528 clauses out of 68929 with flag 1942836/315001
53.59/52.89	c cleaning 22488 clauses out of 73401 with flag 2107560/341001
58.38/57.63	c cleaning 23401 clauses out of 77912 with flag 2283321/368000
63.33/62.57	c cleaning 24607 clauses out of 82511 with flag 2467940/396000
68.83/68.02	c cleaning 25568 clauses out of 86904 with flag 2673521/425001
74.23/73.45	c cleaning 26266 clauses out of 91335 with flag 2874665/455000
80.04/79.21	c cleaning 27179 clauses out of 96073 with flag 3083362/486004
86.13/85.39	c cleaning 28193 clauses out of 100890 with flag 3306678/518000
92.82/92.01	c cleaning 29019 clauses out of 105697 with flag 3538595/551000
99.66/98.86	c cleaning 29914 clauses out of 110678 with flag 3777589/585000
106.75/105.99	c cleaning 30532 clauses out of 115765 with flag 4030198/620002
114.26/113.47	c cleaning 31908 clauses out of 121233 with flag 4291746/656002
122.26/121.47	c cleaning 33237 clauses out of 126323 with flag 4556738/693000
130.35/129.53	c cleaning 33739 clauses out of 131086 with flag 4834865/731000
139.18/138.37	c cleaning 34564 clauses out of 136349 with flag 5128762/770003
148.09/147.21	c cleaning 35505 clauses out of 141782 with flag 5427229/810000
157.39/156.57	c cleaning 36555 clauses out of 147277 with flag 5730797/851000
167.19/166.31	c cleaning 37558 clauses out of 152724 with flag 6046559/893002
177.07/176.14	c cleaning 38759 clauses out of 158164 with flag 6380589/936001
187.37/186.41	c cleaning 39533 clauses out of 163406 with flag 6723277/980002
198.37/197.48	c cleaning 40544 clauses out of 168871 with flag 7092117/1025000
209.98/209.07	c cleaning 41528 clauses out of 174327 with flag 7464907/1071000
222.51/221.44	c cleaning 42510 clauses out of 179799 with flag 7849754/1118000
234.92/233.89	c cleaning 43561 clauses out of 185289 with flag 8244397/1166000
248.36/247.14	c cleaning 44502 clauses out of 190731 with flag 8649358/1215003
262.67/261.46	c cleaning 45443 clauses out of 196226 with flag 9106823/1265000
276.57/275.38	c cleaning 46796 clauses out of 201784 with flag 9540297/1316001
291.63/290.12	c cleaning 47711 clauses out of 206988 with flag 9988591/1368001
307.30/305.69	c cleaning 48231 clauses out of 212276 with flag 10445299/1421000
323.62/321.79	c cleaning 49814 clauses out of 218044 with flag 10926454/1475000
340.14/338.28	c cleaning 50504 clauses out of 223230 with flag 11413342/1530000
357.12/355.02	c cleaning 51586 clauses out of 228727 with flag 11938423/1586001
374.09/371.93	c cleaning 52549 clauses out of 234141 with flag 12463872/1643001
392.27/390.04	c cleaning 53696 clauses out of 239594 with flag 12973933/1701003
410.73/408.41	c cleaning 54737 clauses out of 244891 with flag 13503264/1760000
430.10/427.74	c cleaning 55679 clauses out of 250155 with flag 14047287/1820002
450.50/448.04	c cleaning 56451 clauses out of 255474 with flag 14616986/1881001
471.35/468.87	c cleaning 57494 clauses out of 261022 with flag 15226354/1943001
491.92/489.37	c cleaning 58824 clauses out of 266528 with flag 15817091/2006001
513.60/510.96	c cleaning 59862 clauses out of 271705 with flag 16402861/2070002
536.69/533.95	c cleaning 60219 clauses out of 276841 with flag 17099943/2135000
561.89/559.06	c cleaning 61757 clauses out of 282625 with flag 17974145/2201003
587.07/584.11	c cleaning 63003 clauses out of 287865 with flag 18837397/2268000
613.63/610.57	c cleaning 63900 clauses out of 292862 with flag 19604657/2336000
640.30/637.14	c cleaning 65043 clauses out of 297963 with flag 20355801/2405002
666.38/663.18	c cleaning 65758 clauses out of 302918 with flag 21043884/2475001
694.13/690.74	c cleaning 67004 clauses out of 308159 with flag 21752377/2546000
722.52/719.02	c cleaning 68012 clauses out of 313155 with flag 22506446/2618000
751.06/747.42	c cleaning 69110 clauses out of 318143 with flag 23269725/2691000
780.60/776.84	c cleaning 70064 clauses out of 323032 with flag 24094199/2765000
809.49/805.63	c cleaning 71034 clauses out of 327968 with flag 24837194/2840000
840.82/836.80	c cleaning 71837 clauses out of 332936 with flag 25634302/2916004
871.02/866.97	c cleaning 72952 clauses out of 338095 with flag 26399277/2993000
904.14/899.95	c cleaning 74036 clauses out of 343143 with flag 27209577/3071000
937.49/933.19	c cleaning 75207 clauses out of 348105 with flag 28020688/3150000
972.51/968.02	c cleaning 76170 clauses out of 352898 with flag 28879095/3230000
1008.73/1004.08	c cleaning 77126 clauses out of 357731 with flag 29853104/3311004
1045.99/1041.12	c cleaning 78423 clauses out of 362599 with flag 30859257/3393000
1083.43/1078.35	c cleaning 79168 clauses out of 367176 with flag 31804729/3476000
1121.19/1116.04	c cleaning 80590 clauses out of 372009 with flag 32775534/3560001
1161.70/1156.33	c cleaning 81539 clauses out of 376419 with flag 33785396/3645001
1203.70/1198.12	c cleaning 82448 clauses out of 380879 with flag 34812906/3731000
1245.35/1239.58	c cleaning 83375 clauses out of 385431 with flag 35813306/3818000
1287.02/1280.97	c cleaning 84731 clauses out of 390058 with flag 36844636/3906002
1331.51/1325.21	c cleaning 85289 clauses out of 394327 with flag 37937398/3995002
1377.90/1371.38	c cleaning 86652 clauses out of 399035 with flag 39158488/4085000
1422.91/1416.06	c cleaning 87635 clauses out of 403383 with flag 40183179/4176000
1469.38/1462.11	c cleaning 88665 clauses out of 407748 with flag 41303173/4268001
1516.79/1509.20	c cleaning 89580 clauses out of 412082 with flag 42439098/4361000
1524.74/1517.16	c SATISFIABLE
1524.74/1517.16	c starts		: 34562
1524.74/1517.16	c conflicts		: 4385139
1524.74/1517.16	c decisions		: 78376960
1524.74/1517.16	c propagations		: 1655888084
1524.74/1517.16	c inspects		: 16093261034
1524.74/1517.16	c shortcuts		: 0
1524.74/1517.16	c learnt literals	: 62
1524.74/1517.16	c learnt binary clauses	: 121138
1524.74/1517.16	c learnt ternary clauses	: 128195
1524.74/1517.16	c learnt constraints	: 4385077
1524.74/1517.16	c ignored constraints	: 0
1524.74/1517.16	c root simplifications	: 0
1524.74/1517.16	c removed literals (reason simplification)	: 0
1524.74/1517.16	c reason swapping (by a shorter reason)	: 0
1524.74/1517.16	c Calls to reduceDB	: 89
1524.74/1517.16	c Number of update (reduction) of LBD	: 3570782
1524.74/1517.16	c Imported unit clauses	: 0
1524.74/1517.16	c number of reductions to clauses (during analyze)	: 0
1524.74/1517.16	c number of learned constraints concerned by reduction	: 0
1524.74/1517.16	c number of learning phase by resolution	: 0
1524.74/1517.16	c number of learning phase by cutting planes	: 0
1524.74/1517.16	c speed (assignments/second)	: 1091724.2787935368
1524.74/1517.16	c non guided choices	7809
1524.86/1517.22	c learnt constraints type 
1524.86/1517.22	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 121138
1524.86/1517.22	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 225503
1524.86/1517.22	s SATISFIABLE
1524.86/1517.22	c Found 1 solution(s)
1524.86/1517.23	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 x234 -x235 -x236 -x237 -x238 x239 -x240 x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 x631 -x632 -x633 x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 x2443 -x2444 x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 x3688 -x3689 x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 x4332 -x4333 x4334 -x4335 x4336 -x4337 x4338 -x4339 x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 x4669 -x4670 x4671 -x4672 x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 x5097 -x5098 -x5099 -x5100 -x5101 -x5102 -x5103 -x5104 -x5105 x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 -x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 -x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 -x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 -x5242 -x5243 x5244 -x5245 x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 -x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 -x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 -x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 -x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 -x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 -x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 -x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 -x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 -x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 -x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 -x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 -x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 -x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 -x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 -x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 -x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 x5930 -x5931 x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 -x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 x5999 -x6000 -x6001 -x6002 -x6003 -x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 -x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 -x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 -x6098 x6099 -x6100 x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 -x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 -x6203 -x6204 -x6205 -x6206 -x6207 -x6208 x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 x6247 -x6248 x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 -x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 -x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 -x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 -x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 x6444 -x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 -x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 -x6545 -x6546 x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 -x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 -x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 -x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 x6732 
1524.86/1517.24	c Total wall clock time (in seconds): 1517.128

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-4084656-1465282960/watcher-4084656-1465282960 -o /tmp/evaluation-result-4084656-1465282960/solver-4084656-1465282960 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1465257785-23301 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084656-1465282960.opb 

pid=27602
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.09 2.08 2.09 3/196 27605
/proc/meminfo: memFree=25799940/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/27605/stat : 27605 (java) D 27602 27605 23284 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 110228033 9515008 182 33554432000 1073741824 1073778376 140735168870384 140735168861416 206408859317 0 0 4096 0 18446744072100756772 0 0 17 3 0 0 0 0 0
/proc/27605/statm: 2323 182 140 9 0 71 0

[startup+0.10006 s]
/proc/loadavg: 2.09 2.08 2.09 3/196 27605
/proc/meminfo: memFree=25799940/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 4461 0 1 0 8 1 0 0 20 0 18 0 110228033 9787879424 5586 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2389619 5586 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200219 s]
/proc/loadavg: 2.09 2.08 2.09 3/196 27605
/proc/meminfo: memFree=25799940/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 5091 0 1 0 26 1 0 0 20 0 18 0 110228033 9787879424 6517 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2389619 6517 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300241 s]
/proc/loadavg: 2.09 2.08 2.09 3/196 27605
/proc/meminfo: memFree=25799940/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 7472 0 1 0 53 2 0 0 20 0 18 0 110228033 9787879424 9381 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2389619 9381 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700187 s]
/proc/loadavg: 2.09 2.08 2.09 3/196 27605
/proc/meminfo: memFree=25799940/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 8359 0 1 0 133 3 0 0 20 0 19 0 110228033 9856040960 16172 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2406260 16172 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 9625040

[startup+1.50065 s]
/proc/loadavg: 2.08 2.08 2.09 3/215 27624
/proc/meminfo: memFree=25741520/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 8565 0 1 0 219 3 0 0 20 0 19 0 110228033 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2406260 17213 2268 9 0 2396937 0
[pid=27605/tid=27607] ppid=27602 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/27605/task/27607/stat : 27607 (java) R 27602 27605 23284 0 -1 4202560 2485 0 1 0 143 2 0 0 20 0 19 0 110228034 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817232101688 139817104467146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27608] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27608/stat : 27608 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817076046248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27609] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27609/stat : 27609 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817074993704 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27610] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27610/stat : 27610 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817073940648 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27611] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27611/stat : 27611 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817072888104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27612] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27612/stat : 27612 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817071836072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27613] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27613/stat : 27613 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817070783528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27614] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27614/stat : 27614 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817069730472 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27615] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27615/stat : 27615 (java) S 27602 27605 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817068677928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27616] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) S 27602 27605 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817056266600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27617] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27602 27605 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817055212920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27618] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27602 27605 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817054159752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27619] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817053108496 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27620] ppid=27602 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27602 27605 23284 0 -1 4202560 1894 0 0 0 31 0 0 0 20 0 19 0 110228040 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817052056376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27621] ppid=27602 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) S 27602 27605 23284 0 -1 4202560 2914 0 0 0 43 0 0 0 20 0 19 0 110228040 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817051003832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27622] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817049950968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27623] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817048898632 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27624] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27624/stat : 27624 (java) S 27602 27605 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110228074 9856040960 17213 33554432000 1073741824 1073778376 140736925640672 139817047843880 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.08 2.08 2.09 3/215 27624
/proc/meminfo: memFree=25735148/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9625040 CPUtime=3.85 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 8574 0 1 0 382 3 0 0 20 0 19 0 110228033 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2406260 18754 2268 9 0 2396937 0
[pid=27605/tid=27607] ppid=27602 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/27605/task/27607/stat : 27607 (java) R 27602 27605 23284 0 -1 4202560 2489 0 1 0 302 2 0 0 20 0 19 0 110228034 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817232101656 139817104426344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27608] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27608/stat : 27608 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817076046248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27609] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27609/stat : 27609 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817074993704 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27610] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27610/stat : 27610 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817073940648 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27611] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27611/stat : 27611 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817072888104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27612] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27612/stat : 27612 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817071836072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27613] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27613/stat : 27613 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817070783528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27614] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27614/stat : 27614 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817069730472 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27615] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27615/stat : 27615 (java) S 27602 27605 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817068677928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27616] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) S 27602 27605 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817056266600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27617] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27602 27605 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817055212920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27618] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27602 27605 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817054159752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27619] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817053108496 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27620] ppid=27602 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27602 27605 23284 0 -1 4202560 1896 0 0 0 33 0 0 0 20 0 19 0 110228040 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817052056376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27621] ppid=27602 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) S 27602 27605 23284 0 -1 4202560 2917 0 0 0 45 0 0 0 20 0 19 0 110228040 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817051003832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27622] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817049950968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27623] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817048898632 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27624] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27624/stat : 27624 (java) S 27602 27605 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110228074 9856040960 18754 33554432000 1073741824 1073778376 140736925640672 139817047843880 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040

[startup+6.30082 s]
/proc/loadavg: 2.07 2.08 2.09 3/215 27624
/proc/meminfo: memFree=25720556/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9625040 CPUtime=7.05 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 8595 0 1 0 702 3 0 0 20 0 19 0 110228033 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2406260 22256 2269 9 0 2396937 0
[pid=27605/tid=27607] ppid=27602 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/27605/task/27607/stat : 27607 (java) R 27602 27605 23284 0 -1 4202560 2497 0 1 0 620 2 0 0 20 0 19 0 110228034 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817232092848 139817104436607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27608] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27608/stat : 27608 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817076046248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27609] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27609/stat : 27609 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817074993704 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27610] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27610/stat : 27610 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817073940648 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27611] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27611/stat : 27611 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817072888104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27612] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27612/stat : 27612 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817071836072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27613] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27613/stat : 27613 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817070783528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27614] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27614/stat : 27614 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817069730472 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27615] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27615/stat : 27615 (java) S 27602 27605 23284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110228036 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817068677928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27616] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) S 27602 27605 23284 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817056266600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27617] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27602 27605 23284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817055212920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27618] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27602 27605 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817054159752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27619] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817053108496 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27620] ppid=27602 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27602 27605 23284 0 -1 4202560 1908 0 0 0 34 0 0 0 20 0 19 0 110228040 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817052056376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27621] ppid=27602 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) S 27602 27605 23284 0 -1 4202560 2917 0 0 0 45 0 0 0 20 0 19 0 110228040 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817051003832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27622] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817049950968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27623] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27602 27605 23284 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817048898632 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27624] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27624/stat : 27624 (java) S 27602 27605 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110228074 9856040960 22256 33554432000 1073741824 1073778376 140736925640672 139817047843880 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.05
Current children cumulated vsize (KiB) 9625040


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

[pid=27605/tid=27616] ppid=27602 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) S 27602 27605 23284 0 -1 4202560 323 0 0 0 194 3 0 0 20 0 19 0 110228037 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817056266600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27617] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27602 27605 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817055212920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27618] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27602 27605 23284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817054159752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27619] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817053108496 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27620] ppid=27602 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27602 27605 23284 0 -1 4202560 2332 0 0 0 37 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817052056376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27621] ppid=27602 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) S 27602 27605 23284 0 -1 4202560 2917 0 0 0 45 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817051003832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27622] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817049950968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27623] ppid=27602 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27602 27605 23284 0 -1 4202560 88 0 0 0 26 33 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817048898632 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27624] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27624/stat : 27624 (java) S 27602 27605 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110228074 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817047843880 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1522.84
Current children cumulated vsize (KiB) 9625040

[startup+1516 s]
/proc/loadavg: 2.10 2.03 2.01 3/215 27789
/proc/meminfo: memFree=30520248/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9625040 CPUtime=1523.64 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 14146 0 1 0 152251 113 0 0 20 0 19 0 110228033 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2406260 95293 2291 9 0 2396937 0
[pid=27605/tid=27607] ppid=27602 vsize=9625040 CPUtime=1507.35 cores=1,3,5,7
/proc/27605/task/27607/stat : 27607 (java) R 27602 27605 23284 0 -1 4202560 2628 0 1 0 150701 34 0 0 20 0 19 0 110228034 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817232100640 139817104448458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27608] ppid=27602 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/27605/task/27608/stat : 27608 (java) S 27602 27605 23284 0 -1 4202560 827 0 0 0 114 11 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817076046248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27609] ppid=27602 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/27605/task/27609/stat : 27609 (java) S 27602 27605 23284 0 -1 4202560 569 0 0 0 104 9 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817074993704 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27610] ppid=27602 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/27605/task/27610/stat : 27610 (java) S 27602 27605 23284 0 -1 4202560 506 0 0 0 96 7 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817073940648 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27611] ppid=27602 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/27605/task/27611/stat : 27611 (java) S 27602 27605 23284 0 -1 4202560 881 0 0 0 108 9 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817072888104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27612] ppid=27602 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/27605/task/27612/stat : 27612 (java) S 27602 27605 23284 0 -1 4202560 428 0 0 0 100 6 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817071836072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27613] ppid=27602 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/27605/task/27613/stat : 27613 (java) S 27602 27605 23284 0 -1 4202560 319 0 0 0 100 6 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817070783528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27614] ppid=27602 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/27605/task/27614/stat : 27614 (java) S 27602 27605 23284 0 -1 4202560 491 0 0 0 115 8 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817069730472 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27615] ppid=27602 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/27605/task/27615/stat : 27615 (java) S 27602 27605 23284 0 -1 4202560 578 0 0 0 114 9 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817068677928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27616] ppid=27602 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) S 27602 27605 23284 0 -1 4202560 323 0 0 0 194 3 0 0 20 0 19 0 110228037 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817056266600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27617] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27602 27605 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817055212920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27618] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27602 27605 23284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817054159752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27619] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817053108496 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27620] ppid=27602 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27602 27605 23284 0 -1 4202560 2332 0 0 0 37 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817052056376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27621] ppid=27602 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) S 27602 27605 23284 0 -1 4202560 2917 0 0 0 45 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817051003832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27622] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817049950968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27623] ppid=27602 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27602 27605 23284 0 -1 4202560 88 0 0 0 26 33 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817048898632 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27624] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27624/stat : 27624 (java) S 27602 27605 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110228074 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817047843880 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1523.64
Current children cumulated vsize (KiB) 9625040

[startup+1516.8 s]
/proc/loadavg: 2.10 2.03 2.01 3/215 27789
/proc/meminfo: memFree=30520248/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9625040 CPUtime=1524.44 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 14146 0 1 0 152331 113 0 0 20 0 19 0 110228033 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2406260 95293 2291 9 0 2396937 0
[pid=27605/tid=27607] ppid=27602 vsize=9625040 CPUtime=1508.15 cores=1,3,5,7
/proc/27605/task/27607/stat : 27607 (java) R 27602 27605 23284 0 -1 4202560 2628 0 1 0 150781 34 0 0 20 0 19 0 110228034 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817232100640 139817104467169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27608] ppid=27602 vsize=9625040 CPUtime=1.25 cores=1,3,5,7
/proc/27605/task/27608/stat : 27608 (java) S 27602 27605 23284 0 -1 4202560 827 0 0 0 114 11 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817076046248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27609] ppid=27602 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/27605/task/27609/stat : 27609 (java) S 27602 27605 23284 0 -1 4202560 569 0 0 0 104 9 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817074993704 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27610] ppid=27602 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/27605/task/27610/stat : 27610 (java) S 27602 27605 23284 0 -1 4202560 506 0 0 0 96 7 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817073940648 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27611] ppid=27602 vsize=9625040 CPUtime=1.17 cores=1,3,5,7
/proc/27605/task/27611/stat : 27611 (java) S 27602 27605 23284 0 -1 4202560 881 0 0 0 108 9 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817072888104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27612] ppid=27602 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/27605/task/27612/stat : 27612 (java) S 27602 27605 23284 0 -1 4202560 428 0 0 0 100 6 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817071836072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27613] ppid=27602 vsize=9625040 CPUtime=1.06 cores=1,3,5,7
/proc/27605/task/27613/stat : 27613 (java) S 27602 27605 23284 0 -1 4202560 319 0 0 0 100 6 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817070783528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27614] ppid=27602 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/27605/task/27614/stat : 27614 (java) S 27602 27605 23284 0 -1 4202560 491 0 0 0 115 8 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817069730472 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27615] ppid=27602 vsize=9625040 CPUtime=1.23 cores=1,3,5,7
/proc/27605/task/27615/stat : 27615 (java) S 27602 27605 23284 0 -1 4202560 578 0 0 0 114 9 0 0 20 0 19 0 110228036 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817068677928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27616] ppid=27602 vsize=9625040 CPUtime=1.97 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) S 27602 27605 23284 0 -1 4202560 323 0 0 0 194 3 0 0 20 0 19 0 110228037 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817056266600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27617] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27602 27605 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817055212920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27618] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27602 27605 23284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110228037 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817054159752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27619] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817053108496 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27620] ppid=27602 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27602 27605 23284 0 -1 4202560 2332 0 0 0 37 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817052056376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27621] ppid=27602 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) S 27602 27605 23284 0 -1 4202560 2917 0 0 0 45 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817051003832 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27622] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817049950968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27623] ppid=27602 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27602 27605 23284 0 -1 4202560 88 0 0 0 26 33 0 0 20 0 19 0 110228040 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817048898632 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27624] ppid=27602 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27624/stat : 27624 (java) S 27602 27605 23284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110228074 9856040960 95293 33554432000 1073741824 1073778376 140736925640672 139817047843880 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.44
Current children cumulated vsize (KiB) 9625040

[startup+1517.2 s]
/proc/loadavg: 2.10 2.03 2.01 3/215 27789
/proc/meminfo: memFree=30520124/32872528 swapFree=8144/8144
[pid=27605] ppid=27602 vsize=9691604 CPUtime=1524.86 cores=1,3,5,7
/proc/27605/stat : 27605 (java) S 27602 27605 23284 0 -1 4202496 14166 0 1 0 152373 113 0 0 20 0 19 0 110228033 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 140736925631808 206412218429 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27605/statm: 2422901 95310 2295 9 0 2413578 0
[pid=27605/tid=27607] ppid=27602 vsize=9691604 CPUtime=1508.51 cores=1,3,5,7
/proc/27605/task/27607/stat : 27607 (java) S 27602 27605 23284 0 -1 4202560 2630 0 1 0 150817 34 0 0 20 0 19 0 110228034 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817232102104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27608] ppid=27602 vsize=9691604 CPUtime=1.25 cores=1,3,5,7
/proc/27605/task/27608/stat : 27608 (java) S 27602 27605 23284 0 -1 4202560 827 0 0 0 114 11 0 0 20 0 19 0 110228036 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817076046248 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27609] ppid=27602 vsize=9691604 CPUtime=1.13 cores=1,3,5,7
/proc/27605/task/27609/stat : 27609 (java) S 27602 27605 23284 0 -1 4202560 569 0 0 0 104 9 0 0 20 0 19 0 110228036 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817074993704 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27610] ppid=27602 vsize=9691604 CPUtime=1.03 cores=1,3,5,7
/proc/27605/task/27610/stat : 27610 (java) S 27602 27605 23284 0 -1 4202560 506 0 0 0 96 7 0 0 20 0 19 0 110228036 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817073940648 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27611] ppid=27602 vsize=9691604 CPUtime=1.17 cores=1,3,5,7
/proc/27605/task/27611/stat : 27611 (java) S 27602 27605 23284 0 -1 4202560 881 0 0 0 108 9 0 0 20 0 19 0 110228036 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817072888104 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27612] ppid=27602 vsize=9691604 CPUtime=1.06 cores=1,3,5,7
/proc/27605/task/27612/stat : 27612 (java) S 27602 27605 23284 0 -1 4202560 428 0 0 0 100 6 0 0 20 0 19 0 110228036 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817071836072 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27605/tid=27613] ppid=27602 vsize=9691604 CPUtime=1.06 cores=1,3,5,7
/proc/27605/task/27613/stat : 27613 (java) S 27602 27605 23284 0 -1 4202560 319 0 0 0 100 6 0 0 20 0 19 0 110228036 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817070783528 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27614] ppid=27602 vsize=9691604 CPUtime=1.23 cores=1,3,5,7
/proc/27605/task/27614/stat : 27614 (java) S 27602 27605 23284 0 -1 4202560 491 0 0 0 115 8 0 0 20 0 19 0 110228036 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817069730472 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27615] ppid=27602 vsize=9691604 CPUtime=1.23 cores=1,3,5,7
/proc/27605/task/27615/stat : 27615 (java) S 27602 27605 23284 0 -1 4202560 578 0 0 0 114 9 0 0 20 0 19 0 110228036 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817068677928 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27605/tid=27616] ppid=27602 vsize=9691604 CPUtime=1.97 cores=1,3,5,7
/proc/27605/task/27616/stat : 27616 (java) S 27602 27605 23284 0 -1 4202560 323 0 0 0 194 3 0 0 20 0 19 0 110228037 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817056266600 206412232617 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27617] ppid=27602 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27617/stat : 27617 (java) S 27602 27605 23284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110228037 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817055212920 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27618] ppid=27602 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27618/stat : 27618 (java) S 27602 27605 23284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110228037 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817054159752 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27619] ppid=27602 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27619/stat : 27619 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817053108496 206412240672 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27620] ppid=27602 vsize=9691604 CPUtime=0.37 cores=1,3,5,7
/proc/27605/task/27620/stat : 27620 (java) S 27602 27605 23284 0 -1 4202560 2337 0 0 0 37 0 0 0 20 0 19 0 110228040 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817052056376 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27605/tid=27621] ppid=27602 vsize=9691604 CPUtime=0.47 cores=1,3,5,7
/proc/27605/task/27621/stat : 27621 (java) R 27602 27605 23284 0 -1 4202560 2920 0 0 0 47 0 0 0 20 0 19 0 110228040 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817051003832 139817239818952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27622] ppid=27602 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/27605/task/27622/stat : 27622 (java) S 27602 27605 23284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110228040 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817049950968 206412231740 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27605/tid=27623] ppid=27602 vsize=9691604 CPUtime=0.59 cores=1,3,5,7
/proc/27605/task/27623/stat : 27623 (java) S 27602 27605 23284 0 -1 4202560 88 0 0 0 26 33 0 0 20 0 19 0 110228040 9924202496 95310 33554432000 1073741824 1073778376 140736925640672 139817048898632 206412232617 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1524.86
Current children cumulated vsize (KiB) 9691604

Child status: 10

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27605 and gives
#  childrusage.ru_utime.tv_sec=1519
#  childrusage.ru_utime.tv_usec=940933
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=490773
# CPU time returned by wait4() is 1521.43
# while last known CPU time is 1524.86
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1517.25
CPU time (s): 1524.86
CPU user time (s): 1523.73
CPU system time (s): 1.13
CPU usage (%): 100.502
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1519.94
system time used= 1.49077
maximum resident set size= 606756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14183
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34944
involuntary context switches= 24417

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77597 second user time and 7.2439 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-07 09:02:40
IDJOB=4084656
IDBENCH=90111
IDSOLVER=2546
FILE ID=node133/4084656-1465282960
RUNJOBID= node133-1465257785-23301
PBS_JOBID= 19843288
Free space on /tmp= 71436 MiB

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

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

MD5SUM BENCH= 827b46126fccb5cb8162396480ca6949
RANDOM SEED=1887692793

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25800220 kB
Buffers:           92044 kB
Cached:           656964 kB
SwapCached:         2064 kB
Active:          5949224 kB
Inactive:         361892 kB
Active(anon):    5562992 kB
Inactive(anon):     1428 kB
Active(file):     386232 kB
Inactive(file):   360464 kB
Unevictable:        8144 kB
Mlocked:            8144 kB
SwapTotal:      67108856 kB
SwapFree:       67098268 kB
Dirty:               948 kB
Writeback:             0 kB
AnonPages:       5569096 kB
Mapped:            15564 kB
Shmem:                 0 kB
Slab:             609472 kB
SReclaimable:      52868 kB
SUnreclaim:       556604 kB
KernelStack:        1616 kB
PageTables:        14988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6284416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5152768 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= 71744 MiB
End job on node133 at 2016-06-07 09:27:57