Trace number 3710807

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotSAT (TO)9 1800.95 1770.47

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
MD5SUMaa80468537d69826ea16800f352007ec
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark1593.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables6207
Total number of constraints171
Number of constraints which are clauses171
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint5184
Number of terms in the objective function 6207
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6207
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6207
Number of bits of the biggest sum of numbers13
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.04/0.15	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.15	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.15	c See www.sat4j.org for details.
0.04/0.15	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.04/0.15	c version 2.3.2.v20120418
0.04/0.15	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.15	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.15	c java.vm.version	19.1-b02
0.04/0.15	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.15	c sun.arch.data.model	64
0.04/0.15	c java.version		1.6.0_24
0.04/0.15	c os.name		Linux
0.04/0.15	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.15	c os.arch		amd64
0.04/0.15	c Free memory 		501472288
0.04/0.15	c Max memory 		7480803328
0.04/0.15	c Total memory 		504102912
0.04/0.15	c Number of processors 	8
0.12/0.30	c read org.sat4j.minisat.orders.VarOrderHeap
0.12/0.30	c configuring ORDERS
0.12/0.30	c --- Begin Solver configuration ---
0.12/0.30	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.12/0.30	c Learn all clauses as in MiniSAT
0.12/0.30	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.30	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.12/0.30	c Expensive reason simplification
0.12/0.30	c Armin Biere (Picosat) restarts strategy
0.12/0.30	c Glucose learned constraints deletion strategy
0.12/0.30	c timeout=2147483s
0.12/0.30	c DB Simplification allowed=true
0.12/0.30	c Heuristics kept accross calls (keep the solver "hot")
0.12/0.30	c --- End Solver configuration ---
0.12/0.30	c solving HOME/instance-3710807-1338310748.opb
0.12/0.30	c reading problem ... 
1.06/1.03	c ... done. Wall clock time 0.733s.
1.06/1.03	c declared #vars     6207
1.06/1.03	c #constraints  171
1.06/1.03	c constraints type 
1.06/1.03	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 170
1.06/1.03	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
1.06/1.03	c 171 constraints processed.
1.21/1.11	c SATISFIABLE
1.21/1.11	c OPTIMIZING...
1.21/1.11	c Got one! Elapsed wall clock time (in seconds):0.814
1.21/1.11	o 12
1.44/1.24	c Got one! Elapsed wall clock time (in seconds):0.94
1.44/1.24	o 11
3.94/3.56	c cleaning 2358 clauses out of 5007 with flag 5000/5007
7.60/7.19	c cleaning 4296 clauses out of 8649 with flag 11000/11007
12.61/12.02	c cleaning 5675 clauses out of 11367 with flag 18014/18021
17.38/16.77	c cleaning 6837 clauses out of 13678 with flag 26000/26007
25.00/24.21	c cleaning 7780 clauses out of 15841 with flag 35000/35007
32.56/31.76	c cleaning 8816 clauses out of 18061 with flag 45000/45007
42.76/41.80	c cleaning 9970 clauses out of 20249 with flag 56004/56011
56.46/55.36	c cleaning 10825 clauses out of 22275 with flag 68000/68007
68.18/66.97	c cleaning 12225 clauses out of 24450 with flag 81000/81007
83.07/81.43	c cleaning 13029 clauses out of 26225 with flag 95000/95007
105.48/103.53	c cleaning 13743 clauses out of 28196 with flag 110000/110007
118.92/116.68	c cleaning 15157 clauses out of 30453 with flag 126000/126007
134.08/131.41	c cleaning 16085 clauses out of 32296 with flag 143000/143007
155.83/152.71	c cleaning 17082 clauses out of 34211 with flag 161000/161007
178.11/174.69	c cleaning 18061 clauses out of 36130 with flag 180001/180008
196.66/192.89	c cleaning 18798 clauses out of 38068 with flag 200000/200007
243.35/239.04	c cleaning 19851 clauses out of 40270 with flag 221000/221007
258.55/253.95	c cleaning 21082 clauses out of 42419 with flag 243000/243007
278.64/273.59	c cleaning 22147 clauses out of 44337 with flag 266000/266007
305.86/300.11	c cleaning 22750 clauses out of 46194 with flag 290004/290011
343.21/336.86	c cleaning 23778 clauses out of 48440 with flag 315000/315007
364.41/357.74	c cleaning 25331 clauses out of 50662 with flag 341000/341007
375.12/368.38	c Got one! Elapsed wall clock time (in seconds):368.077
375.12/368.38	o 10
377.77/370.91	c cleaning 20924 clauses out of 41848 with flag 5004/357524
380.63/373.75	c cleaning 13461 clauses out of 26922 with flag 11002/363522
386.56/379.62	c cleaning 9826 clauses out of 20459 with flag 18000/370520
389.89/382.95	c Got one! Elapsed wall clock time (in seconds):382.655
389.89/382.95	o 9
391.73/384.75	c cleaning 8162 clauses out of 16324 with flag 4001/376211
397.02/389.95	c cleaning 6948 clauses out of 14162 with flag 10001/382211
405.25/398.02	c cleaning 7070 clauses out of 14213 with flag 17000/389210
411.09/403.74	c cleaning 7373 clauses out of 15143 with flag 25000/397210
418.61/411.12	c cleaning 8373 clauses out of 16770 with flag 34000/406210
432.69/424.92	c cleaning 8858 clauses out of 18397 with flag 44000/416210
445.31/437.37	c cleaning 10057 clauses out of 20539 with flag 55000/427210
461.41/453.20	c cleaning 11045 clauses out of 22482 with flag 67000/439210
476.66/468.10	c cleaning 12171 clauses out of 24437 with flag 80000/452210
491.64/482.92	c cleaning 13035 clauses out of 26266 with flag 94000/466210
506.17/497.13	c cleaning 14092 clauses out of 28231 with flag 109000/481210
519.73/510.41	c cleaning 14850 clauses out of 30139 with flag 125000/497210
533.70/524.18	c cleaning 16001 clauses out of 32295 with flag 142006/514216
559.09/549.27	c cleaning 16893 clauses out of 34288 with flag 160000/532210
596.21/585.74	c cleaning 18015 clauses out of 36397 with flag 179002/551212
622.30/611.26	c cleaning 19123 clauses out of 38385 with flag 199005/571215
659.93/648.37	c cleaning 19918 clauses out of 40257 with flag 220000/592210
676.00/664.08	c cleaning 21106 clauses out of 42352 with flag 242013/614223
702.74/690.20	c cleaning 21978 clauses out of 44233 with flag 265000/637210
734.20/721.27	c cleaning 22758 clauses out of 46255 with flag 289000/661210
767.57/754.17	c cleaning 24106 clauses out of 48497 with flag 314000/686210
791.06/777.20	c cleaning 25107 clauses out of 50391 with flag 340000/712210
825.01/810.59	c cleaning 25628 clauses out of 52284 with flag 367000/739210
884.78/869.52	c cleaning 27212 clauses out of 54660 with flag 395004/767214
938.52/922.48	c cleaning 28029 clauses out of 56449 with flag 424005/796215
1004.25/987.54	c cleaning 29106 clauses out of 58415 with flag 454000/826210
1064.08/1046.36	c cleaning 29811 clauses out of 60311 with flag 485002/857212
1194.08/1174.93	c cleaning 31191 clauses out of 62498 with flag 517000/889210
1231.52/1211.42	c cleaning 32089 clauses out of 64307 with flag 550000/922210
1275.43/1254.50	c cleaning 33048 clauses out of 66224 with flag 584006/956216
1331.21/1309.25	c cleaning 33882 clauses out of 68175 with flag 619005/991215
1393.02/1369.96	c cleaning 34641 clauses out of 70289 with flag 655001/1027211
1456.07/1431.95	c cleaning 36022 clauses out of 72647 with flag 692000/1064210
1511.88/1486.52	c cleaning 37075 clauses out of 74625 with flag 730000/1102210
1580.20/1553.82	c cleaning 38133 clauses out of 76551 with flag 769001/1141211
1671.70/1644.10	c cleaning 39142 clauses out of 78417 with flag 809000/1181210
1775.84/1746.77	c cleaning 40029 clauses out of 80277 with flag 850002/1222212
1800.06/1770.41	c starts		: 194
1800.06/1770.41	c conflicts		: 1239485
1800.06/1770.41	c decisions		: 21172213
1800.06/1770.41	c propagations		: 122468806
1800.06/1770.41	c inspects		: 334056174
1800.06/1770.41	c shortcuts		: 0
1800.06/1770.41	c learnt literals	: 0
1800.06/1770.41	c learnt binary clauses	: 0
1800.06/1770.41	c learnt ternary clauses	: 0
1800.06/1770.41	c learnt constraints	: 1239485
1800.06/1770.41	c ignored constraints	: 0
1800.06/1770.41	c root simplifications	: 194
1800.06/1770.41	c removed literals (reason simplification)	: 56652428
1800.06/1770.41	c reason swapping (by a shorter reason)	: 0
1800.06/1770.41	c Calls to reduceDB	: 62
1800.06/1770.41	c number of reductions to clauses (during analyze)	: 0
1800.06/1770.41	c number of learned constraints concerned by reduction	: 0
1800.06/1770.41	c number of learning phase by resolution	: 0
1800.06/1770.41	c number of learning phase by cutting planes	: 0
1800.06/1770.41	c speed (assignments/second)	: 69216.17165913008
1800.06/1770.41	c non guided choices	12388
1800.06/1770.44	c learnt constraints type 
1800.06/1770.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 57554
1800.06/1770.44	c constraints type 
1800.06/1770.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 170
1800.06/1770.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.06/1770.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 1
1800.06/1770.44	c 172 constraints processed.
1800.06/1770.44	s SATISFIABLE
1800.06/1770.45	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 
1800.06/1770.46	c objective function=9
1800.06/1770.46	c Total wall clock time (in seconds): 1770.158

Verifier Data 

OK	9

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3710807-1338310748/watcher-3710807-1338310748 -o /tmp/evaluation-result-3710807-1338310748/solver-3710807-1338310748 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710807-1338310748.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 0.23 0.05 0.92 3/173 21188
/proc/meminfo: memFree=29342404/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/21188/stat : 21188 (java) R 21185 21188 21147 0 -1 4202496 96 0 0 0 0 0 0 0 20 0 1 0 297198980 3653632 49 33554432000 1073741824 1073778376 140734197443232 140734197440360 251043867943 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21188/statm: 892 49 38 9 0 30 0

[startup+0.097869 s]
/proc/loadavg: 0.23 0.05 0.92 3/173 21188
/proc/meminfo: memFree=29342404/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 3329 0 1 0 4 0 0 0 20 0 18 0 297198980 9787842560 4538 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2389610 4538 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.10023 s]
/proc/loadavg: 0.23 0.05 0.92 3/173 21188
/proc/meminfo: memFree=29342404/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9558440 CPUtime=0.04 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 3329 0 1 0 4 0 0 0 20 0 18 0 297198980 9787842560 4538 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2389610 4538 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558440

[startup+0.300154 s]
/proc/loadavg: 0.23 0.05 0.92 3/173 21188
/proc/meminfo: memFree=29342404/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9558440 CPUtime=0.12 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 4447 0 1 0 12 0 0 0 20 0 18 0 297198980 9787842560 6165 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2389610 6165 2157 9 0 2380296 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558440

[startup+0.700279 s]
/proc/loadavg: 0.23 0.05 0.92 3/173 21188
/proc/meminfo: memFree=29342404/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9558440 CPUtime=0.74 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 5625 0 1 0 72 2 0 0 20 0 18 0 297198980 9787842560 33454 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2389610 33454 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 9558440

[startup+1.5006 s]
/proc/loadavg: 0.23 0.05 0.92 4/212 21227
/proc/meminfo: memFree=29097428/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9625004 CPUtime=1.93 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 6805 0 1 0 189 4 0 0 20 0 19 0 297198980 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2406251 42958 2261 9 0 2396937 0
[pid=21188/tid=21194] ppid=21185 vsize=9625004 CPUtime=1.28 cores=0,2,4,6
/proc/21188/task/21194/stat : 21194 (java) R 21185 21188 21147 0 -1 4202560 2562 0 1 0 125 3 0 0 20 0 19 0 297198981 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581577998128 140581410494725 0 4 0 16800975 0 0 0 -1 6 0 0 16 0 0
[pid=21188/tid=21195] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21195/stat : 21195 (java) S 21185 21188 21147 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581539490344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21197] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21197/stat : 21197 (java) S 21185 21188 21147 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581538437544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21198] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21198/stat : 21198 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581537384744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21199] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21199/stat : 21199 (java) S 21185 21188 21147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581536331944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21201] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21201/stat : 21201 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581535280168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21203] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21203/stat : 21203 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581534227368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21205] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21205/stat : 21205 (java) S 21185 21188 21147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581533174568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21206] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21206/stat : 21206 (java) S 21185 21188 21147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581532121768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21211] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21211/stat : 21211 (java) S 21185 21188 21147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 297198984 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581401487848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21213] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21213/stat : 21213 (java) S 21185 21188 21147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581400433912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21214] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21214/stat : 21214 (java) S 21185 21188 21147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581399381000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21217] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21217/stat : 21217 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581398329488 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21219] ppid=21185 vsize=9625004 CPUtime=0.31 cores=0,2,4,6
/proc/21188/task/21219/stat : 21219 (java) S 21185 21188 21147 0 -1 4202560 1611 0 0 0 31 0 0 0 20 0 19 0 297198987 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581397277624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21221] ppid=21185 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/21188/task/21221/stat : 21221 (java) S 21185 21188 21147 0 -1 4202560 1402 0 0 0 28 0 0 0 20 0 19 0 297198987 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581396224824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21223] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21223/stat : 21223 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140581395172216 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21225] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21225/stat : 21225 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 42958 33554432000 1073741824 1073778376 140736524554784 140580386499528 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9625004

[startup+3.10067 s]
/proc/loadavg: 0.23 0.05 0.92 3/213 21228
/proc/meminfo: memFree=29069000/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9625004 CPUtime=3.54 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 6809 0 1 0 350 4 0 0 20 0 19 0 297198980 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2406251 42961 2264 9 0 2396937 0
[pid=21188/tid=21194] ppid=21185 vsize=9625004 CPUtime=2.87 cores=0,2,4,6
/proc/21188/task/21194/stat : 21194 (java) R 21185 21188 21147 0 -1 4202560 2563 0 1 0 284 3 0 0 20 0 19 0 297198981 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581577999000 140581410596809 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=21188/tid=21195] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21195/stat : 21195 (java) S 21185 21188 21147 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581539490344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21197] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21197/stat : 21197 (java) S 21185 21188 21147 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581538437544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21198] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21198/stat : 21198 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581537384744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21199] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21199/stat : 21199 (java) S 21185 21188 21147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581536331944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21201] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21201/stat : 21201 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581535280168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21203] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21203/stat : 21203 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581534227368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21205] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21205/stat : 21205 (java) S 21185 21188 21147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581533174568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21206] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21206/stat : 21206 (java) S 21185 21188 21147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581532121768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21211] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21211/stat : 21211 (java) S 21185 21188 21147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 297198984 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581401487848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21213] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21213/stat : 21213 (java) S 21185 21188 21147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581400433912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21214] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21214/stat : 21214 (java) S 21185 21188 21147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581399381000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21217] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21217/stat : 21217 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581398329488 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21219] ppid=21185 vsize=9625004 CPUtime=0.33 cores=0,2,4,6
/proc/21188/task/21219/stat : 21219 (java) S 21185 21188 21147 0 -1 4202560 1611 0 0 0 33 0 0 0 20 0 19 0 297198987 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581397277624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21221] ppid=21185 vsize=9625004 CPUtime=0.28 cores=0,2,4,6
/proc/21188/task/21221/stat : 21221 (java) S 21185 21188 21147 0 -1 4202560 1405 0 0 0 28 0 0 0 20 0 19 0 297198987 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581396224824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21223] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21223/stat : 21223 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140581395172216 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21225] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21225/stat : 21225 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140580386499528 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21228] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21228/stat : 21228 (java) S 21185 21188 21147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297199085 9856004096 42961 33554432000 1073741824 1073778376 140736524554784 140580385445032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 9625004

[startup+6.30068 s]
/proc/loadavg: 0.37 0.08 0.93 3/213 21228
/proc/meminfo: memFree=28983360/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9625004 CPUtime=6.78 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 6870 0 1 0 673 5 0 0 20 0 19 0 297198980 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2406251 49575 2279 9 0 2396937 0
[pid=21188/tid=21194] ppid=21185 vsize=9625004 CPUtime=6.04 cores=0,2,4,6
/proc/21188/task/21194/stat : 21194 (java) R 21185 21188 21147 0 -1 4202560 2564 0 1 0 601 3 0 0 20 0 19 0 297198981 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581577996864 140581410596809 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=21188/tid=21195] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21195/stat : 21195 (java) S 21185 21188 21147 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581539490344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21197] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21197/stat : 21197 (java) S 21185 21188 21147 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581538437544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21198] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21198/stat : 21198 (java) S 21185 21188 21147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581537384744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21199] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21199/stat : 21199 (java) S 21185 21188 21147 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581536331944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21201] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21201/stat : 21201 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581535280168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21203] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21203/stat : 21203 (java) S 21185 21188 21147 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581534227368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21205] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21205/stat : 21205 (java) S 21185 21188 21147 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581533174568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21206] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21206/stat : 21206 (java) S 21185 21188 21147 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 297198983 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581532121768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21211] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21211/stat : 21211 (java) S 21185 21188 21147 0 -1 4202560 36 0 0 0 0 0 0 0 20 0 19 0 297198984 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581401487848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21213] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21213/stat : 21213 (java) S 21185 21188 21147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581400433912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21214] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21214/stat : 21214 (java) S 21185 21188 21147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581399381000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21217] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21217/stat : 21217 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581398329488 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21219] ppid=21185 vsize=9625004 CPUtime=0.35 cores=0,2,4,6
/proc/21188/task/21219/stat : 21219 (java) S 21185 21188 21147 0 -1 4202560 1618 0 0 0 35 0 0 0 20 0 19 0 297198987 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581397277624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21221] ppid=21185 vsize=9625004 CPUtime=0.3 cores=0,2,4,6
/proc/21188/task/21221/stat : 21221 (java) S 21185 21188 21147 0 -1 4202560 1412 0 0 0 30 0 0 0 20 0 19 0 297198987 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581396224824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21223] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21223/stat : 21223 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140581395172216 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21225] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21225/stat : 21225 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140580386499528 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21228] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21228/stat : 21228 (java) S 21185 21188 21147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297199085 9856004096 49575 33554432000 1073741824 1073778376 140736524554784 140580385445032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]
/proc/loadavg: 0.50 0.11 0.94 3/213 21228
/proc/meminfo: memFree=28916620/32873648 swapFree=7368/7368

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

[pid=21188/tid=21203] ppid=21185 vsize=9625004 CPUtime=4.58 cores=0,2,4,6
/proc/21188/task/21203/stat : 21203 (java) S 21185 21188 21147 0 -1 4202560 2663 0 0 0 444 14 0 0 20 0 19 0 297198983 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581534227368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21205] ppid=21185 vsize=9625004 CPUtime=4.66 cores=0,2,4,6
/proc/21188/task/21205/stat : 21205 (java) S 21185 21188 21147 0 -1 4202560 2910 0 0 0 450 16 0 0 20 0 19 0 297198983 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581533174568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21206] ppid=21185 vsize=9625004 CPUtime=4.45 cores=0,2,4,6
/proc/21188/task/21206/stat : 21206 (java) S 21185 21188 21147 0 -1 4202560 2005 0 0 0 431 14 0 0 20 0 19 0 297198983 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581532121768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21211] ppid=21185 vsize=9625004 CPUtime=3.85 cores=0,2,4,6
/proc/21188/task/21211/stat : 21211 (java) S 21185 21188 21147 0 -1 4202560 1537 0 0 0 377 8 0 0 20 0 19 0 297198984 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581401487848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21213] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21213/stat : 21213 (java) S 21185 21188 21147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581400433912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21214] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21214/stat : 21214 (java) S 21185 21188 21147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581399381000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21217] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21217/stat : 21217 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581398329488 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21219] ppid=21185 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/21188/task/21219/stat : 21219 (java) S 21185 21188 21147 0 -1 4202560 2111 0 0 0 52 0 0 0 20 0 19 0 297198987 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581397277624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21221] ppid=21185 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/21188/task/21221/stat : 21221 (java) S 21185 21188 21147 0 -1 4202560 1412 0 0 0 34 0 0 0 20 0 19 0 297198987 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581396224824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21223] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21223/stat : 21223 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140581395172216 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21225] ppid=21185 vsize=9625004 CPUtime=0.41 cores=0,2,4,6
/proc/21188/task/21225/stat : 21225 (java) S 21185 21188 21147 0 -1 4202560 92 0 0 0 18 23 0 0 20 0 19 0 297198987 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140580386499528 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21228] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21228/stat : 21228 (java) S 21185 21188 21147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297199085 9856004096 206770 33554432000 1073741824 1073778376 140736524554784 140580385445032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1629.26
Current children cumulated vsize (KiB) 9625004

[startup+1662.3 s]
/proc/loadavg: 2.06 2.03 1.81 3/213 21265
/proc/meminfo: memFree=26700608/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9625004 CPUtime=1690.16 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 29883 0 1 0 168873 143 0 0 20 0 19 0 297198980 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2406251 209524 2279 9 0 2396937 0
[pid=21188/tid=21194] ppid=21185 vsize=9625004 CPUtime=1647.3 cores=0,2,4,6
/proc/21188/task/21194/stat : 21194 (java) R 21185 21188 21147 0 -1 4202560 3074 0 1 0 164699 31 0 0 20 0 19 0 297198981 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581577997712 140581410790848 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=21188/tid=21195] ppid=21185 vsize=9625004 CPUtime=4.99 cores=0,2,4,6
/proc/21188/task/21195/stat : 21195 (java) S 21185 21188 21147 0 -1 4202560 2868 0 0 0 482 17 0 0 20 0 19 0 297198983 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581539490344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21197] ppid=21185 vsize=9625004 CPUtime=4.84 cores=0,2,4,6
/proc/21188/task/21197/stat : 21197 (java) S 21185 21188 21147 0 -1 4202560 2358 0 0 0 468 16 0 0 20 0 19 0 297198983 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581538437544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21198] ppid=21185 vsize=9625004 CPUtime=4.65 cores=0,2,4,6
/proc/21188/task/21198/stat : 21198 (java) S 21185 21188 21147 0 -1 4202560 3183 0 0 0 453 12 0 0 20 0 19 0 297198983 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581537384744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21199] ppid=21185 vsize=9625004 CPUtime=4.59 cores=0,2,4,6
/proc/21188/task/21199/stat : 21199 (java) S 21185 21188 21147 0 -1 4202560 1848 0 0 0 446 13 0 0 20 0 19 0 297198983 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581536331944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21201] ppid=21185 vsize=9625004 CPUtime=4.79 cores=0,2,4,6
/proc/21188/task/21201/stat : 21201 (java) S 21185 21188 21147 0 -1 4202560 2606 0 0 0 467 12 0 0 20 0 19 0 297198983 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581535280168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21203] ppid=21185 vsize=9625004 CPUtime=4.72 cores=0,2,4,6
/proc/21188/task/21203/stat : 21203 (java) S 21185 21188 21147 0 -1 4202560 2676 0 0 0 458 14 0 0 20 0 19 0 297198983 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581534227368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21205] ppid=21185 vsize=9625004 CPUtime=4.85 cores=0,2,4,6
/proc/21188/task/21205/stat : 21205 (java) S 21185 21188 21147 0 -1 4202560 2915 0 0 0 469 16 0 0 20 0 19 0 297198983 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581533174568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21206] ppid=21185 vsize=9625004 CPUtime=4.56 cores=0,2,4,6
/proc/21188/task/21206/stat : 21206 (java) S 21185 21188 21147 0 -1 4202560 2011 0 0 0 442 14 0 0 20 0 19 0 297198983 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581532121768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21211] ppid=21185 vsize=9625004 CPUtime=4 cores=0,2,4,6
/proc/21188/task/21211/stat : 21211 (java) S 21185 21188 21147 0 -1 4202560 1547 0 0 0 392 8 0 0 20 0 19 0 297198984 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581401487848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21213] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21213/stat : 21213 (java) S 21185 21188 21147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581400433912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21214] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21214/stat : 21214 (java) S 21185 21188 21147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581399381000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21217] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21217/stat : 21217 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581398329488 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21219] ppid=21185 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/21188/task/21219/stat : 21219 (java) S 21185 21188 21147 0 -1 4202560 2111 0 0 0 52 0 0 0 20 0 19 0 297198987 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581397277624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21221] ppid=21185 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/21188/task/21221/stat : 21221 (java) S 21185 21188 21147 0 -1 4202560 1412 0 0 0 34 0 0 0 20 0 19 0 297198987 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581396224824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21223] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21223/stat : 21223 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140581395172216 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21225] ppid=21185 vsize=9625004 CPUtime=0.43 cores=0,2,4,6
/proc/21188/task/21225/stat : 21225 (java) S 21185 21188 21147 0 -1 4202560 94 0 0 0 19 24 0 0 20 0 19 0 297198987 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140580386499528 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21228] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21228/stat : 21228 (java) S 21185 21188 21147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297199085 9856004096 209524 33554432000 1073741824 1073778376 140736524554784 140580385445032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1690.16
Current children cumulated vsize (KiB) 9625004

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.82 3/214 21266
/proc/meminfo: memFree=26595392/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9625004 CPUtime=1751.02 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 29941 0 1 0 174956 146 0 0 20 0 19 0 297198980 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2406251 208596 2279 9 0 2396937 0
[pid=21188/tid=21194] ppid=21185 vsize=9625004 CPUtime=1706.96 cores=0,2,4,6
/proc/21188/task/21194/stat : 21194 (java) R 21185 21188 21147 0 -1 4202560 3087 0 1 0 170665 31 0 0 20 0 19 0 297198981 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581577997712 140581410790930 0 4 0 16800975 0 0 0 -1 2 0 0 16 0 0
[pid=21188/tid=21195] ppid=21185 vsize=9625004 CPUtime=5.16 cores=0,2,4,6
/proc/21188/task/21195/stat : 21195 (java) S 21185 21188 21147 0 -1 4202560 2875 0 0 0 499 17 0 0 20 0 19 0 297198983 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581539490344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21197] ppid=21185 vsize=9625004 CPUtime=5.01 cores=0,2,4,6
/proc/21188/task/21197/stat : 21197 (java) S 21185 21188 21147 0 -1 4202560 2360 0 0 0 485 16 0 0 20 0 19 0 297198983 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581538437544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21198] ppid=21185 vsize=9625004 CPUtime=4.79 cores=0,2,4,6
/proc/21188/task/21198/stat : 21198 (java) S 21185 21188 21147 0 -1 4202560 3190 0 0 0 466 13 0 0 20 0 19 0 297198983 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581537384744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21199] ppid=21185 vsize=9625004 CPUtime=4.71 cores=0,2,4,6
/proc/21188/task/21199/stat : 21199 (java) S 21185 21188 21147 0 -1 4202560 1854 0 0 0 458 13 0 0 20 0 19 0 297198983 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581536331944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21201] ppid=21185 vsize=9625004 CPUtime=4.93 cores=0,2,4,6
/proc/21188/task/21201/stat : 21201 (java) S 21185 21188 21147 0 -1 4202560 2608 0 0 0 481 12 0 0 20 0 19 0 297198983 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581535280168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21203] ppid=21185 vsize=9625004 CPUtime=4.93 cores=0,2,4,6
/proc/21188/task/21203/stat : 21203 (java) S 21185 21188 21147 0 -1 4202560 2683 0 0 0 478 15 0 0 20 0 19 0 297198983 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581534227368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21205] ppid=21185 vsize=9625004 CPUtime=4.98 cores=0,2,4,6
/proc/21188/task/21205/stat : 21205 (java) S 21185 21188 21147 0 -1 4202560 2919 0 0 0 482 16 0 0 20 0 19 0 297198983 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581533174568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21206] ppid=21185 vsize=9625004 CPUtime=4.67 cores=0,2,4,6
/proc/21188/task/21206/stat : 21206 (java) S 21185 21188 21147 0 -1 4202560 2013 0 0 0 453 14 0 0 20 0 19 0 297198983 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581532121768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21211] ppid=21185 vsize=9625004 CPUtime=4 cores=0,2,4,6
/proc/21188/task/21211/stat : 21211 (java) S 21185 21188 21147 0 -1 4202560 1551 0 0 0 392 8 0 0 20 0 19 0 297198984 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581401487848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21213] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21213/stat : 21213 (java) S 21185 21188 21147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581400433912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21214] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21214/stat : 21214 (java) S 21185 21188 21147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581399381000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21217] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21217/stat : 21217 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581398329488 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21219] ppid=21185 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/21188/task/21219/stat : 21219 (java) S 21185 21188 21147 0 -1 4202560 2111 0 0 0 52 0 0 0 20 0 19 0 297198987 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581397277624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21221] ppid=21185 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/21188/task/21221/stat : 21221 (java) S 21185 21188 21147 0 -1 4202560 1412 0 0 0 34 0 0 0 20 0 19 0 297198987 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581396224824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21223] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21223/stat : 21223 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140581395172216 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21225] ppid=21185 vsize=9625004 CPUtime=0.45 cores=0,2,4,6
/proc/21188/task/21225/stat : 21225 (java) S 21185 21188 21147 0 -1 4202560 98 0 0 0 21 24 0 0 20 0 19 0 297198987 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140580386499528 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21228] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21228/stat : 21228 (java) S 21185 21188 21147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297199085 9856004096 208596 33554432000 1073741824 1073778376 140736524554784 140580385445032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1751.02
Current children cumulated vsize (KiB) 9625004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1770.4 s]
/proc/loadavg: 2.01 2.02 1.83 4/213 21267
/proc/meminfo: memFree=26503800/32873648 swapFree=7368/7368
[pid=21188] ppid=21185 vsize=9625004 CPUtime=1800.06 cores=0,2,4,6
/proc/21188/stat : 21188 (java) S 21185 21188 21147 0 -1 4202496 30770 0 1 0 179852 154 0 0 20 0 19 0 297198980 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140736524545920 251056390205 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/21188/statm: 2406251 231567 2279 9 0 2396937 0
[pid=21188/tid=21194] ppid=21185 vsize=9625004 CPUtime=1754.45 cores=0,2,4,6
/proc/21188/task/21194/stat : 21194 (java) R 21185 21188 21147 0 -1 4202560 3099 0 1 0 175413 32 0 0 20 0 19 0 297198981 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581577997712 140581410790960 0 4 0 16800975 0 0 0 -1 0 0 0 16 0 0
[pid=21188/tid=21195] ppid=21185 vsize=9625004 CPUtime=5.38 cores=0,2,4,6
/proc/21188/task/21195/stat : 21195 (java) S 21185 21188 21147 0 -1 4202560 2921 0 0 0 519 19 0 0 20 0 19 0 297198983 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581539490344 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21197] ppid=21185 vsize=9625004 CPUtime=5.19 cores=0,2,4,6
/proc/21188/task/21197/stat : 21197 (java) S 21185 21188 21147 0 -1 4202560 2438 0 0 0 503 16 0 0 20 0 19 0 297198983 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581538437544 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21198] ppid=21185 vsize=9625004 CPUtime=4.93 cores=0,2,4,6
/proc/21188/task/21198/stat : 21198 (java) S 21185 21188 21147 0 -1 4202560 3203 0 0 0 480 13 0 0 20 0 19 0 297198983 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581537384744 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21199] ppid=21185 vsize=9625004 CPUtime=4.89 cores=0,2,4,6
/proc/21188/task/21199/stat : 21199 (java) S 21185 21188 21147 0 -1 4202560 1880 0 0 0 475 14 0 0 20 0 19 0 297198983 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581536331944 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21201] ppid=21185 vsize=9625004 CPUtime=5.08 cores=0,2,4,6
/proc/21188/task/21201/stat : 21201 (java) S 21185 21188 21147 0 -1 4202560 2801 0 0 0 495 13 0 0 20 0 19 0 297198983 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581535280168 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21203] ppid=21185 vsize=9625004 CPUtime=5.1 cores=0,2,4,6
/proc/21188/task/21203/stat : 21203 (java) S 21185 21188 21147 0 -1 4202560 2717 0 0 0 495 15 0 0 20 0 19 0 297198983 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581534227368 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21205] ppid=21185 vsize=9625004 CPUtime=5.15 cores=0,2,4,6
/proc/21188/task/21205/stat : 21205 (java) S 21185 21188 21147 0 -1 4202560 2944 0 0 0 498 17 0 0 20 0 19 0 297198983 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581533174568 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21206] ppid=21185 vsize=9625004 CPUtime=4.81 cores=0,2,4,6
/proc/21188/task/21206/stat : 21206 (java) S 21185 21188 21147 0 -1 4202560 2066 0 0 0 466 15 0 0 20 0 19 0 297198983 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581532121768 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21188/tid=21211] ppid=21185 vsize=9625004 CPUtime=4.23 cores=0,2,4,6
/proc/21188/task/21211/stat : 21211 (java) S 21185 21188 21147 0 -1 4202560 1898 0 0 0 414 9 0 0 20 0 19 0 297198984 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581401487848 251056404393 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21213] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21213/stat : 21213 (java) S 21185 21188 21147 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581400433912 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21214] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21214/stat : 21214 (java) S 21185 21188 21147 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 297198985 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581399381000 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21217] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21217/stat : 21217 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581398329488 251056412448 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21219] ppid=21185 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/21188/task/21219/stat : 21219 (java) S 21185 21188 21147 0 -1 4202560 2111 0 0 0 52 0 0 0 20 0 19 0 297198987 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581397277624 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21188/tid=21221] ppid=21185 vsize=9625004 CPUtime=0.34 cores=0,2,4,6
/proc/21188/task/21221/stat : 21221 (java) S 21185 21188 21147 0 -1 4202560 1412 0 0 0 34 0 0 0 20 0 19 0 297198987 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581396224824 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21223] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21223/stat : 21223 (java) S 21185 21188 21147 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 297198987 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140581395172216 251056403516 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21188/tid=21225] ppid=21185 vsize=9625004 CPUtime=0.47 cores=0,2,4,6
/proc/21188/task/21225/stat : 21225 (java) S 21185 21188 21147 0 -1 4202560 100 0 0 0 22 25 0 0 20 0 19 0 297198987 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140580386499528 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21188/tid=21228] ppid=21185 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/21188/task/21228/stat : 21228 (java) S 21185 21188 21147 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 297199085 9856004096 231567 33554432000 1073741824 1073778376 140736524554784 140580385445032 251056404393 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625004

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

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

Child status: 143
Real time (s): 1770.47
CPU time (s): 1800.95
CPU user time (s): 1798.92
CPU system time (s): 2.03169
CPU usage (%): 101.722
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 2.03169
maximum resident set size= 928456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30818
page faults= 1
swaps= 0
block input operations= 104
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54849
involuntary context switches= 75053

runsolver used 5.87111 second user time and 14.7738 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-29 18:59:09
IDJOB=3710807
IDBENCH=2850
IDSOLVER=2289
FILE ID=node149/3710807-1338310748
RUNJOBID= node149-1338310748-21163
PBS_JOBID= 14632079
Free space on /tmp= 71676 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710807-1338310748/watcher-3710807-1338310748 -o /tmp/evaluation-result-3710807-1338310748/solver-3710807-1338310748 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710807-1338310748.opb

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

MD5SUM BENCH= aa80468537d69826ea16800f352007ec
RANDOM SEED=709189190

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29342924 kB
Buffers:          650828 kB
Cached:          2020088 kB
SwapCached:         2468 kB
Active:          1191652 kB
Inactive:        1498204 kB
Active(anon):       2232 kB
Inactive(anon):     9368 kB
Active(file):    1189420 kB
Inactive(file):  1488836 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104892 kB
Dirty:              7060 kB
Writeback:             4 kB
AnonPages:         14656 kB
Mapped:            13612 kB
Shmem:                96 kB
Slab:             703008 kB
SReclaimable:     147296 kB
SUnreclaim:       555712 kB
KernelStack:        1408 kB
PageTables:         4184 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103020 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71672 MiB
End job on node149 at 2012-05-29 19:28:41