Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb |
MD5SUM | fe7ff8b16c276b409b25a87eed31b6f9 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -38 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1150 |
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 | 1150 |
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 | 1150 |
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.09 |
Number of variables | 1150 |
Total number of constraints | 80851 |
Number of constraints which are clauses | 80851 |
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 wulflinc21 THE 2005-04-13 17:53:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3015 boxname=wulflinc21 idbench=335 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: fe7ff8b16c276b409b25a87eed31b6f9 /oldhome/oroussel/tmp/wulflinc21/normalized-frb50-23-2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-frb50-23-2.opb IDLAUNCH: 3015 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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 : 3 cpu MHz : 451.161 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: 911856 kB Buffers: 25224 kB Cached: 77388 kB SwapCached: 0 kB Active: 34632 kB Inactive: 70844 kB HighTotal: 131008 kB HighFree: 49924 kB LowTotal: 903652 kB LowFree: 861932 kB SwapTotal: 2097892 kB SwapFree: 2097804 kB Dirty: 48 kB Writeback: 0 kB Mapped: 6928 kB Slab: 11672 kB Committed_AS: 63796 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:15:44 (client local time) WITH STATUS 143 IN SECONDS stats: 3015 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc21/normalized-frb50-23-2.opb c reading problem c [nbvar=1150] c [nbconstr=80851] c time 12.618 c #vars 1150 c #clauses 80851 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) : 13.121 c starts : 1 c conflicts : 0 c decisions : 1150 c propagations : 1150 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) : 13.295 c starts : 2 c conflicts : 0 c decisions : 2299 c propagations : 2300 c inspects : 96 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) : 17.856 c starts : 3 c conflicts : 22 c decisions : 3448 c propagations : 3725 c inspects : 2346 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 22 c root simplifications : 3 c c CURRENT OPTIMUM=-36 c Current CPU time (ms) : 18.321 c starts : 4 c conflicts : 22 c decisions : 3484 c propagations : 4875 c inspects : 7166 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 22 c root simplifications : 4 c c CURRENT OPTIMUM=-37 c Current CPU time (ms) : 18.796 c starts : 5 c conflicts : 24 c decisions : 3526 c propagations : 6038 c inspects : 13195 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 24 c root simplifications : 5 c c CURRENT OPTIMUM=-38 c Current CPU time (ms) : 51.608 c starts : 7 c conflicts : 128 c decisions : 3720 c propagations : 9030 c inspects : 70687 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 128 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/55 32531 Raw data (stat): 32531 (runsolver) R 32530 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 355165759 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.0002 s] Raw data (loadavg): 0.87 0.97 0.99 2/64 32540 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18005 0 1 0 811 47 0 0 25 0 10 0 355165759 857251840 21046 4294967295 134512640 134569956 3221224416 3221214696 1131266595 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209290 21046 13073 16 0 209274 0 vsize: 837160 [startup+20.0008 s] Raw data (loadavg): 0.89 0.97 0.99 2/65 32546 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18075 6 1 0 1436 48 0 0 24 0 11 0 355165759 860405760 32104 4294967295 134512640 134569956 3221224416 3221214736 1131263035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210060 32104 13073 16 0 210044 0 vsize: 840240 [startup+30.0005 s] Raw data (loadavg): 0.98 0.99 0.99 2/65 32546 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18076 6 1 0 2353 48 0 0 25 0 11 0 355165759 862502912 32668 4294967295 134512640 134569956 3221224416 3221214696 1131216954 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210572 32668 13073 16 0 210556 0 vsize: 842288 [startup+40.0016 s] Raw data (loadavg): 0.98 0.99 0.99 2/65 32546 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18076 6 1 0 3241 48 0 0 25 0 11 0 355165759 861454336 32886 4294967295 134512640 134569956 3221224416 3221214824 1131384096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 32886 13073 16 0 210300 0 vsize: 841264 [startup+50.002 s] Raw data (loadavg): 0.98 0.99 0.99 2/65 32546 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18076 6 1 0 4116 48 0 0 25 0 11 0 355165759 861454336 33517 4294967295 134512640 134569956 3221224416 3221214696 1131217208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 33517 13073 16 0 210300 0 vsize: 841264 [startup+60.0015 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18076 6 1 0 4970 49 0 0 25 0 11 0 355165759 861454336 33906 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 33906 13073 16 0 210300 0 vsize: 841264 [startup+70.0063 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18076 6 1 0 5846 49 0 0 25 0 11 0 355165759 861454336 34374 4294967295 134512640 134569956 3221224416 3221214788 1131216428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 34374 13073 16 0 210300 0 vsize: 841264 [startup+80.0069 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18076 6 1 0 6741 49 0 0 25 0 11 0 355165759 861454336 34783 4294967295 134512640 134569956 3221224416 3221214696 1131217200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 34783 13073 16 0 210300 0 vsize: 841264 [startup+90.0075 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18076 6 1 0 7629 49 0 0 25 0 11 0 355165759 861454336 35225 4294967295 134512640 134569956 3221224416 3221214696 1131216453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 35225 13073 16 0 210300 0 vsize: 841264 [startup+100.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18076 6 1 0 8513 49 0 0 25 0 11 0 355165759 861454336 35430 4294967295 134512640 134569956 3221224416 3221214792 1131370306 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 35430 13073 16 0 210300 0 vsize: 841264 [startup+110.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18076 6 1 0 9377 49 0 0 25 0 11 0 355165759 861454336 35937 4294967295 134512640 134569956 3221224416 3221214696 1131217139 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 35937 13073 16 0 210300 0 vsize: 841264 [startup+120.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18076 6 1 0 10245 49 0 0 22 0 11 0 355165759 861454336 36473 4294967295 134512640 134569956 3221224416 3221214696 1131216788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 36473 13073 16 0 210300 0 vsize: 841264 [startup+130.008 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 11130 49 0 0 25 0 11 0 355165759 861454336 36926 4294967295 134512640 134569956 3221224416 3221214696 1131216445 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 36926 13073 16 0 210300 0 vsize: 841264 [startup+140.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 12026 49 0 0 25 0 11 0 355165759 861454336 37428 4294967295 134512640 134569956 3221224416 3221214680 1131494212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 37428 13073 16 0 210300 0 vsize: 841264 [startup+150.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 12901 49 0 0 24 0 11 0 355165759 861454336 37971 4294967295 134512640 134569956 3221224416 3221214792 1131369345 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 37971 13073 16 0 210300 0 vsize: 841264 [startup+160.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 13784 50 0 0 25 0 11 0 355165759 861454336 38208 4294967295 134512640 134569956 3221224416 3221214792 1131369574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 38208 13073 16 0 210300 0 vsize: 841264 [startup+170.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 14634 50 0 0 25 0 11 0 355165759 861454336 38268 4294967295 134512640 134569956 3221224416 3221214760 1131441674 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 38268 13073 16 0 210300 0 vsize: 841264 [startup+180.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 15513 50 0 0 25 0 11 0 355165759 861454336 38769 4294967295 134512640 134569956 3221224416 3221214696 1131217573 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 38769 13073 16 0 210300 0 vsize: 841264 [startup+190.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 16387 50 0 0 25 0 11 0 355165759 861454336 39076 4294967295 134512640 134569956 3221224416 3221214728 1131272084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 39076 13073 16 0 210300 0 vsize: 841264 [startup+200.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 17277 50 0 0 25 0 11 0 355165759 861454336 39556 4294967295 134512640 134569956 3221224416 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 39556 13073 16 0 210300 0 vsize: 841264 [startup+210.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 18174 50 0 0 25 0 11 0 355165759 861454336 40091 4294967295 134512640 134569956 3221224416 3221214712 1131667747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 40091 13073 16 0 210300 0 vsize: 841264 [startup+220.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 19068 50 0 0 25 0 11 0 355165759 861454336 40430 4294967295 134512640 134569956 3221224416 3221214696 1131216981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 40430 13073 16 0 210300 0 vsize: 841264 [startup+230.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 19961 50 0 0 25 0 11 0 355165759 861454336 40765 4294967295 134512640 134569956 3221224416 3221214696 1131216917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 40765 13073 16 0 210300 0 vsize: 841264 [startup+240.011 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 20843 50 0 0 25 0 11 0 355165759 861454336 41191 4294967295 134512640 134569956 3221224416 3221214792 1131369470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 41191 13073 16 0 210300 0 vsize: 841264 [startup+250.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 21731 50 0 0 25 0 11 0 355165759 861454336 41419 4294967295 134512640 134569956 3221224416 3221214792 1131370356 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 41419 13073 16 0 210300 0 vsize: 841264 [startup+260.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 22619 50 0 0 24 0 11 0 355165759 861454336 41636 4294967295 134512640 134569956 3221224416 3221214792 1131370415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 41636 13073 16 0 210300 0 vsize: 841264 [startup+270.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 23521 50 0 0 25 0 11 0 355165759 861454336 41981 4294967295 134512640 134569956 3221224416 3221214696 1131216449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 41981 13073 16 0 210300 0 vsize: 841264 [startup+280.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 24421 50 0 0 24 0 11 0 355165759 861454336 42235 4294967295 134512640 134569956 3221224416 3221214696 1131217235 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 42235 13073 16 0 210300 0 vsize: 841264 [startup+290.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 25316 51 0 0 25 0 11 0 355165759 861454336 42473 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 42473 13073 16 0 210300 0 vsize: 841264 [startup+300.01 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 26200 51 0 0 25 0 11 0 355165759 861454336 42691 4294967295 134512640 134569956 3221224416 3221214696 1131216868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 42691 13073 16 0 210300 0 vsize: 841264 [startup+310.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 27100 51 0 0 25 0 11 0 355165759 861454336 43031 4294967295 134512640 134569956 3221224416 3221214608 1131538818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 43031 13073 16 0 210300 0 vsize: 841264 [startup+320.009 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 28018 51 0 0 25 0 11 0 355165759 861454336 43233 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 43233 13073 16 0 210300 0 vsize: 841264 [startup+330.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 28941 51 0 0 22 0 11 0 355165759 861454336 43265 4294967295 134512640 134569956 3221224416 3221214832 1131409297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 43265 13073 16 0 210300 0 vsize: 841264 [startup+340.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 29839 51 0 0 25 0 11 0 355165759 861454336 43413 4294967295 134512640 134569956 3221224416 3221214696 1131217612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 43413 13073 16 0 210300 0 vsize: 841264 [startup+350.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 30755 51 0 0 25 0 11 0 355165759 861454336 43656 4294967295 134512640 134569956 3221224416 3221214792 1131370334 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 43656 13073 16 0 210300 0 vsize: 841264 [startup+360.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 31668 51 0 0 25 0 11 0 355165759 861454336 43843 4294967295 134512640 134569956 3221224416 3221214696 1131216845 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 43843 13073 16 0 210300 0 vsize: 841264 [startup+370.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 32590 51 0 0 25 0 11 0 355165759 861454336 44110 4294967295 134512640 134569956 3221224416 3221214792 1131369406 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 44110 13073 16 0 210300 0 vsize: 841264 [startup+380.012 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 33515 51 0 0 25 0 11 0 355165759 861454336 44258 4294967295 134512640 134569956 3221224416 3221214696 1131216449 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 44258 13073 16 0 210300 0 vsize: 841264 [startup+390.013 s] Raw data (loadavg): 0.99 0.99 0.99 2/65 32547 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 34434 51 0 0 25 0 11 0 355165759 861454336 44436 4294967295 134512640 134569956 3221224416 3221214696 1131217438 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 44436 13073 16 0 210300 0 vsize: 841264 [startup+400.051 s] Raw data (loadavg): 1.07 1.01 1.00 2/65 32600 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 35336 53 0 0 25 0 11 0 355165759 861454336 44607 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 44607 13073 16 0 210300 0 vsize: 841264 [startup+410.051 s] Raw data (loadavg): 1.06 1.00 1.00 2/65 32600 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 36227 53 0 0 25 0 11 0 355165759 861454336 44802 4294967295 134512640 134569956 3221224416 3221214696 1131217043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 44802 13073 16 0 210300 0 vsize: 841264 [startup+420.052 s] Raw data (loadavg): 1.05 1.00 1.00 2/65 32600 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 37122 53 0 0 25 0 11 0 355165759 861454336 44991 4294967295 134512640 134569956 3221224416 3221214792 1131369584 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 44991 13073 16 0 210300 0 vsize: 841264 [startup+430.053 s] Raw data (loadavg): 1.04 1.00 1.00 2/65 32600 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 38013 53 0 0 25 0 11 0 355165759 861454336 45351 4294967295 134512640 134569956 3221224416 3221213688 1131156433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 45351 13073 16 0 210300 0 vsize: 841264 [startup+440.053 s] Raw data (loadavg): 1.03 1.00 1.00 2/65 32600 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 38926 53 0 0 25 0 11 0 355165759 861454336 45585 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 45585 13073 16 0 210300 0 vsize: 841264 [startup+450.053 s] Raw data (loadavg): 1.03 1.00 1.00 2/65 32602 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 39832 54 0 0 25 0 11 0 355165759 861454336 45784 4294967295 134512640 134569956 3221224416 3221214712 1131667749 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 45784 13073 16 0 210300 0 vsize: 841264 [startup+460.053 s] Raw data (loadavg): 1.02 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 40745 54 0 0 25 0 11 0 355165759 861454336 46085 4294967295 134512640 134569956 3221224416 3221214792 1131369515 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 46085 13073 16 0 210300 0 vsize: 841264 [startup+470.053 s] Raw data (loadavg): 1.02 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 41661 54 0 0 25 0 11 0 355165759 861454336 46287 4294967295 134512640 134569956 3221224416 3221214792 1131369460 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 46287 13073 16 0 210300 0 vsize: 841264 [startup+480.053 s] Raw data (loadavg): 1.02 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 42565 54 0 0 25 0 11 0 355165759 861454336 46448 4294967295 134512640 134569956 3221224416 3221214696 1131216811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 46448 13073 16 0 210300 0 vsize: 841264 [startup+490.054 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 43453 55 0 0 25 0 11 0 355165759 861454336 46642 4294967295 134512640 134569956 3221224416 3221214696 1131217729 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 46642 13073 16 0 210300 0 vsize: 841264 [startup+500.054 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 44340 55 0 0 24 0 11 0 355165759 861454336 46926 4294967295 134512640 134569956 3221224416 3221214696 1131216486 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 46926 13073 16 0 210300 0 vsize: 841264 [startup+510.054 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 45237 55 0 0 25 0 11 0 355165759 861454336 47154 4294967295 134512640 134569956 3221224416 3221214696 1131217565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 47154 13073 16 0 210300 0 vsize: 841264 [startup+520.055 s] Raw data (loadavg): 1.01 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 46154 55 0 0 25 0 11 0 355165759 861454336 47499 4294967295 134512640 134569956 3221224416 3221214696 1131216724 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 47499 13073 16 0 210300 0 vsize: 841264 [startup+530.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 47070 55 0 0 25 0 11 0 355165759 861454336 47693 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 47693 13073 16 0 210300 0 vsize: 841264 [startup+540.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 47986 55 0 0 25 0 11 0 355165759 861454336 47871 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 47871 13073 16 0 210300 0 vsize: 841264 [startup+550.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 48902 56 0 0 25 0 11 0 355165759 861454336 48065 4294967295 134512640 134569956 3221224416 3221214752 1131455947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 48065 13073 16 0 210300 0 vsize: 841264 [startup+560.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 49818 56 0 0 25 0 11 0 355165759 861454336 48271 4294967295 134512640 134569956 3221224416 3221214720 1131395922 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 48271 13073 16 0 210300 0 vsize: 841264 [startup+570.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 50724 56 0 0 25 0 11 0 355165759 861454336 48482 4294967295 134512640 134569956 3221224416 3221214696 1131217012 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 48482 13073 16 0 210300 0 vsize: 841264 [startup+580.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 51627 56 0 0 25 0 11 0 355165759 861454336 48674 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 48674 13073 16 0 210300 0 vsize: 841264 [startup+590.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 52528 56 0 0 25 0 11 0 355165759 861454336 48854 4294967295 134512640 134569956 3221224416 3221214696 1131216445 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 48854 13073 16 0 210300 0 vsize: 841264 [startup+600.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 53443 57 0 0 25 0 11 0 355165759 861454336 49132 4294967295 134512640 134569956 3221224416 3221214712 1131669530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 49132 13073 16 0 210300 0 vsize: 841264 [startup+610.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 54375 57 0 0 25 0 11 0 355165759 861454336 49273 4294967295 134512640 134569956 3221224416 3221214696 1131216654 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 49273 13073 16 0 210300 0 vsize: 841264 [startup+620.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 55287 57 0 0 25 0 11 0 355165759 861454336 49304 4294967295 134512640 134569956 3221224416 3221214696 1131216899 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 49304 13073 16 0 210300 0 vsize: 841264 [startup+630.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 56190 57 0 0 25 0 11 0 355165759 861454336 49371 4294967295 134512640 134569956 3221224416 3221214832 1131411140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 49371 13073 16 0 210300 0 vsize: 841264 [startup+640.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 57094 57 0 0 25 0 11 0 355165759 861454336 49701 4294967295 134512640 134569956 3221224416 3221214792 1131369508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 49701 13073 16 0 210300 0 vsize: 841264 [startup+650.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 57996 57 0 0 25 0 11 0 355165759 861454336 49871 4294967295 134512640 134569956 3221224416 3221214696 1131216453 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 49871 13073 16 0 210300 0 vsize: 841264 [startup+660.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 58900 57 0 0 25 0 11 0 355165759 861454336 50099 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 50099 13073 16 0 210300 0 vsize: 841264 [startup+670.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 59804 58 0 0 25 0 11 0 355165759 861454336 50306 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210316 50306 13073 16 0 210300 0 vsize: 841264 [startup+680.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 60706 58 0 0 24 0 11 0 355165759 861454336 50462 4294967295 134512640 134569956 3221224416 3221214792 1131368378 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 50462 13073 16 0 210300 0 vsize: 841264 [startup+690.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 61615 58 0 0 25 0 11 0 355165759 861454336 50652 4294967295 134512640 134569956 3221224416 3221214792 1131369394 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 50652 13073 16 0 210300 0 vsize: 841264 [startup+700.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 62519 58 0 0 25 0 11 0 355165759 861454336 50924 4294967295 134512640 134569956 3221224416 3221214824 1131384191 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 50924 13073 16 0 210300 0 vsize: 841264 [startup+710.059 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32604 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 63428 58 0 0 25 0 11 0 355165759 861454336 51115 4294967295 134512640 134569956 3221224416 3221214696 1131217555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 51115 13073 16 0 210300 0 vsize: 841264 [startup+720.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 64338 58 0 0 25 0 11 0 355165759 861454336 51200 4294967295 134512640 134569956 3221224416 3221214696 1131217210 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 51200 13073 16 0 210300 0 vsize: 841264 [startup+730.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 65256 58 0 0 25 0 11 0 355165759 861454336 51518 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 51518 13073 16 0 210300 0 vsize: 841264 [startup+740.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 66168 58 0 0 25 0 11 0 355165759 861454336 51610 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 51610 13073 16 0 210300 0 vsize: 841264 [startup+750.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 67074 58 0 0 25 0 11 0 355165759 861454336 51850 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 51850 13073 16 0 210300 0 vsize: 841264 [startup+760.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 67979 58 0 0 25 0 11 0 355165759 861454336 52050 4294967295 134512640 134569956 3221224416 3221214696 1131216860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 52050 13073 16 0 210300 0 vsize: 841264 [startup+770.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 68895 59 0 0 25 0 11 0 355165759 861454336 52270 4294967295 134512640 134569956 3221224416 3221214792 1131370334 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 52270 13073 16 0 210300 0 vsize: 841264 [startup+780.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 69799 59 0 0 24 0 11 0 355165759 861454336 52464 4294967295 134512640 134569956 3221224416 3221214792 1131370771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 52464 13073 16 0 210300 0 vsize: 841264 [startup+790.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 70711 59 0 0 25 0 11 0 355165759 861454336 52644 4294967295 134512640 134569956 3221224416 3221214696 1131217516 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 52644 13073 16 0 210300 0 vsize: 841264 [startup+800.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 71623 59 0 0 25 0 11 0 355165759 861454336 52858 4294967295 134512640 134569956 3221224416 3221214696 1131216461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 52858 13073 16 0 210300 0 vsize: 841264 [startup+810.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 72540 59 0 0 25 0 11 0 355165759 861454336 53079 4294967295 134512640 134569956 3221224416 3221214696 1131216453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 53079 13073 16 0 210300 0 vsize: 841264 [startup+820.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 73456 59 0 0 25 0 11 0 355165759 861454336 53287 4294967295 134512640 134569956 3221224416 3221214712 1131669545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 53287 13073 16 0 210300 0 vsize: 841264 [startup+830.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 74377 59 0 0 25 0 11 0 355165759 861454336 53446 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 53446 13073 16 0 210300 0 vsize: 841264 [startup+840.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 75292 59 0 0 25 0 11 0 355165759 861454336 53636 4294967295 134512640 134569956 3221224416 3221214820 1080203752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 53636 13073 16 0 210300 0 vsize: 841264 [startup+850.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 76207 59 0 0 25 0 11 0 355165759 861454336 53749 4294967295 134512640 134569956 3221224416 3221214696 1131216755 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 53749 13073 16 0 210300 0 vsize: 841264 [startup+860.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 77124 59 0 0 25 0 11 0 355165759 861454336 53942 4294967295 134512640 134569956 3221224416 3221214832 1131409976 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 53942 13073 16 0 210300 0 vsize: 841264 [startup+870.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 78042 59 0 0 25 0 11 0 355165759 861454336 54171 4294967295 134512640 134569956 3221224416 3221214712 1131667854 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 54171 13073 16 0 210300 0 vsize: 841264 [startup+880.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 78961 60 0 0 25 0 11 0 355165759 861454336 54338 4294967295 134512640 134569956 3221224416 3221214696 1131217573 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 54338 13073 16 0 210300 0 vsize: 841264 [startup+890.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 79870 60 0 0 25 0 11 0 355165759 861454336 54503 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 54503 13073 16 0 210300 0 vsize: 841264 [startup+900.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 80791 60 0 0 25 0 11 0 355165759 861454336 54663 4294967295 134512640 134569956 3221224416 3221214608 1131537586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 54663 13073 16 0 210300 0 vsize: 841264 [startup+910.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 81719 60 0 0 25 0 11 0 355165759 861454336 54903 4294967295 134512640 134569956 3221224416 3221214728 1131285372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 54903 13073 16 0 210300 0 vsize: 841264 [startup+920.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 82653 60 0 0 25 0 11 0 355165759 861454336 55088 4294967295 134512640 134569956 3221224416 3221214792 1131369660 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 55088 13073 16 0 210300 0 vsize: 841264 [startup+930.069 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 83587 60 0 0 25 0 11 0 355165759 861454336 55200 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 55200 13073 16 0 210300 0 vsize: 841264 [startup+940.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 84511 60 0 0 25 0 11 0 355165759 861454336 55315 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 55315 13073 16 0 210300 0 vsize: 841264 [startup+950.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 85449 60 0 0 25 0 11 0 355165759 861454336 55490 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 55490 13073 16 0 210300 0 vsize: 841264 [startup+960.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 86389 60 0 0 25 0 11 0 355165759 861454336 55672 4294967295 134512640 134569956 3221224416 3221214696 1131216445 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 55672 13073 16 0 210300 0 vsize: 841264 [startup+970.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 87332 60 0 0 25 0 11 0 355165759 861454336 55788 4294967295 134512640 134569956 3221224416 3221214696 1131217080 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 55788 13073 16 0 210300 0 vsize: 841264 [startup+980.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 88268 60 0 0 25 0 11 0 355165759 861454336 55908 4294967295 134512640 134569956 3221224416 3221214748 1080203744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 55908 13073 16 0 210300 0 vsize: 841264 [startup+990.078 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 89198 60 0 0 25 0 11 0 355165759 861454336 56028 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 56028 13073 16 0 210300 0 vsize: 841264 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 90117 60 0 0 25 0 11 0 355165759 861454336 56140 4294967295 134512640 134569956 3221224416 3221214760 1131442877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 56140 13073 16 0 210300 0 vsize: 841264 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 91031 60 0 0 24 0 11 0 355165759 861454336 56308 4294967295 134512640 134569956 3221224416 3221214792 1131369495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 56308 13073 16 0 210300 0 vsize: 841264 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 91958 60 0 0 25 0 11 0 355165759 861454336 56516 4294967295 134512640 134569956 3221224416 3221214696 1131216638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 56516 13073 16 0 210300 0 vsize: 841264 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 92877 60 0 0 25 0 11 0 355165759 861454336 56686 4294967295 134512640 134569956 3221224416 3221214608 1131243922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 56686 13073 16 0 210300 0 vsize: 841264 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 93798 61 0 0 25 0 11 0 355165759 861454336 56839 4294967295 134512640 134569956 3221224416 3221214792 1131369467 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 56839 13073 16 0 210300 0 vsize: 841264 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 94718 61 0 0 25 0 11 0 355165759 861454336 57005 4294967295 134512640 134569956 3221224416 3221213536 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 57005 13073 16 0 210300 0 vsize: 841264 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 95641 61 0 0 25 0 11 0 355165759 861454336 57206 4294967295 134512640 134569956 3221224416 3221214696 1131217623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 57206 13073 16 0 210300 0 vsize: 841264 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 96567 61 0 0 25 0 11 0 355165759 861454336 57356 4294967295 134512640 134569956 3221224416 3221214696 1131217157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 57356 13073 16 0 210300 0 vsize: 841264 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 97498 61 0 0 25 0 11 0 355165759 861454336 57503 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 57503 13073 16 0 210300 0 vsize: 841264 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 98417 61 0 0 25 0 11 0 355165759 861454336 57657 4294967295 134512640 134569956 3221224416 3221214792 1131370415 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 57657 13073 16 0 210300 0 vsize: 841264 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 99333 61 0 0 25 0 11 0 355165759 861454336 57810 4294967295 134512640 134569956 3221224416 3221214696 1131217235 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 57810 13073 16 0 210300 0 vsize: 841264 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 100254 61 0 0 25 0 11 0 355165759 861454336 58045 4294967295 134512640 134569956 3221224416 3221214792 1131369334 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 58045 13073 16 0 210300 0 vsize: 841264 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 101156 61 0 0 25 0 11 0 355165759 861454336 58141 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 58141 13073 16 0 210300 0 vsize: 841264 [startup+1130.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 102058 61 0 0 24 0 11 0 355165759 861454336 58381 4294967295 134512640 134569956 3221224416 3221214792 1131369508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 58381 13073 16 0 210300 0 vsize: 841264 [startup+1140.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 102986 61 0 0 25 0 11 0 355165759 861454336 58639 4294967295 134512640 134569956 3221224416 3221214788 1131216428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 58639 13073 16 0 210300 0 vsize: 841264 [startup+1150.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 103946 62 0 0 25 0 11 0 355165759 861454336 58697 4294967295 134512640 134569956 3221224416 3221214664 1131387802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 58697 13073 16 0 210300 0 vsize: 841264 [startup+1160.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 104893 62 0 0 25 0 11 0 355165759 861454336 58731 4294967295 134512640 134569956 3221224416 3221214792 1131370400 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 58731 13073 16 0 210300 0 vsize: 841264 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 105832 62 0 0 25 0 11 0 355165759 861454336 58756 4294967295 134512640 134569956 3221224416 3221214792 1131369495 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 58756 13073 16 0 210300 0 vsize: 841264 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 106762 62 0 0 25 0 11 0 355165759 861454336 58856 4294967295 134512640 134569956 3221224416 3221214696 1131216486 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 58856 13073 16 0 210300 0 vsize: 841264 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 107699 62 0 0 25 0 11 0 355165759 861454336 59005 4294967295 134512640 134569956 3221224416 3221214696 1131216502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 59005 13073 16 0 210300 0 vsize: 841264 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 108629 62 0 0 25 0 11 0 355165759 861454336 59120 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 59120 13073 16 0 210300 0 vsize: 841264 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 109553 62 0 0 25 0 11 0 355165759 861454336 59247 4294967295 134512640 134569956 3221224416 3221214696 1131216977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 59247 13073 16 0 210300 0 vsize: 841264 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 110482 62 0 0 25 0 11 0 355165759 861454336 59430 4294967295 134512640 134569956 3221224416 3221214696 1131217050 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 59430 13073 16 0 210300 0 vsize: 841264 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 111405 62 0 0 25 0 11 0 355165759 861454336 59545 4294967295 134512640 134569956 3221224416 3221214712 1131669473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 59545 13073 16 0 210300 0 vsize: 841264 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 112334 62 0 0 25 0 11 0 355165759 861454336 59652 4294967295 134512640 134569956 3221224416 3221214792 1131369470 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 59652 13073 16 0 210300 0 vsize: 841264 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 113266 62 0 0 25 0 11 0 355165759 861454336 59886 4294967295 134512640 134569956 3221224416 3221214792 1131368367 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 59886 13073 16 0 210300 0 vsize: 841264 [startup+1260.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 114205 62 0 0 25 0 11 0 355165759 861454336 60002 4294967295 134512640 134569956 3221224416 3221214608 1131511212 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 60002 13073 16 0 210300 0 vsize: 841264 [startup+1270.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) S 32530 30927 30926 0 -1 0 18077 6 1 0 115140 62 0 0 25 0 11 0 355165759 861454336 60087 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 60087 13073 16 0 210300 0 vsize: 841264 [startup+1280.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 116068 62 0 0 25 0 11 0 355165759 861454336 60217 4294967295 134512640 134569956 3221224416 3221214696 1131216917 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 60217 13073 16 0 210300 0 vsize: 841264 [startup+1290.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 116988 62 0 0 25 0 11 0 355165759 861454336 60327 4294967295 134512640 134569956 3221224416 3221214792 1131369536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 60327 13073 16 0 210300 0 vsize: 841264 [startup+1300.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 117921 62 0 0 25 0 11 0 355165759 861454336 60504 4294967295 134512640 134569956 3221224416 3221214792 1131371140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 60504 13073 16 0 210300 0 vsize: 841264 [startup+1310.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 118848 62 0 0 25 0 11 0 355165759 861454336 60643 4294967295 134512640 134569956 3221224416 3221214784 1131227040 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 60643 13073 16 0 210300 0 vsize: 841264 [startup+1320.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 119778 62 0 0 25 0 11 0 355165759 861454336 60783 4294967295 134512640 134569956 3221224416 3221214696 1131216868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 60783 13073 16 0 210300 0 vsize: 841264 [startup+1330.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 32606 Raw data (stat): 32531 (java) R 32530 30927 30926 0 -1 0 18077 6 1 0 120697 62 0 0 25 0 11 0 355165759 861454336 60932 4294967295 134512640 134569956 3221224416 3221214696 1131216965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210316 60932 13073 16 0 210300 0 vsize: 841264 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1330.35 s] Raw data (loadavg): 1.00 1.00 1.00 1/55 32608 Raw data (stat): 32531 (java) Z 32530 30927 30926 0 -1 1036 18077 40858 1 0 120701 62 11861 101 25 0 1 0 355165759 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): 1330.35 CPU time (s): 1327.27 CPU user time (s): 1325.63 CPU system time (s): 1.64175 CPU usage (%): 99.7685 Max. virtual memory (Kb): 842288 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####