Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16d2.opb |
MD5SUM | 640e42314ccc494338715717ba212e02 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 785 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1672 |
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 | 1672 |
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 | 1672 |
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 | 19.988 |
Number of variables | 1672 |
Total number of constraints | 13297 |
Number of constraints which are clauses | 13297 |
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 wulflinc12 THE 2005-04-13 16:15:40 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1287 boxname=wulflinc12 idbench=143 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 640e42314ccc494338715717ba212e02 /oldhome/oroussel/tmp/wulflinc12/normalized-ii16d2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-ii16d2.opb IDLAUNCH: 1287 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 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: 936200 kB Buffers: 34036 kB Cached: 45100 kB SwapCached: 16 kB Active: 55172 kB Inactive: 26776 kB HighTotal: 131008 kB HighFree: 81984 kB LowTotal: 903652 kB LowFree: 854216 kB SwapTotal: 2097136 kB SwapFree: 2097120 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6920 kB Slab: 10980 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:36:22 (client local time) WITH STATUS 143 IN SECONDS stats: 1287 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc12/normalized-ii16d2.opb c reading problem c [nbvar=1672] c [nbconstr=13297] c time 6.762 c #vars 1672 c #clauses 13297 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=813 c Current CPU time (ms) : 33.754 c starts : 2 c conflicts : 233 c decisions : 1164 c propagations : 68304 c inspects : 290502 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 233 c root simplifications : 2 c c CURRENT OPTIMUM=792 c Current CPU time (ms) : 162.124 c starts : 7 c conflicts : 1089 c decisions : 2720 c propagations : 294463 c inspects : 1195529 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 3 c learned clauses : 1089 c root simplifications : 7 c c CURRENT OPTIMUM=791 c Current CPU time (ms) : 189.493 c starts : 8 c conflicts : 1129 c decisions : 2857 c propagations : 297856 c inspects : 1229416 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 3 c learned clauses : 1129 c root simplifications : 8 c c CURRENT OPTIMUM=785 c Current CPU time (ms) : 257.352 c starts : 9 c conflicts : 1146 c decisions : 3073 c propagations : 304055 c inspects : 1308892 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 3 c learned clauses : 1146 c root simplifications : 9 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 1.09 0.99 0.76 2/54 26102 Raw data (stat): 26102 (runsolver) R 26101 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419090878 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0402 s] Raw data (loadavg): 1.38 1.06 0.79 4/64 26112 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18093 0 1 0 707 47 0 0 25 0 11 0 419090878 865755136 21228 4294967295 134512640 134569956 3221224416 3221213632 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211366 21228 13073 16 0 211350 0 vsize: 845464 [startup+20.0409 s] Raw data (loadavg): 1.48 1.09 0.80 2/64 26112 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18113 0 1 0 1611 48 0 0 25 0 11 0 419090878 867631104 24207 4294967295 134512640 134569956 3221224416 3221214736 1131380940 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 24207 13073 16 0 211808 0 vsize: 847296 [startup+30.0408 s] Raw data (loadavg): 1.40 1.08 0.80 2/64 26112 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 0 1 0 2584 48 0 0 25 0 11 0 419090878 867631104 24413 4294967295 134512640 134569956 3221224416 3221214848 1131370596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 24413 13073 16 0 211808 0 vsize: 847296 [startup+40.0421 s] Raw data (loadavg): 1.34 1.08 0.80 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 3544 48 0 0 25 0 11 0 419090878 867631104 24646 4294967295 134512640 134569956 3221224416 3221214848 1131370884 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 24646 13073 16 0 211808 0 vsize: 847296 [startup+50.0425 s] Raw data (loadavg): 1.29 1.08 0.80 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 4492 49 0 0 25 0 11 0 419090878 867631104 24749 4294967295 134512640 134569956 3221224416 3221214848 1131370876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 24749 13073 16 0 211808 0 vsize: 847296 [startup+60.0427 s] Raw data (loadavg): 1.24 1.08 0.81 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 5442 49 0 0 25 0 11 0 419090878 867631104 24833 4294967295 134512640 134569956 3221224416 3221214792 1131407060 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 24833 13073 16 0 211808 0 vsize: 847296 [startup+70.0435 s] Raw data (loadavg): 1.20 1.07 0.81 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 6400 49 0 0 25 0 11 0 419090878 867631104 24959 4294967295 134512640 134569956 3221224416 3221214848 1131371054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 24959 13073 16 0 211808 0 vsize: 847296 [startup+80.0439 s] Raw data (loadavg): 1.17 1.07 0.81 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 7348 50 0 0 25 0 11 0 419090878 867631104 25097 4294967295 134512640 134569956 3221224416 3221214792 1131406056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 25097 13073 16 0 211808 0 vsize: 847296 [startup+90.0446 s] Raw data (loadavg): 1.15 1.07 0.81 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 8298 50 0 0 25 0 11 0 419090878 867631104 25241 4294967295 134512640 134569956 3221224416 3221214848 1131371058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 25241 13073 16 0 211808 0 vsize: 847296 [startup+100.045 s] Raw data (loadavg): 1.12 1.06 0.81 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 9238 50 0 0 25 0 11 0 419090878 867631104 25369 4294967295 134512640 134569956 3221224416 3221214848 1131370778 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 25369 13073 16 0 211808 0 vsize: 847296 [startup+110.045 s] Raw data (loadavg): 1.10 1.06 0.82 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 10197 50 0 0 25 0 11 0 419090878 867631104 25509 4294967295 134512640 134569956 3221224416 3221214688 1131331821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 25509 13073 16 0 211808 0 vsize: 847296 [startup+120.047 s] Raw data (loadavg): 1.09 1.06 0.82 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 11146 51 0 0 25 0 11 0 419090878 867631104 25615 4294967295 134512640 134569956 3221224416 3221214736 1131381755 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 25615 13073 16 0 211808 0 vsize: 847296 [startup+130.047 s] Raw data (loadavg): 1.07 1.06 0.82 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18114 3 1 0 12096 51 0 0 25 0 11 0 419090878 867631104 25745 4294967295 134512640 134569956 3221224416 3221214688 1131332538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 25745 13073 16 0 211808 0 vsize: 847296 [startup+140.048 s] Raw data (loadavg): 1.06 1.05 0.82 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 13045 51 0 0 25 0 11 0 419090878 867631104 25878 4294967295 134512640 134569956 3221224416 3221214848 1131370880 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 25878 13073 16 0 211808 0 vsize: 847296 [startup+150.048 s] Raw data (loadavg): 1.05 1.05 0.82 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 13995 52 0 0 25 0 11 0 419090878 867631104 26063 4294967295 134512640 134569956 3221224416 3221214848 1131370876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 26063 13073 16 0 211808 0 vsize: 847296 [startup+160.049 s] Raw data (loadavg): 1.04 1.05 0.82 2/64 26113 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 14947 52 0 0 25 0 11 0 419090878 867631104 26164 4294967295 134512640 134569956 3221224416 3221214792 1131405809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 26164 13073 16 0 211808 0 vsize: 847296 [startup+170.049 s] Raw data (loadavg): 1.04 1.05 0.82 2/64 26114 Raw data (stat): 26102 (java) S 26101 25285 25284 0 -1 0 18115 3 1 0 15855 52 0 0 25 0 11 0 419090878 867631104 26542 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 26542 13073 16 0 211808 0 vsize: 847296 [startup+180.049 s] Raw data (loadavg): 1.03 1.05 0.82 2/64 26114 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 16751 52 0 0 25 0 11 0 419090878 867631104 26900 4294967295 134512640 134569956 3221224416 3221214832 1131570025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 26900 13073 16 0 211808 0 vsize: 847296 [startup+190.051 s] Raw data (loadavg): 1.02 1.04 0.83 2/64 26114 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 17637 53 0 0 25 0 11 0 419090878 867631104 27500 4294967295 134512640 134569956 3221224416 3221214792 1131405976 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 27500 13073 16 0 211808 0 vsize: 847296 [startup+200.052 s] Raw data (loadavg): 1.02 1.04 0.83 2/64 26115 Raw data (stat): 26102 (java) S 26101 25285 25284 0 -1 0 18115 3 1 0 18577 53 0 0 25 0 11 0 419090878 867631104 27641 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 27641 13073 16 0 211808 0 vsize: 847296 [startup+210.051 s] Raw data (loadavg): 1.02 1.04 0.83 2/64 26115 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 19494 53 0 0 25 0 11 0 419090878 867631104 27698 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 27698 13073 16 0 211808 0 vsize: 847296 [startup+220.052 s] Raw data (loadavg): 1.01 1.04 0.83 2/64 26115 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 20430 54 0 0 25 0 11 0 419090878 867631104 27726 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 27726 13073 16 0 211808 0 vsize: 847296 [startup+230.052 s] Raw data (loadavg): 1.01 1.04 0.83 2/64 26115 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 21375 54 0 0 25 0 11 0 419090878 867631104 28085 4294967295 134512640 134569956 3221224416 3221214688 1131332297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28085 13073 16 0 211808 0 vsize: 847296 [startup+240.053 s] Raw data (loadavg): 1.01 1.03 0.83 2/64 26115 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 22330 54 0 0 25 0 11 0 419090878 867631104 28486 4294967295 134512640 134569956 3221224416 3221214688 1131332609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28486 13073 16 0 211808 0 vsize: 847296 [startup+250.054 s] Raw data (loadavg): 1.01 1.03 0.83 2/64 26115 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 23300 54 0 0 25 0 11 0 419090878 867631104 28506 4294967295 134512640 134569956 3221224416 3221214688 1131331454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28506 13073 16 0 211808 0 vsize: 847296 [startup+260.054 s] Raw data (loadavg): 1.09 1.05 0.84 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 24267 55 0 0 25 0 11 0 419090878 867631104 28637 4294967295 134512640 134569956 3221224416 3221214792 1131405965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28637 13073 16 0 211808 0 vsize: 847296 [startup+270.054 s] Raw data (loadavg): 1.07 1.05 0.84 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 25244 55 0 0 25 0 11 0 419090878 867631104 28590 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28590 13073 16 0 211808 0 vsize: 847296 [startup+280.054 s] Raw data (loadavg): 1.06 1.04 0.84 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 26215 55 0 0 25 0 11 0 419090878 867631104 28597 4294967295 134512640 134569956 3221224416 3221214792 1131406041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28597 13073 16 0 211808 0 vsize: 847296 [startup+290.056 s] Raw data (loadavg): 1.05 1.04 0.84 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 27190 55 0 0 25 0 11 0 419090878 867631104 28605 4294967295 134512640 134569956 3221224416 3221214792 1131405965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28605 13073 16 0 211808 0 vsize: 847296 [startup+300.056 s] Raw data (loadavg): 1.04 1.04 0.84 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 28158 56 0 0 25 0 11 0 419090878 867631104 28613 4294967295 134512640 134569956 3221224416 3221214792 1131407199 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28613 13073 16 0 211808 0 vsize: 847296 [startup+310.056 s] Raw data (loadavg): 1.04 1.04 0.84 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 29129 56 0 0 25 0 11 0 419090878 867631104 28701 4294967295 134512640 134569956 3221224416 3221214688 1131331821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28701 13073 16 0 211808 0 vsize: 847296 [startup+320.056 s] Raw data (loadavg): 1.03 1.04 0.84 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 30103 56 0 0 25 0 11 0 419090878 867631104 28708 4294967295 134512640 134569956 3221224416 3221214792 1131405965 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28708 13073 16 0 211808 0 vsize: 847296 [startup+330.057 s] Raw data (loadavg): 1.02 1.03 0.84 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 31070 56 0 0 25 0 11 0 419090878 867631104 28754 4294967295 134512640 134569956 3221224416 3221214744 1131465429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 28754 13073 16 0 211808 0 vsize: 847296 [startup+340.058 s] Raw data (loadavg): 1.02 1.03 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 31986 57 0 0 25 0 11 0 419090878 867631104 29334 4294967295 134512640 134569956 3221224416 3221214744 1131441287 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 29334 13073 16 0 211808 0 vsize: 847296 [startup+350.059 s] Raw data (loadavg): 1.02 1.03 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 32910 57 0 0 25 0 11 0 419090878 867631104 29637 4294967295 134512640 134569956 3221224416 3221214688 1131331436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 29637 13073 16 0 211808 0 vsize: 847296 [startup+360.06 s] Raw data (loadavg): 1.01 1.03 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 33835 57 0 0 25 0 11 0 419090878 867631104 29637 4294967295 134512640 134569956 3221224416 3221214792 1131405934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 29637 13073 16 0 211808 0 vsize: 847296 [startup+370.061 s] Raw data (loadavg): 1.01 1.03 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 34764 58 0 0 25 0 11 0 419090878 867631104 29637 4294967295 134512640 134569956 3221224416 3221214792 1131407046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 29637 13073 16 0 211808 0 vsize: 847296 [startup+380.061 s] Raw data (loadavg): 1.01 1.03 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 35700 58 0 0 25 0 11 0 419090878 867631104 30235 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30235 13073 16 0 211808 0 vsize: 847296 [startup+390.062 s] Raw data (loadavg): 1.01 1.03 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 36674 58 0 0 25 0 11 0 419090878 867631104 30380 4294967295 134512640 134569956 3221224416 3221214792 1131405965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 30380 13073 16 0 211808 0 vsize: 847296 [startup+400.062 s] Raw data (loadavg): 1.01 1.02 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18115 3 1 0 37655 58 0 0 25 0 11 0 419090878 867631104 30388 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30388 13073 16 0 211808 0 vsize: 847296 [startup+410.061 s] Raw data (loadavg): 1.00 1.02 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 38630 59 0 0 25 0 11 0 419090878 867631104 30404 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30404 13073 16 0 211808 0 vsize: 847296 [startup+420.062 s] Raw data (loadavg): 1.00 1.02 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 39613 59 0 0 25 0 11 0 419090878 867631104 30408 4294967295 134512640 134569956 3221224416 3221214688 1131331733 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 30408 13073 16 0 211808 0 vsize: 847296 [startup+430.063 s] Raw data (loadavg): 1.00 1.02 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 40593 59 0 0 25 0 11 0 419090878 867631104 30429 4294967295 134512640 134569956 3221224416 3221214792 1131407087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30429 13073 16 0 211808 0 vsize: 847296 [startup+440.063 s] Raw data (loadavg): 1.00 1.02 0.85 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 41574 60 0 0 25 0 11 0 419090878 867631104 30482 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 30482 13073 16 0 211808 0 vsize: 847296 [startup+450.063 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 42553 60 0 0 24 0 11 0 419090878 867631104 30484 4294967295 134512640 134569956 3221224416 3221214688 1131332045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30484 13073 16 0 211808 0 vsize: 847296 [startup+460.063 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 43532 60 0 0 25 0 11 0 419090878 867631104 30498 4294967295 134512640 134569956 3221224416 3221214952 1131234649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30498 13073 16 0 211808 0 vsize: 847296 [startup+470.063 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 44508 61 0 0 25 0 11 0 419090878 867631104 30513 4294967295 134512640 134569956 3221224416 3221214688 1131331454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30513 13073 16 0 211808 0 vsize: 847296 [startup+480.064 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 45484 61 0 0 25 0 11 0 419090878 867631104 30528 4294967295 134512640 134569956 3221224416 3221214792 1131407067 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30528 13073 16 0 211808 0 vsize: 847296 [startup+490.064 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 46467 61 0 0 25 0 11 0 419090878 867631104 30609 4294967295 134512640 134569956 3221224416 3221214792 1131407920 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30609 13073 16 0 211808 0 vsize: 847296 [startup+500.065 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 47446 61 0 0 24 0 11 0 419090878 867631104 30628 4294967295 134512640 134569956 3221224416 3221214792 1131406981 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30628 13073 16 0 211808 0 vsize: 847296 [startup+510.065 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 48431 61 0 0 25 0 11 0 419090878 867631104 30629 4294967295 134512640 134569956 3221224416 3221214848 1131370795 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 30629 13073 16 0 211808 0 vsize: 847296 [startup+520.065 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 49411 62 0 0 25 0 11 0 419090878 867631104 30642 4294967295 134512640 134569956 3221224416 3221214688 1131331635 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30642 13073 16 0 211808 0 vsize: 847296 [startup+530.066 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 50390 62 0 0 25 0 11 0 419090878 867631104 30656 4294967295 134512640 134569956 3221224416 3221214688 1131331425 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30656 13073 16 0 211808 0 vsize: 847296 [startup+540.067 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 51368 63 0 0 25 0 11 0 419090878 867631104 30675 4294967295 134512640 134569956 3221224416 3221214688 1131331523 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30675 13073 16 0 211808 0 vsize: 847296 [startup+550.067 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 52347 63 0 0 25 0 11 0 419090878 867631104 30723 4294967295 134512640 134569956 3221224416 3221214792 1131407087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30723 13073 16 0 211808 0 vsize: 847296 [startup+560.067 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 26116 Raw data (stat): 26102 (java) S 26101 25285 25284 0 -1 0 18116 3 1 0 53330 63 0 0 25 0 11 0 419090878 867631104 30733 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30733 13073 16 0 211808 0 vsize: 847296 [startup+570.068 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 54313 64 0 0 25 0 11 0 419090878 867631104 30742 4294967295 134512640 134569956 3221224416 3221214792 1131406037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30742 13073 16 0 211808 0 vsize: 847296 [startup+580.069 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 55297 64 0 0 25 0 11 0 419090878 867631104 30751 4294967295 134512640 134569956 3221224416 3221214792 1131405934 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30751 13073 16 0 211808 0 vsize: 847296 [startup+590.07 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 56282 64 0 0 25 0 11 0 419090878 867631104 30764 4294967295 134512640 134569956 3221224416 3221214688 1131331429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30764 13073 16 0 211808 0 vsize: 847296 [startup+600.07 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 57261 65 0 0 25 0 11 0 419090878 867631104 30783 4294967295 134512640 134569956 3221224416 3221214688 1131331821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30783 13073 16 0 211808 0 vsize: 847296 [startup+610.07 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 58240 65 0 0 25 0 11 0 419090878 867631104 30785 4294967295 134512640 134569956 3221224416 3221214792 1131406693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30785 13073 16 0 211808 0 vsize: 847296 [startup+620.071 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 59225 65 0 0 25 0 11 0 419090878 867631104 30803 4294967295 134512640 134569956 3221224416 3221214688 1131331821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30803 13073 16 0 211808 0 vsize: 847296 [startup+630.071 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 60204 66 0 0 25 0 11 0 419090878 867631104 30831 4294967295 134512640 134569956 3221224416 3221214688 1131331645 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30831 13073 16 0 211808 0 vsize: 847296 [startup+640.072 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 61184 66 0 0 25 0 11 0 419090878 867631104 30837 4294967295 134512640 134569956 3221224416 3221214792 1131405951 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30837 13073 16 0 211808 0 vsize: 847296 [startup+650.073 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 62166 66 0 0 25 0 11 0 419090878 867631104 30839 4294967295 134512640 134569956 3221224416 3221214688 1131332045 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30839 13073 16 0 211808 0 vsize: 847296 [startup+660.072 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 63148 67 0 0 25 0 11 0 419090878 867631104 30866 4294967295 134512640 134569956 3221224416 3221214688 1131332597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30866 13073 16 0 211808 0 vsize: 847296 [startup+670.073 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 64127 67 0 0 25 0 11 0 419090878 867631104 30887 4294967295 134512640 134569956 3221224416 3221214792 1131406104 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30887 13073 16 0 211808 0 vsize: 847296 [startup+680.074 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 65110 67 0 0 24 0 11 0 419090878 867631104 30899 4294967295 134512640 134569956 3221224416 3221214688 1131331454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30899 13073 16 0 211808 0 vsize: 847296 [startup+690.073 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 66095 68 0 0 25 0 11 0 419090878 867631104 30902 4294967295 134512640 134569956 3221224416 3221214688 1131331851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30902 13073 16 0 211808 0 vsize: 847296 [startup+700.075 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 67076 68 0 0 25 0 11 0 419090878 867631104 30914 4294967295 134512640 134569956 3221224416 3221214688 1131332592 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30914 13073 16 0 211808 0 vsize: 847296 [startup+710.074 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 68054 68 0 0 25 0 11 0 419090878 867631104 30942 4294967295 134512640 134569956 3221224416 3221214688 1131331851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30942 13073 16 0 211808 0 vsize: 847296 [startup+720.075 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 69037 69 0 0 25 0 11 0 419090878 867631104 30971 4294967295 134512640 134569956 3221224416 3221214688 1131331489 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30971 13073 16 0 211808 0 vsize: 847296 [startup+730.076 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 70025 69 0 0 25 0 11 0 419090878 867631104 30973 4294967295 134512640 134569956 3221224416 3221214688 1131331817 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30973 13073 16 0 211808 0 vsize: 847296 [startup+740.076 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 71010 70 0 0 25 0 11 0 419090878 867631104 30975 4294967295 134512640 134569956 3221224416 3221214688 1131331851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30975 13073 16 0 211808 0 vsize: 847296 [startup+750.076 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 71997 70 0 0 25 0 11 0 419090878 867631104 30983 4294967295 134512640 134569956 3221224416 3221214688 1131331821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30983 13073 16 0 211808 0 vsize: 847296 [startup+760.076 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 72978 70 0 0 25 0 11 0 419090878 867631104 30985 4294967295 134512640 134569956 3221224416 3221214972 1131234598 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 30985 13073 16 0 211808 0 vsize: 847296 [startup+770.077 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 73961 71 0 0 25 0 11 0 419090878 867631104 31012 4294967295 134512640 134569956 3221224416 3221214792 1131407138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31012 13073 16 0 211808 0 vsize: 847296 [startup+780.078 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 74945 71 0 0 25 0 11 0 419090878 867631104 31017 4294967295 134512640 134569956 3221224416 3221214688 1131331618 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31017 13073 16 0 211808 0 vsize: 847296 [startup+790.079 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 75926 71 0 0 25 0 11 0 419090878 867631104 31025 4294967295 134512640 134569956 3221224416 3221214792 1131406777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31025 13073 16 0 211808 0 vsize: 847296 [startup+800.08 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 76912 72 0 0 25 0 11 0 419090878 867631104 31025 4294967295 134512640 134569956 3221224416 3221214688 1131331851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31025 13073 16 0 211808 0 vsize: 847296 [startup+810.079 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 77891 72 0 0 25 0 11 0 419090878 867631104 31051 4294967295 134512640 134569956 3221224416 3221214792 1131406037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31051 13073 16 0 211808 0 vsize: 847296 [startup+820.08 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 78876 73 0 0 25 0 11 0 419090878 867631104 31051 4294967295 134512640 134569956 3221224416 3221214736 1131380940 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31051 13073 16 0 211808 0 vsize: 847296 [startup+830.081 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 79858 73 0 0 25 0 11 0 419090878 867631104 31065 4294967295 134512640 134569956 3221224416 3221214792 1131406037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31065 13073 16 0 211808 0 vsize: 847296 [startup+840.081 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 80840 74 0 0 25 0 11 0 419090878 867631104 31070 4294967295 134512640 134569956 3221224416 3221214848 1131370576 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31070 13073 16 0 211808 0 vsize: 847296 [startup+850.082 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 81827 74 0 0 25 0 11 0 419090878 867631104 31093 4294967295 134512640 134569956 3221224416 3221214792 1131406100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31093 13073 16 0 211808 0 vsize: 847296 [startup+860.082 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 82808 74 0 0 25 0 11 0 419090878 867631104 31106 4294967295 134512640 134569956 3221224416 3221214792 1131407087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31106 13073 16 0 211808 0 vsize: 847296 [startup+870.082 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 83796 75 0 0 25 0 11 0 419090878 867631104 31111 4294967295 134512640 134569956 3221224416 3221214688 1131331821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31111 13073 16 0 211808 0 vsize: 847296 [startup+880.083 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 84781 75 0 0 25 0 11 0 419090878 867631104 31116 4294967295 134512640 134569956 3221224416 3221214688 1131332231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31116 13073 16 0 211808 0 vsize: 847296 [startup+890.083 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 85768 76 0 0 25 0 11 0 419090878 867631104 31143 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31143 13073 16 0 211808 0 vsize: 847296 [startup+900.084 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 86754 76 0 0 25 0 11 0 419090878 867631104 31146 4294967295 134512640 134569956 3221224416 3221214792 1131406037 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31146 13073 16 0 211808 0 vsize: 847296 [startup+910.085 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 87738 76 0 0 25 0 11 0 419090878 867631104 31146 4294967295 134512640 134569956 3221224416 3221214688 1131331429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31146 13073 16 0 211808 0 vsize: 847296 [startup+920.086 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 88722 77 0 0 25 0 11 0 419090878 867631104 31168 4294967295 134512640 134569956 3221224416 3221214792 1131407108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31168 13073 16 0 211808 0 vsize: 847296 [startup+930.086 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 89707 77 0 0 25 0 11 0 419090878 867631104 31179 4294967295 134512640 134569956 3221224416 3221214792 1131407094 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31179 13073 16 0 211808 0 vsize: 847296 [startup+940.086 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 90693 78 0 0 25 0 11 0 419090878 867631104 31187 4294967295 134512640 134569956 3221224416 3221214792 1131407071 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31187 13073 16 0 211808 0 vsize: 847296 [startup+950.087 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 91674 78 0 0 25 0 11 0 419090878 867631104 31193 4294967295 134512640 134569956 3221224416 3221214688 1131331429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31193 13073 16 0 211808 0 vsize: 847296 [startup+960.087 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 92654 78 0 0 25 0 11 0 419090878 867631104 31202 4294967295 134512640 134569956 3221224416 3221214688 1131331851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31202 13073 16 0 211808 0 vsize: 847296 [startup+970.087 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 93641 79 0 0 25 0 11 0 419090878 867631104 31218 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31218 13073 16 0 211808 0 vsize: 847296 [startup+980.088 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 94628 79 0 0 25 0 11 0 419090878 867631104 31233 4294967295 134512640 134569956 3221224416 3221214688 1131331905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31233 13073 16 0 211808 0 vsize: 847296 [startup+990.088 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 95613 80 0 0 25 0 11 0 419090878 867631104 31238 4294967295 134512640 134569956 3221224416 3221214792 1131406213 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31238 13073 16 0 211808 0 vsize: 847296 [startup+1000.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 96594 80 0 0 19 0 11 0 419090878 867631104 31239 4294967295 134512640 134569956 3221224416 3221214688 1131331821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31239 13073 16 0 211808 0 vsize: 847296 [startup+1010.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 97578 80 0 0 25 0 11 0 419090878 867631104 31246 4294967295 134512640 134569956 3221224416 3221214792 1131406777 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31246 13073 16 0 211808 0 vsize: 847296 [startup+1020.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 98562 80 0 0 25 0 11 0 419090878 867631104 31275 4294967295 134512640 134569956 3221224416 3221214688 1131331872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31275 13073 16 0 211808 0 vsize: 847296 [startup+1030.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 99549 81 0 0 25 0 11 0 419090878 867631104 31276 4294967295 134512640 134569956 3221224416 3221214792 1131406104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31276 13073 16 0 211808 0 vsize: 847296 [startup+1040.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 100532 81 0 0 25 0 11 0 419090878 867631104 31288 4294967295 134512640 134569956 3221224416 3221214792 1131406012 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31288 13073 16 0 211808 0 vsize: 847296 [startup+1050.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 101519 81 0 0 25 0 11 0 419090878 867631104 31288 4294967295 134512640 134569956 3221224416 3221214792 1131407046 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31288 13073 16 0 211808 0 vsize: 847296 [startup+1060.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 102506 81 0 0 25 0 11 0 419090878 867631104 31317 4294967295 134512640 134569956 3221224416 3221214688 1131331807 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31317 13073 16 0 211808 0 vsize: 847296 [startup+1070.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 103492 81 0 0 25 0 11 0 419090878 867631104 31333 4294967295 134512640 134569956 3221224416 3221214688 1131332558 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31333 13073 16 0 211808 0 vsize: 847296 [startup+1080.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 104480 81 0 0 25 0 11 0 419090878 867631104 31336 4294967295 134512640 134569956 3221224416 3221214688 1131331454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31336 13073 16 0 211808 0 vsize: 847296 [startup+1090.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 105461 81 0 0 25 0 11 0 419090878 867631104 31348 4294967295 134512640 134569956 3221224416 3221214688 1131331417 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31348 13073 16 0 211808 0 vsize: 847296 [startup+1100.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 106447 81 0 0 25 0 11 0 419090878 867631104 31356 4294967295 134512640 134569956 3221224416 3221214792 1131407995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31356 13073 16 0 211808 0 vsize: 847296 [startup+1110.09 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 107431 81 0 0 25 0 11 0 419090878 867631104 31370 4294967295 134512640 134569956 3221224416 3221214792 1131407102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211824 31370 13073 16 0 211808 0 vsize: 847296 [startup+1120.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 108414 81 0 0 25 0 11 0 419090878 867631104 31395 4294967295 134512640 134569956 3221224416 3221214688 1131331851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31395 13073 16 0 211808 0 vsize: 847296 [startup+1130.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 109401 81 0 0 25 0 11 0 419090878 867631104 31398 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31398 13073 16 0 211808 0 vsize: 847296 [startup+1140.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 110389 81 0 0 25 0 11 0 419090878 867631104 31404 4294967295 134512640 134569956 3221224416 3221214688 1131331851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31404 13073 16 0 211808 0 vsize: 847296 [startup+1150.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 111375 81 0 0 25 0 11 0 419090878 867631104 31416 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31416 13073 16 0 211808 0 vsize: 847296 [startup+1160.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 112361 81 0 0 25 0 11 0 419090878 867631104 31416 4294967295 134512640 134569956 3221224416 3221214792 1131406056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31416 13073 16 0 211808 0 vsize: 847296 [startup+1170.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 113346 81 0 0 25 0 11 0 419090878 867631104 31423 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31423 13073 16 0 211808 0 vsize: 847296 [startup+1180.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 114330 81 0 0 25 0 11 0 419090878 867631104 31445 4294967295 134512640 134569956 3221224416 3221214728 1131316421 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31445 13073 16 0 211808 0 vsize: 847296 [startup+1190.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 115315 81 0 0 25 0 11 0 419090878 867631104 31448 4294967295 134512640 134569956 3221224416 3221214688 1131331821 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31448 13073 16 0 211808 0 vsize: 847296 [startup+1200.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 116298 81 0 0 25 0 11 0 419090878 867631104 31460 4294967295 134512640 134569956 3221224416 3221214688 1131331692 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31460 13073 16 0 211808 0 vsize: 847296 [startup+1210.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 117278 82 0 0 25 0 11 0 419090878 867631104 31487 4294967295 134512640 134569956 3221224416 3221214792 1131406056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31487 13073 16 0 211808 0 vsize: 847296 [startup+1220.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 118262 82 0 0 25 0 11 0 419090878 867631104 31488 4294967295 134512640 134569956 3221224416 3221214792 1131406066 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31488 13073 16 0 211808 0 vsize: 847296 [startup+1230.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 119249 82 0 0 25 0 11 0 419090878 867631104 31508 4294967295 134512640 134569956 3221224416 3221214792 1131405972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31508 13073 16 0 211808 0 vsize: 847296 [startup+1240.1 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 26116 Raw data (stat): 26102 (java) R 26101 25285 25284 0 -1 0 18116 3 1 0 120234 82 0 0 25 0 11 0 419090878 867631104 31535 4294967295 134512640 134569956 3221224416 3221214792 1131406093 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211824 31535 13073 16 0 211808 0 vsize: 847296 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.21 s] Raw data (loadavg): 1.00 1.00 0.91 1/54 26118 Raw data (stat): 26102 (java) Z 26101 25285 25284 0 -1 1036 18116 9847 1 0 120238 82 3309 29 25 0 1 0 419090878 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): 1240.21 CPU time (s): 1236.6 CPU user time (s): 1235.47 CPU system time (s): 1.12383 CPU usage (%): 99.7091 Max. virtual memory (Kb): 847296 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####