Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-3.opb |
MD5SUM | 063fe125a766c5e46d0ecbf211fd8049 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 450 |
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 | 450 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 450 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04584 |
Number of variables | 450 |
Total number of constraints | 17809 |
Number of constraints which are clauses | 17809 |
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 wulflinc27 THE 2005-04-13 17:39:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2844 boxname=wulflinc27 idbench=316 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 063fe125a766c5e46d0ecbf211fd8049 /oldhome/oroussel/tmp/wulflinc27/normalized-frb30-15-3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-frb30-15-3.opb IDLAUNCH: 2844 /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: 888232 kB Buffers: 32272 kB Cached: 77244 kB SwapCached: 3160 kB Active: 43968 kB Inactive: 71544 kB HighTotal: 131008 kB HighFree: 50316 kB LowTotal: 903652 kB LowFree: 837916 kB SwapTotal: 2097892 kB SwapFree: 2094732 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6924 kB Slab: 25420 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:01:11 (client local time) WITH STATUS 143 IN SECONDS stats: 2844 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc27/normalized-frb30-15-3.opb c reading problem c [nbvar=450] c [nbconstr=17809] c time 5.315 c #vars 450 c #clauses 17809 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) : 5.576 c starts : 1 c conflicts : 0 c decisions : 450 c propagations : 450 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) : 5.744 c starts : 2 c conflicts : 0 c decisions : 899 c propagations : 900 c inspects : 79 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) : 9.32 c starts : 3 c conflicts : 14 c decisions : 1348 c propagations : 1469 c inspects : 1354 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 14 c root simplifications : 3 c c CURRENT OPTIMUM=-20 c Current CPU time (ms) : 9.568 c starts : 4 c conflicts : 14 c decisions : 1368 c propagations : 1919 c inspects : 2926 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 14 c root simplifications : 4 c c CURRENT OPTIMUM=-21 c Current CPU time (ms) : 14.018 c starts : 5 c conflicts : 55 c decisions : 1435 c propagations : 2707 c inspects : 10930 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 55 c root simplifications : 5 c c CURRENT OPTIMUM=-22 c Current CPU time (ms) : 14.246 c starts : 6 c conflicts : 55 c decisions : 1453 c propagations : 3157 c inspects : 13716 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 55 c root simplifications : 6 c c CURRENT OPTIMUM=-23 c Current CPU time (ms) : 14.502 c starts : 7 c conflicts : 60 c decisions : 1481 c propagations : 3636 c inspects : 16581 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 60 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.93 0.99 0.96 2/54 19750 Raw data (stat): 19750 (runsolver) R 19749 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477816843 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 0.94 0.99 0.96 4/64 19763 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 14970 3 1 0 674 37 0 0 25 0 11 0 477816843 862666752 17385 4294967295 134512640 134569956 3221224416 3221214236 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210612 17385 13073 16 0 210596 0 vsize: 842448 [startup+20.0041 s] Raw data (loadavg): 1.10 1.02 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 1479 45 0 0 25 0 11 0 477816843 862035968 24834 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 24834 13073 16 0 210442 0 vsize: 841832 [startup+30.0053 s] Raw data (loadavg): 1.08 1.02 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 2367 45 0 0 25 0 11 0 477816843 862035968 25538 4294967295 134512640 134569956 3221224416 3221214664 1131146781 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 25538 13073 16 0 210442 0 vsize: 841832 [startup+40.0061 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 3258 45 0 0 25 0 11 0 477816843 862035968 25797 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 25797 13073 16 0 210442 0 vsize: 841832 [startup+50.0075 s] Raw data (loadavg): 1.06 1.02 0.97 3/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 4140 46 0 0 25 0 11 0 477816843 862035968 26082 4294967295 134512640 134569956 3221224416 3221214732 1131385088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 26082 13073 16 0 210442 0 vsize: 841832 [startup+60.0127 s] Raw data (loadavg): 1.05 1.02 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 5025 46 0 0 16 0 11 0 477816843 862035968 26350 4294967295 134512640 134569956 3221224416 3221214784 1131518605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 26350 13073 16 0 210442 0 vsize: 841832 [startup+70.0146 s] Raw data (loadavg): 1.04 1.02 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 5911 47 0 0 23 0 11 0 477816843 862035968 26658 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 26658 13073 16 0 210442 0 vsize: 841832 [startup+80.0149 s] Raw data (loadavg): 1.03 1.02 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 6809 47 0 0 23 0 11 0 477816843 862035968 26938 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 26938 13073 16 0 210442 0 vsize: 841832 [startup+90.0178 s] Raw data (loadavg): 1.03 1.02 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 7703 47 0 0 23 0 11 0 477816843 862035968 27216 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 27216 13073 16 0 210442 0 vsize: 841832 [startup+100.019 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 8595 47 0 0 17 0 11 0 477816843 862035968 27473 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 27473 13073 16 0 210442 0 vsize: 841832 [startup+110.019 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 9500 47 0 0 18 0 11 0 477816843 862035968 27755 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 27755 13073 16 0 210442 0 vsize: 841832 [startup+120.021 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 10405 47 0 0 21 0 11 0 477816843 862035968 28042 4294967295 134512640 134569956 3221224416 3221214688 1131210426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 28042 13073 16 0 210442 0 vsize: 841832 [startup+130.021 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 11290 47 0 0 16 0 11 0 477816843 862035968 28231 4294967295 134512640 134569956 3221224416 3221214688 1131209854 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 28231 13073 16 0 210442 0 vsize: 841832 [startup+140.021 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 12179 47 0 0 19 0 11 0 477816843 862035968 28460 4294967295 134512640 134569956 3221224416 3221214784 1131519517 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 28460 13073 16 0 210442 0 vsize: 841832 [startup+150.026 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 13075 47 0 0 22 0 11 0 477816843 862035968 28779 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 28779 13073 16 0 210442 0 vsize: 841832 [startup+160.027 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 13984 47 0 0 22 0 11 0 477816843 862035968 29030 4294967295 134512640 134569956 3221224416 3221214784 1131518609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 29030 13073 16 0 210442 0 vsize: 841832 [startup+170.028 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 14908 47 0 0 24 0 11 0 477816843 862035968 29308 4294967295 134512640 134569956 3221224416 3221214544 1131488345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 29308 13073 16 0 210442 0 vsize: 841832 [startup+180.028 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 15842 48 0 0 24 0 11 0 477816843 862035968 29526 4294967295 134512640 134569956 3221224416 3221214664 1131469069 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 29526 13073 16 0 210442 0 vsize: 841832 [startup+190.029 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 16780 48 0 0 25 0 11 0 477816843 862035968 29653 4294967295 134512640 134569956 3221224416 3221214312 1078829708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 29653 13073 16 0 210442 0 vsize: 841832 [startup+200.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 17707 48 0 0 24 0 11 0 477816843 862035968 29785 4294967295 134512640 134569956 3221224416 3221214784 1131518494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 29785 13073 16 0 210442 0 vsize: 841832 [startup+210.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 18627 48 0 0 25 0 11 0 477816843 862035968 29923 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 29923 13073 16 0 210442 0 vsize: 841832 [startup+220.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 19525 48 0 0 25 0 11 0 477816843 862035968 30076 4294967295 134512640 134569956 3221224416 3221214688 1131209878 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 30076 13073 16 0 210442 0 vsize: 841832 [startup+230.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 20418 48 0 0 25 0 11 0 477816843 862035968 30373 4294967295 134512640 134569956 3221224416 3221214776 1131413856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 30373 13073 16 0 210442 0 vsize: 841832 [startup+240.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 21324 48 0 0 25 0 11 0 477816843 862035968 30584 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 30584 13073 16 0 210442 0 vsize: 841832 [startup+250.033 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 22234 49 0 0 25 0 11 0 477816843 862035968 30784 4294967295 134512640 134569956 3221224416 3221214576 1131257187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 30784 13073 16 0 210442 0 vsize: 841832 [startup+260.034 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 23139 49 0 0 25 0 11 0 477816843 862035968 31033 4294967295 134512640 134569956 3221224416 3221214688 1131210393 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 31033 13073 16 0 210442 0 vsize: 841832 [startup+270.035 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 24052 49 0 0 23 0 11 0 477816843 862035968 31214 4294967295 134512640 134569956 3221224416 3221214688 1131209925 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 31214 13073 16 0 210442 0 vsize: 841832 [startup+280.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 24959 50 0 0 25 0 11 0 477816843 862035968 31447 4294967295 134512640 134569956 3221224416 3221214784 1131518672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 31447 13073 16 0 210442 0 vsize: 841832 [startup+290.036 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 25878 50 0 0 25 0 11 0 477816843 862035968 31681 4294967295 134512640 134569956 3221224416 3221214844 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 31681 13073 16 0 210442 0 vsize: 841832 [startup+300.037 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 26807 50 0 0 25 0 11 0 477816843 862035968 31885 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 31885 13073 16 0 210442 0 vsize: 841832 [startup+310.038 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 27743 50 0 0 25 0 11 0 477816843 862035968 32042 4294967295 134512640 134569956 3221224416 3221214784 1131518609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 32042 13073 16 0 210442 0 vsize: 841832 [startup+320.039 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 28685 51 0 0 25 0 11 0 477816843 862035968 32179 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 32179 13073 16 0 210442 0 vsize: 841832 [startup+330.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 29634 51 0 0 25 0 11 0 477816843 862035968 32331 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 32331 13073 16 0 210442 0 vsize: 841832 [startup+340.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 30585 51 0 0 25 0 11 0 477816843 862035968 32437 4294967295 134512640 134569956 3221224416 3221214784 1131518565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 32437 13073 16 0 210442 0 vsize: 841832 [startup+350.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 31536 52 0 0 25 0 11 0 477816843 862035968 32520 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 32520 13073 16 0 210442 0 vsize: 841832 [startup+360.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 32474 52 0 0 24 0 11 0 477816843 862035968 32624 4294967295 134512640 134569956 3221224416 3221214696 1131385545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 32624 13073 16 0 210442 0 vsize: 841832 [startup+370.042 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 33412 52 0 0 25 0 11 0 477816843 862035968 32723 4294967295 134512640 134569956 3221224416 3221214664 1131466027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 32723 13073 16 0 210442 0 vsize: 841832 [startup+380.042 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 34335 52 0 0 25 0 11 0 477816843 862035968 32830 4294967295 134512640 134569956 3221224416 3221214688 1131210027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 32830 13073 16 0 210442 0 vsize: 841832 [startup+390.042 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 35260 52 0 0 25 0 11 0 477816843 862035968 33064 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 33064 13073 16 0 210442 0 vsize: 841832 [startup+400.044 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 36185 53 0 0 25 0 11 0 477816843 862035968 33200 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 33200 13073 16 0 210442 0 vsize: 841832 [startup+410.044 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 37111 53 0 0 25 0 11 0 477816843 862035968 33400 4294967295 134512640 134569956 3221224416 3221214784 1131519444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 33400 13073 16 0 210442 0 vsize: 841832 [startup+420.045 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 38041 53 0 0 25 0 11 0 477816843 862035968 33570 4294967295 134512640 134569956 3221224416 3221214688 1131210863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 33570 13073 16 0 210442 0 vsize: 841832 [startup+430.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 38978 54 0 0 25 0 11 0 477816843 862035968 33685 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 33685 13073 16 0 210442 0 vsize: 841832 [startup+440.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 39912 54 0 0 25 0 11 0 477816843 862035968 33819 4294967295 134512640 134569956 3221224416 3221214688 1131209854 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 33819 13073 16 0 210442 0 vsize: 841832 [startup+450.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 40849 54 0 0 25 0 11 0 477816843 862035968 33928 4294967295 134512640 134569956 3221224416 3221214728 1131210133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 33928 13073 16 0 210442 0 vsize: 841832 [startup+460.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 41790 54 0 0 25 0 11 0 477816843 862035968 34106 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34106 13073 16 0 210442 0 vsize: 841832 [startup+470.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 42739 55 0 0 25 0 11 0 477816843 862035968 34234 4294967295 134512640 134569956 3221224416 3221214688 1131210451 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34234 13073 16 0 210442 0 vsize: 841832 [startup+480.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 43692 55 0 0 25 0 11 0 477816843 862035968 34345 4294967295 134512640 134569956 3221224416 3221214688 1131209909 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34345 13073 16 0 210442 0 vsize: 841832 [startup+490.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 44647 56 0 0 25 0 11 0 477816843 862035968 34418 4294967295 134512640 134569956 3221224416 3221214764 1080204282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34418 13073 16 0 210442 0 vsize: 841832 [startup+500.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 45599 56 0 0 25 0 11 0 477816843 862035968 34495 4294967295 134512640 134569956 3221224416 3221214784 1131519447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34495 13073 16 0 210442 0 vsize: 841832 [startup+510.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 46551 56 0 0 25 0 11 0 477816843 862035968 34590 4294967295 134512640 134569956 3221224416 3221214784 1131518609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34590 13073 16 0 210442 0 vsize: 841832 [startup+520.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 47503 56 0 0 25 0 11 0 477816843 862035968 34702 4294967295 134512640 134569956 3221224416 3221214688 1131210347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34702 13073 16 0 210442 0 vsize: 841832 [startup+530.054 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 48459 57 0 0 25 0 11 0 477816843 862035968 34797 4294967295 134512640 134569956 3221224416 3221214784 1131519421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34797 13073 16 0 210442 0 vsize: 841832 [startup+540.055 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 49412 58 0 0 24 0 11 0 477816843 862035968 34878 4294967295 134512640 134569956 3221224416 3221214780 1131209644 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34878 13073 16 0 210442 0 vsize: 841832 [startup+550.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 50373 58 0 0 25 0 11 0 477816843 862035968 34970 4294967295 134512640 134569956 3221224416 3221214784 1131518508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 34970 13073 16 0 210442 0 vsize: 841832 [startup+560.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 51336 59 0 0 25 0 11 0 477816843 862035968 35044 4294967295 134512640 134569956 3221224416 3221214688 1131210804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35044 13073 16 0 210442 0 vsize: 841832 [startup+570.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 52298 59 0 0 25 0 11 0 477816843 862035968 35128 4294967295 134512640 134569956 3221224416 3221214584 1131537917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35128 13073 16 0 210442 0 vsize: 841832 [startup+580.057 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 53256 60 0 0 25 0 11 0 477816843 862035968 35184 4294967295 134512640 134569956 3221224416 3221214784 1131518562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35184 13073 16 0 210442 0 vsize: 841832 [startup+590.057 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 54208 60 0 0 25 0 11 0 477816843 862035968 35250 4294967295 134512640 134569956 3221224416 3221214576 1131551666 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35250 13073 16 0 210442 0 vsize: 841832 [startup+600.059 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 55158 60 0 0 25 0 11 0 477816843 862035968 35333 4294967295 134512640 134569956 3221224416 3221214784 1131517712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35333 13073 16 0 210442 0 vsize: 841832 [startup+610.059 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 56108 61 0 0 25 0 11 0 477816843 862035968 35421 4294967295 134512640 134569956 3221224416 3221214784 1131517589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35421 13073 16 0 210442 0 vsize: 841832 [startup+620.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 57056 61 0 0 25 0 11 0 477816843 862035968 35539 4294967295 134512640 134569956 3221224416 3221214772 1080203664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35539 13073 16 0 210442 0 vsize: 841832 [startup+630.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 58002 62 0 0 25 0 11 0 477816843 862035968 35638 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35638 13073 16 0 210442 0 vsize: 841832 [startup+640.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 58940 62 0 0 24 0 11 0 477816843 862035968 35737 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35737 13073 16 0 210442 0 vsize: 841832 [startup+650.061 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 59884 63 0 0 25 0 11 0 477816843 862035968 35892 4294967295 134512640 134569956 3221224416 3221214696 1131385506 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 35892 13073 16 0 210442 0 vsize: 841832 [startup+660.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 60833 63 0 0 25 0 11 0 477816843 862035968 36003 4294967295 134512640 134569956 3221224416 3221214688 1131209857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36003 13073 16 0 210442 0 vsize: 841832 [startup+670.061 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 61786 63 0 0 25 0 11 0 477816843 862035968 36097 4294967295 134512640 134569956 3221224416 3221214576 1131552027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36097 13073 16 0 210442 0 vsize: 841832 [startup+680.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 62743 64 0 0 25 0 11 0 477816843 862035968 36208 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36208 13073 16 0 210442 0 vsize: 841832 [startup+690.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 63700 65 0 0 25 0 11 0 477816843 862035968 36291 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36291 13073 16 0 210442 0 vsize: 841832 [startup+700.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 64657 65 0 0 25 0 11 0 477816843 862035968 36355 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36355 13073 16 0 210442 0 vsize: 841832 [startup+710.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 65613 65 0 0 25 0 11 0 477816843 862035968 36429 4294967295 134512640 134569956 3221224416 3221214688 1131209973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 36429 13073 16 0 210442 0 vsize: 841832 [startup+720.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 66565 66 0 0 25 0 11 0 477816843 862035968 36518 4294967295 134512640 134569956 3221224416 3221214784 1131517521 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36518 13073 16 0 210442 0 vsize: 841832 [startup+730.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 67521 66 0 0 25 0 11 0 477816843 862035968 36600 4294967295 134512640 134569956 3221224416 3221214784 1131518587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36600 13073 16 0 210442 0 vsize: 841832 [startup+740.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 68477 66 0 0 25 0 11 0 477816843 862035968 36666 4294967295 134512640 134569956 3221224416 3221214544 1131489173 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36666 13073 16 0 210442 0 vsize: 841832 [startup+750.066 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 69431 67 0 0 25 0 11 0 477816843 862035968 36753 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36753 13073 16 0 210442 0 vsize: 841832 [startup+760.067 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 70382 67 0 0 25 0 11 0 477816843 862035968 36846 4294967295 134512640 134569956 3221224416 3221214664 1131469069 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36846 13073 16 0 210442 0 vsize: 841832 [startup+770.067 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 71338 67 0 0 25 0 11 0 477816843 862035968 36944 4294967295 134512640 134569956 3221224416 3221214688 1131210119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 36944 13073 16 0 210442 0 vsize: 841832 [startup+780.068 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 72294 68 0 0 25 0 11 0 477816843 862035968 37005 4294967295 134512640 134569956 3221224416 3221214776 1131413133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37005 13073 16 0 210442 0 vsize: 841832 [startup+790.068 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 73247 68 0 0 24 0 11 0 477816843 862035968 37104 4294967295 134512640 134569956 3221224416 3221214784 1131519525 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37104 13073 16 0 210442 0 vsize: 841832 [startup+800.068 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 74206 69 0 0 25 0 11 0 477816843 862035968 37173 4294967295 134512640 134569956 3221224416 3221214688 1131210122 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37173 13073 16 0 210442 0 vsize: 841832 [startup+810.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 75158 69 0 0 25 0 11 0 477816843 862035968 37235 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37235 13073 16 0 210442 0 vsize: 841832 [startup+820.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 76107 69 0 0 25 0 11 0 477816843 862035968 37342 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37342 13073 16 0 210442 0 vsize: 841832 [startup+830.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 77062 69 0 0 25 0 11 0 477816843 862035968 37430 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37430 13073 16 0 210442 0 vsize: 841832 [startup+840.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 78026 69 0 0 25 0 11 0 477816843 862035968 37542 4294967295 134512640 134569956 3221224416 3221214688 1131209720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37542 13073 16 0 210442 0 vsize: 841832 [startup+850.072 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 78990 70 0 0 25 0 11 0 477816843 862035968 37623 4294967295 134512640 134569956 3221224416 3221214872 1131218695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37623 13073 16 0 210442 0 vsize: 841832 [startup+860.072 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 79952 71 0 0 25 0 11 0 477816843 862035968 37662 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37662 13073 16 0 210442 0 vsize: 841832 [startup+870.073 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 80910 71 0 0 25 0 11 0 477816843 862035968 37723 4294967295 134512640 134569956 3221224416 3221214784 1131518695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37723 13073 16 0 210442 0 vsize: 841832 [startup+880.074 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 81866 71 0 0 25 0 11 0 477816843 862035968 37795 4294967295 134512640 134569956 3221224416 3221214688 1131210367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37795 13073 16 0 210442 0 vsize: 841832 [startup+890.074 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 82820 72 0 0 25 0 11 0 477816843 862035968 37863 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37863 13073 16 0 210442 0 vsize: 841832 [startup+900.075 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 83772 72 0 0 25 0 11 0 477816843 862035968 37951 4294967295 134512640 134569956 3221224416 3221214688 1131210367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 37951 13073 16 0 210442 0 vsize: 841832 [startup+910.076 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 84733 72 0 0 25 0 11 0 477816843 862035968 38071 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38071 13073 16 0 210442 0 vsize: 841832 [startup+920.076 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 85697 73 0 0 25 0 11 0 477816843 862035968 38128 4294967295 134512640 134569956 3221224416 3221214784 1131518652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38128 13073 16 0 210442 0 vsize: 841832 [startup+930.076 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 86648 73 0 0 25 0 11 0 477816843 862035968 38198 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38198 13073 16 0 210442 0 vsize: 841832 [startup+940.078 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 87590 73 0 0 25 0 11 0 477816843 862035968 38240 4294967295 134512640 134569956 3221224416 3221214688 1131210086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38240 13073 16 0 210442 0 vsize: 841832 [startup+950.079 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 88522 74 0 0 25 0 11 0 477816843 862035968 38341 4294967295 134512640 134569956 3221224416 3221214688 1131210162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38341 13073 16 0 210442 0 vsize: 841832 [startup+960.078 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 89454 75 0 0 25 0 11 0 477816843 862035968 38446 4294967295 134512640 134569956 3221224416 3221214688 1131210133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38446 13073 16 0 210442 0 vsize: 841832 [startup+970.079 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 90391 75 0 0 25 0 11 0 477816843 862035968 38602 4294967295 134512640 134569956 3221224416 3221214784 1131518587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38602 13073 16 0 210442 0 vsize: 841832 [startup+980.079 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 91326 75 0 0 25 0 11 0 477816843 862035968 38743 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38743 13073 16 0 210442 0 vsize: 841832 [startup+990.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 92274 75 0 0 25 0 11 0 477816843 862035968 38889 4294967295 134512640 134569956 3221224416 3221214720 1131448483 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38889 13073 16 0 210442 0 vsize: 841832 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 93227 76 0 0 25 0 11 0 477816843 862035968 38985 4294967295 134512640 134569956 3221224416 3221214688 1131210679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 38985 13073 16 0 210442 0 vsize: 841832 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 94178 76 0 0 25 0 11 0 477816843 862035968 39107 4294967295 134512640 134569956 3221224416 3221214688 1131209695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39107 13073 16 0 210442 0 vsize: 841832 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 95133 76 0 0 25 0 11 0 477816843 862035968 39201 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39201 13073 16 0 210442 0 vsize: 841832 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 96085 77 0 0 24 0 11 0 477816843 862035968 39286 4294967295 134512640 134569956 3221224416 3221214688 1131210057 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39286 13073 16 0 210442 0 vsize: 841832 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 97043 77 0 0 25 0 11 0 477816843 862035968 39382 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39382 13073 16 0 210442 0 vsize: 841832 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 98000 77 0 0 25 0 11 0 477816843 862035968 39462 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39462 13073 16 0 210442 0 vsize: 841832 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 98951 77 0 0 25 0 11 0 477816843 862035968 39532 4294967295 134512640 134569956 3221224416 3221214688 1131209669 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39532 13073 16 0 210442 0 vsize: 841832 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 99902 78 0 0 25 0 11 0 477816843 862035968 39626 4294967295 134512640 134569956 3221224416 3221214688 1131210831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39626 13073 16 0 210442 0 vsize: 841832 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 100849 78 0 0 25 0 11 0 477816843 862035968 39703 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39703 13073 16 0 210442 0 vsize: 841832 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 101787 78 0 0 25 0 11 0 477816843 862035968 39800 4294967295 134512640 134569956 3221224416 3221214688 1131210336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39800 13073 16 0 210442 0 vsize: 841832 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 102731 79 0 0 25 0 11 0 477816843 862035968 39912 4294967295 134512640 134569956 3221224416 3221214688 1131210239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 39912 13073 16 0 210442 0 vsize: 841832 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 103681 79 0 0 25 0 11 0 477816843 862035968 40060 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 40060 13073 16 0 210442 0 vsize: 841832 [startup+1120.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 104634 79 0 0 25 0 11 0 477816843 862035968 40163 4294967295 134512640 134569956 3221224416 3221214688 1131210828 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 40163 13073 16 0 210442 0 vsize: 841832 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 105592 79 0 0 25 0 11 0 477816843 862035968 40248 4294967295 134512640 134569956 3221224416 3221214784 1131519421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210458 40248 13073 16 0 210442 0 vsize: 841832 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 106540 80 0 0 25 0 11 0 477816843 862035968 40321 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 40321 13073 16 0 210442 0 vsize: 841832 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 107480 80 0 0 25 0 11 0 477816843 862035968 40407 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 40407 13073 16 0 210442 0 vsize: 841832 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 108420 81 0 0 25 0 11 0 477816843 862035968 40520 4294967295 134512640 134569956 3221224416 3221214784 1131518562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 40520 13073 16 0 210442 0 vsize: 841832 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 109365 81 0 0 25 0 11 0 477816843 862035968 40648 4294967295 134512640 134569956 3221224416 3221214576 1131552079 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 40648 13073 16 0 210442 0 vsize: 841832 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) S 19749 18865 18864 0 -1 0 18095 3 1 0 110312 82 0 0 25 0 11 0 477816843 862035968 40788 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 40788 13073 16 0 210442 0 vsize: 841832 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 111256 82 0 0 25 0 11 0 477816843 862035968 40885 4294967295 134512640 134569956 3221224416 3221214688 1131210661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 40885 13073 16 0 210442 0 vsize: 841832 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 112201 83 0 0 25 0 11 0 477816843 862035968 40975 4294967295 134512640 134569956 3221224416 3221214688 1131209702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 40975 13073 16 0 210442 0 vsize: 841832 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 113139 83 0 0 25 0 11 0 477816843 862035968 41097 4294967295 134512640 134569956 3221224416 3221214688 1131210742 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 41097 13073 16 0 210442 0 vsize: 841832 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 19767 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 114077 84 0 0 25 0 11 0 477816843 862035968 41206 4294967295 134512640 134569956 3221224416 3221214688 1131210181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 41206 13073 16 0 210442 0 vsize: 841832 [startup+1230.09 s] Raw data (loadavg): 1.15 1.03 0.98 2/68 19810 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 115010 86 0 0 24 0 11 0 477816843 862035968 41378 4294967295 134512640 134569956 3221224416 3221214784 1131518562 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 41378 13073 16 0 210442 0 vsize: 841832 [startup+1240.09 s] Raw data (loadavg): 1.13 1.03 0.98 2/64 19820 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 115951 87 0 0 25 0 11 0 477816843 862035968 41501 4294967295 134512640 134569956 3221224416 3221214688 1131210373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 41501 13073 16 0 210442 0 vsize: 841832 [startup+1250.09 s] Raw data (loadavg): 1.11 1.03 0.98 2/64 19820 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 116895 87 0 0 25 0 11 0 477816843 862035968 41602 4294967295 134512640 134569956 3221224416 3221214688 1131210102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 41602 13073 16 0 210442 0 vsize: 841832 [startup+1260.09 s] Raw data (loadavg): 1.09 1.03 0.98 2/64 19820 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 117837 88 0 0 25 0 11 0 477816843 862035968 41728 4294967295 134512640 134569956 3221224416 3221214784 1131518724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 41728 13073 16 0 210442 0 vsize: 841832 [startup+1270.09 s] Raw data (loadavg): 1.08 1.03 0.98 2/64 19820 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 118784 88 0 0 25 0 11 0 477816843 862035968 41856 4294967295 134512640 134569956 3221224416 3221214784 1131519509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 41856 13073 16 0 210442 0 vsize: 841832 [startup+1280.09 s] Raw data (loadavg): 1.06 1.03 0.98 2/64 19820 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 119736 88 0 0 25 0 11 0 477816843 862035968 41963 4294967295 134512640 134569956 3221224416 3221214576 1131552042 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 41963 13073 16 0 210442 0 vsize: 841832 [startup+1290.09 s] Raw data (loadavg): 1.05 1.02 0.98 2/64 19820 Raw data (stat): 19750 (java) R 19749 18865 18864 0 -1 0 18095 3 1 0 120689 88 0 0 25 0 11 0 477816843 862035968 42064 4294967295 134512640 134569956 3221224416 3221214784 1131519469 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210458 42064 13073 16 0 210442 0 vsize: 841832 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1290.22 s] Raw data (loadavg): 1.05 1.02 0.98 1/54 19822 Raw data (stat): 19750 (java) Z 19749 18865 18864 0 -1 1036 18095 21640 1 0 120691 88 7768 63 25 0 1 0 477816843 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1290.22 CPU time (s): 1286.12 CPU user time (s): 1284.6 CPU system time (s): 1.51577 CPU usage (%): 99.682 Max. virtual memory (Kb): 842448 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####