Name | normalized-opb/submitted/een/normalized-stein45.opb |
MD5SUM | 34647f6a75058de4a92f0ff94f3c9005 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 45 |
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 | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01484 |
Number of variables | 45 |
Total number of constraints | 331 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-04-14 21:32:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5209 boxname=wulflinc24 idbench=401 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 34647f6a75058de4a92f0ff94f3c9005 /oldhome/oroussel/tmp/wulflinc24/normalized-stein45.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc24/normalized-stein45.opb IDLAUNCH: 5209 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 808636 kB Buffers: 36160 kB Cached: 147148 kB SwapCached: 3828 kB Active: 67604 kB Inactive: 122388 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 808384 kB SwapTotal: 2097892 kB SwapFree: 2094064 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6924 kB Slab: 30448 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-14 21:53:31 (client local time) WITH STATUS 143 IN 1250.87 SECONDS stats: 5209 7 1250.87 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc24/normalized-stein45.opb c reading problem c [nbvar=45] c [nbconstr=331] c time 0.82 c #vars 45 c #clauses 331 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=33 c Current CPU time (ms) : 0.932 c starts : 1 c conflicts : 0 c decisions : 12 c propagations : 45 c inspects : 266 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=32 c Current CPU time (ms) : 1.807 c starts : 2 c conflicts : 7 c decisions : 31 c propagations : 120 c inspects : 760 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 7 c root simplifications : 2 c c CURRENT OPTIMUM=31 c Current CPU time (ms) : 5.728 c starts : 3 c conflicts : 52 c decisions : 87 c propagations : 408 c inspects : 3727 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 52 c root simplifications : 3 c c CURRENT OPTIMUM=30 c Current CPU time (ms) : 6.055 c starts : 4 c conflicts : 57 c decisions : 106 c propagations : 474 c inspects : 4760 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 57 c root simplifications : 4 #### 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.79 0.92 0.89 2/54 9961 Raw data (stat): 9961 (runsolver) R 9960 28546 28545 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 487855903 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+9.99988 s] Raw data (loadavg): 1.13 0.99 0.92 3/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18095 3 1 0 511 42 0 0 25 0 11 0 487855903 869326848 22262 4294967295 134512640 134569956 3221224416 3221214808 1131184575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212238 22262 13073 16 0 212222 0 vsize: 848952 [startup+20.0005 s] Raw data (loadavg): 1.11 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 1475 42 0 0 25 0 11 0 487855903 868933632 22863 4294967295 134512640 134569956 3221224416 3221214544 1131281672 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 22863 13073 16 0 212126 0 vsize: 848568 [startup+30.0044 s] Raw data (loadavg): 1.09 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 2437 42 0 0 25 0 11 0 487855903 868933632 23210 4294967295 134512640 134569956 3221224416 3221213448 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 23210 13073 16 0 212126 0 vsize: 848568 [startup+40.005 s] Raw data (loadavg): 1.08 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 3392 42 0 0 25 0 11 0 487855903 868933632 23511 4294967295 134512640 134569956 3221224416 3221215016 1131176768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 23511 13073 16 0 212126 0 vsize: 848568 [startup+50.0088 s] Raw data (loadavg): 1.07 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 4343 42 0 0 25 0 11 0 487855903 868933632 23729 4294967295 134512640 134569956 3221224416 3221213272 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 23729 13073 16 0 212126 0 vsize: 848568 [startup+60.0095 s] Raw data (loadavg): 1.06 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 5293 42 0 0 25 0 11 0 487855903 868933632 24003 4294967295 134512640 134569956 3221224416 3221213448 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 24003 13073 16 0 212126 0 vsize: 848568 [startup+70.0101 s] Raw data (loadavg): 1.05 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 6242 42 0 0 25 0 11 0 487855903 868933632 24144 4294967295 134512640 134569956 3221224416 3221214440 1078033287 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 24144 13073 16 0 212126 0 vsize: 848568 [startup+80.0107 s] Raw data (loadavg): 1.04 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 7200 42 0 0 25 0 11 0 487855903 868933632 24313 4294967295 134512640 134569956 3221224416 3221214996 1130918439 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 24313 13073 16 0 212126 0 vsize: 848568 [startup+90.0114 s] Raw data (loadavg): 1.03 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 8169 42 0 0 25 0 11 0 487855903 868933632 24429 4294967295 134512640 134569956 3221224416 3221214808 1131184787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212142 24429 13073 16 0 212126 0 vsize: 848568 [startup+100.012 s] Raw data (loadavg): 1.03 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 9131 42 0 0 25 0 11 0 487855903 868933632 24549 4294967295 134512640 134569956 3221224416 3221214808 1131184477 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 24549 13073 16 0 212126 0 vsize: 848568 [startup+110.013 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 10101 42 0 0 25 0 11 0 487855903 868933632 24641 4294967295 134512640 134569956 3221224416 3221214008 1131496138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 24641 13073 16 0 212126 0 vsize: 848568 [startup+120.013 s] Raw data (loadavg): 1.02 0.99 0.92 3/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 11065 42 0 0 25 0 11 0 487855903 868933632 24744 4294967295 134512640 134569956 3221224416 3221213816 1131431856 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 24744 13073 16 0 212126 0 vsize: 848568 [startup+130.013 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 12037 42 0 0 25 0 11 0 487855903 868933632 24835 4294967295 134512640 134569956 3221224416 3221214864 1131147456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 24835 13073 16 0 212126 0 vsize: 848568 [startup+140.014 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 13003 42 0 0 25 0 11 0 487855903 868933632 24920 4294967295 134512640 134569956 3221224416 3221214808 1131184685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 24920 13073 16 0 212126 0 vsize: 848568 [startup+150.015 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 13975 42 0 0 25 0 11 0 487855903 868933632 24990 4294967295 134512640 134569956 3221224416 3221214912 1131164912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 24990 13073 16 0 212126 0 vsize: 848568 [startup+160.014 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 14942 42 0 0 25 0 11 0 487855903 868933632 25101 4294967295 134512640 134569956 3221224416 3221214252 1131497024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25101 13073 16 0 212126 0 vsize: 848568 [startup+170.015 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 15915 42 0 0 25 0 11 0 487855903 868933632 25170 4294967295 134512640 134569956 3221224416 3221214784 1131184935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25170 13073 16 0 212126 0 vsize: 848568 [startup+180.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 16889 42 0 0 25 0 11 0 487855903 868933632 25238 4294967295 134512640 134569956 3221224416 3221214888 1131165013 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25238 13073 16 0 212126 0 vsize: 848568 [startup+190.015 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 17858 42 0 0 25 0 11 0 487855903 868933632 25328 4294967295 134512640 134569956 3221224416 3221214784 1131185511 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25328 13073 16 0 212126 0 vsize: 848568 [startup+200.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 18833 42 0 0 25 0 11 0 487855903 868933632 25387 4294967295 134512640 134569956 3221224416 3221214368 1131496092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25387 13073 16 0 212126 0 vsize: 848568 [startup+210.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 19803 42 0 0 25 0 11 0 487855903 868933632 25467 4294967295 134512640 134569956 3221224416 3221214888 1131164946 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25467 13073 16 0 212126 0 vsize: 848568 [startup+220.016 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 20779 42 0 0 25 0 11 0 487855903 868933632 25541 4294967295 134512640 134569956 3221224416 3221214656 1131180746 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212142 25541 13073 16 0 212126 0 vsize: 848568 [startup+230.017 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 21751 42 0 0 25 0 11 0 487855903 868933632 25613 4294967295 134512640 134569956 3221224416 3221214784 1131184907 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25613 13073 16 0 212126 0 vsize: 848568 [startup+240.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 22729 42 0 0 25 0 11 0 487855903 868933632 25672 4294967295 134512640 134569956 3221224416 3221214744 1131183103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25672 13073 16 0 212126 0 vsize: 848568 [startup+250.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 23707 43 0 0 25 0 11 0 487855903 868933632 25729 4294967295 134512640 134569956 3221224416 3221214888 1131165189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25729 13073 16 0 212126 0 vsize: 848568 [startup+260.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 24680 43 0 0 25 0 11 0 487855903 868933632 25796 4294967295 134512640 134569956 3221224416 3221214784 1131184685 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25796 13073 16 0 212126 0 vsize: 848568 [startup+270.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 25658 43 0 0 25 0 11 0 487855903 868933632 25847 4294967295 134512640 134569956 3221224416 3221214152 1131496120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25847 13073 16 0 212126 0 vsize: 848568 [startup+280.018 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 26638 43 0 0 25 0 11 0 487855903 868933632 25894 4294967295 134512640 134569956 3221224416 3221214136 1131430454 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25894 13073 16 0 212126 0 vsize: 848568 [startup+290.019 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 27612 43 0 0 24 0 11 0 487855903 868933632 25958 4294967295 134512640 134569956 3221224416 3221214580 1131497024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25958 13073 16 0 212126 0 vsize: 848568 [startup+300.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 28596 43 0 0 25 0 11 0 487855903 868933632 25988 4294967295 134512640 134569956 3221224416 3221213896 1085632310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 25988 13073 16 0 212126 0 vsize: 848568 [startup+310.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 29574 43 0 0 25 0 11 0 487855903 868933632 26035 4294967295 134512640 134569956 3221224416 3221214112 1085679452 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26035 13073 16 0 212126 0 vsize: 848568 [startup+320.02 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 30553 43 0 0 25 0 11 0 487855903 868933632 26082 4294967295 134512640 134569956 3221224416 3221214416 1131430377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26082 13073 16 0 212126 0 vsize: 848568 [startup+330.021 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 31531 43 0 0 25 0 11 0 487855903 868933632 26133 4294967295 134512640 134569956 3221224416 3221214940 1131494633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26133 13073 16 0 212126 0 vsize: 848568 [startup+340.022 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 32509 43 0 0 25 0 11 0 487855903 868933632 26173 4294967295 134512640 134569956 3221224416 3221214784 1131184650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26173 13073 16 0 212126 0 vsize: 848568 [startup+350.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 33488 43 0 0 25 0 11 0 487855903 868933632 26203 4294967295 134512640 134569956 3221224416 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26203 13073 16 0 212126 0 vsize: 848568 [startup+360.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 34470 43 0 0 25 0 11 0 487855903 868933632 26234 4294967295 134512640 134569956 3221224416 3221213672 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26234 13073 16 0 212126 0 vsize: 848568 [startup+370.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 35447 43 0 0 25 0 11 0 487855903 868933632 26284 4294967295 134512640 134569956 3221224416 3221214144 1131496113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26284 13073 16 0 212126 0 vsize: 848568 [startup+380.026 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 36429 43 0 0 25 0 11 0 487855903 868933632 26327 4294967295 134512640 134569956 3221224416 3221213752 1131430464 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26327 13073 16 0 212126 0 vsize: 848568 [startup+390.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 37406 43 0 0 25 0 11 0 487855903 868933632 26371 4294967295 134512640 134569956 3221224416 3221214784 1131185104 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26371 13073 16 0 212126 0 vsize: 848568 [startup+400.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 38382 43 0 0 25 0 11 0 487855903 868933632 26417 4294967295 134512640 134569956 3221224416 3221214396 1131430578 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26417 13073 16 0 212126 0 vsize: 848568 [startup+410.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 39359 43 0 0 25 0 11 0 487855903 868933632 26466 4294967295 134512640 134569956 3221224416 3221214840 1131381677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26466 13073 16 0 212126 0 vsize: 848568 [startup+420.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 40343 43 0 0 25 0 11 0 487855903 868933632 26496 4294967295 134512640 134569956 3221224416 3221213704 1131496102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26496 13073 16 0 212126 0 vsize: 848568 [startup+430.029 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 41320 43 0 0 25 0 11 0 487855903 868933632 26564 4294967295 134512640 134569956 3221224416 3221214412 1131497033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26564 13073 16 0 212126 0 vsize: 848568 [startup+440.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 42299 43 0 0 25 0 11 0 487855903 868933632 26608 4294967295 134512640 134569956 3221224416 3221214344 1131512552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26608 13073 16 0 212126 0 vsize: 848568 [startup+450.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 43282 43 0 0 25 0 11 0 487855903 868933632 26639 4294967295 134512640 134569956 3221224416 3221213872 1131496120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26639 13073 16 0 212126 0 vsize: 848568 [startup+460.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 44261 43 0 0 25 0 11 0 487855903 868933632 26698 4294967295 134512640 134569956 3221224416 3221214568 1131512597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26698 13073 16 0 212126 0 vsize: 848568 [startup+470.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 45240 43 0 0 25 0 11 0 487855903 868933632 26741 4294967295 134512640 134569956 3221224416 3221214800 1131217937 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26741 13073 16 0 212126 0 vsize: 848568 [startup+480.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 46225 43 0 0 25 0 11 0 487855903 868933632 26766 4294967295 134512640 134569956 3221224416 3221214224 1085679290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26766 13073 16 0 212126 0 vsize: 848568 [startup+490.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 47204 43 0 0 25 0 11 0 487855903 868933632 26804 4294967295 134512640 134569956 3221224416 3221214864 1131179269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26804 13073 16 0 212126 0 vsize: 848568 [startup+500.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 48182 43 0 0 24 0 11 0 487855903 868933632 26845 4294967295 134512640 134569956 3221224416 3221214888 1131164905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26845 13073 16 0 212126 0 vsize: 848568 [startup+510.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 49166 43 0 0 25 0 11 0 487855903 868933632 26880 4294967295 134512640 134569956 3221224416 3221214240 1131430530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212142 26880 13073 16 0 212126 0 vsize: 848568 [startup+520.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 50143 43 0 0 25 0 11 0 487855903 868933632 26918 4294967295 134512640 134569956 3221224416 3221214888 1131165189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26918 13073 16 0 212126 0 vsize: 848568 [startup+530.033 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 51127 43 0 0 25 0 11 0 487855903 868933632 26950 4294967295 134512640 134569956 3221224416 3221214224 1085679747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26950 13073 16 0 212126 0 vsize: 848568 [startup+540.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 52105 43 0 0 25 0 11 0 487855903 868933632 26991 4294967295 134512640 134569956 3221224416 3221214352 1131430536 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 26991 13073 16 0 212126 0 vsize: 848568 [startup+550.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 53088 43 0 0 25 0 11 0 487855903 868933632 27018 4294967295 134512640 134569956 3221224416 3221214784 1131184962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212142 27018 13073 16 0 212126 0 vsize: 848568 [startup+560.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 54065 43 0 0 25 0 11 0 487855903 868933632 27059 4294967295 134512640 134569956 3221224416 3221214640 1131430377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27059 13073 16 0 212126 0 vsize: 848568 [startup+570.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 55048 43 0 0 25 0 11 0 487855903 868933632 27095 4294967295 134512640 134569956 3221224416 3221214944 1131516372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27095 13073 16 0 212126 0 vsize: 848568 [startup+580.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 56025 43 0 0 25 0 11 0 487855903 868933632 27146 4294967295 134512640 134569956 3221224416 3221213832 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27146 13073 16 0 212126 0 vsize: 848568 [startup+590.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 57008 43 0 0 25 0 11 0 487855903 868933632 27174 4294967295 134512640 134569956 3221224416 3221214224 1085679473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27174 13073 16 0 212126 0 vsize: 848568 [startup+600.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 57992 43 0 0 25 0 11 0 487855903 868933632 27207 4294967295 134512640 134569956 3221224416 3221213872 1131496145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27207 13073 16 0 212126 0 vsize: 848568 [startup+610.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 58970 43 0 0 25 0 11 0 487855903 868933632 27240 4294967295 134512640 134569956 3221224416 3221214944 1131515872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27240 13073 16 0 212126 0 vsize: 848568 [startup+620.037 s] Raw data (loadavg): 1.07 1.01 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 59948 43 0 0 25 0 11 0 487855903 868933632 27286 4294967295 134512640 134569956 3221224416 3221214876 1080204256 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27286 13073 16 0 212126 0 vsize: 848568 [startup+630.037 s] Raw data (loadavg): 1.06 1.01 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 60932 43 0 0 25 0 11 0 487855903 868933632 27313 4294967295 134512640 134569956 3221224416 3221214280 1085679293 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27313 13073 16 0 212126 0 vsize: 848568 [startup+640.037 s] Raw data (loadavg): 1.05 1.01 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 61911 43 0 0 25 0 11 0 487855903 868933632 27372 4294967295 134512640 134569956 3221224416 3221213888 1085679508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27372 13073 16 0 212126 0 vsize: 848568 [startup+650.038 s] Raw data (loadavg): 1.04 1.00 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 62891 43 0 0 25 0 11 0 487855903 868933632 27413 4294967295 134512640 134569956 3221224416 3221213928 1131496145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27413 13073 16 0 212126 0 vsize: 848568 [startup+660.037 s] Raw data (loadavg): 1.04 1.00 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 63875 43 0 0 25 0 11 0 487855903 868933632 27442 4294967295 134512640 134569956 3221224416 3221214784 1131184650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27442 13073 16 0 212126 0 vsize: 848568 [startup+670.037 s] Raw data (loadavg): 1.03 1.00 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 64855 43 0 0 25 0 11 0 487855903 868933632 27481 4294967295 134512640 134569956 3221224416 3221213864 1131430503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27481 13073 16 0 212126 0 vsize: 848568 [startup+680.038 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 65840 44 0 0 25 0 11 0 487855903 868933632 27509 4294967295 134512640 134569956 3221224416 3221214528 1131430431 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27509 13073 16 0 212126 0 vsize: 848568 [startup+690.038 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 66820 44 0 0 25 0 11 0 487855903 868933632 27543 4294967295 134512640 134569956 3221224416 3221214784 1131184851 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27543 13073 16 0 212126 0 vsize: 848568 [startup+700.039 s] Raw data (loadavg): 1.02 1.00 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 67800 44 0 0 24 0 11 0 487855903 868933632 27575 4294967295 134512640 134569956 3221224416 3221214800 1131215512 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27575 13073 16 0 212126 0 vsize: 848568 [startup+710.039 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 68785 44 0 0 25 0 11 0 487855903 868933632 27599 4294967295 134512640 134569956 3221224416 3221214308 1131496144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27599 13073 16 0 212126 0 vsize: 848568 [startup+720.04 s] Raw data (loadavg): 1.01 1.00 0.92 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 69766 44 0 0 25 0 11 0 487855903 868933632 27630 4294967295 134512640 134569956 3221224416 3221214888 1131165428 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27630 13073 16 0 212126 0 vsize: 848568 [startup+730.04 s] Raw data (loadavg): 1.09 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 70744 44 0 0 25 0 11 0 487855903 868933632 27665 4294967295 134512640 134569956 3221224416 3221214480 1131496092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27665 13073 16 0 212126 0 vsize: 848568 [startup+740.041 s] Raw data (loadavg): 1.07 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 71728 44 0 0 25 0 11 0 487855903 868933632 27693 4294967295 134512640 134569956 3221224416 3221214784 1131184935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27693 13073 16 0 212126 0 vsize: 848568 [startup+750.041 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 72711 44 0 0 25 0 11 0 487855903 868933632 27717 4294967295 134512640 134569956 3221224416 3221213952 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27717 13073 16 0 212126 0 vsize: 848568 [startup+760.041 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 73689 44 0 0 25 0 11 0 487855903 868933632 27746 4294967295 134512640 134569956 3221224416 3221214480 1131496124 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27746 13073 16 0 212126 0 vsize: 848568 [startup+770.041 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 74673 44 0 0 25 0 11 0 487855903 868933632 27771 4294967295 134512640 134569956 3221224416 3221214944 1131515897 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27771 13073 16 0 212126 0 vsize: 848568 [startup+780.042 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 75652 44 0 0 25 0 11 0 487855903 868933632 27800 4294967295 134512640 134569956 3221224416 3221214704 1131307010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27800 13073 16 0 212126 0 vsize: 848568 [startup+790.043 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 76636 44 0 0 25 0 11 0 487855903 868933632 27823 4294967295 134512640 134569956 3221224416 3221214784 1131184935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27823 13073 16 0 212126 0 vsize: 848568 [startup+800.043 s] Raw data (loadavg): 1.03 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 77619 44 0 0 25 0 11 0 487855903 868933632 27850 4294967295 134512640 134569956 3221224416 3221213812 1131496144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212142 27850 13073 16 0 212126 0 vsize: 848568 [startup+810.043 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 78597 44 0 0 25 0 11 0 487855903 868933632 27876 4294967295 134512640 134569956 3221224416 3221214592 1131496145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27876 13073 16 0 212126 0 vsize: 848568 [startup+820.043 s] Raw data (loadavg): 1.09 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 79580 44 0 0 25 0 11 0 487855903 868933632 27909 4294967295 134512640 134569956 3221224416 3221214168 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27909 13073 16 0 212126 0 vsize: 848568 [startup+830.043 s] Raw data (loadavg): 1.08 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 80563 44 0 0 24 0 11 0 487855903 868933632 27935 4294967295 134512640 134569956 3221224416 3221214840 1131147456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27935 13073 16 0 212126 0 vsize: 848568 [startup+840.044 s] Raw data (loadavg): 1.06 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 81552 44 0 0 25 0 11 0 487855903 868933632 27958 4294967295 134512640 134569956 3221224416 3221214800 1131218102 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212142 27958 13073 16 0 212126 0 vsize: 848568 [startup+850.044 s] Raw data (loadavg): 1.05 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 82535 44 0 0 25 0 11 0 487855903 868933632 27982 4294967295 134512640 134569956 3221224416 3221214888 1131165189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 27982 13073 16 0 212126 0 vsize: 848568 [startup+860.044 s] Raw data (loadavg): 1.05 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 83518 44 0 0 25 0 11 0 487855903 868933632 28004 4294967295 134512640 134569956 3221224416 3221214200 1131496151 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28004 13073 16 0 212126 0 vsize: 848568 [startup+870.045 s] Raw data (loadavg): 1.04 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 84495 44 0 0 25 0 11 0 487855903 868933632 28036 4294967295 134512640 134569956 3221224416 3221214920 1131401509 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28036 13073 16 0 212126 0 vsize: 848568 [startup+880.045 s] Raw data (loadavg): 1.03 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 85477 44 0 0 25 0 11 0 487855903 868933632 28060 4294967295 134512640 134569956 3221224416 3221214080 1131430557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28060 13073 16 0 212126 0 vsize: 848568 [startup+890.047 s] Raw data (loadavg): 1.03 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 86460 44 0 0 25 0 11 0 487855903 868933632 28095 4294967295 134512640 134569956 3221224416 3221214784 1131184485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28095 13073 16 0 212126 0 vsize: 848568 [startup+900.047 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 87443 44 0 0 25 0 11 0 487855903 868933632 28130 4294967295 134512640 134569956 3221224416 3221213368 1131496145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28130 13073 16 0 212126 0 vsize: 848568 [startup+910.05 s] Raw data (loadavg): 1.02 1.02 0.93 2/64 9975 Raw data (stat): 9961 (java) S 9960 28546 28545 0 -1 0 18096 3 1 0 88428 44 0 0 25 0 11 0 487855903 868933632 28149 4294967295 134512640 134569956 3221224416 3221213488 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28149 13073 16 0 212126 0 vsize: 848568 [startup+920.051 s] Raw data (loadavg): 1.02 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 89409 44 0 0 25 0 11 0 487855903 868933632 28182 4294967295 134512640 134569956 3221224416 3221214304 1131430524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28182 13073 16 0 212126 0 vsize: 848568 [startup+930.051 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 90392 44 0 0 25 0 11 0 487855903 868933632 28211 4294967295 134512640 134569956 3221224416 3221214356 1131430500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28211 13073 16 0 212126 0 vsize: 848568 [startup+940.052 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 91380 44 0 0 25 0 11 0 487855903 868933632 28234 4294967295 134512640 134569956 3221224416 3221213944 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28234 13073 16 0 212126 0 vsize: 848568 [startup+950.052 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 92363 44 0 0 25 0 11 0 487855903 868933632 28263 4294967295 134512640 134569956 3221224416 3221214888 1131165327 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28263 13073 16 0 212126 0 vsize: 848568 [startup+960.053 s] Raw data (loadavg): 1.01 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 93345 44 0 0 25 0 11 0 487855903 868933632 28287 4294967295 134512640 134569956 3221224416 3221214040 1131496145 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28287 13073 16 0 212126 0 vsize: 848568 [startup+970.053 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 94333 44 0 0 25 0 11 0 487855903 868933632 28311 4294967295 134512640 134569956 3221224416 3221214952 1131298583 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28311 13073 16 0 212126 0 vsize: 848568 [startup+980.053 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 95315 44 0 0 25 0 11 0 487855903 868933632 28331 4294967295 134512640 134569956 3221224416 3221214312 1131496120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28331 13073 16 0 212126 0 vsize: 848568 [startup+990.054 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 96296 44 0 0 25 0 11 0 487855903 868933632 28359 4294967295 134512640 134569956 3221224416 3221214800 1131216586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28359 13073 16 0 212126 0 vsize: 848568 [startup+1000.05 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 97278 45 0 0 25 0 11 0 487855903 868933632 28386 4294967295 134512640 134569956 3221224416 3221214240 1131497045 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28386 13073 16 0 212126 0 vsize: 848568 [startup+1010.05 s] Raw data (loadavg): 1.00 1.01 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 98260 45 0 0 25 0 11 0 487855903 868933632 28413 4294967295 134512640 134569956 3221224416 3221214536 1131496120 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28413 13073 16 0 212126 0 vsize: 848568 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 99241 45 0 0 25 0 11 0 487855903 868933632 28443 4294967295 134512640 134569956 3221224416 3221214064 1131512783 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28443 13073 16 0 212126 0 vsize: 848568 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 100217 45 0 0 25 0 11 0 487855903 868933632 28476 4294967295 134512640 134569956 3221224416 3221214840 1131147456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28476 13073 16 0 212126 0 vsize: 848568 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 101199 45 0 0 25 0 11 0 487855903 868933632 28506 4294967295 134512640 134569956 3221224416 3221214888 1131165189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28506 13073 16 0 212126 0 vsize: 848568 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 102181 45 0 0 25 0 11 0 487855903 868933632 28535 4294967295 134512640 134569956 3221224416 3221214848 1131177770 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28535 13073 16 0 212126 0 vsize: 848568 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 103163 45 0 0 25 0 11 0 487855903 868933632 28574 4294967295 134512640 134569956 3221224416 3221214888 1131164905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28574 13073 16 0 212126 0 vsize: 848568 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 104146 45 0 0 25 0 11 0 487855903 868933632 28604 4294967295 134512640 134569956 3221224416 3221214784 1131185398 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28604 13073 16 0 212126 0 vsize: 848568 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 105129 45 0 0 25 0 11 0 487855903 868933632 28630 4294967295 134512640 134569956 3221224416 3221213720 1085679482 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28630 13073 16 0 212126 0 vsize: 848568 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 106106 45 0 0 25 0 11 0 487855903 868933632 28669 4294967295 134512640 134569956 3221224416 3221214840 1131147456 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28669 13073 16 0 212126 0 vsize: 848568 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 107089 45 0 0 25 0 11 0 487855903 868933632 28703 4294967295 134512640 134569956 3221224416 3221214472 1131430314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28703 13073 16 0 212126 0 vsize: 848568 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 108071 45 0 0 25 0 11 0 487855903 868933632 28732 4294967295 134512640 134569956 3221224416 3221214144 1131496154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28732 13073 16 0 212126 0 vsize: 848568 [startup+1120.06 s] Raw data (loadavg): 1.07 1.02 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 109054 45 0 0 25 0 11 0 487855903 868933632 28755 4294967295 134512640 134569956 3221224416 3221214840 1131147585 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28755 13073 16 0 212126 0 vsize: 848568 [startup+1130.06 s] Raw data (loadavg): 1.06 1.02 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 110036 45 0 0 25 0 11 0 487855903 868933632 28776 4294967295 134512640 134569956 3221224416 3221214452 1131430284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28776 13073 16 0 212126 0 vsize: 848568 [startup+1140.06 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 111018 45 0 0 25 0 11 0 487855903 868933632 28796 4294967295 134512640 134569956 3221224416 3221214784 1131184485 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28796 13073 16 0 212126 0 vsize: 848568 [startup+1150.06 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 111999 45 0 0 25 0 11 0 487855903 868933632 28819 4294967295 134512640 134569956 3221224416 3221214784 1131184935 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28819 13073 16 0 212126 0 vsize: 848568 [startup+1160.06 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 112981 45 0 0 25 0 11 0 487855903 868933632 28846 4294967295 134512640 134569956 3221224416 3221214840 1131147597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28846 13073 16 0 212126 0 vsize: 848568 [startup+1170.06 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 113963 45 0 0 25 0 11 0 487855903 868933632 28868 4294967295 134512640 134569956 3221224416 3221214784 1131185132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28868 13073 16 0 212126 0 vsize: 848568 [startup+1180.06 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 114944 45 0 0 25 0 11 0 487855903 868933632 28892 4294967295 134512640 134569956 3221224416 3221214584 1131430314 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28892 13073 16 0 212126 0 vsize: 848568 [startup+1190.06 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 115926 46 0 0 25 0 11 0 487855903 868933632 28912 4294967295 134512640 134569956 3221224416 3221214784 1131184868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28912 13073 16 0 212126 0 vsize: 848568 [startup+1200.07 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 116908 46 0 0 25 0 11 0 487855903 868933632 28932 4294967295 134512640 134569956 3221224416 3221214944 1131516071 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28932 13073 16 0 212126 0 vsize: 848568 [startup+1210.07 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 117890 46 0 0 25 0 11 0 487855903 868933632 28986 4294967295 134512640 134569956 3221224416 3221213616 1085679308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 28986 13073 16 0 212126 0 vsize: 848568 [startup+1220.07 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 118873 46 0 0 25 0 11 0 487855903 868933632 29011 4294967295 134512640 134569956 3221224416 3221214280 1085679446 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 29011 13073 16 0 212126 0 vsize: 848568 [startup+1230.07 s] Raw data (loadavg): 1.01 1.01 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 119855 46 0 0 25 0 11 0 487855903 868933632 29039 4294967295 134512640 134569956 3221224416 3221214784 1131185404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212142 29039 13073 16 0 212126 0 vsize: 848568 [startup+1240.07 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 9975 Raw data (stat): 9961 (java) R 9960 28546 28545 0 -1 0 18096 3 1 0 120838 46 0 0 25 0 11 0 487855903 868933632 29068 4294967295 134512640 134569956 3221224416 3221214472 1131430377 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212142 29068 13073 16 0 212126 0 vsize: 848568 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.13 s] Raw data (loadavg): 1.01 1.00 0.94 1/54 9977 Raw data (stat): 9961 (java) Z 9960 28546 28545 0 -1 1036 18096 15977 1 0 120839 51 4151 44 25 0 1 0 487855903 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): 1250.87 CPU user time (s): 1249.91 CPU system time (s): 0.965853 CPU usage (%): 100.866 Max. virtual memory (Kb): 848952 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####