Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
SAT4J PB Resolution 2.2.0 2010-05-26 | OPT | 0 | 256.701 | 254.456 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-blend.opb |
MD5SUM | eff6ad715055e79721cc364806b971f0 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 256.701 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of variables | 2490 |
Total number of constraints | 74 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 74 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 780 |
Number of terms in the objective function | 660 |
Biggest coefficient in the objective function | 14388140441600 |
Number of bits for the biggest coefficient in the objective function | 44 |
Sum of the numbers in the objective function | 203610440670021 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 78436840243200 |
Number of bits of the biggest number in a constraint | 47 |
Biggest sum of numbers in a constraint | 789015556311444 |
Number of bits of the biggest sum of numbers | 50 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre 0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses. 0.08/0.14 c See www.sat4j.org for details. 0.08/0.15 c version 2.2.0.v20100526 0.08/0.15 c java.runtime.name Java(TM) SE Runtime Environment 0.08/0.15 c java.vm.name Java HotSpot(TM) Server VM 0.08/0.15 c java.vm.version 11.2-b01 0.08/0.15 c java.vm.vendor Sun Microsystems Inc. 0.08/0.15 c sun.arch.data.model 32 0.08/0.15 c java.version 1.6.0_12 0.08/0.15 c os.name Linux 0.08/0.15 c os.version 2.6.18-164.el5 0.08/0.15 c os.arch i386 0.08/0.15 c Free memory 1393557488 0.08/0.15 c Max memory 1395916800 0.08/0.16 c Total memory 1395916800 0.08/0.16 c Number of processors 2 0.22/0.21 c Pseudo Boolean Optimization 0.22/0.21 c --- Begin Solver configuration --- 0.22/0.21 c Stops conflict analysis at the first Unique Implication Point 0.22/0.21 c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@161d36b 0.22/0.21 c Learn all clauses as in MiniSAT 0.22/0.21 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 0.22/0.21 c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function 0.22/0.21 c Expensive reason simplification 0.22/0.21 c Armin Biere (Picosat) restarts strategy 0.22/0.21 c Glucose learned constraints deletion strategy 0.22/0.21 c timeout=2147483s 0.22/0.21 c DB Simplification allowed=false 0.22/0.21 c --- End Solver configuration --- 0.22/0.21 c solving HOME/instance-2659036-1276557314.opb 0.22/0.21 c reading problem ... 1.97/1.17 c ... done. Wall clock time 0.952s. 1.97/1.17 c #vars 2490 1.97/1.17 c #constraints 661 1.97/1.17 c constraints type 1.97/1.17 c org.sat4j.pb.constraints.pb.MaxWatchPb => 114 4.24/2.78 c SATISFIABLE 4.24/2.78 c OPTIMIZING... 4.24/2.78 c Got one! Elapsed wall clock time (in seconds):2.564 4.24/2.78 o 0 5.97/4.40 c cleaning 2486 clauses out of 4986 with flag 5001/5001 8.08/6.32 c cleaning 4232 clauses out of 8498 with flag 11000/11000 12.03/10.07 c cleaning 5630 clauses out of 11266 with flag 18000/18000 16.64/14.67 c cleaning 6814 clauses out of 13637 with flag 26001/26001 23.88/21.83 c cleaning 7907 clauses out of 15823 with flag 35001/35001 30.68/28.65 c cleaning 8958 clauses out of 17915 with flag 45000/45000 35.18/33.13 c cleaning 9474 clauses out of 18957 with flag 55000/55000 40.68/38.60 c cleaning 9738 clauses out of 19483 with flag 65000/65000 45.79/43.78 c cleaning 9866 clauses out of 19746 with flag 75001/75001 51.19/49.11 c cleaning 9938 clauses out of 19881 with flag 85002/85002 56.50/54.43 c cleaning 9963 clauses out of 19941 with flag 95000/95000 62.29/60.24 c cleaning 9984 clauses out of 19979 with flag 105001/105001 68.30/66.26 c cleaning 9996 clauses out of 19995 with flag 115001/115001 73.40/71.35 c cleaning 9996 clauses out of 19999 with flag 125001/125001 80.62/78.50 c cleaning 9997 clauses out of 20003 with flag 135001/135001 87.72/85.63 c cleaning 10000 clauses out of 20006 with flag 145001/145001 95.12/93.03 c cleaning 9998 clauses out of 20006 with flag 155001/155001 100.23/98.10 c cleaning 9995 clauses out of 20007 with flag 165000/165000 105.44/103.33 c cleaning 9994 clauses out of 20012 with flag 175000/175000 110.15/108.09 c cleaning 10001 clauses out of 20019 with flag 185001/185001 113.46/111.32 c cleaning 9998 clauses out of 20017 with flag 195000/195000 117.06/114.90 c cleaning 9999 clauses out of 20020 with flag 205001/205001 121.26/119.14 c cleaning 10004 clauses out of 20021 with flag 215001/215001 125.07/122.93 c cleaning 9997 clauses out of 20017 with flag 225001/225001 128.87/126.78 c cleaning 9999 clauses out of 20020 with flag 235001/235001 132.67/130.60 c cleaning 10004 clauses out of 20021 with flag 245001/245001 136.07/133.98 c cleaning 9998 clauses out of 20017 with flag 255001/255001 139.77/137.67 c cleaning 10003 clauses out of 20019 with flag 265001/265001 143.08/140.95 c cleaning 10002 clauses out of 20015 with flag 275000/275000 146.38/144.20 c cleaning 10001 clauses out of 20013 with flag 285001/285001 149.08/146.99 c cleaning 10003 clauses out of 20011 with flag 295000/295000 152.18/150.08 c cleaning 10001 clauses out of 20009 with flag 305001/305001 156.09/153.91 c cleaning 10000 clauses out of 20007 with flag 315000/315000 159.98/157.88 c cleaning 10001 clauses out of 20007 with flag 325000/325000 163.29/161.19 c cleaning 10003 clauses out of 20006 with flag 335000/335000 166.10/163.98 c cleaning 9997 clauses out of 20004 with flag 345001/345001 169.70/167.55 c cleaning 9994 clauses out of 20006 with flag 355000/355000 172.50/170.38 c cleaning 10002 clauses out of 20012 with flag 365000/365000 175.09/172.93 c cleaning 10000 clauses out of 20011 with flag 375001/375001 178.10/175.99 c cleaning 10001 clauses out of 20010 with flag 385000/385000 180.80/178.61 c cleaning 9997 clauses out of 20010 with flag 395001/395001 183.90/181.73 c cleaning 9999 clauses out of 20012 with flag 405000/405000 187.11/184.97 c cleaning 10001 clauses out of 20013 with flag 415000/415000 190.00/187.85 c cleaning 9999 clauses out of 20013 with flag 425001/425001 192.80/190.65 c cleaning 10000 clauses out of 20014 with flag 435001/435001 195.81/193.68 c cleaning 10003 clauses out of 20013 with flag 445000/445000 198.81/196.61 c cleaning 10000 clauses out of 20010 with flag 455000/455000 202.01/199.84 c cleaning 9998 clauses out of 20010 with flag 465000/465000 205.11/202.90 c cleaning 10003 clauses out of 20013 with flag 475001/475001 208.21/206.04 c cleaning 9998 clauses out of 20009 with flag 485000/485000 211.02/208.84 c cleaning 10005 clauses out of 20011 with flag 495000/495000 213.82/211.62 c cleaning 10000 clauses out of 20006 with flag 505000/505000 217.02/214.81 c cleaning 9999 clauses out of 20008 with flag 515002/515002 220.51/218.32 c cleaning 10003 clauses out of 20008 with flag 525001/525001 223.51/221.39 c cleaning 10000 clauses out of 20004 with flag 535000/535000 226.92/224.70 c cleaning 10002 clauses out of 20005 with flag 545001/545001 230.12/227.93 c cleaning 9994 clauses out of 20002 with flag 555000/555000 233.02/230.88 c cleaning 9998 clauses out of 20009 with flag 565001/565001 235.92/233.79 c cleaning 10002 clauses out of 20011 with flag 575001/575001 239.32/237.14 c cleaning 10005 clauses out of 20009 with flag 585001/585001 242.52/240.35 c cleaning 9996 clauses out of 20003 with flag 595000/595000 245.42/243.28 c cleaning 9999 clauses out of 20008 with flag 605001/605001 248.72/246.55 c cleaning 10001 clauses out of 20008 with flag 615000/615000 252.12/249.95 c cleaning 9996 clauses out of 20007 with flag 625001/625001 255.13/252.94 c cleaning 10002 clauses out of 20011 with flag 635001/635001 256.54/254.37 c starts : 167 256.54/254.37 c conflicts : 639377 256.54/254.37 c decisions : 654139 256.54/254.37 c propagations : 7279155 256.54/254.37 c inspects : 265333139 256.54/254.37 c learnt literals : 20 256.54/254.37 c learnt binary clauses : 71 256.54/254.37 c learnt ternary clauses : 267 256.54/254.37 c learnt clauses : 639356 256.54/254.37 c ignored clauses : 0 256.54/254.37 c root simplifications : 0 256.54/254.37 c removed literals (reason simplification) : 19293981 256.54/254.37 c reason swapping (by a shorter reason) : 0 256.54/254.37 c Calls to reduceDB : 65 256.54/254.37 c number of reductions to clauses (during analyze) : 0 256.54/254.37 c number of learned constraints concerned by reduction : 0 256.54/254.37 c number of learning phase by resolution : 0 256.54/254.37 c number of learning phase by cutting planes : 0 256.54/254.37 c speed (assignments/second) : 28932.378612992463 256.54/254.37 c non guided choices 266 256.54/254.37 c learnt constraints type 256.54/254.37 c constraints type 256.54/254.37 c org.sat4j.pb.constraints.pb.MaxWatchPb => 114 256.54/254.37 s OPTIMUM FOUND 256.66/254.40 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 256.66/254.40 c objective function=0 256.66/254.40 c Total wall clock time (in seconds): 254.189
OK 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2659036-1276557314/watcher-2659036-1276557314 -o /tmp/evaluation-result-2659036-1276557314/solver-2659036-1276557314 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659036-1276557314.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 1.00 1.07 3/106 31923 /proc/meminfo: memFree=1811604/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1832 CPUtime=0 /proc/31923/stat : 31923 (java6) R 31921 31923 31555 0 -1 4194304 210 0 0 0 0 0 0 0 19 0 1 0 31334824 1875968 113 1992294400 134512640 134550932 4292321136 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31923/statm: 458 124 90 10 0 63 0 [startup+0.0533149 s] /proc/loadavg: 0.99 1.00 1.07 3/106 31923 /proc/meminfo: memFree=1811604/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1521340 CPUtime=0.03 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 3500 0 1 0 2 1 0 0 15 0 6 0 31334824 1557852160 2943 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 380335 2943 990 10 0 377645 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1521340 [startup+0.100799 s] /proc/loadavg: 0.99 1.00 1.07 3/106 31923 /proc/meminfo: memFree=1811604/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1524024 CPUtime=0.08 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 3941 0 1 0 6 2 0 0 15 0 12 0 31334824 1560600576 3380 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 381006 3380 1074 10 0 378308 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1524024 [startup+0.311389 s] /proc/loadavg: 0.99 1.00 1.07 3/106 31923 /proc/meminfo: memFree=1811604/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1527000 CPUtime=0.39 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 5487 0 1 0 36 3 0 0 15 0 12 0 31334824 1563648000 4924 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 381750 4925 1365 10 0 379052 0 Current children cumulated CPU time (s) 0.39 Current children cumulated vsize (KiB) 1527000 [startup+0.700917 s] /proc/loadavg: 0.99 1.00 1.07 3/106 31923 /proc/meminfo: memFree=1811604/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1540788 CPUtime=1.16 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 10091 0 1 0 111 5 0 0 15 0 12 0 31334824 1577766912 9046 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385197 9046 1377 10 0 382499 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 1540788 [startup+1.50206 s] /proc/loadavg: 0.99 1.00 1.07 5/118 31935 /proc/meminfo: memFree=1775984/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1541940 CPUtime=2.73 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 13780 0 1 0 266 7 0 0 15 0 13 0 31334824 1578946560 11415 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385485 11415 1422 10 0 382787 0 [pid=31923/tid=31925] ppid=31921 vsize=1541940 CPUtime=1.29 /proc/31923/task/31925/stat : 31925 (java) R 31921 31923 31555 0 -1 4202560 6521 0 1 0 126 3 0 0 25 0 13 0 31334826 1578946560 11415 1992294400 134512640 134550932 4291647248 18446744073709551615 4109120620 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 31334827 1578946560 11415 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 31334827 1578946560 11415 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 13 0 31334829 1578946560 11415 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31929/stat : 31929 (java) S 31921 31923 31555 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 31334829 1578946560 11415 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31930] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31930/stat : 31930 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 31334829 1578946560 11415 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31931] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31931/stat : 31931 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 31334834 1578946560 11415 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31932] ppid=31921 vsize=1541940 CPUtime=0.21 /proc/31923/task/31932/stat : 31932 (java) R 31921 31923 31555 0 -1 4202560 101 0 0 0 21 0 0 0 22 0 13 0 31334834 1578946560 11416 1992294400 134512640 134550932 4291647248 18446744073709551615 106825741 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31923/tid=31933] ppid=31921 vsize=1541940 CPUtime=1.19 /proc/31923/task/31933/stat : 31933 (java) R 31921 31923 31555 0 -1 4202560 6091 0 0 0 117 2 0 0 17 0 13 0 31334834 1578946560 11416 1992294400 134512640 134550932 4291647248 18446744073709551615 105600751 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31923/tid=31934] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31934/stat : 31934 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 31334834 1578946560 11416 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31935] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 31334834 1578946560 11416 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.73 Current children cumulated vsize (KiB) 1541940 [startup+3.10236 s] /proc/loadavg: 0.99 1.00 1.07 2/119 31936 /proc/meminfo: memFree=1760848/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1541940 CPUtime=4.71 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 22279 0 1 0 460 11 0 0 15 0 13 0 31334824 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385485 19913 1431 10 0 382787 0 [pid=31923/tid=31925] ppid=31921 vsize=1541940 CPUtime=2.78 /proc/31923/task/31925/stat : 31925 (java) R 31921 31923 31555 0 -1 4202560 14974 0 1 0 271 7 0 0 25 0 13 0 31334826 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4109741205 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 17 0 13 0 31334827 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 31334827 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 13 0 31334829 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31929/stat : 31929 (java) S 31921 31923 31555 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 13 0 31334829 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31930] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31930/stat : 31930 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 21 0 13 0 31334829 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31931] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31931/stat : 31931 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 31334834 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31932] ppid=31921 vsize=1541940 CPUtime=0.39 /proc/31923/task/31932/stat : 31932 (java) S 31921 31923 31555 0 -1 4202560 119 0 0 0 39 0 0 0 15 0 13 0 31334834 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31933] ppid=31921 vsize=1541940 CPUtime=1.5 /proc/31923/task/31933/stat : 31933 (java) S 31921 31923 31555 0 -1 4202560 6118 0 0 0 148 2 0 0 16 0 13 0 31334834 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31934] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31934/stat : 31934 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 31334834 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31935] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 31334834 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31936] ppid=31921 vsize=1541940 CPUtime=0 /proc/31923/task/31936/stat : 31936 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 31334966 1578946560 19913 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4.71 Current children cumulated vsize (KiB) 1541940 [startup+6.31796 s] /proc/loadavg: 0.99 1.00 1.07 2/119 31936 /proc/meminfo: memFree=1703932/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1540800 CPUtime=8.08 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 30648 0 1 0 794 14 0 0 15 0 13 0 31334824 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385200 28016 1445 10 0 382502 0 [pid=31923/tid=31925] ppid=31921 vsize=1540800 CPUtime=5.89 /proc/31923/task/31925/stat : 31925 (java) R 31921 31923 31555 0 -1 4202560 21857 0 1 0 580 9 0 0 25 0 13 0 31334826 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4109891891 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 357 0 0 0 0 0 0 0 16 0 13 0 31334827 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 324 0 0 0 0 0 0 0 18 0 13 0 31334827 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1540800 CPUtime=0.03 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 746 0 0 0 3 0 0 0 15 0 13 0 31334829 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31929/stat : 31929 (java) S 31921 31923 31555 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31930] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31930/stat : 31930 (java) S 31921 31923 31555 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31931] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31931/stat : 31931 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 31334834 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31932] ppid=31921 vsize=1540800 CPUtime=0.51 /proc/31923/task/31932/stat : 31932 (java) S 31921 31923 31555 0 -1 4202560 130 0 0 0 51 0 0 0 16 0 13 0 31334834 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31933] ppid=31921 vsize=1540800 CPUtime=1.59 /proc/31923/task/31933/stat : 31933 (java) R 31921 31923 31555 0 -1 4202560 6167 0 0 0 157 2 0 0 16 0 13 0 31334834 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 103863459 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31923/tid=31934] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31934/stat : 31934 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 31334834 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31935] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 31334834 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31936] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31936/stat : 31936 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 31334966 1577779200 28016 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 8.08 Current children cumulated vsize (KiB) 1540800 [startup+12.7014 s] /proc/loadavg: 0.99 1.00 1.07 2/119 31936 /proc/meminfo: memFree=1677148/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1540800 CPUtime=14.74 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 37327 0 1 0 1458 16 0 0 15 0 13 0 31334824 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385200 34692 1445 10 0 382502 0 [pid=31923/tid=31925] ppid=31921 vsize=1540800 CPUtime=12.19 /proc/31923/task/31925/stat : 31925 (java) R 31921 31923 31555 0 -1 4202560 27884 0 1 0 1208 11 0 0 25 0 13 0 31334826 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4109738835 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1540800 CPUtime=0.01 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 475 0 0 0 1 0 0 0 15 0 13 0 31334827 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1540800 CPUtime=0.01 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 468 0 0 0 1 0 0 0 15 0 13 0 31334827 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1540800 CPUtime=0.09 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 1063 0 0 0 9 0 0 0 15 0 13 0 31334829 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31929/stat : 31929 (java) S 31921 31923 31555 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31930] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31930/stat : 31930 (java) S 31921 31923 31555 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31931] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31931/stat : 31931 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 31334834 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31932] ppid=31921 vsize=1540800 CPUtime=0.52 /proc/31923/task/31932/stat : 31932 (java) S 31921 31923 31555 0 -1 4202560 131 0 0 0 52 0 0 0 15 0 13 0 31334834 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31933] ppid=31921 vsize=1540800 CPUtime=1.87 /proc/31923/task/31933/stat : 31933 (java) S 31921 31923 31555 0 -1 4202560 6239 0 0 0 185 2 0 0 15 0 13 0 31334834 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31934] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31934/stat : 31934 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 31334834 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31935] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 13 0 31334834 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31936] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31936/stat : 31936 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 31334966 1577779200 34692 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 14.74 Current children cumulated vsize (KiB) 1540800 [startup+25.5015 s] /proc/loadavg: 0.99 1.00 1.07 2/119 31936 /proc/meminfo: memFree=1659540/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1540800 CPUtime=27.58 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 41724 0 1 0 2739 19 0 0 15 0 13 0 31334824 1577779200 39085 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385200 39085 1445 10 0 382502 0 [pid=31923/tid=31925] ppid=31921 vsize=1540800 CPUtime=24.89 /proc/31923/task/31925/stat : 31925 (java) R 31921 31923 31555 0 -1 4202560 32068 0 1 0 2475 14 0 0 25 0 13 0 31334826 1577779200 39085 1992294400 134512640 134550932 4291647248 18446744073709551615 4109790442 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1540800 CPUtime=0.03 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 484 0 0 0 3 0 0 0 15 0 13 0 31334827 1577779200 39085 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1540800 CPUtime=0.03 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 484 0 0 0 3 0 0 0 15 0 13 0 31334827 1577779200 39085 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1540800 CPUtime=0.16 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 1250 0 0 0 16 0 0 0 15 0 13 0 31334829 1577779200 39085 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1540800 CPUtime=0 ################ # More data... # ################ /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31936] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31936/stat : 31936 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 31334966 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 251.72 Current children cumulated vsize (KiB) 1540800 [startup+252.702 s] /proc/loadavg: 0.99 1.00 1.05 2/119 31942 /proc/meminfo: memFree=1618000/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1540800 CPUtime=254.93 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 52238 0 1 0 25464 29 0 0 15 0 13 0 31334824 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385200 49326 1445 10 0 382502 0 [pid=31923/tid=31925] ppid=31921 vsize=1540800 CPUtime=249.45 /proc/31923/task/31925/stat : 31925 (java) R 31921 31923 31555 0 -1 4202560 38475 0 1 0 24925 20 0 0 25 0 13 0 31334826 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4109776369 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1540800 CPUtime=0.32 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 2016 0 0 0 31 1 0 0 16 0 13 0 31334827 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1540800 CPUtime=0.32 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 2183 0 0 0 31 1 0 0 15 0 13 0 31334827 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1540800 CPUtime=2.35 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 2110 0 0 0 233 2 0 0 15 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31929/stat : 31929 (java) S 31921 31923 31555 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31930] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31930/stat : 31930 (java) S 31921 31923 31555 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31931] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31931/stat : 31931 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31932] ppid=31921 vsize=1540800 CPUtime=0.53 /proc/31923/task/31932/stat : 31932 (java) S 31921 31923 31555 0 -1 4202560 131 0 0 0 53 0 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31933] ppid=31921 vsize=1540800 CPUtime=1.89 /proc/31923/task/31933/stat : 31933 (java) S 31921 31923 31555 0 -1 4202560 6240 0 0 0 187 2 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31934] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31934/stat : 31934 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31935] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31936] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31936/stat : 31936 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 31334966 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 254.93 Current children cumulated vsize (KiB) 1540800 [startup+253.5 s] /proc/loadavg: 0.99 1.00 1.05 2/119 31942 /proc/meminfo: memFree=1618000/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1540800 CPUtime=255.73 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 52239 0 1 0 25544 29 0 0 15 0 13 0 31334824 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385200 49326 1445 10 0 382502 0 [pid=31923/tid=31925] ppid=31921 vsize=1540800 CPUtime=250.21 /proc/31923/task/31925/stat : 31925 (java) R 31921 31923 31555 0 -1 4202560 38476 0 1 0 25001 20 0 0 25 0 13 0 31334826 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4109741256 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1540800 CPUtime=0.32 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 2016 0 0 0 31 1 0 0 16 0 13 0 31334827 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1540800 CPUtime=0.32 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 2183 0 0 0 31 1 0 0 15 0 13 0 31334827 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1540800 CPUtime=2.38 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 2110 0 0 0 236 2 0 0 16 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31929/stat : 31929 (java) S 31921 31923 31555 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31930] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31930/stat : 31930 (java) S 31921 31923 31555 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31931] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31931/stat : 31931 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31932] ppid=31921 vsize=1540800 CPUtime=0.53 /proc/31923/task/31932/stat : 31932 (java) S 31921 31923 31555 0 -1 4202560 131 0 0 0 53 0 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31933] ppid=31921 vsize=1540800 CPUtime=1.89 /proc/31923/task/31933/stat : 31933 (java) S 31921 31923 31555 0 -1 4202560 6240 0 0 0 187 2 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31934] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31934/stat : 31934 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31935] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31936] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31936/stat : 31936 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 31334966 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 255.73 Current children cumulated vsize (KiB) 1540800 [startup+253.9 s] /proc/loadavg: 0.99 1.00 1.05 2/119 31942 /proc/meminfo: memFree=1618000/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1540800 CPUtime=256.13 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 52239 0 1 0 25584 29 0 0 15 0 13 0 31334824 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385200 49326 1445 10 0 382502 0 [pid=31923/tid=31925] ppid=31921 vsize=1540800 CPUtime=250.61 /proc/31923/task/31925/stat : 31925 (java) R 31921 31923 31555 0 -1 4202560 38476 0 1 0 25041 20 0 0 25 0 13 0 31334826 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4109741338 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1540800 CPUtime=0.32 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 2016 0 0 0 31 1 0 0 16 0 13 0 31334827 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1540800 CPUtime=0.32 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 2183 0 0 0 31 1 0 0 15 0 13 0 31334827 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1540800 CPUtime=2.38 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 2110 0 0 0 236 2 0 0 16 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31929/stat : 31929 (java) S 31921 31923 31555 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31930] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31930/stat : 31930 (java) S 31921 31923 31555 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31931] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31931/stat : 31931 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31932] ppid=31921 vsize=1540800 CPUtime=0.53 /proc/31923/task/31932/stat : 31932 (java) S 31921 31923 31555 0 -1 4202560 131 0 0 0 53 0 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31933] ppid=31921 vsize=1540800 CPUtime=1.89 /proc/31923/task/31933/stat : 31933 (java) S 31921 31923 31555 0 -1 4202560 6240 0 0 0 187 2 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31934] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31934/stat : 31934 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31935] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31936] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31936/stat : 31936 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 31334966 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 256.13 Current children cumulated vsize (KiB) 1540800 [startup+254.301 s] /proc/loadavg: 0.99 1.00 1.05 2/119 31942 /proc/meminfo: memFree=1618000/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1540800 CPUtime=256.54 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 52239 0 1 0 25624 30 0 0 15 0 13 0 31334824 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385200 49326 1445 10 0 382502 0 [pid=31923/tid=31925] ppid=31921 vsize=1540800 CPUtime=251.01 /proc/31923/task/31925/stat : 31925 (java) R 31921 31923 31555 0 -1 4202560 38476 0 1 0 25081 20 0 0 25 0 13 0 31334826 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4109790971 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1540800 CPUtime=0.32 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 2016 0 0 0 31 1 0 0 16 0 13 0 31334827 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1540800 CPUtime=0.32 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 2183 0 0 0 31 1 0 0 15 0 13 0 31334827 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1540800 CPUtime=2.38 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 2110 0 0 0 236 2 0 0 15 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31929/stat : 31929 (java) S 31921 31923 31555 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31930] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31930/stat : 31930 (java) S 31921 31923 31555 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 13 0 31334829 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31931] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31931/stat : 31931 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31932] ppid=31921 vsize=1540800 CPUtime=0.53 /proc/31923/task/31932/stat : 31932 (java) S 31921 31923 31555 0 -1 4202560 131 0 0 0 53 0 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31933] ppid=31921 vsize=1540800 CPUtime=1.89 /proc/31923/task/31933/stat : 31933 (java) S 31921 31923 31555 0 -1 4202560 6240 0 0 0 187 2 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31934] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31934/stat : 31934 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31935] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 13 0 31334834 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31936] ppid=31921 vsize=1540800 CPUtime=0 /proc/31923/task/31936/stat : 31936 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 13 0 31334966 1577779200 49326 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 256.54 Current children cumulated vsize (KiB) 1540800 [startup+254.401 s] /proc/loadavg: 0.99 1.00 1.05 2/119 31942 /proc/meminfo: memFree=1618000/2059040 swapFree=4140428/4192956 [pid=31923] ppid=31921 vsize=1541124 CPUtime=256.66 /proc/31923/stat : 31923 (java) S 31921 31923 31555 0 -1 4202496 52247 0 1 0 25636 30 0 0 15 0 14 0 31334824 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/31923/statm: 385281 49334 1445 10 0 382583 0 [pid=31923/tid=31925] ppid=31921 vsize=1541124 CPUtime=251.08 /proc/31923/task/31925/stat : 31925 (java) S 31921 31923 31555 0 -1 4202560 38479 0 1 0 25088 20 0 0 25 0 14 0 31334826 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31926] ppid=31921 vsize=1541124 CPUtime=0.32 /proc/31923/task/31926/stat : 31926 (java) S 31921 31923 31555 0 -1 4202560 2016 0 0 0 31 1 0 0 16 0 14 0 31334827 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31927] ppid=31921 vsize=1541124 CPUtime=0.32 /proc/31923/task/31927/stat : 31927 (java) S 31921 31923 31555 0 -1 4202560 2183 0 0 0 31 1 0 0 15 0 14 0 31334827 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31928] ppid=31921 vsize=1541124 CPUtime=2.38 /proc/31923/task/31928/stat : 31928 (java) S 31921 31923 31555 0 -1 4202560 2110 0 0 0 236 2 0 0 15 0 14 0 31334829 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 0 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31929] ppid=31921 vsize=1541124 CPUtime=0 /proc/31923/task/31929/stat : 31929 (java) S 31921 31923 31555 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 14 0 31334829 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31930] ppid=31921 vsize=1541124 CPUtime=0 /proc/31923/task/31930/stat : 31930 (java) S 31921 31923 31555 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 14 0 31334829 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31931] ppid=31921 vsize=1541124 CPUtime=0 /proc/31923/task/31931/stat : 31931 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 14 0 31334834 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31932] ppid=31921 vsize=1541124 CPUtime=0.54 /proc/31923/task/31932/stat : 31932 (java) S 31921 31923 31555 0 -1 4202560 131 0 0 0 54 0 0 0 15 0 14 0 31334834 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31933] ppid=31921 vsize=1541124 CPUtime=1.92 /proc/31923/task/31933/stat : 31933 (java) R 31921 31923 31555 0 -1 4202560 6240 0 0 0 190 2 0 0 15 0 14 0 31334834 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 106260557 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=31923/tid=31934] ppid=31921 vsize=1541124 CPUtime=0 /proc/31923/task/31934/stat : 31934 (java) S 31921 31923 31555 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 14 0 31334834 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 0 0 0 0 [pid=31923/tid=31935] ppid=31921 vsize=1541124 CPUtime=0 /proc/31923/task/31935/stat : 31935 (java) S 31921 31923 31555 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 14 0 31334834 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 [pid=31923/tid=31936] ppid=31921 vsize=1541124 CPUtime=0 /proc/31923/task/31936/stat : 31936 (java) S 31921 31923 31555 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 14 0 31334966 1578110976 49334 1992294400 134512640 134550932 4291647248 18446744073709551615 4294960144 0 4 0 16800975 18446604437828790400 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 256.66 Current children cumulated vsize (KiB) 1541124 Child status: 30 Real time (s): 254.456 CPU time (s): 256.701 CPU user time (s): 256.378 CPU system time (s): 0.32295 CPU usage (%): 100.882 Max. virtual memory (cumulated for all children) (KiB): 1543108 getrusage(RUSAGE_CHILDREN,...) data: user time used= 256.378 system time used= 0.32295 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52252 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6239 involuntary context switches= 3482 runsolver used 0.52092 second user time and 1.38379 second system time The end
Begin job on node007 at 2010-06-15 01:15:14 IDJOB=2659036 IDBENCH=2462 IDSOLVER=1164 FILE ID=node007/2659036-1276557314 PBS_JOBID= 11173495 Free space on /tmp= 62484 MiB SOLVER NAME= SAT4J PB Resolution 2.2.0 2010-05-26 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2659036-1276557314/watcher-2659036-1276557314 -o /tmp/evaluation-result-2659036-1276557314/solver-2659036-1276557314 -C 1800 -W 2000 -M 1800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2659036-1276557314.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= eff6ad715055e79721cc364806b971f0 RANDOM SEED=433973838 node007.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1811876 kB Buffers: 55416 kB Cached: 111588 kB SwapCached: 6248 kB Active: 68192 kB Inactive: 111984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1811876 kB SwapTotal: 4192956 kB SwapFree: 4140428 kB Dirty: 524 kB Writeback: 0 kB AnonPages: 11476 kB Mapped: 13100 kB Slab: 44936 kB PageTables: 4060 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180532 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62484 MiB End job on node007 at 2010-06-15 01:19:28