Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-markshare1_1.opb |
MD5SUM | f88781e3d6e9a5487d13eaa213c27b55 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4272 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 120 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 6291450 |
Number of bits of the sum of numbers in the objective function | 23 |
Biggest number in a constraint | 524288 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 6291450 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.08 |
Number of variables | 205 |
Total number of constraints | 56 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 45 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 105 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc27 THE 2005-04-21 10:40:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19483 boxname=wulflinc27 idbench=1499 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: f88781e3d6e9a5487d13eaa213c27b55 /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-markshare1_1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-markshare1_1.opb IDLAUNCH: 19483 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 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: 515524 kB Buffers: 15632 kB Cached: 477672 kB SwapCached: 512 kB Active: 114488 kB Inactive: 380776 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 515244 kB SwapTotal: 2097892 kB SwapFree: 2096484 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5108 kB Slab: 18244 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 11:01:12 (client local time) WITH STATUS 143 IN 1223.29 SECONDS stats: 19483 7 1223.29 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-markshare1_1.opb c reading problem c [nbvar=205] c [nbconstr=56] c time 0.743 c #vars 205 c #clauses 17 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=140896 c Current CPU time (ms) : 5.61 c starts : 1 c conflicts : 4 c decisions : 283 c propagations : 525 c inspects : 1476 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 4 c root simplifications : 3 c c CURRENT OPTIMUM=140608 c Current CPU time (ms) : 9.022 c starts : 2 c conflicts : 5 c decisions : 335 c propagations : 786 c inspects : 2128 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 5 c root simplifications : 4 c c CURRENT OPTIMUM=88697 c Current CPU time (ms) : 9.537 c starts : 3 c conflicts : 5 c decisions : 358 c propagations : 979 c inspects : 2938 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 5 c root simplifications : 5 c c CURRENT OPTIMUM=76552 c Current CPU time (ms) : 52.787 c starts : 4 c conflicts : 99 c decisions : 2457 c propagations : 5906 c inspects : 89121 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 99 c root simplifications : 48 c c CURRENT OPTIMUM=76084 c Current CPU time (ms) : 54.984 c starts : 5 c conflicts : 100 c decisions : 2489 c propagations : 6139 c inspects : 93630 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 100 c root simplifications : 49 c c CURRENT OPTIMUM=58933 c Current CPU time (ms) : 431.024 c starts : 8 c conflicts : 351 c decisions : 7299 c propagations : 18469 c inspects : 888734 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 351 c root simplifications : 156 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.94 0.90 2/54 18552 Raw data (stat): 18552 (runsolver) D 18551 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544431512 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 1.18 1.01 0.92 5/64 18564 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 17704 3 1 0 557 37 0 0 24 0 11 0 544431512 878444544 23925 4294967295 134512640 134569956 3221224400 3221214768 1131314799 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 214464 23925 13073 16 0 214448 0 vsize: 857856 [startup+20.0012 s] Raw data (loadavg): 1.30 1.04 0.93 2/64 18565 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 1301 38 0 0 25 0 11 0 544431512 875315200 23971 4294967295 134512640 134569956 3221224400 3221214792 1131320614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 23971 13073 16 0 213684 0 vsize: 854800 [startup+30.0019 s] Raw data (loadavg): 1.25 1.04 0.93 2/64 18565 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 2274 39 0 0 25 0 11 0 544431512 875315200 24153 4294967295 134512640 134569956 3221224400 3221214744 1131190728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 24153 13073 16 0 213684 0 vsize: 854800 [startup+40.0019 s] Raw data (loadavg): 1.21 1.03 0.93 2/64 18565 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 3240 39 0 0 25 0 11 0 544431512 875315200 24359 4294967295 134512640 134569956 3221224400 3221214792 1131326235 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 24359 13073 16 0 213684 0 vsize: 854800 [startup+50.0027 s] Raw data (loadavg): 1.18 1.03 0.93 2/64 18565 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 4205 40 0 0 25 0 11 0 544431512 875315200 24573 4294967295 134512640 134569956 3221224400 3221214792 1131318353 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 24573 13073 16 0 213684 0 vsize: 854800 [startup+60.0034 s] Raw data (loadavg): 1.15 1.03 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 5183 40 0 0 25 0 11 0 544431512 875315200 24655 4294967295 134512640 134569956 3221224400 3221214792 1131321285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 24655 13073 16 0 213684 0 vsize: 854800 [startup+70.0038 s] Raw data (loadavg): 1.13 1.03 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 6165 41 0 0 25 0 11 0 544431512 875315200 24759 4294967295 134512640 134569956 3221224400 3221214792 1131324139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 24759 13073 16 0 213684 0 vsize: 854800 [startup+80.0052 s] Raw data (loadavg): 1.11 1.03 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 7150 41 0 0 25 0 11 0 544431512 875315200 24803 4294967295 134512640 134569956 3221224400 3221214792 1131320830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 24803 13073 16 0 213684 0 vsize: 854800 [startup+90.0049 s] Raw data (loadavg): 1.09 1.03 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18132 3 1 0 8134 41 0 0 25 0 11 0 544431512 875315200 24875 4294967295 134512640 134569956 3221224400 3221214792 1131324307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 24875 13073 16 0 213684 0 vsize: 854800 [startup+100.005 s] Raw data (loadavg): 1.08 1.03 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 9119 41 0 0 25 0 11 0 544431512 875315200 24941 4294967295 134512640 134569956 3221224400 3221214792 1131324037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 24941 13073 16 0 213684 0 vsize: 854800 [startup+110.006 s] Raw data (loadavg): 1.06 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 10102 42 0 0 25 0 11 0 544431512 875315200 24997 4294967295 134512640 134569956 3221224400 3221214792 1131316008 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 24997 13073 16 0 213684 0 vsize: 854800 [startup+120.005 s] Raw data (loadavg): 1.05 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 11084 42 0 0 25 0 11 0 544431512 875315200 25065 4294967295 134512640 134569956 3221224400 3221214792 1131316305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25065 13073 16 0 213684 0 vsize: 854800 [startup+130.007 s] Raw data (loadavg): 1.05 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 12065 42 0 0 25 0 11 0 544431512 875315200 25134 4294967295 134512640 134569956 3221224400 3221214792 1131315125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25134 13073 16 0 213684 0 vsize: 854800 [startup+140.007 s] Raw data (loadavg): 1.04 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 13047 43 0 0 25 0 11 0 544431512 875315200 25222 4294967295 134512640 134569956 3221224400 3221214712 1131489088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25222 13073 16 0 213684 0 vsize: 854800 [startup+150.007 s] Raw data (loadavg): 1.03 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 14028 44 0 0 25 0 11 0 544431512 875315200 25281 4294967295 134512640 134569956 3221224400 3221214792 1131312811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 25281 13073 16 0 213684 0 vsize: 854800 [startup+160.007 s] Raw data (loadavg): 1.03 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 15012 44 0 0 25 0 11 0 544431512 875315200 25356 4294967295 134512640 134569956 3221224400 3221214792 1131319577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25356 13073 16 0 213684 0 vsize: 854800 [startup+170.008 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 15996 44 0 0 20 0 11 0 544431512 875315200 25429 4294967295 134512640 134569956 3221224400 3221214792 1131315118 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25429 13073 16 0 213684 0 vsize: 854800 [startup+180.008 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 16980 45 0 0 25 0 11 0 544431512 875315200 25482 4294967295 134512640 134569956 3221224400 3221214792 1131323178 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25482 13073 16 0 213684 0 vsize: 854800 [startup+190.009 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 17965 45 0 0 25 0 11 0 544431512 875315200 25588 4294967295 134512640 134569956 3221224400 3221214792 1131319248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25588 13073 16 0 213684 0 vsize: 854800 [startup+200.009 s] Raw data (loadavg): 1.01 1.02 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 18949 45 0 0 25 0 11 0 544431512 875315200 25645 4294967295 134512640 134569956 3221224400 3221214792 1131315125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25645 13073 16 0 213684 0 vsize: 854800 [startup+210.01 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 19933 46 0 0 24 0 11 0 544431512 875315200 25731 4294967295 134512640 134569956 3221224400 3221214792 1131315125 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25731 13073 16 0 213684 0 vsize: 854800 [startup+220.01 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 20918 46 0 0 25 0 11 0 544431512 875315200 25805 4294967295 134512640 134569956 3221224400 3221214792 1131311898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25805 13073 16 0 213684 0 vsize: 854800 [startup+230.011 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 21905 46 0 0 25 0 11 0 544431512 875315200 25872 4294967295 134512640 134569956 3221224400 3221214632 1131364467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25872 13073 16 0 213684 0 vsize: 854800 [startup+240.01 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 22893 46 0 0 24 0 11 0 544431512 875315200 25923 4294967295 134512640 134569956 3221224400 3221214576 1131191053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25923 13073 16 0 213684 0 vsize: 854800 [startup+250.011 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 23880 46 0 0 24 0 11 0 544431512 875315200 25978 4294967295 134512640 134569956 3221224400 3221214792 1131314207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 25978 13073 16 0 213684 0 vsize: 854800 [startup+260.011 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 24866 46 0 0 25 0 11 0 544431512 875315200 26015 4294967295 134512640 134569956 3221224400 3221214792 1131316414 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26015 13073 16 0 213684 0 vsize: 854800 [startup+270.011 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 25850 46 0 0 25 0 11 0 544431512 875315200 26065 4294967295 134512640 134569956 3221224400 3221214928 1130863134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 26065 13073 16 0 213684 0 vsize: 854800 [startup+280.012 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 26833 46 0 0 25 0 11 0 544431512 875315200 26127 4294967295 134512640 134569956 3221224400 3221214792 1131316414 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26127 13073 16 0 213684 0 vsize: 854800 [startup+290.013 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 27819 47 0 0 25 0 11 0 544431512 875315200 26198 4294967295 134512640 134569956 3221224400 3221214792 1131313289 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26198 13073 16 0 213684 0 vsize: 854800 [startup+300.012 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 28805 47 0 0 25 0 11 0 544431512 875315200 26260 4294967295 134512640 134569956 3221224400 3221214672 1131263608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 26260 13073 16 0 213684 0 vsize: 854800 [startup+310.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 29792 47 0 0 25 0 11 0 544431512 875315200 26319 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26319 13073 16 0 213684 0 vsize: 854800 [startup+320.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 30779 47 0 0 25 0 11 0 544431512 875315200 26370 4294967295 134512640 134569956 3221224400 3221214792 1131310690 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26370 13073 16 0 213684 0 vsize: 854800 [startup+330.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 31765 47 0 0 24 0 11 0 544431512 875315200 26411 4294967295 134512640 134569956 3221224400 3221214792 1131316154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26411 13073 16 0 213684 0 vsize: 854800 [startup+340.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 32753 48 0 0 25 0 11 0 544431512 875315200 26485 4294967295 134512640 134569956 3221224400 3221214792 1131312830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26485 13073 16 0 213684 0 vsize: 854800 [startup+350.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 33740 48 0 0 25 0 11 0 544431512 875315200 26539 4294967295 134512640 134569956 3221224400 3221214792 1131323995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26539 13073 16 0 213684 0 vsize: 854800 [startup+360.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 34727 48 0 0 25 0 11 0 544431512 875315200 26591 4294967295 134512640 134569956 3221224400 3221214792 1131327153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26591 13073 16 0 213684 0 vsize: 854800 [startup+370.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 35714 49 0 0 25 0 11 0 544431512 875315200 26644 4294967295 134512640 134569956 3221224400 3221214608 1131610056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26644 13073 16 0 213684 0 vsize: 854800 [startup+380.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 36701 49 0 0 25 0 11 0 544431512 875315200 26691 4294967295 134512640 134569956 3221224400 3221214792 1131311637 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26691 13073 16 0 213684 0 vsize: 854800 [startup+390.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 37687 49 0 0 25 0 11 0 544431512 875315200 26764 4294967295 134512640 134569956 3221224400 3221214792 1131310935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26764 13073 16 0 213684 0 vsize: 854800 [startup+400.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 38674 50 0 0 25 0 11 0 544431512 875315200 26809 4294967295 134512640 134569956 3221224400 3221214792 1131323308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26809 13073 16 0 213684 0 vsize: 854800 [startup+410.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 39661 50 0 0 24 0 11 0 544431512 875315200 26855 4294967295 134512640 134569956 3221224400 3221214792 1131324187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 26855 13073 16 0 213684 0 vsize: 854800 [startup+420.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 40648 50 0 0 25 0 11 0 544431512 875315200 26938 4294967295 134512640 134569956 3221224400 3221214792 1131320701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 26938 13073 16 0 213684 0 vsize: 854800 [startup+430.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18567 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 41633 50 0 0 25 0 11 0 544431512 875315200 27004 4294967295 134512640 134569956 3221224400 3221214792 1131320830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27004 13073 16 0 213684 0 vsize: 854800 [startup+440.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 42618 51 0 0 25 0 11 0 544431512 875315200 27044 4294967295 134512640 134569956 3221224400 3221214680 1131288290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27044 13073 16 0 213684 0 vsize: 854800 [startup+450.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 43603 51 0 0 25 0 11 0 544431512 875315200 27082 4294967295 134512640 134569956 3221224400 3221214792 1131324206 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27082 13073 16 0 213684 0 vsize: 854800 [startup+460.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 44587 52 0 0 25 0 11 0 544431512 875315200 27179 4294967295 134512640 134569956 3221224400 3221214792 1131324242 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27179 13073 16 0 213684 0 vsize: 854800 [startup+470.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 45573 52 0 0 25 0 11 0 544431512 875315200 27230 4294967295 134512640 134569956 3221224400 3221214792 1131310935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27230 13073 16 0 213684 0 vsize: 854800 [startup+480.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 46560 52 0 0 25 0 11 0 544431512 875315200 27268 4294967295 134512640 134569956 3221224400 3221214792 1131310870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27268 13073 16 0 213684 0 vsize: 854800 [startup+490.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 47547 53 0 0 25 0 11 0 544431512 875315200 27363 4294967295 134512640 134569956 3221224400 3221214792 1131323069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27363 13073 16 0 213684 0 vsize: 854800 [startup+500.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 48536 53 0 0 25 0 11 0 544431512 875315200 27388 4294967295 134512640 134569956 3221224400 3221214400 1131589273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27388 13073 16 0 213684 0 vsize: 854800 [startup+510.048 s] Raw data (loadavg): 1.08 1.02 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 49523 53 0 0 25 0 11 0 544431512 875315200 27443 4294967295 134512640 134569956 3221224400 3221214792 1131324106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27443 13073 16 0 213684 0 vsize: 854800 [startup+520.048 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 50509 54 0 0 25 0 11 0 544431512 875315200 27487 4294967295 134512640 134569956 3221224400 3221214792 1131314848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27487 13073 16 0 213684 0 vsize: 854800 [startup+530.049 s] Raw data (loadavg): 1.06 1.01 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 51497 54 0 0 25 0 11 0 544431512 875315200 27562 4294967295 134512640 134569956 3221224400 3221214788 1131584803 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27562 13073 16 0 213684 0 vsize: 854800 [startup+540.049 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 52484 54 0 0 25 0 11 0 544431512 875315200 27613 4294967295 134512640 134569956 3221224400 3221214536 1131473449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27613 13073 16 0 213684 0 vsize: 854800 [startup+550.056 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 53472 55 0 0 25 0 11 0 544431512 875315200 27674 4294967295 134512640 134569956 3221224400 3221214792 1131320659 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27674 13073 16 0 213684 0 vsize: 854800 [startup+560.056 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 54458 55 0 0 25 0 11 0 544431512 875315200 27701 4294967295 134512640 134569956 3221224400 3221214792 1131326427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27701 13073 16 0 213684 0 vsize: 854800 [startup+570.056 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 55443 56 0 0 25 0 11 0 544431512 875315200 27747 4294967295 134512640 134569956 3221224400 3221214792 1131324724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 27747 13073 16 0 213684 0 vsize: 854800 [startup+580.061 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 56427 56 0 0 24 0 11 0 544431512 875315200 27813 4294967295 134512640 134569956 3221224400 3221214792 1131316087 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27813 13073 16 0 213684 0 vsize: 854800 [startup+590.068 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 57412 56 0 0 25 0 11 0 544431512 875315200 27864 4294967295 134512640 134569956 3221224400 3221214792 1131316154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27864 13073 16 0 213684 0 vsize: 854800 [startup+600.068 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 58395 57 0 0 25 0 11 0 544431512 875315200 27920 4294967295 134512640 134569956 3221224400 3221214792 1131318324 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27920 13073 16 0 213684 0 vsize: 854800 [startup+610.072 s] Raw data (loadavg): 1.09 1.02 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 59379 58 0 0 25 0 11 0 544431512 875315200 27992 4294967295 134512640 134569956 3221224400 3221214712 1131490471 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 27992 13073 16 0 213684 0 vsize: 854800 [startup+620.072 s] Raw data (loadavg): 1.08 1.02 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 60363 58 0 0 25 0 11 0 544431512 875315200 28088 4294967295 134512640 134569956 3221224400 3221214792 1131315945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28088 13073 16 0 213684 0 vsize: 854800 [startup+630.078 s] Raw data (loadavg): 1.07 1.02 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 61349 58 0 0 24 0 11 0 544431512 875315200 28165 4294967295 134512640 134569956 3221224400 3221214792 1131312638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28165 13073 16 0 213684 0 vsize: 854800 [startup+640.079 s] Raw data (loadavg): 1.06 1.02 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 62335 58 0 0 25 0 11 0 544431512 875315200 28237 4294967295 134512640 134569956 3221224400 3221214792 1131310870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28237 13073 16 0 213684 0 vsize: 854800 [startup+650.08 s] Raw data (loadavg): 1.05 1.02 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 63322 59 0 0 25 0 11 0 544431512 875315200 28301 4294967295 134512640 134569956 3221224400 3221214792 1131320884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28301 13073 16 0 213684 0 vsize: 854800 [startup+660.081 s] Raw data (loadavg): 1.04 1.02 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 64310 59 0 0 25 0 11 0 544431512 875315200 28334 4294967295 134512640 134569956 3221224400 3221214792 1131323107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28334 13073 16 0 213684 0 vsize: 854800 [startup+670.082 s] Raw data (loadavg): 1.03 1.02 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 65296 59 0 0 25 0 11 0 544431512 875315200 28393 4294967295 134512640 134569956 3221224400 3221214792 1131318342 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28393 13073 16 0 213684 0 vsize: 854800 [startup+680.083 s] Raw data (loadavg): 1.03 1.02 0.95 2/64 18568 Raw data (stat): 18552 (java) S 18551 18865 18864 0 -1 0 18133 3 1 0 66283 60 0 0 25 0 11 0 544431512 875315200 28428 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28428 13073 16 0 213684 0 vsize: 854800 [startup+690.084 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 67270 60 0 0 25 0 11 0 544431512 875315200 28526 4294967295 134512640 134569956 3221224400 3221214792 1131320815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28526 13073 16 0 213684 0 vsize: 854800 [startup+700.084 s] Raw data (loadavg): 1.02 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 68258 60 0 0 25 0 11 0 544431512 875315200 28575 4294967295 134512640 134569956 3221224400 3221214792 1131313058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28575 13073 16 0 213684 0 vsize: 854800 [startup+710.085 s] Raw data (loadavg): 1.02 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 69245 61 0 0 25 0 11 0 544431512 875315200 28611 4294967295 134512640 134569956 3221224400 3221214792 1131320830 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28611 13073 16 0 213684 0 vsize: 854800 [startup+720.086 s] Raw data (loadavg): 1.01 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 70232 61 0 0 25 0 11 0 544431512 875315200 28652 4294967295 134512640 134569956 3221224400 3221214792 1131315213 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28652 13073 16 0 213684 0 vsize: 854800 [startup+730.087 s] Raw data (loadavg): 1.01 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) S 18551 18865 18864 0 -1 0 18133 3 1 0 71217 62 0 0 25 0 11 0 544431512 875315200 28716 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28719 13073 16 0 213684 0 vsize: 854800 [startup+740.087 s] Raw data (loadavg): 1.01 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 72204 62 0 0 25 0 11 0 544431512 875315200 28781 4294967295 134512640 134569956 3221224400 3221214792 1131315930 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28781 13073 16 0 213684 0 vsize: 854800 [startup+750.088 s] Raw data (loadavg): 1.01 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 73192 63 0 0 25 0 11 0 544431512 875315200 28840 4294967295 134512640 134569956 3221224400 3221214792 1131323136 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28840 13073 16 0 213684 0 vsize: 854800 [startup+760.089 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 74180 63 0 0 25 0 11 0 544431512 875315200 28855 4294967295 134512640 134569956 3221224400 3221214792 1131310649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28855 13073 16 0 213684 0 vsize: 854800 [startup+770.09 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 75168 63 0 0 25 0 11 0 544431512 875315200 28922 4294967295 134512640 134569956 3221224400 3221214424 1080217222 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28922 13073 16 0 213684 0 vsize: 854800 [startup+780.09 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 76156 64 0 0 25 0 11 0 544431512 875315200 28968 4294967295 134512640 134569956 3221224400 3221214792 1131323932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 28968 13073 16 0 213684 0 vsize: 854800 [startup+790.091 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 77144 64 0 0 25 0 11 0 544431512 875315200 29020 4294967295 134512640 134569956 3221224400 3221214400 1131588785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29020 13073 16 0 213684 0 vsize: 854800 [startup+800.091 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 78133 65 0 0 25 0 11 0 544431512 875315200 29071 4294967295 134512640 134569956 3221224400 3221214792 1131316491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29071 13073 16 0 213684 0 vsize: 854800 [startup+810.092 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 79122 65 0 0 25 0 11 0 544431512 875315200 29108 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29108 13073 16 0 213684 0 vsize: 854800 [startup+820.093 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 80112 65 0 0 25 0 11 0 544431512 875315200 29137 4294967295 134512640 134569956 3221224400 3221214788 1131584803 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29137 13073 16 0 213684 0 vsize: 854800 [startup+830.092 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 81100 66 0 0 24 0 11 0 544431512 875315200 29181 4294967295 134512640 134569956 3221224400 3221214792 1131315945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29181 13073 16 0 213684 0 vsize: 854800 [startup+840.093 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 82089 66 0 0 25 0 11 0 544431512 875315200 29228 4294967295 134512640 134569956 3221224400 3221214792 1131323107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29228 13073 16 0 213684 0 vsize: 854800 [startup+850.093 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 83077 67 0 0 25 0 11 0 544431512 875315200 29245 4294967295 134512640 134569956 3221224400 3221214792 1131320743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29245 13073 16 0 213684 0 vsize: 854800 [startup+860.093 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 84065 67 0 0 25 0 11 0 544431512 875315200 29298 4294967295 134512640 134569956 3221224400 3221214792 1131310870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29298 13073 16 0 213684 0 vsize: 854800 [startup+870.093 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 85053 67 0 0 25 0 11 0 544431512 875315200 29323 4294967295 134512640 134569956 3221224400 3221214792 1131310935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29323 13073 16 0 213684 0 vsize: 854800 [startup+880.093 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 86039 67 0 0 25 0 11 0 544431512 875315200 29404 4294967295 134512640 134569956 3221224400 3221214792 1131324094 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29404 13073 16 0 213684 0 vsize: 854800 [startup+890.093 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 87026 68 0 0 25 0 11 0 544431512 875315200 29450 4294967295 134512640 134569956 3221224400 3221214792 1131324187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29450 13073 16 0 213684 0 vsize: 854800 [startup+900.094 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 88013 68 0 0 25 0 11 0 544431512 875315200 29484 4294967295 134512640 134569956 3221224400 3221214792 1131319254 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29484 13073 16 0 213684 0 vsize: 854800 [startup+910.095 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 89000 68 0 0 25 0 11 0 544431512 875315200 29565 4294967295 134512640 134569956 3221224400 3221214792 1131326161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29565 13073 16 0 213684 0 vsize: 854800 [startup+920.095 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 89989 68 0 0 25 0 11 0 544431512 875315200 29625 4294967295 134512640 134569956 3221224400 3221214792 1131318488 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29625 13073 16 0 213684 0 vsize: 854800 [startup+930.095 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 90976 69 0 0 24 0 11 0 544431512 875315200 29678 4294967295 134512640 134569956 3221224400 3221214792 1131315945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29678 13073 16 0 213684 0 vsize: 854800 [startup+940.096 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 91965 69 0 0 25 0 11 0 544431512 875315200 29718 4294967295 134512640 134569956 3221224400 3221214792 1131323107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29718 13073 16 0 213684 0 vsize: 854800 [startup+950.096 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 92954 69 0 0 25 0 11 0 544431512 875315200 29767 4294967295 134512640 134569956 3221224400 3221214792 1131310935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29767 13073 16 0 213684 0 vsize: 854800 [startup+960.097 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 93943 69 0 0 25 0 11 0 544431512 875315200 29808 4294967295 134512640 134569956 3221224400 3221214792 1131323995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29808 13073 16 0 213684 0 vsize: 854800 [startup+970.098 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 94932 70 0 0 25 0 11 0 544431512 875315200 29830 4294967295 134512640 134569956 3221224400 3221214792 1131323907 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29830 13073 16 0 213684 0 vsize: 854800 [startup+980.097 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 95920 70 0 0 25 0 11 0 544431512 875315200 29867 4294967295 134512640 134569956 3221224400 3221214792 1131320701 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29867 13073 16 0 213684 0 vsize: 854800 [startup+990.098 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 96910 70 0 0 25 0 11 0 544431512 875315200 29903 4294967295 134512640 134569956 3221224400 3221214792 1131326453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29903 13073 16 0 213684 0 vsize: 854800 [startup+1000.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 97898 71 0 0 25 0 11 0 544431512 875315200 29931 4294967295 134512640 134569956 3221224400 3221214792 1131318104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29931 13073 16 0 213684 0 vsize: 854800 [startup+1010.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 98886 71 0 0 25 0 11 0 544431512 875315200 29950 4294967295 134512640 134569956 3221224400 3221214792 1131324068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 29950 13073 16 0 213684 0 vsize: 854800 [startup+1020.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 99873 71 0 0 25 0 11 0 544431512 875315200 30040 4294967295 134512640 134569956 3221224400 3221214792 1131316095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30040 13073 16 0 213684 0 vsize: 854800 [startup+1030.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 100861 72 0 0 25 0 11 0 544431512 875315200 30061 4294967295 134512640 134569956 3221224400 3221214792 1131318484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30061 13073 16 0 213684 0 vsize: 854800 [startup+1040.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 101850 73 0 0 25 0 11 0 544431512 875315200 30109 4294967295 134512640 134569956 3221224400 3221214904 1131290992 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30109 13073 16 0 213684 0 vsize: 854800 [startup+1050.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 102839 73 0 0 25 0 11 0 544431512 875315200 30129 4294967295 134512640 134569956 3221224400 3221214792 1131320772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30129 13073 16 0 213684 0 vsize: 854800 [startup+1060.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 103828 73 0 0 25 0 11 0 544431512 875315200 30152 4294967295 134512640 134569956 3221224400 3221214792 1131313426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30152 13073 16 0 213684 0 vsize: 854800 [startup+1070.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 104817 74 0 0 25 0 11 0 544431512 875315200 30205 4294967295 134512640 134569956 3221224400 3221214792 1131312697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30205 13073 16 0 213684 0 vsize: 854800 [startup+1080.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 105805 74 0 0 25 0 11 0 544431512 875315200 30229 4294967295 134512640 134569956 3221224400 3221214792 1131318356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30229 13073 16 0 213684 0 vsize: 854800 [startup+1090.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 106793 75 0 0 25 0 11 0 544431512 875315200 30260 4294967295 134512640 134569956 3221224400 3221214792 1131315945 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30260 13073 16 0 213684 0 vsize: 854800 [startup+1100.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 107782 75 0 0 25 0 11 0 544431512 875315200 30314 4294967295 134512640 134569956 3221224400 3221214792 1131318331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30314 13073 16 0 213684 0 vsize: 854800 [startup+1110.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 108770 75 0 0 25 0 11 0 544431512 875315200 30325 4294967295 134512640 134569956 3221224400 3221214792 1131323178 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30325 13073 16 0 213684 0 vsize: 854800 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 109757 75 0 0 24 0 11 0 544431512 875315200 30376 4294967295 134512640 134569956 3221224400 3221214568 1131191528 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30376 13073 16 0 213684 0 vsize: 854800 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 110744 76 0 0 25 0 11 0 544431512 875315200 30423 4294967295 134512640 134569956 3221224400 3221214792 1131313180 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30423 13073 16 0 213684 0 vsize: 854800 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 111732 76 0 0 25 0 11 0 544431512 875315200 30481 4294967295 134512640 134569956 3221224400 3221214792 1131318048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30481 13073 16 0 213684 0 vsize: 854800 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 112720 77 0 0 25 0 11 0 544431512 875315200 30534 4294967295 134512640 134569956 3221224400 3221214792 1131316450 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30534 13073 16 0 213684 0 vsize: 854800 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18568 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 113708 77 0 0 25 0 11 0 544431512 875315200 30578 4294967295 134512640 134569956 3221224400 3221214792 1131310870 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30578 13073 16 0 213684 0 vsize: 854800 [startup+1170.11 s] Raw data (loadavg): 1.08 1.02 0.95 2/64 18621 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 114692 80 0 0 25 0 11 0 544431512 875315200 30620 4294967295 134512640 134569956 3221224400 3221214792 1131318402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 30620 13073 16 0 213684 0 vsize: 854800 [startup+1180.1 s] Raw data (loadavg): 1.15 1.03 0.96 2/64 18621 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 115678 80 0 0 24 0 11 0 544431512 875315200 30640 4294967295 134512640 134569956 3221224400 3221214792 1131326196 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30640 13073 16 0 213684 0 vsize: 854800 [startup+1190.1 s] Raw data (loadavg): 1.20 1.05 0.96 2/64 18621 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 116666 80 0 0 25 0 11 0 544431512 875315200 30687 4294967295 134512640 134569956 3221224400 3221214792 1131314881 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30687 13073 16 0 213684 0 vsize: 854800 [startup+1200.11 s] Raw data (loadavg): 1.17 1.04 0.96 2/64 18621 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 117654 80 0 0 25 0 11 0 544431512 875315200 30761 4294967295 134512640 134569956 3221224400 3221214792 1131316114 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30761 13073 16 0 213684 0 vsize: 854800 [startup+1210.11 s] Raw data (loadavg): 1.14 1.04 0.96 2/64 18621 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 118641 80 0 0 25 0 11 0 544431512 875315200 30816 4294967295 134512640 134569956 3221224400 3221214792 1131324475 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30816 13073 16 0 213684 0 vsize: 854800 [startup+1220.11 s] Raw data (loadavg): 1.12 1.04 0.96 2/64 18621 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 119630 81 0 0 25 0 11 0 544431512 875315200 30839 4294967295 134512640 134569956 3221224400 3221214792 1131323136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213700 30839 13073 16 0 213684 0 vsize: 854800 [startup+1230.11 s] Raw data (loadavg): 1.10 1.04 0.96 2/64 18621 Raw data (stat): 18552 (java) R 18551 18865 18864 0 -1 0 18133 3 1 0 120618 81 0 0 25 0 11 0 544431512 875315200 30898 4294967295 134512640 134569956 3221224400 3221214792 1131326457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213700 30898 13073 16 0 213684 0 vsize: 854800 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.18 s] Raw data (loadavg): 1.10 1.04 0.96 1/54 18623 Raw data (stat): 18552 (java) Z 18551 18865 18864 0 -1 1036 18133 7327 1 0 120620 81 1593 33 25 0 1 0 544431512 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): 1230.18 CPU time (s): 1223.29 CPU user time (s): 1222.14 CPU system time (s): 1.14882 CPU usage (%): 99.44 Max. virtual memory (Kb): 857856 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####