Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb |
MD5SUM | 43b060c182b659f22c02b8a980d1ee8f |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1221280 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 33812000 |
Number of bits of the biggest number in a constraint | 26 |
Biggest sum of numbers in a constraint | 166074535 |
Number of bits of the biggest sum of numbers | 28 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1569.48 |
Number of variables | 5151 |
Total number of constraints | 606 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 314 |
Number of constraints which are nor clauses,nor cardinality constraints | 292 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 617 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-05-25 14:22:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21463 boxname=wulflinc6 idbench=1451 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 43b060c182b659f22c02b8a980d1ee8f /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-rout.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-rout.opb IDLAUNCH: 21463 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 697652 kB Buffers: 33044 kB Cached: 279208 kB SwapCached: 412 kB Active: 87388 kB Inactive: 227128 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 697400 kB SwapTotal: 2097136 kB SwapFree: 2096036 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5692 kB Slab: 16824 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 14:43:23 (client local time) WITH STATUS 143 IN 1248.49 SECONDS stats: 21463 7 1248.49 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/wulflinc6/normalized-mps-v2-13-7-rout.opb c reading problem ... done. Time 10.922 ms. c #vars 5151 c #constraints 337 c starts : 6 c conflicts : 1338 c decisions : 6607 c propagations : 101587 c inspects : 1279685 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1338 c root simplifications : 24 s UNKNOWN c Total CPU time (ms) : 1249.193 #### 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.98 0.99 2/54 8033 Raw data (stat): 8033 (runsolver) R 8032 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 781342896 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.0006 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 8042 Raw data (stat): 8033 (java) S 8032 25568 25567 0 -1 0 18051 0 1 0 800 41 0 0 21 0 10 0 781342896 856379392 20288 4294967295 134512640 134569956 3221224384 3221213584 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209077 20289 13086 16 0 209061 0 vsize: 836308 [startup+20.0017 s] Raw data (loadavg): 1.16 1.03 1.01 4/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18161 0 1 0 1696 42 0 0 25 0 11 0 781342896 867778560 23359 4294967295 134512640 134569956 3221224384 3221214840 1130883229 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211860 23359 13086 16 0 211844 0 vsize: 847440 [startup+30.0018 s] Raw data (loadavg): 1.13 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18162 0 1 0 2607 42 0 0 25 0 11 0 781342896 866324480 23180 4294967295 134512640 134569956 3221224384 3221214576 1131334841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211505 23180 13086 16 0 211489 0 vsize: 846020 [startup+40.002 s] Raw data (loadavg): 1.11 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18162 0 1 0 3507 42 0 0 24 0 11 0 781342896 864976896 23187 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 23187 13086 16 0 211160 0 vsize: 844704 [startup+50.003 s] Raw data (loadavg): 1.10 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 4456 43 0 0 25 0 11 0 781342896 864976896 23743 4294967295 134512640 134569956 3221224384 3221214672 1131507239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 23743 13086 16 0 211160 0 vsize: 844704 [startup+60.0037 s] Raw data (loadavg): 1.08 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 5437 43 0 0 25 0 11 0 781342896 864976896 23795 4294967295 134512640 134569956 3221224384 3221214672 1131502134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 23795 13086 16 0 211160 0 vsize: 844704 [startup+70.0044 s] Raw data (loadavg): 1.07 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 6407 43 0 0 25 0 11 0 781342896 864976896 23811 4294967295 134512640 134569956 3221224384 3221214672 1131497579 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 23811 13086 16 0 211160 0 vsize: 844704 [startup+80.0055 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 7387 43 0 0 25 0 11 0 781342896 864976896 23852 4294967295 134512640 134569956 3221224384 3221214584 1131192076 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 23852 13086 16 0 211160 0 vsize: 844704 [startup+90.0057 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18163 0 1 0 8368 44 0 0 25 0 11 0 781342896 864976896 23926 4294967295 134512640 134569956 3221224384 3221214672 1131501183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 23926 13086 16 0 211160 0 vsize: 844704 [startup+100.006 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 9350 44 0 0 25 0 11 0 781342896 864976896 23975 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 23975 13086 16 0 211160 0 vsize: 844704 [startup+110.007 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 10331 44 0 0 25 0 11 0 781342896 864976896 24006 4294967295 134512640 134569956 3221224384 3221214576 1131335057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24006 13086 16 0 211160 0 vsize: 844704 [startup+120.008 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 11310 44 0 0 24 0 11 0 781342896 864976896 24068 4294967295 134512640 134569956 3221224384 3221214576 1131334841 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24068 13086 16 0 211160 0 vsize: 844704 [startup+130.008 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 12293 44 0 0 25 0 11 0 781342896 864976896 24125 4294967295 134512640 134569956 3221224384 3221214760 1131190957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24125 13086 16 0 211160 0 vsize: 844704 [startup+140.008 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18164 0 1 0 13274 45 0 0 25 0 11 0 781342896 864976896 24149 4294967295 134512640 134569956 3221224384 3221214672 1131497519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24149 13086 16 0 211160 0 vsize: 844704 [startup+150.009 s] Raw data (loadavg): 1.02 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18166 0 1 0 14227 45 0 0 25 0 11 0 781342896 864976896 24212 4294967295 134512640 134569956 3221224384 3221214576 1131335093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24212 13086 16 0 211160 0 vsize: 844704 [startup+160.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18166 0 1 0 15200 45 0 0 25 0 11 0 781342896 864976896 24242 4294967295 134512640 134569956 3221224384 3221214672 1131507272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24242 13086 16 0 211160 0 vsize: 844704 [startup+170.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 16176 45 0 0 25 0 11 0 781342896 864976896 24294 4294967295 134512640 134569956 3221224384 3221214536 1131331059 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24294 13086 16 0 211160 0 vsize: 844704 [startup+180.009 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 17147 46 0 0 25 0 11 0 781342896 864976896 24422 4294967295 134512640 134569956 3221224384 3221214672 1131497512 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24422 13086 16 0 211160 0 vsize: 844704 [startup+190.013 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) S 8032 25568 25567 0 -1 0 18167 0 1 0 18108 46 0 0 25 0 11 0 781342896 864976896 24427 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24427 13086 16 0 211160 0 vsize: 844704 [startup+200.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 19049 46 0 0 25 0 11 0 781342896 864976896 24471 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 24471 13086 16 0 211160 0 vsize: 844704 [startup+210.013 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) S 8032 25568 25567 0 -1 0 18167 0 1 0 19959 46 0 0 25 0 11 0 781342896 864976896 24630 4294967295 134512640 134569956 3221224384 3221213312 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24630 13086 16 0 211160 0 vsize: 844704 [startup+220.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 20883 46 0 0 25 0 11 0 781342896 864976896 24932 4294967295 134512640 134569956 3221224384 3221214672 1131502112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 24932 13086 16 0 211160 0 vsize: 844704 [startup+230.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 21840 46 0 0 25 0 11 0 781342896 864976896 25351 4294967295 134512640 134569956 3221224384 3221214672 1131499520 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 25351 13086 16 0 211160 0 vsize: 844704 [startup+240.015 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 22825 47 0 0 25 0 11 0 781342896 864976896 25506 4294967295 134512640 134569956 3221224384 3221214576 1131334799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 25506 13086 16 0 211160 0 vsize: 844704 [startup+250.016 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 23796 47 0 0 25 0 11 0 781342896 864976896 25511 4294967295 134512640 134569956 3221224384 3221214672 1131500018 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 25511 13086 16 0 211160 0 vsize: 844704 [startup+260.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 24756 47 0 0 24 0 11 0 781342896 864976896 25525 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 25525 13086 16 0 211160 0 vsize: 844704 [startup+270.017 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 25722 47 0 0 25 0 11 0 781342896 864976896 25555 4294967295 134512640 134569956 3221224384 3221214576 1131335135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 25555 13086 16 0 211160 0 vsize: 844704 [startup+280.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 26692 47 0 0 25 0 11 0 781342896 864976896 25782 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 25782 13086 16 0 211160 0 vsize: 844704 [startup+290.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 27674 48 0 0 25 0 11 0 781342896 864976896 25867 4294967295 134512640 134569956 3221224384 3221214672 1131507206 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 25867 13086 16 0 211160 0 vsize: 844704 [startup+300.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 28652 48 0 0 24 0 11 0 781342896 864976896 25905 4294967295 134512640 134569956 3221224384 3221214672 1131501140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 25905 13086 16 0 211160 0 vsize: 844704 [startup+310.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 29637 48 0 0 25 0 11 0 781342896 864976896 25951 4294967295 134512640 134569956 3221224384 3221214576 1131334733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 25951 13086 16 0 211160 0 vsize: 844704 [startup+320.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 30625 48 0 0 25 0 11 0 781342896 864976896 26006 4294967295 134512640 134569956 3221224384 3221214544 1131278062 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26006 13086 16 0 211160 0 vsize: 844704 [startup+330.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 31618 49 0 0 25 0 11 0 781342896 864976896 26009 4294967295 134512640 134569956 3221224384 3221214604 1130885147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26009 13086 16 0 211160 0 vsize: 844704 [startup+340.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 32608 49 0 0 25 0 11 0 781342896 864976896 26013 4294967295 134512640 134569956 3221224384 3221214672 1131500724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26013 13086 16 0 211160 0 vsize: 844704 [startup+350.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 33590 49 0 0 25 0 11 0 781342896 864976896 26020 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26020 13086 16 0 211160 0 vsize: 844704 [startup+360.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 34567 49 0 0 25 0 11 0 781342896 864976896 26044 4294967295 134512640 134569956 3221224384 3221214640 1131183342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26044 13086 16 0 211160 0 vsize: 844704 [startup+370.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 35536 49 0 0 25 0 11 0 781342896 864976896 26061 4294967295 134512640 134569956 3221224384 3221214648 1131479264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26061 13086 16 0 211160 0 vsize: 844704 [startup+380.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 36495 50 0 0 25 0 11 0 781342896 864976896 26123 4294967295 134512640 134569956 3221224384 3221214672 1131501140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26123 13086 16 0 211160 0 vsize: 844704 [startup+390.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 37450 50 0 0 25 0 11 0 781342896 864976896 26220 4294967295 134512640 134569956 3221224384 3221214672 1131497331 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26220 13086 16 0 211160 0 vsize: 844704 [startup+400.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 38402 50 0 0 25 0 11 0 781342896 864976896 26324 4294967295 134512640 134569956 3221224384 3221214648 1131479271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26324 13086 16 0 211160 0 vsize: 844704 [startup+410.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 39355 50 0 0 25 0 11 0 781342896 864976896 26485 4294967295 134512640 134569956 3221224384 3221214576 1131334939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26485 13086 16 0 211160 0 vsize: 844704 [startup+420.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 40307 50 0 0 25 0 11 0 781342896 864976896 26669 4294967295 134512640 134569956 3221224384 3221214576 1131335742 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26669 13086 16 0 211160 0 vsize: 844704 [startup+430.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 41272 50 0 0 25 0 11 0 781342896 864976896 26857 4294967295 134512640 134569956 3221224384 3221214604 1130885175 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26857 13086 16 0 211160 0 vsize: 844704 [startup+440.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 42254 50 0 0 25 0 11 0 781342896 864976896 26987 4294967295 134512640 134569956 3221224384 3221214584 1131192058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 26987 13086 16 0 211160 0 vsize: 844704 [startup+450.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 43234 51 0 0 24 0 11 0 781342896 864976896 27011 4294967295 134512640 134569956 3221224384 3221214672 1131498709 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27011 13086 16 0 211160 0 vsize: 844704 [startup+460.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 44214 51 0 0 25 0 11 0 781342896 864976896 27023 4294967295 134512640 134569956 3221224384 3221214576 1131335615 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27023 13086 16 0 211160 0 vsize: 844704 [startup+470.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 45195 51 0 0 25 0 11 0 781342896 864976896 27082 4294967295 134512640 134569956 3221224384 3221214648 1131551569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27082 13086 16 0 211160 0 vsize: 844704 [startup+480.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 46181 51 0 0 25 0 11 0 781342896 864976896 27132 4294967295 134512640 134569956 3221224384 3221214648 1131551472 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27132 13086 16 0 211160 0 vsize: 844704 [startup+490.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 47159 51 0 0 25 0 11 0 781342896 864976896 27140 4294967295 134512640 134569956 3221224384 3221214376 1076461257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27140 13086 16 0 211160 0 vsize: 844704 [startup+500.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 48135 51 0 0 25 0 11 0 781342896 864976896 27149 4294967295 134512640 134569956 3221224384 3221214672 1131499645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27149 13086 16 0 211160 0 vsize: 844704 [startup+510.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 49099 51 0 0 24 0 11 0 781342896 864976896 27196 4294967295 134512640 134569956 3221224384 3221214672 1131501140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27196 13086 16 0 211160 0 vsize: 844704 [startup+520.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 50068 51 0 0 25 0 11 0 781342896 864976896 27299 4294967295 134512640 134569956 3221224384 3221214648 1131479271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27299 13086 16 0 211160 0 vsize: 844704 [startup+530.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 51033 51 0 0 24 0 11 0 781342896 864976896 27414 4294967295 134512640 134569956 3221224384 3221214576 1131335726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27414 13086 16 0 211160 0 vsize: 844704 [startup+540.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 52003 51 0 0 25 0 11 0 781342896 864976896 27505 4294967295 134512640 134569956 3221224384 3221214560 1131580936 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27505 13086 16 0 211160 0 vsize: 844704 [startup+550.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 52968 52 0 0 24 0 11 0 781342896 864976896 27617 4294967295 134512640 134569956 3221224384 3221214576 1131335554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27617 13086 16 0 211160 0 vsize: 844704 [startup+560.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 53938 52 0 0 25 0 11 0 781342896 864976896 27702 4294967295 134512640 134569956 3221224384 3221214648 1131551305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27702 13086 16 0 211160 0 vsize: 844704 [startup+570.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 54903 52 0 0 25 0 11 0 781342896 864976896 27814 4294967295 134512640 134569956 3221224384 3221214544 1131278102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27814 13086 16 0 211160 0 vsize: 844704 [startup+580.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) S 8032 25568 25567 0 -1 0 18167 0 1 0 55869 52 0 0 25 0 11 0 781342896 864976896 27899 4294967295 134512640 134569956 3221224384 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 27899 13086 16 0 211160 0 vsize: 844704 [startup+590.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 56838 52 0 0 25 0 11 0 781342896 864976896 28004 4294967295 134512640 134569956 3221224384 3221214560 1131579291 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 28004 13086 16 0 211160 0 vsize: 844704 [startup+600.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 57804 52 0 0 25 0 11 0 781342896 864976896 28100 4294967295 134512640 134569956 3221224384 3221214672 1131505220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 28100 13086 16 0 211160 0 vsize: 844704 [startup+610.049 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 58770 52 0 0 24 0 11 0 781342896 864976896 28219 4294967295 134512640 134569956 3221224384 3221214396 1078128056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 28219 13086 16 0 211160 0 vsize: 844704 [startup+620.05 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 59741 52 0 0 25 0 11 0 781342896 864976896 28295 4294967295 134512640 134569956 3221224384 3221214672 1131499983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 28295 13086 16 0 211160 0 vsize: 844704 [startup+630.051 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 60706 53 0 0 24 0 11 0 781342896 864976896 28411 4294967295 134512640 134569956 3221224384 3221214672 1131500763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 28411 13086 16 0 211160 0 vsize: 844704 [startup+640.052 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 61673 53 0 0 21 0 11 0 781342896 864976896 28501 4294967295 134512640 134569956 3221224384 3221214672 1131501129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 28501 13086 16 0 211160 0 vsize: 844704 [startup+650.052 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 62640 54 0 0 21 0 11 0 781342896 864976896 28592 4294967295 134512640 134569956 3221224384 3221214544 1131278293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 28592 13086 16 0 211160 0 vsize: 844704 [startup+660.054 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 63607 54 0 0 20 0 11 0 781342896 864976896 28698 4294967295 134512640 134569956 3221224384 3221214520 1131623962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 28698 13086 16 0 211160 0 vsize: 844704 [startup+670.054 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 64574 54 0 0 19 0 11 0 781342896 864976896 28796 4294967295 134512640 134569956 3221224384 3221214604 1130885120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 28796 13086 16 0 211160 0 vsize: 844704 [startup+680.055 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 65542 54 0 0 18 0 11 0 781342896 864976896 28892 4294967295 134512640 134569956 3221224384 3221214544 1131278100 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 28892 13086 16 0 211160 0 vsize: 844704 [startup+690.056 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 66508 54 0 0 20 0 11 0 781342896 864976896 28980 4294967295 134512640 134569956 3221224384 3221214560 1131578555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 28980 13086 16 0 211160 0 vsize: 844704 [startup+700.057 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 67474 55 0 0 22 0 11 0 781342896 864976896 29073 4294967295 134512640 134569956 3221224384 3221214672 1131507206 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 29073 13086 16 0 211160 0 vsize: 844704 [startup+710.058 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 68437 55 0 0 20 0 11 0 781342896 864976896 29208 4294967295 134512640 134569956 3221224384 3221214584 1131193116 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29208 13086 16 0 211160 0 vsize: 844704 [startup+720.059 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 69406 55 0 0 22 0 11 0 781342896 864976896 29326 4294967295 134512640 134569956 3221224384 3221214672 1131499638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29326 13086 16 0 211160 0 vsize: 844704 [startup+730.059 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 70384 56 0 0 17 0 11 0 781342896 864976896 29410 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29410 13086 16 0 211160 0 vsize: 844704 [startup+740.059 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 71368 57 0 0 21 0 11 0 781342896 864976896 29442 4294967295 134512640 134569956 3221224384 3221214576 1131334790 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29442 13086 16 0 211160 0 vsize: 844704 [startup+750.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 72351 57 0 0 22 0 11 0 781342896 864976896 29464 4294967295 134512640 134569956 3221224384 3221214672 1131501140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29464 13086 16 0 211160 0 vsize: 844704 [startup+760.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 73336 58 0 0 23 0 11 0 781342896 864976896 29503 4294967295 134512640 134569956 3221224384 3221214416 1131661169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29503 13086 16 0 211160 0 vsize: 844704 [startup+770.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 74318 58 0 0 25 0 11 0 781342896 864976896 29512 4294967295 134512640 134569956 3221224384 3221214576 1131335018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29512 13086 16 0 211160 0 vsize: 844704 [startup+780.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 75289 58 0 0 19 0 11 0 781342896 864976896 29529 4294967295 134512640 134569956 3221224384 3221214648 1131236769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29529 13086 16 0 211160 0 vsize: 844704 [startup+790.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 76253 59 0 0 22 0 11 0 781342896 864976896 29553 4294967295 134512640 134569956 3221224384 3221214544 1131278102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29553 13086 16 0 211160 0 vsize: 844704 [startup+800.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 77214 59 0 0 18 0 11 0 781342896 864976896 29655 4294967295 134512640 134569956 3221224384 3221214560 1131578606 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29655 13086 16 0 211160 0 vsize: 844704 [startup+810.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 78180 59 0 0 25 0 11 0 781342896 864976896 29733 4294967295 134512640 134569956 3221224384 3221214576 1131335049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29733 13086 16 0 211160 0 vsize: 844704 [startup+820.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 79143 60 0 0 21 0 11 0 781342896 864976896 29843 4294967295 134512640 134569956 3221224384 3221214576 1131335006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29843 13086 16 0 211160 0 vsize: 844704 [startup+830.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 80109 60 0 0 18 0 11 0 781342896 864976896 29950 4294967295 134512640 134569956 3221224384 3221214544 1131278821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 29950 13086 16 0 211160 0 vsize: 844704 [startup+840.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 81079 60 0 0 25 0 11 0 781342896 864976896 30033 4294967295 134512640 134569956 3221224384 3221214672 1131498541 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30033 13086 16 0 211160 0 vsize: 844704 [startup+850.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 82046 61 0 0 20 0 11 0 781342896 864976896 30116 4294967295 134512640 134569956 3221224384 3221214604 1130885169 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30116 13086 16 0 211160 0 vsize: 844704 [startup+860.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 83013 61 0 0 16 0 11 0 781342896 864976896 30214 4294967295 134512640 134569956 3221224384 3221214560 1131578897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30214 13086 16 0 211160 0 vsize: 844704 [startup+870.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 83984 62 0 0 24 0 11 0 781342896 864976896 30290 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30290 13086 16 0 211160 0 vsize: 844704 [startup+880.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 84951 63 0 0 21 0 11 0 781342896 864976896 30394 4294967295 134512640 134569956 3221224384 3221214576 1131335469 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30394 13086 16 0 211160 0 vsize: 844704 [startup+890.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 85919 63 0 0 19 0 11 0 781342896 864976896 30477 4294967295 134512640 134569956 3221224384 3221214668 1131335767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30477 13086 16 0 211160 0 vsize: 844704 [startup+900.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 86890 63 0 0 25 0 11 0 781342896 864976896 30559 4294967295 134512640 134569956 3221224384 3221214576 1131335449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30559 13086 16 0 211160 0 vsize: 844704 [startup+910.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 87857 63 0 0 23 0 11 0 781342896 864976896 30642 4294967295 134512640 134569956 3221224384 3221214672 1131501179 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30642 13086 16 0 211160 0 vsize: 844704 [startup+920.079 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 88823 64 0 0 19 0 11 0 781342896 864976896 30731 4294967295 134512640 134569956 3221224384 3221214576 1131335710 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30731 13086 16 0 211160 0 vsize: 844704 [startup+930.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 89790 64 0 0 16 0 11 0 781342896 864976896 30818 4294967295 134512640 134569956 3221224384 3221214576 1131334841 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30818 13086 16 0 211160 0 vsize: 844704 [startup+940.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 90760 64 0 0 25 0 11 0 781342896 864976896 30894 4294967295 134512640 134569956 3221224384 3221214560 1131578555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30894 13086 16 0 211160 0 vsize: 844704 [startup+950.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 91727 65 0 0 22 0 11 0 781342896 864976896 30990 4294967295 134512640 134569956 3221224384 3221214576 1131335077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 30990 13086 16 0 211160 0 vsize: 844704 [startup+960.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 92694 65 0 0 25 0 11 0 781342896 864976896 31085 4294967295 134512640 134569956 3221224384 3221214672 1131497512 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31085 13086 16 0 211160 0 vsize: 844704 [startup+970.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 93661 66 0 0 18 0 11 0 781342896 864976896 31172 4294967295 134512640 134569956 3221224384 3221214672 1131500008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31172 13086 16 0 211160 0 vsize: 844704 [startup+980.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 94629 66 0 0 17 0 11 0 781342896 864976896 31256 4294967295 134512640 134569956 3221224384 3221214560 1131580109 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31256 13086 16 0 211160 0 vsize: 844704 [startup+990.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 95601 67 0 0 23 0 11 0 781342896 864976896 31328 4294967295 134512640 134569956 3221224384 3221214576 1131335791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31328 13086 16 0 211160 0 vsize: 844704 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 96570 67 0 0 24 0 11 0 781342896 864976896 31418 4294967295 134512640 134569956 3221224384 3221214648 1131479271 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31418 13086 16 0 211160 0 vsize: 844704 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 97538 67 0 0 21 0 11 0 781342896 864976896 31494 4294967295 134512640 134569956 3221224384 3221214576 1131334793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31494 13086 16 0 211160 0 vsize: 844704 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 98506 67 0 0 20 0 11 0 781342896 864976896 31583 4294967295 134512640 134569956 3221224384 3221214604 1130885147 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31583 13086 16 0 211160 0 vsize: 844704 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 99474 68 0 0 18 0 11 0 781342896 864976896 31665 4294967295 134512640 134569956 3221224384 3221214672 1131499512 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31665 13086 16 0 211160 0 vsize: 844704 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 100442 68 0 0 25 0 11 0 781342896 864976896 31742 4294967295 134512640 134569956 3221224384 3221214672 1131501238 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31742 13086 16 0 211160 0 vsize: 844704 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 101410 68 0 0 25 0 11 0 781342896 864976896 31817 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31817 13086 16 0 211160 0 vsize: 844704 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 102379 68 0 0 17 0 11 0 781342896 864976896 31913 4294967295 134512640 134569956 3221224384 3221214644 1131277779 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31913 13086 16 0 211160 0 vsize: 844704 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 103346 69 0 0 17 0 11 0 781342896 864976896 31996 4294967295 134512640 134569956 3221224384 3221214544 1131278129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 31996 13086 16 0 211160 0 vsize: 844704 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 104318 69 0 0 25 0 11 0 781342896 864976896 32059 4294967295 134512640 134569956 3221224384 3221214848 1131190425 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 32059 13086 16 0 211160 0 vsize: 844704 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 105286 69 0 0 24 0 11 0 781342896 864976896 32150 4294967295 134512640 134569956 3221224384 3221214576 1131334740 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 32150 13086 16 0 211160 0 vsize: 844704 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 106254 70 0 0 24 0 11 0 781342896 864976896 32230 4294967295 134512640 134569956 3221224384 3221214424 1078033246 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 32230 13086 16 0 211160 0 vsize: 844704 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 107222 70 0 0 25 0 11 0 781342896 864976896 32313 4294967295 134512640 134569956 3221224384 3221214576 1131335018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 32313 13086 16 0 211160 0 vsize: 844704 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 108190 71 0 0 22 0 11 0 781342896 864976896 32384 4294967295 134512640 134569956 3221224384 3221214672 1131498769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 32384 13086 16 0 211160 0 vsize: 844704 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 109158 71 0 0 25 0 11 0 781342896 864976896 32474 4294967295 134512640 134569956 3221224384 3221214672 1131498679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 32474 13086 16 0 211160 0 vsize: 844704 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 110126 71 0 0 25 0 11 0 781342896 864976896 32551 4294967295 134512640 134569956 3221224384 3221214576 1131334870 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 32551 13086 16 0 211160 0 vsize: 844704 [startup+1150.1 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 111095 71 0 0 25 0 11 0 781342896 864976896 32636 4294967295 134512640 134569956 3221224384 3221214648 1131551569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 32636 13086 16 0 211160 0 vsize: 844704 [startup+1160.1 s] Raw data (loadavg): 1.14 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 112062 71 0 0 24 0 11 0 781342896 864976896 32713 4294967295 134512640 134569956 3221224384 3221214672 1131507272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 32713 13086 16 0 211160 0 vsize: 844704 [startup+1170.1 s] Raw data (loadavg): 1.12 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 113027 72 0 0 25 0 11 0 781342896 864976896 32791 4294967295 134512640 134569956 3221224384 3221214672 1131500018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211176 32791 13086 16 0 211160 0 vsize: 844704 [startup+1180.1 s] Raw data (loadavg): 1.10 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 113994 72 0 0 25 0 11 0 781342896 864976896 32895 4294967295 134512640 134569956 3221224384 3221214576 1131334881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 32895 13086 16 0 211160 0 vsize: 844704 [startup+1190.1 s] Raw data (loadavg): 1.08 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 114970 72 0 0 25 0 11 0 781342896 864976896 32981 4294967295 134512640 134569956 3221224384 3221214672 1131498701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 32981 13086 16 0 211160 0 vsize: 844704 [startup+1200.1 s] Raw data (loadavg): 1.07 1.03 1.01 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 115949 72 0 0 25 0 11 0 781342896 864976896 33021 4294967295 134512640 134569956 3221224384 3221214668 1131334720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 33021 13086 16 0 211160 0 vsize: 844704 [startup+1210.1 s] Raw data (loadavg): 1.06 1.03 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 116925 72 0 0 25 0 11 0 781342896 864976896 33046 4294967295 134512640 134569956 3221224384 3221214576 1131335006 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 33046 13086 16 0 211160 0 vsize: 844704 [startup+1220.1 s] Raw data (loadavg): 1.05 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 117903 72 0 0 25 0 11 0 781342896 864976896 33072 4294967295 134512640 134569956 3221224384 3221214736 1131190420 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 33072 13086 16 0 211160 0 vsize: 844704 [startup+1230.1 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 118880 72 0 0 25 0 11 0 781342896 864976896 33119 4294967295 134512640 134569956 3221224384 3221214672 1131502073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 33119 13086 16 0 211160 0 vsize: 844704 [startup+1240.1 s] Raw data (loadavg): 1.04 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 119860 73 0 0 25 0 11 0 781342896 864976896 33150 4294967295 134512640 134569956 3221224384 3221214672 1131502173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 33150 13086 16 0 211160 0 vsize: 844704 [startup+1250.1 s] Raw data (loadavg): 1.03 1.02 1.00 2/64 8043 Raw data (stat): 8033 (java) R 8032 25568 25567 0 -1 0 18167 0 1 0 120839 73 0 0 25 0 11 0 781342896 864976896 33164 4294967295 134512640 134569956 3221224384 3221214672 1131498735 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211176 33164 13086 16 0 211160 0 vsize: 844704 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.23 s] Raw data (loadavg): 1.03 1.02 1.00 1/54 8045 Raw data (stat): 8033 (java) Z 8032 25568 25567 0 -1 1036 18167 12108 1 0 120843 73 3891 39 17 0 1 0 781342896 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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): 1250.23 CPU time (s): 1248.49 CPU user time (s): 1247.36 CPU system time (s): 1.13283 CPU usage (%): 99.8605 Max. virtual memory (Kb): 847440 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####