Trace number 3736030

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)24 1800.55 1796.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_8.opb
MD5SUMa6271c60ac3da107dd19024b50d39967
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark18
Best CPU time to get the best result obtained on this benchmark60.8677
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 18
Optimality of the best value was proved YES
Number of variables4318
Total number of constraints15120
Number of constraints which are clauses15112
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints7
Minimum length of a constraint1
Maximum length of a constraint490
Number of terms in the objective function 490
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 490
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 28
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 518
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.00/0.08	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.00/0.08	c no version file found!!!
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version	1.6.0_24
0.00/0.08	c os.name	Linux
0.00/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch	amd64
0.00/0.08	c Free memory 1599470296
0.00/0.08	c Max memory 1607860224
0.00/0.08	c Total memory 1607860224
0.00/0.08	c Number of processors 8
0.08/0.11	--- Begin Solver configuration ---
0.08/0.11	c Stops conflict analysis at the first Unique Implication Point
0.08/0.11	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@1cb1c5fa
0.08/0.11	c Learn all clauses as in MiniSAT
0.08/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.11	c VSIDS like heuristics from MiniSAT using a heap
0.08/0.11	c No reason simplification
0.08/0.11	c --- End Solver configuration ---
0.08/0.11	c solving HOME/instance-3736030-1338713124.opb
0.08/0.11	c reading problem ... 
0.74/0.49	c ... done. Wall clock time 0.381s.
0.74/0.49	c CPU time (experimental) 0.45s.
0.74/0.49	c #vars     4318
0.74/0.49	c #constraints  15115
1.00/0.54	c SATISFIABLE
1.00/0.54	c OPTIMIZING...
1.00/0.54	c Got one! Elapsed wall clock time (in seconds):0.432
1.00/0.56	o 24
1691.02/1687.95	c cleaning 1499992 clauses out of 3000005 for limit 0.0011491391834579806
1765.63/1762.50	c cleaning 750247 clauses out of 1500513 for limit 0.003788879005551276
1782.13/1779.05	c cleaning 375372 clauses out of 750766 for limit 0.012488255906555416
1789.13/1786.05	c cleaning 187938 clauses out of 375896 for limit 0.041215786561406974
1790.93/1787.82	c cleaning 94223 clauses out of 188457 for limit 0.13543795836512723
1791.74/1788.68	c cleaning 47360 clauses out of 94733 for limit 0.44388733751288717
1792.13/1789.02	c cleaning 23924 clauses out of 47873 for limit 1.4485693451851744
1792.23/1789.19	c cleaning 12211 clauses out of 24449 for limit 4.677617661090502
1792.43/1789.33	c cleaning 6357 clauses out of 12738 for limit 14.806092680762989
1792.53/1789.47	c cleaning 3432 clauses out of 6882 for limit 45.2394627387718
1792.74/1789.61	c cleaning 1950 clauses out of 3949 for limit 129.88719810632088
1792.84/1789.75	c cleaning 1236 clauses out of 2501 for limit 338.8946407322057
1792.93/1789.88	c cleaning 864 clauses out of 1763 for limit 791.2485804351743
1793.03/1789.99	c cleaning 685 clauses out of 1400 for limit 1644.8549998029189
1793.23/1790.13	c cleaning 592 clauses out of 1218 for limit 3127.2873562536715
1793.33/1790.24	c cleaning 541 clauses out of 1127 for limit 5579.323713760507
1793.43/1790.36	c cleaning 521 clauses out of 1082 for limit 9545.442265511867
1793.53/1790.49	c cleaning 505 clauses out of 1061 for limit 16053.281419183731
1793.73/1790.63	c cleaning 518 clauses out of 1055 for limit 26597.947140343415
1793.84/1790.77	c cleaning 508 clauses out of 1037 for limit 44624.9465395981
1793.94/1790.88	c cleaning 497 clauses out of 1030 for limit 74166.81672823068
1794.03/1790.99	c cleaning 499 clauses out of 1032 for limit 121951.8918514381
1794.23/1791.15	c cleaning 507 clauses out of 1033 for limit 200920.2938879805
1794.43/1791.30	c cleaning 503 clauses out of 1027 for limit 333613.85717246926
1794.53/1791.45	c cleaning 499 clauses out of 1024 for limit 551785.7180813984
1794.73/1791.60	c cleaning 496 clauses out of 1025 for limit 909080.6915760922
1794.83/1791.79	c cleaning 505 clauses out of 1028 for limit 1493325.7698029208
1795.04/1791.95	c cleaning 503 clauses out of 1024 for limit 2474788.654919644
1795.23/1792.12	c cleaning 509 clauses out of 1020 for limit 4093165.232391405
1795.43/1792.31	c cleaning 494 clauses out of 1011 for limit 6810267.638875328
1795.53/1792.48	c cleaning 501 clauses out of 1018 for limit 1.1164980170923892E7
1795.73/1792.63	c cleaning 508 clauses out of 1016 for limit 1.8430342304229468E7
1795.83/1792.79	c cleaning 484 clauses out of 1008 for limit 3.0635323042842455E7
1796.04/1792.93	c cleaning 497 clauses out of 1024 for limit 4.9732343736313306E7
1796.14/1793.07	c cleaning 463 clauses out of 1027 for limit 8.177571061789672E7
1796.33/1793.21	c cleaning 532 clauses out of 1064 for limit 1.3016943788072118E8
1796.43/1793.34	c cleaning 516 clauses out of 1032 for limit 2.2132315222647154E8
1796.53/1793.46	c cleaning 484 clauses out of 1016 for limit 3.7073938352199215E8
1796.73/1793.61	c cleaning 483 clauses out of 1032 for limit 6.019197882713714E8
1796.83/1793.79	c cleaning 502 clauses out of 1051 for limit 9.766535048415127E8
1797.03/1793.92	c cleaning 522 clauses out of 1047 for limit 1.6135536523804755E9
1797.14/1794.05	c cleaning 510 clauses out of 1025 for limit 2.7180792430603633E9
1797.24/1794.19	c cleaning 481 clauses out of 1015 for limit 4.526638617922022E9
1797.43/1794.32	c cleaning 488 clauses out of 1034 for limit 7.327860864111492E9
1797.53/1794.46	c cleaning 523 clauses out of 1046 for limit 1.194598474774435E10
1797.63/1794.58	c cleaning 426 clauses out of 1023 for limit 2.014345180271316E10
1797.83/1794.73	c cleaning 534 clauses out of 1098 for limit 3.0981153686519463E10
1797.93/1794.87	c cleaning 498 clauses out of 1063 for limit 5.272153385834321E10
1798.13/1795.00	c cleaning 504 clauses out of 1065 for limit 8.678158555632454E10
1798.24/1795.14	c cleaning 507 clauses out of 1061 for limit 1.436539895157223E11
1798.34/1795.30	c cleaning 526 clauses out of 1054 for limit 2.3847801691520227E11
1798.53/1795.43	c cleaning 489 clauses out of 1028 for limit 4.032289777905896E11
1798.63/1795.59	c cleaning 515 clauses out of 1039 for limit 6.579383312329265E11
1798.83/1795.72	c cleaning 474 clauses out of 1024 for limit 1.1009222952319045E12
1798.93/1795.84	c cleaning 525 clauses out of 1050 for limit 1.77061121812689E12
1799.03/1795.99	c cleaning 511 clauses out of 1025 for limit 2.991193663574029E12
1799.23/1796.12	c cleaning 431 clauses out of 1014 for limit 4.986390994686299E12
1799.34/1796.24	c cleaning 541 clauses out of 1083 for limit 7.69930838332256E12
1799.44/1796.34	c cleaning 506 clauses out of 1042 for limit 1.3196791026138443E13
1799.63/1796.51	c cleaning 517 clauses out of 1036 for limit 2.1889315963691258E13
1799.73/1796.69	c cleaning 509 clauses out of 1019 for limit 3.670064091865208E13
1799.93/1796.81	c cleaning 479 clauses out of 1010 for limit 6.10635917466707E13
1800.04/1796.91	c starts		: 25
1800.04/1796.91	c conflicts		: 3030869
1800.04/1796.91	c decisions		: 8501461
1800.04/1796.91	c propagations		: 2281328093
1800.04/1796.91	c inspects		: 12223829416
1800.04/1796.91	c learnt literals	: 0
1800.04/1796.91	c learnt binary clauses	: 0
1800.04/1796.91	c learnt ternary clauses	: 1
1800.04/1796.91	c learnt clauses	: 3030869
1800.04/1796.91	c root simplifications	: 0
1800.04/1796.91	c removed literals (reason simplification)	: 0
1800.04/1796.91	c reason swapping (by a shorter reason)	: 0
1800.04/1796.91	c Calls to reduceDB	: 62
1800.04/1796.91	c speed (decisions/second)	: 4732.662227264579
1800.04/1796.91	c non guided choices	0
1800.04/1796.91	s SATISFIABLE
1800.04/1796.92	v x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 x428 x429 x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 x581 -x582 -x583 -x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 x799 x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 x1529 x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 x2284 -x2285 x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 x2576 -x2577 x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 x2889 -x2890 -x2891 x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 x2964 -x2965 -x2966 x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 x3003 x3004 -x3005 -x3006 x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 x3114 -x3115 -x3116 -x3117 x3118 -x3119 -x3120 -x3121 x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 x3186 -x3187 -x3188 -x3189 -x3190 x3191 -x3192 -x3193 x3194 -x3195 x3196 -x3197 -x3198 -x3199 -x3200 x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 x3221 -x3222 -x3223 -x3224 -x3225 x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 x3253 -x3254 x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 x3264 x3265 x3266 x3267 -x3268 x3269 -x3270 -x3271 -x3272 x3273 -x3274 -x3275 -x3276 x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 x3326 -x3327 -x3328 x3329 x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 x3408 -x3409 -x3410 -x3411 -x3412 x3413 x3414 -x3415 -x3416 -x3417 x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 x3428 -x3429 -x3430 -x3431 x3432 -x3433 x3434 x3435 x3436 x3437 x3438 -x3439 x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 x3450 -x3451 -x3452 -x3453 -x3454 -x3455 x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 x3465 x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 x3548 -x3549 -x3550 -x3551 x3552 x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 x3637 x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 x3747 x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 x4081 -x4082 -x4083 -x4084 -x4085 -x4086 x4087 x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 x4102 -x4103 -x4104 -x4105 -x4106 -x4107 -x4108 x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 x4280 -x4281 -x4282 -x4283 -x4284 x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 x4301 x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 x4315 -x4316 -x4317 -x4318 
1800.04/1796.92	c objective function=24
1800.04/1796.92	c Total wall clock time (ms): 1796.818

Verifier Data 

OK	24

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-3736030-1338713124/watcher-3736030-1338713124 -o /tmp/evaluation-result-3736030-1338713124/solver-3736030-1338713124 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736030-1338713124.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: 1.00 1.12 1.50 3/172 4459
/proc/meminfo: memFree=27798116/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/4459/stat : 4459 (java) D 4456 4459 4424 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 337438302 9515008 182 33554432000 1073741824 1073778376 140735435683536 140735435674568 242167398069 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/4459/statm: 2323 182 140 9 0 71 0

[startup+0.093323 s]
/proc/loadavg: 1.00 1.12 1.50 3/172 4459
/proc/meminfo: memFree=27798116/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 4194 0 1 0 6 1 0 0 20 0 18 0 337438302 3028844544 5401 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 739464 5401 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856

[startup+0.100241 s]
/proc/loadavg: 1.00 1.12 1.50 3/172 4459
/proc/meminfo: memFree=27798116/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 4766 0 1 0 7 1 0 0 20 0 18 0 337438302 3028844544 5962 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 739464 5964 2055 9 0 729885 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2957856

[startup+0.300216 s]
/proc/loadavg: 1.00 1.12 1.50 3/172 4459
/proc/meminfo: memFree=27798116/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 6101 0 1 0 42 2 0 0 20 0 18 0 337438302 3028844544 8996 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 739464 8997 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856

[startup+0.700238 s]
/proc/loadavg: 1.00 1.12 1.50 3/172 4459
/proc/meminfo: memFree=27798116/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=3024420 CPUtime=1.57 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 14235 0 1 0 153 4 0 0 20 0 19 0 337438302 3097006080 20760 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 756105 20760 2276 9 0 746526 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 3024420

[startup+1.50061 s]
/proc/loadavg: 1.00 1.12 1.50 3/213 4508
/proc/meminfo: memFree=27558880/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=3024420 CPUtime=2.42 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 14316 0 1 0 238 4 0 0 20 0 19 0 337438302 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 756105 20764 2276 9 0 746526 0
[pid=4459/tid=4461] ppid=4456 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/4459/task/4461/stat : 4461 (java) R 4456 4459 4424 0 -1 4202560 3109 0 1 0 144 2 0 0 20 0 19 0 337438303 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140516168863896 140516041156343 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4466] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4466/stat : 4466 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140516034816680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4467] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4467/stat : 4467 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140516033764136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4468] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4468/stat : 4468 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140516032711592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4469] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4469/stat : 4469 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140516031659048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4470] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4470/stat : 4470 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140516030605480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4471] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4471/stat : 4471 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515693553960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4472] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4472/stat : 4472 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515692501416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4473] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4473/stat : 4473 (java) S 4456 4459 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515691448872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4479] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4479/stat : 4479 (java) S 4456 4459 4424 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515679251048 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4481] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4481/stat : 4481 (java) S 4456 4459 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515678197368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4482] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4482/stat : 4482 (java) S 4456 4459 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515677144712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4494] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4494/stat : 4494 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515676093456 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4495] ppid=4456 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/4459/task/4495/stat : 4495 (java) S 4456 4459 4424 0 -1 4202560 5680 0 0 0 46 0 0 0 20 0 19 0 337438309 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515675039800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4496] ppid=4456 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/4459/task/4496/stat : 4496 (java) S 4456 4459 4424 0 -1 4202560 4329 0 0 0 44 1 0 0 20 0 19 0 337438309 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515673987256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4497] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4497/stat : 4497 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515672934904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4498] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4498/stat : 4498 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515671882568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4505] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4505/stat : 4505 (java) S 4456 4459 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337438360 3097006080 20764 33554432000 1073741824 1073778376 140735305960736 140515669751208 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 3024420

[startup+3.10061 s]
/proc/loadavg: 1.16 1.15 1.51 3/213 4508
/proc/meminfo: memFree=27556312/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=3024420 CPUtime=4.06 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 14334 0 1 0 402 4 0 0 20 0 19 0 337438302 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 756105 21291 2279 9 0 746526 0
[pid=4459/tid=4461] ppid=4456 vsize=3024420 CPUtime=3.06 cores=0,2,4,6
/proc/4459/task/4461/stat : 4461 (java) R 4456 4459 4424 0 -1 4202560 3112 0 1 0 304 2 0 0 20 0 19 0 337438303 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140516168864168 140516041162501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4466] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4466/stat : 4466 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140516034816680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4467] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4467/stat : 4467 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140516033764136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4468] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4468/stat : 4468 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140516032711592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4469] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4469/stat : 4469 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140516031659048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4470] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4470/stat : 4470 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140516030605480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4471] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4471/stat : 4471 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515693553960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4472] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4472/stat : 4472 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515692501416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4473] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4473/stat : 4473 (java) S 4456 4459 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515691448872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4479] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4479/stat : 4479 (java) S 4456 4459 4424 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515679251048 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4481] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4481/stat : 4481 (java) S 4456 4459 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515678197368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4482] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4482/stat : 4482 (java) S 4456 4459 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515677144712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4494] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4494/stat : 4494 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515676093456 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4495] ppid=4456 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/4459/task/4495/stat : 4495 (java) S 4456 4459 4424 0 -1 4202560 5693 0 0 0 50 0 0 0 20 0 19 0 337438309 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515675039800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4496] ppid=4456 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/4459/task/4496/stat : 4496 (java) S 4456 4459 4424 0 -1 4202560 4330 0 0 0 45 2 0 0 20 0 19 0 337438309 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515673987256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4497] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4497/stat : 4497 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515672934904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4498] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4498/stat : 4498 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515671882568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4505] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4505/stat : 4505 (java) S 4456 4459 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337438360 3097006080 21291 33554432000 1073741824 1073778376 140735305960736 140515669751208 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 3024420

[startup+6.30062 s]
/proc/loadavg: 1.16 1.15 1.51 3/213 4508
/proc/meminfo: memFree=27550652/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=3024420 CPUtime=7.29 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 14341 0 1 0 725 4 0 0 20 0 19 0 337438302 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 756105 21881 2279 9 0 746526 0
[pid=4459/tid=4461] ppid=4456 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/4459/task/4461/stat : 4461 (java) R 4456 4459 4424 0 -1 4202560 3116 0 1 0 624 2 0 0 20 0 19 0 337438303 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140516168864120 140516041254700 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4466] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4466/stat : 4466 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140516034816680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4467] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4467/stat : 4467 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140516033764136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4468] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4468/stat : 4468 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140516032711592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4469] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4469/stat : 4469 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140516031659048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4470] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4470/stat : 4470 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140516030605480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4471] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4471/stat : 4471 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515693553960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4472] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4472/stat : 4472 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515692501416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4473] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4473/stat : 4473 (java) S 4456 4459 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 337438305 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515691448872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4479] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4479/stat : 4479 (java) S 4456 4459 4424 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515679251048 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4481] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4481/stat : 4481 (java) S 4456 4459 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515678197368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4482] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4482/stat : 4482 (java) S 4456 4459 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515677144712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4494] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4494/stat : 4494 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515676093456 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4495] ppid=4456 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/4459/task/4495/stat : 4495 (java) S 4456 4459 4424 0 -1 4202560 5695 0 0 0 51 0 0 0 20 0 19 0 337438309 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515675039800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4496] ppid=4456 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/4459/task/4496/stat : 4496 (java) S 4456 4459 4424 0 -1 4202560 4331 0 0 0 46 2 0 0 20 0 19 0 337438309 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515673987256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4497] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4497/stat : 4497 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515672934904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4498] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4498/stat : 4498 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515671882568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4505] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4505/stat : 4505 (java) S 4456 4459 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337438360 3097006080 21881 33554432000 1073741824 1073778376 140735305960736 140515669751208 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.29
Current children cumulated vsize (KiB) 3024420

[startup+12.7006 s]

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

[pid=4459/tid=4471] ppid=4456 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/4459/task/4471/stat : 4471 (java) S 4456 4459 4424 0 -1 4202560 309 0 0 0 21 18 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515693553960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4472] ppid=4456 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/4459/task/4472/stat : 4472 (java) S 4456 4459 4424 0 -1 4202560 201 0 0 0 16 12 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515692501416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4473] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4473/stat : 4473 (java) S 4456 4459 4424 0 -1 4202560 151 0 0 0 10 8 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515691448872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4479] ppid=4456 vsize=3024420 CPUtime=1.59 cores=0,2,4,6
/proc/4459/task/4479/stat : 4479 (java) S 4456 4459 4424 0 -1 4202560 231 0 0 0 152 7 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515679251048 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4481] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4481/stat : 4481 (java) S 4456 4459 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515678197368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4482] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4482/stat : 4482 (java) S 4456 4459 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515677144712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4494] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4494/stat : 4494 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515676093456 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4495] ppid=4456 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/4459/task/4495/stat : 4495 (java) S 4456 4459 4424 0 -1 4202560 5701 0 0 0 55 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515675039800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4496] ppid=4456 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/4459/task/4496/stat : 4496 (java) S 4456 4459 4424 0 -1 4202560 4339 0 0 0 51 2 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515673987256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4497] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4497/stat : 4497 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515672934904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4498] ppid=4456 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/4459/task/4498/stat : 4498 (java) S 4456 4459 4424 0 -1 4202560 99 0 0 0 25 32 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515671882568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4505] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4505/stat : 4505 (java) S 4456 4459 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337438360 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515669751208 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.44
Current children cumulated vsize (KiB) 3024420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/213 4546
/proc/meminfo: memFree=24442676/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=3024420 CPUtime=1785.43 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 16620 0 1 0 178400 143 0 0 20 0 19 0 337438302 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 756105 422048 2307 9 0 746526 0
[pid=4459/tid=4461] ppid=4456 vsize=3024420 CPUtime=1780.12 cores=0,2,4,6
/proc/4459/task/4461/stat : 4461 (java) R 4456 4459 4424 0 -1 4202560 3301 0 1 0 177977 35 0 0 20 0 19 0 337438303 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516168862048 140516040988736 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4466] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4466/stat : 4466 (java) S 4456 4459 4424 0 -1 4202560 156 0 0 0 11 7 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516034816680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4467] ppid=4456 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/4459/task/4467/stat : 4467 (java) S 4456 4459 4424 0 -1 4202560 270 0 0 0 19 16 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516033764136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4468] ppid=4456 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/4459/task/4468/stat : 4468 (java) S 4456 4459 4424 0 -1 4202560 204 0 0 0 17 11 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516032711592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4469] ppid=4456 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/4459/task/4469/stat : 4469 (java) S 4456 4459 4424 0 -1 4202560 318 0 0 0 21 18 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516031659048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4470] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4470/stat : 4470 (java) S 4456 4459 4424 0 -1 4202560 149 0 0 0 10 8 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516030605480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4471] ppid=4456 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/4459/task/4471/stat : 4471 (java) S 4456 4459 4424 0 -1 4202560 309 0 0 0 21 18 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515693553960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4472] ppid=4456 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/4459/task/4472/stat : 4472 (java) S 4456 4459 4424 0 -1 4202560 201 0 0 0 16 12 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515692501416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4473] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4473/stat : 4473 (java) S 4456 4459 4424 0 -1 4202560 151 0 0 0 10 8 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515691448872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4479] ppid=4456 vsize=3024420 CPUtime=1.59 cores=0,2,4,6
/proc/4459/task/4479/stat : 4479 (java) S 4456 4459 4424 0 -1 4202560 232 0 0 0 152 7 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515679251048 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4481] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4481/stat : 4481 (java) S 4456 4459 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515678197368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4482] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4482/stat : 4482 (java) S 4456 4459 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515677144712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4494] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4494/stat : 4494 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515676093456 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4495] ppid=4456 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/4459/task/4495/stat : 4495 (java) S 4456 4459 4424 0 -1 4202560 5701 0 0 0 55 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515675039800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4496] ppid=4456 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/4459/task/4496/stat : 4496 (java) S 4456 4459 4424 0 -1 4202560 4340 0 0 0 51 2 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515673987256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4497] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4497/stat : 4497 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515672934904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4498] ppid=4456 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/4459/task/4498/stat : 4498 (java) S 4456 4459 4424 0 -1 4202560 103 0 0 0 26 32 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515671882568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4505] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4505/stat : 4505 (java) S 4456 4459 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337438360 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515669751208 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.43
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.91 2/193 4549
/proc/meminfo: memFree=26091876/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 16621 0 1 0 179861 143 0 0 20 0 19 0 337438302 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 756105 422048 2307 9 0 746526 0
[pid=4459/tid=4461] ppid=4456 vsize=3024420 CPUtime=1794.73 cores=0,2,4,6
/proc/4459/task/4461/stat : 4461 (java) R 4456 4459 4424 0 -1 4202560 3302 0 1 0 179438 35 0 0 20 0 19 0 337438303 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516168855392 140516041212635 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4466] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4466/stat : 4466 (java) S 4456 4459 4424 0 -1 4202560 156 0 0 0 11 7 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516034816680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4467] ppid=4456 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/4459/task/4467/stat : 4467 (java) S 4456 4459 4424 0 -1 4202560 270 0 0 0 19 16 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516033764136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4468] ppid=4456 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/4459/task/4468/stat : 4468 (java) S 4456 4459 4424 0 -1 4202560 204 0 0 0 17 11 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516032711592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4469] ppid=4456 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/4459/task/4469/stat : 4469 (java) S 4456 4459 4424 0 -1 4202560 318 0 0 0 21 18 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516031659048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4470] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4470/stat : 4470 (java) S 4456 4459 4424 0 -1 4202560 149 0 0 0 10 8 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516030605480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4471] ppid=4456 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/4459/task/4471/stat : 4471 (java) S 4456 4459 4424 0 -1 4202560 309 0 0 0 21 18 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515693553960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4472] ppid=4456 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/4459/task/4472/stat : 4472 (java) S 4456 4459 4424 0 -1 4202560 201 0 0 0 16 12 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515692501416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4473] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4473/stat : 4473 (java) S 4456 4459 4424 0 -1 4202560 151 0 0 0 10 8 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515691448872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4479] ppid=4456 vsize=3024420 CPUtime=1.59 cores=0,2,4,6
/proc/4459/task/4479/stat : 4479 (java) S 4456 4459 4424 0 -1 4202560 232 0 0 0 152 7 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515679251048 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4481] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4481/stat : 4481 (java) S 4456 4459 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515678197368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4482] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4482/stat : 4482 (java) S 4456 4459 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515677144712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4494] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4494/stat : 4494 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515676093456 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4495] ppid=4456 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/4459/task/4495/stat : 4495 (java) S 4456 4459 4424 0 -1 4202560 5701 0 0 0 55 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515675039800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4496] ppid=4456 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/4459/task/4496/stat : 4496 (java) S 4456 4459 4424 0 -1 4202560 4340 0 0 0 51 2 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515673987256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4497] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4497/stat : 4497 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515672934904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4498] ppid=4456 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/4459/task/4498/stat : 4498 (java) S 4456 4459 4424 0 -1 4202560 103 0 0 0 26 32 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515671882568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4505] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4505/stat : 4505 (java) S 4456 4459 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337438360 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515669751208 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

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

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

[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.91 2/193 4549
/proc/meminfo: memFree=26091876/32873648 swapFree=7112/7112
[pid=4459] ppid=4456 vsize=3024420 CPUtime=1800.04 cores=0,2,4,6
/proc/4459/stat : 4459 (java) S 4456 4459 4424 0 -1 4202496 16621 0 1 0 179861 143 0 0 20 0 19 0 337438302 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140735305951872 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4459/statm: 756105 422048 2307 9 0 746526 0
[pid=4459/tid=4461] ppid=4456 vsize=3024420 CPUtime=1794.73 cores=0,2,4,6
/proc/4459/task/4461/stat : 4461 (java) R 4456 4459 4424 0 -1 4202560 3302 0 1 0 179438 35 0 0 20 0 19 0 337438303 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516168855392 140516041212635 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4466] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4466/stat : 4466 (java) S 4456 4459 4424 0 -1 4202560 156 0 0 0 11 7 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516034816680 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4467] ppid=4456 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/4459/task/4467/stat : 4467 (java) S 4456 4459 4424 0 -1 4202560 270 0 0 0 19 16 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516033764136 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4468] ppid=4456 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/4459/task/4468/stat : 4468 (java) S 4456 4459 4424 0 -1 4202560 204 0 0 0 17 11 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516032711592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4469] ppid=4456 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/4459/task/4469/stat : 4469 (java) S 4456 4459 4424 0 -1 4202560 318 0 0 0 21 18 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516031659048 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4470] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4470/stat : 4470 (java) S 4456 4459 4424 0 -1 4202560 149 0 0 0 10 8 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140516030605480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4471] ppid=4456 vsize=3024420 CPUtime=0.39 cores=0,2,4,6
/proc/4459/task/4471/stat : 4471 (java) S 4456 4459 4424 0 -1 4202560 309 0 0 0 21 18 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515693553960 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4472] ppid=4456 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/4459/task/4472/stat : 4472 (java) S 4456 4459 4424 0 -1 4202560 201 0 0 0 16 12 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515692501416 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4473] ppid=4456 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/4459/task/4473/stat : 4473 (java) S 4456 4459 4424 0 -1 4202560 151 0 0 0 10 8 0 0 20 0 19 0 337438305 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515691448872 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4459/tid=4479] ppid=4456 vsize=3024420 CPUtime=1.59 cores=0,2,4,6
/proc/4459/task/4479/stat : 4479 (java) S 4456 4459 4424 0 -1 4202560 232 0 0 0 152 7 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515679251048 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4481] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4481/stat : 4481 (java) S 4456 4459 4424 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515678197368 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4482] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4482/stat : 4482 (java) S 4456 4459 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 337438306 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515677144712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4494] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4494/stat : 4494 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515676093456 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4495] ppid=4456 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/4459/task/4495/stat : 4495 (java) S 4456 4459 4424 0 -1 4202560 5701 0 0 0 55 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515675039800 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4459/tid=4496] ppid=4456 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/4459/task/4496/stat : 4496 (java) S 4456 4459 4424 0 -1 4202560 4340 0 0 0 51 2 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515673987256 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4497] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4497/stat : 4497 (java) S 4456 4459 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515672934904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4459/tid=4498] ppid=4456 vsize=3024420 CPUtime=0.58 cores=0,2,4,6
/proc/4459/task/4498/stat : 4498 (java) S 4456 4459 4424 0 -1 4202560 103 0 0 0 26 32 0 0 20 0 19 0 337438309 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515671882568 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4459/tid=4505] ppid=4456 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/4459/task/4505/stat : 4505 (java) S 4456 4459 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 337438360 3097006080 422048 33554432000 1073741824 1073778376 140735305960736 140515669751208 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1796.95
CPU time (s): 1800.55
CPU user time (s): 1798.66
CPU system time (s): 1.89271
CPU usage (%): 100.201
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.89271
maximum resident set size= 1688308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16653
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38079
involuntary context switches= 3216

runsolver used 6.77297 second user time and 14.3818 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 10:45:24
IDJOB=3736030
IDBENCH=25017
IDSOLVER=2319
FILE ID=node126/3736030-1338713124
RUNJOBID= node126-1338713124-4440
PBS_JOBID= 14636723
Free space on /tmp= 70792 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736030-1338713124/watcher-3736030-1338713124 -o /tmp/evaluation-result-3736030-1338713124/solver-3736030-1338713124 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736030-1338713124.opb           

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

MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967
RANDOM SEED=1554900431

node126.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.456
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.91
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.456
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.456
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	: 5331.92
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.456
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.456
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.92
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.456
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.456
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.90
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.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27796208 kB
Buffers:          414368 kB
Cached:          3785048 kB
SwapCached:         9476 kB
Active:          1484104 kB
Inactive:        2731336 kB
Active(anon):       5936 kB
Inactive(anon):    12168 kB
Active(file):    1478168 kB
Inactive(file):  2719168 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:              4780 kB
Writeback:             0 kB
AnonPages:         12160 kB
Mapped:             8864 kB
Shmem:                 0 kB
Slab:             722976 kB
SReclaimable:     167024 kB
SUnreclaim:       555952 kB
KernelStack:        1376 kB
PageTables:         4324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     108360 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70784 MiB
End job on node126 at 2012-06-03 11:15:23