Trace number 4084628

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 811.78 806.826

General information on the benchmark

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

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-4084628-1465285173/watcher-4084628-1465285173 -o /tmp/evaluation-result-4084628-1465285173/solver-4084628-1465285173 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1465253623-5697 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084628-1465285173.opb 

pid=12490
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.12 2.17 2.17 2/194 12493
/proc/meminfo: memFree=30110144/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/12493/stat : 12493 (java) D 12490 12493 5680 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 110452005 2560000 46 33554432000 1073741824 1073778376 140735708376576 140735708373704 271778409767 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/12493/statm: 625 46 37 9 0 29 0

[startup+0.100138 s]
/proc/loadavg: 2.12 2.17 2.17 2/194 12493
/proc/meminfo: memFree=30110144/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 4410 0 1 0 8 1 0 0 20 0 18 0 110452005 9787879424 6030 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2389619 6030 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200227 s]
/proc/loadavg: 2.12 2.17 2.17 2/194 12493
/proc/meminfo: memFree=30110144/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 4964 0 1 0 27 1 0 0 20 0 18 0 110452005 9787879424 6958 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2389619 6958 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300241 s]
/proc/loadavg: 2.12 2.17 2.17 2/194 12493
/proc/meminfo: memFree=30110144/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9558476 CPUtime=0.57 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 7239 0 1 0 55 2 0 0 20 0 18 0 110452005 9787879424 9793 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2389619 9793 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 9558476

[startup+0.700294 s]
/proc/loadavg: 2.12 2.17 2.17 2/194 12493
/proc/meminfo: memFree=30110144/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9625040 CPUtime=1.35 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 9220 0 1 0 133 2 0 0 20 0 19 0 110452005 9856040960 17019 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2406260 17019 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 9625040

[startup+1.50077 s]
/proc/loadavg: 2.11 2.17 2.17 4/213 12512
/proc/meminfo: memFree=30048288/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9625040 CPUtime=2.47 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 14610 0 1 0 243 4 0 0 20 0 19 0 110452005 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2406260 21255 2268 9 0 2396937 0
[pid=12493/tid=12495] ppid=12490 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/12493/task/12495/stat : 12495 (java) R 12490 12493 5680 0 -1 4202560 2421 0 1 0 145 2 0 0 20 0 19 0 110452006 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140576065391272 140575907637307 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12496] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12496/stat : 12496 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140576026884520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12497] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12497/stat : 12497 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140576025831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12498] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12498/stat : 12498 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575906982056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12499] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12499/stat : 12499 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575905929512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12500] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12500/stat : 12500 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575904877480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12501] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12501/stat : 12501 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575903824936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12502] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12502/stat : 12502 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575902771880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12503] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12503/stat : 12503 (java) S 12490 12493 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575901719336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12504] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12504/stat : 12504 (java) S 12490 12493 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575419390312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12505] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12505/stat : 12505 (java) S 12490 12493 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575418336632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12506] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12506/stat : 12506 (java) S 12490 12493 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575417283464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12507] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12507/stat : 12507 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575416232208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12508] ppid=12490 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/12493/task/12508/stat : 12508 (java) S 12490 12493 5680 0 -1 4202560 3281 0 0 0 38 0 0 0 20 0 19 0 110452011 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575415180088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12509] ppid=12490 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/12493/task/12509/stat : 12509 (java) R 12490 12493 5680 0 -1 4202560 7636 0 0 0 56 2 0 0 20 0 19 0 110452011 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575414114568 140576069509991 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12510] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12510/stat : 12510 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575413074680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12511] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12511/stat : 12511 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575412022344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12512] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12512/stat : 12512 (java) S 12490 12493 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452045 9856040960 21255 33554432000 1073741824 1073778376 140735708376576 140575410967592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 9625040

[startup+3.10081 s]
/proc/loadavg: 2.11 2.17 2.17 4/213 12512
/proc/meminfo: memFree=30028196/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9625040 CPUtime=4.26 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 15288 0 1 0 422 4 0 0 20 0 19 0 110452005 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2406260 23736 2268 9 0 2396937 0
[pid=12493/tid=12495] ppid=12490 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/12493/task/12495/stat : 12495 (java) R 12490 12493 5680 0 -1 4202560 2426 0 1 0 305 2 0 0 20 0 19 0 110452006 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140576065391096 140575907692545 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12496] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12496/stat : 12496 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140576026884520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12497] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12497/stat : 12497 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140576025831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12498] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12498/stat : 12498 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575906982056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12499] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12499/stat : 12499 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575905929512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12500] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12500/stat : 12500 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575904877480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12501] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12501/stat : 12501 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575903824936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12502] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12502/stat : 12502 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575902771880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12503] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12503/stat : 12503 (java) S 12490 12493 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575901719336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12504] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12504/stat : 12504 (java) S 12490 12493 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575419390312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12505] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12505/stat : 12505 (java) S 12490 12493 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575418336632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12506] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12506/stat : 12506 (java) S 12490 12493 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575417283464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12507] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12507/stat : 12507 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575416232208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12508] ppid=12490 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/12493/task/12508/stat : 12508 (java) S 12490 12493 5680 0 -1 4202560 3309 0 0 0 41 0 0 0 20 0 19 0 110452011 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575415180088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12509] ppid=12490 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/12493/task/12509/stat : 12509 (java) S 12490 12493 5680 0 -1 4202560 8281 0 0 0 73 2 0 0 20 0 19 0 110452011 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575414127544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12510] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12510/stat : 12510 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575413074680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12511] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12511/stat : 12511 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575412022344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12512] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12512/stat : 12512 (java) S 12490 12493 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452045 9856040960 23736 33554432000 1073741824 1073778376 140735708376576 140575410967592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 9625040

[startup+6.30085 s]
/proc/loadavg: 2.11 2.17 2.17 3/213 12512
/proc/meminfo: memFree=30014624/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9625040 CPUtime=7.48 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 15298 0 1 0 743 5 0 0 20 0 19 0 110452005 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2406260 27026 2269 9 0 2396937 0
[pid=12493/tid=12495] ppid=12490 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/12493/task/12495/stat : 12495 (java) R 12490 12493 5680 0 -1 4202560 2435 0 1 0 624 2 0 0 20 0 19 0 110452006 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140576065384128 140575907691859 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12496] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12496/stat : 12496 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140576026884520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12497] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12497/stat : 12497 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140576025831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12498] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12498/stat : 12498 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575906982056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12499] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12499/stat : 12499 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575905929512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12500] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12500/stat : 12500 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575904877480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12501] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12501/stat : 12501 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575903824936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12502] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12502/stat : 12502 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575902771880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12503] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12503/stat : 12503 (java) S 12490 12493 5680 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110452007 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575901719336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12504] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12504/stat : 12504 (java) S 12490 12493 5680 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575419390312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12505] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12505/stat : 12505 (java) S 12490 12493 5680 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575418336632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12506] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12506/stat : 12506 (java) S 12490 12493 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575417283464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12507] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12507/stat : 12507 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575416232208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12508] ppid=12490 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/12493/task/12508/stat : 12508 (java) S 12490 12493 5680 0 -1 4202560 3309 0 0 0 41 0 0 0 20 0 19 0 110452011 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575415180088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12509] ppid=12490 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/12493/task/12509/stat : 12509 (java) S 12490 12493 5680 0 -1 4202560 8281 0 0 0 74 2 0 0 20 0 19 0 110452011 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575414127544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12510] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12510/stat : 12510 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575413074680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12511] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12511/stat : 12511 (java) S 12490 12493 5680 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575412022344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12512] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12512/stat : 12512 (java) S 12490 12493 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452045 9856040960 27026 33554432000 1073741824 1073778376 140735708376576 140575410967592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.48
Current children cumulated vsize (KiB) 9625040


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

[pid=12493/tid=12497] ppid=12490 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/12493/task/12497/stat : 12497 (java) S 12490 12493 5680 0 -1 4202560 308 0 0 0 47 9 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140576025831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12498] ppid=12490 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/12493/task/12498/stat : 12498 (java) S 12490 12493 5680 0 -1 4202560 343 0 0 0 50 10 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575906982056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12499] ppid=12490 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12493/task/12499/stat : 12499 (java) S 12490 12493 5680 0 -1 4202560 368 0 0 0 42 8 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575905929512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12500] ppid=12490 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/12493/task/12500/stat : 12500 (java) S 12490 12493 5680 0 -1 4202560 248 0 0 0 46 13 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575904877480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12501] ppid=12490 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12493/task/12501/stat : 12501 (java) S 12490 12493 5680 0 -1 4202560 236 0 0 0 42 9 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575903824936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12502] ppid=12490 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12493/task/12502/stat : 12502 (java) S 12490 12493 5680 0 -1 4202560 182 0 0 0 43 8 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575902771880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12503] ppid=12490 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/12493/task/12503/stat : 12503 (java) S 12490 12493 5680 0 -1 4202560 400 0 0 0 48 10 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575901719336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12504] ppid=12490 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/12493/task/12504/stat : 12504 (java) S 12490 12493 5680 0 -1 4202560 252 0 0 0 53 2 0 0 20 0 19 0 110452008 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575419390312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12505] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12505/stat : 12505 (java) S 12490 12493 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575418336632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12506] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12506/stat : 12506 (java) S 12490 12493 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575417283464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12507] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12507/stat : 12507 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575416232208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12508] ppid=12490 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/12493/task/12508/stat : 12508 (java) S 12490 12493 5680 0 -1 4202560 3583 0 0 0 44 0 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575415180088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12509] ppid=12490 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/12493/task/12509/stat : 12509 (java) S 12490 12493 5680 0 -1 4202560 8281 0 0 0 74 2 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575414127544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12510] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12510/stat : 12510 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575413074680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12511] ppid=12490 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/12493/task/12511/stat : 12511 (java) S 12490 12493 5680 0 -1 4202560 48 0 0 0 11 18 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575412022344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12512] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12512/stat : 12512 (java) S 12490 12493 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452045 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575410967592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 809.38
Current children cumulated vsize (KiB) 9625040

[startup+805.601 s]
/proc/loadavg: 2.09 2.11 2.11 3/213 12598
/proc/meminfo: memFree=29382796/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9625040 CPUtime=810.18 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 18281 0 1 0 80919 99 0 0 20 0 19 0 110452005 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2406260 126710 2291 9 0 2396937 0
[pid=12493/tid=12495] ppid=12490 vsize=9625040 CPUtime=803.78 cores=1,3,5,7
/proc/12493/task/12495/stat : 12495 (java) R 12490 12493 5680 0 -1 4202560 2501 0 1 0 80362 16 0 0 20 0 19 0 110452006 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140576065391936 140575907610403 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12496] ppid=12490 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/12493/task/12496/stat : 12496 (java) S 12490 12493 5680 0 -1 4202560 272 0 0 0 47 11 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140576026884520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12497] ppid=12490 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/12493/task/12497/stat : 12497 (java) S 12490 12493 5680 0 -1 4202560 308 0 0 0 47 9 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140576025831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12498] ppid=12490 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/12493/task/12498/stat : 12498 (java) S 12490 12493 5680 0 -1 4202560 343 0 0 0 50 10 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575906982056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12499] ppid=12490 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12493/task/12499/stat : 12499 (java) S 12490 12493 5680 0 -1 4202560 368 0 0 0 42 8 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575905929512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12500] ppid=12490 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/12493/task/12500/stat : 12500 (java) S 12490 12493 5680 0 -1 4202560 248 0 0 0 46 13 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575904877480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12501] ppid=12490 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12493/task/12501/stat : 12501 (java) S 12490 12493 5680 0 -1 4202560 236 0 0 0 42 9 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575903824936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12502] ppid=12490 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12493/task/12502/stat : 12502 (java) S 12490 12493 5680 0 -1 4202560 182 0 0 0 43 8 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575902771880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12503] ppid=12490 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/12493/task/12503/stat : 12503 (java) S 12490 12493 5680 0 -1 4202560 400 0 0 0 48 10 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575901719336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12504] ppid=12490 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/12493/task/12504/stat : 12504 (java) S 12490 12493 5680 0 -1 4202560 252 0 0 0 53 2 0 0 20 0 19 0 110452008 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575419390312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12505] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12505/stat : 12505 (java) S 12490 12493 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575418336632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12506] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12506/stat : 12506 (java) S 12490 12493 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575417283464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12507] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12507/stat : 12507 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575416232208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12508] ppid=12490 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/12493/task/12508/stat : 12508 (java) S 12490 12493 5680 0 -1 4202560 3583 0 0 0 44 0 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575415180088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12509] ppid=12490 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/12493/task/12509/stat : 12509 (java) S 12490 12493 5680 0 -1 4202560 8281 0 0 0 74 2 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575414127544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12510] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12510/stat : 12510 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575413074680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12511] ppid=12490 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/12493/task/12511/stat : 12511 (java) S 12490 12493 5680 0 -1 4202560 48 0 0 0 11 18 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575412022344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12512] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12512/stat : 12512 (java) S 12490 12493 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452045 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575410967592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 810.18
Current children cumulated vsize (KiB) 9625040

[startup+806.408 s]
/proc/loadavg: 2.08 2.11 2.11 3/212 12598
/proc/meminfo: memFree=29382804/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9625040 CPUtime=810.98 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 18281 0 1 0 80999 99 0 0 20 0 19 0 110452005 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2406260 126710 2291 9 0 2396937 0
[pid=12493/tid=12495] ppid=12490 vsize=9625040 CPUtime=804.58 cores=1,3,5,7
/proc/12493/task/12495/stat : 12495 (java) R 12490 12493 5680 0 -1 4202560 2501 0 1 0 80442 16 0 0 20 0 19 0 110452006 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140576065391936 140575907692513 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12496] ppid=12490 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/12493/task/12496/stat : 12496 (java) S 12490 12493 5680 0 -1 4202560 272 0 0 0 47 11 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140576026884520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12497] ppid=12490 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/12493/task/12497/stat : 12497 (java) S 12490 12493 5680 0 -1 4202560 308 0 0 0 47 9 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140576025831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12498] ppid=12490 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/12493/task/12498/stat : 12498 (java) S 12490 12493 5680 0 -1 4202560 343 0 0 0 50 10 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575906982056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12499] ppid=12490 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/12493/task/12499/stat : 12499 (java) S 12490 12493 5680 0 -1 4202560 368 0 0 0 42 8 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575905929512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12500] ppid=12490 vsize=9625040 CPUtime=0.59 cores=1,3,5,7
/proc/12493/task/12500/stat : 12500 (java) S 12490 12493 5680 0 -1 4202560 248 0 0 0 46 13 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575904877480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12501] ppid=12490 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12493/task/12501/stat : 12501 (java) S 12490 12493 5680 0 -1 4202560 236 0 0 0 42 9 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575903824936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12502] ppid=12490 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/12493/task/12502/stat : 12502 (java) S 12490 12493 5680 0 -1 4202560 182 0 0 0 43 8 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575902771880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12503] ppid=12490 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/12493/task/12503/stat : 12503 (java) S 12490 12493 5680 0 -1 4202560 400 0 0 0 48 10 0 0 20 0 19 0 110452007 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575901719336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12504] ppid=12490 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/12493/task/12504/stat : 12504 (java) S 12490 12493 5680 0 -1 4202560 252 0 0 0 53 2 0 0 20 0 19 0 110452008 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575419390312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12505] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12505/stat : 12505 (java) S 12490 12493 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575418336632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12506] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12506/stat : 12506 (java) S 12490 12493 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110452008 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575417283464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12507] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12507/stat : 12507 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575416232208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12508] ppid=12490 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/12493/task/12508/stat : 12508 (java) S 12490 12493 5680 0 -1 4202560 3583 0 0 0 44 0 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575415180088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12509] ppid=12490 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/12493/task/12509/stat : 12509 (java) S 12490 12493 5680 0 -1 4202560 8281 0 0 0 74 2 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575414127544 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12510] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12510/stat : 12510 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575413074680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12511] ppid=12490 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/12493/task/12511/stat : 12511 (java) S 12490 12493 5680 0 -1 4202560 48 0 0 0 11 18 0 0 20 0 19 0 110452011 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575412022344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12512] ppid=12490 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12512/stat : 12512 (java) S 12490 12493 5680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110452045 9856040960 126710 33554432000 1073741824 1073778376 140735708376576 140575410967592 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 810.98
Current children cumulated vsize (KiB) 9625040

[startup+806.802 s]
/proc/loadavg: 2.08 2.11 2.11 3/212 12598
/proc/meminfo: memFree=29382804/32872528 swapFree=13072/1184284
[pid=12493] ppid=12490 vsize=9691604 CPUtime=811.41 cores=1,3,5,7
/proc/12493/stat : 12493 (java) S 12490 12493 5680 0 -1 4202496 18297 0 1 0 81042 99 0 0 20 0 19 0 110452005 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140735708367712 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12493/statm: 2422901 126723 2295 9 0 2413578 0
[pid=12493/tid=12495] ppid=12490 vsize=9691604 CPUtime=804.91 cores=1,3,5,7
/proc/12493/task/12495/stat : 12495 (java) S 12490 12493 5680 0 -1 4202560 2503 0 1 0 80475 16 0 0 20 0 19 0 110452006 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140576065393368 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12496] ppid=12490 vsize=9691604 CPUtime=0.58 cores=1,3,5,7
/proc/12493/task/12496/stat : 12496 (java) S 12490 12493 5680 0 -1 4202560 272 0 0 0 47 11 0 0 20 0 19 0 110452007 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140576026884520 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12497] ppid=12490 vsize=9691604 CPUtime=0.56 cores=1,3,5,7
/proc/12493/task/12497/stat : 12497 (java) S 12490 12493 5680 0 -1 4202560 308 0 0 0 47 9 0 0 20 0 19 0 110452007 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140576025831976 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12498] ppid=12490 vsize=9691604 CPUtime=0.6 cores=1,3,5,7
/proc/12493/task/12498/stat : 12498 (java) S 12490 12493 5680 0 -1 4202560 343 0 0 0 50 10 0 0 20 0 19 0 110452007 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575906982056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12499] ppid=12490 vsize=9691604 CPUtime=0.5 cores=1,3,5,7
/proc/12493/task/12499/stat : 12499 (java) S 12490 12493 5680 0 -1 4202560 368 0 0 0 42 8 0 0 20 0 19 0 110452007 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575905929512 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12500] ppid=12490 vsize=9691604 CPUtime=0.59 cores=1,3,5,7
/proc/12493/task/12500/stat : 12500 (java) S 12490 12493 5680 0 -1 4202560 248 0 0 0 46 13 0 0 20 0 19 0 110452007 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575904877480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12501] ppid=12490 vsize=9691604 CPUtime=0.51 cores=1,3,5,7
/proc/12493/task/12501/stat : 12501 (java) S 12490 12493 5680 0 -1 4202560 236 0 0 0 42 9 0 0 20 0 19 0 110452007 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575903824936 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12502] ppid=12490 vsize=9691604 CPUtime=0.51 cores=1,3,5,7
/proc/12493/task/12502/stat : 12502 (java) S 12490 12493 5680 0 -1 4202560 182 0 0 0 43 8 0 0 20 0 19 0 110452007 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575902771880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12493/tid=12503] ppid=12490 vsize=9691604 CPUtime=0.58 cores=1,3,5,7
/proc/12493/task/12503/stat : 12503 (java) S 12490 12493 5680 0 -1 4202560 400 0 0 0 48 10 0 0 20 0 19 0 110452007 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575901719336 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12504] ppid=12490 vsize=9691604 CPUtime=0.55 cores=1,3,5,7
/proc/12493/task/12504/stat : 12504 (java) S 12490 12493 5680 0 -1 4202560 252 0 0 0 53 2 0 0 20 0 19 0 110452008 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575419390312 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12505] ppid=12490 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12505/stat : 12505 (java) S 12490 12493 5680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110452008 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575418336632 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12506] ppid=12490 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12506/stat : 12506 (java) S 12490 12493 5680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110452008 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575417283464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12507] ppid=12490 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12507/stat : 12507 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575416232208 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12493/tid=12508] ppid=12490 vsize=9691604 CPUtime=0.44 cores=1,3,5,7
/proc/12493/task/12508/stat : 12508 (java) S 12490 12493 5680 0 -1 4202560 3587 0 0 0 44 0 0 0 20 0 19 0 110452011 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575415180088 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12509] ppid=12490 vsize=9691604 CPUtime=0.8 cores=1,3,5,7
/proc/12493/task/12509/stat : 12509 (java) R 12490 12493 5680 0 -1 4202560 8281 0 0 0 78 2 0 0 20 0 19 0 110452011 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575414127544 271790956981 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=12493/tid=12510] ppid=12490 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/12493/task/12510/stat : 12510 (java) S 12490 12493 5680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110452011 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575413074680 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12493/tid=12511] ppid=12490 vsize=9691604 CPUtime=0.29 cores=1,3,5,7
/proc/12493/task/12511/stat : 12511 (java) S 12490 12493 5680 0 -1 4202560 48 0 0 0 11 18 0 0 20 0 19 0 110452011 9924202496 126723 33554432000 1073741824 1073778376 140735708376576 140575412022344 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 811.41
Current children cumulated vsize (KiB) 9691604

Child status: 10
Real time (s): 806.826
CPU time (s): 811.78
CPU user time (s): 810.478
CPU system time (s): 1.3018
CPU usage (%): 100.614
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 810.478
system time used= 1.3018
maximum resident set size= 798560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18300
page faults= 1
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17991
involuntary context switches= 8161

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.24966 second user time and 3.09553 second system time

The end

Launcher Data 

Begin job on node115 at 2016-06-07 09:39:33
IDJOB=4084628
IDBENCH=90139
IDSOLVER=2546
FILE ID=node115/4084628-1465285173
RUNJOBID= node115-1465253623-5697
PBS_JOBID= 19843266
Free space on /tmp= 71740 MiB

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

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

MD5SUM BENCH= a3de6c6ee42f8b511357d3857e721bb4
RANDOM SEED=530474365

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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		: 2666.174
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.174
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:        30110144 kB
Buffers:          111432 kB
Cached:           284804 kB
SwapCached:         2020 kB
Active:           502612 kB
Inactive:         315440 kB
Active(anon):     421860 kB
Inactive(anon):     2308 kB
Active(file):      80752 kB
Inactive(file):   313132 kB
Unevictable:     1184284 kB
Mlocked:           13072 kB
SwapTotal:      67108856 kB
SwapFree:       67098836 kB
Dirty:              1220 kB
Writeback:             0 kB
AnonPages:       1613664 kB
Mapped:            16364 kB
Shmem:                 0 kB
Slab:             616736 kB
SReclaimable:      60592 kB
SUnreclaim:       556144 kB
KernelStack:        1768 kB
PageTables:         7708 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1754420 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1579008 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= 71740 MiB
End job on node115 at 2016-06-07 09:53:00