Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-swath3.opb |
MD5SUM | 2570fb3c524f5be873ba701d5990d98b |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824000000 |
Number of bits of the biggest number in a constraint | 50 |
Biggest sum of numbers in a constraint | 4776342294353942 |
Number of bits of the biggest sum of numbers | 53 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.72274 |
Number of variables | 49335 |
Total number of constraints | 7608 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2915 |
Number of constraints which are nor clauses,nor cardinality constraints | 4693 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 46934 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-05-25 11:14:25 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21155 boxname=wulflinc8 idbench=1143 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 2570fb3c524f5be873ba701d5990d98b /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-swath3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-swath3.opb IDLAUNCH: 21155 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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 : 2 cpu MHz : 451.007 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: 390512 kB Buffers: 37724 kB Cached: 579240 kB SwapCached: 0 kB Active: 42072 kB Inactive: 581876 kB HighTotal: 131008 kB HighFree: 14756 kB LowTotal: 903652 kB LowFree: 375756 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 7068 kB Slab: 14548 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 11:35:27 (client local time) WITH STATUS 143 IN 1263.63 SECONDS stats: 21155 7 1263.63 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/wulflinc8/normalized-mps-v2-20-10-swath3.opb c reading problem ... done. Time 697.589 ms. c #vars 49335 c #constraints 5005 c starts : 1 c conflicts : 0 c decisions : 30 c propagations : 6759 c inspects : 10610 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 s UNKNOWN c Total CPU time (ms) : 1259.135 #### 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.93 0.99 0.99 2/54 17260 Raw data (stat): 17260 (runsolver) R 17259 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 766649050 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0005 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 862 38 0 0 25 0 10 0 766649050 854618112 19529 4294967295 134512640 134569956 3221224368 3221214444 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208647 19529 13086 16 0 208631 0 vsize: 834588 [startup+20.0023 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 1756 39 0 0 25 0 10 0 766649050 855339008 20208 4294967295 134512640 134569956 3221224368 3221214632 1131197837 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208823 20208 13086 16 0 208807 0 vsize: 835292 [startup+30.0034 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 2642 39 0 0 25 0 10 0 766649050 855457792 20905 4294967295 134512640 134569956 3221224368 3221214328 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208852 20905 13086 16 0 208836 0 vsize: 835408 [startup+40.0038 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) S 17259 3132 3131 0 -1 0 18025 0 1 0 3550 39 0 0 25 0 10 0 766649050 855457792 21215 4294967295 134512640 134569956 3221224368 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208852 21215 13086 16 0 208836 0 vsize: 835408 [startup+50.005 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 4469 39 0 0 25 0 10 0 766649050 855457792 21409 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208852 21409 13086 16 0 208836 0 vsize: 835408 [startup+60.0058 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 5383 40 0 0 25 0 10 0 766649050 855457792 21563 4294967295 134512640 134569956 3221224368 3221214752 1131319093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208852 21563 13086 16 0 208836 0 vsize: 835408 [startup+70.006 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 6309 40 0 0 25 0 10 0 766649050 855425024 21761 4294967295 134512640 134569956 3221224368 3221214216 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 21761 13086 16 0 208828 0 vsize: 835376 [startup+80.0126 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 7242 40 0 0 24 0 10 0 766649050 855425024 21878 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208844 21878 13086 16 0 208828 0 vsize: 835376 [startup+90.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 8181 40 0 0 25 0 10 0 766649050 855425024 21979 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208844 21979 13086 16 0 208828 0 vsize: 835376 [startup+100.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 9120 41 0 0 25 0 10 0 766649050 855425024 22073 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208844 22073 13086 16 0 208828 0 vsize: 835376 [startup+110.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 10058 41 0 0 24 0 10 0 766649050 855425024 22170 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208844 22170 13086 16 0 208828 0 vsize: 835376 [startup+120.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 10999 41 0 0 25 0 10 0 766649050 855425024 22252 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 22252 13086 16 0 208828 0 vsize: 835376 [startup+130.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 11941 41 0 0 25 0 10 0 766649050 855425024 22330 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 22330 13086 16 0 208828 0 vsize: 835376 [startup+140.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 12885 41 0 0 25 0 10 0 766649050 855425024 22404 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 22404 13086 16 0 208828 0 vsize: 835376 [startup+150.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 13827 41 0 0 25 0 10 0 766649050 855425024 22475 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 22475 13086 16 0 208828 0 vsize: 835376 [startup+160.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 14767 42 0 0 25 0 10 0 766649050 855425024 22548 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 22548 13086 16 0 208828 0 vsize: 835376 [startup+170.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 15710 42 0 0 25 0 10 0 766649050 855425024 22615 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 22615 13086 16 0 208828 0 vsize: 835376 [startup+180.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 16639 42 0 0 25 0 10 0 766649050 855425024 22678 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 22678 13086 16 0 208828 0 vsize: 835376 [startup+190.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 17565 43 0 0 20 0 10 0 766649050 855425024 22740 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 22740 13086 16 0 208828 0 vsize: 835376 [startup+200.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 18502 43 0 0 25 0 10 0 766649050 855425024 22959 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 22959 13086 16 0 208828 0 vsize: 835376 [startup+210.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 19443 43 0 0 25 0 10 0 766649050 855425024 23017 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23017 13086 16 0 208828 0 vsize: 835376 [startup+220.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 20383 43 0 0 25 0 10 0 766649050 855425024 23074 4294967295 134512640 134569956 3221224368 3221214740 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23074 13086 16 0 208828 0 vsize: 835376 [startup+230.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 21323 43 0 0 25 0 10 0 766649050 855425024 23130 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23130 13086 16 0 208828 0 vsize: 835376 [startup+240.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 22263 43 0 0 25 0 10 0 766649050 855425024 23184 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23184 13086 16 0 208828 0 vsize: 835376 [startup+250.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 23199 44 0 0 24 0 10 0 766649050 855425024 23239 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23239 13086 16 0 208828 0 vsize: 835376 [startup+260.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 24138 44 0 0 25 0 10 0 766649050 855425024 23291 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23291 13086 16 0 208828 0 vsize: 835376 [startup+270.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 25077 44 0 0 25 0 10 0 766649050 855425024 23341 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23341 13086 16 0 208828 0 vsize: 835376 [startup+280.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 26015 44 0 0 25 0 10 0 766649050 855425024 23390 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23390 13086 16 0 208828 0 vsize: 835376 [startup+290.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 26953 45 0 0 25 0 10 0 766649050 855425024 23438 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23438 13086 16 0 208828 0 vsize: 835376 [startup+300.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 27890 45 0 0 25 0 10 0 766649050 855425024 23486 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23486 13086 16 0 208828 0 vsize: 835376 [startup+310.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 28827 45 0 0 25 0 10 0 766649050 855425024 23532 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23532 13086 16 0 208828 0 vsize: 835376 [startup+320.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 29764 45 0 0 25 0 10 0 766649050 855425024 23578 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23578 13086 16 0 208828 0 vsize: 835376 [startup+330.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 30700 45 0 0 25 0 10 0 766649050 855425024 23623 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23623 13086 16 0 208828 0 vsize: 835376 [startup+340.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 31636 46 0 0 25 0 10 0 766649050 855425024 23668 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23668 13086 16 0 208828 0 vsize: 835376 [startup+350.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 32572 46 0 0 25 0 10 0 766649050 855425024 23717 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23717 13086 16 0 208828 0 vsize: 835376 [startup+360.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 33507 46 0 0 25 0 10 0 766649050 855425024 23760 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23760 13086 16 0 208828 0 vsize: 835376 [startup+370.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 34442 46 0 0 25 0 10 0 766649050 855425024 23802 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23802 13086 16 0 208828 0 vsize: 835376 [startup+380.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 35377 46 0 0 25 0 10 0 766649050 855425024 23844 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23844 13086 16 0 208828 0 vsize: 835376 [startup+390.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 36311 46 0 0 25 0 10 0 766649050 855425024 23885 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23885 13086 16 0 208828 0 vsize: 835376 [startup+400.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 37245 47 0 0 25 0 10 0 766649050 855425024 23926 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23926 13086 16 0 208828 0 vsize: 835376 [startup+410.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 38179 47 0 0 25 0 10 0 766649050 855425024 23965 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 23965 13086 16 0 208828 0 vsize: 835376 [startup+420.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 39112 47 0 0 25 0 10 0 766649050 855425024 24005 4294967295 134512640 134569956 3221224368 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24005 13086 16 0 208828 0 vsize: 835376 [startup+430.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 40044 47 0 0 25 0 10 0 766649050 855425024 24044 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24044 13086 16 0 208828 0 vsize: 835376 [startup+440.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 40977 47 0 0 25 0 10 0 766649050 855425024 24082 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24082 13086 16 0 208828 0 vsize: 835376 [startup+450.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 41909 47 0 0 25 0 10 0 766649050 855425024 24126 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24126 13086 16 0 208828 0 vsize: 835376 [startup+460.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 42841 48 0 0 24 0 10 0 766649050 855425024 24165 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24165 13086 16 0 208828 0 vsize: 835376 [startup+470.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 43772 48 0 0 24 0 10 0 766649050 855425024 24202 4294967295 134512640 134569956 3221224368 3221214712 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24202 13086 16 0 208828 0 vsize: 835376 [startup+480.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 44707 48 0 0 25 0 10 0 766649050 855425024 24236 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24236 13086 16 0 208828 0 vsize: 835376 [startup+490.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 45638 48 0 0 25 0 10 0 766649050 855425024 24273 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24273 13086 16 0 208828 0 vsize: 835376 [startup+500.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 46568 48 0 0 25 0 10 0 766649050 855425024 24309 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24309 13086 16 0 208828 0 vsize: 835376 [startup+510.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 47497 49 0 0 25 0 10 0 766649050 855425024 24344 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24344 13086 16 0 208828 0 vsize: 835376 [startup+520.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 48427 49 0 0 25 0 10 0 766649050 855425024 24379 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24379 13086 16 0 208828 0 vsize: 835376 [startup+530.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 49355 49 0 0 25 0 10 0 766649050 855425024 24414 4294967295 134512640 134569956 3221224368 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24414 13086 16 0 208828 0 vsize: 835376 [startup+540.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) S 17259 3132 3131 0 -1 0 18025 0 1 0 50286 49 0 0 25 0 10 0 766649050 855425024 24447 4294967295 134512640 134569956 3221224368 3221213456 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24447 13086 16 0 208828 0 vsize: 835376 [startup+550.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 51218 49 0 0 25 0 10 0 766649050 855425024 24481 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24481 13086 16 0 208828 0 vsize: 835376 [startup+560.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 52147 49 0 0 25 0 10 0 766649050 855425024 24515 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24515 13086 16 0 208828 0 vsize: 835376 [startup+570.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 53075 49 0 0 25 0 10 0 766649050 855425024 24548 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24548 13086 16 0 208828 0 vsize: 835376 [startup+580.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 54005 50 0 0 25 0 10 0 766649050 855425024 24573 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24573 13086 16 0 208828 0 vsize: 835376 [startup+590.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18025 0 1 0 54936 50 0 0 24 0 10 0 766649050 855425024 24597 4294967295 134512640 134569956 3221224368 3221214200 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24597 13086 16 0 208828 0 vsize: 835376 [startup+600.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 55870 50 0 0 25 0 10 0 766649050 855425024 24621 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24621 13086 16 0 208828 0 vsize: 835376 [startup+610.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 56798 50 0 0 25 0 10 0 766649050 855425024 24645 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24645 13086 16 0 208828 0 vsize: 835376 [startup+620.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 57727 50 0 0 25 0 10 0 766649050 855425024 24668 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 24668 13086 16 0 208828 0 vsize: 835376 [startup+630.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 58605 52 0 0 24 0 10 0 766649050 855425024 29825 4294967295 134512640 134569956 3221224368 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 29825 13086 16 0 208828 0 vsize: 835376 [startup+640.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 59537 52 0 0 24 0 10 0 766649050 855425024 29825 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 29825 13086 16 0 208828 0 vsize: 835376 [startup+650.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 60465 52 0 0 23 0 10 0 766649050 855425024 29834 4294967295 134512640 134569956 3221224368 3221214644 1079677981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 29834 13086 16 0 208828 0 vsize: 835376 [startup+660.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 61386 52 0 0 25 0 10 0 766649050 855425024 29878 4294967295 134512640 134569956 3221224368 3221214748 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 29878 13086 16 0 208828 0 vsize: 835376 [startup+670.085 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 62306 52 0 0 25 0 10 0 766649050 855425024 29922 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 29922 13086 16 0 208828 0 vsize: 835376 [startup+680.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 63229 52 0 0 25 0 10 0 766649050 855425024 29964 4294967295 134512640 134569956 3221224368 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 29964 13086 16 0 208828 0 vsize: 835376 [startup+690.087 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 17269 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18026 0 1 0 64144 53 0 0 25 0 10 0 766649050 855425024 30403 4294967295 134512640 134569956 3221224368 3221214644 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208844 30403 13086 16 0 208828 0 vsize: 835376 [startup+700.09 s] Raw data (loadavg): 1.32 1.07 1.02 2/64 17270 Raw data (stat): 17260 (java) S 17259 3132 3131 0 -1 0 18052 0 1 0 65014 56 0 0 25 0 11 0 766649050 855953408 32891 4294967295 134512640 134569956 3221224368 3221213264 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 32896 13086 16 0 208957 0 vsize: 835892 [startup+710.091 s] Raw data (loadavg): 1.27 1.06 1.02 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 65958 56 0 0 25 0 11 0 766649050 855953408 36583 4294967295 134512640 134569956 3221224368 3221214472 1131188961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36583 13086 16 0 208957 0 vsize: 835892 [startup+720.091 s] Raw data (loadavg): 1.23 1.06 1.02 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 66955 56 0 0 25 0 11 0 766649050 855953408 36583 4294967295 134512640 134569956 3221224368 3221214664 1131402681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36583 13086 16 0 208957 0 vsize: 835892 [startup+730.092 s] Raw data (loadavg): 1.19 1.06 1.02 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 67953 56 0 0 25 0 11 0 766649050 855953408 36583 4294967295 134512640 134569956 3221224368 3221214560 1131329814 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36583 13086 16 0 208957 0 vsize: 835892 [startup+740.093 s] Raw data (loadavg): 1.16 1.06 1.02 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 68949 56 0 0 25 0 11 0 766649050 855953408 36583 4294967295 134512640 134569956 3221224368 3221214560 1131329587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36583 13086 16 0 208957 0 vsize: 835892 [startup+750.094 s] Raw data (loadavg): 1.14 1.05 1.02 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 69946 56 0 0 25 0 11 0 766649050 855953408 36583 4294967295 134512640 134569956 3221224368 3221214664 1131402655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36583 13086 16 0 208957 0 vsize: 835892 [startup+760.094 s] Raw data (loadavg): 1.12 1.05 1.02 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 70942 56 0 0 25 0 11 0 766649050 855953408 36583 4294967295 134512640 134569956 3221224368 3221214664 1131400666 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36583 13086 16 0 208957 0 vsize: 835892 [startup+770.095 s] Raw data (loadavg): 1.10 1.05 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 71937 57 0 0 25 0 11 0 766649050 855953408 36583 4294967295 134512640 134569956 3221224368 3221214560 1131329810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36583 13086 16 0 208957 0 vsize: 835892 [startup+780.095 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 72933 57 0 0 25 0 11 0 766649050 855953408 36584 4294967295 134512640 134569956 3221224368 3221214664 1131400712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36584 13086 16 0 208957 0 vsize: 835892 [startup+790.096 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 73928 57 0 0 25 0 11 0 766649050 855953408 36584 4294967295 134512640 134569956 3221224368 3221214560 1131329197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36584 13086 16 0 208957 0 vsize: 835892 [startup+800.096 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 74924 57 0 0 25 0 11 0 766649050 855953408 36585 4294967295 134512640 134569956 3221224368 3221214560 1131330018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36585 13086 16 0 208957 0 vsize: 835892 [startup+810.097 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 75919 57 0 0 25 0 11 0 766649050 855953408 36585 4294967295 134512640 134569956 3221224368 3221214560 1131329655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36585 13086 16 0 208957 0 vsize: 835892 [startup+820.097 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 76914 57 0 0 25 0 11 0 766649050 855953408 36586 4294967295 134512640 134569956 3221224368 3221214560 1131329695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36586 13086 16 0 208957 0 vsize: 835892 [startup+830.097 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 77909 57 0 0 25 0 11 0 766649050 855953408 36586 4294967295 134512640 134569956 3221224368 3221214560 1131329197 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36586 13086 16 0 208957 0 vsize: 835892 [startup+840.098 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 78904 57 0 0 25 0 11 0 766649050 855953408 36587 4294967295 134512640 134569956 3221224368 3221214660 1131172979 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36587 13086 16 0 208957 0 vsize: 835892 [startup+850.097 s] Raw data (loadavg): 1.02 1.03 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 79898 57 0 0 25 0 11 0 766649050 855953408 36587 4294967295 134512640 134569956 3221224368 3221214560 1131329780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36587 13086 16 0 208957 0 vsize: 835892 [startup+860.099 s] Raw data (loadavg): 1.02 1.03 1.01 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 80894 57 0 0 25 0 11 0 766649050 855953408 36588 4294967295 134512640 134569956 3221224368 3221214664 1131402681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36588 13086 16 0 208957 0 vsize: 835892 [startup+870.099 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 81889 57 0 0 25 0 11 0 766649050 855953408 36589 4294967295 134512640 134569956 3221224368 3221214660 1131329100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36589 13086 16 0 208957 0 vsize: 835892 [startup+880.098 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 82884 57 0 0 25 0 11 0 766649050 855953408 36589 4294967295 134512640 134569956 3221224368 3221214664 1131401845 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36589 13086 16 0 208957 0 vsize: 835892 [startup+890.1 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 83878 57 0 0 25 0 11 0 766649050 855953408 36590 4294967295 134512640 134569956 3221224368 3221214560 1131329587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36590 13086 16 0 208957 0 vsize: 835892 [startup+900.1 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 84873 57 0 0 25 0 11 0 766649050 855953408 36591 4294967295 134512640 134569956 3221224368 3221214560 1131329147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36591 13086 16 0 208957 0 vsize: 835892 [startup+910.1 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 85867 58 0 0 25 0 11 0 766649050 855953408 36592 4294967295 134512640 134569956 3221224368 3221214664 1131400666 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36592 13086 16 0 208957 0 vsize: 835892 [startup+920.101 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 86862 58 0 0 25 0 11 0 766649050 855953408 36593 4294967295 134512640 134569956 3221224368 3221214664 1131402681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36593 13086 16 0 208957 0 vsize: 835892 [startup+930.101 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 87856 58 0 0 25 0 11 0 766649050 855953408 36594 4294967295 134512640 134569956 3221224368 3221214560 1131329784 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36594 13086 16 0 208957 0 vsize: 835892 [startup+940.101 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 88850 58 0 0 25 0 11 0 766649050 855953408 36595 4294967295 134512640 134569956 3221224368 3221214560 1131330069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36595 13086 16 0 208957 0 vsize: 835892 [startup+950.101 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 89844 58 0 0 25 0 11 0 766649050 855953408 36596 4294967295 134512640 134569956 3221224368 3221214664 1131401845 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36596 13086 16 0 208957 0 vsize: 835892 [startup+960.102 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 90838 58 0 0 25 0 11 0 766649050 855953408 36597 4294967295 134512640 134569956 3221224368 3221214560 1131329572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36597 13086 16 0 208957 0 vsize: 835892 [startup+970.102 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 91832 58 0 0 25 0 11 0 766649050 855953408 36598 4294967295 134512640 134569956 3221224368 3221214560 1131329451 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36598 13086 16 0 208957 0 vsize: 835892 [startup+980.103 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 92826 58 0 0 25 0 11 0 766649050 855953408 36599 4294967295 134512640 134569956 3221224368 3221214660 1131329100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36599 13086 16 0 208957 0 vsize: 835892 [startup+990.104 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 93820 58 0 0 25 0 11 0 766649050 855953408 36600 4294967295 134512640 134569956 3221224368 3221214560 1131329265 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36600 13086 16 0 208957 0 vsize: 835892 [startup+1000.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 94813 58 0 0 25 0 11 0 766649050 855953408 36601 4294967295 134512640 134569956 3221224368 3221214560 1131329772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36601 13086 16 0 208957 0 vsize: 835892 [startup+1010.1 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 95806 59 0 0 25 0 11 0 766649050 855953408 36602 4294967295 134512640 134569956 3221224368 3221214560 1131329606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36602 13086 16 0 208957 0 vsize: 835892 [startup+1020.11 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 96800 59 0 0 25 0 11 0 766649050 855953408 36603 4294967295 134512640 134569956 3221224368 3221214560 1131330214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36603 13086 16 0 208957 0 vsize: 835892 [startup+1030.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 97793 59 0 0 25 0 11 0 766649050 855953408 36605 4294967295 134512640 134569956 3221224368 3221214560 1131329851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36605 13086 16 0 208957 0 vsize: 835892 [startup+1040.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 98786 59 0 0 25 0 11 0 766649050 855953408 36606 4294967295 134512640 134569956 3221224368 3221214560 1131329205 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36606 13086 16 0 208957 0 vsize: 835892 [startup+1050.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 99779 59 0 0 25 0 11 0 766649050 855953408 36607 4294967295 134512640 134569956 3221224368 3221214664 1131401871 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36607 13086 16 0 208957 0 vsize: 835892 [startup+1060.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 100770 59 0 0 25 0 11 0 766649050 855953408 36609 4294967295 134512640 134569956 3221224368 3221214560 1131330096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36609 13086 16 0 208957 0 vsize: 835892 [startup+1070.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 101762 59 0 0 25 0 11 0 766649050 855953408 36610 4294967295 134512640 134569956 3221224368 3221214560 1131329117 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36610 13086 16 0 208957 0 vsize: 835892 [startup+1080.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 102755 59 0 0 25 0 11 0 766649050 855953408 36612 4294967295 134512640 134569956 3221224368 3221214560 1131329233 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36612 13086 16 0 208957 0 vsize: 835892 [startup+1090.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 103747 59 0 0 25 0 11 0 766649050 855953408 36613 4294967295 134512640 134569956 3221224368 3221214560 1131329281 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36613 13086 16 0 208957 0 vsize: 835892 [startup+1100.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 104739 59 0 0 25 0 11 0 766649050 855953408 36615 4294967295 134512640 134569956 3221224368 3221214664 1131402681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36615 13086 16 0 208957 0 vsize: 835892 [startup+1110.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 105730 59 0 0 25 0 11 0 766649050 855953408 36616 4294967295 134512640 134569956 3221224368 3221214560 1131329680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36616 13086 16 0 208957 0 vsize: 835892 [startup+1120.11 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 106721 59 0 0 25 0 11 0 766649050 855953408 36618 4294967295 134512640 134569956 3221224368 3221214560 1131329772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36618 13086 16 0 208957 0 vsize: 835892 [startup+1130.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 107713 59 0 0 25 0 11 0 766649050 855953408 36620 4294967295 134512640 134569956 3221224368 3221214664 1131401801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36620 13086 16 0 208957 0 vsize: 835892 [startup+1140.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 108704 59 0 0 25 0 11 0 766649050 855953408 36621 4294967295 134512640 134569956 3221224368 3221214528 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36621 13086 16 0 208957 0 vsize: 835892 [startup+1150.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 109695 59 0 0 25 0 11 0 766649050 855953408 36623 4294967295 134512640 134569956 3221224368 3221214560 1131329128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36623 13086 16 0 208957 0 vsize: 835892 [startup+1160.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 110686 59 0 0 25 0 11 0 766649050 855953408 36625 4294967295 134512640 134569956 3221224368 3221214560 1131329649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36625 13086 16 0 208957 0 vsize: 835892 [startup+1170.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 111676 60 0 0 25 0 11 0 766649050 855953408 36627 4294967295 134512640 134569956 3221224368 3221214560 1131329587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36627 13086 16 0 208957 0 vsize: 835892 [startup+1180.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 112668 60 0 0 25 0 11 0 766649050 855953408 36629 4294967295 134512640 134569956 3221224368 3221214560 1131329804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36629 13086 16 0 208957 0 vsize: 835892 [startup+1190.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 113660 60 0 0 25 0 11 0 766649050 855953408 36631 4294967295 134512640 134569956 3221224368 3221214664 1131402681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36631 13086 16 0 208957 0 vsize: 835892 [startup+1200.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 114653 60 0 0 25 0 11 0 766649050 855953408 36632 4294967295 134512640 134569956 3221224368 3221214664 1131400712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36632 13086 16 0 208957 0 vsize: 835892 [startup+1210.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 115644 60 0 0 25 0 11 0 766649050 855953408 36634 4294967295 134512640 134569956 3221224368 3221214560 1131330148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36634 13086 16 0 208957 0 vsize: 835892 [startup+1220.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 116636 60 0 0 25 0 11 0 766649050 855953408 36635 4294967295 134512640 134569956 3221224368 3221214664 1131402681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208973 36635 13086 16 0 208957 0 vsize: 835892 [startup+1230.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 117629 60 0 0 25 0 11 0 766649050 855953408 36637 4294967295 134512640 134569956 3221224368 3221214560 1131330154 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36637 13086 16 0 208957 0 vsize: 835892 [startup+1240.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 118622 60 0 0 25 0 11 0 766649050 855953408 36638 4294967295 134512640 134569956 3221224368 3221214560 1131329155 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36638 13086 16 0 208957 0 vsize: 835892 [startup+1250.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 119615 61 0 0 25 0 11 0 766649050 855953408 36640 4294967295 134512640 134569956 3221224368 3221214560 1131330110 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208973 36640 13086 16 0 208957 0 vsize: 835892 [startup+1260.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 17270 Raw data (stat): 17260 (java) R 17259 3132 3131 0 -1 0 18052 0 1 0 120609 61 0 0 25 0 11 0 766649050 855953408 36641 4294967295 134512640 134569956 3221224368 3221214560 1131329587 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208973 36641 13086 16 0 208957 0 vsize: 835892 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.24 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 17272 Raw data (stat): 17260 (java) Z 17259 3132 3131 0 -1 1036 18052 19981 1 0 120614 61 5623 63 25 0 1 0 766649050 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): 1260.24 CPU time (s): 1263.63 CPU user time (s): 1262.38 CPU system time (s): 1.25281 CPU usage (%): 100.269 Max. virtual memory (Kb): 835892 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####