Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb |
MD5SUM | 54f6acf3ab92bda8abb11350f74de20e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -37 |
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.08 |
Number of variables | 1150 |
Total number of constraints | 80035 |
Number of constraints which are clauses | 80035 |
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 wulflinc2 THE 2005-04-13 17:55:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3042 boxname=wulflinc2 idbench=338 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 54f6acf3ab92bda8abb11350f74de20e /oldhome/oroussel/tmp/wulflinc2/normalized-frb50-23-5.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-frb50-23-5.opb IDLAUNCH: 3042 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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 : 2 cpu MHz : 451.191 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: 912468 kB Buffers: 32580 kB Cached: 68804 kB SwapCached: 4 kB Active: 51668 kB Inactive: 52556 kB HighTotal: 131008 kB HighFree: 58408 kB LowTotal: 903652 kB LowFree: 854060 kB SwapTotal: 2097136 kB SwapFree: 2097132 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6916 kB Slab: 12368 kB Committed_AS: 71676 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 18:17:47 (client local time) WITH STATUS 143 IN SECONDS stats: 3042 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc2/normalized-frb50-23-5.opb c reading problem c [nbvar=1150] c [nbconstr=80035] c time 12.203 c #vars 1150 c #clauses 80035 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) : 12.691 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) : 12.851 c starts : 2 c conflicts : 0 c decisions : 2299 c propagations : 2300 c inspects : 115 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.144 c starts : 3 c conflicts : 22 c decisions : 3448 c propagations : 3725 c inspects : 2814 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=-32 c Current CPU time (ms) : 17.338 c starts : 4 c conflicts : 22 c decisions : 3480 c propagations : 4875 c inspects : 7210 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=-33 c Current CPU time (ms) : 19.535 c starts : 5 c conflicts : 35 c decisions : 3525 c propagations : 6095 c inspects : 14994 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 35 c root simplifications : 5 c c CURRENT OPTIMUM=-35 c Current CPU time (ms) : 20.343 c starts : 6 c conflicts : 35 c decisions : 3560 c propagations : 7245 c inspects : 21025 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 35 c root simplifications : 6 c c CURRENT OPTIMUM=-36 c Current CPU time (ms) : 21.21 c starts : 7 c conflicts : 40 c decisions : 3601 c propagations : 8420 c inspects : 26998 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 40 c root simplifications : 7 c c CURRENT OPTIMUM=-37 c Current CPU time (ms) : 61.247 c starts : 9 c conflicts : 185 c decisions : 3853 c propagations : 11731 c inspects : 104338 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 185 c root simplifications : 9 #### 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.94 0.99 0.95 2/54 21833 Raw data (stat): 21833 (runsolver) R 21832 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419695211 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0007 s] Raw data (loadavg): 1.02 1.00 0.96 2/63 21842 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 17995 0 1 0 842 43 0 0 25 0 10 0 419695211 853991424 20333 4294967295 134512640 134569956 3221224416 3221214808 1131141114 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208494 20333 13073 16 0 208478 0 vsize: 833976 [startup+20.0013 s] Raw data (loadavg): 1.09 1.02 0.96 2/64 21847 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18062 3 1 0 1501 44 0 0 25 0 11 0 419695211 857436160 31330 4294967295 134512640 134569956 3221224416 3221214800 1131498424 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209335 31330 13073 16 0 209319 0 vsize: 837340 [startup+30.0017 s] Raw data (loadavg): 1.08 1.02 0.96 2/64 21850 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18063 3 1 0 2384 44 0 0 25 0 11 0 419695211 860086272 32392 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209982 32392 13073 16 0 209966 0 vsize: 839928 [startup+40.0032 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 21850 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 3285 45 0 0 25 0 11 0 419695211 859103232 32741 4294967295 134512640 134569956 3221224416 3221214688 1131211773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 32741 13073 16 0 209726 0 vsize: 838968 [startup+50.0035 s] Raw data (loadavg): 1.06 1.02 0.96 2/64 21850 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 4177 45 0 0 24 0 11 0 419695211 859103232 33427 4294967295 134512640 134569956 3221224416 3221214688 1131211278 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 33427 13073 16 0 209726 0 vsize: 838968 [startup+60.0037 s] Raw data (loadavg): 1.05 1.02 0.96 2/64 21850 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 5053 45 0 0 25 0 11 0 419695211 859103232 34172 4294967295 134512640 134569956 3221224416 3221213928 1131299209 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34172 13073 16 0 209726 0 vsize: 838968 [startup+70.0048 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 5906 45 0 0 24 0 11 0 419695211 859103232 34767 4294967295 134512640 134569956 3221224416 3221214784 1131378086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 34767 13073 16 0 209726 0 vsize: 838968 [startup+80.0056 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 6782 46 0 0 25 0 11 0 419695211 859103232 35324 4294967295 134512640 134569956 3221224416 3221214728 1131211826 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 35324 13073 16 0 209726 0 vsize: 838968 [startup+90.0058 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 7671 47 0 0 25 0 11 0 419695211 859103232 35759 4294967295 134512640 134569956 3221224416 3221214688 1131212443 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 35759 13073 16 0 209726 0 vsize: 838968 [startup+100.006 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 8555 47 0 0 25 0 11 0 419695211 859103232 36251 4294967295 134512640 134569956 3221224416 3221214784 1131378060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 36251 13073 16 0 209726 0 vsize: 838968 [startup+110.008 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 9412 47 0 0 25 0 11 0 419695211 859103232 36593 4294967295 134512640 134569956 3221224416 3221214688 1131211770 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 36593 13073 16 0 209726 0 vsize: 838968 [startup+120.008 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 10277 47 0 0 25 0 11 0 419695211 859103232 37089 4294967295 134512640 134569956 3221224416 3221214784 1131378060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 37089 13073 16 0 209726 0 vsize: 838968 [startup+130.008 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 11164 48 0 0 25 0 11 0 419695211 859103232 37686 4294967295 134512640 134569956 3221224416 3221214688 1131212001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 37686 13073 16 0 209726 0 vsize: 838968 [startup+140.009 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 12057 48 0 0 25 0 11 0 419695211 859103232 38046 4294967295 134512640 134569956 3221224416 3221214740 1080204256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 38046 13073 16 0 209726 0 vsize: 838968 [startup+150.009 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 12950 48 0 0 25 0 11 0 419695211 859103232 38498 4294967295 134512640 134569956 3221224416 3221214592 1131482462 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 38498 13073 16 0 209726 0 vsize: 838968 [startup+160.01 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 13846 49 0 0 25 0 11 0 419695211 859103232 38768 4294967295 134512640 134569956 3221224416 3221214784 1131378060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 38768 13073 16 0 209726 0 vsize: 838968 [startup+170.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 14697 49 0 0 25 0 11 0 419695211 859103232 38897 4294967295 134512640 134569956 3221224416 3221214784 1131397387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 38897 13073 16 0 209726 0 vsize: 838968 [startup+180.01 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 15562 50 0 0 25 0 11 0 419695211 859103232 39346 4294967295 134512640 134569956 3221224416 3221214688 1131211773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 39346 13073 16 0 209726 0 vsize: 838968 [startup+190.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 16433 50 0 0 25 0 11 0 419695211 859103232 39616 4294967295 134512640 134569956 3221224416 3221214688 1131211600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 39616 13073 16 0 209726 0 vsize: 838968 [startup+200.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 17307 50 0 0 24 0 11 0 419695211 859103232 39971 4294967295 134512640 134569956 3221224416 3221214784 1131382238 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 39971 13073 16 0 209726 0 vsize: 838968 [startup+210.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 18199 51 0 0 25 0 11 0 419695211 859103232 40268 4294967295 134512640 134569956 3221224416 3221214688 1131211773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 40268 13073 16 0 209726 0 vsize: 838968 [startup+220.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 19093 51 0 0 25 0 11 0 419695211 859103232 40558 4294967295 134512640 134569956 3221224416 3221214688 1131211832 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 40558 13073 16 0 209726 0 vsize: 838968 [startup+230.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 19980 51 0 0 25 0 11 0 419695211 859103232 40824 4294967295 134512640 134569956 3221224416 3221214752 1131284867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 40824 13073 16 0 209726 0 vsize: 838968 [startup+240.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 20877 52 0 0 25 0 11 0 419695211 859103232 41149 4294967295 134512640 134569956 3221224416 3221214592 1131483257 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 41149 13073 16 0 209726 0 vsize: 838968 [startup+250.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 21765 52 0 0 25 0 11 0 419695211 859103232 41419 4294967295 134512640 134569956 3221224416 3221214688 1131212374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 41419 13073 16 0 209726 0 vsize: 838968 [startup+260.016 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 21851 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 22651 52 0 0 25 0 11 0 419695211 859103232 41731 4294967295 134512640 134569956 3221224416 3221214688 1131212030 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 41731 13073 16 0 209726 0 vsize: 838968 [startup+270.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/67 21854 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 23543 53 0 0 25 0 11 0 419695211 859103232 42116 4294967295 134512640 134569956 3221224416 3221214808 1131221645 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 42116 13073 16 0 209726 0 vsize: 838968 [startup+280.018 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 21904 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 24435 53 0 0 25 0 11 0 419695211 859103232 42325 4294967295 134512640 134569956 3221224416 3221214688 1131211773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 42325 13073 16 0 209726 0 vsize: 838968 [startup+290.019 s] Raw data (loadavg): 1.06 1.02 0.97 2/64 21904 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 25333 54 0 0 25 0 11 0 419695211 859103232 42546 4294967295 134512640 134569956 3221224416 3221214784 1131397228 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 42546 13073 16 0 209726 0 vsize: 838968 [startup+300.018 s] Raw data (loadavg): 1.05 1.01 0.97 2/64 21904 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 26206 54 0 0 25 0 11 0 419695211 859103232 42838 4294967295 134512640 134569956 3221224416 3221214688 1131211685 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 42838 13073 16 0 209726 0 vsize: 838968 [startup+310.02 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 21904 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 27086 54 0 0 25 0 11 0 419695211 859103232 43210 4294967295 134512640 134569956 3221224416 3221214704 1131441274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 43210 13073 16 0 209726 0 vsize: 838968 [startup+320.02 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 21904 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 27967 55 0 0 25 0 11 0 419695211 859103232 43516 4294967295 134512640 134569956 3221224416 3221214704 1131624007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 43516 13073 16 0 209726 0 vsize: 838968 [startup+330.021 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 21904 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18063 3 1 0 28850 56 0 0 25 0 11 0 419695211 859103232 43638 4294967295 134512640 134569956 3221224416 3221213472 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 43638 13073 16 0 209726 0 vsize: 838968 [startup+340.022 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 29732 56 0 0 25 0 11 0 419695211 859103232 43894 4294967295 134512640 134569956 3221224416 3221214648 1131245830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 43894 13073 16 0 209726 0 vsize: 838968 [startup+350.022 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 30615 57 0 0 25 0 11 0 419695211 859103232 44124 4294967295 134512640 134569956 3221224416 3221214688 1131212243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 44124 13073 16 0 209726 0 vsize: 838968 [startup+360.023 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 21906 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18063 3 1 0 31509 58 0 0 25 0 11 0 419695211 859103232 44423 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 44423 13073 16 0 209726 0 vsize: 838968 [startup+370.023 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 21906 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18063 3 1 0 32408 58 0 0 25 0 11 0 419695211 859103232 44710 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 44710 13073 16 0 209726 0 vsize: 838968 [startup+380.023 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 33311 58 0 0 25 0 11 0 419695211 859103232 45002 4294967295 134512640 134569956 3221224416 3221214592 1131481771 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 45002 13073 16 0 209726 0 vsize: 838968 [startup+390.024 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 34220 59 0 0 25 0 11 0 419695211 859103232 45180 4294967295 134512640 134569956 3221224416 3221214688 1131211754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 45180 13073 16 0 209726 0 vsize: 838968 [startup+400.028 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 35124 59 0 0 25 0 11 0 419695211 859103232 45451 4294967295 134512640 134569956 3221224416 3221214688 1131211261 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 45451 13073 16 0 209726 0 vsize: 838968 [startup+410.03 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 36033 60 0 0 25 0 11 0 419695211 859103232 45616 4294967295 134512640 134569956 3221224416 3221214784 1131378887 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 45616 13073 16 0 209726 0 vsize: 838968 [startup+420.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 36939 60 0 0 25 0 11 0 419695211 859103232 45867 4294967295 134512640 134569956 3221224416 3221214724 1080203686 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 45867 13073 16 0 209726 0 vsize: 838968 [startup+430.031 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 37835 60 0 0 25 0 11 0 419695211 859103232 46044 4294967295 134512640 134569956 3221224416 3221214688 1131212274 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 46044 13073 16 0 209726 0 vsize: 838968 [startup+440.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 38720 61 0 0 25 0 11 0 419695211 859103232 46283 4294967295 134512640 134569956 3221224416 3221214824 1131357984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 46283 13073 16 0 209726 0 vsize: 838968 [startup+450.032 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 39606 61 0 0 25 0 11 0 419695211 859103232 46563 4294967295 134512640 134569956 3221224416 3221214724 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 46563 13073 16 0 209726 0 vsize: 838968 [startup+460.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 40500 61 0 0 25 0 11 0 419695211 859103232 46836 4294967295 134512640 134569956 3221224416 3221214784 1131378839 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 46836 13073 16 0 209726 0 vsize: 838968 [startup+470.042 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 41404 62 0 0 24 0 11 0 419695211 859103232 47193 4294967295 134512640 134569956 3221224416 3221214784 1131378060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 47193 13073 16 0 209726 0 vsize: 838968 [startup+480.041 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 42326 62 0 0 25 0 11 0 419695211 859103232 47338 4294967295 134512640 134569956 3221224416 3221214688 1131211571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 47338 13073 16 0 209726 0 vsize: 838968 [startup+490.046 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18063 3 1 0 43248 63 0 0 25 0 11 0 419695211 859103232 47602 4294967295 134512640 134569956 3221224416 3221214688 1131211546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 47602 13073 16 0 209726 0 vsize: 838968 [startup+500.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 44179 63 0 0 25 0 11 0 419695211 859103232 47705 4294967295 134512640 134569956 3221224416 3221214688 1131211781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 47705 13073 16 0 209726 0 vsize: 838968 [startup+510.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 45105 64 0 0 25 0 11 0 419695211 859103232 47888 4294967295 134512640 134569956 3221224416 3221214788 1080203737 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 47888 13073 16 0 209726 0 vsize: 838968 [startup+520.047 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 46021 64 0 0 25 0 11 0 419695211 859103232 48033 4294967295 134512640 134569956 3221224416 3221214728 1131370094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 48033 13073 16 0 209726 0 vsize: 838968 [startup+530.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 46938 64 0 0 25 0 11 0 419695211 859103232 48171 4294967295 134512640 134569956 3221224416 3221214784 1131378086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 48171 13073 16 0 209726 0 vsize: 838968 [startup+540.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 47842 65 0 0 24 0 11 0 419695211 859103232 48427 4294967295 134512640 134569956 3221224416 3221214728 1131370297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 48427 13073 16 0 209726 0 vsize: 838968 [startup+550.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18064 3 1 0 48757 66 0 0 25 0 11 0 419695211 859103232 48588 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 48588 13073 16 0 209726 0 vsize: 838968 [startup+560.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 49636 66 0 0 18 0 11 0 419695211 859103232 48833 4294967295 134512640 134569956 3221224416 3221213912 1078831329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 48833 13073 16 0 209726 0 vsize: 838968 [startup+570.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 50531 66 0 0 22 0 11 0 419695211 859103232 48972 4294967295 134512640 134569956 3221224416 3221214688 1131211919 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 48972 13073 16 0 209726 0 vsize: 838968 [startup+580.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 51451 66 0 0 25 0 11 0 419695211 859103232 49422 4294967295 134512640 134569956 3221224416 3221214808 1131221507 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 49422 13073 16 0 209726 0 vsize: 838968 [startup+590.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 52398 67 0 0 25 0 11 0 419695211 859103232 49472 4294967295 134512640 134569956 3221224416 3221214688 1131212364 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 49472 13073 16 0 209726 0 vsize: 838968 [startup+600.051 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 53319 68 0 0 25 0 11 0 419695211 859103232 49498 4294967295 134512640 134569956 3221224416 3221214784 1131378038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 49498 13073 16 0 209726 0 vsize: 838968 [startup+610.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 54230 68 0 0 25 0 11 0 419695211 859103232 49526 4294967295 134512640 134569956 3221224416 3221214688 1131212005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 49526 13073 16 0 209726 0 vsize: 838968 [startup+620.053 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21906 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 55130 68 0 0 24 0 11 0 419695211 859103232 49814 4294967295 134512640 134569956 3221224416 3221214784 1131378884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 49814 13073 16 0 209726 0 vsize: 838968 [startup+630.052 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 56044 70 0 0 25 0 11 0 419695211 859103232 50066 4294967295 134512640 134569956 3221224416 3221214796 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 50066 13073 16 0 209726 0 vsize: 838968 [startup+640.054 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 56962 70 0 0 25 0 11 0 419695211 859103232 50254 4294967295 134512640 134569956 3221224416 3221214688 1131211563 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 50254 13073 16 0 209726 0 vsize: 838968 [startup+650.054 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 57877 71 0 0 25 0 11 0 419695211 859103232 50399 4294967295 134512640 134569956 3221224416 3221214688 1131211675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 50399 13073 16 0 209726 0 vsize: 838968 [startup+660.055 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 58782 72 0 0 25 0 11 0 419695211 859103232 50598 4294967295 134512640 134569956 3221224416 3221214688 1131211773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 50598 13073 16 0 209726 0 vsize: 838968 [startup+670.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 59690 72 0 0 25 0 11 0 419695211 859103232 50813 4294967295 134512640 134569956 3221224416 3221214688 1131211727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 50813 13073 16 0 209726 0 vsize: 838968 [startup+680.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 60599 72 0 0 25 0 11 0 419695211 859103232 51022 4294967295 134512640 134569956 3221224416 3221214784 1131376999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 51022 13073 16 0 209726 0 vsize: 838968 [startup+690.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 61502 72 0 0 25 0 11 0 419695211 859103232 51283 4294967295 134512640 134569956 3221224416 3221214592 1131466897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 51283 13073 16 0 209726 0 vsize: 838968 [startup+700.057 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 62419 73 0 0 25 0 11 0 419695211 859103232 51487 4294967295 134512640 134569956 3221224416 3221214688 1131212225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 51487 13073 16 0 209726 0 vsize: 838968 [startup+710.058 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 63325 74 0 0 24 0 11 0 419695211 859103232 51699 4294967295 134512640 134569956 3221224416 3221214788 1080203744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 51699 13073 16 0 209726 0 vsize: 838968 [startup+720.058 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 64240 74 0 0 25 0 11 0 419695211 859103232 51851 4294967295 134512640 134569956 3221224416 3221214688 1131211806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 51851 13073 16 0 209726 0 vsize: 838968 [startup+730.058 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 65158 75 0 0 25 0 11 0 419695211 859103232 52058 4294967295 134512640 134569956 3221224416 3221214784 1131378053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 52058 13073 16 0 209726 0 vsize: 838968 [startup+740.059 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 66078 75 0 0 25 0 11 0 419695211 859103232 52280 4294967295 134512640 134569956 3221224416 3221214688 1131211833 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 52280 13073 16 0 209726 0 vsize: 838968 [startup+750.06 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18064 3 1 0 66993 76 0 0 25 0 11 0 419695211 859103232 52449 4294967295 134512640 134569956 3221224416 3221213328 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 52449 13073 16 0 209726 0 vsize: 838968 [startup+760.061 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 67906 76 0 0 25 0 11 0 419695211 859103232 52632 4294967295 134512640 134569956 3221224416 3221214784 1131378969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 52632 13073 16 0 209726 0 vsize: 838968 [startup+770.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 68829 76 0 0 25 0 11 0 419695211 859103232 52873 4294967295 134512640 134569956 3221224416 3221214592 1131483253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 52873 13073 16 0 209726 0 vsize: 838968 [startup+780.061 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 69749 77 0 0 25 0 11 0 419695211 859103232 53069 4294967295 134512640 134569956 3221224416 3221214704 1131624007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 53069 13073 16 0 209726 0 vsize: 838968 [startup+790.062 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 70677 77 0 0 24 0 11 0 419695211 859103232 53225 4294967295 134512640 134569956 3221224416 3221214688 1131212265 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 53225 13073 16 0 209726 0 vsize: 838968 [startup+800.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 71607 77 0 0 25 0 11 0 419695211 859103232 53426 4294967295 134512640 134569956 3221224416 3221214688 1131212236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 53426 13073 16 0 209726 0 vsize: 838968 [startup+810.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 72537 78 0 0 25 0 11 0 419695211 859103232 53521 4294967295 134512640 134569956 3221224416 3221214688 1131211623 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 53521 13073 16 0 209726 0 vsize: 838968 [startup+820.063 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 73460 78 0 0 25 0 11 0 419695211 859103232 53688 4294967295 134512640 134569956 3221224416 3221214784 1131378031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 53688 13073 16 0 209726 0 vsize: 838968 [startup+830.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 74394 78 0 0 25 0 11 0 419695211 859103232 53900 4294967295 134512640 134569956 3221224416 3221214688 1131211600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 53900 13073 16 0 209726 0 vsize: 838968 [startup+840.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 75323 79 0 0 25 0 11 0 419695211 859103232 54039 4294967295 134512640 134569956 3221224416 3221214688 1131212389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 54039 13073 16 0 209726 0 vsize: 838968 [startup+850.064 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 76248 79 0 0 25 0 11 0 419695211 859103232 54188 4294967295 134512640 134569956 3221224416 3221214688 1131212005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 54188 13073 16 0 209726 0 vsize: 838968 [startup+860.066 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 77176 79 0 0 25 0 11 0 419695211 859103232 54362 4294967295 134512640 134569956 3221224416 3221214784 1131378884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 54362 13073 16 0 209726 0 vsize: 838968 [startup+870.066 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 78103 80 0 0 25 0 11 0 419695211 859103232 54535 4294967295 134512640 134569956 3221224416 3221214780 1131212528 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 54535 13073 16 0 209726 0 vsize: 838968 [startup+880.066 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 79034 80 0 0 24 0 11 0 419695211 859103232 54680 4294967295 134512640 134569956 3221224416 3221214592 1131482297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 54680 13073 16 0 209726 0 vsize: 838968 [startup+890.067 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 79971 81 0 0 25 0 11 0 419695211 859103232 54803 4294967295 134512640 134569956 3221224416 3221214720 1131250603 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 54803 13073 16 0 209726 0 vsize: 838968 [startup+900.067 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18064 3 1 0 80898 82 0 0 25 0 11 0 419695211 859103232 54921 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 54921 13073 16 0 209726 0 vsize: 838968 [startup+910.068 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 81830 82 0 0 25 0 11 0 419695211 859103232 55098 4294967295 134512640 134569956 3221224416 3221214688 1131211681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 55098 13073 16 0 209726 0 vsize: 838968 [startup+920.069 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 82765 82 0 0 25 0 11 0 419695211 859103232 55298 4294967295 134512640 134569956 3221224416 3221214688 1131212349 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 55298 13073 16 0 209726 0 vsize: 838968 [startup+930.069 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 83704 83 0 0 25 0 11 0 419695211 859103232 55429 4294967295 134512640 134569956 3221224416 3221214784 1131378031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 55429 13073 16 0 209726 0 vsize: 838968 [startup+940.071 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 84638 83 0 0 25 0 11 0 419695211 859103232 55549 4294967295 134512640 134569956 3221224416 3221214688 1131212374 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 55549 13073 16 0 209726 0 vsize: 838968 [startup+950.071 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 85561 84 0 0 25 0 11 0 419695211 859103232 55685 4294967295 134512640 134569956 3221224416 3221214704 1131624032 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 55685 13073 16 0 209726 0 vsize: 838968 [startup+960.071 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 86481 85 0 0 25 0 11 0 419695211 859103232 55824 4294967295 134512640 134569956 3221224416 3221214688 1131211727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 55824 13073 16 0 209726 0 vsize: 838968 [startup+970.072 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 87404 85 0 0 25 0 11 0 419695211 859103232 56024 4294967295 134512640 134569956 3221224416 3221214784 1131377980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 56024 13073 16 0 209726 0 vsize: 838968 [startup+980.073 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 88334 85 0 0 24 0 11 0 419695211 859103232 56246 4294967295 134512640 134569956 3221224416 3221214688 1131211563 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 56246 13073 16 0 209726 0 vsize: 838968 [startup+990.073 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 89267 86 0 0 25 0 11 0 419695211 859103232 56408 4294967295 134512640 134569956 3221224416 3221214688 1131211491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 56408 13073 16 0 209726 0 vsize: 838968 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 90201 86 0 0 25 0 11 0 419695211 859103232 56554 4294967295 134512640 134569956 3221224416 3221214688 1131211773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 56554 13073 16 0 209726 0 vsize: 838968 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 91134 87 0 0 25 0 11 0 419695211 859103232 56656 4294967295 134512640 134569956 3221224416 3221214688 1131212389 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 56656 13073 16 0 209726 0 vsize: 838968 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 92066 87 0 0 25 0 11 0 419695211 859103232 56866 4294967295 134512640 134569956 3221224416 3221214688 1131211723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 56866 13073 16 0 209726 0 vsize: 838968 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 92992 87 0 0 25 0 11 0 419695211 859103232 56916 4294967295 134512640 134569956 3221224416 3221214784 1131378946 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 56916 13073 16 0 209726 0 vsize: 838968 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 93919 88 0 0 25 0 11 0 419695211 859103232 57111 4294967295 134512640 134569956 3221224416 3221214784 1131378013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 57111 13073 16 0 209726 0 vsize: 838968 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 94852 88 0 0 25 0 11 0 419695211 859103232 57278 4294967295 134512640 134569956 3221224416 3221214784 1131378010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 57278 13073 16 0 209726 0 vsize: 838968 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 95767 88 0 0 25 0 11 0 419695211 859103232 57417 4294967295 134512640 134569956 3221224416 3221214688 1131211727 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 57417 13073 16 0 209726 0 vsize: 838968 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 96679 89 0 0 25 0 11 0 419695211 859103232 57574 4294967295 134512640 134569956 3221224416 3221214688 1131211546 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 57574 13073 16 0 209726 0 vsize: 838968 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 97601 90 0 0 25 0 11 0 419695211 859103232 57744 4294967295 134512640 134569956 3221224416 3221214688 1131211291 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 57744 13073 16 0 209726 0 vsize: 838968 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 98558 90 0 0 25 0 11 0 419695211 859103232 57899 4294967295 134512640 134569956 3221224416 3221214688 1131212476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 57899 13073 16 0 209726 0 vsize: 838968 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18064 3 1 0 99497 91 0 0 25 0 11 0 419695211 859103232 57933 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 57933 13073 16 0 209726 0 vsize: 838968 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 100411 91 0 0 25 0 11 0 419695211 859103232 57966 4294967295 134512640 134569956 3221224416 3221214688 1131211822 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 57966 13073 16 0 209726 0 vsize: 838968 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 101305 92 0 0 25 0 11 0 419695211 859103232 58037 4294967295 134512640 134569956 3221224416 3221214784 1131377966 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 58037 13073 16 0 209726 0 vsize: 838968 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 102198 93 0 0 25 0 11 0 419695211 859103232 58283 4294967295 134512640 134569956 3221224416 3221214688 1131212005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 58283 13073 16 0 209726 0 vsize: 838968 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 103087 93 0 0 25 0 11 0 419695211 859103232 58612 4294967295 134512640 134569956 3221224416 3221214688 1131212001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 58612 13073 16 0 209726 0 vsize: 838968 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 103992 93 0 0 25 0 11 0 419695211 859103232 58865 4294967295 134512640 134569956 3221224416 3221214680 1131364459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 58865 13073 16 0 209726 0 vsize: 838968 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18064 3 1 0 104886 93 0 0 25 0 11 0 419695211 859103232 59094 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 59094 13073 16 0 209726 0 vsize: 838968 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 105791 94 0 0 25 0 11 0 419695211 859103232 59356 4294967295 134512640 134569956 3221224416 3221214784 1131378880 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 59356 13073 16 0 209726 0 vsize: 838968 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 106700 95 0 0 25 0 11 0 419695211 859103232 59654 4294967295 134512640 134569956 3221224416 3221214784 1131378038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 59654 13073 16 0 209726 0 vsize: 838968 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 107621 95 0 0 25 0 11 0 419695211 859103232 59793 4294967295 134512640 134569956 3221224416 3221214784 1131378010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 59793 13073 16 0 209726 0 vsize: 838968 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 108547 96 0 0 25 0 11 0 419695211 859103232 59983 4294967295 134512640 134569956 3221224416 3221214688 1131211957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 59983 13073 16 0 209726 0 vsize: 838968 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 109476 96 0 0 25 0 11 0 419695211 859103232 60128 4294967295 134512640 134569956 3221224416 3221214688 1131211777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 60128 13073 16 0 209726 0 vsize: 838968 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 110394 97 0 0 24 0 11 0 419695211 859103232 60274 4294967295 134512640 134569956 3221224416 3221214688 1131211472 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 60274 13073 16 0 209726 0 vsize: 838968 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 111314 97 0 0 25 0 11 0 419695211 859103232 60402 4294967295 134512640 134569956 3221224416 3221214784 1131397356 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 60402 13073 16 0 209726 0 vsize: 838968 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 112217 97 0 0 25 0 11 0 419695211 859103232 60565 4294967295 134512640 134569956 3221224416 3221214688 1131212005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209742 60565 13073 16 0 209726 0 vsize: 838968 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 113115 98 0 0 25 0 11 0 419695211 859103232 60815 4294967295 134512640 134569956 3221224416 3221214728 1131370216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 60815 13073 16 0 209726 0 vsize: 838968 [startup+1260.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 114006 98 0 0 25 0 11 0 419695211 859103232 61068 4294967295 134512640 134569956 3221224416 3221214688 1131211713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 61068 13073 16 0 209726 0 vsize: 838968 [startup+1270.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 114917 98 0 0 25 0 11 0 419695211 859103232 61295 4294967295 134512640 134569956 3221224416 3221214688 1131211491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 61295 13073 16 0 209726 0 vsize: 838968 [startup+1280.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18064 3 1 0 115830 98 0 0 25 0 11 0 419695211 859103232 61621 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 61621 13073 16 0 209726 0 vsize: 838968 [startup+1290.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 116756 98 0 0 25 0 11 0 419695211 859103232 61756 4294967295 134512640 134569956 3221224416 3221214900 1080204314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 61756 13073 16 0 209726 0 vsize: 838968 [startup+1300.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 117662 98 0 0 25 0 11 0 419695211 859103232 61937 4294967295 134512640 134569956 3221224416 3221214888 1131154969 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 61937 13073 16 0 209726 0 vsize: 838968 [startup+1310.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 118565 98 0 0 25 0 11 0 419695211 859103232 62051 4294967295 134512640 134569956 3221224416 3221214720 1131250582 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 62051 13073 16 0 209726 0 vsize: 838968 [startup+1320.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) S 21832 20937 20936 0 -1 0 18064 3 1 0 119451 98 0 0 25 0 11 0 419695211 859103232 62335 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 62335 13073 16 0 209726 0 vsize: 838968 [startup+1330.09 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 21908 Raw data (stat): 21833 (java) R 21832 20937 20936 0 -1 0 18064 3 1 0 120354 98 0 0 25 0 11 0 419695211 859103232 62539 4294967295 134512640 134569956 3221224416 3221214688 1131212236 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209742 62539 13073 16 0 209726 0 vsize: 838968 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1330.35 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 21910 Raw data (stat): 21833 (java) Z 21832 20937 20936 0 -1 1036 18064 48392 1 0 120359 110 13426 109 25 0 1 0 419695211 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): 1330.35 CPU time (s): 1340.06 CPU user time (s): 1337.86 CPU system time (s): 2.19967 CPU usage (%): 100.729 Max. virtual memory (Kb): 839928 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####