Trace number 3689708

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
SAT 4j PB RES // CP 2.3.2 SnapshotSAT 252.846 129.897

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K73.opb
MD5SUM0228ffc8e8b202453e422d741e6bbe73
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1.46678
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4015
Total number of constraints4163
Number of constraints which are clauses4090
Number of constraints which are cardinality constraints (but not clauses)73
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint73
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 74
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120418
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/0.09	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c ManyCore solver with 2 solvers running in parallel
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c Expensive reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@4e3eca90
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Armin Biere (Picosat) restarts strategy
0.08/0.12	c Glucose learned constraints deletion strategy
0.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-3689708-1337884464.opb
0.08/0.12	c reading problem ... 
0.53/0.38	c ... done. Wall clock time 0.265s.
0.53/0.38	c declared #vars     4015
0.53/0.38	c #constraints  4163
0.53/0.38	c constraints type 
0.53/0.38	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3368
0.53/0.38	c org.sat4j.minisat.constraints.card.MinWatchCard => 73
0.53/0.38	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
0.53/0.38	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 720
0.53/0.38	c 4163 constraints processed.
0.53/0.38	c constraints type 
0.53/0.38	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 720
0.53/0.38	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3368
0.53/0.38	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 73
0.53/0.38	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
0.53/0.38	c 4163 constraints processed.
3.52/1.25	c cleaning 2426 clauses out of 4975 with flag 5000/5000
5.32/2.03	c cleaning 4256 clauses out of 8535 with flag 11000/11000
7.52/3.10	c cleaning 5572 clauses out of 11274 with flag 18004/18004
9.89/4.36	c cleaning 6824 clauses out of 13695 with flag 26004/26004
12.73/5.71	c cleaning 7864 clauses out of 15864 with flag 35000/35000
15.88/7.38	c cleaning 8948 clauses out of 18001 with flag 45004/45004
19.39/9.12	c cleaning 9906 clauses out of 20045 with flag 56000/56000
23.27/11.12	c cleaning 10974 clauses out of 22137 with flag 68000/68000
27.85/13.50	c cleaning 12025 clauses out of 24163 with flag 81000/81000
32.90/16.18	c cleaning 12893 clauses out of 26137 with flag 95000/95000
38.51/19.07	c cleaning 14027 clauses out of 28245 with flag 110002/110002
44.53/22.15	c cleaning 14995 clauses out of 30216 with flag 126000/126000
50.45/25.25	c cleaning 16018 clauses out of 32221 with flag 143000/143000
57.82/29.07	c cleaning 16985 clauses out of 34204 with flag 161001/161001
66.58/33.56	c cleaning 17955 clauses out of 36220 with flag 180002/180002
75.91/38.34	c cleaning 19068 clauses out of 38263 with flag 200000/200000
84.50/42.87	c cleaning 19978 clauses out of 40196 with flag 221001/221001
96.17/48.84	c cleaning 20933 clauses out of 42217 with flag 243000/243000
108.86/55.35	c cleaning 22071 clauses out of 44284 with flag 266000/266000
121.91/62.03	c cleaning 23026 clauses out of 46214 with flag 290001/290001
133.51/68.13	c cleaning 23987 clauses out of 48187 with flag 315000/315000
145.48/74.32	c cleaning 24954 clauses out of 50204 with flag 341004/341004
158.25/80.90	c cleaning 25966 clauses out of 52246 with flag 368000/368000
176.29/90.16	c cleaning 26880 clauses out of 54280 with flag 396000/396000
192.17/98.41	c cleaning 28138 clauses out of 56400 with flag 425000/425000
207.96/106.52	c cleaning 28914 clauses out of 58262 with flag 455000/455000
227.78/116.62	c cleaning 29861 clauses out of 60347 with flag 486000/486000
252.25/129.53	c  And the winner is solver0
252.61/129.84	c starts		: 152
252.61/129.84	c conflicts		: 512070
252.61/129.84	c decisions		: 3075091
252.61/129.84	c propagations		: 143682760
252.61/129.84	c inspects		: 547883359
252.61/129.84	c shortcuts		: 0
252.61/129.84	c learnt literals	: 70
252.61/129.84	c learnt binary clauses	: 22981
252.61/129.84	c learnt ternary clauses	: 22771
252.61/129.84	c learnt constraints	: 512000
252.61/129.84	c ignored constraints	: 0
252.61/129.84	c root simplifications	: 0
252.61/129.84	c removed literals (reason simplification)	: 10894960
252.61/129.84	c reason swapping (by a shorter reason)	: 0
252.61/129.84	c Calls to reduceDB	: 27
252.61/129.84	c number of reductions to clauses (during analyze)	: 0
252.61/129.84	c number of learned constraints concerned by reduction	: 0
252.61/129.84	c number of learning phase by resolution	: 0
252.61/129.84	c number of learning phase by cutting planes	: 0
252.61/129.84	c speed (assignments/second)	: 1110102.2930959887
252.61/129.84	c non guided choices	508
252.61/129.86	c learnt constraints type 
252.61/129.86	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 22981
252.61/129.86	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 33575
252.61/129.86	c constraints type 
252.61/129.86	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3368
252.61/129.86	c org.sat4j.minisat.constraints.card.MinWatchCard => 73
252.61/129.86	c org.sat4j.minisat.constraints.cnf.UnitClause => 2
252.61/129.86	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 720
252.61/129.86	c 4163 constraints processed.
252.61/129.86	c constraints type 
252.61/129.86	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 720
252.61/129.86	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 3368
252.61/129.86	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 73
252.61/129.86	c org.sat4j.pb.constraints.pb.UnitClausePB => 2
252.61/129.86	c 4163 constraints processed.
252.61/129.86	s SATISFIABLE
252.61/129.87	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 
252.61/129.87	c Total wall clock time (in seconds): 129.754

Verifier Data

OK	0

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3689708-1337884464/watcher-3689708-1337884464 -o /tmp/evaluation-result-3689708-1337884464/solver-3689708-1337884464 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3689708-1337884464.opb 

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

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


[startup+0 s]
/proc/loadavg: 3.86 3.87 3.76 4/197 25405
/proc/meminfo: memFree=27722368/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25405/stat : 25405 (java) D 25403 25405 21597 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 254573764 9515008 184 33554432000 1073741824 1073778376 140736547139328 140736547130552 219513777591 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/25405/statm: 2323 184 142 9 0 71 0

[startup+0.0528021 s]
/proc/loadavg: 3.86 3.87 3.76 4/197 25405
/proc/meminfo: memFree=27722368/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 3063 0 1 0 3 0 0 0 20 0 13 0 254573764 9446973440 3760 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2306390 3760 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100234 s]
/proc/loadavg: 3.86 3.87 3.76 4/197 25405
/proc/meminfo: memFree=27722368/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9558412 CPUtime=0.08 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 4310 0 1 0 8 0 0 0 20 0 18 0 254573764 9787813888 5498 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2389603 5499 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412

[startup+0.300227 s]
/proc/loadavg: 3.86 3.87 3.76 4/197 25405
/proc/meminfo: memFree=27722368/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9558412 CPUtime=0.53 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 6974 0 1 0 52 1 0 0 20 0 18 0 254573764 9787813888 9365 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2389603 9365 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558412

[startup+0.700176 s]
/proc/loadavg: 3.86 3.87 3.76 4/197 25405
/proc/meminfo: memFree=27722368/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9824668 CPUtime=1.94 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 13623 0 1 0 192 2 0 0 20 0 22 0 254573764 10060460032 19130 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2456167 19130 2254 9 0 2446860 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9824668

[startup+1.50073 s]
/proc/loadavg: 3.86 3.87 3.76 5/219 25427
/proc/meminfo: memFree=27332444/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9824668 CPUtime=4.18 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 16120 0 1 0 413 5 0 0 20 0 22 0 254573764 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2456167 46859 2287 9 0 2446860 0
[pid=25405/tid=25407] ppid=25403 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/25405/task/25407/stat : 25407 (java) S 25403 25405 21597 0 -1 4202560 2471 0 1 0 34 1 0 0 20 0 22 0 254573765 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139921121305592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139921110366632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920964008488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920962955432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21597 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920961902888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920960850856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920959798312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920958745256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920957692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21597 0 -1 4202560 35 0 0 0 2 0 0 0 20 0 22 0 254573767 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920945494376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920944440696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920943387528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920942336272 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=9824668 CPUtime=0.83 cores=0,2,4,6
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21597 0 -1 4202560 7118 0 0 0 81 2 0 0 20 0 22 0 254573770 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920941284152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=9824668 CPUtime=0.79 cores=0,2,4,6
/proc/25405/task/25421/stat : 25421 (java) R 25403 25405 21597 0 -1 4202560 5109 0 0 0 79 0 0 0 20 0 22 0 254573770 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920940231608 139921125419285 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920939178744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920938126408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25424] ppid=25403 vsize=9824668 CPUtime=1.03 cores=0,2,4,6
/proc/25405/task/25424/stat : 25424 (java) R 25403 25405 21597 0 -1 4202560 32 0 0 0 103 0 0 0 20 0 22 0 254573803 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920937071032 139920992296754 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25425] ppid=25403 vsize=9824668 CPUtime=1.05 cores=0,2,4,6
/proc/25405/task/25425/stat : 25425 (java) R 25403 25405 21597 0 -1 4202560 126 0 0 0 103 2 0 0 20 0 22 0 254573803 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920936018072 139920992630500 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25426] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25426/stat : 25426 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254573804 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920934966056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25427] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25427/stat : 25427 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254573804 10060460032 46859 33554432000 1073741824 1073778376 140734315436416 139920933913512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.18
Current children cumulated vsize (KiB) 9824668

[startup+3.10083 s]
/proc/loadavg: 3.87 3.87 3.76 4/219 25427
/proc/meminfo: memFree=26970004/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9824668 CPUtime=7.52 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 16243 0 1 0 744 8 0 0 20 0 22 0 254573764 10060460032 61271 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2456167 61271 2287 9 0 2446860 0
[pid=25405/tid=25407] ppid=25403 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/25405/task/25407/stat : 25407 (java) S 25403 25405 21597 0 -1 4202560 2471 0 1 0 34 1 0 0 20 0 22 0 254573765 10060460032 61271 33554432000 1073741824 1073778376 140734315436416 139921121305592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21597 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 254573766 10060460032 61271 33554432000 1073741824 1073778376 140734315436416 139921110366632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21597 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 22 0 254573766 10060460032 61271 33554432000 1073741824 1073778376 140734315436416 139920964008488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21597 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 61271 33554432000 1073741824 1073778376 140734315436416 139920962955432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=9824668 CPUtime=0.01 cores=0,2,4,6
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21597 0 -1 4202560 24 0 0 0 1 0 0 0 20 0 22 0 254573766 10060460032 61271 33554432000 1073741824 1073778376 140734315436416 139920961902888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 61271 33554432000 1073741824 1073778376 140734315436416 139920960850856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 61271 33554432000 1073741824 1073778376 140734315436416 139920959798312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920958745256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 254573766 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920957692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=9824668 CPUtime=0.07 cores=0,2,4,6
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21597 0 -1 4202560 102 0 0 0 7 0 0 0 20 0 22 0 254573767 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920945494376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920944440696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920943387528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920942336272 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=9824668 CPUtime=0.9 cores=0,2,4,6
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21597 0 -1 4202560 7118 0 0 0 88 2 0 0 20 0 22 0 254573770 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920941284152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=9824668 CPUtime=0.86 cores=0,2,4,6
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21597 0 -1 4202560 5109 0 0 0 86 0 0 0 20 0 22 0 254573770 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920940231608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920939178744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920938126408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25424] ppid=25403 vsize=9824668 CPUtime=2.56 cores=0,2,4,6
/proc/25405/task/25424/stat : 25424 (java) R 25403 25405 21597 0 -1 4202560 34 0 0 0 256 0 0 0 20 0 22 0 254573803 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920937069056 139920992225238 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25425] ppid=25403 vsize=9824668 CPUtime=2.57 cores=0,2,4,6
/proc/25405/task/25425/stat : 25425 (java) R 25403 25405 21597 0 -1 4202560 146 0 0 0 255 2 0 0 20 0 22 0 254573803 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920936017800 139920992433016 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25426] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25426/stat : 25426 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254573804 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920934966056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25427] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25427/stat : 25427 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254573804 10060460032 61783 33554432000 1073741824 1073778376 140734315436416 139920933913512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 9824668

[startup+6.30088 s]
/proc/loadavg: 3.87 3.87 3.76 5/219 25427
/proc/meminfo: memFree=26805052/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9824668 CPUtime=13.88 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 16508 0 1 0 1373 15 0 0 20 0 22 0 254573764 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2456167 98277 2287 9 0 2446860 0
[pid=25405/tid=25407] ppid=25403 vsize=9824668 CPUtime=0.35 cores=0,2,4,6
/proc/25405/task/25407/stat : 25407 (java) S 25403 25405 21597 0 -1 4202560 2471 0 1 0 34 1 0 0 20 0 22 0 254573765 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139921121305592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21597 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 22 0 254573766 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139921110366632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21597 0 -1 4202560 24 0 0 0 4 0 0 0 20 0 22 0 254573766 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920964008488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21597 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 254573766 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920962955432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21597 0 -1 4202560 35 0 0 0 3 2 0 0 20 0 22 0 254573766 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920961902888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21597 0 -1 4202560 26 0 0 0 2 2 0 0 20 0 22 0 254573766 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920960850856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21597 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 22 0 254573766 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920959798312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21597 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 254573766 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920958745256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21597 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 254573766 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920957692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21597 0 -1 4202560 249 0 0 0 39 2 0 0 20 0 22 0 254573767 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920945494376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920944440696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920943387528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920942336272 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21597 0 -1 4202560 7119 0 0 0 92 2 0 0 20 0 22 0 254573770 10060460032 98277 33554432000 1073741824 1073778376 140734315436416 139920941284152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21597 0 -1 4202560 1392 0 0 0 985 7 0 0 20 0 22 0 254573767 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920945494376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920944440696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920943387528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920942336272 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21597 0 -1 4202560 7119 0 0 0 92 2 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920941284152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21597 0 -1 4202560 5112 0 0 0 104 0 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920940231608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920939178744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 2 2 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920938126408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25424] ppid=25403 vsize=9824668 CPUtime=117.4 cores=0,2,4,6
/proc/25405/task/25424/stat : 25424 (java) R 25403 25405 21597 0 -1 4202560 75 0 0 0 11737 3 0 0 20 0 22 0 254573803 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920937069032 139920991852451 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25425] ppid=25403 vsize=9824668 CPUtime=117.38 cores=0,2,4,6
/proc/25405/task/25425/stat : 25425 (java) R 25403 25405 21597 0 -1 4202560 971 0 0 0 11710 28 0 0 20 0 22 0 254573803 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920936017176 139920992524570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25426] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25426/stat : 25426 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254573804 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920934966056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25427] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25427/stat : 25427 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254573804 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920933913512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 250.66
Current children cumulated vsize (KiB) 9824668

[startup+129.501 s]
/proc/loadavg: 3.93 3.88 3.77 4/219 25427
/proc/meminfo: memFree=24137764/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9824668 CPUtime=252.25 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 19655 0 1 0 25155 70 0 0 20 0 22 0 254573764 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2456167 568215 2287 9 0 2446860 0
[pid=25405/tid=25407] ppid=25403 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25405/task/25407/stat : 25407 (java) S 25403 25405 21597 0 -1 4202560 2486 0 1 0 34 2 0 0 20 0 22 0 254573765 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139921121305592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21597 0 -1 4202560 116 0 0 0 40 4 0 0 20 0 22 0 254573766 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139921110366632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21597 0 -1 4202560 180 0 0 0 43 4 0 0 20 0 22 0 254573766 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920964008488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21597 0 -1 4202560 154 0 0 0 34 3 0 0 20 0 22 0 254573766 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920962955432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21597 0 -1 4202560 98 0 0 0 40 5 0 0 20 0 22 0 254573766 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920961902888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21597 0 -1 4202560 108 0 0 0 40 6 0 0 20 0 22 0 254573766 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920960850856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21597 0 -1 4202560 267 0 0 0 35 3 0 0 20 0 22 0 254573766 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920959798312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21597 0 -1 4202560 217 0 0 0 43 4 0 0 20 0 22 0 254573766 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920958745256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21597 0 -1 4202560 164 0 0 0 37 4 0 0 20 0 22 0 254573766 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920957692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=9824668 CPUtime=9.92 cores=0,2,4,6
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21597 0 -1 4202560 1392 0 0 0 985 7 0 0 20 0 22 0 254573767 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920945494376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920944440696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 254573768 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920943387528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920942336272 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21597 0 -1 4202560 7119 0 0 0 92 2 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920941284152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21597 0 -1 4202560 5112 0 0 0 104 0 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920940231608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920939178744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 2 2 0 0 20 0 22 0 254573770 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920938126408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25424] ppid=25403 vsize=9824668 CPUtime=118.19 cores=0,2,4,6
/proc/25405/task/25424/stat : 25424 (java) R 25403 25405 21597 0 -1 4202560 75 0 0 0 11816 3 0 0 20 0 22 0 254573803 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920937068912 139920992220008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25425] ppid=25403 vsize=9824668 CPUtime=118.17 cores=0,2,4,6
/proc/25405/task/25425/stat : 25425 (java) R 25403 25405 21597 0 -1 4202560 971 0 0 0 11789 28 0 0 20 0 22 0 254573803 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920936017216 139920992629639 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25426] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25426/stat : 25426 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254573804 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920934966056 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25427] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25427/stat : 25427 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 254573804 10060460032 568215 33554432000 1073741824 1073778376 140734315436416 139920933913512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 252.25
Current children cumulated vsize (KiB) 9824668

[startup+129.701 s]
/proc/loadavg: 3.93 3.88 3.77 4/217 25427
/proc/meminfo: memFree=24137268/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9824668 CPUtime=252.51 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 19658 0 1 0 25178 73 0 0 20 0 20 0 254573764 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2456167 568210 2288 9 0 2446860 0
[pid=25405/tid=25407] ppid=25403 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25405/task/25407/stat : 25407 (java) S 25403 25405 21597 0 -1 4202560 2486 0 1 0 34 2 0 0 20 0 20 0 254573765 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139921121305592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21597 0 -1 4202560 116 0 0 0 40 4 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139921110366632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21597 0 -1 4202560 180 0 0 0 43 4 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920964008488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21597 0 -1 4202560 154 0 0 0 34 3 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920962955432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21597 0 -1 4202560 98 0 0 0 40 5 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920961902888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21597 0 -1 4202560 108 0 0 0 40 6 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920960850856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21597 0 -1 4202560 267 0 0 0 35 3 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920959798312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21597 0 -1 4202560 217 0 0 0 43 4 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920958745256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21597 0 -1 4202560 164 0 0 0 37 4 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920957692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=9824668 CPUtime=9.92 cores=0,2,4,6
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21597 0 -1 4202560 1392 0 0 0 985 7 0 0 20 0 20 0 254573767 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920945494376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254573768 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920944440696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 254573768 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920943387528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920942336272 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21597 0 -1 4202560 7119 0 0 0 92 2 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920941284152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21597 0 -1 4202560 5112 0 0 0 104 0 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920940231608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920939178744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 2 2 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920938126408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25425] ppid=25403 vsize=9824668 CPUtime=118.38 cores=0,2,4,6
/proc/25405/task/25425/stat : 25425 (java) R 25403 25405 21597 0 -1 4202560 972 0 0 0 11810 28 0 0 20 0 20 0 254573803 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920936016856 139920992524570 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25427] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25427/stat : 25427 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 254573804 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920933913512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 252.51
Current children cumulated vsize (KiB) 9824668

[startup+129.807 s]
/proc/loadavg: 3.93 3.88 3.77 4/217 25427
/proc/meminfo: memFree=24137268/32873648 swapFree=7108/7108
[pid=25405] ppid=25403 vsize=9824668 CPUtime=252.61 cores=0,2,4,6
/proc/25405/stat : 25405 (java) S 25403 25405 21597 0 -1 4202496 19658 0 1 0 25188 73 0 0 20 0 20 0 254573764 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 140734315427552 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25405/statm: 2456167 568210 2288 9 0 2446860 0
[pid=25405/tid=25407] ppid=25403 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25405/task/25407/stat : 25407 (java) S 25403 25405 21597 0 -1 4202560 2486 0 1 0 34 2 0 0 20 0 20 0 254573765 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139921121305592 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25408] ppid=25403 vsize=9824668 CPUtime=0.44 cores=0,2,4,6
/proc/25405/task/25408/stat : 25408 (java) S 25403 25405 21597 0 -1 4202560 116 0 0 0 40 4 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139921110366632 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25409] ppid=25403 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/25405/task/25409/stat : 25409 (java) S 25403 25405 21597 0 -1 4202560 180 0 0 0 43 4 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920964008488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25410] ppid=25403 vsize=9824668 CPUtime=0.37 cores=0,2,4,6
/proc/25405/task/25410/stat : 25410 (java) S 25403 25405 21597 0 -1 4202560 154 0 0 0 34 3 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920962955432 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25411] ppid=25403 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/25405/task/25411/stat : 25411 (java) S 25403 25405 21597 0 -1 4202560 98 0 0 0 40 5 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920961902888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25412] ppid=25403 vsize=9824668 CPUtime=0.46 cores=0,2,4,6
/proc/25405/task/25412/stat : 25412 (java) S 25403 25405 21597 0 -1 4202560 108 0 0 0 40 6 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920960850856 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25413] ppid=25403 vsize=9824668 CPUtime=0.38 cores=0,2,4,6
/proc/25405/task/25413/stat : 25413 (java) S 25403 25405 21597 0 -1 4202560 267 0 0 0 35 3 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920959798312 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25414] ppid=25403 vsize=9824668 CPUtime=0.47 cores=0,2,4,6
/proc/25405/task/25414/stat : 25414 (java) S 25403 25405 21597 0 -1 4202560 217 0 0 0 43 4 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920958745256 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25415] ppid=25403 vsize=9824668 CPUtime=0.41 cores=0,2,4,6
/proc/25405/task/25415/stat : 25415 (java) S 25403 25405 21597 0 -1 4202560 164 0 0 0 37 4 0 0 20 0 20 0 254573766 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920957692712 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25416] ppid=25403 vsize=9824668 CPUtime=9.92 cores=0,2,4,6
/proc/25405/task/25416/stat : 25416 (java) S 25403 25405 21597 0 -1 4202560 1392 0 0 0 985 7 0 0 20 0 20 0 254573767 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920945494376 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25417] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25417/stat : 25417 (java) S 25403 25405 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 254573768 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920944440696 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25418] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25418/stat : 25418 (java) S 25403 25405 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 254573768 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920943387528 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25419] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25419/stat : 25419 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920942336272 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25420] ppid=25403 vsize=9824668 CPUtime=0.94 cores=0,2,4,6
/proc/25405/task/25420/stat : 25420 (java) S 25403 25405 21597 0 -1 4202560 7119 0 0 0 92 2 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920941284152 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25405/tid=25421] ppid=25403 vsize=9824668 CPUtime=1.04 cores=0,2,4,6
/proc/25405/task/25421/stat : 25421 (java) S 25403 25405 21597 0 -1 4202560 5112 0 0 0 104 0 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920940231608 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25422] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25422/stat : 25422 (java) S 25403 25405 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920939178744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25405/tid=25423] ppid=25403 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25405/task/25423/stat : 25423 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 2 2 0 0 20 0 20 0 254573770 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920938126408 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25405/tid=25425] ppid=25403 vsize=9824668 CPUtime=118.48 cores=0,2,4,6
/proc/25405/task/25425/stat : 25425 (java) R 25403 25405 21597 0 -1 4202560 972 0 0 0 11820 28 0 0 20 0 20 0 254573803 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920936016856 139920992524415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25405/tid=25427] ppid=25403 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25405/task/25427/stat : 25427 (java) S 25403 25405 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 254573804 10060460032 568210 33554432000 1073741824 1073778376 140734315436416 139920933913512 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 252.61
Current children cumulated vsize (KiB) 9824668

Child status: 10
Real time (s): 129.897
CPU time (s): 252.846
CPU user time (s): 251.915
CPU system time (s): 0.930858
CPU usage (%): 194.651
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.915
system time used= 0.930858
maximum resident set size= 2413592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19670
page faults= 1
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4540
involuntary context switches= 5477

runsolver used 0.480926 second user time and 1.17682 second system time

The end

Launcher Data

Begin job on node114 at 2012-05-24 20:34:24
IDJOB=3689708
IDBENCH=90216
IDSOLVER=2268
FILE ID=node114/3689708-1337884464
RUNJOBID= node114-1337871881-21613
PBS_JOBID= 14620090
Free space on /tmp= 71668 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/normalized-BeauxArts_K73.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3689708-1337884464/watcher-3689708-1337884464 -o /tmp/evaluation-result-3689708-1337884464/solver-3689708-1337884464 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3689708-1337884464.opb

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

MD5SUM BENCH= 0228ffc8e8b202453e422d741e6bbe73
RANDOM SEED=413812369

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27722632 kB
Buffers:          209872 kB
Cached:          2504592 kB
SwapCached:            0 kB
Active:          2262508 kB
Inactive:        2098364 kB
Active(anon):    1649176 kB
Inactive(anon):        0 kB
Active(file):     613332 kB
Inactive(file):  2098364 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               844 kB
Writeback:             0 kB
AnonPages:       1798840 kB
Mapped:            21716 kB
Shmem:               200 kB
Slab:             622456 kB
SReclaimable:      66844 kB
SUnreclaim:       555612 kB
KernelStack:        1792 kB
PageTables:         7736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2665324 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1738752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71668 MiB
End job on node114 at 2012-05-24 20:36:34