Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-2.opb |
MD5SUM | a931f7e9a55cb6836807387327525e8b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -35 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 945 |
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 | 945 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 945 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.08 |
Number of variables | 945 |
Total number of constraints | 58624 |
Number of constraints which are clauses | 58624 |
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 wulflinc4 THE 2005-04-13 17:49:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2970 boxname=wulflinc4 idbench=330 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: a931f7e9a55cb6836807387327525e8b /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-2.opb IDLAUNCH: 2970 /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: 930236 kB Buffers: 33640 kB Cached: 50884 kB SwapCached: 0 kB Active: 47952 kB Inactive: 39428 kB HighTotal: 131008 kB HighFree: 76300 kB LowTotal: 903652 kB LowFree: 853936 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6920 kB Slab: 11304 kB Committed_AS: 71708 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 18:11:37 (client local time) WITH STATUS 143 IN SECONDS stats: 2970 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc4/normalized-frb45-21-2.opb c reading problem c [nbvar=945] c [nbconstr=58624] c time 9.426 c #vars 945 c #clauses 58624 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) : 9.857 c starts : 1 c conflicts : 0 c decisions : 945 c propagations : 945 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) : 10.052 c starts : 2 c conflicts : 0 c decisions : 1889 c propagations : 1890 c inspects : 263 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) : 15.696 c starts : 3 c conflicts : 20 c decisions : 2833 c propagations : 3065 c inspects : 3769 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 20 c root simplifications : 3 c c CURRENT OPTIMUM=-32 c Current CPU time (ms) : 15.876 c starts : 4 c conflicts : 20 c decisions : 2865 c propagations : 4010 c inspects : 7575 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 20 c root simplifications : 4 c c CURRENT OPTIMUM=-33 c Current CPU time (ms) : 18.234 c starts : 5 c conflicts : 35 c decisions : 2915 c propagations : 5077 c inspects : 17048 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=-34 c Current CPU time (ms) : 107.444 c starts : 8 c conflicts : 292 c decisions : 3279 c propagations : 9749 c inspects : 157675 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 292 c root simplifications : 8 c c CURRENT OPTIMUM=-35 c Current CPU time (ms) : 580.439 c starts : 12 c conflicts : 1003 c decisions : 4262 c propagations : 19262 c inspects : 721716 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1003 c root simplifications : 12 c c CURRENT OPTIMUM=-36 c Current CPU time (ms) : 742.117 c starts : 14 c conflicts : 1178 c decisions : 4513 c propagations : 22354 c inspects : 954421 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1178 c root simplifications : 14 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.85 0.97 0.94 2/54 6788 Raw data (stat): 6788 (runsolver) R 6787 5897 5896 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419654633 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.87 0.97 0.94 2/63 6797 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18017 0 1 0 778 49 0 0 25 0 10 0 419654633 854274048 21324 4294967295 134512640 134569956 3221224416 3221214520 1131155943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208563 21324 13073 16 0 208547 0 vsize: 834252 [startup+20.0012 s] Raw data (loadavg): 0.96 0.98 0.95 2/64 6803 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18093 3 1 0 1509 50 0 0 25 0 11 0 419654633 862609408 30327 4294967295 134512640 134569956 3221224416 3221214088 1130893400 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210598 30327 13073 16 0 210582 0 vsize: 842392 [startup+30.0012 s] Raw data (loadavg): 0.97 0.98 0.95 2/64 6803 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18093 3 1 0 2406 51 0 0 25 0 11 0 419654633 859598848 29852 4294967295 134512640 134569956 3221224416 3221214824 1131424238 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209863 29852 13073 16 0 209847 0 vsize: 839452 [startup+40.002 s] Raw data (loadavg): 0.97 0.98 0.95 2/64 6803 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 3301 51 0 0 25 0 11 0 419654633 859598848 30327 4294967295 134512640 134569956 3221224416 3221214736 1131388484 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209863 30327 13073 16 0 209847 0 vsize: 839452 [startup+50.0029 s] Raw data (loadavg): 0.98 0.98 0.95 2/64 6803 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 4177 52 0 0 25 0 11 0 419654633 859598848 30936 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209863 30936 13073 16 0 209847 0 vsize: 839452 [startup+60.0028 s] Raw data (loadavg): 0.98 0.98 0.95 2/64 6803 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 5053 52 0 0 25 0 11 0 419654633 859598848 31385 4294967295 134512640 134569956 3221224416 3221214712 1131241763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209863 31385 13073 16 0 209847 0 vsize: 839452 [startup+70.0041 s] Raw data (loadavg): 0.98 0.98 0.95 2/64 6803 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 5948 52 0 0 25 0 11 0 419654633 859598848 31760 4294967295 134512640 134569956 3221224416 3221214712 1131241704 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209863 31760 13073 16 0 209847 0 vsize: 839452 [startup+80.0045 s] Raw data (loadavg): 0.98 0.98 0.95 2/64 6803 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 6841 53 0 0 25 0 11 0 419654633 859598848 32151 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209863 32151 13073 16 0 209847 0 vsize: 839452 [startup+90.0058 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6803 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 7735 54 0 0 25 0 11 0 419654633 859598848 32505 4294967295 134512640 134569956 3221224416 3221214712 1131241997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209863 32505 13073 16 0 209847 0 vsize: 839452 [startup+100.007 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6803 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 8629 54 0 0 25 0 11 0 419654633 859598848 32804 4294967295 134512640 134569956 3221224416 3221214696 1131248901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209863 32804 13073 16 0 209847 0 vsize: 839452 [startup+110.007 s] Raw data (loadavg): 0.99 0.98 0.95 3/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 9506 54 0 0 25 0 11 0 419654633 866082816 34500 4294967295 134512640 134569956 3221224416 3221214712 1131242007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211446 34500 13073 16 0 211430 0 vsize: 845784 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 10383 54 0 0 25 0 11 0 419654633 860930048 33602 4294967295 134512640 134569956 3221224416 3221214696 1131240249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 33602 13073 16 0 210172 0 vsize: 840752 [startup+130.017 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 11248 54 0 0 25 0 11 0 419654633 860930048 34029 4294967295 134512640 134569956 3221224416 3221214568 1131532791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 34029 13073 16 0 210172 0 vsize: 840752 [startup+140.018 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 12131 55 0 0 25 0 11 0 419654633 860930048 34252 4294967295 134512640 134569956 3221224416 3221214824 1131421192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 34252 13073 16 0 210172 0 vsize: 840752 [startup+150.019 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 13023 55 0 0 24 0 11 0 419654633 860930048 34579 4294967295 134512640 134569956 3221224416 3221214808 1131353932 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 34579 13073 16 0 210172 0 vsize: 840752 [startup+160.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 13911 56 0 0 25 0 11 0 419654633 860930048 34800 4294967295 134512640 134569956 3221224416 3221214712 1131241707 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 34800 13073 16 0 210172 0 vsize: 840752 [startup+170.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) S 6787 5897 5896 0 -1 0 18094 3 1 0 14799 56 0 0 25 0 11 0 419654633 860930048 35080 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 35080 13073 16 0 210172 0 vsize: 840752 [startup+180.02 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 15676 56 0 0 24 0 11 0 419654633 860930048 35325 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 35325 13073 16 0 210172 0 vsize: 840752 [startup+190.021 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 16573 57 0 0 25 0 11 0 419654633 860930048 35648 4294967295 134512640 134569956 3221224416 3221214760 1131171943 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 35648 13073 16 0 210172 0 vsize: 840752 [startup+200.022 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18094 3 1 0 17473 57 0 0 25 0 11 0 419654633 860930048 35719 4294967295 134512640 134569956 3221224416 3221214736 1131390452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 35719 13073 16 0 210172 0 vsize: 840752 [startup+210.022 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 18369 57 0 0 25 0 11 0 419654633 860930048 35990 4294967295 134512640 134569956 3221224416 3221214824 1131422311 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 35990 13073 16 0 210172 0 vsize: 840752 [startup+220.024 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 19269 58 0 0 25 0 11 0 419654633 860930048 36262 4294967295 134512640 134569956 3221224416 3221214808 1131354075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 36262 13073 16 0 210172 0 vsize: 840752 [startup+230.024 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 20182 58 0 0 25 0 11 0 419654633 860930048 36485 4294967295 134512640 134569956 3221224416 3221214820 1080203754 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 36485 13073 16 0 210172 0 vsize: 840752 [startup+240.025 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 21104 58 0 0 25 0 11 0 419654633 860930048 36726 4294967295 134512640 134569956 3221224416 3221214624 1131238271 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 36726 13073 16 0 210172 0 vsize: 840752 [startup+250.025 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 22024 58 0 0 24 0 11 0 419654633 860930048 36893 4294967295 134512640 134569956 3221224416 3221214824 1131421386 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 36893 13073 16 0 210172 0 vsize: 840752 [startup+260.026 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 22947 59 0 0 25 0 11 0 419654633 860930048 37086 4294967295 134512640 134569956 3221224416 3221214808 1131355789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 37086 13073 16 0 210172 0 vsize: 840752 [startup+270.027 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 23857 59 0 0 25 0 11 0 419654633 860930048 37263 4294967295 134512640 134569956 3221224416 3221214664 1131650884 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 37263 13073 16 0 210172 0 vsize: 840752 [startup+280.028 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 24767 59 0 0 25 0 11 0 419654633 860930048 37434 4294967295 134512640 134569956 3221224416 3221214804 1131176300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 37434 13073 16 0 210172 0 vsize: 840752 [startup+290.029 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) S 6787 5897 5896 0 -1 0 18095 3 1 0 25670 59 0 0 25 0 11 0 419654633 860930048 37654 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 37654 13073 16 0 210172 0 vsize: 840752 [startup+300.03 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 26588 60 0 0 24 0 11 0 419654633 860930048 37712 4294967295 134512640 134569956 3221224416 3221214808 1131355597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 37712 13073 16 0 210172 0 vsize: 840752 [startup+310.031 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 27502 60 0 0 25 0 11 0 419654633 860930048 37911 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 37911 13073 16 0 210172 0 vsize: 840752 [startup+320.031 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 28430 60 0 0 25 0 11 0 419654633 860930048 38144 4294967295 134512640 134569956 3221224416 3221214664 1131647271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 38144 13073 16 0 210172 0 vsize: 840752 [startup+330.031 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 29348 60 0 0 25 0 11 0 419654633 860930048 38320 4294967295 134512640 134569956 3221224416 3221214760 1131237368 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 38320 13073 16 0 210172 0 vsize: 840752 [startup+340.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 30264 60 0 0 25 0 11 0 419654633 860930048 38511 4294967295 134512640 134569956 3221224416 3221214568 1131535429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 38511 13073 16 0 210172 0 vsize: 840752 [startup+350.032 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 31193 60 0 0 25 0 11 0 419654633 860930048 38681 4294967295 134512640 134569956 3221224416 3221214568 1131533854 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 38681 13073 16 0 210172 0 vsize: 840752 [startup+360.033 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 32116 60 0 0 25 0 11 0 419654633 860930048 38935 4294967295 134512640 134569956 3221224416 3221214808 1131354957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 38935 13073 16 0 210172 0 vsize: 840752 [startup+370.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 33040 60 0 0 25 0 11 0 419654633 860930048 39132 4294967295 134512640 134569956 3221224416 3221214888 1131629539 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 39132 13073 16 0 210172 0 vsize: 840752 [startup+380.034 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 33964 60 0 0 25 0 11 0 419654633 860930048 39279 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 39279 13073 16 0 210172 0 vsize: 840752 [startup+390.036 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 34892 60 0 0 25 0 11 0 419654633 860930048 39471 4294967295 134512640 134569956 3221224416 3221214808 1131354084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 39471 13073 16 0 210172 0 vsize: 840752 [startup+400.036 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 35823 60 0 0 25 0 11 0 419654633 860930048 39650 4294967295 134512640 134569956 3221224416 3221214696 1131240371 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 39650 13073 16 0 210172 0 vsize: 840752 [startup+410.036 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 36763 61 0 0 25 0 11 0 419654633 860930048 39853 4294967295 134512640 134569956 3221224416 3221214808 1131354511 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 39853 13073 16 0 210172 0 vsize: 840752 [startup+420.037 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 37693 61 0 0 25 0 11 0 419654633 860930048 39985 4294967295 134512640 134569956 3221224416 3221214800 1131176341 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 39985 13073 16 0 210172 0 vsize: 840752 [startup+430.038 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 38617 61 0 0 25 0 11 0 419654633 860930048 40174 4294967295 134512640 134569956 3221224416 3221214736 1131390574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 40174 13073 16 0 210172 0 vsize: 840752 [startup+440.038 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 39533 61 0 0 25 0 11 0 419654633 860930048 40292 4294967295 134512640 134569956 3221224416 3221214808 1131354680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 40292 13073 16 0 210172 0 vsize: 840752 [startup+450.039 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 40451 61 0 0 25 0 11 0 419654633 860930048 40454 4294967295 134512640 134569956 3221224416 3221214560 1131248772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 40454 13073 16 0 210172 0 vsize: 840752 [startup+460.044 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) S 6787 5897 5896 0 -1 0 18095 3 1 0 41380 61 0 0 25 0 11 0 419654633 860930048 40501 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 40501 13073 16 0 210172 0 vsize: 840752 [startup+470.045 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 42307 61 0 0 25 0 11 0 419654633 860930048 40745 4294967295 134512640 134569956 3221224416 3221214712 1131241888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 40745 13073 16 0 210172 0 vsize: 840752 [startup+480.045 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 43233 61 0 0 24 0 11 0 419654633 860930048 40912 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 40912 13073 16 0 210172 0 vsize: 840752 [startup+490.046 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 44161 61 0 0 25 0 11 0 419654633 860930048 41014 4294967295 134512640 134569956 3221224416 3221214804 1131240960 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 41014 13073 16 0 210172 0 vsize: 840752 [startup+500.046 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 45077 62 0 0 25 0 11 0 419654633 860930048 41189 4294967295 134512640 134569956 3221224416 3221214712 1131241763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 41189 13073 16 0 210172 0 vsize: 840752 [startup+510.047 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 45983 62 0 0 25 0 11 0 419654633 860930048 41331 4294967295 134512640 134569956 3221224416 3221214820 1131405856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 41331 13073 16 0 210172 0 vsize: 840752 [startup+520.048 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 46909 62 0 0 25 0 11 0 419654633 860930048 41509 4294967295 134512640 134569956 3221224416 3221214560 1131248589 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 41509 13073 16 0 210172 0 vsize: 840752 [startup+530.048 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 47826 62 0 0 25 0 11 0 419654633 860930048 41811 4294967295 134512640 134569956 3221224416 3221214760 1131237960 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 41811 13073 16 0 210172 0 vsize: 840752 [startup+540.049 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 48765 62 0 0 25 0 11 0 419654633 860930048 41964 4294967295 134512640 134569956 3221224416 3221214568 1131533111 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 41964 13073 16 0 210172 0 vsize: 840752 [startup+550.049 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 49703 63 0 0 25 0 11 0 419654633 860930048 42150 4294967295 134512640 134569956 3221224416 3221214808 1131354680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 42150 13073 16 0 210172 0 vsize: 840752 [startup+560.049 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 50645 63 0 0 25 0 11 0 419654633 860930048 42276 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 42276 13073 16 0 210172 0 vsize: 840752 [startup+570.051 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 51574 63 0 0 25 0 11 0 419654633 860930048 42387 4294967295 134512640 134569956 3221224416 3221214760 1131237376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 42387 13073 16 0 210172 0 vsize: 840752 [startup+580.051 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6804 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 52503 64 0 0 25 0 11 0 419654633 860930048 42514 4294967295 134512640 134569956 3221224416 3221214712 1131241910 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 42514 13073 16 0 210172 0 vsize: 840752 [startup+590.052 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6805 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 53399 64 0 0 25 0 11 0 419654633 860930048 42673 4294967295 134512640 134569956 3221224416 3221214712 1131241721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 42673 13073 16 0 210172 0 vsize: 840752 [startup+600.052 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6805 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 54306 64 0 0 25 0 11 0 419654633 860930048 42883 4294967295 134512640 134569956 3221224416 3221214808 1131354904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 42883 13073 16 0 210172 0 vsize: 840752 [startup+610.053 s] Raw data (loadavg): 0.99 0.98 0.95 2/64 6805 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 55218 64 0 0 25 0 11 0 419654633 860930048 43091 4294967295 134512640 134569956 3221224416 3221214736 1131388902 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 43091 13073 16 0 210172 0 vsize: 840752 [startup+620.053 s] Raw data (loadavg): 0.99 0.98 0.95 2/67 6808 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 56148 65 0 0 24 0 11 0 419654633 860930048 43275 4294967295 134512640 134569956 3221224416 3221214712 1131241819 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 43275 13073 16 0 210172 0 vsize: 840752 [startup+630.054 s] Raw data (loadavg): 1.07 1.00 0.95 2/64 6858 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 57083 66 0 0 25 0 11 0 419654633 860930048 43307 4294967295 134512640 134569956 3221224416 3221214616 1131453075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 43307 13073 16 0 210172 0 vsize: 840752 [startup+640.055 s] Raw data (loadavg): 1.06 1.00 0.95 2/64 6858 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 58009 66 0 0 25 0 11 0 419654633 860930048 43455 4294967295 134512640 134569956 3221224416 3221214808 1131354680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 43455 13073 16 0 210172 0 vsize: 840752 [startup+650.056 s] Raw data (loadavg): 1.05 1.00 0.95 2/64 6858 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 58937 66 0 0 25 0 11 0 419654633 860930048 43652 4294967295 134512640 134569956 3221224416 3221214680 1131376593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 43652 13073 16 0 210172 0 vsize: 840752 [startup+660.056 s] Raw data (loadavg): 1.04 1.00 0.95 2/64 6858 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 59869 67 0 0 25 0 11 0 419654633 860930048 43805 4294967295 134512640 134569956 3221224416 3221214712 1131486059 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 43805 13073 16 0 210172 0 vsize: 840752 [startup+670.057 s] Raw data (loadavg): 1.03 1.00 0.95 2/64 6858 Raw data (stat): 6788 (java) S 6787 5897 5896 0 -1 0 18095 3 1 0 60793 67 0 0 25 0 11 0 419654633 860930048 43913 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 43913 13073 16 0 210172 0 vsize: 840752 [startup+680.058 s] Raw data (loadavg): 1.03 1.00 0.95 2/64 6858 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 61723 67 0 0 25 0 11 0 419654633 860930048 44100 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 44100 13073 16 0 210172 0 vsize: 840752 [startup+690.059 s] Raw data (loadavg): 1.02 1.00 0.95 2/64 6858 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 62632 67 0 0 24 0 11 0 419654633 860930048 44250 4294967295 134512640 134569956 3221224416 3221214808 1131354588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 44250 13073 16 0 210172 0 vsize: 840752 [startup+700.059 s] Raw data (loadavg): 1.02 1.00 0.95 2/64 6860 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 63557 68 0 0 25 0 11 0 419654633 860930048 44485 4294967295 134512640 134569956 3221224416 3221214808 1131354673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 44485 13073 16 0 210172 0 vsize: 840752 [startup+710.06 s] Raw data (loadavg): 1.02 1.00 0.95 2/64 6860 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 64474 68 0 0 24 0 11 0 419654633 860930048 44621 4294967295 134512640 134569956 3221224416 3221214696 1131240301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 44621 13073 16 0 210172 0 vsize: 840752 [startup+720.061 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 6860 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 65392 68 0 0 25 0 11 0 419654633 860930048 44735 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 44735 13073 16 0 210172 0 vsize: 840752 [startup+730.061 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 6860 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 66293 69 0 0 25 0 11 0 419654633 860930048 44772 4294967295 134512640 134569956 3221224416 3221214712 1131242015 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 44772 13073 16 0 210172 0 vsize: 840752 [startup+740.062 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 6860 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 67188 69 0 0 25 0 11 0 419654633 860930048 44982 4294967295 134512640 134569956 3221224416 3221214808 1131356098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 44982 13073 16 0 210172 0 vsize: 840752 [startup+750.063 s] Raw data (loadavg): 1.01 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 68068 69 0 0 25 0 11 0 419654633 860930048 45232 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 45232 13073 16 0 210172 0 vsize: 840752 [startup+760.062 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 68967 69 0 0 25 0 11 0 419654633 860930048 45581 4294967295 134512640 134569956 3221224416 3221214704 1131242032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 45581 13073 16 0 210172 0 vsize: 840752 [startup+770.063 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 69874 70 0 0 25 0 11 0 419654633 860930048 45772 4294967295 134512640 134569956 3221224416 3221214616 1131517453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 45772 13073 16 0 210172 0 vsize: 840752 [startup+780.064 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 70778 70 0 0 25 0 11 0 419654633 860930048 45938 4294967295 134512640 134569956 3221224416 3221214712 1131242032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 45938 13073 16 0 210172 0 vsize: 840752 [startup+790.065 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 71681 71 0 0 25 0 11 0 419654633 860930048 45964 4294967295 134512640 134569956 3221224416 3221214808 1131354680 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 45964 13073 16 0 210172 0 vsize: 840752 [startup+800.065 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 72569 71 0 0 25 0 11 0 419654633 860930048 46269 4294967295 134512640 134569956 3221224416 3221214712 1131241789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 46269 13073 16 0 210172 0 vsize: 840752 [startup+810.065 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 73474 71 0 0 25 0 11 0 419654633 860930048 46511 4294967295 134512640 134569956 3221224416 3221214696 1131240267 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 46511 13073 16 0 210172 0 vsize: 840752 [startup+820.067 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 74373 72 0 0 25 0 11 0 419654633 860930048 46593 4294967295 134512640 134569956 3221224416 3221214808 1131354996 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 46593 13073 16 0 210172 0 vsize: 840752 [startup+830.066 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 75274 72 0 0 25 0 11 0 419654633 860930048 46936 4294967295 134512640 134569956 3221224416 3221214808 1131354628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 46936 13073 16 0 210172 0 vsize: 840752 [startup+840.067 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 76178 72 0 0 25 0 11 0 419654633 860930048 47137 4294967295 134512640 134569956 3221224416 3221214712 1131241973 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 47137 13073 16 0 210172 0 vsize: 840752 [startup+850.068 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 77102 73 0 0 25 0 11 0 419654633 860930048 47312 4294967295 134512640 134569956 3221224416 3221214712 1131242032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 47312 13073 16 0 210172 0 vsize: 840752 [startup+860.068 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 78037 73 0 0 25 0 11 0 419654633 860930048 47549 4294967295 134512640 134569956 3221224416 3221214712 1131241628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 47549 13073 16 0 210172 0 vsize: 840752 [startup+870.069 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 78969 74 0 0 25 0 11 0 419654633 860930048 47587 4294967295 134512640 134569956 3221224416 3221214760 1131237376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 47587 13073 16 0 210172 0 vsize: 840752 [startup+880.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 79886 74 0 0 25 0 11 0 419654633 860930048 47614 4294967295 134512640 134569956 3221224416 3221214808 1131355697 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 47614 13073 16 0 210172 0 vsize: 840752 [startup+890.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 80795 74 0 0 25 0 11 0 419654633 860930048 47843 4294967295 134512640 134569956 3221224416 3221214800 1131176351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 47843 13073 16 0 210172 0 vsize: 840752 [startup+900.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 81712 75 0 0 25 0 11 0 419654633 860930048 48039 4294967295 134512640 134569956 3221224416 3221214808 1131354182 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 48039 13073 16 0 210172 0 vsize: 840752 [startup+910.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 82631 75 0 0 25 0 11 0 419654633 860930048 48234 4294967295 134512640 134569956 3221224416 3221214808 1131354102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 48234 13073 16 0 210172 0 vsize: 840752 [startup+920.071 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 83550 76 0 0 25 0 11 0 419654633 860930048 48448 4294967295 134512640 134569956 3221224416 3221214804 1131242647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 48448 13073 16 0 210172 0 vsize: 840752 [startup+930.071 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 84479 76 0 0 25 0 11 0 419654633 860930048 48530 4294967295 134512640 134569956 3221224416 3221214696 1131240278 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 48530 13073 16 0 210172 0 vsize: 840752 [startup+940.072 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 85407 76 0 0 25 0 11 0 419654633 860930048 48709 4294967295 134512640 134569956 3221224416 3221214800 1131176341 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 48709 13073 16 0 210172 0 vsize: 840752 [startup+950.072 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 86344 76 0 0 25 0 11 0 419654633 860930048 48928 4294967295 134512640 134569956 3221224416 3221214808 1131354240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 48928 13073 16 0 210172 0 vsize: 840752 [startup+960.073 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) S 6787 5897 5896 0 -1 0 18095 3 1 0 87282 77 0 0 25 0 11 0 419654633 860930048 49004 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49004 13073 16 0 210172 0 vsize: 840752 [startup+970.073 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 88213 77 0 0 25 0 11 0 419654633 860930048 49150 4294967295 134512640 134569956 3221224416 3221214712 1131241997 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49150 13073 16 0 210172 0 vsize: 840752 [startup+980.073 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 89143 77 0 0 24 0 11 0 419654633 860930048 49254 4294967295 134512640 134569956 3221224416 3221214808 1131353927 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49254 13073 16 0 210172 0 vsize: 840752 [startup+990.074 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6861 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 90066 78 0 0 25 0 11 0 419654633 860930048 49444 4294967295 134512640 134569956 3221224416 3221214712 1131241763 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49444 13073 16 0 210172 0 vsize: 840752 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 90992 78 0 0 25 0 11 0 419654633 860930048 49563 4294967295 134512640 134569956 3221224416 3221214808 1131354182 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49563 13073 16 0 210172 0 vsize: 840752 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 91928 78 0 0 25 0 11 0 419654633 860930048 49643 4294967295 134512640 134569956 3221224416 3221214808 1131355675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49643 13073 16 0 210172 0 vsize: 840752 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 92881 79 0 0 25 0 11 0 419654633 860930048 49836 4294967295 134512640 134569956 3221224416 3221214808 1131354795 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49836 13073 16 0 210172 0 vsize: 840752 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 93836 79 0 0 25 0 11 0 419654633 860930048 49860 4294967295 134512640 134569956 3221224416 3221214712 1131241707 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49860 13073 16 0 210172 0 vsize: 840752 [startup+1040.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6863 Raw data (stat): 6788 (java) S 6787 5897 5896 0 -1 0 18095 3 1 0 94772 80 0 0 25 0 11 0 419654633 860930048 49883 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49883 13073 16 0 210172 0 vsize: 840752 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 95691 80 0 0 25 0 11 0 419654633 860930048 49968 4294967295 134512640 134569956 3221224416 3221214712 1131242019 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 49968 13073 16 0 210172 0 vsize: 840752 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 96615 80 0 0 25 0 11 0 419654633 860930048 50103 4294967295 134512640 134569956 3221224416 3221214712 1131241761 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 50103 13073 16 0 210172 0 vsize: 840752 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 97528 81 0 0 25 0 11 0 419654633 860930048 50289 4294967295 134512640 134569956 3221224416 3221214808 1131354240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 50289 13073 16 0 210172 0 vsize: 840752 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 98446 81 0 0 25 0 11 0 419654633 860930048 50436 4294967295 134512640 134569956 3221224416 3221214824 1131422991 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 50436 13073 16 0 210172 0 vsize: 840752 [startup+1090.08 s] Raw data (loadavg): 1.08 1.02 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 99372 81 0 0 25 0 11 0 419654633 860930048 50647 4294967295 134512640 134569956 3221224416 3221214808 1131354986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 50647 13073 16 0 210172 0 vsize: 840752 [startup+1100.08 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 100304 82 0 0 25 0 11 0 419654633 860930048 50844 4294967295 134512640 134569956 3221224416 3221214808 1131354216 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 50844 13073 16 0 210172 0 vsize: 840752 [startup+1110.08 s] Raw data (loadavg): 1.06 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 101243 82 0 0 25 0 11 0 419654633 860930048 50991 4294967295 134512640 134569956 3221224416 3221214712 1131241758 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 50991 13073 16 0 210172 0 vsize: 840752 [startup+1120.08 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 102175 83 0 0 25 0 11 0 419654633 860930048 51058 4294967295 134512640 134569956 3221224416 3221214696 1131240383 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 51058 13073 16 0 210172 0 vsize: 840752 [startup+1130.08 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 103117 83 0 0 24 0 11 0 419654633 860930048 51216 4294967295 134512640 134569956 3221224416 3221214808 1131355675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 51216 13073 16 0 210172 0 vsize: 840752 [startup+1140.08 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 104062 83 0 0 24 0 11 0 419654633 860930048 51371 4294967295 134512640 134569956 3221224416 3221214712 1131241947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 51371 13073 16 0 210172 0 vsize: 840752 [startup+1150.08 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 105011 83 0 0 25 0 11 0 419654633 860930048 51469 4294967295 134512640 134569956 3221224416 3221214696 1131240346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 51469 13073 16 0 210172 0 vsize: 840752 [startup+1160.08 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 105953 83 0 0 25 0 11 0 419654633 860930048 51556 4294967295 134512640 134569956 3221224416 3221214712 1131241846 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 51556 13073 16 0 210172 0 vsize: 840752 [startup+1170.08 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 106887 83 0 0 24 0 11 0 419654633 860930048 51700 4294967295 134512640 134569956 3221224416 3221214680 1131407022 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 51700 13073 16 0 210172 0 vsize: 840752 [startup+1180.09 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 107826 83 0 0 25 0 11 0 419654633 860930048 51778 4294967295 134512640 134569956 3221224416 3221214808 1131355789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 51778 13073 16 0 210172 0 vsize: 840752 [startup+1190.09 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 108770 83 0 0 25 0 11 0 419654633 860930048 51927 4294967295 134512640 134569956 3221224416 3221214712 1131241796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 51927 13073 16 0 210172 0 vsize: 840752 [startup+1200.09 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 109714 84 0 0 25 0 11 0 419654633 860930048 52004 4294967295 134512640 134569956 3221224416 3221214808 1131355675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210188 52004 13073 16 0 210172 0 vsize: 840752 [startup+1210.09 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 110656 84 0 0 25 0 11 0 419654633 860930048 52123 4294967295 134512640 134569956 3221224416 3221214696 1131240301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 52123 13073 16 0 210172 0 vsize: 840752 [startup+1220.09 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 111602 84 0 0 25 0 11 0 419654633 860930048 52229 4294967295 134512640 134569956 3221224416 3221214808 1131355675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 52229 13073 16 0 210172 0 vsize: 840752 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) S 6787 5897 5896 0 -1 0 18095 3 1 0 112548 84 0 0 25 0 11 0 419654633 860930048 52340 4294967295 134512640 134569956 3221224416 3221213312 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 52340 13073 16 0 210172 0 vsize: 840752 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 113494 84 0 0 25 0 11 0 419654633 860930048 52452 4294967295 134512640 134569956 3221224416 3221214808 1131354240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 52452 13073 16 0 210172 0 vsize: 840752 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 114434 85 0 0 25 0 11 0 419654633 860930048 52564 4294967295 134512640 134569956 3221224416 3221214808 1131354240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 52564 13073 16 0 210172 0 vsize: 840752 [startup+1260.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 115372 85 0 0 25 0 11 0 419654633 860930048 52684 4294967295 134512640 134569956 3221224416 3221214568 1131533012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 52684 13073 16 0 210172 0 vsize: 840752 [startup+1270.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 116304 86 0 0 25 0 11 0 419654633 860930048 52772 4294967295 134512640 134569956 3221224416 3221214808 1131354240 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 52772 13073 16 0 210172 0 vsize: 840752 [startup+1280.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 117232 86 0 0 25 0 11 0 419654633 860930048 52913 4294967295 134512640 134569956 3221224416 3221214968 1131511375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 52913 13073 16 0 210172 0 vsize: 840752 [startup+1290.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 118166 86 0 0 25 0 11 0 419654633 860930048 53017 4294967295 134512640 134569956 3221224416 3221214712 1131241888 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 53017 13073 16 0 210172 0 vsize: 840752 [startup+1300.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 119120 87 0 0 24 0 11 0 419654633 860930048 53168 4294967295 134512640 134569956 3221224416 3221214808 1131353549 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 53168 13073 16 0 210172 0 vsize: 840752 [startup+1310.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 6863 Raw data (stat): 6788 (java) R 6787 5897 5896 0 -1 0 18095 3 1 0 120082 87 0 0 25 0 11 0 419654633 860930048 53199 4294967295 134512640 134569956 3221224416 3221214712 1131242606 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210188 53199 13073 16 0 210172 0 vsize: 840752 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.24 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 6865 Raw data (stat): 6788 (java) Z 6787 5897 5896 0 -1 1036 18095 42261 1 0 120086 97 11865 103 25 0 1 0 419654633 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.24 CPU time (s): 1321.53 CPU user time (s): 1319.52 CPU system time (s): 2.00669 CPU usage (%): 100.862 Max. virtual memory (Kb): 845784 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####