Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ss97-6.opb |
MD5SUM | 5d90b7cbb5bac2aa14257b9c5448f25d |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 304 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 173 |
Biggest coefficient in the objective function | 100 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 8448 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 100 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 8448 |
Number of bits of the biggest sum of numbers | 14 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.05184 |
Number of variables | 257 |
Total number of constraints | 353 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 353 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 44 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc32 THE 2005-04-13 18:06:11 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3204 boxname=wulflinc32 idbench=356 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 5d90b7cbb5bac2aa14257b9c5448f25d /oldhome/oroussel/tmp/wulflinc32/normalized-ss97-6.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc32/normalized-ss97-6.opb IDLAUNCH: 3204 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.085 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.085 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: 1034724 kB MemFree: 755668 kB Buffers: 32768 kB Cached: 135000 kB SwapCached: 1212 kB Active: 135556 kB Inactive: 112460 kB HighTotal: 131072 kB HighFree: 672 kB LowTotal: 903652 kB LowFree: 754996 kB SwapTotal: 2097892 kB SwapFree: 2096680 kB Dirty: 2244 kB Writeback: 0 kB Mapped: 81768 kB Slab: 25140 kB Committed_AS: 173988 kB PageTables: 432 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 18:26:33 (client local time) WITH STATUS 143 IN SECONDS stats: 3204 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc32/normalized-ss97-6.opb c reading problem c [nbvar=257] c [nbconstr=353] c time 0.909 c #vars 257 c #clauses 181 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=2042 c Current CPU time (ms) : 1.151 c starts : 1 c conflicts : 0 c decisions : 147 c propagations : 257 c inspects : 363 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=1941 c Current CPU time (ms) : 6.246 c starts : 2 c conflicts : 18 c decisions : 365 c propagations : 781 c inspects : 920 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 18 c root simplifications : 2 c c CURRENT OPTIMUM=1422 c Current CPU time (ms) : 6.403 c starts : 3 c conflicts : 18 c decisions : 477 c propagations : 1037 c inspects : 1435 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 18 c root simplifications : 3 c c CURRENT OPTIMUM=1418 c Current CPU time (ms) : 7.216 c starts : 4 c conflicts : 32 c decisions : 634 c propagations : 1499 c inspects : 2254 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 32 c root simplifications : 4 c c CURRENT OPTIMUM=305 c Current CPU time (ms) : 7.467 c starts : 5 c conflicts : 32 c decisions : 734 c propagations : 1755 c inspects : 2787 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 32 c root simplifications : 5 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.98 0.99 2/53 10060 Raw data (stat): 10060 (runsolver) R 10059 7987 7986 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477973832 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0011 s] Raw data (loadavg): 1.09 1.02 1.01 4/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18108 4 1 0 550 43 0 0 25 0 11 0 477973832 866140160 21234 4294967295 134512640 134569956 3221224416 3221214704 1131164918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211460 21234 13073 16 0 211444 0 vsize: 845840 [startup+20.0028 s] Raw data (loadavg): 1.22 1.05 1.02 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18108 4 1 0 1484 43 0 0 25 0 11 0 477973832 863784960 21080 4294967295 134512640 134569956 3221224416 3221214704 1131165475 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210885 21080 13073 16 0 210869 0 vsize: 843540 [startup+30.0046 s] Raw data (loadavg): 1.19 1.05 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18108 4 1 0 2463 44 0 0 25 0 11 0 477973832 863592448 21121 4294967295 134512640 134569956 3221224416 3221214704 1131164918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21121 13073 16 0 210822 0 vsize: 843352 [startup+40.0054 s] Raw data (loadavg): 1.16 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18108 4 1 0 3441 44 0 0 25 0 11 0 477973832 863592448 21295 4294967295 134512640 134569956 3221224416 3221214800 1131185806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21295 13073 16 0 210822 0 vsize: 843352 [startup+50.0072 s] Raw data (loadavg): 1.13 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 4430 44 0 0 25 0 11 0 477973832 863592448 21310 4294967295 134512640 134569956 3221224416 3221214704 1131164609 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21310 13073 16 0 210822 0 vsize: 843352 [startup+60.0079 s] Raw data (loadavg): 1.11 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 5418 45 0 0 25 0 11 0 477973832 863592448 21354 4294967295 134512640 134569956 3221224416 3221214800 1131182054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21354 13073 16 0 210822 0 vsize: 843352 [startup+70.0097 s] Raw data (loadavg): 1.10 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 6409 46 0 0 25 0 11 0 477973832 863592448 21397 4294967295 134512640 134569956 3221224416 3221214800 1131185840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21397 13073 16 0 210822 0 vsize: 843352 [startup+80.0115 s] Raw data (loadavg): 1.08 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 7397 46 0 0 25 0 11 0 477973832 863592448 21459 4294967295 134512640 134569956 3221224416 3221214704 1131165404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21459 13073 16 0 210822 0 vsize: 843352 [startup+90.0122 s] Raw data (loadavg): 1.07 1.03 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 8385 46 0 0 25 0 11 0 477973832 863592448 21509 4294967295 134512640 134569956 3221224416 3221214800 1131185846 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21509 13073 16 0 210822 0 vsize: 843352 [startup+100.014 s] Raw data (loadavg): 1.06 1.03 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 9372 47 0 0 24 0 11 0 477973832 863592448 21554 4294967295 134512640 134569956 3221224416 3221214800 1131186583 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21554 13073 16 0 210822 0 vsize: 843352 [startup+110.015 s] Raw data (loadavg): 1.05 1.03 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 10359 47 0 0 25 0 11 0 477973832 863592448 21621 4294967295 134512640 134569956 3221224416 3221214752 1131219773 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21621 13073 16 0 210822 0 vsize: 843352 [startup+120.016 s] Raw data (loadavg): 1.04 1.03 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 11347 47 0 0 25 0 11 0 477973832 863592448 21681 4294967295 134512640 134569956 3221224416 3221214704 1131164918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21681 13073 16 0 210822 0 vsize: 843352 [startup+130.018 s] Raw data (loadavg): 1.10 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 12335 48 0 0 25 0 11 0 477973832 863592448 21755 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21755 13073 16 0 210822 0 vsize: 843352 [startup+140.019 s] Raw data (loadavg): 1.08 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 13325 49 0 0 25 0 11 0 477973832 863592448 21819 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21819 13073 16 0 210822 0 vsize: 843352 [startup+150.021 s] Raw data (loadavg): 1.07 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 14315 49 0 0 25 0 11 0 477973832 863592448 21880 4294967295 134512640 134569956 3221224416 3221214336 1131484177 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21880 13073 16 0 210822 0 vsize: 843352 [startup+160.022 s] Raw data (loadavg): 1.06 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 15304 49 0 0 25 0 11 0 477973832 863592448 21939 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21939 13073 16 0 210822 0 vsize: 843352 [startup+170.023 s] Raw data (loadavg): 1.05 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 16294 49 0 0 25 0 11 0 477973832 863592448 21987 4294967295 134512640 134569956 3221224416 3221214704 1131165457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 21987 13073 16 0 210822 0 vsize: 843352 [startup+180.024 s] Raw data (loadavg): 1.04 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 17284 50 0 0 25 0 11 0 477973832 863592448 22039 4294967295 134512640 134569956 3221224416 3221214704 1131164767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 22039 13073 16 0 210822 0 vsize: 843352 [startup+190.025 s] Raw data (loadavg): 1.03 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 18274 50 0 0 25 0 11 0 477973832 863592448 22093 4294967295 134512640 134569956 3221224416 3221214704 1131165535 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22093 13073 16 0 210822 0 vsize: 843352 [startup+200.026 s] Raw data (loadavg): 1.03 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 19264 50 0 0 25 0 11 0 477973832 863592448 22139 4294967295 134512640 134569956 3221224416 3221214704 1131165174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 22139 13073 16 0 210822 0 vsize: 843352 [startup+210.026 s] Raw data (loadavg): 1.02 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 20255 50 0 0 25 0 11 0 477973832 863592448 22187 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22187 13073 16 0 210822 0 vsize: 843352 [startup+220.028 s] Raw data (loadavg): 1.10 1.04 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 21246 50 0 0 25 0 11 0 477973832 863592448 22235 4294967295 134512640 134569956 3221224416 3221214704 1131165189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22235 13073 16 0 210822 0 vsize: 843352 [startup+230.029 s] Raw data (loadavg): 1.08 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 22235 51 0 0 25 0 11 0 477973832 863592448 22289 4294967295 134512640 134569956 3221224416 3221214704 1131164677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22289 13073 16 0 210822 0 vsize: 843352 [startup+240.03 s] Raw data (loadavg): 1.07 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 23226 51 0 0 25 0 11 0 477973832 863592448 22348 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22348 13073 16 0 210822 0 vsize: 843352 [startup+250.031 s] Raw data (loadavg): 1.14 1.05 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 24217 51 0 0 25 0 11 0 477973832 863592448 22393 4294967295 134512640 134569956 3221224416 3221214800 1131185806 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22393 13073 16 0 210822 0 vsize: 843352 [startup+260.032 s] Raw data (loadavg): 1.12 1.05 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 25209 51 0 0 25 0 11 0 477973832 863592448 22443 4294967295 134512640 134569956 3221224416 3221214908 1131209267 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22443 13073 16 0 210822 0 vsize: 843352 [startup+270.034 s] Raw data (loadavg): 1.10 1.05 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 26201 51 0 0 25 0 11 0 477973832 863592448 22490 4294967295 134512640 134569956 3221224416 3221214704 1131164695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22490 13073 16 0 210822 0 vsize: 843352 [startup+280.034 s] Raw data (loadavg): 1.08 1.05 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 27192 51 0 0 25 0 11 0 477973832 863592448 22526 4294967295 134512640 134569956 3221224416 3221214704 1131164705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22526 13073 16 0 210822 0 vsize: 843352 [startup+290.035 s] Raw data (loadavg): 1.07 1.05 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 28185 51 0 0 25 0 11 0 477973832 863592448 22566 4294967295 134512640 134569956 3221224416 3221214800 1131182933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22566 13073 16 0 210822 0 vsize: 843352 [startup+300.037 s] Raw data (loadavg): 1.06 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 29175 51 0 0 25 0 11 0 477973832 863592448 22609 4294967295 134512640 134569956 3221224416 3221214800 1131181006 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22609 13073 16 0 210822 0 vsize: 843352 [startup+310.038 s] Raw data (loadavg): 1.12 1.06 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 30166 51 0 0 25 0 11 0 477973832 863592448 22647 4294967295 134512640 134569956 3221224416 3221214800 1131180999 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22647 13073 16 0 210822 0 vsize: 843352 [startup+320.04 s] Raw data (loadavg): 1.10 1.06 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 31154 51 0 0 25 0 11 0 477973832 863592448 22699 4294967295 134512640 134569956 3221224416 3221214704 1131165580 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22699 13073 16 0 210822 0 vsize: 843352 [startup+330.04 s] Raw data (loadavg): 1.09 1.05 1.01 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 32139 51 0 0 24 0 11 0 477973832 863592448 22753 4294967295 134512640 134569956 3221224416 3221214704 1131164901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22753 13073 16 0 210822 0 vsize: 843352 [startup+340.041 s] Raw data (loadavg): 1.07 1.05 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 33124 51 0 0 25 0 11 0 477973832 863592448 22861 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22861 13073 16 0 210822 0 vsize: 843352 [startup+350.043 s] Raw data (loadavg): 1.06 1.05 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 34109 51 0 0 25 0 11 0 477973832 863592448 22975 4294967295 134512640 134569956 3221224416 3221214704 1131165528 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 22975 13073 16 0 210822 0 vsize: 843352 [startup+360.044 s] Raw data (loadavg): 1.05 1.05 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 35094 51 0 0 25 0 11 0 477973832 863592448 23071 4294967295 134512640 134569956 3221224416 3221214704 1131164651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23071 13073 16 0 210822 0 vsize: 843352 [startup+370.046 s] Raw data (loadavg): 1.04 1.05 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 36081 51 0 0 24 0 11 0 477973832 863592448 23179 4294967295 134512640 134569956 3221224416 3221214800 1131182195 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23179 13073 16 0 210822 0 vsize: 843352 [startup+380.046 s] Raw data (loadavg): 1.04 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 37069 52 0 0 25 0 11 0 477973832 863592448 23267 4294967295 134512640 134569956 3221224416 3221214704 1131165197 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23267 13073 16 0 210822 0 vsize: 843352 [startup+390.047 s] Raw data (loadavg): 1.03 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 38058 52 0 0 25 0 11 0 477973832 863592448 23344 4294967295 134512640 134569956 3221224416 3221214800 1131180999 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23344 13073 16 0 210822 0 vsize: 843352 [startup+400.049 s] Raw data (loadavg): 1.02 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 39047 52 0 0 25 0 11 0 477973832 863592448 23413 4294967295 134512640 134569956 3221224416 3221214704 1131165358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23413 13073 16 0 210822 0 vsize: 843352 [startup+410.05 s] Raw data (loadavg): 1.02 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 40035 52 0 0 25 0 11 0 477973832 863592448 23484 4294967295 134512640 134569956 3221224416 3221214704 1131164556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23484 13073 16 0 210822 0 vsize: 843352 [startup+420.051 s] Raw data (loadavg): 1.02 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 41025 52 0 0 25 0 11 0 477973832 863592448 23543 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23543 13073 16 0 210822 0 vsize: 843352 [startup+430.053 s] Raw data (loadavg): 1.09 1.05 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 42014 52 0 0 25 0 11 0 477973832 863592448 23607 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23607 13073 16 0 210822 0 vsize: 843352 [startup+440.054 s] Raw data (loadavg): 1.07 1.05 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 43002 52 0 0 25 0 11 0 477973832 863592448 23678 4294967295 134512640 134569956 3221224416 3221214704 1131164545 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23678 13073 16 0 210822 0 vsize: 843352 [startup+450.056 s] Raw data (loadavg): 1.06 1.05 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 43991 52 0 0 25 0 11 0 477973832 863592448 23746 4294967295 134512640 134569956 3221224416 3221214704 1131164651 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23746 13073 16 0 210822 0 vsize: 843352 [startup+460.056 s] Raw data (loadavg): 1.05 1.05 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 44981 52 0 0 25 0 11 0 477973832 863592448 23798 4294967295 134512640 134569956 3221224416 3221214704 1131164556 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23798 13073 16 0 210822 0 vsize: 843352 [startup+470.058 s] Raw data (loadavg): 1.04 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 45970 52 0 0 25 0 11 0 477973832 863592448 23866 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23866 13073 16 0 210822 0 vsize: 843352 [startup+480.059 s] Raw data (loadavg): 1.04 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 46958 52 0 0 25 0 11 0 477973832 863592448 23924 4294967295 134512640 134569956 3221224416 3221214796 1131383360 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23924 13073 16 0 210822 0 vsize: 843352 [startup+490.06 s] Raw data (loadavg): 1.03 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 47948 52 0 0 25 0 11 0 477973832 863592448 23986 4294967295 134512640 134569956 3221224416 3221214864 1131472603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 23986 13073 16 0 210822 0 vsize: 843352 [startup+500.06 s] Raw data (loadavg): 1.02 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 48938 52 0 0 25 0 11 0 477973832 863592448 24043 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24043 13073 16 0 210822 0 vsize: 843352 [startup+510.061 s] Raw data (loadavg): 1.02 1.04 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 49927 52 0 0 25 0 11 0 477973832 863592448 24104 4294967295 134512640 134569956 3221224416 3221214704 1131165505 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24104 13073 16 0 210822 0 vsize: 843352 [startup+520.063 s] Raw data (loadavg): 1.02 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 50916 52 0 0 25 0 11 0 477973832 863592448 24162 4294967295 134512640 134569956 3221224416 3221214704 1131164624 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24162 13073 16 0 210822 0 vsize: 843352 [startup+530.064 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 51905 53 0 0 25 0 11 0 477973832 863592448 24223 4294967295 134512640 134569956 3221224416 3221214800 1131180981 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24223 13073 16 0 210822 0 vsize: 843352 [startup+540.064 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 52894 53 0 0 25 0 11 0 477973832 863592448 24279 4294967295 134512640 134569956 3221224416 3221214704 1131165480 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24279 13073 16 0 210822 0 vsize: 843352 [startup+550.066 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 53883 53 0 0 25 0 11 0 477973832 863592448 24347 4294967295 134512640 134569956 3221224416 3221214800 1131186682 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24347 13073 16 0 210822 0 vsize: 843352 [startup+560.067 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 54872 53 0 0 25 0 11 0 477973832 863592448 24396 4294967295 134512640 134569956 3221224416 3221214704 1131164918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24396 13073 16 0 210822 0 vsize: 843352 [startup+570.069 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 55862 53 0 0 25 0 11 0 477973832 863592448 24447 4294967295 134512640 134569956 3221224416 3221214704 1131165412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24447 13073 16 0 210822 0 vsize: 843352 [startup+580.069 s] Raw data (loadavg): 1.00 1.03 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 56850 53 0 0 24 0 11 0 477973832 863592448 24514 4294967295 134512640 134569956 3221224416 3221214704 1131164579 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24514 13073 16 0 210822 0 vsize: 843352 [startup+590.07 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 57839 53 0 0 25 0 11 0 477973832 863592448 24563 4294967295 134512640 134569956 3221224416 3221214704 1131165412 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24563 13073 16 0 210822 0 vsize: 843352 [startup+600.072 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 58829 53 0 0 25 0 11 0 477973832 863592448 24613 4294967295 134512640 134569956 3221224416 3221214800 1131185696 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24613 13073 16 0 210822 0 vsize: 843352 [startup+610.074 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 59818 53 0 0 25 0 11 0 477973832 863592448 24668 4294967295 134512640 134569956 3221224416 3221214704 1131164918 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24668 13073 16 0 210822 0 vsize: 843352 [startup+620.076 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 60807 53 0 0 25 0 11 0 477973832 863592448 24729 4294967295 134512640 134569956 3221224416 3221214704 1131164574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24729 13073 16 0 210822 0 vsize: 843352 [startup+630.076 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 61797 53 0 0 25 0 11 0 477973832 863592448 24777 4294967295 134512640 134569956 3221224416 3221214704 1131164972 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24777 13073 16 0 210822 0 vsize: 843352 [startup+640.077 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 62786 53 0 0 25 0 11 0 477973832 863592448 24825 4294967295 134512640 134569956 3221224416 3221214704 1131164631 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24825 13073 16 0 210822 0 vsize: 843352 [startup+650.079 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 63775 53 0 0 25 0 11 0 477973832 863592448 24882 4294967295 134512640 134569956 3221224416 3221214800 1131182024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24882 13073 16 0 210822 0 vsize: 843352 [startup+660.08 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 64765 53 0 0 25 0 11 0 477973832 863592448 24931 4294967295 134512640 134569956 3221224416 3221214704 1131165189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24931 13073 16 0 210822 0 vsize: 843352 [startup+670.081 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 65755 54 0 0 25 0 11 0 477973832 863592448 24979 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 24979 13073 16 0 210822 0 vsize: 843352 [startup+680.082 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 66743 54 0 0 25 0 11 0 477973832 863592448 25040 4294967295 134512640 134569956 3221224416 3221214800 1131182024 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 25040 13073 16 0 210822 0 vsize: 843352 [startup+690.083 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 67732 54 0 0 25 0 11 0 477973832 863592448 25088 4294967295 134512640 134569956 3221224416 3221214800 1131185840 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 25088 13073 16 0 210822 0 vsize: 843352 [startup+700.085 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 68722 54 0 0 25 0 11 0 477973832 863592448 25135 4294967295 134512640 134569956 3221224416 3221214248 1085679372 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210838 25135 13073 16 0 210822 0 vsize: 843352 [startup+710.086 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 69710 54 0 0 25 0 11 0 477973832 863592448 25183 4294967295 134512640 134569956 3221224416 3221214704 1131164556 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25183 13073 16 0 210822 0 vsize: 843352 [startup+720.087 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 70698 54 0 0 25 0 11 0 477973832 863592448 25232 4294967295 134512640 134569956 3221224416 3221214704 1131164545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25232 13073 16 0 210822 0 vsize: 843352 [startup+730.089 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 71686 55 0 0 25 0 11 0 477973832 863592448 25280 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25280 13073 16 0 210822 0 vsize: 843352 [startup+740.09 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 72674 55 0 0 25 0 11 0 477973832 863592448 25331 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25331 13073 16 0 210822 0 vsize: 843352 [startup+750.092 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 73664 55 0 0 25 0 11 0 477973832 863592448 25379 4294967295 134512640 134569956 3221224416 3221214704 1131164605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25379 13073 16 0 210822 0 vsize: 843352 [startup+760.092 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 74651 56 0 0 25 0 11 0 477973832 863592448 25429 4294967295 134512640 134569956 3221224416 3221214704 1131164767 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25429 13073 16 0 210822 0 vsize: 843352 [startup+770.094 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 75640 56 0 0 25 0 11 0 477973832 863592448 25478 4294967295 134512640 134569956 3221224416 3221214704 1131164918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25478 13073 16 0 210822 0 vsize: 843352 [startup+780.095 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 76628 56 0 0 25 0 11 0 477973832 863592448 25525 4294967295 134512640 134569956 3221224416 3221214704 1131165009 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25525 13073 16 0 210822 0 vsize: 843352 [startup+790.096 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 77615 57 0 0 25 0 11 0 477973832 863592448 25575 4294967295 134512640 134569956 3221224416 3221214800 1131181006 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25575 13073 16 0 210822 0 vsize: 843352 [startup+800.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 78603 57 0 0 25 0 11 0 477973832 863592448 25622 4294967295 134512640 134569956 3221224416 3221214704 1131164879 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25622 13073 16 0 210822 0 vsize: 843352 [startup+810.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 79590 58 0 0 25 0 11 0 477973832 863592448 25683 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25683 13073 16 0 210822 0 vsize: 843352 [startup+820.1 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 80578 58 0 0 25 0 11 0 477973832 863592448 25728 4294967295 134512640 134569956 3221224416 3221214800 1131181806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25728 13073 16 0 210822 0 vsize: 843352 [startup+830.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 81566 59 0 0 25 0 11 0 477973832 863592448 25788 4294967295 134512640 134569956 3221224416 3221214800 1131186805 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25788 13073 16 0 210822 0 vsize: 843352 [startup+840.101 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 82553 59 0 0 25 0 11 0 477973832 863592448 25849 4294967295 134512640 134569956 3221224416 3221214800 1131185840 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25849 13073 16 0 210822 0 vsize: 843352 [startup+850.103 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 83541 60 0 0 25 0 11 0 477973832 863592448 25910 4294967295 134512640 134569956 3221224416 3221214752 1131409739 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25910 13073 16 0 210822 0 vsize: 843352 [startup+860.104 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 84529 60 0 0 25 0 11 0 477973832 863592448 25946 4294967295 134512640 134569956 3221224416 3221214704 1131164631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 25946 13073 16 0 210822 0 vsize: 843352 [startup+870.106 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 85517 61 0 0 25 0 11 0 477973832 863592448 26006 4294967295 134512640 134569956 3221224416 3221214704 1131164759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26006 13073 16 0 210822 0 vsize: 843352 [startup+880.107 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 86506 61 0 0 25 0 11 0 477973832 863592448 26053 4294967295 134512640 134569956 3221224416 3221214704 1131165215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26053 13073 16 0 210822 0 vsize: 843352 [startup+890.107 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 87493 62 0 0 25 0 11 0 477973832 863592448 26102 4294967295 134512640 134569956 3221224416 3221214704 1131165537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26102 13073 16 0 210822 0 vsize: 843352 [startup+900.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 88482 62 0 0 25 0 11 0 477973832 863592448 26143 4294967295 134512640 134569956 3221224416 3221214800 1131182993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26143 13073 16 0 210822 0 vsize: 843352 [startup+910.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 89471 62 0 0 25 0 11 0 477973832 863592448 26189 4294967295 134512640 134569956 3221224416 3221214704 1131165229 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26189 13073 16 0 210822 0 vsize: 843352 [startup+920.112 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 90458 62 0 0 25 0 11 0 477973832 863592448 26237 4294967295 134512640 134569956 3221224416 3221214704 1131164978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26237 13073 16 0 210822 0 vsize: 843352 [startup+930.113 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 91446 63 0 0 25 0 11 0 477973832 863592448 26273 4294967295 134512640 134569956 3221224416 3221214800 1131182054 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26273 13073 16 0 210822 0 vsize: 843352 [startup+940.113 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 92435 63 0 0 25 0 11 0 477973832 863592448 26314 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26314 13073 16 0 210822 0 vsize: 843352 [startup+950.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 93422 64 0 0 25 0 11 0 477973832 863592448 26362 4294967295 134512640 134569956 3221224416 3221214800 1131186661 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26362 13073 16 0 210822 0 vsize: 843352 [startup+960.116 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 94410 64 0 0 25 0 11 0 477973832 863592448 26408 4294967295 134512640 134569956 3221224416 3221214800 1131185806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26408 13073 16 0 210822 0 vsize: 843352 [startup+970.119 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 95398 65 0 0 25 0 11 0 477973832 863592448 26456 4294967295 134512640 134569956 3221224416 3221214704 1131165013 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26456 13073 16 0 210822 0 vsize: 843352 [startup+980.119 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 96387 65 0 0 25 0 11 0 477973832 863592448 26491 4294967295 134512640 134569956 3221224416 3221214800 1131185766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26491 13073 16 0 210822 0 vsize: 843352 [startup+990.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 97375 65 0 0 25 0 11 0 477973832 863592448 26533 4294967295 134512640 134569956 3221224416 3221214704 1131165132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26533 13073 16 0 210822 0 vsize: 843352 [startup+1000.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 98363 66 0 0 25 0 11 0 477973832 863592448 26578 4294967295 134512640 134569956 3221224416 3221214704 1131164549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26578 13073 16 0 210822 0 vsize: 843352 [startup+1010.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 99352 66 0 0 25 0 11 0 477973832 863592448 26626 4294967295 134512640 134569956 3221224416 3221214704 1131164918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26626 13073 16 0 210822 0 vsize: 843352 [startup+1020.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 100340 67 0 0 25 0 11 0 477973832 863592448 26662 4294967295 134512640 134569956 3221224416 3221214704 1131164574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26662 13073 16 0 210822 0 vsize: 843352 [startup+1030.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 101328 67 0 0 25 0 11 0 477973832 863592448 26704 4294967295 134512640 134569956 3221224416 3221214704 1131165142 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26704 13073 16 0 210822 0 vsize: 843352 [startup+1040.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 102317 68 0 0 25 0 11 0 477973832 863592448 26749 4294967295 134512640 134569956 3221224416 3221214800 1131182211 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26749 13073 16 0 210822 0 vsize: 843352 [startup+1050.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 103304 68 0 0 25 0 11 0 477973832 863592448 26785 4294967295 134512640 134569956 3221224416 3221214704 1131165580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26785 13073 16 0 210822 0 vsize: 843352 [startup+1060.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 104293 69 0 0 25 0 11 0 477973832 863592448 26826 4294967295 134512640 134569956 3221224416 3221214896 1131472588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26826 13073 16 0 210822 0 vsize: 843352 [startup+1070.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 105282 69 0 0 25 0 11 0 477973832 863592448 26870 4294967295 134512640 134569956 3221224416 3221214704 1131165505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26870 13073 16 0 210822 0 vsize: 843352 [startup+1080.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 106270 70 0 0 25 0 11 0 477973832 863592448 26906 4294967295 134512640 134569956 3221224416 3221214704 1131164834 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26906 13073 16 0 210822 0 vsize: 843352 [startup+1090.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 107259 70 0 0 25 0 11 0 477973832 863592448 26948 4294967295 134512640 134569956 3221224416 3221214704 1131164574 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26948 13073 16 0 210822 0 vsize: 843352 [startup+1100.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 108247 70 0 0 25 0 11 0 477973832 863592448 26992 4294967295 134512640 134569956 3221224416 3221214704 1131164947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 26992 13073 16 0 210822 0 vsize: 843352 [startup+1110.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 109235 71 0 0 25 0 11 0 477973832 863592448 27028 4294967295 134512640 134569956 3221224416 3221214704 1131165535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27028 13073 16 0 210822 0 vsize: 843352 [startup+1120.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 110224 71 0 0 25 0 11 0 477973832 863592448 27068 4294967295 134512640 134569956 3221224416 3221214704 1131165505 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27068 13073 16 0 210822 0 vsize: 843352 [startup+1130.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 111211 72 0 0 25 0 11 0 477973832 863592448 27116 4294967295 134512640 134569956 3221224416 3221214800 1131182110 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27116 13073 16 0 210822 0 vsize: 843352 [startup+1140.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 112199 73 0 0 25 0 11 0 477973832 863592448 27150 4294967295 134512640 134569956 3221224416 3221214800 1131180999 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27150 13073 16 0 210822 0 vsize: 843352 [startup+1150.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 113187 73 0 0 25 0 11 0 477973832 863592448 27188 4294967295 134512640 134569956 3221224416 3221214800 1131183053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27188 13073 16 0 210822 0 vsize: 843352 [startup+1160.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 114173 74 0 0 25 0 11 0 477973832 863592448 27260 4294967295 134512640 134569956 3221224416 3221214772 1131227945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27260 13073 16 0 210822 0 vsize: 843352 [startup+1170.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 115162 74 0 0 25 0 11 0 477973832 863592448 27295 4294967295 134512640 134569956 3221224416 3221214704 1131165537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27295 13073 16 0 210822 0 vsize: 843352 [startup+1180.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 116151 75 0 0 25 0 11 0 477973832 863592448 27333 4294967295 134512640 134569956 3221224416 3221214704 1131164624 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27333 13073 16 0 210822 0 vsize: 843352 [startup+1190.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 117138 75 0 0 25 0 11 0 477973832 863592448 27368 4294967295 134512640 134569956 3221224416 3221214800 1131185846 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27368 13073 16 0 210822 0 vsize: 843352 [startup+1200.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 118125 76 0 0 25 0 11 0 477973832 863592448 27406 4294967295 134512640 134569956 3221224416 3221214704 1131165367 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27406 13073 16 0 210822 0 vsize: 843352 [startup+1210.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 119112 76 0 0 25 0 11 0 477973832 863592448 27467 4294967295 134512640 134569956 3221224416 3221214704 1131164549 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27467 13073 16 0 210822 0 vsize: 843352 [startup+1220.15 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 10077 Raw data (stat): 10060 (java) R 10059 7987 7986 0 -1 0 18109 4 1 0 120096 76 0 0 25 0 11 0 477973832 863592448 27511 4294967295 134512640 134569956 3221224416 3221214704 1131164631 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210838 27511 13073 16 0 210822 0 vsize: 843352 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.23 s] Raw data (loadavg): 1.00 1.00 1.00 1/53 10079 Raw data (stat): 10060 (java) Z 10059 7987 7986 0 -1 1036 18109 18865 1 0 120099 82 3202 64 25 0 1 0 477973832 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): 1220.23 CPU time (s): 1234.48 CPU user time (s): 1233.02 CPU system time (s): 1.46678 CPU usage (%): 101.168 Max. virtual memory (Kb): 845840 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####