Trace number 4085505

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)25 1800.09 1798.67

General information on the benchmark

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

Verifier Data 

OK	25

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4085505-1465252319/watcher-4085505-1465252319 -o /tmp/evaluation-result-4085505-1465252319/solver-4085505-1465252319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3502 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085505-1465252319.opb 

pid=3513
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 1.08 1.46 1.77 2/170 3516
/proc/meminfo: memFree=31284300/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/3516/stat : 3516 (java) R 3513 3516 3485 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 107166412 278528 27 33554432000 1073741824 1073778376 140735301467728 140736212501656 213857147440 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3516/statm: 68 34 25 9 0 25 0

[startup+0.100112 s]
/proc/loadavg: 1.08 1.46 1.77 2/170 3516
/proc/meminfo: memFree=31284300/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9558476 CPUtime=0.04 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 3375 0 1 0 4 0 0 0 20 0 18 0 107166412 9787879424 4506 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2389619 4511 1788 9 0 2380296 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9558476

[startup+0.20032 s]
/proc/loadavg: 1.08 1.46 1.77 2/170 3516
/proc/meminfo: memFree=31284300/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 4949 0 1 0 21 1 0 0 20 0 18 0 107166412 9787879424 6971 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2389619 6979 2211 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300327 s]
/proc/loadavg: 1.08 1.46 1.77 2/170 3516
/proc/meminfo: memFree=31284300/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9558476 CPUtime=0.43 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 6104 0 1 0 41 2 0 0 20 0 18 0 107166412 9787879424 8577 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2389619 8577 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476

[startup+0.7003 s]
/proc/loadavg: 1.08 1.46 1.77 2/170 3516
/proc/meminfo: memFree=31284300/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9625040 CPUtime=1.53 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 10762 0 1 0 150 3 0 0 20 0 19 0 107166412 9856040960 17089 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2406260 17089 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 9625040

[startup+1.50074 s]
/proc/loadavg: 1.32 1.50 1.79 3/213 3568
/proc/meminfo: memFree=31168708/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9625040 CPUtime=2.41 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 11614 0 1 0 238 3 0 0 20 0 19 0 107166412 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2406260 17608 2268 9 0 2396937 0
[pid=3516/tid=3518] ppid=3513 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/3516/task/3518/stat : 3518 (java) R 3513 3516 3485 0 -1 4202560 2432 0 1 0 141 2 0 0 20 0 19 0 107166413 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824640801304 139824489789646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3523] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3523/stat : 3523 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824613255720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3524] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3524/stat : 3524 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824612202920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3525] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3525/stat : 3525 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824611150120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3526] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3526/stat : 3526 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824610097320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3527] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3527/stat : 3527 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824609045544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3528] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3528/stat : 3528 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824607992744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3529] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3529/stat : 3529 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824478071592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3530] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3530/stat : 3530 (java) S 3513 3516 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824477018792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3531] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3531/stat : 3531 (java) S 3513 3516 3485 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823994071528 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3533] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3533/stat : 3533 (java) S 3513 3516 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823993017592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3534] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3534/stat : 3534 (java) S 3513 3516 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823991964680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3544] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3544/stat : 3544 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823990913168 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3545] ppid=3513 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/3516/task/3545/stat : 3545 (java) S 3513 3516 3485 0 -1 4202560 3403 0 0 0 45 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823989861304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3546] ppid=3513 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/3516/task/3546/stat : 3546 (java) S 3513 3516 3485 0 -1 4202560 4501 0 0 0 49 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823988808504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3547] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3547/stat : 3547 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823987755896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3548] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3548/stat : 3548 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823986703304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3567] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3567/stat : 3567 (java) S 3513 3516 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107166457 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823985648808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 9625040

[startup+3.10075 s]
/proc/loadavg: 1.32 1.50 1.79 3/213 3568
/proc/meminfo: memFree=31165668/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9625040 CPUtime=4.01 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 11614 0 1 0 398 3 0 0 20 0 19 0 107166412 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2406260 17608 2268 9 0 2396937 0
[pid=3516/tid=3518] ppid=3513 vsize=9625040 CPUtime=3.03 cores=1,3,5,7
/proc/3516/task/3518/stat : 3518 (java) R 3513 3516 3485 0 -1 4202560 2432 0 1 0 301 2 0 0 20 0 19 0 107166413 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824640801184 139824489789358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3523] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3523/stat : 3523 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824613255720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3524] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3524/stat : 3524 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824612202920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3525] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3525/stat : 3525 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824611150120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3526] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3526/stat : 3526 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824610097320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3527] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3527/stat : 3527 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824609045544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3528] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3528/stat : 3528 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824607992744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3529] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3529/stat : 3529 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824478071592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3530] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3530/stat : 3530 (java) S 3513 3516 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139824477018792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3531] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3531/stat : 3531 (java) S 3513 3516 3485 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823994071528 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3533] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3533/stat : 3533 (java) S 3513 3516 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823993017592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3534] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3534/stat : 3534 (java) S 3513 3516 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823991964680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3544] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3544/stat : 3544 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823990913168 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3545] ppid=3513 vsize=9625040 CPUtime=0.45 cores=1,3,5,7
/proc/3516/task/3545/stat : 3545 (java) S 3513 3516 3485 0 -1 4202560 3403 0 0 0 45 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823989861304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3546] ppid=3513 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/3516/task/3546/stat : 3546 (java) S 3513 3516 3485 0 -1 4202560 4501 0 0 0 49 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823988808504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3547] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3547/stat : 3547 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823987755896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3548] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3548/stat : 3548 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823986703304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3567] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3567/stat : 3567 (java) S 3513 3516 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107166457 9856040960 17608 33554432000 1073741824 1073778376 140735301467728 139823985648808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.01
Current children cumulated vsize (KiB) 9625040

[startup+6.30077 s]
/proc/loadavg: 1.45 1.53 1.79 4/213 3568
/proc/meminfo: memFree=31163120/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9625040 CPUtime=7.24 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 11623 0 1 0 720 4 0 0 20 0 19 0 107166412 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2406260 17596 2272 9 0 2396937 0
[pid=3516/tid=3518] ppid=3513 vsize=9625040 CPUtime=6.22 cores=1,3,5,7
/proc/3516/task/3518/stat : 3518 (java) R 3513 3516 3485 0 -1 4202560 2434 0 1 0 620 2 0 0 20 0 19 0 107166413 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139824640802744 139824489831831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3523] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3523/stat : 3523 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139824613255720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3524] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3524/stat : 3524 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139824612202920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3525] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3525/stat : 3525 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139824611150120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3526] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3526/stat : 3526 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139824610097320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3527] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3527/stat : 3527 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139824609045544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3528] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3528/stat : 3528 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139824607992744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3529] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3529/stat : 3529 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139824478071592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3530] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3530/stat : 3530 (java) S 3513 3516 3485 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107166417 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139824477018792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3531] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3531/stat : 3531 (java) S 3513 3516 3485 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139823994071528 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3533] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3533/stat : 3533 (java) S 3513 3516 3485 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139823993017592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3534] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3534/stat : 3534 (java) S 3513 3516 3485 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139823991964680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3544] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3544/stat : 3544 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139823990913168 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3545] ppid=3513 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/3516/task/3545/stat : 3545 (java) S 3513 3516 3485 0 -1 4202560 3406 0 0 0 47 0 0 0 20 0 19 0 107166420 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139823989861304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3546] ppid=3513 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/3516/task/3546/stat : 3546 (java) S 3513 3516 3485 0 -1 4202560 4505 0 0 0 50 0 0 0 20 0 19 0 107166420 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139823988808504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3547] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3547/stat : 3547 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139823987755896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3548] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3548/stat : 3548 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139823986703304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3567] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3567/stat : 3567 (java) S 3513 3516 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107166457 9856040960 17596 33554432000 1073741824 1073778376 140735301467728 139823985648808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 9625040


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

[pid=3516/tid=3567] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3567/stat : 3567 (java) S 3513 3516 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107166457 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823985648808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1663.77
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.17 2.12 2.03 3/214 3611
/proc/meminfo: memFree=30722212/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9625040 CPUtime=1723.77 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 12667 0 1 0 172339 38 0 0 20 0 19 0 107166412 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2406260 69518 2286 9 0 2396937 0
[pid=3516/tid=3518] ppid=3513 vsize=9625040 CPUtime=1717.65 cores=1,3,5,7
/proc/3516/task/3518/stat : 3518 (java) R 3513 3516 3485 0 -1 4202560 2487 0 1 0 171735 30 0 0 20 0 19 0 107166413 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824640794320 139824489771168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3523] ppid=3513 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3516/task/3523/stat : 3523 (java) S 3513 3516 3485 0 -1 4202560 56 0 0 0 3 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824613255720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3524] ppid=3513 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/3516/task/3524/stat : 3524 (java) S 3513 3516 3485 0 -1 4202560 167 0 0 0 3 1 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824612202920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3525] ppid=3513 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/3516/task/3525/stat : 3525 (java) S 3513 3516 3485 0 -1 4202560 115 0 0 0 4 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824611150120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3526] ppid=3513 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/3516/task/3526/stat : 3526 (java) S 3513 3516 3485 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824610097320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3527] ppid=3513 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/3516/task/3527/stat : 3527 (java) S 3513 3516 3485 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824609045544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3528] ppid=3513 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/3516/task/3528/stat : 3528 (java) S 3513 3516 3485 0 -1 4202560 139 0 0 0 5 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824607992744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3529] ppid=3513 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/3516/task/3529/stat : 3529 (java) S 3513 3516 3485 0 -1 4202560 30 0 0 0 6 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824478071592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3530] ppid=3513 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3516/task/3530/stat : 3530 (java) S 3513 3516 3485 0 -1 4202560 152 0 0 0 3 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824477018792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3531] ppid=3513 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/3516/task/3531/stat : 3531 (java) S 3513 3516 3485 0 -1 4202560 57 0 0 0 0 1 0 0 20 0 19 0 107166418 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823994071528 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3533] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3533/stat : 3533 (java) S 3513 3516 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823993017592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3534] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3534/stat : 3534 (java) S 3513 3516 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823991964680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3544] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3544/stat : 3544 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823990913168 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3545] ppid=3513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/3516/task/3545/stat : 3545 (java) S 3513 3516 3485 0 -1 4202560 3522 0 0 0 51 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823989861304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3546] ppid=3513 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/3516/task/3546/stat : 3546 (java) S 3513 3516 3485 0 -1 4202560 4505 0 0 0 53 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823988808504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3547] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3547/stat : 3547 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823987755896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3548] ppid=3513 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/3516/task/3548/stat : 3548 (java) S 3513 3516 3485 0 -1 4202560 99 0 0 0 12 21 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823986703304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3567] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3567/stat : 3567 (java) S 3513 3516 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107166457 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823985648808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1723.77
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.06 2.10 2.02 3/214 3635
/proc/meminfo: memFree=30721812/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9625040 CPUtime=1783.78 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 12671 0 1 0 178339 39 0 0 20 0 19 0 107166412 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2406260 69518 2286 9 0 2396937 0
[pid=3516/tid=3518] ppid=3513 vsize=9625040 CPUtime=1777.49 cores=1,3,5,7
/proc/3516/task/3518/stat : 3518 (java) R 3513 3516 3485 0 -1 4202560 2487 0 1 0 177718 31 0 0 20 0 19 0 107166413 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824640794320 139824489771065 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3523] ppid=3513 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3516/task/3523/stat : 3523 (java) S 3513 3516 3485 0 -1 4202560 56 0 0 0 3 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824613255720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3524] ppid=3513 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/3516/task/3524/stat : 3524 (java) S 3513 3516 3485 0 -1 4202560 167 0 0 0 3 1 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824612202920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3525] ppid=3513 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/3516/task/3525/stat : 3525 (java) S 3513 3516 3485 0 -1 4202560 115 0 0 0 4 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824611150120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3526] ppid=3513 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/3516/task/3526/stat : 3526 (java) S 3513 3516 3485 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824610097320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3527] ppid=3513 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/3516/task/3527/stat : 3527 (java) S 3513 3516 3485 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824609045544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3528] ppid=3513 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/3516/task/3528/stat : 3528 (java) S 3513 3516 3485 0 -1 4202560 139 0 0 0 5 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824607992744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3529] ppid=3513 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/3516/task/3529/stat : 3529 (java) S 3513 3516 3485 0 -1 4202560 30 0 0 0 6 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824478071592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3530] ppid=3513 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3516/task/3530/stat : 3530 (java) S 3513 3516 3485 0 -1 4202560 152 0 0 0 3 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824477018792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3531] ppid=3513 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/3516/task/3531/stat : 3531 (java) S 3513 3516 3485 0 -1 4202560 57 0 0 0 0 1 0 0 20 0 19 0 107166418 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823994071528 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3533] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3533/stat : 3533 (java) S 3513 3516 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823993017592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3534] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3534/stat : 3534 (java) S 3513 3516 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823991964680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3544] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3544/stat : 3544 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823990913168 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3545] ppid=3513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/3516/task/3545/stat : 3545 (java) S 3513 3516 3485 0 -1 4202560 3522 0 0 0 51 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823989861304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3546] ppid=3513 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/3516/task/3546/stat : 3546 (java) S 3513 3516 3485 0 -1 4202560 4505 0 0 0 53 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823988808504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3547] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3547/stat : 3547 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823987755896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3548] ppid=3513 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3516/task/3548/stat : 3548 (java) S 3513 3516 3485 0 -1 4202560 103 0 0 0 13 22 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823986703304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3567] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3567/stat : 3567 (java) S 3513 3516 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107166457 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823985648808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1783.78
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1798.61 s]
/proc/loadavg: 2.05 2.09 2.02 5/215 3637
/proc/meminfo: memFree=30719404/32872528 swapFree=12352/737972
[pid=3516] ppid=3513 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/3516/stat : 3516 (java) S 3513 3516 3485 0 -1 4202496 12671 0 1 0 179970 39 0 0 20 0 19 0 107166412 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 140735301458864 213869690941 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3516/statm: 2406260 69518 2286 9 0 2396937 0
[pid=3516/tid=3518] ppid=3513 vsize=9625040 CPUtime=1793.76 cores=1,3,5,7
/proc/3516/task/3518/stat : 3518 (java) R 3513 3516 3485 0 -1 4202560 2487 0 1 0 179345 31 0 0 20 0 19 0 107166413 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824640794320 139824489771045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3523] ppid=3513 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3516/task/3523/stat : 3523 (java) S 3513 3516 3485 0 -1 4202560 56 0 0 0 3 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824613255720 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3524] ppid=3513 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/3516/task/3524/stat : 3524 (java) S 3513 3516 3485 0 -1 4202560 167 0 0 0 3 1 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824612202920 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3525] ppid=3513 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/3516/task/3525/stat : 3525 (java) S 3513 3516 3485 0 -1 4202560 115 0 0 0 4 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824611150120 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3526] ppid=3513 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/3516/task/3526/stat : 3526 (java) S 3513 3516 3485 0 -1 4202560 39 0 0 0 4 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824610097320 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3527] ppid=3513 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/3516/task/3527/stat : 3527 (java) S 3513 3516 3485 0 -1 4202560 36 0 0 0 5 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824609045544 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3528] ppid=3513 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/3516/task/3528/stat : 3528 (java) S 3513 3516 3485 0 -1 4202560 139 0 0 0 5 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824607992744 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3516/tid=3529] ppid=3513 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/3516/task/3529/stat : 3529 (java) S 3513 3516 3485 0 -1 4202560 30 0 0 0 6 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824478071592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3530] ppid=3513 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3516/task/3530/stat : 3530 (java) S 3513 3516 3485 0 -1 4202560 152 0 0 0 3 2 0 0 20 0 19 0 107166417 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139824477018792 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3531] ppid=3513 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/3516/task/3531/stat : 3531 (java) S 3513 3516 3485 0 -1 4202560 57 0 0 0 0 1 0 0 20 0 19 0 107166418 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823994071528 213869705129 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3533] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3533/stat : 3533 (java) S 3513 3516 3485 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823993017592 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3534] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3534/stat : 3534 (java) S 3513 3516 3485 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107166418 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823991964680 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3544] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3544/stat : 3544 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823990913168 213869713184 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3516/tid=3545] ppid=3513 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/3516/task/3545/stat : 3545 (java) S 3513 3516 3485 0 -1 4202560 3522 0 0 0 51 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823989861304 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3546] ppid=3513 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/3516/task/3546/stat : 3546 (java) S 3513 3516 3485 0 -1 4202560 4505 0 0 0 53 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823988808504 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3547] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3547/stat : 3547 (java) S 3513 3516 3485 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823987755896 213869704252 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3516/tid=3548] ppid=3513 vsize=9625040 CPUtime=0.35 cores=1,3,5,7
/proc/3516/task/3548/stat : 3548 (java) S 3513 3516 3485 0 -1 4202560 103 0 0 0 13 22 0 0 20 0 19 0 107166420 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823986703304 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3516/tid=3567] ppid=3513 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3516/task/3567/stat : 3567 (java) S 3513 3516 3485 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 107166457 9856040960 69518 33554432000 1073741824 1073778376 140735301467728 139823985648808 213869705129 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3516 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3516 and gives
#  childrusage.ru_utime.tv_sec=1795
#  childrusage.ru_utime.tv_usec=209086
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=842871
# CPU time returned by wait4() is 1796.05
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1798.67
CPU time (s): 1800.09
CPU user time (s): 1799.7
CPU system time (s): 0.39
CPU usage (%): 100.079
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.21
system time used= 0.842871
maximum resident set size= 278204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12711
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38162
involuntary context switches= 2926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1035 second user time and 12.7821 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-07 00:31:59
IDJOB=4085505
IDBENCH=25035
IDSOLVER=2546
FILE ID=node112/4085505-1465252319
RUNJOBID= node112-1465252319-3502
PBS_JOBID= 19843261
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_opers/normalized-fir03_area_opers.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085505-1465252319/watcher-4085505-1465252319 -o /tmp/evaluation-result-4085505-1465252319/solver-4085505-1465252319 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1465252319-3502 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085505-1465252319.opb

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

MD5SUM BENCH= b21d0afca1befeb5506928b558ab5220
RANDOM SEED=922838326

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31284564 kB
Buffers:           42236 kB
Cached:           105632 kB
SwapCached:         1620 kB
Active:            63516 kB
Inactive:          86792 kB
Active(anon):       4372 kB
Inactive(anon):      564 kB
Active(file):      59144 kB
Inactive(file):    86228 kB
Unevictable:      737972 kB
Mlocked:           12352 kB
SwapTotal:      67108856 kB
SwapFree:       67098572 kB
Dirty:              1180 kB
Writeback:             0 kB
AnonPages:        740396 kB
Mapped:             6356 kB
Shmem:                 0 kB
Slab:             566508 kB
SReclaimable:      10520 kB
SUnreclaim:       555988 kB
KernelStack:        1336 kB
PageTables:         5392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     835080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    727040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71744 MiB
End job on node112 at 2016-06-07 01:01:58