Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-3.opb |
MD5SUM | b95391b071a3986ad670119101f16613 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -43 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1534 |
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 | 1534 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1534 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.13 |
Number of variables | 1534 |
Total number of constraints | 126082 |
Number of constraints which are clauses | 126082 |
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 | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-04-13 18:03:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3159 boxname=wulflinc10 idbench=351 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: b95391b071a3986ad670119101f16613 /oldhome/oroussel/tmp/wulflinc10/normalized-frb59-26-3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc10/normalized-frb59-26-3.opb IDLAUNCH: 3159 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 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 : 450.999 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: 908112 kB Buffers: 33292 kB Cached: 73440 kB SwapCached: 164 kB Active: 49724 kB Inactive: 60036 kB HighTotal: 131008 kB HighFree: 53928 kB LowTotal: 903652 kB LowFree: 854184 kB SwapTotal: 2097136 kB SwapFree: 2096972 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6916 kB Slab: 11284 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 18:25:57 (client local time) WITH STATUS 143 IN SECONDS stats: 3159 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc10/normalized-frb59-26-3.opb c reading problem c [nbvar=1534] c [nbconstr=126082] c time 18.936 c #vars 1534 c #clauses 126082 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=0 c Current CPU time (ms) : 19.446 c starts : 1 c conflicts : 0 c decisions : 1534 c propagations : 1534 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=-1 c Current CPU time (ms) : 19.683 c starts : 2 c conflicts : 0 c decisions : 3067 c propagations : 3068 c inspects : 205 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 2 c c CURRENT OPTIMUM=-2 c Current CPU time (ms) : 26.254 c starts : 3 c conflicts : 25 c decisions : 4600 c propagations : 4952 c inspects : 5351 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 25 c root simplifications : 3 c c CURRENT OPTIMUM=-42 c Current CPU time (ms) : 26.807 c starts : 4 c conflicts : 25 c decisions : 4642 c propagations : 6486 c inspects : 12165 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 25 c root simplifications : 4 c c CURRENT OPTIMUM=-43 c Current CPU time (ms) : 27.64 c starts : 5 c conflicts : 27 c decisions : 4686 c propagations : 8031 c inspects : 19828 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 27 c root simplifications : 5 c c CURRENT OPTIMUM=-44 c Current CPU time (ms) : 79.936 c starts : 7 c conflicts : 167 c decisions : 4967 c propagations : 12116 c inspects : 97024 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 167 c root simplifications : 7 #### 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.97 0.99 2/54 26911 Raw data (stat): 26911 (runsolver) R 26910 25347 25346 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419748395 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 26920 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 17997 0 1 0 774 48 0 0 25 0 10 0 419748395 854249472 23086 4294967295 134512640 134569956 3221224416 3221214832 1131302972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208557 23086 13073 16 0 208541 0 vsize: 834228 [startup+20.0015 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 26921 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18025 0 1 0 1654 51 0 0 25 0 11 0 419748395 854777856 29555 4294967295 134512640 134569956 3221224416 3221214936 1131320173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208686 29555 13073 16 0 208670 0 vsize: 834744 [startup+30.0025 s] Raw data (loadavg): 1.32 1.07 1.02 3/64 26926 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18081 3 1 0 2339 52 0 0 25 0 11 0 419748395 862466048 37451 4294967295 134512640 134569956 3221224416 3221214608 1130894847 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210563 37451 13073 16 0 210547 0 vsize: 842252 [startup+40.0026 s] Raw data (loadavg): 1.27 1.06 1.02 2/64 26926 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18082 3 1 0 3231 52 0 0 25 0 11 0 419748395 861904896 37748 4294967295 134512640 134569956 3221224416 3221214672 1131192395 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 37748 13073 16 0 210410 0 vsize: 841704 [startup+50.0031 s] Raw data (loadavg): 1.23 1.06 1.02 2/64 26926 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18082 3 1 0 4142 52 0 0 25 0 11 0 419748395 861904896 38120 4294967295 134512640 134569956 3221224416 3221214608 1131427507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 38120 13073 16 0 210410 0 vsize: 841704 [startup+60.0033 s] Raw data (loadavg): 1.19 1.06 1.02 2/64 26926 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 5054 52 0 0 25 0 11 0 419748395 861904896 38570 4294967295 134512640 134569956 3221224416 3221214648 1131179907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 38570 13073 16 0 210410 0 vsize: 841704 [startup+70.0038 s] Raw data (loadavg): 1.16 1.06 1.02 2/64 26926 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 5943 52 0 0 25 0 11 0 419748395 861904896 38997 4294967295 134512640 134569956 3221224416 3221214672 1131191568 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 38997 13073 16 0 210410 0 vsize: 841704 [startup+80.0048 s] Raw data (loadavg): 1.14 1.05 1.02 2/64 26926 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 6803 53 0 0 25 0 11 0 419748395 861904896 39853 4294967295 134512640 134569956 3221224416 3221214832 1131392022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 39853 13073 16 0 210410 0 vsize: 841704 [startup+90.0079 s] Raw data (loadavg): 1.11 1.05 1.02 2/64 26927 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 7641 53 0 0 16 0 11 0 419748395 861904896 40272 4294967295 134512640 134569956 3221224416 3221214832 1131392718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 40272 13073 16 0 210410 0 vsize: 841704 [startup+100.008 s] Raw data (loadavg): 1.10 1.05 1.01 2/64 26927 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 8510 53 0 0 21 0 11 0 419748395 861904896 40838 4294967295 134512640 134569956 3221224416 3221214672 1131192378 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 40838 13073 16 0 210410 0 vsize: 841704 [startup+110.009 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 26927 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 9382 54 0 0 25 0 11 0 419748395 861904896 41284 4294967295 134512640 134569956 3221224416 3221214768 1131353910 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 41284 13073 16 0 210410 0 vsize: 841704 [startup+120.009 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 26927 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 10274 55 0 0 25 0 11 0 419748395 861904896 41726 4294967295 134512640 134569956 3221224416 3221214568 1131523673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 41726 13073 16 0 210410 0 vsize: 841704 [startup+130.01 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 26927 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 11165 55 0 0 25 0 11 0 419748395 861904896 42218 4294967295 134512640 134569956 3221224416 3221214672 1131192772 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 42218 13073 16 0 210410 0 vsize: 841704 [startup+140.01 s] Raw data (loadavg): 1.05 1.04 1.01 2/64 26927 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 12057 55 0 0 25 0 11 0 419748395 861904896 42542 4294967295 134512640 134569956 3221224416 3221214672 1131192314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 42542 13073 16 0 210410 0 vsize: 841704 [startup+150.01 s] Raw data (loadavg): 1.04 1.04 1.01 2/64 26927 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 12914 55 0 0 25 0 11 0 419748395 861904896 42865 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 42865 13073 16 0 210410 0 vsize: 841704 [startup+160.011 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 13763 56 0 0 25 0 11 0 419748395 861904896 43038 4294967295 134512640 134569956 3221224416 3221214672 1131192675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 43038 13073 16 0 210410 0 vsize: 841704 [startup+170.011 s] Raw data (loadavg): 1.03 1.04 1.01 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 14614 56 0 0 25 0 11 0 419748395 861904896 43679 4294967295 134512640 134569956 3221224416 3221214704 1131675680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 43679 13073 16 0 210410 0 vsize: 841704 [startup+180.011 s] Raw data (loadavg): 1.02 1.03 1.01 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 15499 57 0 0 24 0 11 0 419748395 861904896 43980 4294967295 134512640 134569956 3221224416 3221214592 1131650926 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 43980 13073 16 0 210410 0 vsize: 841704 [startup+190.011 s] Raw data (loadavg): 1.02 1.03 1.01 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 16390 57 0 0 25 0 11 0 419748395 861904896 44270 4294967295 134512640 134569956 3221224416 3221214764 1131192781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 44270 13073 16 0 210410 0 vsize: 841704 [startup+200.012 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 17265 57 0 0 25 0 11 0 419748395 861904896 44708 4294967295 134512640 134569956 3221224416 3221214592 1131650923 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 44708 13073 16 0 210410 0 vsize: 841704 [startup+210.012 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 18156 58 0 0 25 0 11 0 419748395 861904896 44888 4294967295 134512640 134569956 3221224416 3221214672 1131191403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 44888 13073 16 0 210410 0 vsize: 841704 [startup+220.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 19039 58 0 0 24 0 11 0 419748395 861904896 45426 4294967295 134512640 134569956 3221224416 3221214768 1131353824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 45426 13073 16 0 210410 0 vsize: 841704 [startup+230.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 19923 58 0 0 25 0 11 0 419748395 861904896 45699 4294967295 134512640 134569956 3221224416 3221214672 1131191819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 45699 13073 16 0 210410 0 vsize: 841704 [startup+240.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 20813 58 0 0 25 0 11 0 419748395 861904896 46083 4294967295 134512640 134569956 3221224416 3221214816 1131381988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 46083 13073 16 0 210410 0 vsize: 841704 [startup+250.013 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 21702 59 0 0 25 0 11 0 419748395 861904896 46362 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 46362 13073 16 0 210410 0 vsize: 841704 [startup+260.014 s] Raw data (loadavg): 1.08 1.04 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 22594 59 0 0 25 0 11 0 419748395 861904896 46675 4294967295 134512640 134569956 3221224416 3221214672 1131191373 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 46675 13073 16 0 210410 0 vsize: 841704 [startup+270.014 s] Raw data (loadavg): 1.07 1.04 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 23439 60 0 0 25 0 11 0 419748395 861904896 46822 4294967295 134512640 134569956 3221224416 3221214672 1131191542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 46822 13073 16 0 210410 0 vsize: 841704 [startup+280.015 s] Raw data (loadavg): 1.06 1.04 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 24311 60 0 0 25 0 11 0 419748395 861904896 47273 4294967295 134512640 134569956 3221224416 3221214784 1131662356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 47273 13073 16 0 210410 0 vsize: 841704 [startup+290.016 s] Raw data (loadavg): 1.05 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 25212 60 0 0 25 0 11 0 419748395 861904896 47582 4294967295 134512640 134569956 3221224416 3221214672 1131192663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 47582 13073 16 0 210410 0 vsize: 841704 [startup+300.015 s] Raw data (loadavg): 1.04 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 26102 60 0 0 25 0 11 0 419748395 861904896 47676 4294967295 134512640 134569956 3221224416 3221214680 1131379432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 47676 13073 16 0 210410 0 vsize: 841704 [startup+310.015 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 26983 61 0 0 25 0 11 0 419748395 861904896 48182 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 48182 13073 16 0 210410 0 vsize: 841704 [startup+320.016 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 27851 61 0 0 25 0 11 0 419748395 861904896 48616 4294967295 134512640 134569956 3221224416 3221214760 1131432957 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 48616 13073 16 0 210410 0 vsize: 841704 [startup+330.016 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 28737 61 0 0 25 0 11 0 419748395 861904896 48853 4294967295 134512640 134569956 3221224416 3221214768 1131353978 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 48853 13073 16 0 210410 0 vsize: 841704 [startup+340.016 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 29608 61 0 0 24 0 11 0 419748395 861904896 49132 4294967295 134512640 134569956 3221224416 3221214672 1131191542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 49132 13073 16 0 210410 0 vsize: 841704 [startup+350.016 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 30493 61 0 0 25 0 11 0 419748395 861904896 49462 4294967295 134512640 134569956 3221224416 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 49462 13073 16 0 210410 0 vsize: 841704 [startup+360.017 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 31379 62 0 0 25 0 11 0 419748395 861904896 49765 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 49765 13073 16 0 210410 0 vsize: 841704 [startup+370.017 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 32271 62 0 0 25 0 11 0 419748395 861904896 50030 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 50030 13073 16 0 210410 0 vsize: 841704 [startup+380.018 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 33156 62 0 0 25 0 11 0 419748395 861904896 50332 4294967295 134512640 134569956 3221224416 3221214680 1131379345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 50332 13073 16 0 210410 0 vsize: 841704 [startup+390.018 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 34038 63 0 0 20 0 11 0 419748395 861904896 50580 4294967295 134512640 134569956 3221224416 3221214724 1131428708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 50580 13073 16 0 210410 0 vsize: 841704 [startup+400.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 34928 63 0 0 25 0 11 0 419748395 861904896 50870 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 50870 13073 16 0 210410 0 vsize: 841704 [startup+410.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 35808 63 0 0 25 0 11 0 419748395 861904896 51110 4294967295 134512640 134569956 3221224416 3221214768 1131354750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 51110 13073 16 0 210410 0 vsize: 841704 [startup+420.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 36695 63 0 0 25 0 11 0 419748395 861904896 51371 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 51371 13073 16 0 210410 0 vsize: 841704 [startup+430.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 37567 64 0 0 25 0 11 0 419748395 861904896 51694 4294967295 134512640 134569956 3221224416 3221214672 1131192049 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 51694 13073 16 0 210410 0 vsize: 841704 [startup+440.02 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 38453 64 0 0 25 0 11 0 419748395 861904896 52024 4294967295 134512640 134569956 3221224416 3221214672 1131191403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 52024 13073 16 0 210410 0 vsize: 841704 [startup+450.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 39299 65 0 0 25 0 11 0 419748395 861904896 52273 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 52273 13073 16 0 210410 0 vsize: 841704 [startup+460.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 40173 65 0 0 25 0 11 0 419748395 861904896 52653 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 52653 13073 16 0 210410 0 vsize: 841704 [startup+470.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 41087 65 0 0 25 0 11 0 419748395 861904896 53041 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 53041 13073 16 0 210410 0 vsize: 841704 [startup+480.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 42015 66 0 0 25 0 11 0 419748395 861904896 53091 4294967295 134512640 134569956 3221224416 3221214768 1131353880 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 53091 13073 16 0 210410 0 vsize: 841704 [startup+490.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 42916 67 0 0 25 0 11 0 419748395 861904896 53120 4294967295 134512640 134569956 3221224416 3221214592 1131651548 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 53120 13073 16 0 210410 0 vsize: 841704 [startup+500.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 43810 67 0 0 25 0 11 0 419748395 861904896 53411 4294967295 134512640 134569956 3221224416 3221214672 1131192692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 53411 13073 16 0 210410 0 vsize: 841704 [startup+510.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 44693 67 0 0 25 0 11 0 419748395 861904896 53562 4294967295 134512640 134569956 3221224416 3221214672 1131191582 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 53562 13073 16 0 210410 0 vsize: 841704 [startup+520.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 45584 67 0 0 25 0 11 0 419748395 861904896 53779 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 53779 13073 16 0 210410 0 vsize: 841704 [startup+530.027 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 46451 67 0 0 25 0 11 0 419748395 861904896 54121 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 54121 13073 16 0 210410 0 vsize: 841704 [startup+540.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 47337 67 0 0 25 0 11 0 419748395 861904896 54386 4294967295 134512640 134569956 3221224416 3221214672 1131191361 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 54386 13073 16 0 210410 0 vsize: 841704 [startup+550.026 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 48221 67 0 0 25 0 11 0 419748395 861904896 54647 4294967295 134512640 134569956 3221224416 3221214592 1131652288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 54647 13073 16 0 210410 0 vsize: 841704 [startup+560.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 49119 67 0 0 25 0 11 0 419748395 861904896 54953 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 54953 13073 16 0 210410 0 vsize: 841704 [startup+570.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 50009 68 0 0 25 0 11 0 419748395 861904896 55174 4294967295 134512640 134569956 3221224416 3221214672 1131192030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 55174 13073 16 0 210410 0 vsize: 841704 [startup+580.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 50915 68 0 0 25 0 11 0 419748395 861904896 55359 4294967295 134512640 134569956 3221224416 3221214820 1080203737 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 55359 13073 16 0 210410 0 vsize: 841704 [startup+590.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 51819 68 0 0 25 0 11 0 419748395 861904896 55646 4294967295 134512640 134569956 3221224416 3221214760 1131432031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 55646 13073 16 0 210410 0 vsize: 841704 [startup+600.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 52728 69 0 0 25 0 11 0 419748395 861904896 55842 4294967295 134512640 134569956 3221224416 3221214672 1131191917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 55842 13073 16 0 210410 0 vsize: 841704 [startup+610.032 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 53638 69 0 0 25 0 11 0 419748395 861904896 56130 4294967295 134512640 134569956 3221224416 3221214616 1131429476 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 56130 13073 16 0 210410 0 vsize: 841704 [startup+620.032 s] Raw data (loadavg): 1.06 1.02 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 54561 69 0 0 25 0 11 0 419748395 861904896 56365 4294967295 134512640 134569956 3221224416 3221214768 1131353939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 56365 13073 16 0 210410 0 vsize: 841704 [startup+630.032 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 55488 70 0 0 22 0 11 0 419748395 861904896 56512 4294967295 134512640 134569956 3221224416 3221214704 1131675663 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 56512 13073 16 0 210410 0 vsize: 841704 [startup+640.033 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 56405 70 0 0 25 0 11 0 419748395 861904896 56655 4294967295 134512640 134569956 3221224416 3221214672 1131192053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 56655 13073 16 0 210410 0 vsize: 841704 [startup+650.032 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 57315 70 0 0 25 0 11 0 419748395 861904896 56730 4294967295 134512640 134569956 3221224416 3221214832 1131392432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 56730 13073 16 0 210410 0 vsize: 841704 [startup+660.033 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 58222 71 0 0 25 0 11 0 419748395 861904896 56965 4294967295 134512640 134569956 3221224416 3221214672 1131191535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 56965 13073 16 0 210410 0 vsize: 841704 [startup+670.033 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 59134 71 0 0 25 0 11 0 419748395 861904896 57183 4294967295 134512640 134569956 3221224416 3221214672 1131191638 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 57183 13073 16 0 210410 0 vsize: 841704 [startup+680.034 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 60043 71 0 0 24 0 11 0 419748395 861904896 57430 4294967295 134512640 134569956 3221224416 3221214672 1131191572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 57430 13073 16 0 210410 0 vsize: 841704 [startup+690.033 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 60962 71 0 0 25 0 11 0 419748395 861904896 57611 4294967295 134512640 134569956 3221224416 3221214768 1131354027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 57611 13073 16 0 210410 0 vsize: 841704 [startup+700.034 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 61883 71 0 0 25 0 11 0 419748395 861904896 57778 4294967295 134512640 134569956 3221224416 3221214672 1131191403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 57778 13073 16 0 210410 0 vsize: 841704 [startup+710.035 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 62793 71 0 0 25 0 11 0 419748395 861904896 57931 4294967295 134512640 134569956 3221224416 3221214672 1131191921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 57931 13073 16 0 210410 0 vsize: 841704 [startup+720.034 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 63709 71 0 0 25 0 11 0 419748395 861904896 58153 4294967295 134512640 134569956 3221224416 3221214672 1131191677 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 58153 13073 16 0 210410 0 vsize: 841704 [startup+730.035 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 64613 71 0 0 25 0 11 0 419748395 861904896 58326 4294967295 134512640 134569956 3221224416 3221214672 1131191806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 58326 13073 16 0 210410 0 vsize: 841704 [startup+740.036 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 65526 71 0 0 25 0 11 0 419748395 861904896 58593 4294967295 134512640 134569956 3221224416 3221214592 1131651450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 58593 13073 16 0 210410 0 vsize: 841704 [startup+750.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 66431 71 0 0 25 0 11 0 419748395 861904896 58786 4294967295 134512640 134569956 3221224416 3221214672 1131191369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 58786 13073 16 0 210410 0 vsize: 841704 [startup+760.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 67329 71 0 0 25 0 11 0 419748395 861904896 58926 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 58926 13073 16 0 210410 0 vsize: 841704 [startup+770.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 68230 71 0 0 25 0 11 0 419748395 861904896 59171 4294967295 134512640 134569956 3221224416 3221214672 1131191378 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 59171 13073 16 0 210410 0 vsize: 841704 [startup+780.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 69123 71 0 0 25 0 11 0 419748395 861904896 59458 4294967295 134512640 134569956 3221224416 3221214672 1131192130 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 59458 13073 16 0 210410 0 vsize: 841704 [startup+790.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 70032 71 0 0 25 0 11 0 419748395 861904896 59632 4294967295 134512640 134569956 3221224416 3221214672 1131191953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 59632 13073 16 0 210410 0 vsize: 841704 [startup+800.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 70943 71 0 0 25 0 11 0 419748395 861904896 59882 4294967295 134512640 134569956 3221224416 3221214672 1131191365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 59882 13073 16 0 210410 0 vsize: 841704 [startup+810.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 71855 71 0 0 25 0 11 0 419748395 861904896 60078 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 60078 13073 16 0 210410 0 vsize: 841704 [startup+820.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 72759 71 0 0 25 0 11 0 419748395 861904896 60298 4294967295 134512640 134569956 3221224416 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 60298 13073 16 0 210410 0 vsize: 841704 [startup+830.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 73666 72 0 0 25 0 11 0 419748395 861904896 60550 4294967295 134512640 134569956 3221224416 3221214672 1131191815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 60550 13073 16 0 210410 0 vsize: 841704 [startup+840.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 74541 72 0 0 25 0 11 0 419748395 861904896 60729 4294967295 134512640 134569956 3221224416 3221214672 1131191357 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 60729 13073 16 0 210410 0 vsize: 841704 [startup+850.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 75434 72 0 0 25 0 11 0 419748395 861904896 60944 4294967295 134512640 134569956 3221224416 3221214672 1131191373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 60944 13073 16 0 210410 0 vsize: 841704 [startup+860.042 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 76351 72 0 0 25 0 11 0 419748395 861904896 61198 4294967295 134512640 134569956 3221224416 3221214672 1131192403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 61198 13073 16 0 210410 0 vsize: 841704 [startup+870.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 77304 72 0 0 25 0 11 0 419748395 861904896 61246 4294967295 134512640 134569956 3221224416 3221214768 1131353907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 61246 13073 16 0 210410 0 vsize: 841704 [startup+880.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 78229 72 0 0 25 0 11 0 419748395 861904896 61276 4294967295 134512640 134569956 3221224416 3221214672 1131192163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 61276 13073 16 0 210410 0 vsize: 841704 [startup+890.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 79137 72 0 0 25 0 11 0 419748395 861904896 61309 4294967295 134512640 134569956 3221224416 3221214640 1131332385 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 61309 13073 16 0 210410 0 vsize: 841704 [startup+900.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 80026 73 0 0 25 0 11 0 419748395 861904896 61483 4294967295 134512640 134569956 3221224416 3221214672 1131191801 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 61483 13073 16 0 210410 0 vsize: 841704 [startup+910.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 80911 73 0 0 25 0 11 0 419748395 861904896 61811 4294967295 134512640 134569956 3221224416 3221214672 1131192302 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 61811 13073 16 0 210410 0 vsize: 841704 [startup+920.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 81800 73 0 0 24 0 11 0 419748395 861904896 61985 4294967295 134512640 134569956 3221224416 3221214768 1131353978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 61985 13073 16 0 210410 0 vsize: 841704 [startup+930.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 82695 73 0 0 25 0 11 0 419748395 861904896 62260 4294967295 134512640 134569956 3221224416 3221214764 1131192781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 62260 13073 16 0 210410 0 vsize: 841704 [startup+940.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 83587 73 0 0 25 0 11 0 419748395 861904896 62544 4294967295 134512640 134569956 3221224416 3221214672 1131191761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 62544 13073 16 0 210410 0 vsize: 841704 [startup+950.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 84496 73 0 0 25 0 11 0 419748395 861904896 62723 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 62723 13073 16 0 210410 0 vsize: 841704 [startup+960.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 85393 73 0 0 25 0 11 0 419748395 861904896 63004 4294967295 134512640 134569956 3221224416 3221214672 1131192650 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 63004 13073 16 0 210410 0 vsize: 841704 [startup+970.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 86301 73 0 0 25 0 11 0 419748395 861904896 63158 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 63158 13073 16 0 210410 0 vsize: 841704 [startup+980.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 87195 73 0 0 25 0 11 0 419748395 861904896 63388 4294967295 134512640 134569956 3221224416 3221214672 1131191365 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 63388 13073 16 0 210410 0 vsize: 841704 [startup+990.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 88100 73 0 0 25 0 11 0 419748395 861904896 63650 4294967295 134512640 134569956 3221224416 3221214680 1131487812 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 63650 13073 16 0 210410 0 vsize: 841704 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 89005 74 0 0 25 0 11 0 419748395 861904896 63880 4294967295 134512640 134569956 3221224416 3221214672 1131191542 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 63880 13073 16 0 210410 0 vsize: 841704 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 89901 74 0 0 24 0 11 0 419748395 861904896 64112 4294967295 134512640 134569956 3221224416 3221214704 1131669667 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 64112 13073 16 0 210410 0 vsize: 841704 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 90808 74 0 0 25 0 11 0 419748395 861904896 64259 4294967295 134512640 134569956 3221224416 3221214672 1131191369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 64259 13073 16 0 210410 0 vsize: 841704 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 91711 74 0 0 25 0 11 0 419748395 861904896 64544 4294967295 134512640 134569956 3221224416 3221214720 1131192107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 64544 13073 16 0 210410 0 vsize: 841704 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 92625 74 0 0 25 0 11 0 419748395 861904896 64788 4294967295 134512640 134569956 3221224416 3221214768 1131353950 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 64788 13073 16 0 210410 0 vsize: 841704 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 93536 74 0 0 25 0 11 0 419748395 861904896 65005 4294967295 134512640 134569956 3221224416 3221214768 1131354750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 65005 13073 16 0 210410 0 vsize: 841704 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 94455 74 0 0 25 0 11 0 419748395 861904896 65173 4294967295 134512640 134569956 3221224416 3221214592 1131652267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 65173 13073 16 0 210410 0 vsize: 841704 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 95354 74 0 0 25 0 11 0 419748395 861904896 65318 4294967295 134512640 134569956 3221224416 3221214764 1131192781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 65318 13073 16 0 210410 0 vsize: 841704 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 96259 74 0 0 25 0 11 0 419748395 861904896 65568 4294967295 134512640 134569956 3221224416 3221214672 1131191369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 65568 13073 16 0 210410 0 vsize: 841704 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 97165 74 0 0 25 0 11 0 419748395 861904896 65815 4294967295 134512640 134569956 3221224416 3221214832 1131392280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 65815 13073 16 0 210410 0 vsize: 841704 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 98083 75 0 0 25 0 11 0 419748395 861904896 66074 4294967295 134512640 134569956 3221224416 3221214672 1131192017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 66074 13073 16 0 210410 0 vsize: 841704 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 99001 75 0 0 25 0 11 0 419748395 861904896 66276 4294967295 134512640 134569956 3221224416 3221214672 1131192764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 66276 13073 16 0 210410 0 vsize: 841704 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 99937 75 0 0 25 0 11 0 419748395 861904896 66402 4294967295 134512640 134569956 3221224416 3221214768 1131353907 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 66402 13073 16 0 210410 0 vsize: 841704 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 100857 75 0 0 25 0 11 0 419748395 861904896 66588 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 66588 13073 16 0 210410 0 vsize: 841704 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 101768 75 0 0 25 0 11 0 419748395 861904896 66712 4294967295 134512640 134569956 3221224416 3221214784 1131662356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 66712 13073 16 0 210410 0 vsize: 841704 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) S 26910 25347 25346 0 -1 0 18083 3 1 0 102669 75 0 0 25 0 11 0 419748395 861904896 66933 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 66933 13073 16 0 210410 0 vsize: 841704 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 103582 75 0 0 24 0 11 0 419748395 861904896 67213 4294967295 134512640 134569956 3221224416 3221214768 1131353873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 67213 13073 16 0 210410 0 vsize: 841704 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 104501 75 0 0 25 0 11 0 419748395 861904896 67376 4294967295 134512640 134569956 3221224416 3221214592 1131652232 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 67376 13073 16 0 210410 0 vsize: 841704 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 105414 75 0 0 25 0 11 0 419748395 861904896 67577 4294967295 134512640 134569956 3221224416 3221214672 1131191403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 67577 13073 16 0 210410 0 vsize: 841704 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 106330 75 0 0 25 0 11 0 419748395 861904896 67768 4294967295 134512640 134569956 3221224416 3221214568 1131523663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 67768 13073 16 0 210410 0 vsize: 841704 [startup+1200.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 107250 75 0 0 25 0 11 0 419748395 861904896 67951 4294967295 134512640 134569956 3221224416 3221214592 1131651143 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 67951 13073 16 0 210410 0 vsize: 841704 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 108170 75 0 0 25 0 11 0 419748395 861904896 68143 4294967295 134512640 134569956 3221224416 3221214672 1131191396 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 68143 13073 16 0 210410 0 vsize: 841704 [startup+1220.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 109096 75 0 0 25 0 11 0 419748395 861904896 68377 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210426 68377 13073 16 0 210410 0 vsize: 841704 [startup+1230.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 110022 75 0 0 24 0 11 0 419748395 861904896 68517 4294967295 134512640 134569956 3221224416 3221214768 1131353910 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 68517 13073 16 0 210410 0 vsize: 841704 [startup+1240.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 110954 76 0 0 25 0 11 0 419748395 861904896 68607 4294967295 134512640 134569956 3221224416 3221214768 1131354750 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 68607 13073 16 0 210410 0 vsize: 841704 [startup+1250.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 111883 76 0 0 25 0 11 0 419748395 861904896 68803 4294967295 134512640 134569956 3221224416 3221214672 1131191980 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 68803 13073 16 0 210410 0 vsize: 841704 [startup+1260.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 112816 77 0 0 25 0 11 0 419748395 861904896 68909 4294967295 134512640 134569956 3221224416 3221214784 1131662356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 68909 13073 16 0 210410 0 vsize: 841704 [startup+1270.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 113751 77 0 0 25 0 11 0 419748395 861904896 69116 4294967295 134512640 134569956 3221224416 3221214584 1131446785 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 69116 13073 16 0 210410 0 vsize: 841704 [startup+1280.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 114684 77 0 0 25 0 11 0 419748395 861904896 69207 4294967295 134512640 134569956 3221224416 3221214672 1131191864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 69207 13073 16 0 210410 0 vsize: 841704 [startup+1290.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 115601 78 0 0 25 0 11 0 419748395 861904896 69293 4294967295 134512640 134569956 3221224416 3221214672 1131191953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 69293 13073 16 0 210410 0 vsize: 841704 [startup+1300.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 116508 78 0 0 24 0 11 0 419748395 861904896 69471 4294967295 134512640 134569956 3221224416 3221214672 1131191867 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 69471 13073 16 0 210410 0 vsize: 841704 [startup+1310.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 117434 78 0 0 25 0 11 0 419748395 861904896 69673 4294967295 134512640 134569956 3221224416 3221214748 1080203708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 69673 13073 16 0 210410 0 vsize: 841704 [startup+1320.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 118345 79 0 0 25 0 11 0 419748395 861904896 69872 4294967295 134512640 134569956 3221224416 3221214832 1131391252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 69872 13073 16 0 210410 0 vsize: 841704 [startup+1330.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 119255 79 0 0 25 0 11 0 419748395 861904896 70053 4294967295 134512640 134569956 3221224416 3221214672 1131192668 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 70053 13073 16 0 210410 0 vsize: 841704 [startup+1340.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 26929 Raw data (stat): 26911 (java) R 26910 25347 25346 0 -1 0 18083 3 1 0 120166 80 0 0 25 0 11 0 419748395 861904896 70194 4294967295 134512640 134569956 3221224416 3221214672 1131191815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210426 70194 13073 16 0 210410 0 vsize: 841704 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1340.21 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 26931 Raw data (stat): 26911 (java) Z 26910 25347 25346 0 -1 1036 18083 55945 1 0 120168 93 14701 131 25 0 1 0 419748395 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): 1340.21 CPU time (s): 1350.95 CPU user time (s): 1348.7 CPU system time (s): 2.24866 CPU usage (%): 100.801 Max. virtual memory (Kb): 842252 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####