Trace number 3454354

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 Res//CP 2.3.0SAT (TO)1207959552 1800.37 904.522

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
MD5SUM6eba7367ef128fb0872fe815e4ef2398
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1207959552
Best CPU time to get the best result obtained on this benchmark1800.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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-2010 Daniel Le Berre
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.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	c Number of processors 	8
0.00/0.11	c Pseudo Boolean Optimization
0.00/0.11	c ManyCore solver with 2 solvers running in parallel
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@48e5855a
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.00/0.11	c Expensive reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.00/0.11	c --- Begin Solver configuration ---
0.00/0.11	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@398020cc
0.00/0.11	c Learn all clauses as in MiniSAT
0.00/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.00/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.00/0.11	c No reason simplification
0.00/0.11	c Armin Biere (Picosat) restarts strategy
0.00/0.11	c Glucose learned constraints deletion strategy
0.00/0.11	c timeout=2147483s
0.00/0.11	c DB Simplification allowed=false
0.00/0.11	c --- End Solver configuration ---
0.00/0.11	c solving HOME/instance-3454354-1307191722.opb
0.00/0.11	c reading problem ... 
1.16/0.76	c ... done. Wall clock time 0.643s.
1.16/0.76	c #vars     6651
1.16/0.76	c #constraints  721
1.16/0.76	c constraints type 
1.16/0.76	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
1.16/0.76	c org.sat4j.minisat.constraints.card.MinWatchCard => 331
1.16/0.76	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 339
1.16/0.76	c constraints type 
1.16/0.76	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
1.16/0.76	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
1.16/0.76	c org.sat4j.pb.constraints.pb.MaxWatchPb => 339
2.09/1.21	c  And the winner is CuttingPlanes
2.31/1.27	c SATISFIABLE
2.31/1.27	c OPTIMIZING...
2.31/1.27	c Got one! Elapsed wall clock time (in seconds):1.151
2.31/1.27	o 2147483647
3.41/1.73	c  And the winner is CuttingPlanes
3.54/1.83	c Got one! Elapsed wall clock time (in seconds):1.71
3.54/1.83	o 2147483646
4.17/2.14	c  And the winner is CuttingPlanes
4.31/2.34	c Got one! Elapsed wall clock time (in seconds):2.214
4.31/2.34	o 2147483645
5.30/2.81	c  And the winner is CuttingPlanes
5.30/2.88	c Got one! Elapsed wall clock time (in seconds):2.769
5.30/2.88	o 2147483644
6.00/3.28	c  And the winner is CuttingPlanes
6.21/3.39	c Got one! Elapsed wall clock time (in seconds):3.272
6.21/3.39	o 2147483643
7.05/3.81	c  And the winner is CuttingPlanes
7.05/3.89	c Got one! Elapsed wall clock time (in seconds):3.775
7.05/3.89	o 2147483642
7.94/4.30	c  And the winner is CuttingPlanes
7.94/4.39	c Got one! Elapsed wall clock time (in seconds):4.278
7.94/4.39	o 2147483641
8.40/4.61	c  And the winner is CuttingPlanes
8.47/4.89	c Got one! Elapsed wall clock time (in seconds):4.78
8.47/4.89	o 2147483640
9.27/5.32	c  And the winner is CuttingPlanes
9.35/5.40	c Got one! Elapsed wall clock time (in seconds):5.283
9.35/5.40	o 2147483639
10.17/5.82	c  And the winner is CuttingPlanes
10.25/5.90	c Got one! Elapsed wall clock time (in seconds):5.786
10.25/5.90	o 2147483638
11.08/6.33	c  And the winner is CuttingPlanes
11.19/6.40	c Got one! Elapsed wall clock time (in seconds):6.289
11.19/6.40	o 2147483637
11.81/6.79	c  And the winner is CuttingPlanes
12.02/6.91	c Got one! Elapsed wall clock time (in seconds):6.792
12.02/6.91	o 2147483636
12.82/7.30	c  And the winner is CuttingPlanes
12.87/7.41	c Got one! Elapsed wall clock time (in seconds):7.295
12.87/7.41	o 2147483635
13.48/7.81	c  And the winner is CuttingPlanes
13.71/7.91	c Got one! Elapsed wall clock time (in seconds):7.798
13.71/7.91	o 2147483634
29.25/15.62	c  And the winner is CuttingPlanes
29.35/15.94	c Got one! Elapsed wall clock time (in seconds):15.829
29.35/15.94	o 2147483633
43.49/23.11	c  And the winner is CuttingPlanes
43.76/23.47	c Got one! Elapsed wall clock time (in seconds):23.358
43.76/23.47	o 2147483632
58.49/30.88	c  And the winner is CuttingPlanes
58.69/31.01	c Got one! Elapsed wall clock time (in seconds):30.891
58.69/31.01	o 2147483631
72.88/38.16	c  And the winner is CuttingPlanes
73.05/38.53	c Got one! Elapsed wall clock time (in seconds):38.42
73.05/38.53	o 2147483630
87.19/45.68	c  And the winner is CuttingPlanes
87.40/46.06	c Got one! Elapsed wall clock time (in seconds):45.949
87.40/46.06	o 2147483629
101.67/53.21	c  And the winner is CuttingPlanes
101.72/53.59	c Got one! Elapsed wall clock time (in seconds):53.478
101.72/53.59	o 2147483628
105.33/55.46	c  And the winner is Resolution
107.09/57.21	c Got one! Elapsed wall clock time (in seconds):57.099
107.09/57.21	o 1610612736
113.54/60.41	c  And the winner is Resolution
113.96/60.84	c Got one! Elapsed wall clock time (in seconds):60.723
113.96/60.84	o 1342177280
119.31/63.52	c  And the winner is Resolution
120.23/64.44	c Got one! Elapsed wall clock time (in seconds):64.321
120.23/64.44	o 1207959552
228.53/118.52	c cleaning 4258 clauses out of 8532 with flag 5003/8533
379.44/193.99	c cleaning 5138 clauses out of 10289 with flag 11018/14548
560.22/284.35	c cleaning 6058 clauses out of 12133 with flag 18000/21530
730.22/369.32	c cleaning 7022 clauses out of 14075 with flag 26000/29530
1014.38/511.45	c cleaning 8025 clauses out of 16053 with flag 35000/38530
1373.77/691.11	c cleaning 8989 clauses out of 18028 with flag 45000/48530
1638.35/823.48	c cleaning 9512 clauses out of 19040 with flag 55001/58531
1800.10/904.34	c starts		: 117
1800.10/904.34	c conflicts		: 62761
1800.10/904.34	c decisions		: 410374
1800.10/904.34	c propagations		: 57752100
1800.10/904.34	c inspects		: 1443380001
1800.10/904.34	c shortcuts		: 0
1800.10/904.34	c learnt literals	: 1
1800.10/904.34	c learnt binary clauses	: 0
1800.10/904.34	c learnt ternary clauses	: 0
1800.10/904.34	c learnt constraints	: 62760
1800.10/904.34	c ignored constraints	: 0
1800.10/904.34	c root simplifications	: 0
1800.10/904.34	c removed literals (reason simplification)	: 2992763
1800.10/904.34	c reason swapping (by a shorter reason)	: 0
1800.10/904.34	c Calls to reduceDB	: 7
1800.10/904.34	c number of reductions to clauses (during analyze)	: 0
1800.10/904.34	c number of learned constraints concerned by reduction	: 0
1800.10/904.34	c number of learning phase by resolution	: 0
1800.10/904.34	c number of learning phase by cutting planes	: 0
1800.10/904.34	c speed (assignments/second)	: 68760.14368257437
1800.10/904.34	c non guided choices	34120
1800.10/904.36	c learnt constraints type 
1800.10/904.36	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 13758
1800.10/904.36	c constraints type 
1800.10/904.36	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 51
1800.10/904.36	c org.sat4j.minisat.constraints.card.MinWatchCard => 331
1800.10/904.36	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 340
1800.10/904.36	c constraints type 
1800.10/904.36	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 51
1800.10/904.36	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 331
1800.10/904.36	c org.sat4j.pb.constraints.pb.MaxWatchPb => 340
1800.10/904.36	s SATISFIABLE
1800.10/904.37	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 
1800.10/904.38	c objective function=1207959552
1800.10/904.38	c Total wall clock time (in seconds): 904.262

Verifier Data 

OK	1207959552

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3454354-1307191722/watcher-3454354-1307191722 -o /tmp/evaluation-result-3454354-1307191722/solver-3454354-1307191722 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454354-1307191722.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.86 3.84 3.70 3/556 27700
/proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 4638 0 1 0 0 0 0 0 25 0 2 0 830770152 10694979584 4339 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2611079 4354 917 9 0 2602235 0
[pid=27700/tid=27701] ppid=27698 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 5982 0 1 0 0 0 0 0 25 0 2 0 830770153 10694979584 6797 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 1 0 0 0

[startup+0.123644 s]
/proc/loadavg: 3.86 3.84 3.70 3/556 27700
/proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10540356 CPUtime=0.12 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 13387 0 1 0 11 1 0 0 25 0 18 0 830770152 10793324544 13083 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2635089 13083 2133 9 0 2625823 0
[pid=27700/tid=27701] ppid=27698 vsize=10540356 CPUtime=0.1 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 11426 0 1 0 9 1 0 0 22 0 18 0 830770153 10793324544 13083 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505170474 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540356

[startup+0.204591 s]
/proc/loadavg: 3.86 3.84 3.70 3/556 27700
/proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10540976 CPUtime=0.29 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 14588 0 1 0 27 2 0 0 25 0 18 0 830770152 10793959424 13993 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2635244 13993 2187 9 0 2625978 0
[pid=27700/tid=27701] ppid=27698 vsize=10540976 CPUtime=0.18 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 12068 0 1 0 17 1 0 0 22 0 18 0 830770153 10793959424 13994 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 48010363923283 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10540976

[startup+0.30656 s]
/proc/loadavg: 3.86 3.84 3.70 3/556 27700
/proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10542572 CPUtime=0.5 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 17942 0 1 0 48 2 0 0 25 0 18 0 830770152 10795593728 16992 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2635643 16994 2208 9 0 2626377 0
[pid=27700/tid=27701] ppid=27698 vsize=10542572 CPUtime=0.28 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 14590 0 1 0 26 2 0 0 22 0 18 0 830770153 10795593728 17001 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 48010363923283 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542572

[startup+0.700449 s]
/proc/loadavg: 3.86 3.84 3.70 3/556 27700
/proc/meminfo: memFree=28131492/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10543368 CPUtime=1.16 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 52698 0 1 0 109 7 0 0 25 0 18 0 830770152 10796408832 50072 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2635842 50072 2220 9 0 2626576 0
[pid=27700/tid=27701] ppid=27698 vsize=10543368 CPUtime=0.67 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) R 27698 27700 23781 0 -1 4202560 47265 0 1 0 61 6 0 0 24 0 18 0 830770153 10796408832 50072 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505622459 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10543368

[startup+1.5013 s]
/proc/loadavg: 3.86 3.84 3.70 5/578 27722
/proc/meminfo: memFree=27882332/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10550348 CPUtime=2.97 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 81368 0 1 0 286 11 0 0 25 0 22 0 830770152 10803556352 77309 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2637587 77310 2233 9 0 2628321 0
[pid=27700/tid=27701] ppid=27698 vsize=10550348 CPUtime=0.73 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53019 0 1 0 67 6 0 0 21 0 22 0 830770153 10803556352 77311 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77312 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77314 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27705] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77315 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27706] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77316 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27707] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77317 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27708] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77318 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27709] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77320 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27710] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 77321 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27711] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 830770156 10803556352 77323 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27712] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 77324 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27713] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 77325 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27714] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10803556352 77327 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27715] ppid=27698 vsize=10550348 CPUtime=0.45 cores=1,3,5,7
/proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 3833 0 0 0 45 0 0 0 15 0 22 0 830770159 10803556352 77328 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27716] ppid=27698 vsize=10550348 CPUtime=0.5 cores=1,3,5,7
/proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 2827 0 0 0 50 0 0 0 15 0 22 0 830770159 10803556352 77330 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27717] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10803556352 77331 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27718] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830770159 10803556352 77333 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0
[pid=27700/tid=27722] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27722/stat : 27722 (java) S 27698 27700 23781 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830770232 10803556352 77334 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 10550348

[startup+3.10105 s]
/proc/loadavg: 3.87 3.84 3.70 3/575 27728
/proc/meminfo: memFree=27727108/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10550348 CPUtime=5.8 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 138453 0 1 0 563 17 0 0 25 0 22 0 830770152 10803556352 134393 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2637587 134395 2235 9 0 2628321 0
[pid=27700/tid=27701] ppid=27698 vsize=10550348 CPUtime=0.74 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53058 0 1 0 68 6 0 0 16 0 22 0 830770153 10803556352 134396 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134397 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134398 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27705] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134399 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27706] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134400 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27707] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134400 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27708] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134401 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27709] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134402 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27710] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 134403 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27711] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 830770156 10803556352 134404 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27712] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 134405 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27713] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 134406 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27714] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10803556352 134407 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27715] ppid=27698 vsize=10550348 CPUtime=0.59 cores=1,3,5,7
/proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 3853 0 0 0 59 0 0 0 15 0 22 0 830770159 10803556352 134407 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27716] ppid=27698 vsize=10550348 CPUtime=0.61 cores=1,3,5,7
/proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 2845 0 0 0 61 0 0 0 16 0 22 0 830770159 10803556352 134408 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27717] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10803556352 134409 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27718] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830770159 10803556352 134410 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0
[pid=27700/tid=27722] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27722/stat : 27722 (java) S 27698 27700 23781 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830770232 10803556352 134411 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.8
Current children cumulated vsize (KiB) 10550348

[startup+6.3015 s]
/proc/loadavg: 3.87 3.84 3.70 5/578 27749
/proc/meminfo: memFree=27260356/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10550348 CPUtime=11.08 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 257147 0 1 0 1077 31 0 0 25 0 22 0 830770152 10803556352 252925 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2637587 252926 2237 9 0 2628321 0
[pid=27700/tid=27701] ppid=27698 vsize=10550348 CPUtime=0.74 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53135 0 1 0 68 6 0 0 16 0 22 0 830770153 10803556352 252927 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252928 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252928 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27705] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252929 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27706] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252930 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27707] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252930 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27708] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252931 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27709] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252932 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27710] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830770155 10803556352 252932 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27711] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 830770156 10803556352 252933 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27712] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 252934 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27713] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830770156 10803556352 252935 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27714] ppid=27698 vsize=10550348 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10803556352 252936 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27715] ppid=27698 vsize=10550348 CPUtime=0.69 cores=1,3,5,7
/proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 3865 0 0 0 69 0 0 0 15 0 22 0 830770159 10803556352 252937 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27716] ppid=27698 vsize=10550348 CPUtime=0.62 cores=1,3,5,7
/proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 3000 0 0 0 62 0 0 0 15 0 22 0 830770159 10803556352 252939 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0

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

[startup+822.301 s]
/proc/loadavg: 2.68 3.60 3.72 3/551 27848
/proc/meminfo: memFree=25317780/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10552188 CPUtime=1636.15 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 927519 0 1 0 163514 101 0 0 25 0 22 0 830770152 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2638047 918739 2264 9 0 2628781 0
[pid=27700/tid=27701] ppid=27698 vsize=10552188 CPUtime=0.74 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53188 0 1 0 68 6 0 0 15 0 22 0 830770153 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7
/proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 11089 0 0 0 26 2 0 0 16 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7
/proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 10163 0 0 0 25 1 0 0 15 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27705] ppid=27698 vsize=10552188 CPUtime=0.24 cores=1,3,5,7
/proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 8986 0 0 0 23 1 0 0 15 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27706] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7
/proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 11622 0 0 0 25 1 0 0 15 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0
[pid=27700/tid=27707] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7
/proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 8762 0 0 0 24 2 0 0 15 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27708] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7
/proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 9651 0 0 0 27 1 0 0 16 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27709] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7
/proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 7467 0 0 0 26 0 0 0 16 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27710] ppid=27698 vsize=10552188 CPUtime=0.3 cores=1,3,5,7
/proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 8686 0 0 0 29 1 0 0 16 0 22 0 830770155 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0
[pid=27700/tid=27711] ppid=27698 vsize=10552188 CPUtime=0.79 cores=1,3,5,7
/proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 836 0 0 0 78 1 0 0 15 0 22 0 830770156 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27712] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27713] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27714] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27715] ppid=27698 vsize=10552188 CPUtime=1.09 cores=1,3,5,7
/proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 4687 0 0 0 109 0 0 0 15 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27716] ppid=27698 vsize=10552188 CPUtime=0.85 cores=1,3,5,7
/proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 5350 0 0 0 84 1 0 0 15 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27717] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27718] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830770159 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0
[pid=27700/tid=27783] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27783/stat : 27783 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830775512 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27791] ppid=27698 vsize=10552188 CPUtime=756.48 cores=1,3,5,7
/proc/27700/task/27791/stat : 27791 (java) R 27698 27700 23781 0 -1 4202560 97 0 0 0 75648 0 0 0 25 0 22 0 830776597 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505830764 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27700/tid=27792] ppid=27698 vsize=10552188 CPUtime=756.52 cores=1,3,5,7
/proc/27700/task/27792/stat : 27792 (java) R 27698 27700 23781 0 -1 4202560 2869 0 0 0 75652 0 0 0 25 0 22 0 830776597 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505938723 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27700/tid=27793] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27793/stat : 27793 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830776597 10805440512 918739 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1636.15
Current children cumulated vsize (KiB) 10552188

[startup+882.321 s]
/proc/loadavg: 2.23 3.28 3.60 3/551 27849
/proc/meminfo: memFree=25305200/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10552188 CPUtime=1756.07 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 930763 0 1 0 175505 102 0 0 25 0 22 0 830770152 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2638047 921866 2264 9 0 2628781 0
[pid=27700/tid=27701] ppid=27698 vsize=10552188 CPUtime=0.74 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53188 0 1 0 68 6 0 0 15 0 22 0 830770153 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=10552188 CPUtime=0.29 cores=1,3,5,7
/proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 11601 0 0 0 27 2 0 0 16 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7
/proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 10662 0 0 0 27 1 0 0 16 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27705] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7
/proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 9795 0 0 0 25 1 0 0 15 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27706] ppid=27698 vsize=10552188 CPUtime=0.27 cores=1,3,5,7
/proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 11841 0 0 0 26 1 0 0 15 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0
[pid=27700/tid=27707] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7
/proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 9104 0 0 0 26 2 0 0 15 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27708] ppid=27698 vsize=10552188 CPUtime=0.29 cores=1,3,5,7
/proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 10080 0 0 0 28 1 0 0 16 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27709] ppid=27698 vsize=10552188 CPUtime=0.27 cores=1,3,5,7
/proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 7483 0 0 0 27 0 0 0 15 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27710] ppid=27698 vsize=10552188 CPUtime=0.32 cores=1,3,5,7
/proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 9055 0 0 0 31 1 0 0 16 0 22 0 830770155 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0
[pid=27700/tid=27711] ppid=27698 vsize=10552188 CPUtime=0.96 cores=1,3,5,7
/proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 871 0 0 0 95 1 0 0 15 0 22 0 830770156 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27712] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27713] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27714] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27715] ppid=27698 vsize=10552188 CPUtime=1.09 cores=1,3,5,7
/proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 4687 0 0 0 109 0 0 0 15 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27716] ppid=27698 vsize=10552188 CPUtime=0.85 cores=1,3,5,7
/proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 5350 0 0 0 84 1 0 0 15 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27717] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27718] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830770159 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27783] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27783/stat : 27783 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830775512 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27791] ppid=27698 vsize=10552188 CPUtime=816.29 cores=1,3,5,7
/proc/27700/task/27791/stat : 27791 (java) R 27698 27700 23781 0 -1 4202560 107 0 0 0 81629 0 0 0 25 0 22 0 830776597 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505785303 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27700/tid=27792] ppid=27698 vsize=10552188 CPUtime=816.33 cores=1,3,5,7
/proc/27700/task/27792/stat : 27792 (java) R 27698 27700 23781 0 -1 4202560 2869 0 0 0 81633 0 0 0 25 0 22 0 830776597 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912506179921 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27700/tid=27793] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27793/stat : 27793 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830776597 10805440512 921866 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1756.07
Current children cumulated vsize (KiB) 10552188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+904.321 s]
/proc/loadavg: 2.16 3.20 3.57 3/551 27850
/proc/meminfo: memFree=25302956/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=10552188 CPUtime=1800.1 cores=1,3,5,7
/proc/27700/stat : 27700 (java) S 27698 27700 23781 0 -1 4202496 931363 0 1 0 179908 102 0 0 25 0 22 0 830770152 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 2638047 922441 2264 9 0 2628781 0
[pid=27700/tid=27701] ppid=27698 vsize=10552188 CPUtime=0.74 cores=1,3,5,7
/proc/27700/task/27701/stat : 27701 (java) S 27698 27700 23781 0 -1 4202560 53188 0 1 0 68 6 0 0 15 0 22 0 830770153 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27703] ppid=27698 vsize=10552188 CPUtime=0.3 cores=1,3,5,7
/proc/27700/task/27703/stat : 27703 (java) S 27698 27700 23781 0 -1 4202560 11605 0 0 0 28 2 0 0 16 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27704] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7
/proc/27700/task/27704/stat : 27704 (java) S 27698 27700 23781 0 -1 4202560 10852 0 0 0 27 1 0 0 16 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27705] ppid=27698 vsize=10552188 CPUtime=0.26 cores=1,3,5,7
/proc/27700/task/27705/stat : 27705 (java) S 27698 27700 23781 0 -1 4202560 9909 0 0 0 25 1 0 0 15 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27706] ppid=27698 vsize=10552188 CPUtime=0.27 cores=1,3,5,7
/proc/27700/task/27706/stat : 27706 (java) S 27698 27700 23781 0 -1 4202560 11868 0 0 0 26 1 0 0 16 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0
[pid=27700/tid=27707] ppid=27698 vsize=10552188 CPUtime=0.28 cores=1,3,5,7
/proc/27700/task/27707/stat : 27707 (java) S 27698 27700 23781 0 -1 4202560 9126 0 0 0 26 2 0 0 16 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27708] ppid=27698 vsize=10552188 CPUtime=0.29 cores=1,3,5,7
/proc/27700/task/27708/stat : 27708 (java) S 27698 27700 23781 0 -1 4202560 10082 0 0 0 28 1 0 0 15 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27709] ppid=27698 vsize=10552188 CPUtime=0.27 cores=1,3,5,7
/proc/27700/task/27709/stat : 27709 (java) S 27698 27700 23781 0 -1 4202560 7612 0 0 0 27 0 0 0 15 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27710] ppid=27698 vsize=10552188 CPUtime=0.33 cores=1,3,5,7
/proc/27700/task/27710/stat : 27710 (java) S 27698 27700 23781 0 -1 4202560 9162 0 0 0 32 1 0 0 15 0 22 0 830770155 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 5 0 0 0
[pid=27700/tid=27711] ppid=27698 vsize=10552188 CPUtime=0.96 cores=1,3,5,7
/proc/27700/task/27711/stat : 27711 (java) S 27698 27700 23781 0 -1 4202560 873 0 0 0 95 1 0 0 15 0 22 0 830770156 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 0 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27712] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27712/stat : 27712 (java) S 27698 27700 23781 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27713] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27713/stat : 27713 (java) S 27698 27700 23781 0 -1 4202560 24 0 0 0 0 0 0 0 15 0 22 0 830770156 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27714] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27714/stat : 27714 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256172465 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27715] ppid=27698 vsize=10552188 CPUtime=1.09 cores=1,3,5,7
/proc/27700/task/27715/stat : 27715 (java) S 27698 27700 23781 0 -1 4202560 4687 0 0 0 109 0 0 0 15 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27716] ppid=27698 vsize=10552188 CPUtime=0.85 cores=1,3,5,7
/proc/27700/task/27716/stat : 27716 (java) S 27698 27700 23781 0 -1 4202560 5350 0 0 0 84 1 0 0 15 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27717] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27717/stat : 27717 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256164761 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
[pid=27700/tid=27718] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27718/stat : 27718 (java) S 27698 27700 23781 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830770159 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 7 0 0 0
[pid=27700/tid=27783] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27783/stat : 27783 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 830775512 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 3 0 0 0
[pid=27700/tid=27791] ppid=27698 vsize=10552188 CPUtime=838.3 cores=1,3,5,7
/proc/27700/task/27791/stat : 27791 (java) R 27698 27700 23781 0 -1 4202560 110 0 0 0 83830 0 0 0 25 0 22 0 830776597 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505785119 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27700/tid=27792] ppid=27698 vsize=10552188 CPUtime=838.34 cores=1,3,5,7
/proc/27700/task/27792/stat : 27792 (java) R 27698 27700 23781 0 -1 4202560 2869 0 0 0 83834 0 0 0 25 0 22 0 830776597 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 46912505906131 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27700/tid=27793] ppid=27698 vsize=10552188 CPUtime=0 cores=1,3,5,7
/proc/27700/task/27793/stat : 27793 (java) S 27698 27700 23781 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830776597 10805440512 922441 33554432000 1073741824 1073778376 140734729211632 18446744073709551615 228256165376 0 4 0 16800975 18446604463052158784 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 10552188

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

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

[startup+904.501 s]
/proc/loadavg: 2.16 3.20 3.57 3/551 27850
/proc/meminfo: memFree=25302956/32951124 swapFree=58212616/67111528
[pid=27700] ppid=27698 vsize=0 CPUtime=1800.34 cores=1,3,5,7
/proc/27700/stat : 27700 (java) Z 27698 27700 23781 0 -1 4203548 931401 0 1 0 179920 114 0 0 17 0 2 0 830770152 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/27700/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 904.522
CPU time (s): 1800.37
CPU user time (s): 1799.21
CPU system time (s): 1.16582
CPU usage (%): 199.041
Max. virtual memory (cumulated for all children) (KiB): 10552188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 1.16582
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931401
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25496
involuntary context switches= 20610

runsolver used 4.69329 second user time and 11.7782 second system time

The end

Launcher Data 

Begin job on node136 at 2011-06-04 14:48:42
IDJOB=3454354
IDBENCH=2527
IDSOLVER=1950
FILE ID=node136/3454354-1307191722
RUNJOBID= node136-1307188779-27113
PBS_JOBID= 13508850
Free space on /tmp= 73844 MiB

SOLVER NAME= Sat4j Res//CP 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3454354-1307191722/watcher-3454354-1307191722 -o /tmp/evaluation-result-3454354-1307191722/solver-3454354-1307191722 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454354-1307191722.opb

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

MD5SUM BENCH= 6eba7367ef128fb0872fe815e4ef2398
RANDOM SEED=90272758

node136.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28131772 kB
Buffers:        297512 kB
Cached:         544100 kB
SwapCached:       7704 kB
Active:        4102860 kB
Inactive:       420048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28131772 kB
SwapTotal:    67111528 kB
SwapFree:     58212616 kB
Dirty:            2444 kB
Writeback:           0 kB
AnonPages:     3679628 kB
Mapped:          32840 kB
Slab:           156160 kB
PageTables:      70736 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 179602772 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73844 MiB
End job on node136 at 2011-06-04 15:03:48