Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb |
MD5SUM | 5b8ef604a7452dcb7c7d749b75aed566 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -45 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1534 |
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 | 1534 |
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 | 1534 |
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 | 1175.15 |
Number of variables | 1534 |
Total number of constraints | 126163 |
Number of constraints which are clauses | 126163 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-04-13 18:03:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3150 boxname=wulflinc20 idbench=350 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 5b8ef604a7452dcb7c7d749b75aed566 /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-2.opb IDLAUNCH: 3150 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 896468 kB Buffers: 32116 kB Cached: 69968 kB SwapCached: 2636 kB Active: 43784 kB Inactive: 63776 kB HighTotal: 131008 kB HighFree: 57344 kB LowTotal: 903652 kB LowFree: 839124 kB SwapTotal: 2097892 kB SwapFree: 2095256 kB Dirty: 48 kB Writeback: 0 kB Mapped: 6928 kB Slab: 24992 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:25:28 (client local time) WITH STATUS 143 IN SECONDS stats: 3150 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc20/normalized-frb59-26-2.opb c reading problem c [nbvar=1534] c [nbconstr=126163] c time 18.529 c #vars 1534 c #clauses 126163 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=0 c Current CPU time (ms) : 19.047 c starts : 1 c conflicts : 0 c decisions : 1534 c propagations : 1534 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 1 c c CURRENT OPTIMUM=-1 c Current CPU time (ms) : 19.341 c starts : 2 c conflicts : 0 c decisions : 3067 c propagations : 3068 c inspects : 136 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 2 c c CURRENT OPTIMUM=-2 c Current CPU time (ms) : 26.857 c starts : 3 c conflicts : 25 c decisions : 4600 c propagations : 4952 c inspects : 3825 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 25 c root simplifications : 3 c c CURRENT OPTIMUM=-43 c Current CPU time (ms) : 27.384 c starts : 4 c conflicts : 25 c decisions : 4643 c propagations : 6486 c inspects : 10743 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 25 c root simplifications : 4 c c CURRENT OPTIMUM=-44 c Current CPU time (ms) : 27.958 c starts : 5 c conflicts : 26 c decisions : 4687 c propagations : 8025 c inspects : 18224 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 26 c root simplifications : 5 c c CURRENT OPTIMUM=-45 c Current CPU time (ms) : 141.386 c starts : 7 c conflicts : 267 c decisions : 5106 c propagations : 12972 c inspects : 148168 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 267 c root simplifications : 7 c c CURRENT OPTIMUM=-46 c Current CPU time (ms) : 1185.563 c starts : 12 c conflicts : 1129 c decisions : 6268 c propagations : 26631 c inspects : 1045815 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 1129 c root simplifications : 12 #### 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.93 1.00 0.99 2/54 29121 Raw data (stat): 29121 (runsolver) R 29120 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477960066 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 0 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0002 s] Raw data (loadavg): 1.09 1.03 1.00 2/63 29130 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18003 0 1 0 876 44 0 0 25 0 10 0 477960066 858062848 23123 4294967295 134512640 134569956 3221224416 3221213184 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209488 23124 13073 16 0 209472 0 vsize: 837952 [startup+20.0009 s] Raw data (loadavg): 1.07 1.03 1.00 2/64 29133 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18032 3 1 0 1727 47 0 0 25 0 11 0 477960066 858591232 30302 4294967295 134512640 134569956 3221224416 3221214816 1131355508 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209617 30302 13073 16 0 209601 0 vsize: 838468 [startup+30.0019 s] Raw data (loadavg): 1.21 1.06 1.01 2/64 29136 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18088 3 1 0 2397 49 0 0 25 0 11 0 477960066 866443264 38391 4294967295 134512640 134569956 3221224416 3221214376 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211534 38391 13073 16 0 211518 0 vsize: 846136 [startup+40.0028 s] Raw data (loadavg): 1.18 1.06 1.01 2/64 29136 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18089 3 1 0 3295 49 0 0 25 0 11 0 477960066 866344960 38408 4294967295 134512640 134569956 3221224416 3221214616 1131478311 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 38408 13073 16 0 211494 0 vsize: 846040 [startup+50.0031 s] Raw data (loadavg): 1.15 1.05 1.01 2/64 29136 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18089 3 1 0 4199 49 0 0 25 0 11 0 477960066 866344960 38874 4294967295 134512640 134569956 3221224416 3221214696 1131424211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 38874 13073 16 0 211494 0 vsize: 846040 [startup+60.0043 s] Raw data (loadavg): 1.13 1.05 1.01 2/64 29136 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18089 3 1 0 5098 49 0 0 25 0 11 0 477960066 866344960 39263 4294967295 134512640 134569956 3221224416 3221214284 1078022208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 39263 13073 16 0 211494 0 vsize: 846040 [startup+70.005 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 29136 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18089 3 1 0 6000 49 0 0 25 0 11 0 477960066 866344960 39603 4294967295 134512640 134569956 3221224416 3221214696 1131425047 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 39603 13073 16 0 211494 0 vsize: 846040 [startup+80.0064 s] Raw data (loadavg): 1.09 1.05 1.01 2/64 29136 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18089 3 1 0 6865 50 0 0 25 0 11 0 477960066 866344960 40033 4294967295 134512640 134569956 3221224416 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 40033 13073 16 0 211494 0 vsize: 846040 [startup+90.007 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 29136 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18089 3 1 0 7723 50 0 0 25 0 11 0 477960066 866344960 40824 4294967295 134512640 134569956 3221224416 3221213312 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 40824 13073 16 0 211494 0 vsize: 846040 [startup+100.007 s] Raw data (loadavg): 1.06 1.04 1.01 2/64 29136 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18089 3 1 0 8619 50 0 0 25 0 11 0 477960066 866344960 41320 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 41320 13073 16 0 211494 0 vsize: 846040 [startup+110.008 s] Raw data (loadavg): 1.13 1.06 1.01 2/64 29136 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 9506 50 0 0 24 0 11 0 477960066 866344960 41720 4294967295 134512640 134569956 3221224416 3221214672 1131221824 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 41720 13073 16 0 211494 0 vsize: 846040 [startup+120.009 s] Raw data (loadavg): 1.11 1.06 1.01 2/64 29136 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 10402 51 0 0 25 0 11 0 477960066 866344960 42097 4294967295 134512640 134569956 3221224416 3221213312 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 42098 13073 16 0 211494 0 vsize: 846040 [startup+130.01 s] Raw data (loadavg): 1.09 1.06 1.01 2/64 29136 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 11284 51 0 0 25 0 11 0 477960066 866344960 42617 4294967295 134512640 134569956 3221224416 3221214672 1131221569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 42617 13073 16 0 211494 0 vsize: 846040 [startup+140.01 s] Raw data (loadavg): 1.08 1.05 1.01 2/64 29136 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 12167 52 0 0 25 0 11 0 477960066 866344960 43126 4294967295 134512640 134569956 3221224416 3221214672 1131222377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 43126 13073 16 0 211494 0 vsize: 846040 [startup+150.01 s] Raw data (loadavg): 1.07 1.05 1.01 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 13019 52 0 0 25 0 11 0 477960066 866344960 43401 4294967295 134512640 134569956 3221224416 3221214776 1131385620 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 43401 13073 16 0 211494 0 vsize: 846040 [startup+160.012 s] Raw data (loadavg): 1.06 1.05 1.01 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 13862 52 0 0 25 0 11 0 477960066 866344960 43716 4294967295 134512640 134569956 3221224416 3221214772 1131222810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 43716 13073 16 0 211494 0 vsize: 846040 [startup+170.012 s] Raw data (loadavg): 1.05 1.05 1.01 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 14719 52 0 0 25 0 11 0 477960066 866344960 44031 4294967295 134512640 134569956 3221224416 3221214672 1131222715 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 44031 13073 16 0 211494 0 vsize: 846040 [startup+180.012 s] Raw data (loadavg): 1.04 1.05 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 15573 53 0 0 25 0 11 0 477960066 866344960 44336 4294967295 134512640 134569956 3221224416 3221214600 1131694698 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 44336 13073 16 0 211494 0 vsize: 846040 [startup+190.013 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 16451 53 0 0 25 0 11 0 477960066 866344960 44755 4294967295 134512640 134569956 3221224416 3221214696 1131422769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 44755 13073 16 0 211494 0 vsize: 846040 [startup+200.012 s] Raw data (loadavg): 1.03 1.04 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 17338 54 0 0 25 0 11 0 477960066 866344960 45168 4294967295 134512640 134569956 3221224416 3221214672 1131222538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 45168 13073 16 0 211494 0 vsize: 846040 [startup+210.013 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 18217 54 0 0 25 0 11 0 477960066 866344960 45385 4294967295 134512640 134569956 3221224416 3221214672 1131222031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 45385 13073 16 0 211494 0 vsize: 846040 [startup+220.014 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 29139 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 19097 54 0 0 25 0 11 0 477960066 866344960 45712 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 45712 13073 16 0 211494 0 vsize: 846040 [startup+230.013 s] Raw data (loadavg): 1.02 1.04 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 19975 54 0 0 25 0 11 0 477960066 866344960 45976 4294967295 134512640 134569956 3221224416 3221214672 1131221529 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 45976 13073 16 0 211494 0 vsize: 846040 [startup+240.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 20840 55 0 0 24 0 11 0 477960066 866344960 46285 4294967295 134512640 134569956 3221224416 3221214672 1131222075 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 46285 13073 16 0 211494 0 vsize: 846040 [startup+250.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 21717 55 0 0 25 0 11 0 477960066 866344960 46612 4294967295 134512640 134569956 3221224416 3221214600 1131695695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 46612 13073 16 0 211494 0 vsize: 846040 [startup+260.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 22609 55 0 0 25 0 11 0 477960066 866344960 46870 4294967295 134512640 134569956 3221224416 3221214672 1131221533 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 46870 13073 16 0 211494 0 vsize: 846040 [startup+270.014 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 23481 55 0 0 25 0 11 0 477960066 866344960 47057 4294967295 134512640 134569956 3221224416 3221214712 1131713815 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 47057 13073 16 0 211494 0 vsize: 846040 [startup+280.014 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 24353 55 0 0 25 0 11 0 477960066 866344960 47340 4294967295 134512640 134569956 3221224416 3221214680 1131410312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 47340 13073 16 0 211494 0 vsize: 846040 [startup+290.014 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 25226 55 0 0 24 0 11 0 477960066 866344960 47559 4294967295 134512640 134569956 3221224416 3221214772 1131222810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 47559 13073 16 0 211494 0 vsize: 846040 [startup+300.015 s] Raw data (loadavg): 1.00 1.03 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 26100 56 0 0 25 0 11 0 477960066 866344960 47886 4294967295 134512640 134569956 3221224416 3221214664 1131707988 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 47886 13073 16 0 211494 0 vsize: 846040 [startup+310.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 26987 56 0 0 25 0 11 0 477960066 866344960 48199 4294967295 134512640 134569956 3221224416 3221214648 1131462393 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 48199 13073 16 0 211494 0 vsize: 846040 [startup+320.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 27872 56 0 0 25 0 11 0 477960066 866344960 48387 4294967295 134512640 134569956 3221224416 3221214600 1131695642 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 48387 13073 16 0 211494 0 vsize: 846040 [startup+330.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 28758 56 0 0 25 0 11 0 477960066 866344960 48669 4294967295 134512640 134569956 3221224416 3221213352 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 48669 13073 16 0 211494 0 vsize: 846040 [startup+340.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 29642 56 0 0 25 0 11 0 477960066 866344960 48948 4294967295 134512640 134569956 3221224416 3221214672 1131222167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 48948 13073 16 0 211494 0 vsize: 846040 [startup+350.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 30530 57 0 0 25 0 11 0 477960066 866344960 49325 4294967295 134512640 134569956 3221224416 3221214776 1131385554 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 49325 13073 16 0 211494 0 vsize: 846040 [startup+360.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 31412 57 0 0 25 0 11 0 477960066 866344960 49459 4294967295 134512640 134569956 3221224416 3221214672 1131221587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 49459 13073 16 0 211494 0 vsize: 846040 [startup+370.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 32289 57 0 0 24 0 11 0 477960066 866344960 49771 4294967295 134512640 134569956 3221224416 3221214776 1131385477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 49771 13073 16 0 211494 0 vsize: 846040 [startup+380.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 33170 57 0 0 25 0 11 0 477960066 866344960 50160 4294967295 134512640 134569956 3221224416 3221214672 1131221908 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 50160 13073 16 0 211494 0 vsize: 846040 [startup+390.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 34072 57 0 0 25 0 11 0 477960066 866344960 50322 4294967295 134512640 134569956 3221224416 3221214776 1131384549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 50322 13073 16 0 211494 0 vsize: 846040 [startup+400.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 34981 57 0 0 25 0 11 0 477960066 866344960 50588 4294967295 134512640 134569956 3221224416 3221214776 1131385554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 50588 13073 16 0 211494 0 vsize: 846040 [startup+410.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 35890 58 0 0 24 0 11 0 477960066 866344960 50626 4294967295 134512640 134569956 3221224416 3221214672 1131222270 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 50626 13073 16 0 211494 0 vsize: 846040 [startup+420.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 36783 58 0 0 25 0 11 0 477960066 866344960 50771 4294967295 134512640 134569956 3221224416 3221214776 1131384695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 50771 13073 16 0 211494 0 vsize: 846040 [startup+430.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 37657 58 0 0 25 0 11 0 477960066 866344960 51091 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 51091 13073 16 0 211494 0 vsize: 846040 [startup+440.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 38532 58 0 0 25 0 11 0 477960066 866344960 51477 4294967295 134512640 134569956 3221224416 3221214600 1131695709 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 51477 13073 16 0 211494 0 vsize: 846040 [startup+450.018 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 39416 59 0 0 25 0 11 0 477960066 866344960 51672 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 51672 13073 16 0 211494 0 vsize: 846040 [startup+460.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 40301 59 0 0 25 0 11 0 477960066 866344960 51966 4294967295 134512640 134569956 3221224416 3221214776 1131384695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 51966 13073 16 0 211494 0 vsize: 846040 [startup+470.019 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 41176 59 0 0 25 0 11 0 477960066 866344960 52318 4294967295 134512640 134569956 3221224416 3221214720 1131222776 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 52318 13073 16 0 211494 0 vsize: 846040 [startup+480.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 42053 59 0 0 25 0 11 0 477960066 866344960 52555 4294967295 134512640 134569956 3221224416 3221214672 1131222134 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 52555 13073 16 0 211494 0 vsize: 846040 [startup+490.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 42940 59 0 0 25 0 11 0 477960066 866344960 52856 4294967295 134512640 134569956 3221224416 3221214608 1131258187 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 52856 13073 16 0 211494 0 vsize: 846040 [startup+500.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 43820 59 0 0 25 0 11 0 477960066 866344960 53094 4294967295 134512640 134569956 3221224416 3221214672 1131222377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 53094 13073 16 0 211494 0 vsize: 846040 [startup+510.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 44713 60 0 0 25 0 11 0 477960066 866344960 53403 4294967295 134512640 134569956 3221224416 3221214712 1131713804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 53403 13073 16 0 211494 0 vsize: 846040 [startup+520.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 45629 60 0 0 25 0 11 0 477960066 866344960 53716 4294967295 134512640 134569956 3221224416 3221214632 1131326421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 53716 13073 16 0 211494 0 vsize: 846040 [startup+530.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 46531 60 0 0 25 0 11 0 477960066 866344960 53896 4294967295 134512640 134569956 3221224416 3221214672 1131221537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 53896 13073 16 0 211494 0 vsize: 846040 [startup+540.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 47433 60 0 0 25 0 11 0 477960066 866344960 54067 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 54067 13073 16 0 211494 0 vsize: 846040 [startup+550.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 48318 60 0 0 25 0 11 0 477960066 866344960 54273 4294967295 134512640 134569956 3221224416 3221214696 1131423238 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 54273 13073 16 0 211494 0 vsize: 846040 [startup+560.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 49221 60 0 0 25 0 11 0 477960066 866344960 54582 4294967295 134512640 134569956 3221224416 3221214776 1131384526 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 54582 13073 16 0 211494 0 vsize: 846040 [startup+570.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 50115 60 0 0 25 0 11 0 477960066 866344960 54819 4294967295 134512640 134569956 3221224416 3221214712 1131713815 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 54819 13073 16 0 211494 0 vsize: 846040 [startup+580.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 51011 60 0 0 25 0 11 0 477960066 866344960 55087 4294967295 134512640 134569956 3221224416 3221214672 1131222679 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 55087 13073 16 0 211494 0 vsize: 846040 [startup+590.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 51901 60 0 0 25 0 11 0 477960066 866344960 55294 4294967295 134512640 134569956 3221224416 3221214776 1131385616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 55294 13073 16 0 211494 0 vsize: 846040 [startup+600.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 52801 60 0 0 25 0 11 0 477960066 866344960 55635 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 55635 13073 16 0 211494 0 vsize: 846040 [startup+610.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 53738 60 0 0 25 0 11 0 477960066 866344960 55804 4294967295 134512640 134569956 3221224416 3221214672 1131222352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 55804 13073 16 0 211494 0 vsize: 846040 [startup+620.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 54678 61 0 0 25 0 11 0 477960066 866344960 55836 4294967295 134512640 134569956 3221224416 3221214672 1131221569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 55836 13073 16 0 211494 0 vsize: 846040 [startup+630.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 55591 61 0 0 25 0 11 0 477960066 866344960 55862 4294967295 134512640 134569956 3221224416 3221214776 1131385554 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 55862 13073 16 0 211494 0 vsize: 846040 [startup+640.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 56485 61 0 0 25 0 11 0 477960066 866344960 55908 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 55908 13073 16 0 211494 0 vsize: 846040 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 57378 61 0 0 25 0 11 0 477960066 866344960 56207 4294967295 134512640 134569956 3221224416 3221214672 1131221541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 56207 13073 16 0 211494 0 vsize: 846040 [startup+660.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 58285 61 0 0 25 0 11 0 477960066 866344960 56495 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 56495 13073 16 0 211494 0 vsize: 846040 [startup+670.041 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 59200 61 0 0 25 0 11 0 477960066 866344960 56725 4294967295 134512640 134569956 3221224416 3221214672 1131222286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 56725 13073 16 0 211494 0 vsize: 846040 [startup+680.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 60105 61 0 0 25 0 11 0 477960066 866344960 56868 4294967295 134512640 134569956 3221224416 3221214712 1131713825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 56868 13073 16 0 211494 0 vsize: 846040 [startup+690.041 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 61015 61 0 0 25 0 11 0 477960066 866344960 57012 4294967295 134512640 134569956 3221224416 3221214776 1131384613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 57012 13073 16 0 211494 0 vsize: 846040 [startup+700.04 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 61932 61 0 0 25 0 11 0 477960066 866344960 57287 4294967295 134512640 134569956 3221224416 3221214672 1131222354 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 57287 13073 16 0 211494 0 vsize: 846040 [startup+710.04 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 62851 62 0 0 25 0 11 0 477960066 866344960 57443 4294967295 134512640 134569956 3221224416 3221214600 1131694768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 57443 13073 16 0 211494 0 vsize: 846040 [startup+720.041 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 63767 62 0 0 25 0 11 0 477960066 866344960 57624 4294967295 134512640 134569956 3221224416 3221214608 1131464105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 57624 13073 16 0 211494 0 vsize: 846040 [startup+730.04 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 64669 62 0 0 25 0 11 0 477960066 866344960 57839 4294967295 134512640 134569956 3221224416 3221214776 1131383547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 57839 13073 16 0 211494 0 vsize: 846040 [startup+740.041 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 65587 62 0 0 25 0 11 0 477960066 866344960 58069 4294967295 134512640 134569956 3221224416 3221214440 1078033055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 58069 13073 16 0 211494 0 vsize: 846040 [startup+750.041 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 66499 62 0 0 25 0 11 0 477960066 866344960 58238 4294967295 134512640 134569956 3221224416 3221214672 1131222797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 58238 13073 16 0 211494 0 vsize: 846040 [startup+760.042 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 67413 62 0 0 25 0 11 0 477960066 866344960 58414 4294967295 134512640 134569956 3221224416 3221214776 1131385595 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 58414 13073 16 0 211494 0 vsize: 846040 [startup+770.046 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 68325 62 0 0 25 0 11 0 477960066 866344960 58599 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 58599 13073 16 0 211494 0 vsize: 846040 [startup+780.046 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 69240 62 0 0 25 0 11 0 477960066 866344960 58896 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 58896 13073 16 0 211494 0 vsize: 846040 [startup+790.047 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 70167 62 0 0 25 0 11 0 477960066 866344960 59044 4294967295 134512640 134569956 3221224416 3221214672 1131221587 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 59044 13073 16 0 211494 0 vsize: 846040 [startup+800.047 s] Raw data (loadavg): 1.01 1.01 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 71079 62 0 0 25 0 11 0 477960066 866344960 59205 4294967295 134512640 134569956 3221224416 3221214672 1131221569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 59205 13073 16 0 211494 0 vsize: 846040 [startup+810.047 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 71991 62 0 0 25 0 11 0 477960066 866344960 59313 4294967295 134512640 134569956 3221224416 3221214672 1131221537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 59313 13073 16 0 211494 0 vsize: 846040 [startup+820.047 s] Raw data (loadavg): 1.01 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 72903 62 0 0 25 0 11 0 477960066 866344960 59574 4294967295 134512640 134569956 3221224416 3221214672 1131222075 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 59574 13073 16 0 211494 0 vsize: 846040 [startup+830.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 73819 62 0 0 25 0 11 0 477960066 866344960 59741 4294967295 134512640 134569956 3221224416 3221214672 1131222694 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 59741 13073 16 0 211494 0 vsize: 846040 [startup+840.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 74746 62 0 0 25 0 11 0 477960066 866344960 59977 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 59977 13073 16 0 211494 0 vsize: 846040 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 75678 62 0 0 25 0 11 0 477960066 866344960 60179 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 60179 13073 16 0 211494 0 vsize: 846040 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 76604 62 0 0 25 0 11 0 477960066 866344960 60306 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 60306 13073 16 0 211494 0 vsize: 846040 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 77515 62 0 0 25 0 11 0 477960066 866344960 60370 4294967295 134512640 134569956 3221224416 3221214776 1131384675 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 60370 13073 16 0 211494 0 vsize: 846040 [startup+880.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 78433 63 0 0 25 0 11 0 477960066 866344960 60721 4294967295 134512640 134569956 3221224416 3221214824 1131413293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 60721 13073 16 0 211494 0 vsize: 846040 [startup+890.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 79365 63 0 0 25 0 11 0 477960066 866344960 60902 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211510 60902 13073 16 0 211494 0 vsize: 846040 [startup+900.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 80296 63 0 0 25 0 11 0 477960066 866344960 60982 4294967295 134512640 134569956 3221224416 3221214672 1131222167 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 60982 13073 16 0 211494 0 vsize: 846040 [startup+910.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 81220 63 0 0 25 0 11 0 477960066 866344960 61124 4294967295 134512640 134569956 3221224416 3221214672 1131221818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 61124 13073 16 0 211494 0 vsize: 846040 [startup+920.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 82137 63 0 0 24 0 11 0 477960066 866344960 61303 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 61303 13073 16 0 211494 0 vsize: 846040 [startup+930.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 83066 64 0 0 25 0 11 0 477960066 866344960 61487 4294967295 134512640 134569956 3221224416 3221214600 1131694461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 61487 13073 16 0 211494 0 vsize: 846040 [startup+940.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 84006 64 0 0 25 0 11 0 477960066 866344960 61704 4294967295 134512640 134569956 3221224416 3221214824 1131413176 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 61704 13073 16 0 211494 0 vsize: 846040 [startup+950.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 84948 64 0 0 25 0 11 0 477960066 866344960 61812 4294967295 134512640 134569956 3221224416 3221214672 1131222075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 61812 13073 16 0 211494 0 vsize: 846040 [startup+960.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 85887 65 0 0 25 0 11 0 477960066 866344960 61965 4294967295 134512640 134569956 3221224416 3221214608 1131465473 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 61965 13073 16 0 211494 0 vsize: 846040 [startup+970.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 86829 65 0 0 25 0 11 0 477960066 866344960 62035 4294967295 134512640 134569956 3221224416 3221214672 1131222058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 62035 13073 16 0 211494 0 vsize: 846040 [startup+980.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 87774 65 0 0 24 0 11 0 477960066 866344960 62220 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 62220 13073 16 0 211494 0 vsize: 846040 [startup+990.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 88724 65 0 0 25 0 11 0 477960066 866344960 62324 4294967295 134512640 134569956 3221224416 3221214772 1131222810 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 62324 13073 16 0 211494 0 vsize: 846040 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 89674 65 0 0 25 0 11 0 477960066 866344960 62481 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 62481 13073 16 0 211494 0 vsize: 846040 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 90622 66 0 0 25 0 11 0 477960066 866344960 62540 4294967295 134512640 134569956 3221224416 3221214672 1131222274 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 62540 13073 16 0 211494 0 vsize: 846040 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 91562 66 0 0 25 0 11 0 477960066 866344960 62608 4294967295 134512640 134569956 3221224416 3221214672 1131221965 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 62608 13073 16 0 211494 0 vsize: 846040 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 92498 67 0 0 25 0 11 0 477960066 866344960 62753 4294967295 134512640 134569956 3221224416 3221214672 1131221533 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 62753 13073 16 0 211494 0 vsize: 846040 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 93436 67 0 0 24 0 11 0 477960066 866344960 62846 4294967295 134512640 134569956 3221224416 3221214776 1131384675 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 62846 13073 16 0 211494 0 vsize: 846040 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 94369 67 0 0 25 0 11 0 477960066 866344960 62993 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 62993 13073 16 0 211494 0 vsize: 846040 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 95286 67 0 0 25 0 11 0 477960066 866344960 63143 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 63143 13073 16 0 211494 0 vsize: 846040 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 96188 67 0 0 25 0 11 0 477960066 866344960 63170 4294967295 134512640 134569956 3221224416 3221214672 1131222186 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 63170 13073 16 0 211494 0 vsize: 846040 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 97090 67 0 0 25 0 11 0 477960066 866344960 63433 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 63433 13073 16 0 211494 0 vsize: 846040 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 98016 68 0 0 25 0 11 0 477960066 866344960 63702 4294967295 134512640 134569956 3221224416 3221214672 1131222538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 63702 13073 16 0 211494 0 vsize: 846040 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 98934 69 0 0 25 0 11 0 477960066 866344960 63919 4294967295 134512640 134569956 3221224416 3221214672 1131222570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 63919 13073 16 0 211494 0 vsize: 846040 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 99818 69 0 0 25 0 11 0 477960066 866344960 64066 4294967295 134512640 134569956 3221224416 3221214776 1131384593 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 64066 13073 16 0 211494 0 vsize: 846040 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 100716 69 0 0 25 0 11 0 477960066 866344960 64204 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 64204 13073 16 0 211494 0 vsize: 846040 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 101641 70 0 0 25 0 11 0 477960066 866344960 64490 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 64490 13073 16 0 211494 0 vsize: 846040 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 102604 70 0 0 25 0 11 0 477960066 866344960 64548 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 64548 13073 16 0 211494 0 vsize: 846040 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 103558 71 0 0 25 0 11 0 477960066 866344960 64582 4294967295 134512640 134569956 3221224416 3221214008 1077101249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 64582 13073 16 0 211494 0 vsize: 846040 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 104482 71 0 0 25 0 11 0 477960066 866344960 64603 4294967295 134512640 134569956 3221224416 3221214608 1131464555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 64603 13073 16 0 211494 0 vsize: 846040 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 105395 71 0 0 25 0 11 0 477960066 866344960 64640 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 64640 13073 16 0 211494 0 vsize: 846040 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29139 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 106292 71 0 0 25 0 11 0 477960066 866344960 64792 4294967295 134512640 134569956 3221224416 3221214824 1131413158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 64792 13073 16 0 211494 0 vsize: 846040 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29140 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 107167 72 0 0 25 0 11 0 477960066 866344960 64999 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 64999 13073 16 0 211494 0 vsize: 846040 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 108031 73 0 0 25 0 11 0 477960066 866344960 65196 4294967295 134512640 134569956 3221224416 3221214776 1131384579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 65196 13073 16 0 211494 0 vsize: 846040 [startup+1210.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29140 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 108907 73 0 0 25 0 11 0 477960066 866344960 65432 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 65432 13073 16 0 211494 0 vsize: 846040 [startup+1220.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 109822 73 0 0 25 0 11 0 477960066 866344960 65793 4294967295 134512640 134569956 3221224416 3221214672 1131221808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 65793 13073 16 0 211494 0 vsize: 846040 [startup+1230.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 110786 74 0 0 25 0 11 0 477960066 866344960 65832 4294967295 134512640 134569956 3221224416 3221214672 1131221899 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 65832 13073 16 0 211494 0 vsize: 846040 [startup+1240.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 111755 74 0 0 25 0 11 0 477960066 866344960 65864 4294967295 134512640 134569956 3221224416 3221214672 1131222021 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 65864 13073 16 0 211494 0 vsize: 846040 [startup+1250.06 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 112714 74 0 0 25 0 11 0 477960066 866344960 65888 4294967295 134512640 134569956 3221224416 3221214776 1131384615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 65888 13073 16 0 211494 0 vsize: 846040 [startup+1260.07 s] Raw data (loadavg): 1.08 1.02 1.01 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 113653 74 0 0 25 0 11 0 477960066 866344960 65911 4294967295 134512640 134569956 3221224416 3221214672 1131222310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 65911 13073 16 0 211494 0 vsize: 846040 [startup+1270.07 s] Raw data (loadavg): 1.07 1.02 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 114570 75 0 0 25 0 11 0 477960066 866344960 65934 4294967295 134512640 134569956 3221224416 3221214672 1131221569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 65934 13073 16 0 211494 0 vsize: 846040 [startup+1280.07 s] Raw data (loadavg): 1.06 1.01 1.00 2/64 29140 Raw data (stat): 29121 (java) S 29120 27565 27564 0 -1 0 18090 3 1 0 115469 75 0 0 25 0 11 0 477960066 866344960 66093 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 66093 13073 16 0 211494 0 vsize: 846040 [startup+1290.07 s] Raw data (loadavg): 1.05 1.01 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 116369 75 0 0 25 0 11 0 477960066 866344960 66261 4294967295 134512640 134569956 3221224416 3221214672 1131222115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 66261 13073 16 0 211494 0 vsize: 846040 [startup+1300.07 s] Raw data (loadavg): 1.04 1.01 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 117272 76 0 0 25 0 11 0 477960066 866344960 66525 4294967295 134512640 134569956 3221224416 3221214776 1131384581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 66525 13073 16 0 211494 0 vsize: 846040 [startup+1310.07 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 118178 76 0 0 25 0 11 0 477960066 866344960 66757 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 66757 13073 16 0 211494 0 vsize: 846040 [startup+1320.07 s] Raw data (loadavg): 1.03 1.01 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 119085 76 0 0 25 0 11 0 477960066 866344960 66941 4294967295 134512640 134569956 3221224416 3221214776 1131384650 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 66941 13073 16 0 211494 0 vsize: 846040 [startup+1330.07 s] Raw data (loadavg): 1.02 1.01 1.00 2/64 29140 Raw data (stat): 29121 (java) R 29120 27565 27564 0 -1 0 18090 3 1 0 120007 76 0 0 25 0 11 0 477960066 866344960 67116 4294967295 134512640 134569956 3221224416 3221214672 1131222708 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211510 67116 13073 16 0 211494 0 vsize: 846040 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1330.23 s] Raw data (loadavg): 1.02 1.01 1.00 1/54 29142 Raw data (stat): 29121 (java) Z 29120 27565 27564 0 -1 1036 18090 54440 1 0 120011 89 14211 126 25 0 1 0 477960066 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): 1330.23 CPU time (s): 1344.38 CPU user time (s): 1342.22 CPU system time (s): 2.15367 CPU usage (%): 101.063 Max. virtual memory (Kb): 846136 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####