Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16c2.opb |
MD5SUM | 97d3686ba27caa0b5ec08bf1e8098491 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 861 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1848 |
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 | 1848 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1848 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 24.4083 |
Number of variables | 1848 |
Total number of constraints | 14727 |
Number of constraints which are clauses | 14727 |
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 | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-04-13 16:15:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1269 boxname=wulflinc25 idbench=141 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 97d3686ba27caa0b5ec08bf1e8098491 /oldhome/oroussel/tmp/wulflinc25/normalized-ii16c2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-ii16c2.opb IDLAUNCH: 1269 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 913084 kB Buffers: 31108 kB Cached: 55760 kB SwapCached: 36 kB Active: 38508 kB Inactive: 51196 kB HighTotal: 131008 kB HighFree: 71568 kB LowTotal: 903652 kB LowFree: 841516 kB SwapTotal: 2097892 kB SwapFree: 2097856 kB Dirty: 48 kB Writeback: 0 kB Mapped: 6920 kB Slab: 26220 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:36:14 (client local time) WITH STATUS 143 IN SECONDS stats: 1269 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc25/normalized-ii16c2.opb c reading problem c [nbvar=1848] c [nbconstr=14727] c time 6.95 c #vars 1848 c #clauses 14727 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=862 c Current CPU time (ms) : 26.641 c starts : 2 c conflicts : 158 c decisions : 1227 c propagations : 46625 c inspects : 239396 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 158 c root simplifications : 2 c c CURRENT OPTIMUM=861 c Current CPU time (ms) : 104.095 c starts : 5 c conflicts : 502 c decisions : 2499 c propagations : 138971 c inspects : 567462 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 502 c root simplifications : 5 #### 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.86 0.94 0.74 2/54 28405 Raw data (stat): 28405 (runsolver) R 28404 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477323996 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+9.99979 s] Raw data (loadavg): 1.19 1.01 0.77 4/64 28415 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18089 0 1 0 817 46 0 0 25 0 11 0 477323996 869703680 22343 4294967295 134512640 134569956 3221224416 3221214608 1076879008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212330 22343 13073 16 0 212314 0 vsize: 849320 [startup+20.0004 s] Raw data (loadavg): 1.31 1.04 0.78 2/64 28415 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 0 1 0 1539 46 0 0 25 0 11 0 477323996 877359104 26759 4294967295 134512640 134569956 3221224416 3221214808 1131278774 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 214199 26759 13073 16 0 214183 0 vsize: 856796 [startup+30.0004 s] Raw data (loadavg): 1.26 1.04 0.78 2/64 28416 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 2503 46 0 0 25 0 11 0 477323996 874827776 26501 4294967295 134512640 134569956 3221224416 3221214908 1131158316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 26501 13073 16 0 213565 0 vsize: 854324 [startup+40.0006 s] Raw data (loadavg): 1.22 1.03 0.78 2/64 28416 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 3446 46 0 0 25 0 11 0 477323996 874827776 26656 4294967295 134512640 134569956 3221224416 3221214840 1131358858 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 26656 13073 16 0 213565 0 vsize: 854324 [startup+50.0013 s] Raw data (loadavg): 1.18 1.03 0.79 2/64 28416 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 4396 47 0 0 25 0 11 0 477323996 874827776 26769 4294967295 134512640 134569956 3221224416 3221214912 1131349095 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 26769 13073 16 0 213565 0 vsize: 854324 [startup+60.0015 s] Raw data (loadavg): 1.16 1.03 0.79 2/64 28416 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 5331 47 0 0 25 0 11 0 477323996 874827776 26943 4294967295 134512640 134569956 3221224416 3221214744 1131270788 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 26943 13073 16 0 213565 0 vsize: 854324 [startup+70.0024 s] Raw data (loadavg): 1.20 1.04 0.80 2/64 28416 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 6267 47 0 0 25 0 11 0 477323996 874827776 27117 4294967295 134512640 134569956 3221224416 3221214744 1131452187 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 27117 13073 16 0 213565 0 vsize: 854324 [startup+80.003 s] Raw data (loadavg): 1.17 1.04 0.80 2/64 28416 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 7172 47 0 0 25 0 11 0 477323996 874827776 27559 4294967295 134512640 134569956 3221224416 3221214672 1131423397 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 27559 13073 16 0 213565 0 vsize: 854324 [startup+90.0039 s] Raw data (loadavg): 1.15 1.04 0.80 2/64 28416 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 8094 47 0 0 25 0 11 0 477323996 874827776 28043 4294967295 134512640 134569956 3221224416 3221214756 1131231114 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 28043 13073 16 0 213565 0 vsize: 854324 [startup+100.004 s] Raw data (loadavg): 1.12 1.04 0.80 2/64 28416 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 9015 47 0 0 25 0 11 0 477323996 874827776 28687 4294967295 134512640 134569956 3221224416 3221214760 1131417620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 28687 13073 16 0 213565 0 vsize: 854324 [startup+110.004 s] Raw data (loadavg): 1.10 1.04 0.80 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 9948 47 0 0 25 0 11 0 477323996 874827776 28991 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 28991 13073 16 0 213565 0 vsize: 854324 [startup+120.005 s] Raw data (loadavg): 1.16 1.05 0.81 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 10884 47 0 0 25 0 11 0 477323996 874827776 28991 4294967295 134512640 134569956 3221224416 3221214808 1131279008 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 28991 13073 16 0 213565 0 vsize: 854324 [startup+130.005 s] Raw data (loadavg): 1.14 1.05 0.81 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 11814 47 0 0 25 0 11 0 477323996 874827776 29141 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 29141 13073 16 0 213565 0 vsize: 854324 [startup+140.009 s] Raw data (loadavg): 1.11 1.05 0.81 2/64 28417 Raw data (stat): 28405 (java) S 28404 28099 28098 0 -1 0 18102 5 1 0 12743 47 0 0 25 0 11 0 477323996 874827776 29231 4294967295 134512640 134569956 3221224416 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 29231 13073 16 0 213565 0 vsize: 854324 [startup+150.012 s] Raw data (loadavg): 1.10 1.05 0.82 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 13700 47 0 0 25 0 11 0 477323996 874827776 29674 4294967295 134512640 134569956 3221224416 3221214808 1131279588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 29674 13073 16 0 213565 0 vsize: 854324 [startup+160.011 s] Raw data (loadavg): 1.08 1.04 0.82 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 14674 47 0 0 25 0 11 0 477323996 874827776 29831 4294967295 134512640 134569956 3221224416 3221214808 1131278757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 29831 13073 16 0 213565 0 vsize: 854324 [startup+170.011 s] Raw data (loadavg): 1.07 1.04 0.82 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 15647 48 0 0 25 0 11 0 477323996 874827776 29868 4294967295 134512640 134569956 3221224416 3221214808 1131278597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 29868 13073 16 0 213565 0 vsize: 854324 [startup+180.012 s] Raw data (loadavg): 1.06 1.04 0.82 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 16623 48 0 0 25 0 11 0 477323996 874827776 29894 4294967295 134512640 134569956 3221224416 3221214808 1131279734 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 29894 13073 16 0 213565 0 vsize: 854324 [startup+190.012 s] Raw data (loadavg): 1.05 1.04 0.82 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 17597 48 0 0 25 0 11 0 477323996 874827776 29917 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 29917 13073 16 0 213565 0 vsize: 854324 [startup+200.012 s] Raw data (loadavg): 1.04 1.04 0.82 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 18576 48 0 0 24 0 11 0 477323996 874827776 29945 4294967295 134512640 134569956 3221224416 3221214808 1131279023 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 29945 13073 16 0 213565 0 vsize: 854324 [startup+210.012 s] Raw data (loadavg): 1.03 1.03 0.82 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 19553 49 0 0 25 0 11 0 477323996 874827776 29954 4294967295 134512640 134569956 3221224416 3221214912 1131349103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 29954 13073 16 0 213565 0 vsize: 854324 [startup+220.012 s] Raw data (loadavg): 1.03 1.03 0.82 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 20530 49 0 0 25 0 11 0 477323996 874827776 29967 4294967295 134512640 134569956 3221224416 3221214864 1131158376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 29967 13073 16 0 213565 0 vsize: 854324 [startup+230.012 s] Raw data (loadavg): 1.02 1.03 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 21502 49 0 0 25 0 11 0 477323996 874827776 29981 4294967295 134512640 134569956 3221224416 3221214808 1131278597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 29981 13073 16 0 213565 0 vsize: 854324 [startup+240.013 s] Raw data (loadavg): 1.02 1.03 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 22478 49 0 0 25 0 11 0 477323996 874827776 30009 4294967295 134512640 134569956 3221224416 3221214808 1131279145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30009 13073 16 0 213565 0 vsize: 854324 [startup+250.013 s] Raw data (loadavg): 1.02 1.03 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 23454 49 0 0 25 0 11 0 477323996 874827776 30054 4294967295 134512640 134569956 3221224416 3221214864 1131158384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30054 13073 16 0 213565 0 vsize: 854324 [startup+260.013 s] Raw data (loadavg): 1.01 1.03 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 24429 50 0 0 25 0 11 0 477323996 874827776 30116 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30116 13073 16 0 213565 0 vsize: 854324 [startup+270.013 s] Raw data (loadavg): 1.01 1.03 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 25409 50 0 0 25 0 11 0 477323996 874827776 30123 4294967295 134512640 134569956 3221224416 3221214888 1131336413 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30123 13073 16 0 213565 0 vsize: 854324 [startup+280.013 s] Raw data (loadavg): 1.01 1.02 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 26383 50 0 0 24 0 11 0 477323996 874827776 30157 4294967295 134512640 134569956 3221224416 3221214808 1131278597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30157 13073 16 0 213565 0 vsize: 854324 [startup+290.013 s] Raw data (loadavg): 1.01 1.02 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 27364 50 0 0 25 0 11 0 477323996 874827776 30175 4294967295 134512640 134569956 3221224416 3221214888 1131336433 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30175 13073 16 0 213565 0 vsize: 854324 [startup+300.014 s] Raw data (loadavg): 1.00 1.02 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 28342 51 0 0 25 0 11 0 477323996 874827776 30206 4294967295 134512640 134569956 3221224416 3221214912 1131349128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30206 13073 16 0 213565 0 vsize: 854324 [startup+310.014 s] Raw data (loadavg): 1.00 1.02 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 29328 51 0 0 25 0 11 0 477323996 874827776 30220 4294967295 134512640 134569956 3221224416 3221214912 1131348918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30220 13073 16 0 213565 0 vsize: 854324 [startup+320.013 s] Raw data (loadavg): 1.00 1.02 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 30306 52 0 0 25 0 11 0 477323996 874827776 30222 4294967295 134512640 134569956 3221224416 3221214808 1131279734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30222 13073 16 0 213565 0 vsize: 854324 [startup+330.014 s] Raw data (loadavg): 1.00 1.02 0.83 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18102 5 1 0 31286 52 0 0 25 0 11 0 477323996 874827776 30234 4294967295 134512640 134569956 3221224416 3221214912 1131348906 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30234 13073 16 0 213565 0 vsize: 854324 [startup+340.014 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 32270 52 0 0 25 0 11 0 477323996 874827776 30238 4294967295 134512640 134569956 3221224416 3221214808 1131279020 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30238 13073 16 0 213565 0 vsize: 854324 [startup+350.014 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 33246 52 0 0 25 0 11 0 477323996 874827776 30287 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30287 13073 16 0 213565 0 vsize: 854324 [startup+360.015 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 34224 52 0 0 24 0 11 0 477323996 874827776 30296 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213581 30296 13073 16 0 213565 0 vsize: 854324 [startup+370.018 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 28417 Raw data (stat): 28405 (java) S 28404 28099 28098 0 -1 0 18103 5 1 0 35203 53 0 0 25 0 11 0 477323996 874827776 30311 4294967295 134512640 134569956 3221224416 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30311 13073 16 0 213565 0 vsize: 854324 [startup+380.018 s] Raw data (loadavg): 1.00 1.02 0.84 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 36182 53 0 0 25 0 11 0 477323996 874827776 30358 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30358 13073 16 0 213565 0 vsize: 854324 [startup+390.019 s] Raw data (loadavg): 1.00 1.01 0.84 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 37168 53 0 0 25 0 11 0 477323996 874827776 30368 4294967295 134512640 134569956 3221224416 3221214808 1131279112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30368 13073 16 0 213565 0 vsize: 854324 [startup+400.019 s] Raw data (loadavg): 1.00 1.01 0.84 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 38149 53 0 0 25 0 11 0 477323996 874827776 30375 4294967295 134512640 134569956 3221224416 3221214912 1131348933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30375 13073 16 0 213565 0 vsize: 854324 [startup+410.019 s] Raw data (loadavg): 1.00 1.01 0.84 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 39128 53 0 0 24 0 11 0 477323996 874827776 30378 4294967295 134512640 134569956 3221224416 3221214808 1131278557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30378 13073 16 0 213565 0 vsize: 854324 [startup+420.02 s] Raw data (loadavg): 1.00 1.01 0.84 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 40104 53 0 0 25 0 11 0 477323996 874827776 30380 4294967295 134512640 134569956 3221224416 3221214808 1131278565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30380 13073 16 0 213565 0 vsize: 854324 [startup+430.02 s] Raw data (loadavg): 1.00 1.01 0.84 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 41081 53 0 0 25 0 11 0 477323996 874827776 30382 4294967295 134512640 134569956 3221224416 3221214776 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30382 13073 16 0 213565 0 vsize: 854324 [startup+440.021 s] Raw data (loadavg): 1.08 1.03 0.85 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 42058 53 0 0 25 0 11 0 477323996 874827776 30457 4294967295 134512640 134569956 3221224416 3221214808 1131279256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30457 13073 16 0 213565 0 vsize: 854324 [startup+450.021 s] Raw data (loadavg): 1.07 1.02 0.85 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 43038 53 0 0 25 0 11 0 477323996 874827776 30477 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30477 13073 16 0 213565 0 vsize: 854324 [startup+460.021 s] Raw data (loadavg): 1.06 1.02 0.85 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 44018 53 0 0 25 0 11 0 477323996 874827776 30477 4294967295 134512640 134569956 3221224416 3221214808 1131278984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30477 13073 16 0 213565 0 vsize: 854324 [startup+470.022 s] Raw data (loadavg): 1.05 1.02 0.85 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 45001 53 0 0 25 0 11 0 477323996 874827776 30507 4294967295 134512640 134569956 3221224416 3221214808 1131279571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30507 13073 16 0 213565 0 vsize: 854324 [startup+480.023 s] Raw data (loadavg): 1.04 1.02 0.85 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 45982 53 0 0 25 0 11 0 477323996 874827776 30508 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30508 13073 16 0 213565 0 vsize: 854324 [startup+490.024 s] Raw data (loadavg): 1.03 1.02 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 46964 53 0 0 25 0 11 0 477323996 874827776 30528 4294967295 134512640 134569956 3221224416 3221214912 1131348745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30528 13073 16 0 213565 0 vsize: 854324 [startup+500.025 s] Raw data (loadavg): 1.03 1.02 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 47946 53 0 0 25 0 11 0 477323996 874827776 30534 4294967295 134512640 134569956 3221224416 3221214808 1131278561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30534 13073 16 0 213565 0 vsize: 854324 [startup+510.025 s] Raw data (loadavg): 1.02 1.02 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 48928 53 0 0 25 0 11 0 477323996 874827776 30553 4294967295 134512640 134569956 3221224416 3221214808 1131279038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30553 13073 16 0 213565 0 vsize: 854324 [startup+520.025 s] Raw data (loadavg): 1.02 1.02 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 49913 53 0 0 25 0 11 0 477323996 874827776 30561 4294967295 134512640 134569956 3221224416 3221214808 1131279023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30561 13073 16 0 213565 0 vsize: 854324 [startup+530.025 s] Raw data (loadavg): 1.02 1.02 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 50895 53 0 0 25 0 11 0 477323996 874827776 30577 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30577 13073 16 0 213565 0 vsize: 854324 [startup+540.027 s] Raw data (loadavg): 1.01 1.02 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 51878 53 0 0 25 0 11 0 477323996 874827776 30597 4294967295 134512640 134569956 3221224416 3221214912 1131348941 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30597 13073 16 0 213565 0 vsize: 854324 [startup+550.027 s] Raw data (loadavg): 1.01 1.02 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 52857 53 0 0 25 0 11 0 477323996 874827776 30608 4294967295 134512640 134569956 3221224416 3221214912 1131349256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30608 13073 16 0 213565 0 vsize: 854324 [startup+560.027 s] Raw data (loadavg): 1.01 1.01 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 53835 53 0 0 25 0 11 0 477323996 874827776 30619 4294967295 134512640 134569956 3221224416 3221214808 1131279309 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30619 13073 16 0 213565 0 vsize: 854324 [startup+570.028 s] Raw data (loadavg): 1.01 1.01 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 54809 54 0 0 25 0 11 0 477323996 874827776 30637 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30637 13073 16 0 213565 0 vsize: 854324 [startup+580.029 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 55790 54 0 0 25 0 11 0 477323996 874827776 30665 4294967295 134512640 134569956 3221224416 3221214808 1131279112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30665 13073 16 0 213565 0 vsize: 854324 [startup+590.029 s] Raw data (loadavg): 1.30 1.08 0.89 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 56775 54 0 0 25 0 11 0 477323996 874827776 30691 4294967295 134512640 134569956 3221224416 3221214776 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30691 13073 16 0 213565 0 vsize: 854324 [startup+600.03 s] Raw data (loadavg): 1.26 1.07 0.89 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 57760 54 0 0 25 0 11 0 477323996 874827776 30697 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30697 13073 16 0 213565 0 vsize: 854324 [startup+610.03 s] Raw data (loadavg): 1.22 1.07 0.89 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 58739 54 0 0 25 0 11 0 477323996 874827776 30704 4294967295 134512640 134569956 3221224416 3221214864 1131158346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30704 13073 16 0 213565 0 vsize: 854324 [startup+620.031 s] Raw data (loadavg): 1.18 1.07 0.89 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 59720 54 0 0 25 0 11 0 477323996 874827776 30717 4294967295 134512640 134569956 3221224416 3221214808 1131278710 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30717 13073 16 0 213565 0 vsize: 854324 [startup+630.032 s] Raw data (loadavg): 1.16 1.06 0.89 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 60701 54 0 0 25 0 11 0 477323996 874827776 30735 4294967295 134512640 134569956 3221224416 3221214912 1131348918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30735 13073 16 0 213565 0 vsize: 854324 [startup+640.033 s] Raw data (loadavg): 1.13 1.06 0.89 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 61686 54 0 0 25 0 11 0 477323996 874827776 30769 4294967295 134512640 134569956 3221224416 3221214912 1131349184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30769 13073 16 0 213565 0 vsize: 854324 [startup+650.033 s] Raw data (loadavg): 1.11 1.06 0.89 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 62668 54 0 0 24 0 11 0 477323996 874827776 30771 4294967295 134512640 134569956 3221224416 3221214808 1131279606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30771 13073 16 0 213565 0 vsize: 854324 [startup+660.033 s] Raw data (loadavg): 1.09 1.06 0.89 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 63648 54 0 0 25 0 11 0 477323996 874827776 30774 4294967295 134512640 134569956 3221224416 3221214808 1131279742 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30774 13073 16 0 213565 0 vsize: 854324 [startup+670.033 s] Raw data (loadavg): 1.08 1.05 0.89 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 64630 54 0 0 25 0 11 0 477323996 874827776 30803 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30803 13073 16 0 213565 0 vsize: 854324 [startup+680.034 s] Raw data (loadavg): 1.07 1.05 0.90 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 65610 54 0 0 25 0 11 0 477323996 874827776 30816 4294967295 134512640 134569956 3221224416 3221214808 1131278917 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30816 13073 16 0 213565 0 vsize: 854324 [startup+690.034 s] Raw data (loadavg): 1.06 1.05 0.90 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 66595 54 0 0 25 0 11 0 477323996 874827776 30839 4294967295 134512640 134569956 3221224416 3221214912 1131349194 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30839 13073 16 0 213565 0 vsize: 854324 [startup+700.035 s] Raw data (loadavg): 1.05 1.05 0.90 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 67576 54 0 0 25 0 11 0 477323996 874827776 30848 4294967295 134512640 134569956 3221224416 3221214864 1131158342 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30848 13073 16 0 213565 0 vsize: 854324 [startup+710.036 s] Raw data (loadavg): 1.04 1.05 0.90 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 68559 55 0 0 25 0 11 0 477323996 874827776 30860 4294967295 134512640 134569956 3221224416 3221214808 1131278984 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30860 13073 16 0 213565 0 vsize: 854324 [startup+720.036 s] Raw data (loadavg): 1.03 1.04 0.90 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 69543 55 0 0 25 0 11 0 477323996 874827776 30860 4294967295 134512640 134569956 3221224416 3221214808 1131279023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30860 13073 16 0 213565 0 vsize: 854324 [startup+730.036 s] Raw data (loadavg): 1.03 1.04 0.90 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 70526 55 0 0 25 0 11 0 477323996 874827776 30888 4294967295 134512640 134569956 3221224416 3221214864 1131158519 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30888 13073 16 0 213565 0 vsize: 854324 [startup+740.038 s] Raw data (loadavg): 1.10 1.06 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 71507 55 0 0 24 0 11 0 477323996 874827776 30893 4294967295 134512640 134569956 3221224416 3221214808 1131279266 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30893 13073 16 0 213565 0 vsize: 854324 [startup+750.038 s] Raw data (loadavg): 1.08 1.06 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 72489 55 0 0 25 0 11 0 477323996 874827776 30903 4294967295 134512640 134569956 3221224416 3221214808 1131279516 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30903 13073 16 0 213565 0 vsize: 854324 [startup+760.038 s] Raw data (loadavg): 1.07 1.05 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 73471 55 0 0 25 0 11 0 477323996 874827776 30912 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30912 13073 16 0 213565 0 vsize: 854324 [startup+770.039 s] Raw data (loadavg): 1.06 1.05 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 74450 55 0 0 25 0 11 0 477323996 874827776 30938 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30938 13073 16 0 213565 0 vsize: 854324 [startup+780.04 s] Raw data (loadavg): 1.05 1.05 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 75434 55 0 0 25 0 11 0 477323996 874827776 30954 4294967295 134512640 134569956 3221224416 3221214908 1131158522 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30954 13073 16 0 213565 0 vsize: 854324 [startup+790.04 s] Raw data (loadavg): 1.04 1.05 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 76420 55 0 0 25 0 11 0 477323996 874827776 30969 4294967295 134512640 134569956 3221224416 3221214808 1131279112 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30969 13073 16 0 213565 0 vsize: 854324 [startup+800.04 s] Raw data (loadavg): 1.03 1.05 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 77404 55 0 0 25 0 11 0 477323996 874827776 30980 4294967295 134512640 134569956 3221224416 3221214912 1131349172 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30980 13073 16 0 213565 0 vsize: 854324 [startup+810.04 s] Raw data (loadavg): 1.03 1.04 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 78389 55 0 0 25 0 11 0 477323996 874827776 30987 4294967295 134512640 134569956 3221224416 3221214864 1131158430 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30987 13073 16 0 213565 0 vsize: 854324 [startup+820.04 s] Raw data (loadavg): 1.02 1.04 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 79372 55 0 0 25 0 11 0 477323996 874827776 30991 4294967295 134512640 134569956 3221224416 3221214912 1131348757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 30991 13073 16 0 213565 0 vsize: 854324 [startup+830.04 s] Raw data (loadavg): 1.02 1.04 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 80352 55 0 0 21 0 11 0 477323996 874827776 31014 4294967295 134512640 134569956 3221224416 3221214808 1131279023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31014 13073 16 0 213565 0 vsize: 854324 [startup+840.041 s] Raw data (loadavg): 1.02 1.04 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 81336 55 0 0 25 0 11 0 477323996 874827776 31025 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31025 13073 16 0 213565 0 vsize: 854324 [startup+850.041 s] Raw data (loadavg): 1.01 1.04 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 82311 55 0 0 25 0 11 0 477323996 874827776 31038 4294967295 134512640 134569956 3221224416 3221214808 1131278643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31038 13073 16 0 213565 0 vsize: 854324 [startup+860.041 s] Raw data (loadavg): 1.01 1.03 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 83285 56 0 0 25 0 11 0 477323996 874827776 31058 4294967295 134512640 134569956 3221224416 3221214808 1131278643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31058 13073 16 0 213565 0 vsize: 854324 [startup+870.041 s] Raw data (loadavg): 1.01 1.03 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 84258 56 0 0 25 0 11 0 477323996 874827776 31064 4294967295 134512640 134569956 3221224416 3221214808 1131279606 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31064 13073 16 0 213565 0 vsize: 854324 [startup+880.041 s] Raw data (loadavg): 1.01 1.03 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 85235 56 0 0 25 0 11 0 477323996 874827776 31135 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31135 13073 16 0 213565 0 vsize: 854324 [startup+890.042 s] Raw data (loadavg): 1.00 1.03 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 86222 56 0 0 25 0 11 0 477323996 874827776 31140 4294967295 134512640 134569956 3221224416 3221214808 1131279516 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31140 13073 16 0 213565 0 vsize: 854324 [startup+900.043 s] Raw data (loadavg): 1.00 1.03 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 87202 56 0 0 25 0 11 0 477323996 874827776 31156 4294967295 134512640 134569956 3221224416 3221214808 1131279214 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31156 13073 16 0 213565 0 vsize: 854324 [startup+910.043 s] Raw data (loadavg): 1.00 1.03 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 88183 56 0 0 24 0 11 0 477323996 874827776 31158 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31158 13073 16 0 213565 0 vsize: 854324 [startup+920.044 s] Raw data (loadavg): 1.00 1.03 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 89163 56 0 0 25 0 11 0 477323996 874827776 31171 4294967295 134512640 134569956 3221224416 3221214864 1131158536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31171 13073 16 0 213565 0 vsize: 854324 [startup+930.045 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 90145 56 0 0 25 0 11 0 477323996 874827776 31201 4294967295 134512640 134569956 3221224416 3221214808 1131278635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31201 13073 16 0 213565 0 vsize: 854324 [startup+940.045 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 91126 56 0 0 25 0 11 0 477323996 874827776 31202 4294967295 134512640 134569956 3221224416 3221214864 1131158346 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31202 13073 16 0 213565 0 vsize: 854324 [startup+950.044 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 92110 56 0 0 25 0 11 0 477323996 874827776 31217 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31217 13073 16 0 213565 0 vsize: 854324 [startup+960.046 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 93092 56 0 0 25 0 11 0 477323996 874827776 31236 4294967295 134512640 134569956 3221224416 3221214808 1131279023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31236 13073 16 0 213565 0 vsize: 854324 [startup+970.046 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 94074 56 0 0 25 0 11 0 477323996 874827776 31259 4294967295 134512640 134569956 3221224416 3221214808 1131278975 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31259 13073 16 0 213565 0 vsize: 854324 [startup+980.045 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 95059 56 0 0 25 0 11 0 477323996 874827776 31275 4294967295 134512640 134569956 3221224416 3221214912 1131348961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31275 13073 16 0 213565 0 vsize: 854324 [startup+990.046 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 96044 57 0 0 25 0 11 0 477323996 874827776 31290 4294967295 134512640 134569956 3221224416 3221214912 1131348947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31290 13073 16 0 213565 0 vsize: 854324 [startup+1000.05 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 97033 57 0 0 25 0 11 0 477323996 874827776 31306 4294967295 134512640 134569956 3221224416 3221214912 1131349014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31306 13073 16 0 213565 0 vsize: 854324 [startup+1010.05 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 98015 57 0 0 25 0 11 0 477323996 874827776 31311 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31311 13073 16 0 213565 0 vsize: 854324 [startup+1020.05 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 98998 57 0 0 25 0 11 0 477323996 874827776 31311 4294967295 134512640 134569956 3221224416 3221214908 1131336352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31311 13073 16 0 213565 0 vsize: 854324 [startup+1030.05 s] Raw data (loadavg): 1.00 1.02 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 99982 57 0 0 25 0 11 0 477323996 874827776 31338 4294967295 134512640 134569956 3221224416 3221214808 1131279482 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31338 13073 16 0 213565 0 vsize: 854324 [startup+1040.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 100966 57 0 0 25 0 11 0 477323996 874827776 31362 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31362 13073 16 0 213565 0 vsize: 854324 [startup+1050.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 101950 57 0 0 25 0 11 0 477323996 874827776 31364 4294967295 134512640 134569956 3221224416 3221214808 1131278597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31364 13073 16 0 213565 0 vsize: 854324 [startup+1060.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 102932 57 0 0 25 0 11 0 477323996 874827776 31365 4294967295 134512640 134569956 3221224416 3221214808 1131278557 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31365 13073 16 0 213565 0 vsize: 854324 [startup+1070.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 103912 57 0 0 25 0 11 0 477323996 874827776 31389 4294967295 134512640 134569956 3221224416 3221214808 1131279532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31389 13073 16 0 213565 0 vsize: 854324 [startup+1080.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 104896 57 0 0 25 0 11 0 477323996 874827776 31401 4294967295 134512640 134569956 3221224416 3221214912 1131349256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31401 13073 16 0 213565 0 vsize: 854324 [startup+1090.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 105880 57 0 0 25 0 11 0 477323996 874827776 31416 4294967295 134512640 134569956 3221224416 3221214808 1131278561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31416 13073 16 0 213565 0 vsize: 854324 [startup+1100.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 106864 57 0 0 25 0 11 0 477323996 874827776 31422 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31422 13073 16 0 213565 0 vsize: 854324 [startup+1110.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 107846 57 0 0 25 0 11 0 477323996 874827776 31439 4294967295 134512640 134569956 3221224416 3221214840 1131358725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31439 13073 16 0 213565 0 vsize: 854324 [startup+1120.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 108831 57 0 0 25 0 11 0 477323996 874827776 31460 4294967295 134512640 134569956 3221224416 3221214808 1131279023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31460 13073 16 0 213565 0 vsize: 854324 [startup+1130.05 s] Raw data (loadavg): 1.00 1.01 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 109815 57 0 0 25 0 11 0 477323996 874827776 31469 4294967295 134512640 134569956 3221224416 3221214912 1131348933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31469 13073 16 0 213565 0 vsize: 854324 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 110795 58 0 0 25 0 11 0 477323996 874827776 31483 4294967295 134512640 134569956 3221224416 3221214864 1131158333 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31483 13073 16 0 213565 0 vsize: 854324 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 111776 58 0 0 25 0 11 0 477323996 874827776 31497 4294967295 134512640 134569956 3221224416 3221214808 1131278565 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31497 13073 16 0 213565 0 vsize: 854324 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 112756 58 0 0 25 0 11 0 477323996 874827776 31525 4294967295 134512640 134569956 3221224416 3221214912 1131348933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31525 13073 16 0 213565 0 vsize: 854324 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 113740 58 0 0 25 0 11 0 477323996 874827776 31548 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31548 13073 16 0 213565 0 vsize: 854324 [startup+1180.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 114724 58 0 0 25 0 11 0 477323996 874827776 31557 4294967295 134512640 134569956 3221224416 3221214864 1131158387 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31557 13073 16 0 213565 0 vsize: 854324 [startup+1190.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 115710 58 0 0 25 0 11 0 477323996 874827776 31565 4294967295 134512640 134569956 3221224416 3221214808 1131278569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31565 13073 16 0 213565 0 vsize: 854324 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 116689 58 0 0 25 0 11 0 477323996 874827776 31570 4294967295 134512640 134569956 3221224416 3221214864 1131158336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31570 13073 16 0 213565 0 vsize: 854324 [startup+1210.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 117671 58 0 0 25 0 11 0 477323996 874827776 31599 4294967295 134512640 134569956 3221224416 3221214808 1131279023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31599 13073 16 0 213565 0 vsize: 854324 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 118656 58 0 0 25 0 11 0 477323996 874827776 31605 4294967295 134512640 134569956 3221224416 3221214808 1131279289 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31605 13073 16 0 213565 0 vsize: 854324 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 119643 58 0 0 25 0 11 0 477323996 874827776 31643 4294967295 134512640 134569956 3221224416 3221214888 1131336433 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31643 13073 16 0 213565 0 vsize: 854324 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 28417 Raw data (stat): 28405 (java) R 28404 28099 28098 0 -1 0 18103 5 1 0 120631 58 0 0 25 0 11 0 477323996 874827776 31646 4294967295 134512640 134569956 3221224416 3221214840 1131358440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213581 31646 13073 16 0 213565 0 vsize: 854324 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.13 s] Raw data (loadavg): 1.00 1.00 0.91 1/54 28419 Raw data (stat): 28405 (java) Z 28404 28099 28098 0 -1 1036 18103 8199 1 0 120632 58 2929 33 25 0 1 0 477323996 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): 1240.13 CPU time (s): 1236.55 CPU user time (s): 1235.62 CPU system time (s): 0.923859 CPU usage (%): 99.711 Max. virtual memory (Kb): 856796 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####