Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb |
MD5SUM | 3525728b1c2480586834886de2d50400 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 63309 |
Biggest coefficient in the objective function | 53687091200000000000 |
Number of bits for the biggest coefficient in the objective function | 66 |
Sum of the numbers in the objective function | 215947469635884908544 |
Number of bits of the sum of numbers in the objective function | 68 |
Biggest number in a constraint | 53687091200000000000 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 215947469635884908544 |
Number of bits of the biggest sum of numbers | 68 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 290.253 |
Number of variables | 63009 |
Total number of constraints | 63518 |
Number of constraints which are clauses | 507 |
Number of constraints which are cardinality constraints (but not clauses) | 63011 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 59416 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-04-21 20:39:20 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15180 boxname=wulflinc4 idbench=1168 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 3525728b1c2480586834886de2d50400 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-rail507.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-rail507.opb IDLAUNCH: 15180 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 619992 kB Buffers: 30728 kB Cached: 361608 kB SwapCached: 364 kB Active: 70952 kB Inactive: 323912 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 619740 kB SwapTotal: 2097136 kB SwapFree: 2096356 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6404 kB Slab: 14132 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 21:00:53 (client local time) WITH STATUS 143 IN 1295.02 SECONDS stats: 15180 7 1295.02 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-rail507.opb c reading problem c [nbvar=63309] c [nbconstr=63518] c time 1255.993 c #vars 63309 c #clauses 509 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=-338165760 c Current CPU time (ms) : 1282.299 c starts : 1 c conflicts : 0 c decisions : 63128 c propagations : 63309 c inspects : 21679 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=-338165760 c Current CPU time (ms) : 1285.115 c starts : 2 c conflicts : 0 c decisions : 126256 c propagations : 126611 c inspects : 22072 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=-338165760 c Current CPU time (ms) : 1287.779 c starts : 3 c conflicts : 0 c decisions : 189384 c propagations : 189913 c inspects : 22453 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 3 #### 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.66 0.89 0.89 2/54 16333 Raw data (stat): 16333 (runsolver) R 16332 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489801015 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.0008 s] Raw data (loadavg): 0.71 0.90 0.89 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 881 44 0 0 25 0 10 0 489801015 853708800 19191 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208425 19191 13073 16 0 208409 0 vsize: 833700 [startup+20.0012 s] Raw data (loadavg): 0.75 0.90 0.89 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 1771 44 0 0 25 0 10 0 489801015 853647360 19684 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208410 19684 13073 16 0 208394 0 vsize: 833640 [startup+30.002 s] Raw data (loadavg): 0.79 0.90 0.89 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 2671 45 0 0 25 0 10 0 489801015 853516288 20045 4294967295 134512640 134569956 3221224400 3221214764 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 20045 13073 16 0 208362 0 vsize: 833512 [startup+40.0034 s] Raw data (loadavg): 0.82 0.90 0.89 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 3601 45 0 0 24 0 10 0 489801015 853516288 20270 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 20270 13073 16 0 208362 0 vsize: 833512 [startup+50.0124 s] Raw data (loadavg): 0.85 0.91 0.89 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 4531 46 0 0 24 0 10 0 489801015 853516288 20390 4294967295 134512640 134569956 3221224400 3221214824 1131227652 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 20390 13073 16 0 208362 0 vsize: 833512 [startup+60.0126 s] Raw data (loadavg): 0.87 0.91 0.89 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 5459 46 0 0 24 0 10 0 489801015 853663744 20502 4294967295 134512640 134569956 3221224400 3221214824 1131228102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208414 20502 13073 16 0 208398 0 vsize: 833656 [startup+70.0168 s] Raw data (loadavg): 0.89 0.91 0.89 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 6406 47 0 0 25 0 10 0 489801015 853516288 20709 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 20709 13073 16 0 208362 0 vsize: 833512 [startup+80.0214 s] Raw data (loadavg): 0.91 0.91 0.90 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 7351 47 0 0 25 0 10 0 489801015 853516288 20791 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 20791 13073 16 0 208362 0 vsize: 833512 [startup+90.0212 s] Raw data (loadavg): 0.92 0.92 0.90 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 8300 47 0 0 25 0 10 0 489801015 853516288 20861 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 20861 13073 16 0 208362 0 vsize: 833512 [startup+100.023 s] Raw data (loadavg): 0.93 0.92 0.90 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 9247 48 0 0 25 0 10 0 489801015 853516288 20931 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 20931 13073 16 0 208362 0 vsize: 833512 [startup+110.023 s] Raw data (loadavg): 0.94 0.92 0.90 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 10195 49 0 0 25 0 10 0 489801015 853516288 20994 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 20994 13073 16 0 208362 0 vsize: 833512 [startup+120.032 s] Raw data (loadavg): 0.95 0.92 0.90 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 11145 49 0 0 25 0 10 0 489801015 853516288 21055 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21055 13073 16 0 208362 0 vsize: 833512 [startup+130.038 s] Raw data (loadavg): 0.96 0.92 0.90 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 12092 50 0 0 25 0 10 0 489801015 853516288 21114 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21114 13073 16 0 208362 0 vsize: 833512 [startup+140.043 s] Raw data (loadavg): 0.96 0.93 0.90 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 13042 51 0 0 25 0 10 0 489801015 853516288 21167 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21167 13073 16 0 208362 0 vsize: 833512 [startup+150.05 s] Raw data (loadavg): 0.97 0.93 0.90 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 13989 51 0 0 25 0 10 0 489801015 853516288 21222 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21222 13073 16 0 208362 0 vsize: 833512 [startup+160.051 s] Raw data (loadavg): 0.97 0.93 0.90 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 14935 52 0 0 24 0 10 0 489801015 853516288 21273 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21273 13073 16 0 208362 0 vsize: 833512 [startup+170.05 s] Raw data (loadavg): 0.98 0.93 0.90 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 15870 52 0 0 25 0 10 0 489801015 853516288 21320 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21320 13073 16 0 208362 0 vsize: 833512 [startup+180.051 s] Raw data (loadavg): 0.98 0.93 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 16797 52 0 0 25 0 10 0 489801015 853516288 21366 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21366 13073 16 0 208362 0 vsize: 833512 [startup+190.052 s] Raw data (loadavg): 0.98 0.94 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 17732 52 0 0 24 0 10 0 489801015 853516288 21669 4294967295 134512640 134569956 3221224400 3221214120 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21669 13073 16 0 208362 0 vsize: 833512 [startup+200.053 s] Raw data (loadavg): 0.98 0.94 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 18678 53 0 0 25 0 10 0 489801015 853516288 21711 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21711 13073 16 0 208362 0 vsize: 833512 [startup+210.054 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 19620 53 0 0 25 0 10 0 489801015 853516288 21757 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21757 13073 16 0 208362 0 vsize: 833512 [startup+220.055 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 20565 54 0 0 25 0 10 0 489801015 853516288 21797 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21797 13073 16 0 208362 0 vsize: 833512 [startup+230.055 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 21505 55 0 0 25 0 10 0 489801015 853516288 21839 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21839 13073 16 0 208362 0 vsize: 833512 [startup+240.056 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 22449 55 0 0 25 0 10 0 489801015 853516288 21878 4294967295 134512640 134569956 3221224400 3221214216 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21878 13073 16 0 208362 0 vsize: 833512 [startup+250.057 s] Raw data (loadavg): 0.99 0.94 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 23388 56 0 0 25 0 10 0 489801015 853516288 21918 4294967295 134512640 134569956 3221224400 3221214232 1076460929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21918 13073 16 0 208362 0 vsize: 833512 [startup+260.061 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 24330 56 0 0 25 0 10 0 489801015 853516288 21955 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208378 21955 13073 16 0 208362 0 vsize: 833512 [startup+270.061 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 25269 57 0 0 25 0 10 0 489801015 853516288 21993 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 21993 13073 16 0 208362 0 vsize: 833512 [startup+280.062 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 26210 57 0 0 25 0 10 0 489801015 853516288 22029 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22029 13073 16 0 208362 0 vsize: 833512 [startup+290.062 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 27148 57 0 0 25 0 10 0 489801015 853516288 22066 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22066 13073 16 0 208362 0 vsize: 833512 [startup+300.064 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 28086 57 0 0 24 0 10 0 489801015 853516288 22102 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22102 13073 16 0 208362 0 vsize: 833512 [startup+310.065 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 29026 58 0 0 25 0 10 0 489801015 853516288 22135 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22135 13073 16 0 208362 0 vsize: 833512 [startup+320.066 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 29962 58 0 0 24 0 10 0 489801015 853516288 22170 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22170 13073 16 0 208362 0 vsize: 833512 [startup+330.066 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 30902 58 0 0 25 0 10 0 489801015 853516288 22203 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22203 13073 16 0 208362 0 vsize: 833512 [startup+340.067 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 31837 58 0 0 24 0 10 0 489801015 853516288 22236 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22236 13073 16 0 208362 0 vsize: 833512 [startup+350.069 s] Raw data (loadavg): 0.99 0.95 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 32775 59 0 0 25 0 10 0 489801015 853516288 22269 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22269 13073 16 0 208362 0 vsize: 833512 [startup+360.069 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 33712 59 0 0 25 0 10 0 489801015 853516288 22300 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22300 13073 16 0 208362 0 vsize: 833512 [startup+370.07 s] Raw data (loadavg): 0.99 0.96 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 34647 60 0 0 25 0 10 0 489801015 853516288 22332 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22332 13073 16 0 208362 0 vsize: 833512 [startup+380.172 s] Raw data (loadavg): 1.07 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 35590 60 0 0 25 0 10 0 489801015 853516288 22363 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22363 13073 16 0 208362 0 vsize: 833512 [startup+390.173 s] Raw data (loadavg): 1.06 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 36527 60 0 0 25 0 10 0 489801015 853516288 22393 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22393 13073 16 0 208362 0 vsize: 833512 [startup+400.174 s] Raw data (loadavg): 1.05 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 37463 60 0 0 25 0 10 0 489801015 853516288 22423 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22423 13073 16 0 208362 0 vsize: 833512 [startup+410.175 s] Raw data (loadavg): 1.04 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 38394 61 0 0 25 0 10 0 489801015 853516288 22453 4294967295 134512640 134569956 3221224400 3221214176 1076874552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22453 13073 16 0 208362 0 vsize: 833512 [startup+420.175 s] Raw data (loadavg): 1.04 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 39329 61 0 0 25 0 10 0 489801015 853516288 22482 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22482 13073 16 0 208362 0 vsize: 833512 [startup+430.176 s] Raw data (loadavg): 1.03 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 40264 62 0 0 25 0 10 0 489801015 853516288 22510 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22510 13073 16 0 208362 0 vsize: 833512 [startup+440.177 s] Raw data (loadavg): 1.03 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 41194 62 0 0 25 0 10 0 489801015 853516288 22539 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22539 13073 16 0 208362 0 vsize: 833512 [startup+450.178 s] Raw data (loadavg): 1.02 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 42128 62 0 0 25 0 10 0 489801015 853516288 22567 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22567 13073 16 0 208362 0 vsize: 833512 [startup+460.178 s] Raw data (loadavg): 1.02 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 43062 62 0 0 25 0 10 0 489801015 853516288 22594 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22594 13073 16 0 208362 0 vsize: 833512 [startup+470.178 s] Raw data (loadavg): 1.01 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 43990 63 0 0 25 0 10 0 489801015 853516288 22622 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22622 13073 16 0 208362 0 vsize: 833512 [startup+480.179 s] Raw data (loadavg): 1.01 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 44923 63 0 0 25 0 10 0 489801015 853516288 22649 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22649 13073 16 0 208362 0 vsize: 833512 [startup+490.18 s] Raw data (loadavg): 1.01 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 45855 64 0 0 25 0 10 0 489801015 853516288 22675 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22675 13073 16 0 208362 0 vsize: 833512 [startup+500.181 s] Raw data (loadavg): 1.01 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 46783 64 0 0 24 0 10 0 489801015 853516288 22702 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22702 13073 16 0 208362 0 vsize: 833512 [startup+510.188 s] Raw data (loadavg): 1.01 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 47715 65 0 0 25 0 10 0 489801015 853516288 22728 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22728 13073 16 0 208362 0 vsize: 833512 [startup+520.188 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 48646 65 0 0 25 0 10 0 489801015 853516288 22754 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22754 13073 16 0 208362 0 vsize: 833512 [startup+530.188 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 49576 65 0 0 25 0 10 0 489801015 853516288 22780 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22780 13073 16 0 208362 0 vsize: 833512 [startup+540.189 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 50505 66 0 0 25 0 10 0 489801015 853516288 22805 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22805 13073 16 0 208362 0 vsize: 833512 [startup+550.208 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 51431 67 0 0 24 0 10 0 489801015 853516288 22831 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22831 13073 16 0 208362 0 vsize: 833512 [startup+560.235 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 52363 67 0 0 25 0 10 0 489801015 853516288 22855 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22855 13073 16 0 208362 0 vsize: 833512 [startup+570.236 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 53291 68 0 0 25 0 10 0 489801015 853516288 22880 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22880 13073 16 0 208362 0 vsize: 833512 [startup+580.241 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 54220 68 0 0 25 0 10 0 489801015 853516288 22904 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22904 13073 16 0 208362 0 vsize: 833512 [startup+590.241 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 55146 69 0 0 25 0 10 0 489801015 853516288 22928 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22928 13073 16 0 208362 0 vsize: 833512 [startup+600.249 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 56065 69 0 0 25 0 10 0 489801015 853516288 22951 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22951 13073 16 0 208362 0 vsize: 833512 [startup+610.25 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 56990 69 0 0 25 0 10 0 489801015 853516288 22976 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22976 13073 16 0 208362 0 vsize: 833512 [startup+620.25 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 57917 69 0 0 25 0 10 0 489801015 853516288 22999 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 22999 13073 16 0 208362 0 vsize: 833512 [startup+630.251 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 58843 70 0 0 25 0 10 0 489801015 853516288 23022 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 23022 13073 16 0 208362 0 vsize: 833512 [startup+640.259 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 59770 70 0 0 25 0 10 0 489801015 853516288 23045 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 23045 13073 16 0 208362 0 vsize: 833512 [startup+650.26 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 60696 71 0 0 25 0 10 0 489801015 853516288 23069 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 23069 13073 16 0 208362 0 vsize: 833512 [startup+660.261 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 61622 71 0 0 25 0 10 0 489801015 853516288 23096 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 23096 13073 16 0 208362 0 vsize: 833512 [startup+670.262 s] Raw data (loadavg): 1.00 0.97 0.91 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 62543 71 0 0 25 0 10 0 489801015 853516288 24122 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24122 13073 16 0 208362 0 vsize: 833512 [startup+680.262 s] Raw data (loadavg): 1.07 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 63462 71 0 0 25 0 10 0 489801015 853516288 24122 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24122 13073 16 0 208362 0 vsize: 833512 [startup+690.263 s] Raw data (loadavg): 1.06 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 64378 72 0 0 25 0 10 0 489801015 853516288 24148 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24148 13073 16 0 208362 0 vsize: 833512 [startup+700.265 s] Raw data (loadavg): 1.05 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 65293 72 0 0 25 0 10 0 489801015 853516288 24169 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24169 13073 16 0 208362 0 vsize: 833512 [startup+710.265 s] Raw data (loadavg): 1.04 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 66207 73 0 0 25 0 10 0 489801015 853516288 24201 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24201 13073 16 0 208362 0 vsize: 833512 [startup+720.265 s] Raw data (loadavg): 1.04 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 67122 73 0 0 25 0 10 0 489801015 853516288 24222 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24222 13073 16 0 208362 0 vsize: 833512 [startup+730.266 s] Raw data (loadavg): 1.03 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 68036 73 0 0 25 0 10 0 489801015 853516288 24244 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24244 13073 16 0 208362 0 vsize: 833512 [startup+740.267 s] Raw data (loadavg): 1.02 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 68951 73 0 0 25 0 10 0 489801015 853516288 24265 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24265 13073 16 0 208362 0 vsize: 833512 [startup+750.267 s] Raw data (loadavg): 1.02 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 69864 73 0 0 25 0 10 0 489801015 853516288 24303 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24303 13073 16 0 208362 0 vsize: 833512 [startup+760.268 s] Raw data (loadavg): 1.02 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 70778 74 0 0 24 0 10 0 489801015 853516288 24327 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24327 13073 16 0 208362 0 vsize: 833512 [startup+770.269 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 71694 74 0 0 25 0 10 0 489801015 853516288 24347 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24347 13073 16 0 208362 0 vsize: 833512 [startup+780.269 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 72610 74 0 0 25 0 10 0 489801015 853516288 24374 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24374 13073 16 0 208362 0 vsize: 833512 [startup+790.271 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 73523 75 0 0 25 0 10 0 489801015 853516288 24401 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24401 13073 16 0 208362 0 vsize: 833512 [startup+800.273 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 74435 75 0 0 25 0 10 0 489801015 853516288 24421 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24421 13073 16 0 208362 0 vsize: 833512 [startup+810.274 s] Raw data (loadavg): 1.01 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 75346 76 0 0 25 0 10 0 489801015 853516288 24450 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24450 13073 16 0 208362 0 vsize: 833512 [startup+820.275 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 76258 76 0 0 25 0 10 0 489801015 853516288 24474 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24474 13073 16 0 208362 0 vsize: 833512 [startup+830.275 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 77168 77 0 0 25 0 10 0 489801015 853516288 24499 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24499 13073 16 0 208362 0 vsize: 833512 [startup+840.283 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 78079 78 0 0 25 0 10 0 489801015 853516288 24520 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24520 13073 16 0 208362 0 vsize: 833512 [startup+850.284 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 78989 79 0 0 24 0 10 0 489801015 853516288 24540 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24540 13073 16 0 208362 0 vsize: 833512 [startup+860.285 s] Raw data (loadavg): 1.00 0.99 0.92 3/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 79904 79 0 0 25 0 10 0 489801015 853516288 24570 4294967295 134512640 134569956 3221224400 3221213584 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208378 24570 13073 16 0 208362 0 vsize: 833512 [startup+870.286 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 80814 79 0 0 25 0 10 0 489801015 853516288 24591 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24591 13073 16 0 208362 0 vsize: 833512 [startup+880.287 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 81724 80 0 0 25 0 10 0 489801015 853516288 24615 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24615 13073 16 0 208362 0 vsize: 833512 [startup+890.288 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 82634 80 0 0 25 0 10 0 489801015 853516288 24639 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24639 13073 16 0 208362 0 vsize: 833512 [startup+900.289 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 83543 81 0 0 21 0 10 0 489801015 853516288 24659 4294967295 134512640 134569956 3221224400 3221213952 1079753278 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24659 13073 16 0 208362 0 vsize: 833512 [startup+910.29 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 84452 82 0 0 21 0 10 0 489801015 853516288 24685 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24685 13073 16 0 208362 0 vsize: 833512 [startup+920.292 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 85360 82 0 0 24 0 10 0 489801015 853516288 24707 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24707 13073 16 0 208362 0 vsize: 833512 [startup+930.296 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 86274 83 0 0 25 0 10 0 489801015 853516288 24727 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24727 13073 16 0 208362 0 vsize: 833512 [startup+940.302 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 87184 83 0 0 25 0 10 0 489801015 853516288 24752 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24752 13073 16 0 208362 0 vsize: 833512 [startup+950.303 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 88091 84 0 0 25 0 10 0 489801015 853516288 24775 4294967295 134512640 134569956 3221224400 3221214216 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24775 13073 16 0 208362 0 vsize: 833512 [startup+960.304 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 88996 84 0 0 25 0 10 0 489801015 853516288 24797 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24797 13073 16 0 208362 0 vsize: 833512 [startup+970.304 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 89904 84 0 0 25 0 10 0 489801015 853516288 24820 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24820 13073 16 0 208362 0 vsize: 833512 [startup+980.306 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) S 16332 5897 5896 0 -1 0 17979 0 1 0 90814 85 0 0 25 0 10 0 489801015 853516288 24841 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24841 13073 16 0 208362 0 vsize: 833512 [startup+990.307 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 91724 85 0 0 25 0 10 0 489801015 853516288 24861 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24861 13073 16 0 208362 0 vsize: 833512 [startup+1000.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 92630 85 0 0 25 0 10 0 489801015 853516288 24882 4294967295 134512640 134569956 3221224400 3221214740 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24882 13073 16 0 208362 0 vsize: 833512 [startup+1010.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 93537 86 0 0 25 0 10 0 489801015 853516288 24905 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24905 13073 16 0 208362 0 vsize: 833512 [startup+1020.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 94442 86 0 0 24 0 10 0 489801015 853516288 24928 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24928 13073 16 0 208362 0 vsize: 833512 [startup+1030.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 95353 86 0 0 25 0 10 0 489801015 853516288 24948 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24948 13073 16 0 208362 0 vsize: 833512 [startup+1040.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 96258 87 0 0 25 0 10 0 489801015 853516288 24971 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24971 13073 16 0 208362 0 vsize: 833512 [startup+1050.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 97164 87 0 0 25 0 10 0 489801015 853516288 24992 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 24992 13073 16 0 208362 0 vsize: 833512 [startup+1060.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 98074 87 0 0 25 0 10 0 489801015 853516288 25013 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 25013 13073 16 0 208362 0 vsize: 833512 [startup+1070.31 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 98977 88 0 0 25 0 10 0 489801015 853516288 25034 4294967295 134512640 134569956 3221224400 3221214748 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 25034 13073 16 0 208362 0 vsize: 833512 [startup+1080.32 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 99881 88 0 0 24 0 10 0 489801015 853516288 25053 4294967295 134512640 134569956 3221224400 3221214216 1080019733 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 25053 13073 16 0 208362 0 vsize: 833512 [startup+1090.32 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 100790 89 0 0 23 0 10 0 489801015 853516288 25072 4294967295 134512640 134569956 3221224400 3221214216 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 25072 13073 16 0 208362 0 vsize: 833512 [startup+1100.32 s] Raw data (loadavg): 1.00 0.99 0.92 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17979 0 1 0 101694 90 0 0 21 0 10 0 489801015 853516288 25090 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208378 25090 13073 16 0 208362 0 vsize: 833512 [startup+1110.32 s] Raw data (loadavg): 1.16 1.02 0.93 4/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17987 0 1 0 102597 90 0 0 25 0 10 0 489801015 856387584 25839 4294967295 134512640 134569956 3221224400 3221213692 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209079 25839 13073 16 0 209063 0 vsize: 836316 [startup+1120.32 s] Raw data (loadavg): 1.13 1.02 0.93 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17995 0 1 0 103539 91 0 0 25 0 10 0 489801015 857706496 26328 4294967295 134512640 134569956 3221224400 3221214688 1131329151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209401 26328 13073 16 0 209385 0 vsize: 837604 [startup+1130.32 s] Raw data (loadavg): 1.26 1.06 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 104536 91 0 0 25 0 10 0 489801015 857706496 26333 4294967295 134512640 134569956 3221224400 3221214320 1131285476 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209401 26333 13073 16 0 209385 0 vsize: 837604 [startup+1140.32 s] Raw data (loadavg): 1.22 1.05 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 105531 91 0 0 25 0 10 0 489801015 857706496 26334 4294967295 134512640 134569956 3221224400 3221214424 1131285544 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209401 26334 13073 16 0 209385 0 vsize: 837604 [startup+1150.32 s] Raw data (loadavg): 1.19 1.05 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 106531 91 0 0 25 0 10 0 489801015 857706496 26334 4294967295 134512640 134569956 3221224400 3221214424 1131285539 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209401 26334 13073 16 0 209385 0 vsize: 837604 [startup+1160.32 s] Raw data (loadavg): 1.16 1.05 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 107529 92 0 0 25 0 10 0 489801015 857706496 26335 4294967295 134512640 134569956 3221224400 3221214916 1080204353 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209401 26335 13073 16 0 209385 0 vsize: 837604 [startup+1170.33 s] Raw data (loadavg): 1.13 1.05 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 108506 92 0 0 25 0 10 0 489801015 857706496 27718 4294967295 134512640 134569956 3221224400 3221214632 1131285539 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209401 27718 13073 16 0 209385 0 vsize: 837604 [startup+1180.33 s] Raw data (loadavg): 1.11 1.05 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 109505 93 0 0 25 0 10 0 489801015 857706496 27718 4294967295 134512640 134569956 3221224400 3221214632 1131285491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209401 27718 13073 16 0 209385 0 vsize: 837604 [startup+1190.33 s] Raw data (loadavg): 1.09 1.04 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 110504 93 0 0 25 0 10 0 489801015 857706496 27718 4294967295 134512640 134569956 3221224400 3221214632 1131285491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209401 27718 13073 16 0 209385 0 vsize: 837604 [startup+1200.33 s] Raw data (loadavg): 1.08 1.04 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 111504 93 0 0 25 0 10 0 489801015 857706496 27718 4294967295 134512640 134569956 3221224400 3221214632 1131285473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209401 27718 13073 16 0 209385 0 vsize: 837604 [startup+1210.33 s] Raw data (loadavg): 1.07 1.04 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 112503 94 0 0 25 0 10 0 489801015 857706496 27718 4294967295 134512640 134569956 3221224400 3221214632 1131285479 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209401 27718 13073 16 0 209385 0 vsize: 837604 [startup+1220.33 s] Raw data (loadavg): 1.06 1.04 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 113503 94 0 0 25 0 10 0 489801015 857706496 27718 4294967295 134512640 134569956 3221224400 3221214632 1131285473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209401 27718 13073 16 0 209385 0 vsize: 837604 [startup+1230.33 s] Raw data (loadavg): 1.05 1.04 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 114503 94 0 0 25 0 10 0 489801015 857706496 27718 4294967295 134512640 134569956 3221224400 3221214632 1131285563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209401 27718 13073 16 0 209385 0 vsize: 837604 [startup+1240.34 s] Raw data (loadavg): 1.04 1.03 0.94 2/63 16342 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 115504 94 0 0 25 0 10 0 489801015 857706496 27718 4294967295 134512640 134569956 3221224400 3221214632 1131285491 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209401 27718 13073 16 0 209385 0 vsize: 837604 [startup+1250.34 s] Raw data (loadavg): 1.11 1.05 0.95 2/63 16395 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 17996 0 1 0 116479 97 0 0 25 0 10 0 489801015 857706496 29564 4294967295 134512640 134569956 3221224400 3221214920 1131451678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209401 29564 13073 16 0 209385 0 vsize: 837604 [startup+1260.35 s] Raw data (loadavg): 1.09 1.05 0.95 2/64 16396 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 18025 0 1 0 117413 101 0 0 25 0 11 0 489801015 858234880 31280 4294967295 134512640 134569956 3221224400 3221214648 1131312675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209530 31280 13073 16 0 209514 0 vsize: 838120 [startup+1270.35 s] Raw data (loadavg): 1.08 1.04 0.95 2/64 16396 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 18025 0 1 0 118379 101 0 0 24 0 11 0 489801015 858234880 31280 4294967295 134512640 134569956 3221224400 3221214680 1131305846 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209530 31280 13073 16 0 209514 0 vsize: 838120 [startup+1280.35 s] Raw data (loadavg): 1.06 1.04 0.95 2/64 16396 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 18025 0 1 0 119349 101 0 0 25 0 11 0 489801015 858234880 31280 4294967295 134512640 134569956 3221224400 3221214648 1131312819 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209530 31280 13073 16 0 209514 0 vsize: 838120 [startup+1290.35 s] Raw data (loadavg): 1.05 1.04 0.95 2/64 16399 Raw data (stat): 16333 (java) R 16332 5897 5896 0 -1 0 18025 3 1 0 120215 101 0 0 25 0 11 0 489801015 858234880 36496 4294967295 134512640 134569956 3221224400 3221214776 1131312793 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209530 36496 13073 16 0 209514 0 vsize: 838120 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1290.48 s] Raw data (loadavg): 1.05 1.04 0.95 1/54 16400 Raw data (stat): 16333 (java) Z 16332 5897 5896 0 -1 1036 18025 19885 1 0 120221 101 9117 61 25 0 1 0 489801015 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1290.48 CPU time (s): 1295.02 CPU user time (s): 1293.39 CPU system time (s): 1.63375 CPU usage (%): 100.352 Max. virtual memory (Kb): 838120 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####