Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb |
MD5SUM | 5fcfa2f72175b9723ffb2781fb76fcdc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1120 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 85 |
Biggest coefficient in the objective function | 517 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 15494 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1656 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 15494 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02584 |
Number of variables | 89 |
Total number of constraints | 117 |
Number of constraints which are clauses | 2 |
Number of constraints which are cardinality constraints (but not clauses) | 104 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 47 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-05-25 12:43:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21314 boxname=wulflinc25 idbench=1302 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 5fcfa2f72175b9723ffb2781fb76fcdc /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-lseu.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-13-7-lseu.opb IDLAUNCH: 21314 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 355704 kB Buffers: 33236 kB Cached: 622172 kB SwapCached: 588 kB Active: 101528 kB Inactive: 556140 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 355452 kB SwapTotal: 2097892 kB SwapFree: 2096620 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5608 kB Slab: 15684 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 13:03:48 (client local time) WITH STATUS 143 IN 1236.28 SECONDS stats: 21314 0 1236.28 143 #### 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/wulflinc25/normalized-mps-v2-13-7-lseu.opb c reading problem ... done. Time 0.32 ms. c #vars 89 c #constraints 28 c SATISFIABLE c OPTIMIZING... c CURRENT OPTIMUM= 3730 Current CPU time: 0.99 ms c CURRENT OPTIMUM= 3597 Current CPU time: 1.32 ms c CURRENT OPTIMUM= 3558 Current CPU time: 3.16 ms c CURRENT OPTIMUM= 3010 Current CPU time: 3.29 ms c CURRENT OPTIMUM= 2752 Current CPU time: 3.33 ms c CURRENT OPTIMUM= 2338 Current CPU time: 3.61 ms c CURRENT OPTIMUM= 2333 Current CPU time: 8.48 ms c CURRENT OPTIMUM= 2285 Current CPU time: 8.56 ms c CURRENT OPTIMUM= 2222 Current CPU time: 10.61 ms c CURRENT OPTIMUM= 1951 Current CPU time: 14.97 ms c CURRENT OPTIMUM= 1941 Current CPU time: 49.05 ms c CURRENT OPTIMUM= 1922 Current CPU time: 77.18 ms c CURRENT OPTIMUM= 1878 Current CPU time: 91.93 ms c CURRENT OPTIMUM= 1839 Current CPU time: 143.76 ms c CURRENT OPTIMUM= 1780 Current CPU time: 164.63 ms c CURRENT OPTIMUM= 1659 Current CPU time: 186.48 ms c CURRENT OPTIMUM= 1611 Current CPU time: 247.16 ms c CURRENT OPTIMUM= 1540 Current CPU time: 280.06 ms c CURRENT OPTIMUM= 1525 Current CPU time: 306.00 ms c CURRENT OPTIMUM= 1461 Current CPU time: 333.31 ms c CURRENT OPTIMUM= 1451 Current CPU time: 1017.70 ms c CURRENT OPTIMUM= 1448 Current CPU time: 1183.45 ms c starts : 48 c conflicts : 5240 c decisions : 16056 c propagations : 70776 c inspects : 5184443 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 5240 c root simplifications : 48 s SATISFIABLE v C101_bit0 C102_bit0 -C103_bit0 -C104_bit0 -C105_bit0 C108_bit0 C111_bit0 -C112_bit0 -C113_bit0 -C114_bit0 -C115_bit0 -C116_bit0 -C117_bit0 -C118_bit0 -C119_bit0 -C120_bit0 -C121_bit0 -C122_bit0 C123_bit0 -C124_bit0 -C125_bit0 -C126_bit0 C127_bit0 -C128_bit0 -C129_bit0 -C130_bit0 -C131_bit0 -C132_bit0 -C133_bit0 -C134_bit0 -C135_bit0 -C136_bit0 -C137_bit0 C138_bit0 -C139_bit0 -C140_bit0 -C141_bit0 C142_bit0 -C143_bit0 -C144_bit0 C145_bit0 -C146_bit0 -C147_bit0 -C148_bit0 -C149_bit0 -C150_bit0 C151_bit0 -C152_bit0 C153_bit0 -C154_bit0 -C155_bit0 -C156_bit0 C157_bit0 -C158_bit0 -C159_bit0 -C160_bit0 -C161_bit0 -C162_bit0 -C163_bit0 C164_bit0 -C165_bit0 -C166_bit0 -C167_bit0 -C168_bit0 -C169_bit0 -C170_bit0 -C171_bit0 -C172_bit0 -C173_bit0 -C174_bit0 -C175_bit0 -C176_bit0 -C177_bit0 -C178_bit0 -C179_bit0 -C180_bit0 -C181_bit0 -C182_bit0 -C183_bit0 -C184_bit0 -C185_bit0 -C186_bit0 -C187_bit0 -C188_bit0 -C189_bit0 -C106_bit0 -C107_bit0 -C109_bit0 -C110_bit0 c objectif function=1448 c Total CPU time (ms) : 1239.11 #### 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.92 0.97 0.99 2/54 13600 Raw data (stat): 13600 (runsolver) R 13599 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838982956 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0001 s] Raw data (loadavg): 1.01 0.98 0.99 2/64 13618 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18140 4 1 0 589 39 0 0 25 0 11 0 838982956 865480704 21398 4294967295 134512640 134569956 3221224368 3221214616 1131224283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211299 21398 13086 16 0 211283 0 vsize: 845196 [startup+20.0011 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13620 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18140 4 1 0 1555 39 0 0 25 0 11 0 838982956 864071680 21843 4294967295 134512640 134569956 3221224368 3221214584 1131159722 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 21843 13086 16 0 210939 0 vsize: 843820 [startup+30.0017 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13620 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18140 4 1 0 2513 39 0 0 25 0 11 0 838982956 864071680 22288 4294967295 134512640 134569956 3221224368 3221214680 1131239863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 22288 13086 16 0 210939 0 vsize: 843820 [startup+40.0021 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13620 Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18140 4 1 0 3455 40 0 0 25 0 11 0 838982956 864071680 22767 4294967295 134512640 134569956 3221224368 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 22767 13086 16 0 210939 0 vsize: 843820 [startup+50.0028 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13621 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 4394 40 0 0 25 0 11 0 838982956 864071680 22792 4294967295 134512640 134569956 3221224368 3221214224 1131268360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 22792 13086 16 0 210939 0 vsize: 843820 [startup+60.0039 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13621 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 5330 40 0 0 24 0 11 0 838982956 864071680 22972 4294967295 134512640 134569956 3221224368 3221214656 1131242750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 22972 13086 16 0 210939 0 vsize: 843820 [startup+70.0041 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13621 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 6283 41 0 0 25 0 11 0 838982956 864071680 23092 4294967295 134512640 134569956 3221224368 3221214656 1131241623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 23092 13086 16 0 210939 0 vsize: 843820 [startup+80.0047 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13622 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 7238 41 0 0 25 0 11 0 838982956 864071680 23332 4294967295 134512640 134569956 3221224368 3221214408 1085679308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 23332 13086 16 0 210939 0 vsize: 843820 [startup+90.0054 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13622 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 8202 41 0 0 25 0 11 0 838982956 864071680 23466 4294967295 134512640 134569956 3221224368 3221214560 1131159585 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 23466 13086 16 0 210939 0 vsize: 843820 [startup+100.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13623 Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 9157 41 0 0 25 0 11 0 838982956 864071680 23597 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 23597 13086 16 0 210939 0 vsize: 843820 [startup+110.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13623 Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 10110 41 0 0 25 0 11 0 838982956 864071680 23714 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 23714 13086 16 0 210939 0 vsize: 843820 [startup+120.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13623 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 11062 42 0 0 25 0 11 0 838982956 864071680 23822 4294967295 134512640 134569956 3221224368 3221214656 1131240860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 23822 13086 16 0 210939 0 vsize: 843820 [startup+130.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13623 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 12015 42 0 0 25 0 11 0 838982956 864071680 23952 4294967295 134512640 134569956 3221224368 3221214584 1131162618 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 23952 13086 16 0 210939 0 vsize: 843820 [startup+140.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13623 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 12963 42 0 0 25 0 11 0 838982956 864071680 24133 4294967295 134512640 134569956 3221224368 3221214272 1131494799 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 24133 13086 16 0 210939 0 vsize: 843820 [startup+150.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13624 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 13923 42 0 0 25 0 11 0 838982956 864071680 24299 4294967295 134512640 134569956 3221224368 3221214656 1131239863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 24299 13086 16 0 210939 0 vsize: 843820 [startup+160.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13624 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 14879 43 0 0 25 0 11 0 838982956 864071680 24444 4294967295 134512640 134569956 3221224368 3221214136 1131289132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 24444 13086 16 0 210939 0 vsize: 843820 [startup+170.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13625 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 15843 43 0 0 25 0 11 0 838982956 864071680 24561 4294967295 134512640 134569956 3221224368 3221214228 1131289865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 24561 13086 16 0 210939 0 vsize: 843820 [startup+180.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13625 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 16815 43 0 0 25 0 11 0 838982956 864071680 24643 4294967295 134512640 134569956 3221224368 3221214560 1131159585 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 24643 13086 16 0 210939 0 vsize: 843820 [startup+190.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13626 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 17785 44 0 0 25 0 11 0 838982956 864071680 24744 4294967295 134512640 134569956 3221224368 3221214604 1131173813 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 24744 13086 16 0 210939 0 vsize: 843820 [startup+200.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13626 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 18757 45 0 0 25 0 11 0 838982956 864071680 24829 4294967295 134512640 134569956 3221224368 3221214496 1131289120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 24829 13086 16 0 210939 0 vsize: 843820 [startup+210.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13626 Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 19728 45 0 0 25 0 11 0 838982956 864071680 24909 4294967295 134512640 134569956 3221224368 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 24909 13086 16 0 210939 0 vsize: 843820 [startup+220.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13626 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 20700 45 0 0 25 0 11 0 838982956 864071680 24973 4294967295 134512640 134569956 3221224368 3221214184 1131268296 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 24973 13086 16 0 210939 0 vsize: 843820 [startup+230.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13626 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 21657 46 0 0 25 0 11 0 838982956 864071680 25089 4294967295 134512640 134569956 3221224368 3221214656 1131241684 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25089 13086 16 0 210939 0 vsize: 843820 [startup+240.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13626 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 22628 46 0 0 25 0 11 0 838982956 864071680 25149 4294967295 134512640 134569956 3221224368 3221214360 1131289175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25149 13086 16 0 210939 0 vsize: 843820 [startup+250.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13627 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 23599 47 0 0 25 0 11 0 838982956 864071680 25249 4294967295 134512640 134569956 3221224368 3221214568 1131174202 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25249 13086 16 0 210939 0 vsize: 843820 [startup+260.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13627 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 24566 47 0 0 25 0 11 0 838982956 864071680 25349 4294967295 134512640 134569956 3221224368 3221214560 1131160205 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25349 13086 16 0 210939 0 vsize: 843820 [startup+270.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13627 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 25532 47 0 0 25 0 11 0 838982956 864071680 25453 4294967295 134512640 134569956 3221224368 3221214048 1131289207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25453 13086 16 0 210939 0 vsize: 843820 [startup+280.005 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13627 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 26507 48 0 0 25 0 11 0 838982956 864071680 25527 4294967295 134512640 134569956 3221224368 3221214656 1131241132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25527 13086 16 0 210939 0 vsize: 843820 [startup+290.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13628 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 27481 48 0 0 25 0 11 0 838982956 864071680 25620 4294967295 134512640 134569956 3221224368 3221214656 1131239787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25620 13086 16 0 210939 0 vsize: 843820 [startup+300.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13628 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 28456 49 0 0 25 0 11 0 838982956 864071680 25693 4294967295 134512640 134569956 3221224368 3221214656 1131241877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25693 13086 16 0 210939 0 vsize: 843820 [startup+310.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13629 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 29429 49 0 0 25 0 11 0 838982956 864071680 25754 4294967295 134512640 134569956 3221224368 3221214136 1131289218 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25754 13086 16 0 210939 0 vsize: 843820 [startup+320.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13629 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 30410 49 0 0 25 0 11 0 838982956 864071680 25804 4294967295 134512640 134569956 3221224368 3221214184 1131289169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25804 13086 16 0 210939 0 vsize: 843820 [startup+330.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13629 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 31383 49 0 0 25 0 11 0 838982956 864071680 25866 4294967295 134512640 134569956 3221224368 3221214560 1131159843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25866 13086 16 0 210939 0 vsize: 843820 [startup+340.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 32358 50 0 0 25 0 11 0 838982956 864071680 25915 4294967295 134512640 134569956 3221224368 3221213160 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25915 13086 16 0 210939 0 vsize: 843820 [startup+350.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 33334 50 0 0 25 0 11 0 838982956 864071680 25992 4294967295 134512640 134569956 3221224368 3221214096 1131268316 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 25992 13086 16 0 210939 0 vsize: 843820 [startup+360.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 34305 51 0 0 25 0 11 0 838982956 864071680 26054 4294967295 134512640 134569956 3221224368 3221214656 1131240753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26054 13086 16 0 210939 0 vsize: 843820 [startup+370.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 35270 51 0 0 25 0 11 0 838982956 864071680 26148 4294967295 134512640 134569956 3221224368 3221214560 1131160127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26148 13086 16 0 210939 0 vsize: 843820 [startup+380.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 36249 51 0 0 25 0 11 0 838982956 864071680 26231 4294967295 134512640 134569956 3221224368 3221214560 1131160426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26231 13086 16 0 210939 0 vsize: 843820 [startup+390.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 37222 52 0 0 25 0 11 0 838982956 864071680 26315 4294967295 134512640 134569956 3221224368 3221214656 1131239583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26315 13086 16 0 210939 0 vsize: 843820 [startup+400.006 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 38201 52 0 0 25 0 11 0 838982956 864071680 26366 4294967295 134512640 134569956 3221224368 3221214584 1131403556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26366 13086 16 0 210939 0 vsize: 843820 [startup+410.007 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 39180 53 0 0 25 0 11 0 838982956 864071680 26424 4294967295 134512640 134569956 3221224368 3221214552 1131188549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26424 13086 16 0 210939 0 vsize: 843820 [startup+420.007 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 40159 53 0 0 25 0 11 0 838982956 864071680 26475 4294967295 134512640 134569956 3221224368 3221214408 1085679318 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26475 13086 16 0 210939 0 vsize: 843820 [startup+430.007 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 41137 53 0 0 25 0 11 0 838982956 864071680 26524 4294967295 134512640 134569956 3221224368 3221214656 1131239599 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26524 13086 16 0 210939 0 vsize: 843820 [startup+440.008 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) S 13599 1586 1585 0 -1 0 18141 4 1 0 42120 54 0 0 25 0 11 0 838982956 864071680 26566 4294967295 134512640 134569956 3221224368 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26566 13086 16 0 210939 0 vsize: 843820 [startup+450.008 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 43093 54 0 0 25 0 11 0 838982956 864071680 26654 4294967295 134512640 134569956 3221224368 3221214408 1085679756 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26654 13086 16 0 210939 0 vsize: 843820 [startup+460.008 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 44064 54 0 0 25 0 11 0 838982956 864071680 26699 4294967295 134512640 134569956 3221224368 3221214568 1131175260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 26699 13086 16 0 210939 0 vsize: 843820 [startup+470.009 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 45041 54 0 0 25 0 11 0 838982956 864071680 26749 4294967295 134512640 134569956 3221224368 3221214656 1131241356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26749 13086 16 0 210939 0 vsize: 843820 [startup+480.009 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 46018 55 0 0 25 0 11 0 838982956 864071680 26790 4294967295 134512640 134569956 3221224368 3221214096 1131268288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26790 13086 16 0 210939 0 vsize: 843820 [startup+490.009 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 46994 55 0 0 25 0 11 0 838982956 864071680 26842 4294967295 134512640 134569956 3221224368 3221214804 1130885222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26842 13086 16 0 210939 0 vsize: 843820 [startup+500.01 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 47963 55 0 0 25 0 11 0 838982956 864071680 26934 4294967295 134512640 134569956 3221224368 3221214084 1131289168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 26934 13086 16 0 210939 0 vsize: 843820 [startup+510.01 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 48939 56 0 0 25 0 11 0 838982956 864071680 27011 4294967295 134512640 134569956 3221224368 3221214560 1131160127 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 27011 13086 16 0 210939 0 vsize: 843820 [startup+520.01 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 49902 56 0 0 25 0 11 0 838982956 864071680 27134 4294967295 134512640 134569956 3221224368 3221214048 1131289144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27134 13086 16 0 210939 0 vsize: 843820 [startup+530.01 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 50879 57 0 0 25 0 11 0 838982956 864071680 27211 4294967295 134512640 134569956 3221224368 3221214560 1131159805 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27211 13086 16 0 210939 0 vsize: 843820 [startup+540.011 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 51842 57 0 0 25 0 11 0 838982956 864071680 27286 4294967295 134512640 134569956 3221224368 3221214448 1131188008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27286 13086 16 0 210939 0 vsize: 843820 [startup+550.011 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 52813 57 0 0 25 0 11 0 838982956 864071680 27378 4294967295 134512640 134569956 3221224368 3221214656 1131239808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27378 13086 16 0 210939 0 vsize: 843820 [startup+560.012 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 53786 58 0 0 25 0 11 0 838982956 864071680 27461 4294967295 134512640 134569956 3221224368 3221214640 1131183158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27461 13086 16 0 210939 0 vsize: 843820 [startup+570.012 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 54766 58 0 0 25 0 11 0 838982956 864071680 27519 4294967295 134512640 134569956 3221224368 3221214528 1131188355 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 27519 13086 16 0 210939 0 vsize: 843820 [startup+580.012 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 55740 58 0 0 25 0 11 0 838982956 864071680 27604 4294967295 134512640 134569956 3221224368 3221214584 1131403748 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27604 13086 16 0 210939 0 vsize: 843820 [startup+590.013 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 56708 59 0 0 25 0 11 0 838982956 864071680 27701 4294967295 134512640 134569956 3221224368 3221214272 1085679313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27701 13086 16 0 210939 0 vsize: 843820 [startup+600.012 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 57678 59 0 0 25 0 11 0 838982956 864071680 27807 4294967295 134512640 134569956 3221224368 3221214656 1131241629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27807 13086 16 0 210939 0 vsize: 843820 [startup+610.014 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 58657 59 0 0 25 0 11 0 838982956 864071680 27870 4294967295 134512640 134569956 3221224368 3221214656 1131241668 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27870 13086 16 0 210939 0 vsize: 843820 [startup+620.014 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 59635 59 0 0 25 0 11 0 838982956 864071680 27934 4294967295 134512640 134569956 3221224368 3221214000 1085679747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 27934 13086 16 0 210939 0 vsize: 843820 [startup+630.014 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 60613 60 0 0 25 0 11 0 838982956 864071680 28003 4294967295 134512640 134569956 3221224368 3221214560 1131159743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28003 13086 16 0 210939 0 vsize: 843820 [startup+640.014 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 61591 60 0 0 25 0 11 0 838982956 864071680 28061 4294967295 134512640 134569956 3221224368 3221214128 1131492984 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28061 13086 16 0 210939 0 vsize: 843820 [startup+650.014 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 62569 61 0 0 25 0 11 0 838982956 864071680 28118 4294967295 134512640 134569956 3221224368 3221213824 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28118 13086 16 0 210939 0 vsize: 843820 [startup+660.015 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 63547 61 0 0 25 0 11 0 838982956 864071680 28171 4294967295 134512640 134569956 3221224368 3221214416 1131438600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28171 13086 16 0 210939 0 vsize: 843820 [startup+670.02 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 64524 61 0 0 25 0 11 0 838982956 864071680 28227 4294967295 134512640 134569956 3221224368 3221214536 1131188059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 28227 13086 16 0 210939 0 vsize: 843820 [startup+680.02 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 65500 62 0 0 25 0 11 0 838982956 864071680 28269 4294967295 134512640 134569956 3221224368 3221214272 1131503700 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28269 13086 16 0 210939 0 vsize: 843820 [startup+690.02 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 66470 63 0 0 25 0 11 0 838982956 864071680 28333 4294967295 134512640 134569956 3221224368 3221214560 1131160123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28333 13086 16 0 210939 0 vsize: 843820 [startup+700.02 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 67445 63 0 0 25 0 11 0 838982956 864071680 28391 4294967295 134512640 134569956 3221224368 3221214180 1131289168 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28391 13086 16 0 210939 0 vsize: 843820 [startup+710.021 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 68421 63 0 0 25 0 11 0 838982956 864071680 28453 4294967295 134512640 134569956 3221224368 3221214656 1131239863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28453 13086 16 0 210939 0 vsize: 843820 [startup+720.021 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 69390 63 0 0 25 0 11 0 838982956 864071680 28541 4294967295 134512640 134569956 3221224368 3221214044 1131289865 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28541 13086 16 0 210939 0 vsize: 843820 [startup+730.021 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 70371 64 0 0 25 0 11 0 838982956 864071680 28588 4294967295 134512640 134569956 3221224368 3221214560 1131159663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28588 13086 16 0 210939 0 vsize: 843820 [startup+740.021 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 71353 64 0 0 25 0 11 0 838982956 864071680 28658 4294967295 134512640 134569956 3221224368 3221214360 1131289229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28658 13086 16 0 210939 0 vsize: 843820 [startup+750.021 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 72335 64 0 0 25 0 11 0 838982956 864071680 28719 4294967295 134512640 134569956 3221224368 3221214016 1085632301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28719 13086 16 0 210939 0 vsize: 843820 [startup+760.021 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 73311 65 0 0 25 0 11 0 838982956 864071680 28769 4294967295 134512640 134569956 3221224368 3221214136 1131497729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28769 13086 16 0 210939 0 vsize: 843820 [startup+770.021 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 74286 65 0 0 25 0 11 0 838982956 864071680 28819 4294967295 134512640 134569956 3221224368 3221214264 1131488370 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28819 13086 16 0 210939 0 vsize: 843820 [startup+780.022 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 75267 65 0 0 25 0 11 0 838982956 864071680 28873 4294967295 134512640 134569956 3221224368 3221214560 1131159722 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 28873 13086 16 0 210939 0 vsize: 843820 [startup+790.023 s] Raw data (loadavg): 1.00 0.98 0.99 3/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 76241 67 0 0 25 0 11 0 838982956 864071680 28943 4294967295 134512640 134569956 3221224368 3221214544 1131502172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 28943 13086 16 0 210939 0 vsize: 843820 [startup+800.023 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 77211 67 0 0 25 0 11 0 838982956 864071680 29019 4294967295 134512640 134569956 3221224368 3221214656 1131242948 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29019 13086 16 0 210939 0 vsize: 843820 [startup+810.023 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 78182 67 0 0 25 0 11 0 838982956 864071680 29097 4294967295 134512640 134569956 3221224368 3221214656 1131239808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29097 13086 16 0 210939 0 vsize: 843820 [startup+820.024 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 79154 67 0 0 25 0 11 0 838982956 864071680 29172 4294967295 134512640 134569956 3221224368 3221214568 1131175250 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 29172 13086 16 0 210939 0 vsize: 843820 [startup+830.024 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 80131 68 0 0 25 0 11 0 838982956 864071680 29241 4294967295 134512640 134569956 3221224368 3221214560 1131160197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29241 13086 16 0 210939 0 vsize: 843820 [startup+840.024 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 81109 68 0 0 25 0 11 0 838982956 864071680 29314 4294967295 134512640 134569956 3221224368 3221214000 1131289144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29314 13086 16 0 210939 0 vsize: 843820 [startup+850.024 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 82086 69 0 0 25 0 11 0 838982956 864071680 29385 4294967295 134512640 134569956 3221224368 3221214584 1131215680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29385 13086 16 0 210939 0 vsize: 843820 [startup+860.024 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 83075 69 0 0 25 0 11 0 838982956 864071680 29410 4294967295 134512640 134569956 3221224368 3221214544 1131497816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29410 13086 16 0 210939 0 vsize: 843820 [startup+870.024 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 84058 69 0 0 25 0 11 0 838982956 864071680 29443 4294967295 134512640 134569956 3221224368 3221214088 1131268354 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 29443 13086 16 0 210939 0 vsize: 843820 [startup+880.024 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 85030 69 0 0 25 0 11 0 838982956 864071680 29505 4294967295 134512640 134569956 3221224368 3221214584 1131215620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29505 13086 16 0 210939 0 vsize: 843820 [startup+890.024 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 86013 70 0 0 25 0 11 0 838982956 864071680 29534 4294967295 134512640 134569956 3221224368 3221214536 1131289877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29534 13086 16 0 210939 0 vsize: 843820 [startup+900.025 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 86989 70 0 0 25 0 11 0 838982956 864071680 29600 4294967295 134512640 134569956 3221224368 3221214560 1131160106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29600 13086 16 0 210939 0 vsize: 843820 [startup+910.024 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 87971 70 0 0 25 0 11 0 838982956 864071680 29638 4294967295 134512640 134569956 3221224368 3221214272 1131492466 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29638 13086 16 0 210939 0 vsize: 843820 [startup+920.025 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 88947 71 0 0 25 0 11 0 838982956 864071680 29721 4294967295 134512640 134569956 3221224368 3221214584 1131215684 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29721 13086 16 0 210939 0 vsize: 843820 [startup+930.025 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 89929 71 0 0 25 0 11 0 838982956 864071680 29771 4294967295 134512640 134569956 3221224368 3221214408 1085679429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 29771 13086 16 0 210939 0 vsize: 843820 [startup+940.025 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 90912 72 0 0 25 0 11 0 838982956 864071680 29811 4294967295 134512640 134569956 3221224368 3221214560 1131159670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29811 13086 16 0 210939 0 vsize: 843820 [startup+950.026 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 91888 72 0 0 24 0 11 0 838982956 864071680 29882 4294967295 134512640 134569956 3221224368 3221214536 1131188431 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29882 13086 16 0 210939 0 vsize: 843820 [startup+960.027 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 92888 72 0 0 25 0 11 0 838982956 864071680 29882 4294967295 134512640 134569956 3221224368 3221214416 1131438568 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29882 13086 16 0 210939 0 vsize: 843820 [startup+970.027 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 93871 73 0 0 25 0 11 0 838982956 864071680 29960 4294967295 134512640 134569956 3221224368 3221214584 1131215627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 29960 13086 16 0 210939 0 vsize: 843820 [startup+980.027 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 94859 73 0 0 25 0 11 0 838982956 864071680 29979 4294967295 134512640 134569956 3221224368 3221214272 1085679502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 29979 13086 16 0 210939 0 vsize: 843820 [startup+990.028 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 95836 73 0 0 25 0 11 0 838982956 864071680 30064 4294967295 134512640 134569956 3221224368 3221214560 1131160064 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30064 13086 16 0 210939 0 vsize: 843820 [startup+1000.03 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 96825 74 0 0 25 0 11 0 838982956 864071680 30104 4294967295 134512640 134569956 3221224368 3221214480 1131421312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30104 13086 16 0 210939 0 vsize: 843820 [startup+1010.03 s] Raw data (loadavg): 1.00 0.98 0.99 2/64 13630 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 97803 74 0 0 25 0 11 0 838982956 864071680 30161 4294967295 134512640 134569956 3221224368 3221214492 1131289112 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30161 13086 16 0 210939 0 vsize: 843820 [startup+1020.03 s] Raw data (loadavg): 1.16 1.02 1.01 2/67 13666 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 98783 76 0 0 25 0 11 0 838982956 864071680 30240 4294967295 134512640 134569956 3221224368 3221214408 1085679492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 30240 13086 16 0 210939 0 vsize: 843820 [startup+1030.03 s] Raw data (loadavg): 1.13 1.02 1.00 2/64 13684 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 99759 76 0 0 25 0 11 0 838982956 864071680 30325 4294967295 134512640 134569956 3221224368 3221214656 1131239863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30325 13086 16 0 210939 0 vsize: 843820 [startup+1040.03 s] Raw data (loadavg): 1.11 1.02 1.00 2/64 13684 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 100736 76 0 0 25 0 11 0 838982956 864071680 30383 4294967295 134512640 134569956 3221224368 3221214480 1131421471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30383 13086 16 0 210939 0 vsize: 843820 [startup+1050.03 s] Raw data (loadavg): 1.10 1.01 1.00 2/64 13684 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 101718 77 0 0 25 0 11 0 838982956 864071680 30446 4294967295 134512640 134569956 3221224368 3221214092 1131268324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30446 13086 16 0 210939 0 vsize: 843820 [startup+1060.03 s] Raw data (loadavg): 1.08 1.01 1.00 2/64 13684 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 102694 77 0 0 25 0 11 0 838982956 864071680 30547 4294967295 134512640 134569956 3221224368 3221214480 1131421902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30547 13086 16 0 210939 0 vsize: 843820 [startup+1070.03 s] Raw data (loadavg): 1.07 1.01 1.00 2/64 13684 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 103676 77 0 0 25 0 11 0 838982956 864071680 30605 4294967295 134512640 134569956 3221224368 3221213992 1131488376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30605 13086 16 0 210939 0 vsize: 843820 [startup+1080.03 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 13684 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 104652 78 0 0 25 0 11 0 838982956 864071680 30703 4294967295 134512640 134569956 3221224368 3221214404 1131289868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30703 13086 16 0 210939 0 vsize: 843820 [startup+1090.03 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 105627 79 0 0 25 0 11 0 838982956 864071680 30765 4294967295 134512640 134569956 3221224368 3221214624 1131154539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30765 13086 16 0 210939 0 vsize: 843820 [startup+1100.03 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 106603 79 0 0 25 0 11 0 838982956 864071680 30821 4294967295 134512640 134569956 3221224368 3221214224 1131289169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30821 13086 16 0 210939 0 vsize: 843820 [startup+1110.03 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 107584 79 0 0 25 0 11 0 838982956 864071680 30856 4294967295 134512640 134569956 3221224368 3221214560 1131159467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30856 13086 16 0 210939 0 vsize: 843820 [startup+1120.03 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 108559 79 0 0 25 0 11 0 838982956 864071680 30924 4294967295 134512640 134569956 3221224368 3221214088 1131289017 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 30924 13086 16 0 210939 0 vsize: 843820 [startup+1130.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 109529 80 0 0 25 0 11 0 838982956 864071680 31003 4294967295 134512640 134569956 3221224368 3221214616 1131173849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 31003 13086 16 0 210939 0 vsize: 843820 [startup+1140.03 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 110506 80 0 0 25 0 11 0 838982956 864071680 31075 4294967295 134512640 134569956 3221224368 3221214656 1131241938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 31075 13086 16 0 210939 0 vsize: 843820 [startup+1150.03 s] Raw data (loadavg): 1.02 1.00 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 111483 80 0 0 25 0 11 0 838982956 864071680 31129 4294967295 134512640 134569956 3221224368 3221214088 1131268360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 31129 13086 16 0 210939 0 vsize: 843820 [startup+1160.03 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 112461 80 0 0 25 0 11 0 838982956 864071680 31191 4294967295 134512640 134569956 3221224368 3221214356 1131289168 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 31191 13086 16 0 210939 0 vsize: 843820 [startup+1170.03 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 113438 81 0 0 25 0 11 0 838982956 864071680 31243 4294967295 134512640 134569956 3221224368 3221214528 1131188313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 31243 13086 16 0 210939 0 vsize: 843820 [startup+1180.03 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13686 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 114408 81 0 0 25 0 11 0 838982956 864071680 31297 4294967295 134512640 134569956 3221224368 3221214132 1131288992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 31297 13086 16 0 210939 0 vsize: 843820 [startup+1190.03 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 13687 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 115385 82 0 0 25 0 11 0 838982956 864071680 31345 4294967295 134512640 134569956 3221224368 3221214552 1131192275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 31345 13086 16 0 210939 0 vsize: 843820 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13687 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 116363 82 0 0 25 0 11 0 838982956 864071680 31383 4294967295 134512640 134569956 3221224368 3221214560 1131159716 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 31383 13086 16 0 210939 0 vsize: 843820 [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13687 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 117345 82 0 0 25 0 11 0 838982956 864071680 31429 4294967295 134512640 134569956 3221224368 3221214560 1131160083 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 31429 13086 16 0 210939 0 vsize: 843820 [startup+1220.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13687 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 118322 83 0 0 25 0 11 0 838982956 864071680 31471 4294967295 134512640 134569956 3221224368 3221214184 1131289229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 31471 13086 16 0 210939 0 vsize: 843820 [startup+1230.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13687 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 119297 83 0 0 25 0 11 0 838982956 864071680 31521 4294967295 134512640 134569956 3221224368 3221213996 1131268105 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210955 31521 13086 16 0 210939 0 vsize: 843820 [startup+1240.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 13687 Raw data (stat): 13600 (java) R 13599 1586 1585 0 -1 0 18141 4 1 0 120290 83 0 0 25 0 11 0 838982956 864071680 31535 4294967295 134512640 134569956 3221224368 3221214828 1131305696 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210955 31535 13086 16 0 210939 0 vsize: 843820 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.15 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 13689 Raw data (stat): 13600 (java) Z 13599 1586 1585 0 -1 1036 18141 10886 1 0 120295 83 3223 24 25 0 1 0 838982956 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.15 CPU time (s): 1236.28 CPU user time (s): 1235.19 CPU system time (s): 1.08583 CPU usage (%): 99.6882 Max. virtual memory (Kb): 845196 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 1448 #### END VERIFIER DATA ####