Trace number 4101557

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16OPT313 209.34 203.932

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
MD5SUMd237957d2db9f550f313e8cfb724f264
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark313
Best CPU time to get the best result obtained on this benchmark209.34
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 313
Optimality of the best value was proved YES
Number of variables6774
Total number of constraints50
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint20
Maximum length of a constraint3729
Number of terms in the objective function 6774
Biggest coefficient in the objective function 381
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 527695
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 381
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 527695
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4101557-1466224024.opb
0.09/0.11	c reading problem ... 
0.09/0.11	c  objective function found
0.55/0.38	c ... done. Wall clock time 0.277s.
0.55/0.38	c declared #vars     6774
0.55/0.38	c #constraints  100
0.55/0.38	c constraints type 
0.55/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 50
0.55/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.55/0.38	c 100 constraints processed.
0.55/0.38	c objective function length is 6774 literals
1.19/0.60	c SATISFIABLE
1.19/0.60	c OPTIMIZING...
1.19/0.60	c Got one! Elapsed wall clock time (in seconds):0.495
1.19/0.60	o 2668
1.33/0.76	c Got one! Elapsed wall clock time (in seconds):0.649
1.33/0.76	o 408
1.50/0.80	c Got one! Elapsed wall clock time (in seconds):0.69
1.50/0.80	o 378
1.50/0.88	c Got one! Elapsed wall clock time (in seconds):0.772
1.50/0.88	o 376
2.94/2.00	c Got one! Elapsed wall clock time (in seconds):1.893
2.94/2.00	o 375
4.49/3.48	c cleaning 2965 clauses out of 6008 with flag 12907/6008
7.45/6.33	c cleaning 4516 clauses out of 9043 with flag 40807/12008
11.78/10.05	c cleaning 5762 clauses out of 11528 with flag 83878/19009
16.48/14.31	c cleaning 6869 clauses out of 13764 with flag 131930/27009
19.70/17.52	c Got one! Elapsed wall clock time (in seconds):17.417
19.70/17.52	o 373
22.61/20.45	c cleaning 9513 clauses out of 19049 with flag 25371/39164
26.03/23.59	c cleaning 7753 clauses out of 15535 with flag 63428/45164
29.63/27.11	c cleaning 7359 clauses out of 14783 with flag 101370/52165
29.83/27.37	c Got one! Elapsed wall clock time (in seconds):27.26
29.83/27.37	o 361
33.06/30.55	c cleaning 6493 clauses out of 12986 with flag 28158/57728
36.49/33.83	c cleaning 6240 clauses out of 12490 with flag 59794/63725
39.78/37.12	c cleaning 6623 clauses out of 13250 with flag 96785/70725
40.78/38.18	c Got one! Elapsed wall clock time (in seconds):38.07
40.78/38.18	o 360
43.12/40.47	c cleaning 6262 clauses out of 12538 with flag 21420/76636
46.12/43.49	c cleaning 6132 clauses out of 12274 with flag 58578/82635
49.52/46.84	c Got one! Elapsed wall clock time (in seconds):46.738
49.52/46.84	o 358
52.42/49.72	c cleaning 8980 clauses out of 17978 with flag 48207/94473
56.24/53.26	c cleaning 7459 clauses out of 14996 with flag 83810/100471
59.84/56.84	c cleaning 7267 clauses out of 14537 with flag 123902/107472
63.84/60.87	c cleaning 7626 clauses out of 15278 with flag 168590/115480
68.74/65.71	c cleaning 8322 clauses out of 16644 with flag 223408/124472
74.14/71.15	c cleaning 9157 clauses out of 18320 with flag 291895/134472
80.43/77.29	c cleaning 10044 clauses out of 20161 with flag 363463/145471
87.12/83.96	c cleaning 11049 clauses out of 22118 with flag 441517/157472
94.42/91.25	c cleaning 12011 clauses out of 24068 with flag 518765/170471
95.73/92.53	c Got one! Elapsed wall clock time (in seconds):92.427
95.73/92.53	o 352
97.73/94.51	c cleaning 8806 clauses out of 17641 with flag 21370/176055
101.48/97.95	c cleaning 7409 clauses out of 14834 with flag 62795/182055
105.07/101.56	c cleaning 7212 clauses out of 14423 with flag 105373/189055
109.37/105.85	c cleaning 7607 clauses out of 15213 with flag 155606/197057
114.07/110.55	c cleaning 8289 clauses out of 16603 with flag 214836/206056
120.66/116.60	c cleaning 9103 clauses out of 18313 with flag 297903/216055
126.45/122.43	c cleaning 10066 clauses out of 20209 with flag 365933/227056
133.35/129.35	c cleaning 11070 clauses out of 22142 with flag 449716/239057
138.95/134.92	c Got one! Elapsed wall clock time (in seconds):134.809
138.95/134.92	o 345
142.82/138.25	c cleaning 13060 clauses out of 26144 with flag 35827/254132
145.92/141.35	c cleaning 9531 clauses out of 19081 with flag 66676/260129
149.62/145.10	c cleaning 8235 clauses out of 16549 with flag 102524/267129
153.52/148.92	c cleaning 8148 clauses out of 16315 with flag 143500/275131
159.18/154.28	c cleaning 8518 clauses out of 17165 with flag 234059/284129
164.28/159.35	c cleaning 9289 clauses out of 18646 with flag 300993/294129
170.98/166.03	c cleaning 10162 clauses out of 20355 with flag 382223/305129
177.78/172.75	c cleaning 11085 clauses out of 22191 with flag 470028/317130
183.38/178.30	c Got one! Elapsed wall clock time (in seconds):178.198
183.38/178.30	o 343
186.58/181.59	c cleaning 13322 clauses out of 26743 with flag 37092/332770
190.14/184.96	c cleaning 9698 clauses out of 19416 with flag 89130/338768
194.33/189.20	c Got one! Elapsed wall clock time (in seconds):189.089
194.33/189.20	o 339
197.53/192.37	c cleaning 10756 clauses out of 21615 with flag 37601/350666
200.93/195.80	c cleaning 8426 clauses out of 16860 with flag 85267/356669
204.73/199.35	c Got one! Elapsed wall clock time (in seconds):199.241
204.73/199.35	o 333
204.73/199.36	c Got one! Elapsed wall clock time (in seconds):199.251
204.73/199.36	o 329
204.73/199.37	c Got one! Elapsed wall clock time (in seconds):199.265
204.73/199.37	o 323
205.33/199.94	c Got one! Elapsed wall clock time (in seconds):199.829
205.33/199.94	o 320
205.53/200.17	c Got one! Elapsed wall clock time (in seconds):200.06
205.53/200.17	o 313
208.83/203.48	c cleaning 10473 clauses out of 20953 with flag 33101/369194
209.23/203.89	c starts		: 788
209.23/203.89	c conflicts		: 369932
209.23/203.89	c decisions		: 4265276
209.23/203.89	c propagations		: 35769167
209.23/203.89	c inspects		: 204233192
209.23/203.89	c shortcuts		: 0
209.23/203.89	c learnt literals	: 51
209.23/203.89	c learnt binary clauses	: 7
209.23/203.89	c learnt ternary clauses	: 12
209.23/203.89	c learnt constraints	: 369880
209.23/203.89	c ignored constraints	: 0
209.23/203.89	c root simplifications	: 0
209.23/203.89	c removed literals (reason simplification)	: 0
209.23/203.89	c reason swapping (by a shorter reason)	: 0
209.23/203.89	c Calls to reduceDB	: 42
209.23/203.89	c Number of update (reduction) of LBD	: 264263
209.23/203.89	c Imported unit clauses	: 0
209.23/203.89	c number of reductions to clauses (during analyze)	: 0
209.23/203.89	c number of learned constraints concerned by reduction	: 0
209.23/203.89	c number of learning phase by resolution	: 0
209.23/203.89	c number of learning phase by cutting planes	: 0
209.23/203.89	c speed (assignments/second)	: 175781.95551536715
209.23/203.89	c non guided choices	15
209.23/203.89	c learnt constraints type 
209.23/203.89	s OPTIMUM FOUND
209.23/203.89	c Found 18 solution(s)
209.34/203.91	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 
209.34/203.92	c objective function=313
209.34/203.92	c Total wall clock time (in seconds): 203.81

Verifier Data 

OK	313

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-4101557-1466224024/watcher-4101557-1466224024 -o /tmp/evaluation-result-4101557-1466224024/solver-4101557-1466224024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101557-1466224024.opb 

pid=5253
running on 4 cores: 0,2,4,6

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.08 2.08 2.08 3/194 5256
/proc/meminfo: memFree=31592396/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=24328 CPUtime=0 cores=0,2,4,6
/proc/5256/stat : 5256 (runsolver) D 5253 5256 2916 0 -1 4202560 115 0 0 0 0 0 0 0 20 0 1 0 24452937 24911872 152 33554432000 4194304 4338465 140734466784544 140734466782184 249650039991 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/5256/statm: 6082 152 105 36 0 2655 0

[startup+0.100161 s]
/proc/loadavg: 2.08 2.08 2.08 3/194 5256
/proc/meminfo: memFree=31592396/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 4404 0 1 0 9 0 0 0 20 0 18 0 24452937 9787879424 6038 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2389619 6038 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200222 s]
/proc/loadavg: 2.08 2.08 2.08 3/194 5256
/proc/meminfo: memFree=31592396/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 5023 0 1 0 29 1 0 0 20 0 18 0 24452937 9787879424 6979 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2389619 6979 2222 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476

[startup+0.300223 s]
/proc/loadavg: 2.08 2.08 2.08 3/194 5256
/proc/meminfo: memFree=31592396/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9558476 CPUtime=0.55 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 7276 0 1 0 53 2 0 0 20 0 18 0 24452937 9787879424 10887 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2389619 10887 2234 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476

[startup+0.700272 s]
/proc/loadavg: 2.08 2.08 2.08 3/194 5256
/proc/meminfo: memFree=31592396/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9625040 CPUtime=1.33 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 8394 0 1 0 130 3 0 0 20 0 19 0 24452937 9856040960 22751 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2406260 22751 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625040

[startup+1.50087 s]
/proc/loadavg: 2.08 2.08 2.08 3/213 5275
/proc/meminfo: memFree=31494172/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9625040 CPUtime=2.43 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 9761 0 1 0 240 3 0 0 20 0 19 0 24452937 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2406260 29389 2261 9 0 2396937 0
[pid=5256/tid=5258] ppid=5253 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 2916 0 -1 4202560 2453 0 1 0 144 2 0 0 20 0 19 0 24452938 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048667963432 140048499303328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5259] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048629455912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5260] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048628403112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5261] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048627350312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5262] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048626297512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5263] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048625244712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5264] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048624191912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5265] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048623139112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5266] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048622086312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5267] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048492104680 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5268] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048491050744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5269] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048489997832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5270] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048488946320 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5271] ppid=5253 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 2916 0 -1 4202560 3494 0 0 0 47 0 0 0 20 0 19 0 24452942 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048487893432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5272] ppid=5253 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/5256/task/5272/stat : 5272 (java) S 5253 5256 2916 0 -1 4202560 2542 0 0 0 46 0 0 0 20 0 19 0 24452942 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048486840632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5273] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5273/stat : 5273 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048485788024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5274] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5274/stat : 5274 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048484735432 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5275] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5275/stat : 5275 (java) S 5253 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24452978 9856040960 29389 33554432000 1073741824 1073778376 140736073979088 140048483681960 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 9625040

[startup+3.10089 s]
/proc/loadavg: 2.08 2.08 2.08 3/213 5275
/proc/meminfo: memFree=31466920/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9625040 CPUtime=4.06 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 9783 0 1 0 402 4 0 0 20 0 19 0 24452937 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2406260 39629 2261 9 0 2396937 0
[pid=5256/tid=5258] ppid=5253 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 2916 0 -1 4202560 2475 0 1 0 304 2 0 0 20 0 19 0 24452938 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048667961688 140048499272438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5259] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048629455912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5260] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048628403112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5261] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048627350312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5262] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048626297512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5263] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048625244712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5264] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048624191912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5265] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048623139112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5266] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 2916 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048622086312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5267] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 2916 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048492104680 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5268] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048491050744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5269] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048489997832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5270] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048488946320 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5271] ppid=5253 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 2916 0 -1 4202560 3494 0 0 0 49 0 0 0 20 0 19 0 24452942 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048487893432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5272] ppid=5253 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/5256/task/5272/stat : 5272 (java) S 5253 5256 2916 0 -1 4202560 2542 0 0 0 46 0 0 0 20 0 19 0 24452942 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048486840632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5273] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5273/stat : 5273 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048485788024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5274] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5274/stat : 5274 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048484735432 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5275] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5275/stat : 5275 (java) S 5253 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24452978 9856040960 39629 33554432000 1073741824 1073778376 140736073979088 140048483681960 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 9625040

[startup+6.30091 s]
/proc/loadavg: 2.07 2.07 2.08 4/213 5275
/proc/meminfo: memFree=31367892/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9625040 CPUtime=7.45 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 10017 0 1 0 732 13 0 0 20 0 19 0 24452937 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2406260 58087 2279 9 0 2396937 0
[pid=5256/tid=5258] ppid=5253 vsize=9625040 CPUtime=6.21 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 2916 0 -1 4202560 2483 0 1 0 619 2 0 0 20 0 19 0 24452938 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048667962040 140048499038797 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5259] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048629455912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5260] ppid=5253 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 2916 0 -1 4202560 39 0 0 0 0 3 0 0 20 0 19 0 24452939 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048628403112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5261] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 2916 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048627350312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5262] ppid=5253 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 2916 0 -1 4202560 22 0 0 0 1 0 0 0 20 0 19 0 24452939 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048626297512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5263] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 2916 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048625244712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5264] ppid=5253 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 2916 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 19 0 24452939 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048624191912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5265] ppid=5253 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 2916 0 -1 4202560 20 0 0 0 0 1 0 0 20 0 19 0 24452939 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048623139112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5266] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 2916 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 24452939 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048622086312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5267] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 2916 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048492104680 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5268] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048491050744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5269] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048489997832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5270] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048488946320 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5271] ppid=5253 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 2916 0 -1 4202560 3496 0 0 0 53 0 0 0 20 0 19 0 24452942 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048487893432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5272] ppid=5253 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/5256/task/5272/stat : 5272 (java) S 5253 5256 2916 0 -1 4202560 2546 0 0 0 50 0 0 0 20 0 19 0 24452942 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048486840632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5273] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5273/stat : 5273 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048485788024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5274] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5274/stat : 5274 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048484735432 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5275] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5275/stat : 5275 (java) S 5253 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24452978 9856040960 58087 33554432000 1073741824 1073778376 140736073979088 140048483681960 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 9625040


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

[pid=5256/tid=5267] ppid=5253 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 2916 0 -1 4202560 1134 0 0 0 27 2 0 0 20 0 19 0 24452940 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048492104680 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5268] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048491050744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5269] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048489997832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5270] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048488946320 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5271] ppid=5253 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 2916 0 -1 4202560 15255 0 0 0 131 3 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048487893432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5272] ppid=5253 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/5256/task/5272/stat : 5272 (java) S 5253 5256 2916 0 -1 4202560 2837 0 0 0 62 0 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048486840632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5273] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5273/stat : 5273 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048485788024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5274] ppid=5253 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/5256/task/5274/stat : 5274 (java) S 5253 5256 2916 0 -1 4202560 13 0 0 0 1 2 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048484735432 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5275] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5275/stat : 5275 (java) S 5253 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24452978 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048483681960 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 208.63
Current children cumulated vsize (KiB) 9625040

[startup+203.608 s]
/proc/loadavg: 2.08 2.07 2.08 3/214 5281
/proc/meminfo: memFree=29796768/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9625040 CPUtime=209.04 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 38178 0 1 0 20739 165 0 0 20 0 19 0 24452937 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2406260 440400 2287 9 0 2396937 0
[pid=5256/tid=5258] ppid=5253 vsize=9625040 CPUtime=201.53 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 2916 0 -1 4202560 2816 0 1 0 20144 9 0 0 20 0 19 0 24452938 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048667955504 140048499303858 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5259] ppid=5253 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 2916 0 -1 4202560 1195 0 0 0 29 16 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048629455912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5260] ppid=5253 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 2916 0 -1 4202560 1273 0 0 0 41 19 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048628403112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5261] ppid=5253 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 2916 0 -1 4202560 2156 0 0 0 41 25 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048627350312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5262] ppid=5253 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 2916 0 -1 4202560 2656 0 0 0 49 22 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048626297512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5263] ppid=5253 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 2916 0 -1 4202560 1245 0 0 0 36 15 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048625244712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5264] ppid=5253 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 2916 0 -1 4202560 830 0 0 0 34 17 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048624191912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5265] ppid=5253 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 2916 0 -1 4202560 3005 0 0 0 32 18 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048623139112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5266] ppid=5253 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 2916 0 -1 4202560 2505 0 0 0 42 23 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048622086312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5267] ppid=5253 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 2916 0 -1 4202560 1134 0 0 0 27 2 0 0 20 0 19 0 24452940 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048492104680 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5268] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048491050744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5269] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048489997832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5270] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048488946320 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5271] ppid=5253 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 2916 0 -1 4202560 15255 0 0 0 131 3 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048487893432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5272] ppid=5253 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/5256/task/5272/stat : 5272 (java) S 5253 5256 2916 0 -1 4202560 2837 0 0 0 62 0 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048486840632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5273] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5273/stat : 5273 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048485788024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5274] ppid=5253 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/5256/task/5274/stat : 5274 (java) S 5253 5256 2916 0 -1 4202560 13 0 0 0 1 2 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048484735432 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5275] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5275/stat : 5275 (java) S 5253 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24452978 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048483681960 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 209.04
Current children cumulated vsize (KiB) 9625040

[startup+203.801 s]
/proc/loadavg: 2.08 2.07 2.08 3/214 5281
/proc/meminfo: memFree=29796768/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9625040 CPUtime=209.23 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 38178 0 1 0 20758 165 0 0 20 0 19 0 24452937 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2406260 440400 2287 9 0 2396937 0
[pid=5256/tid=5258] ppid=5253 vsize=9625040 CPUtime=201.73 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) R 5253 5256 2916 0 -1 4202560 2816 0 1 0 20164 9 0 0 20 0 19 0 24452938 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048667955504 140048499059289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5259] ppid=5253 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 2916 0 -1 4202560 1195 0 0 0 29 16 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048629455912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5260] ppid=5253 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 2916 0 -1 4202560 1273 0 0 0 41 19 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048628403112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5261] ppid=5253 vsize=9625040 CPUtime=0.66 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 2916 0 -1 4202560 2156 0 0 0 41 25 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048627350312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5262] ppid=5253 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 2916 0 -1 4202560 2656 0 0 0 49 22 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048626297512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5263] ppid=5253 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 2916 0 -1 4202560 1245 0 0 0 36 15 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048625244712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5264] ppid=5253 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 2916 0 -1 4202560 830 0 0 0 34 17 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048624191912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5265] ppid=5253 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 2916 0 -1 4202560 3005 0 0 0 32 18 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048623139112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5266] ppid=5253 vsize=9625040 CPUtime=0.65 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 2916 0 -1 4202560 2505 0 0 0 42 23 0 0 20 0 19 0 24452939 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048622086312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5267] ppid=5253 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 2916 0 -1 4202560 1134 0 0 0 27 2 0 0 20 0 19 0 24452940 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048492104680 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5268] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048491050744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5269] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24452940 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048489997832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5270] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048488946320 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5271] ppid=5253 vsize=9625040 CPUtime=1.34 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) S 5253 5256 2916 0 -1 4202560 15255 0 0 0 131 3 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048487893432 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5272] ppid=5253 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/5256/task/5272/stat : 5272 (java) S 5253 5256 2916 0 -1 4202560 2837 0 0 0 62 0 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048486840632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5273] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5273/stat : 5273 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048485788024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5274] ppid=5253 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/5256/task/5274/stat : 5274 (java) S 5253 5256 2916 0 -1 4202560 13 0 0 0 1 2 0 0 20 0 19 0 24452942 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048484735432 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5275] ppid=5253 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5275/stat : 5275 (java) S 5253 5256 2916 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24452978 9856040960 440400 33554432000 1073741824 1073778376 140736073979088 140048483681960 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 209.23
Current children cumulated vsize (KiB) 9625040

[startup+203.901 s]
/proc/loadavg: 2.08 2.07 2.08 3/214 5281
/proc/meminfo: memFree=29796768/32872528 swapFree=190484/190484
[pid=5256] ppid=5253 vsize=9691604 CPUtime=209.34 cores=0,2,4,6
/proc/5256/stat : 5256 (java) S 5253 5256 2916 0 -1 4202496 38191 0 1 0 20769 165 0 0 20 0 19 0 24452937 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140736073970224 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5256/statm: 2422901 440408 2288 9 0 2413578 0
[pid=5256/tid=5258] ppid=5253 vsize=9691604 CPUtime=201.82 cores=0,2,4,6
/proc/5256/task/5258/stat : 5258 (java) S 5253 5256 2916 0 -1 4202560 2819 0 1 0 20173 9 0 0 20 0 19 0 24452938 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048667964120 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5256/tid=5259] ppid=5253 vsize=9691604 CPUtime=0.45 cores=0,2,4,6
/proc/5256/task/5259/stat : 5259 (java) S 5253 5256 2916 0 -1 4202560 1195 0 0 0 29 16 0 0 20 0 19 0 24452939 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048629455912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5260] ppid=5253 vsize=9691604 CPUtime=0.6 cores=0,2,4,6
/proc/5256/task/5260/stat : 5260 (java) S 5253 5256 2916 0 -1 4202560 1273 0 0 0 41 19 0 0 20 0 19 0 24452939 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048628403112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5261] ppid=5253 vsize=9691604 CPUtime=0.66 cores=0,2,4,6
/proc/5256/task/5261/stat : 5261 (java) S 5253 5256 2916 0 -1 4202560 2156 0 0 0 41 25 0 0 20 0 19 0 24452939 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048627350312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5262] ppid=5253 vsize=9691604 CPUtime=0.71 cores=0,2,4,6
/proc/5256/task/5262/stat : 5262 (java) S 5253 5256 2916 0 -1 4202560 2656 0 0 0 49 22 0 0 20 0 19 0 24452939 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048626297512 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5263] ppid=5253 vsize=9691604 CPUtime=0.51 cores=0,2,4,6
/proc/5256/task/5263/stat : 5263 (java) S 5253 5256 2916 0 -1 4202560 1245 0 0 0 36 15 0 0 20 0 19 0 24452939 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048625244712 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5264] ppid=5253 vsize=9691604 CPUtime=0.51 cores=0,2,4,6
/proc/5256/task/5264/stat : 5264 (java) S 5253 5256 2916 0 -1 4202560 830 0 0 0 34 17 0 0 20 0 19 0 24452939 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048624191912 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5265] ppid=5253 vsize=9691604 CPUtime=0.5 cores=0,2,4,6
/proc/5256/task/5265/stat : 5265 (java) S 5253 5256 2916 0 -1 4202560 3005 0 0 0 32 18 0 0 20 0 19 0 24452939 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048623139112 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5266] ppid=5253 vsize=9691604 CPUtime=0.65 cores=0,2,4,6
/proc/5256/task/5266/stat : 5266 (java) S 5253 5256 2916 0 -1 4202560 2505 0 0 0 42 23 0 0 20 0 19 0 24452939 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048622086312 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5267] ppid=5253 vsize=9691604 CPUtime=0.29 cores=0,2,4,6
/proc/5256/task/5267/stat : 5267 (java) S 5253 5256 2916 0 -1 4202560 1134 0 0 0 27 2 0 0 20 0 19 0 24452940 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048492104680 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5268] ppid=5253 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5268/stat : 5268 (java) S 5253 5256 2916 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24452940 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048491050744 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5269] ppid=5253 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5269/stat : 5269 (java) S 5253 5256 2916 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24452940 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048489997832 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5270] ppid=5253 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5270/stat : 5270 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048488946320 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5271] ppid=5253 vsize=9691604 CPUtime=1.34 cores=0,2,4,6
/proc/5256/task/5271/stat : 5271 (java) R 5253 5256 2916 0 -1 4202560 15256 0 0 0 131 3 0 0 20 0 19 0 24452942 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048487893432 140048670565396 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5256/tid=5272] ppid=5253 vsize=9691604 CPUtime=0.62 cores=0,2,4,6
/proc/5256/task/5272/stat : 5272 (java) S 5253 5256 2916 0 -1 4202560 2838 0 0 0 62 0 0 0 20 0 19 0 24452942 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048486840632 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5256/tid=5273] ppid=5253 vsize=9691604 CPUtime=0 cores=0,2,4,6
/proc/5256/task/5273/stat : 5273 (java) S 5253 5256 2916 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24452942 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048485788024 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5256/tid=5274] ppid=5253 vsize=9691604 CPUtime=0.03 cores=0,2,4,6
/proc/5256/task/5274/stat : 5274 (java) S 5253 5256 2916 0 -1 4202560 13 0 0 0 1 2 0 0 20 0 19 0 24452942 9924202496 440408 33554432000 1073741824 1073778376 140736073979088 140048484735432 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 209.34
Current children cumulated vsize (KiB) 9691604

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5256 and gives
#  childrusage.ru_utime.tv_sec=207
#  childrusage.ru_utime.tv_usec=159506
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=853718
# CPU time returned by wait4() is 209.013
# while last known CPU time is 209.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 203.932
CPU time (s): 209.34
CPU user time (s): 207.69
CPU system time (s): 1.65
CPU usage (%): 102.652
Max. virtual memory (cumulated for all children) (KiB): 9691604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 207.16
system time used= 1.85372
maximum resident set size= 1773880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38200
page faults= 1
swaps= 0
block input operations= 0
block output operations= 280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5479
involuntary context switches= 1971

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.67575 second user time and 0.994848 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-18 06:27:04
IDJOB=4101557
IDBENCH=1765
IDSOLVER=2546
FILE ID=node102/4101557-1466224024
RUNJOBID= node102-1466206108-2932
PBS_JOBID= 19918170
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-air02.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101557-1466224024/watcher-4101557-1466224024 -o /tmp/evaluation-result-4101557-1466224024/solver-4101557-1466224024 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466206108-2932 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4101557-1466224024.opb

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

MD5SUM BENCH= d237957d2db9f550f313e8cfb724f264
RANDOM SEED=1645974304

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31592660 kB
Buffers:           99460 kB
Cached:            90484 kB
SwapCached:         1828 kB
Active:           212520 kB
Inactive:         131860 kB
Active(anon):     155036 kB
Inactive(anon):     1508 kB
Active(file):      57484 kB
Inactive(file):   130352 kB
Unevictable:      190484 kB
Mlocked:          190484 kB
SwapTotal:      67108856 kB
SwapFree:       67099024 kB
Dirty:              1888 kB
Writeback:             0 kB
AnonPages:        411420 kB
Mapped:            15440 kB
Shmem:                 0 kB
Slab:             599124 kB
SReclaimable:      42936 kB
SUnreclaim:       556188 kB
KernelStack:        1760 kB
PageTables:         4992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     884256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 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= 71728 MiB
End job on node102 at 2016-06-18 06:30:28