Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16e2.opb |
MD5SUM | b02172857ce65a3b2db38d953a9873b2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 520 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1064 |
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 | 1064 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1064 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 6.555 |
Number of variables | 1064 |
Total number of constraints | 8357 |
Number of constraints which are clauses | 8357 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-05-25 05:11:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20555 boxname=wulflinc19 idbench=145 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: b02172857ce65a3b2db38d953a9873b2 /oldhome/oroussel/tmp/wulflinc19/normalized-ii16e2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc19/normalized-ii16e2.opb IDLAUNCH: 20555 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 652520 kB Buffers: 29128 kB Cached: 326096 kB SwapCached: 416 kB Active: 33252 kB Inactive: 324272 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 652268 kB SwapTotal: 2097892 kB SwapFree: 2096804 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5676 kB Slab: 18804 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 05:23:38 (client local time) WITH STATUS 30 IN 720.773 SECONDS stats: 20555 0 720.773 30 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc19/normalized-ii16e2.opb c reading problem ... done. Time 4.902 ms. c #vars 1064 c #constraints 8357 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 524 Current CPU time: 40.70 ms c CURRENT OPTIMUM= 523 Current CPU time: 57.00 ms c CURRENT OPTIMUM= 520 Current CPU time: 60.91 ms c starts : 16 c conflicts : 3596 c decisions : 7088 c propagations : 633712 c inspects : 4114476 c learned literals : 1 c learned binary clauses : 3 c learned ternary clauses : 4 c learned clauses : 3594 c root simplifications : 45 s OPTIMUM_FOUND 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 c objectif function=520 c Total CPU time (ms) : 717.018 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.95 2/54 20834 Raw data (stat): 20834 (runsolver) R 20833 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836252165 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0006 s] Raw data (loadavg): 1.10 1.02 0.96 2/64 20844 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18073 0 1 0 708 39 0 0 25 0 11 0 836252165 856809472 20504 4294967295 134512640 134569956 3221224384 3221214640 1131422926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209182 20504 13086 16 0 209166 0 vsize: 836728 [startup+20.0014 s] Raw data (loadavg): 1.08 1.02 0.96 2/64 20844 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18073 0 1 0 1646 40 0 0 25 0 11 0 836252165 856678400 22123 4294967295 134512640 134569956 3221224384 3221214704 1131274789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 22123 13086 16 0 209134 0 vsize: 836600 [startup+30.0018 s] Raw data (loadavg): 1.07 1.01 0.96 2/64 20844 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18074 0 1 0 2610 40 0 0 25 0 11 0 836252165 856678400 22331 4294967295 134512640 134569956 3221224384 3221214696 1131358885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 22331 13086 16 0 209134 0 vsize: 836600 [startup+40.0021 s] Raw data (loadavg): 1.06 1.01 0.96 2/64 20844 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18074 0 1 0 3562 40 0 0 25 0 11 0 836252165 856678400 22569 4294967295 134512640 134569956 3221224384 3221214736 1131414122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209150 22569 13086 16 0 209134 0 vsize: 836600 [startup+50.0029 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 20845 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 4481 40 0 0 25 0 11 0 836252165 856678400 22819 4294967295 134512640 134569956 3221224384 3221214784 1131386720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 22819 13086 16 0 209134 0 vsize: 836600 [startup+60.0033 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 20846 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 5402 40 0 0 25 0 11 0 836252165 856678400 23008 4294967295 134512640 134569956 3221224384 3221214680 1131358810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 23008 13086 16 0 209134 0 vsize: 836600 [startup+70.0045 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 6328 40 0 0 25 0 11 0 836252165 856678400 23054 4294967295 134512640 134569956 3221224384 3221214760 1131404209 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 23054 13086 16 0 209134 0 vsize: 836600 [startup+80.0064 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 7259 40 0 0 25 0 11 0 836252165 856678400 23275 4294967295 134512640 134569956 3221224384 3221214784 1131386556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 23275 13086 16 0 209134 0 vsize: 836600 [startup+90.0097 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 20847 Raw data (stat): 20834 (java) S 20833 10795 10794 0 -1 0 18119 3 1 0 8201 40 0 0 25 0 11 0 836252165 856678400 23514 4294967295 134512640 134569956 3221224384 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 23514 13086 16 0 209134 0 vsize: 836600 [startup+100.01 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 9152 41 0 0 25 0 11 0 836252165 856678400 23614 4294967295 134512640 134569956 3221224384 3221214768 1131155331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 23614 13086 16 0 209134 0 vsize: 836600 [startup+110.012 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 10107 41 0 0 25 0 11 0 836252165 856678400 23795 4294967295 134512640 134569956 3221224384 3221214680 1131358414 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 23795 13086 16 0 209134 0 vsize: 836600 [startup+120.012 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 11069 41 0 0 25 0 11 0 836252165 856678400 23818 4294967295 134512640 134569956 3221224384 3221214680 1131358402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 23818 13086 16 0 209134 0 vsize: 836600 [startup+130.013 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 12030 41 0 0 25 0 11 0 836252165 856678400 24065 4294967295 134512640 134569956 3221224384 3221214768 1131155331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24065 13086 16 0 209134 0 vsize: 836600 [startup+140.014 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 13008 41 0 0 25 0 11 0 836252165 856678400 24086 4294967295 134512640 134569956 3221224384 3221214784 1131386309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24086 13086 16 0 209134 0 vsize: 836600 [startup+150.014 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 13986 41 0 0 25 0 11 0 836252165 856678400 24101 4294967295 134512640 134569956 3221224384 3221214768 1131155371 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24101 13086 16 0 209134 0 vsize: 836600 [startup+160.016 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 14963 41 0 0 25 0 11 0 836252165 856678400 24115 4294967295 134512640 134569956 3221224384 3221214656 1131196491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24115 13086 16 0 209134 0 vsize: 836600 [startup+170.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18119 3 1 0 15940 41 0 0 25 0 11 0 836252165 856678400 24125 4294967295 134512640 134569956 3221224384 3221214784 1131386546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24125 13086 16 0 209134 0 vsize: 836600 [startup+180.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 16918 41 0 0 25 0 11 0 836252165 856678400 24144 4294967295 134512640 134569956 3221224384 3221214784 1131386149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24144 13086 16 0 209134 0 vsize: 836600 [startup+190.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 17892 41 0 0 25 0 11 0 836252165 856678400 24175 4294967295 134512640 134569956 3221224384 3221214768 1131155359 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24175 13086 16 0 209134 0 vsize: 836600 [startup+200.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 18863 42 0 0 25 0 11 0 836252165 856678400 24193 4294967295 134512640 134569956 3221224384 3221214680 1131358418 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24193 13086 16 0 209134 0 vsize: 836600 [startup+210.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 19842 42 0 0 25 0 11 0 836252165 856678400 24207 4294967295 134512640 134569956 3221224384 3221214680 1131358831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24207 13086 16 0 209134 0 vsize: 836600 [startup+220.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 20815 42 0 0 25 0 11 0 836252165 856678400 24249 4294967295 134512640 134569956 3221224384 3221214656 1131196468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24249 13086 16 0 209134 0 vsize: 836600 [startup+230.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 21787 42 0 0 25 0 11 0 836252165 856678400 24271 4294967295 134512640 134569956 3221224384 3221214680 1131358402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24271 13086 16 0 209134 0 vsize: 836600 [startup+240.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 22763 42 0 0 25 0 11 0 836252165 856678400 24284 4294967295 134512640 134569956 3221224384 3221214688 1131358831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24284 13086 16 0 209134 0 vsize: 836600 [startup+250.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 23738 42 0 0 25 0 11 0 836252165 856678400 24311 4294967295 134512640 134569956 3221224384 3221214768 1131155331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24311 13086 16 0 209134 0 vsize: 836600 [startup+260.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 24713 42 0 0 24 0 11 0 836252165 856678400 24346 4294967295 134512640 134569956 3221224384 3221214680 1131359074 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24346 13086 16 0 209134 0 vsize: 836600 [startup+270.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 25687 42 0 0 25 0 11 0 836252165 856678400 24367 4294967295 134512640 134569956 3221224384 3221214604 1130885147 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24367 13086 16 0 209134 0 vsize: 836600 [startup+280.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 26661 42 0 0 25 0 11 0 836252165 856678400 24391 4294967295 134512640 134569956 3221224384 3221214784 1131386135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24391 13086 16 0 209134 0 vsize: 836600 [startup+290.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 27636 42 0 0 24 0 11 0 836252165 856678400 24406 4294967295 134512640 134569956 3221224384 3221214536 1131274789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24406 13086 16 0 209134 0 vsize: 836600 [startup+300.022 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 28614 42 0 0 25 0 11 0 836252165 856678400 24426 4294967295 134512640 134569956 3221224384 3221214768 1131155331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24426 13086 16 0 209134 0 vsize: 836600 [startup+310.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 29583 42 0 0 25 0 11 0 836252165 856678400 24447 4294967295 134512640 134569956 3221224384 3221214768 1131155324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24447 13086 16 0 209134 0 vsize: 836600 [startup+320.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 30557 42 0 0 25 0 11 0 836252165 856678400 24488 4294967295 134512640 134569956 3221224384 3221214680 1131358831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24488 13086 16 0 209134 0 vsize: 836600 [startup+330.026 s] Raw data (loadavg): 1.00 1.00 0.96 3/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 31530 42 0 0 25 0 11 0 836252165 856678400 24502 4294967295 134512640 134569956 3221224384 3221214552 1131509191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24502 13086 16 0 209134 0 vsize: 836600 [startup+340.026 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 32505 42 0 0 25 0 11 0 836252165 856678400 24562 4294967295 134512640 134569956 3221224384 3221214680 1131358703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24562 13086 16 0 209134 0 vsize: 836600 [startup+350.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 33485 43 0 0 25 0 11 0 836252165 856678400 24567 4294967295 134512640 134569956 3221224384 3221214824 1131233113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24567 13086 16 0 209134 0 vsize: 836600 [startup+360.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 34461 43 0 0 25 0 11 0 836252165 856678400 24583 4294967295 134512640 134569956 3221224384 3221214680 1131358831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24583 13086 16 0 209134 0 vsize: 836600 [startup+370.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 35438 43 0 0 25 0 11 0 836252165 856678400 24599 4294967295 134512640 134569956 3221224384 3221214676 1131191520 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24599 13086 16 0 209134 0 vsize: 836600 [startup+380.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 36410 43 0 0 25 0 11 0 836252165 856678400 24617 4294967295 134512640 134569956 3221224384 3221214764 1131197184 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24617 13086 16 0 209134 0 vsize: 836600 [startup+390.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 37386 43 0 0 25 0 11 0 836252165 856678400 24636 4294967295 134512640 134569956 3221224384 3221214592 1131191988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24636 13086 16 0 209134 0 vsize: 836600 [startup+400.029 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 38358 43 0 0 25 0 11 0 836252165 856678400 24658 4294967295 134512640 134569956 3221224384 3221214656 1131196468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24658 13086 16 0 209134 0 vsize: 836600 [startup+410.033 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) S 20833 10795 10794 0 -1 0 18120 3 1 0 39329 43 0 0 25 0 11 0 836252165 856678400 24673 4294967295 134512640 134569956 3221224384 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24673 13086 16 0 209134 0 vsize: 836600 [startup+420.033 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 40296 43 0 0 25 0 11 0 836252165 856678400 24727 4294967295 134512640 134569956 3221224384 3221214788 1131345516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24727 13086 16 0 209134 0 vsize: 836600 [startup+430.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 41274 43 0 0 25 0 11 0 836252165 856678400 24775 4294967295 134512640 134569956 3221224384 3221214656 1131196468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24775 13086 16 0 209134 0 vsize: 836600 [startup+440.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 42249 43 0 0 25 0 11 0 836252165 856678400 24789 4294967295 134512640 134569956 3221224384 3221214592 1131191546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24789 13086 16 0 209134 0 vsize: 836600 [startup+450.034 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 43222 43 0 0 25 0 11 0 836252165 856678400 24813 4294967295 134512640 134569956 3221224384 3221214792 1131378103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24813 13086 16 0 209134 0 vsize: 836600 [startup+460.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 44193 43 0 0 25 0 11 0 836252165 856678400 24836 4294967295 134512640 134569956 3221224384 3221214680 1131358733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24836 13086 16 0 209134 0 vsize: 836600 [startup+470.035 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 45155 43 0 0 25 0 11 0 836252165 856678400 24847 4294967295 134512640 134569956 3221224384 3221214680 1131359285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24847 13086 16 0 209134 0 vsize: 836600 [startup+480.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) S 20833 10795 10794 0 -1 0 18120 3 1 0 46111 43 0 0 25 0 11 0 836252165 856678400 24878 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24878 13086 16 0 209134 0 vsize: 836600 [startup+490.038 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 47070 43 0 0 25 0 11 0 836252165 856678400 24946 4294967295 134512640 134569956 3221224384 3221214664 1131328957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 24946 13086 16 0 209134 0 vsize: 836600 [startup+500.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 48029 43 0 0 25 0 11 0 836252165 856678400 25020 4294967295 134512640 134569956 3221224384 3221214680 1131359028 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25020 13086 16 0 209134 0 vsize: 836600 [startup+510.039 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 48992 43 0 0 25 0 11 0 836252165 856678400 25192 4294967295 134512640 134569956 3221224384 3221214824 1131233113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25192 13086 16 0 209134 0 vsize: 836600 [startup+520.04 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 49954 44 0 0 25 0 11 0 836252165 856678400 25257 4294967295 134512640 134569956 3221224384 3221214784 1131386309 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25257 13086 16 0 209134 0 vsize: 836600 [startup+530.041 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 50920 44 0 0 25 0 11 0 836252165 856678400 25311 4294967295 134512640 134569956 3221224384 3221214768 1131155331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25311 13086 16 0 209134 0 vsize: 836600 [startup+540.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 51887 44 0 0 25 0 11 0 836252165 856678400 25370 4294967295 134512640 134569956 3221224384 3221214656 1131196468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25370 13086 16 0 209134 0 vsize: 836600 [startup+550.042 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 52861 44 0 0 25 0 11 0 836252165 856678400 25437 4294967295 134512640 134569956 3221224384 3221214680 1131359628 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209150 25437 13086 16 0 209134 0 vsize: 836600 [startup+560.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 53830 44 0 0 25 0 11 0 836252165 856678400 25496 4294967295 134512640 134569956 3221224384 3221214628 1131233075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25496 13086 16 0 209134 0 vsize: 836600 [startup+570.043 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 54788 44 0 0 25 0 11 0 836252165 856678400 25514 4294967295 134512640 134569956 3221224384 3221214680 1131358402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25514 13086 16 0 209134 0 vsize: 836600 [startup+580.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 55744 44 0 0 25 0 11 0 836252165 856678400 25526 4294967295 134512640 134569956 3221224384 3221214680 1131358382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25526 13086 16 0 209134 0 vsize: 836600 [startup+590.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 56699 44 0 0 25 0 11 0 836252165 856678400 25548 4294967295 134512640 134569956 3221224384 3221213848 1077371617 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25548 13086 16 0 209134 0 vsize: 836600 [startup+600.045 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 57638 44 0 0 25 0 11 0 836252165 856678400 25677 4294967295 134512640 134569956 3221224384 3221214696 1131274685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25677 13086 16 0 209134 0 vsize: 836600 [startup+610.046 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 58599 45 0 0 25 0 11 0 836252165 856678400 25862 4294967295 134512640 134569956 3221224384 3221214768 1131444927 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25862 13086 16 0 209134 0 vsize: 836600 [startup+620.046 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 59563 45 0 0 25 0 11 0 836252165 856678400 25885 4294967295 134512640 134569956 3221224384 3221214680 1131359315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25885 13086 16 0 209134 0 vsize: 836600 [startup+630.047 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 60526 45 0 0 25 0 11 0 836252165 856678400 25940 4294967295 134512640 134569956 3221224384 3221214824 1131233113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 25940 13086 16 0 209134 0 vsize: 836600 [startup+640.048 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 61492 45 0 0 25 0 11 0 836252165 856678400 26103 4294967295 134512640 134569956 3221224384 3221214608 1131398047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209150 26103 13086 16 0 209134 0 vsize: 836600 [startup+650.048 s] Raw data (loadavg): 1.15 1.03 0.97 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 62461 45 0 0 25 0 11 0 836252165 856678400 26127 4294967295 134512640 134569956 3221224384 3221214768 1131155331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 26127 13086 16 0 209134 0 vsize: 836600 [startup+660.048 s] Raw data (loadavg): 1.13 1.03 0.97 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 63414 45 0 0 25 0 11 0 836252165 856678400 26183 4294967295 134512640 134569956 3221224384 3221214568 1131274746 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 26183 13086 16 0 209134 0 vsize: 836600 [startup+670.048 s] Raw data (loadavg): 1.11 1.03 0.97 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 64374 45 0 0 25 0 11 0 836252165 856678400 26230 4294967295 134512640 134569956 3221224384 3221214760 1131408144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 26230 13086 16 0 209134 0 vsize: 836600 [startup+680.049 s] Raw data (loadavg): 1.09 1.03 0.97 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 65320 45 0 0 25 0 11 0 836252165 856678400 26286 4294967295 134512640 134569956 3221224384 3221214656 1131197175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 26286 13086 16 0 209134 0 vsize: 836600 [startup+690.05 s] Raw data (loadavg): 1.08 1.03 0.97 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 66271 45 0 0 25 0 11 0 836252165 856678400 26342 4294967295 134512640 134569956 3221224384 3221214784 1131386149 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 26342 13086 16 0 209134 0 vsize: 836600 [startup+700.05 s] Raw data (loadavg): 1.06 1.03 0.97 2/64 20847 Raw data (stat): 20834 (java) R 20833 10795 10794 0 -1 0 18120 3 1 0 67212 45 0 0 25 0 11 0 836252165 856678400 26405 4294967295 134512640 134569956 3221224384 3221214784 1131386916 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 26405 13086 16 0 209134 0 vsize: 836600 [startup+710.055 s] Raw data (loadavg): 1.05 1.02 0.97 2/64 20847 Raw data (stat): 20834 (java) S 20833 10795 10794 0 -1 0 18120 3 1 0 68153 45 0 0 25 0 11 0 836252165 856678400 26600 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 26600 13086 16 0 209134 0 vsize: 836600 [startup+718.084 s] Raw data (loadavg): 1.05 1.02 0.97 1/53 20848 Raw data (stat): 20834 (java) S 20833 10795 10794 0 -1 0 18120 3 1 0 68153 45 0 0 25 0 11 0 836252165 856678400 26600 4294967295 134512640 134569956 3221224384 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209150 26600 13086 16 0 209134 0 vsize: 0 Child status: 30 Real time (s): 718.084 CPU time (s): 720.773 CPU user time (s): 720.058 CPU system time (s): 0.715891 CPU usage (%): 100.375 Max. virtual memory (Kb): 836728 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 520 #### END VERIFIER DATA ####