Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-g125.18.opb |
MD5SUM | a18434ce5469ba587063f7e76ce3e080 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 4500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 4500 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 4500 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 4500 |
Total number of constraints | 72413 |
Number of constraints which are clauses | 72413 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 18 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-05-25 05:04:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20541 boxname=wulflinc4 idbench=131 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: a18434ce5469ba587063f7e76ce3e080 /oldhome/oroussel/tmp/wulflinc4/normalized-g125.18.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc4/normalized-g125.18.opb IDLAUNCH: 20541 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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: 720712 kB Buffers: 34200 kB Cached: 258960 kB SwapCached: 600 kB Active: 53252 kB Inactive: 242328 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 720460 kB SwapTotal: 2097136 kB SwapFree: 2096004 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5784 kB Slab: 12660 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 05:26:27 (client local time) WITH STATUS 143 IN 1298.23 SECONDS stats: 20541 7 1298.23 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/wulflinc4/normalized-g125.18.opb c reading problem ... done. Time 16.739 ms. c #vars 4500 c #constraints 72413 c starts : 12 c conflicts : 17499 c decisions : 27746 c propagations : 4643648 c inspects : 21911301 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 17499 c root simplifications : 12 s UNKNOWN c Total CPU time (ms) : 1299.27 #### 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): 1.17 1.02 0.93 2/54 31118 Raw data (stat): 31118 (runsolver) R 31117 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777988321 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 1.31 1.06 0.94 4/63 31127 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18034 0 1 0 882 38 0 0 25 0 10 0 777988321 855994368 19855 4294967295 134512640 134569956 3221224384 3221214784 1130898054 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208983 19855 13086 16 0 208967 0 vsize: 835932 [startup+20.001 s] Raw data (loadavg): 1.34 1.07 0.95 3/64 31128 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18074 0 1 0 1598 40 0 0 25 0 11 0 777988321 858685440 29445 4294967295 134512640 134569956 3221224384 3221214736 1131449689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209640 29445 13086 16 0 209624 0 vsize: 838560 [startup+30.0019 s] Raw data (loadavg): 1.29 1.07 0.95 2/64 31128 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 2489 40 0 0 25 0 11 0 777988321 859475968 31571 4294967295 134512640 134569956 3221224384 3221214696 1131356340 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 31571 13086 16 0 209817 0 vsize: 839332 [startup+40.0017 s] Raw data (loadavg): 1.24 1.06 0.95 2/64 31128 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 3435 40 0 0 25 0 11 0 777988321 859475968 32048 4294967295 134512640 134569956 3221224384 3221214716 1130885186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 32048 13086 16 0 209817 0 vsize: 839332 [startup+50.0024 s] Raw data (loadavg): 1.20 1.06 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 4382 41 0 0 25 0 11 0 777988321 859475968 32582 4294967295 134512640 134569956 3221224384 3221214704 1131320190 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 32582 13086 16 0 209817 0 vsize: 839332 [startup+60.0025 s] Raw data (loadavg): 1.17 1.06 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 5330 41 0 0 25 0 11 0 777988321 859475968 33173 4294967295 134512640 134569956 3221224384 3221214560 1131355891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 33173 13086 16 0 209817 0 vsize: 839332 [startup+70.0034 s] Raw data (loadavg): 1.15 1.06 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 6265 41 0 0 25 0 11 0 777988321 859475968 33725 4294967295 134512640 134569956 3221224384 3221214664 1131528926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 33725 13086 16 0 209817 0 vsize: 839332 [startup+80.0041 s] Raw data (loadavg): 1.12 1.05 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 7207 41 0 0 25 0 11 0 777988321 859475968 34164 4294967295 134512640 134569956 3221224384 3221214560 1131356077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 34164 13086 16 0 209817 0 vsize: 839332 [startup+90.0039 s] Raw data (loadavg): 1.10 1.05 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 8150 41 0 0 25 0 11 0 777988321 859475968 34504 4294967295 134512640 134569956 3221224384 3221214744 1131451911 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 34504 13086 16 0 209817 0 vsize: 839332 [startup+100.004 s] Raw data (loadavg): 1.09 1.05 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 9097 41 0 0 25 0 11 0 777988321 859475968 35139 4294967295 134512640 134569956 3221224384 3221214792 1131496897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 35139 13086 16 0 209817 0 vsize: 839332 [startup+110.005 s] Raw data (loadavg): 1.07 1.05 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 10033 41 0 0 25 0 11 0 777988321 859475968 35698 4294967295 134512640 134569956 3221224384 3221214560 1131355458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 35698 13086 16 0 209817 0 vsize: 839332 [startup+120.006 s] Raw data (loadavg): 1.06 1.05 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 10975 41 0 0 25 0 11 0 777988321 859475968 36043 4294967295 134512640 134569956 3221224384 3221214560 1131355641 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 36043 13086 16 0 209817 0 vsize: 839332 [startup+130.005 s] Raw data (loadavg): 1.05 1.04 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 11911 41 0 0 25 0 11 0 777988321 859475968 36558 4294967295 134512640 134569956 3221224384 3221214744 1131449793 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 36558 13086 16 0 209817 0 vsize: 839332 [startup+140.005 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 12859 41 0 0 25 0 11 0 777988321 859475968 37010 4294967295 134512640 134569956 3221224384 3221214560 1131356418 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 37010 13086 16 0 209817 0 vsize: 839332 [startup+150.006 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 13813 41 0 0 25 0 11 0 777988321 859475968 37501 4294967295 134512640 134569956 3221224384 3221214664 1131524982 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 37501 13086 16 0 209817 0 vsize: 839332 [startup+160.006 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 14750 41 0 0 25 0 11 0 777988321 859475968 37964 4294967295 134512640 134569956 3221224384 3221214744 1131451882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 37964 13086 16 0 209817 0 vsize: 839332 [startup+170.008 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 15688 41 0 0 25 0 11 0 777988321 859475968 38458 4294967295 134512640 134569956 3221224384 3221214560 1131356095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 38458 13086 16 0 209817 0 vsize: 839332 [startup+180.009 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 16633 41 0 0 25 0 11 0 777988321 859475968 38796 4294967295 134512640 134569956 3221224384 3221214800 1131454691 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 38796 13086 16 0 209817 0 vsize: 839332 [startup+190.011 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 31130 Raw data (stat): 31118 (java) S 31117 21152 21151 0 -1 0 18075 0 1 0 17588 41 0 0 25 0 11 0 777988321 859475968 39123 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 39123 13086 16 0 209817 0 vsize: 839332 [startup+200.012 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 18528 42 0 0 25 0 11 0 777988321 859475968 39666 4294967295 134512640 134569956 3221224384 3221214776 1131434624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 39666 13086 16 0 209817 0 vsize: 839332 [startup+210.012 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18075 0 1 0 19481 42 0 0 25 0 11 0 777988321 859475968 40021 4294967295 134512640 134569956 3221224384 3221214744 1131449784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 40021 13086 16 0 209817 0 vsize: 839332 [startup+220.014 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 20417 42 0 0 25 0 11 0 777988321 859475968 40560 4294967295 134512640 134569956 3221224384 3221214716 1130885204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 40560 13086 16 0 209817 0 vsize: 839332 [startup+230.014 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 21358 42 0 0 25 0 11 0 777988321 859475968 40986 4294967295 134512640 134569956 3221224384 3221214664 1131524880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 40986 13086 16 0 209817 0 vsize: 839332 [startup+240.014 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 22301 42 0 0 25 0 11 0 777988321 859475968 41402 4294967295 134512640 134569956 3221224384 3221214612 1130885222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 41402 13086 16 0 209817 0 vsize: 839332 [startup+250.015 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 23244 42 0 0 25 0 11 0 777988321 859475968 41754 4294967295 134512640 134569956 3221224384 3221214560 1131355815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 41754 13086 16 0 209817 0 vsize: 839332 [startup+260.015 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 24167 42 0 0 25 0 11 0 777988321 859475968 42212 4294967295 134512640 134569956 3221224384 3221214664 1131527319 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 42212 13086 16 0 209817 0 vsize: 839332 [startup+270.014 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 25092 42 0 0 25 0 11 0 777988321 859475968 42586 4294967295 134512640 134569956 3221224384 3221214720 1131207816 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 42586 13086 16 0 209817 0 vsize: 839332 [startup+280.019 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) S 31117 21152 21151 0 -1 0 18076 0 1 0 26033 42 0 0 25 0 11 0 777988321 859475968 42942 4294967295 134512640 134569956 3221224384 3221213200 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 42942 13086 16 0 209817 0 vsize: 839332 [startup+290.019 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 26978 42 0 0 25 0 11 0 777988321 859475968 43417 4294967295 134512640 134569956 3221224384 3221214744 1131449750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 43417 13086 16 0 209817 0 vsize: 839332 [startup+300.02 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 27921 42 0 0 25 0 11 0 777988321 859475968 43841 4294967295 134512640 134569956 3221224384 3221214560 1131355681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 43841 13086 16 0 209817 0 vsize: 839332 [startup+310.021 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 28862 42 0 0 25 0 11 0 777988321 859475968 44272 4294967295 134512640 134569956 3221224384 3221214796 1131434592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 44272 13086 16 0 209817 0 vsize: 839332 [startup+320.021 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 29803 42 0 0 25 0 11 0 777988321 859475968 44606 4294967295 134512640 134569956 3221224384 3221214744 1131451833 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 44606 13086 16 0 209817 0 vsize: 839332 [startup+330.022 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 30746 42 0 0 25 0 11 0 777988321 859475968 44997 4294967295 134512640 134569956 3221224384 3221214560 1131355891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 44997 13086 16 0 209817 0 vsize: 839332 [startup+340.022 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 31690 42 0 0 25 0 11 0 777988321 859475968 45373 4294967295 134512640 134569956 3221224384 3221214784 1131453705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 45373 13086 16 0 209817 0 vsize: 839332 [startup+350.022 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 32620 42 0 0 25 0 11 0 777988321 859475968 45738 4294967295 134512640 134569956 3221224384 3221214560 1131355891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 45738 13086 16 0 209817 0 vsize: 839332 [startup+360.023 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 33563 42 0 0 25 0 11 0 777988321 859475968 46105 4294967295 134512640 134569956 3221224384 3221214560 1131355862 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 46105 13086 16 0 209817 0 vsize: 839332 [startup+370.024 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 34493 42 0 0 25 0 11 0 777988321 859475968 46363 4294967295 134512640 134569956 3221224384 3221214740 1131207776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 46363 13086 16 0 209817 0 vsize: 839332 [startup+380.024 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 35425 42 0 0 25 0 11 0 777988321 859475968 46673 4294967295 134512640 134569956 3221224384 3221214744 1131449787 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 46673 13086 16 0 209817 0 vsize: 839332 [startup+390.025 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 36353 43 0 0 25 0 11 0 777988321 859475968 47019 4294967295 134512640 134569956 3221224384 3221214608 1131468524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 47019 13086 16 0 209817 0 vsize: 839332 [startup+400.025 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 37295 43 0 0 25 0 11 0 777988321 859475968 47298 4294967295 134512640 134569956 3221224384 3221214716 1130885144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 47298 13086 16 0 209817 0 vsize: 839332 [startup+410.025 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 38225 43 0 0 25 0 11 0 777988321 859475968 47687 4294967295 134512640 134569956 3221224384 3221214744 1131449849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 47687 13086 16 0 209817 0 vsize: 839332 [startup+420.025 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 39156 43 0 0 25 0 11 0 777988321 859475968 48003 4294967295 134512640 134569956 3221224384 3221214560 1131355594 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 48003 13086 16 0 209817 0 vsize: 839332 [startup+430.026 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 40077 43 0 0 25 0 11 0 777988321 859475968 48478 4294967295 134512640 134569956 3221224384 3221214660 1131355404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 48478 13086 16 0 209817 0 vsize: 839332 [startup+440.026 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 41012 43 0 0 25 0 11 0 777988321 859475968 48852 4294967295 134512640 134569956 3221224384 3221214836 1131207785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 48852 13086 16 0 209817 0 vsize: 839332 [startup+450.027 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 41959 43 0 0 25 0 11 0 777988321 859475968 49297 4294967295 134512640 134569956 3221224384 3221214744 1131451983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 49297 13086 16 0 209817 0 vsize: 839332 [startup+460.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 42894 43 0 0 25 0 11 0 777988321 859475968 49813 4294967295 134512640 134569956 3221224384 3221214744 1131449750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 49813 13086 16 0 209817 0 vsize: 839332 [startup+470.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 43848 43 0 0 25 0 11 0 777988321 859475968 50133 4294967295 134512640 134569956 3221224384 3221214720 1131207833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 50133 13086 16 0 209817 0 vsize: 839332 [startup+480.027 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 44788 43 0 0 25 0 11 0 777988321 859475968 50582 4294967295 134512640 134569956 3221224384 3221214560 1131355627 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 50582 13086 16 0 209817 0 vsize: 839332 [startup+490.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 45744 43 0 0 25 0 11 0 777988321 859475968 50967 4294967295 134512640 134569956 3221224384 3221214800 1131455008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 50967 13086 16 0 209817 0 vsize: 839332 [startup+500.028 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 46673 43 0 0 25 0 11 0 777988321 859475968 51350 4294967295 134512640 134569956 3221224384 3221214472 1131267681 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 51350 13086 16 0 209817 0 vsize: 839332 [startup+510.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 47615 43 0 0 25 0 11 0 777988321 859475968 51768 4294967295 134512640 134569956 3221224384 3221214792 1131497252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 51768 13086 16 0 209817 0 vsize: 839332 [startup+520.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 48558 43 0 0 25 0 11 0 777988321 859475968 52106 4294967295 134512640 134569956 3221224384 3221214560 1131355458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 52106 13086 16 0 209817 0 vsize: 839332 [startup+530.03 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 49502 44 0 0 25 0 11 0 777988321 859475968 52407 4294967295 134512640 134569956 3221224384 3221214744 1131451882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 52407 13086 16 0 209817 0 vsize: 839332 [startup+540.029 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) S 31117 21152 21151 0 -1 0 18076 0 1 0 50432 44 0 0 25 0 11 0 777988321 859475968 52858 4294967295 134512640 134569956 3221224384 3221213416 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 52858 13086 16 0 209817 0 vsize: 839332 [startup+550.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 51371 44 0 0 25 0 11 0 777988321 859475968 53166 4294967295 134512640 134569956 3221224384 3221214796 1131450248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 53166 13086 16 0 209817 0 vsize: 839332 [startup+560.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 52301 44 0 0 25 0 11 0 777988321 859475968 53488 4294967295 134512640 134569956 3221224384 3221214560 1131355501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 53488 13086 16 0 209817 0 vsize: 839332 [startup+570.031 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 53232 44 0 0 25 0 11 0 777988321 859475968 53792 4294967295 134512640 134569956 3221224384 3221214472 1131268692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 53792 13086 16 0 209817 0 vsize: 839332 [startup+580.033 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 54160 44 0 0 25 0 11 0 777988321 859475968 54047 4294967295 134512640 134569956 3221224384 3221214696 1131355891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 54047 13086 16 0 209817 0 vsize: 839332 [startup+590.033 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 55098 44 0 0 25 0 11 0 777988321 859475968 54461 4294967295 134512640 134569956 3221224384 3221214664 1131529095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 54461 13086 16 0 209817 0 vsize: 839332 [startup+600.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 56038 44 0 0 25 0 11 0 777988321 859475968 54795 4294967295 134512640 134569956 3221224384 3221214800 1131454772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 54795 13086 16 0 209817 0 vsize: 839332 [startup+610.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 56981 44 0 0 25 0 11 0 777988321 859475968 55116 4294967295 134512640 134569956 3221224384 3221214560 1131356325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 55116 13086 16 0 209817 0 vsize: 839332 [startup+620.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 57922 44 0 0 25 0 11 0 777988321 859475968 55463 4294967295 134512640 134569956 3221224384 3221214796 1131459232 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 55463 13086 16 0 209817 0 vsize: 839332 [startup+630.034 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 58851 44 0 0 24 0 11 0 777988321 859475968 55791 4294967295 134512640 134569956 3221224384 3221214560 1131356436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 55791 13086 16 0 209817 0 vsize: 839332 [startup+640.035 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 59795 45 0 0 25 0 11 0 777988321 859475968 56022 4294967295 134512640 134569956 3221224384 3221214560 1131355504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 56022 13086 16 0 209817 0 vsize: 839332 [startup+650.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 60738 45 0 0 25 0 11 0 777988321 859475968 56325 4294967295 134512640 134569956 3221224384 3221214560 1131355429 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 56325 13086 16 0 209817 0 vsize: 839332 [startup+660.036 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 61668 45 0 0 25 0 11 0 777988321 859475968 56642 4294967295 134512640 134569956 3221224384 3221214472 1131267629 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 56642 13086 16 0 209817 0 vsize: 839332 [startup+670.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 62597 45 0 0 25 0 11 0 777988321 859475968 56923 4294967295 134512640 134569956 3221224384 3221214560 1131355508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 56923 13086 16 0 209817 0 vsize: 839332 [startup+680.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 63526 45 0 0 24 0 11 0 777988321 859475968 57268 4294967295 134512640 134569956 3221224384 3221214796 1131449664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 57268 13086 16 0 209817 0 vsize: 839332 [startup+690.037 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 64453 45 0 0 25 0 11 0 777988321 859475968 57495 4294967295 134512640 134569956 3221224384 3221214744 1131451949 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 57495 13086 16 0 209817 0 vsize: 839332 [startup+700.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 65369 45 0 0 25 0 11 0 777988321 859475968 58068 4294967295 134512640 134569956 3221224384 3221214664 1131526320 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 58068 13086 16 0 209817 0 vsize: 839332 [startup+710.038 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) S 31117 21152 21151 0 -1 0 18076 0 1 0 66293 45 0 0 25 0 11 0 777988321 859475968 58423 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 58423 13086 16 0 209817 0 vsize: 839332 [startup+720.041 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 67218 45 0 0 25 0 11 0 777988321 859475968 58746 4294967295 134512640 134569956 3221224384 3221214796 1131436224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 58746 13086 16 0 209817 0 vsize: 839332 [startup+730.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 68154 46 0 0 25 0 11 0 777988321 859475968 59120 4294967295 134512640 134569956 3221224384 3221214560 1131355447 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 59120 13086 16 0 209817 0 vsize: 839332 [startup+740.042 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 69083 46 0 0 25 0 11 0 777988321 859475968 59564 4294967295 134512640 134569956 3221224384 3221214744 1131562684 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 59564 13086 16 0 209817 0 vsize: 839332 [startup+750.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 69998 46 0 0 24 0 11 0 777988321 859475968 60047 4294967295 134512640 134569956 3221224384 3221214744 1131451947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 60047 13086 16 0 209817 0 vsize: 839332 [startup+760.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 70938 46 0 0 25 0 11 0 777988321 859475968 60431 4294967295 134512640 134569956 3221224384 3221214672 1131308380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 60431 13086 16 0 209817 0 vsize: 839332 [startup+770.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 71864 46 0 0 25 0 11 0 777988321 859475968 60714 4294967295 134512640 134569956 3221224384 3221214744 1131450208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 60714 13086 16 0 209817 0 vsize: 839332 [startup+780.043 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 72791 46 0 0 25 0 11 0 777988321 859475968 61036 4294967295 134512640 134569956 3221224384 3221214760 1131342334 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 61036 13086 16 0 209817 0 vsize: 839332 [startup+790.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 73719 46 0 0 24 0 11 0 777988321 859475968 61356 4294967295 134512640 134569956 3221224384 3221214560 1131355501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 61356 13086 16 0 209817 0 vsize: 839332 [startup+800.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 74646 46 0 0 25 0 11 0 777988321 859475968 61601 4294967295 134512640 134569956 3221224384 3221214664 1131527363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 61601 13086 16 0 209817 0 vsize: 839332 [startup+810.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 75575 46 0 0 25 0 11 0 777988321 859475968 61915 4294967295 134512640 134569956 3221224384 3221214560 1131355957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 61915 13086 16 0 209817 0 vsize: 839332 [startup+820.044 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 76503 46 0 0 25 0 11 0 777988321 859475968 62166 4294967295 134512640 134569956 3221224384 3221214776 1131459289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 62166 13086 16 0 209817 0 vsize: 839332 [startup+830.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 77427 47 0 0 25 0 11 0 777988321 859475968 62550 4294967295 134512640 134569956 3221224384 3221214664 1131529804 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 62550 13086 16 0 209817 0 vsize: 839332 [startup+840.045 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 78366 47 0 0 25 0 11 0 777988321 859475968 62864 4294967295 134512640 134569956 3221224384 3221214664 1131527269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 62864 13086 16 0 209817 0 vsize: 839332 [startup+850.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 79293 47 0 0 25 0 11 0 777988321 859475968 63238 4294967295 134512640 134569956 3221224384 3221214560 1131355508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 63238 13086 16 0 209817 0 vsize: 839332 [startup+860.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 80220 47 0 0 24 0 11 0 777988321 859475968 63547 4294967295 134512640 134569956 3221224384 3221214744 1131451882 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 63547 13086 16 0 209817 0 vsize: 839332 [startup+870.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 81162 47 0 0 25 0 11 0 777988321 859475968 63832 4294967295 134512640 134569956 3221224384 3221214800 1131455094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 63832 13086 16 0 209817 0 vsize: 839332 [startup+880.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 82088 47 0 0 25 0 11 0 777988321 859475968 64154 4294967295 134512640 134569956 3221224384 3221214560 1131355891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 64154 13086 16 0 209817 0 vsize: 839332 [startup+890.046 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 83016 47 0 0 25 0 11 0 777988321 859475968 64399 4294967295 134512640 134569956 3221224384 3221214744 1131451987 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 64399 13086 16 0 209817 0 vsize: 839332 [startup+900.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 83943 47 0 0 25 0 11 0 777988321 859475968 64760 4294967295 134512640 134569956 3221224384 3221214560 1131355425 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 64760 13086 16 0 209817 0 vsize: 839332 [startup+910.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 84856 47 0 0 24 0 11 0 777988321 859475968 65068 4294967295 134512640 134569956 3221224384 3221214664 1131527418 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 65068 13086 16 0 209817 0 vsize: 839332 [startup+920.047 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 85787 47 0 0 25 0 11 0 777988321 859475968 65212 4294967295 134512640 134569956 3221224384 3221214560 1131355729 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 65212 13086 16 0 209817 0 vsize: 839332 [startup+930.048 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 86713 47 0 0 25 0 11 0 777988321 859475968 65455 4294967295 134512640 134569956 3221224384 3221214640 1131349587 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 65455 13086 16 0 209817 0 vsize: 839332 [startup+940.051 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) S 31117 21152 21151 0 -1 0 18076 0 1 0 87632 47 0 0 25 0 11 0 777988321 859475968 65726 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 65726 13086 16 0 209817 0 vsize: 839332 [startup+950.052 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 88565 47 0 0 25 0 11 0 777988321 859475968 65986 4294967295 134512640 134569956 3221224384 3221214744 1131449863 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 65986 13086 16 0 209817 0 vsize: 839332 [startup+960.052 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 89491 47 0 0 25 0 11 0 777988321 859475968 66319 4294967295 134512640 134569956 3221224384 3221214560 1131355753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 66319 13086 16 0 209817 0 vsize: 839332 [startup+970.053 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 90405 47 0 0 25 0 11 0 777988321 859475968 66566 4294967295 134512640 134569956 3221224384 3221214560 1131355891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 66566 13086 16 0 209817 0 vsize: 839332 [startup+980.053 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 91318 47 0 0 24 0 11 0 777988321 859475968 66895 4294967295 134512640 134569956 3221224384 3221214740 1131207776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 66895 13086 16 0 209817 0 vsize: 839332 [startup+990.053 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 92248 47 0 0 25 0 11 0 777988321 859475968 67100 4294967295 134512640 134569956 3221224384 3221214792 1131436247 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 67100 13086 16 0 209817 0 vsize: 839332 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 93174 47 0 0 25 0 11 0 777988321 859475968 67360 4294967295 134512640 134569956 3221224384 3221214560 1131355891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 67360 13086 16 0 209817 0 vsize: 839332 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 94099 47 0 0 25 0 11 0 777988321 859475968 67675 4294967295 134512640 134569956 3221224384 3221214560 1131355511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 67675 13086 16 0 209817 0 vsize: 839332 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 95024 47 0 0 25 0 11 0 777988321 859475968 67971 4294967295 134512640 134569956 3221224384 3221214664 1131526353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 67971 13086 16 0 209817 0 vsize: 839332 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 95951 47 0 0 25 0 11 0 777988321 859475968 68232 4294967295 134512640 134569956 3221224384 3221214568 1131320072 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 68232 13086 16 0 209817 0 vsize: 839332 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 96864 47 0 0 25 0 11 0 777988321 859475968 68478 4294967295 134512640 134569956 3221224384 3221214560 1131355891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 68478 13086 16 0 209817 0 vsize: 839332 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 97792 48 0 0 25 0 11 0 777988321 859475968 68708 4294967295 134512640 134569956 3221224384 3221214776 1131459313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 68708 13086 16 0 209817 0 vsize: 839332 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 98705 48 0 0 25 0 11 0 777988321 859475968 68913 4294967295 134512640 134569956 3221224384 3221214560 1131355891 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 68913 13086 16 0 209817 0 vsize: 839332 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 99630 48 0 0 25 0 11 0 777988321 859475968 69168 4294967295 134512640 134569956 3221224384 3221214796 1131449664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 69168 13086 16 0 209817 0 vsize: 839332 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 100556 48 0 0 25 0 11 0 777988321 859475968 69427 4294967295 134512640 134569956 3221224384 3221214800 1131455104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 69427 13086 16 0 209817 0 vsize: 839332 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) S 31117 21152 21151 0 -1 0 18076 0 1 0 101465 48 0 0 25 0 11 0 777988321 859475968 69745 4294967295 134512640 134569956 3221224384 3221213264 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 69745 13086 16 0 209817 0 vsize: 839332 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 102392 48 0 0 25 0 11 0 777988321 859475968 70016 4294967295 134512640 134569956 3221224384 3221214560 1131355604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 70016 13086 16 0 209817 0 vsize: 839332 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 103319 48 0 0 25 0 11 0 777988321 859475968 70198 4294967295 134512640 134569956 3221224384 3221214560 1131355458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 70198 13086 16 0 209817 0 vsize: 839332 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 104244 48 0 0 25 0 11 0 777988321 859475968 70466 4294967295 134512640 134569956 3221224384 3221214560 1131355612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 70466 13086 16 0 209817 0 vsize: 839332 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 105156 48 0 0 25 0 11 0 777988321 859475968 70715 4294967295 134512640 134569956 3221224384 3221214664 1131527243 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 70715 13086 16 0 209817 0 vsize: 839332 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 106071 48 0 0 25 0 11 0 777988321 859475968 70930 4294967295 134512640 134569956 3221224384 3221214776 1131459313 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 70930 13086 16 0 209817 0 vsize: 839332 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 106999 48 0 0 25 0 11 0 777988321 859475968 71085 4294967295 134512640 134569956 3221224384 3221214796 1131434592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209833 71085 13086 16 0 209817 0 vsize: 839332 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 107911 48 0 0 25 0 11 0 777988321 859475968 71329 4294967295 134512640 134569956 3221224384 3221214664 1131525228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 71329 13086 16 0 209817 0 vsize: 839332 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 108836 48 0 0 25 0 11 0 777988321 859475968 71575 4294967295 134512640 134569956 3221224384 3221214744 1131451876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 71575 13086 16 0 209817 0 vsize: 839332 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 109745 48 0 0 25 0 11 0 777988321 859475968 71796 4294967295 134512640 134569956 3221224384 3221214560 1131355508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 71796 13086 16 0 209817 0 vsize: 839332 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 110670 48 0 0 25 0 11 0 777988321 859475968 72022 4294967295 134512640 134569956 3221224384 3221214560 1131355458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 72022 13086 16 0 209817 0 vsize: 839332 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) S 31117 21152 21151 0 -1 0 18076 0 1 0 111595 48 0 0 25 0 11 0 777988321 859475968 72236 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 72236 13086 16 0 209817 0 vsize: 839332 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 112506 49 0 0 25 0 11 0 777988321 859475968 72576 4294967295 134512640 134569956 3221224384 3221214784 1131453705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 72576 13086 16 0 209817 0 vsize: 839332 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 113417 49 0 0 25 0 11 0 777988321 859475968 72744 4294967295 134512640 134569956 3221224384 3221214528 1131268270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 72744 13086 16 0 209817 0 vsize: 839332 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 114330 49 0 0 25 0 11 0 777988321 859475968 72891 4294967295 134512640 134569956 3221224384 3221214560 1131355458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 72891 13086 16 0 209817 0 vsize: 839332 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 115244 49 0 0 25 0 11 0 777988321 859475968 73076 4294967295 134512640 134569956 3221224384 3221214560 1131356325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 73076 13086 16 0 209817 0 vsize: 839332 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 116156 49 0 0 25 0 11 0 777988321 859475968 73294 4294967295 134512640 134569956 3221224384 3221214800 1131455128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 73294 13086 16 0 209817 0 vsize: 839332 [startup+1260.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 117067 49 0 0 25 0 11 0 777988321 859475968 73523 4294967295 134512640 134569956 3221224384 3221214664 1131526312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 73523 13086 16 0 209817 0 vsize: 839332 [startup+1270.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 117968 49 0 0 25 0 11 0 777988321 859475968 73901 4294967295 134512640 134569956 3221224384 3221214376 1131308550 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 73901 13086 16 0 209817 0 vsize: 839332 [startup+1280.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 118871 49 0 0 25 0 11 0 777988321 859475968 74211 4294967295 134512640 134569956 3221224384 3221214800 1131455078 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 74211 13086 16 0 209817 0 vsize: 839332 [startup+1290.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) R 31117 21152 21151 0 -1 0 18076 0 1 0 119787 49 0 0 24 0 11 0 777988321 859475968 74534 4294967295 134512640 134569956 3221224384 3221214560 1131356110 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 74534 13086 16 0 209817 0 vsize: 839332 [startup+1300.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 31130 Raw data (stat): 31118 (java) S 31117 21152 21151 0 -1 0 18076 0 1 0 120717 49 0 0 25 0 11 0 777988321 859475968 74795 4294967295 134512640 134569956 3221224384 3221213304 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209833 74795 13086 16 0 209817 0 vsize: 839332 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1300.39 s] Raw data (loadavg): 1.00 1.00 0.95 1/54 31132 Raw data (stat): 31118 (java) Z 31117 21152 21151 0 -1 1036 18076 55082 1 0 120719 49 8939 114 24 0 1 0 777988321 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): 1300.39 CPU time (s): 1298.23 CPU user time (s): 1296.59 CPU system time (s): 1.64475 CPU usage (%): 99.8341 Max. virtual memory (Kb): 839332 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####