Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-berlin_5_8_0.opb |
MD5SUM | 9a578fa18e88cebdbf227cdbb9fbab5f |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 84992 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 78 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073790975 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2147979262 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1200.77 |
Number of variables | 9464 |
Total number of constraints | 2614 |
Number of constraints which are clauses | 309 |
Number of constraints which are cardinality constraints (but not clauses) | 794 |
Number of constraints which are nor clauses,nor cardinality constraints | 1511 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 61 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-04-21 21:01:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14920 boxname=wulflinc3 idbench=1148 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 9a578fa18e88cebdbf227cdbb9fbab5f /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-berlin_5_8_0.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-berlin_5_8_0.opb IDLAUNCH: 14920 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 462516 kB Buffers: 32848 kB Cached: 516320 kB SwapCached: 0 kB Active: 87296 kB Inactive: 464632 kB HighTotal: 131008 kB HighFree: 280 kB LowTotal: 903652 kB LowFree: 462236 kB SwapTotal: 2097136 kB SwapFree: 2096992 kB Dirty: 32 kB Writeback: 0 kB Mapped: 6844 kB Slab: 14520 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 21:22:24 (client local time) WITH STATUS 143 IN 1254.9 SECONDS stats: 14920 7 1254.9 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-berlin_5_8_0.opb c reading problem c [nbvar=9464] c [nbconstr=2614] c time 32.996 c #vars 9464 c #clauses 1821 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=102400 c Current CPU time (ms) : 39.772 c starts : 1 c conflicts : 0 c decisions : 3591 c propagations : 9464 c inspects : 32567 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=101376 c Current CPU time (ms) : 45.022 c starts : 2 c conflicts : 0 c decisions : 7165 c propagations : 18915 c inspects : 63171 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=100352 c Current CPU time (ms) : 50.298 c starts : 3 c conflicts : 0 c decisions : 10712 c propagations : 28366 c inspects : 94088 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 3 c c CURRENT OPTIMUM=99328 c Current CPU time (ms) : 55.568 c starts : 4 c conflicts : 0 c decisions : 14233 c propagations : 37817 c inspects : 124949 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 4 c c CURRENT OPTIMUM=98304 c Current CPU time (ms) : 60.879 c starts : 5 c conflicts : 0 c decisions : 17738 c propagations : 47268 c inspects : 155814 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 5 c c CURRENT OPTIMUM=97280 c Current CPU time (ms) : 66.171 c starts : 6 c conflicts : 0 c decisions : 21235 c propagations : 56719 c inspects : 186773 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 6 c c CURRENT OPTIMUM=96256 c Current CPU time (ms) : 71.415 c starts : 7 c conflicts : 0 c decisions : 24692 c propagations : 66170 c inspects : 217833 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 7 c c CURRENT OPTIMUM=95232 c Current CPU time (ms) : 84.419 c starts : 8 c conflicts : 4 c decisions : 28620 c propagations : 80543 c inspects : 265448 c learned literals : 0 c learned binary clauses : 2 c learned ternary clauses : 0 c learned clauses : 4 c root simplifications : 8 #### 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.74 0.89 0.89 2/54 20144 Raw data (stat): 20144 (runsolver) R 20143 10720 10719 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 489934082 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0008 s] Raw data (loadavg): 0.86 0.91 0.89 2/63 20153 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 17998 0 1 0 869 39 0 0 25 0 10 0 489934082 855891968 19827 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208958 19827 13073 16 0 208942 0 vsize: 835832 [startup+20.0012 s] Raw data (loadavg): 0.88 0.91 0.89 2/63 20153 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 17998 0 1 0 1765 39 0 0 25 0 10 0 489934082 854609920 20030 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 20030 13073 16 0 208629 0 vsize: 834580 [startup+30.002 s] Raw data (loadavg): 0.90 0.91 0.90 2/63 20153 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 17998 0 1 0 2651 39 0 0 19 0 10 0 489934082 854609920 20534 4294967295 134512640 134569956 3221224400 3221214536 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208645 20534 13073 16 0 208629 0 vsize: 834580 [startup+40.0022 s] Raw data (loadavg): 0.99 0.93 0.90 2/64 20154 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18039 0 1 0 3573 41 0 0 25 0 11 0 489934082 856092672 23643 4294967295 134512640 134569956 3221224400 3221214680 1131231769 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209007 23643 13073 16 0 208991 0 vsize: 836028 [startup+50.0036 s] Raw data (loadavg): 0.99 0.94 0.90 2/64 20156 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18040 3 1 0 4526 42 0 0 25 0 11 0 489934082 855805952 23556 4294967295 134512640 134569956 3221224400 3221214968 1131313881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208937 23556 13073 16 0 208921 0 vsize: 835748 [startup+60.0044 s] Raw data (loadavg): 0.99 0.94 0.90 2/64 20158 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18040 3 1 0 5476 42 0 0 24 0 11 0 489934082 855724032 23557 4294967295 134512640 134569956 3221224400 3221214720 1131231105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208917 23557 13073 16 0 208901 0 vsize: 835668 [startup+70.0058 s] Raw data (loadavg): 0.99 0.94 0.91 2/64 20160 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18040 3 1 0 6438 43 0 0 25 0 11 0 489934082 855724032 23693 4294967295 134512640 134569956 3221224400 3221214720 1131232348 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208917 23693 13073 16 0 208901 0 vsize: 835668 [startup+80.0071 s] Raw data (loadavg): 1.06 0.96 0.91 2/64 20161 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18090 3 1 0 7322 43 0 0 25 0 11 0 489934082 865280000 26196 4294967295 134512640 134569956 3221224400 3221214720 1131231850 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211250 26196 13073 16 0 211234 0 vsize: 845000 [startup+90.0079 s] Raw data (loadavg): 1.05 0.96 0.91 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18090 3 1 0 8285 43 0 0 25 0 11 0 489934082 861483008 25277 4294967295 134512640 134569956 3221224400 3221214816 1131331731 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210323 25277 13073 16 0 210307 0 vsize: 841292 [startup+100.008 s] Raw data (loadavg): 1.05 0.96 0.91 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18091 3 1 0 9218 43 0 0 25 0 11 0 489934082 856907776 24193 4294967295 134512640 134569956 3221224400 3221214920 1131360924 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209206 24193 13073 16 0 209190 0 vsize: 836824 [startup+110.01 s] Raw data (loadavg): 1.11 0.98 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18091 3 1 0 10176 44 0 0 25 0 11 0 489934082 864858112 26238 4294967295 134512640 134569956 3221224400 3221214656 1131425265 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 26238 13073 16 0 211131 0 vsize: 844588 [startup+120.009 s] Raw data (loadavg): 1.09 0.98 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 11150 44 0 0 25 0 11 0 489934082 864858112 26373 4294967295 134512640 134569956 3221224400 3221214816 1131333034 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 26373 13073 16 0 211131 0 vsize: 844588 [startup+130.01 s] Raw data (loadavg): 1.08 0.98 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 12118 44 0 0 25 0 11 0 489934082 864858112 26419 4294967295 134512640 134569956 3221224400 3221214776 1131430974 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 26419 13073 16 0 211131 0 vsize: 844588 [startup+140.011 s] Raw data (loadavg): 1.07 0.98 0.92 2/64 20162 Raw data (stat): 20144 (java) S 20143 10720 10719 0 -1 0 18092 3 1 0 13083 44 0 0 25 0 11 0 489934082 864858112 26452 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 26453 13073 16 0 211131 0 vsize: 844588 [startup+150.012 s] Raw data (loadavg): 1.06 0.98 0.92 2/64 20162 Raw data (stat): 20144 (java) S 20143 10720 10719 0 -1 0 18092 3 1 0 14018 44 0 0 25 0 11 0 489934082 864858112 26598 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 26598 13073 16 0 211131 0 vsize: 844588 [startup+160.012 s] Raw data (loadavg): 1.05 0.98 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 14959 45 0 0 25 0 11 0 489934082 864858112 26794 4294967295 134512640 134569956 3221224400 3221214720 1131231299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 26794 13073 16 0 211131 0 vsize: 844588 [startup+170.013 s] Raw data (loadavg): 1.11 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 15907 45 0 0 25 0 11 0 489934082 864858112 27049 4294967295 134512640 134569956 3221224400 3221214752 1131238791 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 27049 13073 16 0 211131 0 vsize: 844588 [startup+180.014 s] Raw data (loadavg): 1.10 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 16868 45 0 0 25 0 11 0 489934082 864858112 27199 4294967295 134512640 134569956 3221224400 3221214776 1131430288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 27199 13073 16 0 211131 0 vsize: 844588 [startup+190.014 s] Raw data (loadavg): 1.08 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 17831 46 0 0 24 0 11 0 489934082 864858112 27395 4294967295 134512640 134569956 3221224400 3221214720 1131231499 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 27395 13073 16 0 211131 0 vsize: 844588 [startup+200.015 s] Raw data (loadavg): 1.07 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 18802 46 0 0 25 0 11 0 489934082 864858112 27483 4294967295 134512640 134569956 3221224400 3221214816 1131331898 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 27483 13073 16 0 211131 0 vsize: 844588 [startup+210.016 s] Raw data (loadavg): 1.06 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 19769 46 0 0 25 0 11 0 489934082 864858112 27585 4294967295 134512640 134569956 3221224400 3221214720 1131231735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 27585 13073 16 0 211131 0 vsize: 844588 [startup+220.015 s] Raw data (loadavg): 1.05 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 20741 47 0 0 25 0 11 0 489934082 864858112 27666 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 27666 13073 16 0 211131 0 vsize: 844588 [startup+230.017 s] Raw data (loadavg): 1.04 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 21703 47 0 0 25 0 11 0 489934082 864858112 27859 4294967295 134512640 134569956 3221224400 3221214880 1131412418 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 27859 13073 16 0 211131 0 vsize: 844588 [startup+240.017 s] Raw data (loadavg): 1.03 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 22668 47 0 0 25 0 11 0 489934082 864858112 27959 4294967295 134512640 134569956 3221224400 3221214720 1131231615 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 27959 13073 16 0 211131 0 vsize: 844588 [startup+250.017 s] Raw data (loadavg): 1.03 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 23637 47 0 0 25 0 11 0 489934082 864858112 28105 4294967295 134512640 134569956 3221224400 3221214880 1131412010 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 28105 13073 16 0 211131 0 vsize: 844588 [startup+260.018 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 24606 48 0 0 25 0 11 0 489934082 864858112 28220 4294967295 134512640 134569956 3221224400 3221214816 1131332921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 28220 13073 16 0 211131 0 vsize: 844588 [startup+270.018 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 25571 48 0 0 25 0 11 0 489934082 864858112 28335 4294967295 134512640 134569956 3221224400 3221214736 1131614764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 28335 13073 16 0 211131 0 vsize: 844588 [startup+280.018 s] Raw data (loadavg): 1.02 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 26541 48 0 0 25 0 11 0 489934082 864858112 28519 4294967295 134512640 134569956 3221224400 3221214816 1131331731 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 28519 13073 16 0 211131 0 vsize: 844588 [startup+290.02 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 20162 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 27509 48 0 0 25 0 11 0 489934082 864858112 28654 4294967295 134512640 134569956 3221224400 3221214720 1131232075 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 28654 13073 16 0 211131 0 vsize: 844588 [startup+300.021 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 28476 49 0 0 25 0 11 0 489934082 864858112 28761 4294967295 134512640 134569956 3221224400 3221214880 1131412427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 28761 13073 16 0 211131 0 vsize: 844588 [startup+310.021 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 29450 49 0 0 25 0 11 0 489934082 864858112 28921 4294967295 134512640 134569956 3221224400 3221214720 1131231638 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 28921 13073 16 0 211131 0 vsize: 844588 [startup+320.027 s] Raw data (loadavg): 1.01 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 30424 49 0 0 25 0 11 0 489934082 864858112 29049 4294967295 134512640 134569956 3221224400 3221214736 1131614883 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 29049 13073 16 0 211131 0 vsize: 844588 [startup+330.028 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 31398 50 0 0 25 0 11 0 489934082 864858112 29152 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 29152 13073 16 0 211131 0 vsize: 844588 [startup+340.027 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 32370 50 0 0 25 0 11 0 489934082 864858112 29229 4294967295 134512640 134569956 3221224400 3221214816 1131331873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 29229 13073 16 0 211131 0 vsize: 844588 [startup+350.03 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 33342 50 0 0 25 0 11 0 489934082 864858112 29306 4294967295 134512640 134569956 3221224400 3221214792 1131229344 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 29306 13073 16 0 211131 0 vsize: 844588 [startup+360.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 34313 50 0 0 25 0 11 0 489934082 864858112 29420 4294967295 134512640 134569956 3221224400 3221214776 1131430288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 29420 13073 16 0 211131 0 vsize: 844588 [startup+370.031 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 35285 50 0 0 25 0 11 0 489934082 864858112 29557 4294967295 134512640 134569956 3221224400 3221214632 1131574142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 29557 13073 16 0 211131 0 vsize: 844588 [startup+380.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 36256 51 0 0 25 0 11 0 489934082 864858112 29629 4294967295 134512640 134569956 3221224400 3221214720 1131231745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 29629 13073 16 0 211131 0 vsize: 844588 [startup+390.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 37229 51 0 0 25 0 11 0 489934082 864858112 29767 4294967295 134512640 134569956 3221224400 3221214736 1131614872 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 29767 13073 16 0 211131 0 vsize: 844588 [startup+400.032 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 38188 51 0 0 24 0 11 0 489934082 864858112 29905 4294967295 134512640 134569956 3221224400 3221214720 1131232284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 29905 13073 16 0 211131 0 vsize: 844588 [startup+410.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 39155 52 0 0 25 0 11 0 489934082 864858112 30050 4294967295 134512640 134569956 3221224400 3221214720 1131231555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 30050 13073 16 0 211131 0 vsize: 844588 [startup+420.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 40118 52 0 0 25 0 11 0 489934082 864858112 30136 4294967295 134512640 134569956 3221224400 3221214720 1131231299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 30136 13073 16 0 211131 0 vsize: 844588 [startup+430.034 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 41078 53 0 0 25 0 11 0 489934082 864858112 30321 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 30321 13073 16 0 211131 0 vsize: 844588 [startup+440.035 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 42034 53 0 0 25 0 11 0 489934082 864858112 30576 4294967295 134512640 134569956 3221224400 3221214720 1131232351 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 30576 13073 16 0 211131 0 vsize: 844588 [startup+450.036 s] Raw data (loadavg): 1.00 0.99 0.92 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 42996 53 0 0 25 0 11 0 489934082 864858112 30799 4294967295 134512640 134569956 3221224400 3221214720 1131231147 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 30799 13073 16 0 211131 0 vsize: 844588 [startup+460.036 s] Raw data (loadavg): 1.08 1.01 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 43957 53 0 0 25 0 11 0 489934082 864858112 31193 4294967295 134512640 134569956 3221224400 3221214736 1131614752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 31193 13073 16 0 211131 0 vsize: 844588 [startup+470.037 s] Raw data (loadavg): 1.07 1.01 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 44926 53 0 0 25 0 11 0 489934082 864858112 31401 4294967295 134512640 134569956 3221224400 3221214720 1131231781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 31401 13073 16 0 211131 0 vsize: 844588 [startup+480.038 s] Raw data (loadavg): 1.06 1.01 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 45897 53 0 0 25 0 11 0 489934082 864858112 31504 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 31504 13073 16 0 211131 0 vsize: 844588 [startup+490.038 s] Raw data (loadavg): 1.05 1.01 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 46868 53 0 0 25 0 11 0 489934082 864858112 31738 4294967295 134512640 134569956 3221224400 3221214720 1131231809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 31738 13073 16 0 211131 0 vsize: 844588 [startup+500.039 s] Raw data (loadavg): 1.04 1.01 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 47843 54 0 0 25 0 11 0 489934082 864858112 31906 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 31906 13073 16 0 211131 0 vsize: 844588 [startup+510.04 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 48818 54 0 0 24 0 11 0 489934082 864858112 31991 4294967295 134512640 134569956 3221224400 3221214720 1131232404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 31991 13073 16 0 211131 0 vsize: 844588 [startup+520.04 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 49793 54 0 0 24 0 11 0 489934082 864858112 32081 4294967295 134512640 134569956 3221224400 3221214688 1131044207 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 32081 13073 16 0 211131 0 vsize: 844588 [startup+530.041 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 50771 54 0 0 25 0 11 0 489934082 864858112 32183 4294967295 134512640 134569956 3221224400 3221214736 1131313881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 32183 13073 16 0 211131 0 vsize: 844588 [startup+540.042 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 51746 54 0 0 25 0 11 0 489934082 864858112 32290 4294967295 134512640 134569956 3221224400 3221214720 1131231421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 32290 13073 16 0 211131 0 vsize: 844588 [startup+550.042 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 52720 54 0 0 25 0 11 0 489934082 864858112 32402 4294967295 134512640 134569956 3221224400 3221214720 1131231781 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 32402 13073 16 0 211131 0 vsize: 844588 [startup+560.042 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 53691 54 0 0 25 0 11 0 489934082 864858112 32502 4294967295 134512640 134569956 3221224400 3221214776 1131431821 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 32502 13073 16 0 211131 0 vsize: 844588 [startup+570.042 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 54662 54 0 0 25 0 11 0 489934082 864858112 32629 4294967295 134512640 134569956 3221224400 3221214720 1131232444 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 32629 13073 16 0 211131 0 vsize: 844588 [startup+580.043 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 55633 54 0 0 25 0 11 0 489934082 864858112 32731 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 32731 13073 16 0 211131 0 vsize: 844588 [startup+590.042 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 56605 54 0 0 24 0 11 0 489934082 864858112 32909 4294967295 134512640 134569956 3221224400 3221214880 1131412000 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 32909 13073 16 0 211131 0 vsize: 844588 [startup+600.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 57582 54 0 0 25 0 11 0 489934082 864858112 33020 4294967295 134512640 134569956 3221224400 3221214720 1131232423 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 33020 13073 16 0 211131 0 vsize: 844588 [startup+610.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 58559 54 0 0 24 0 11 0 489934082 864858112 33106 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 33106 13073 16 0 211131 0 vsize: 844588 [startup+620.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 59541 54 0 0 25 0 11 0 489934082 864858112 33157 4294967295 134512640 134569956 3221224400 3221214720 1131231689 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 33157 13073 16 0 211131 0 vsize: 844588 [startup+630.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 60518 54 0 0 25 0 11 0 489934082 864858112 33225 4294967295 134512640 134569956 3221224400 3221214632 1131280023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 33225 13073 16 0 211131 0 vsize: 844588 [startup+640.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 61501 54 0 0 25 0 11 0 489934082 864858112 33281 4294967295 134512640 134569956 3221224400 3221214720 1131232126 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 33281 13073 16 0 211131 0 vsize: 844588 [startup+650.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 62484 54 0 0 25 0 11 0 489934082 864858112 33324 4294967295 134512640 134569956 3221224400 3221214736 1131614872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 33324 13073 16 0 211131 0 vsize: 844588 [startup+660.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 63466 54 0 0 25 0 11 0 489934082 864858112 33377 4294967295 134512640 134569956 3221224400 3221214736 1131614752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 33377 13073 16 0 211131 0 vsize: 844588 [startup+670.046 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 64452 54 0 0 25 0 11 0 489934082 864858112 33421 4294967295 134512640 134569956 3221224400 3221214736 1131614764 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211147 33421 13073 16 0 211131 0 vsize: 844588 [startup+680.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 65441 55 0 0 25 0 11 0 489934082 864858112 33456 4294967295 134512640 134569956 3221224400 3221214736 1131614876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33456 13073 16 0 211131 0 vsize: 844588 [startup+690.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 66426 55 0 0 25 0 11 0 489934082 864858112 33521 4294967295 134512640 134569956 3221224400 3221214880 1131412266 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33521 13073 16 0 211131 0 vsize: 844588 [startup+700.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 67413 55 0 0 25 0 11 0 489934082 864858112 33581 4294967295 134512640 134569956 3221224400 3221214560 1131626721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33581 13073 16 0 211131 0 vsize: 844588 [startup+710.047 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 68402 55 0 0 25 0 11 0 489934082 864858112 33592 4294967295 134512640 134569956 3221224400 3221214736 1131614764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33592 13073 16 0 211131 0 vsize: 844588 [startup+720.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 69369 56 0 0 25 0 11 0 489934082 864858112 33634 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33634 13073 16 0 211131 0 vsize: 844588 [startup+730.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 70321 56 0 0 25 0 11 0 489934082 864858112 33719 4294967295 134512640 134569956 3221224400 3221214720 1131231607 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33719 13073 16 0 211131 0 vsize: 844588 [startup+740.048 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 71299 56 0 0 25 0 11 0 489934082 864858112 33771 4294967295 134512640 134569956 3221224400 3221214116 1131745741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33771 13073 16 0 211131 0 vsize: 844588 [startup+750.053 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 72262 57 0 0 25 0 11 0 489934082 864858112 33823 4294967295 134512640 134569956 3221224400 3221214720 1131231735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33823 13073 16 0 211131 0 vsize: 844588 [startup+760.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 73222 57 0 0 25 0 11 0 489934082 864858112 33866 4294967295 134512640 134569956 3221224400 3221214736 1131614752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33866 13073 16 0 211131 0 vsize: 844588 [startup+770.054 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 74189 57 0 0 25 0 11 0 489934082 864858112 33962 4294967295 134512640 134569956 3221224400 3221214840 1131502529 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 33962 13073 16 0 211131 0 vsize: 844588 [startup+780.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 75151 57 0 0 25 0 11 0 489934082 864858112 34254 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 34254 13073 16 0 211131 0 vsize: 844588 [startup+790.055 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 76115 57 0 0 25 0 11 0 489934082 864858112 34292 4294967295 134512640 134569956 3221224400 3221214720 1131232501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 34292 13073 16 0 211131 0 vsize: 844588 [startup+800.056 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 77085 57 0 0 25 0 11 0 489934082 864858112 34358 4294967295 134512640 134569956 3221224400 3221214640 1131597461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 34358 13073 16 0 211131 0 vsize: 844588 [startup+810.057 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 78045 58 0 0 25 0 11 0 489934082 864858112 34505 4294967295 134512640 134569956 3221224400 3221214888 1131457839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 34505 13073 16 0 211131 0 vsize: 844588 [startup+820.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 79015 58 0 0 25 0 11 0 489934082 864858112 34560 4294967295 134512640 134569956 3221224400 3221214776 1131430288 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 34560 13073 16 0 211131 0 vsize: 844588 [startup+830.058 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 79984 58 0 0 25 0 11 0 489934082 864858112 34631 4294967295 134512640 134569956 3221224400 3221214812 1131231084 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 34631 13073 16 0 211131 0 vsize: 844588 [startup+840.059 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 80951 58 0 0 25 0 11 0 489934082 864858112 34754 4294967295 134512640 134569956 3221224400 3221214776 1131430270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 34754 13073 16 0 211131 0 vsize: 844588 [startup+850.059 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 81919 59 0 0 25 0 11 0 489934082 864858112 34855 4294967295 134512640 134569956 3221224400 3221214384 1131748380 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 34855 13073 16 0 211131 0 vsize: 844588 [startup+860.06 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 82888 59 0 0 25 0 11 0 489934082 864858112 34946 4294967295 134512640 134569956 3221224400 3221214720 1131231512 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 34946 13073 16 0 211131 0 vsize: 844588 [startup+870.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 83856 60 0 0 25 0 11 0 489934082 864858112 35066 4294967295 134512640 134569956 3221224400 3221214424 1131597944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 35066 13073 16 0 211131 0 vsize: 844588 [startup+880.066 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 84823 60 0 0 25 0 11 0 489934082 864858112 35192 4294967295 134512640 134569956 3221224400 3221214720 1131232497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 35192 13073 16 0 211131 0 vsize: 844588 [startup+890.067 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) S 20143 10720 10719 0 -1 0 18092 3 1 0 85733 61 0 0 25 0 11 0 489934082 864858112 35531 4294967295 134512640 134569956 3221224400 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 35531 13073 16 0 211131 0 vsize: 844588 [startup+900.068 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 86672 61 0 0 25 0 11 0 489934082 864858112 35780 4294967295 134512640 134569956 3221224400 3221214816 1131333150 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 35780 13073 16 0 211131 0 vsize: 844588 [startup+910.068 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 87620 61 0 0 25 0 11 0 489934082 864858112 35977 4294967295 134512640 134569956 3221224400 3221214628 1131351011 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 35977 13073 16 0 211131 0 vsize: 844588 [startup+920.068 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 88579 62 0 0 25 0 11 0 489934082 864858112 36195 4294967295 134512640 134569956 3221224400 3221214648 1131748974 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 36195 13073 16 0 211131 0 vsize: 844588 [startup+930.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 89544 62 0 0 25 0 11 0 489934082 864858112 36328 4294967295 134512640 134569956 3221224400 3221214736 1131614764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 36328 13073 16 0 211131 0 vsize: 844588 [startup+940.069 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 90515 62 0 0 25 0 11 0 489934082 864858112 36416 4294967295 134512640 134569956 3221224400 3221214880 1131412427 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 36416 13073 16 0 211131 0 vsize: 844588 [startup+950.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 91487 62 0 0 25 0 11 0 489934082 864858112 36455 4294967295 134512640 134569956 3221224400 3221214720 1131231731 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 36455 13073 16 0 211131 0 vsize: 844588 [startup+960.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 92461 63 0 0 25 0 11 0 489934082 864858112 36486 4294967295 134512640 134569956 3221224400 3221214880 1131412269 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 36486 13073 16 0 211131 0 vsize: 844588 [startup+970.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 93430 63 0 0 25 0 11 0 489934082 864858112 36601 4294967295 134512640 134569956 3221224400 3221214728 1131490144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 36601 13073 16 0 211131 0 vsize: 844588 [startup+980.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 94397 63 0 0 25 0 11 0 489934082 864858112 36658 4294967295 134512640 134569956 3221224400 3221214288 1080217270 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 36658 13073 16 0 211131 0 vsize: 844588 [startup+990.071 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 95364 63 0 0 25 0 11 0 489934082 864858112 36738 4294967295 134512640 134569956 3221224400 3221214816 1131333123 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 36738 13073 16 0 211131 0 vsize: 844588 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 96335 64 0 0 25 0 11 0 489934082 864858112 36971 4294967295 134512640 134569956 3221224400 3221214832 1131360933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 36971 13073 16 0 211131 0 vsize: 844588 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 97312 64 0 0 25 0 11 0 489934082 864858112 37179 4294967295 134512640 134569956 3221224400 3221214720 1131232384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 37179 13073 16 0 211131 0 vsize: 844588 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 98282 65 0 0 25 0 11 0 489934082 864858112 37248 4294967295 134512640 134569956 3221224400 3221214720 1131231718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 37248 13073 16 0 211131 0 vsize: 844588 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 99250 65 0 0 25 0 11 0 489934082 864858112 37310 4294967295 134512640 134569956 3221224400 3221214816 1131333101 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 37310 13073 16 0 211131 0 vsize: 844588 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 100221 66 0 0 25 0 11 0 489934082 864858112 37359 4294967295 134512640 134569956 3221224400 3221214720 1131231726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 37359 13073 16 0 211131 0 vsize: 844588 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 101187 66 0 0 25 0 11 0 489934082 864858112 37426 4294967295 134512640 134569956 3221224400 3221214420 1085632272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 37426 13073 16 0 211131 0 vsize: 844588 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 102153 67 0 0 25 0 11 0 489934082 864858112 37828 4294967295 134512640 134569956 3221224400 3221214816 1131336016 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 37828 13073 16 0 211131 0 vsize: 844588 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 103120 67 0 0 25 0 11 0 489934082 864858112 37924 4294967295 134512640 134569956 3221224400 3221214424 1080217376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 37924 13073 16 0 211131 0 vsize: 844588 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 104094 67 0 0 25 0 11 0 489934082 864858112 38001 4294967295 134512640 134569956 3221224400 3221214736 1131614861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 38001 13073 16 0 211131 0 vsize: 844588 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 105062 68 0 0 25 0 11 0 489934082 864858112 38103 4294967295 134512640 134569956 3221224400 3221214888 1131457542 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 38103 13073 16 0 211131 0 vsize: 844588 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 106033 68 0 0 25 0 11 0 489934082 864858112 38429 4294967295 134512640 134569956 3221224400 3221214816 1131337053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 38429 13073 16 0 211131 0 vsize: 844588 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 107008 69 0 0 25 0 11 0 489934082 864858112 38491 4294967295 134512640 134569956 3221224400 3221214816 1131333098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 38491 13073 16 0 211131 0 vsize: 844588 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 107984 69 0 0 25 0 11 0 489934082 864858112 38548 4294967295 134512640 134569956 3221224400 3221214736 1131614767 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 38548 13073 16 0 211131 0 vsize: 844588 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 108959 70 0 0 25 0 11 0 489934082 864858112 38759 4294967295 134512640 134569956 3221224400 3221214776 1131431842 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 38759 13073 16 0 211131 0 vsize: 844588 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 109930 70 0 0 25 0 11 0 489934082 864858112 38828 4294967295 134512640 134569956 3221224400 3221214816 1131334135 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 38828 13073 16 0 211131 0 vsize: 844588 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 110897 70 0 0 25 0 11 0 489934082 864858112 38892 4294967295 134512640 134569956 3221224400 3221214736 1131614876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 38892 13073 16 0 211131 0 vsize: 844588 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 111858 70 0 0 25 0 11 0 489934082 864858112 38963 4294967295 134512640 134569956 3221224400 3221214752 1131238753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 38963 13073 16 0 211131 0 vsize: 844588 [startup+1170.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 112826 71 0 0 25 0 11 0 489934082 864858112 39059 4294967295 134512640 134569956 3221224400 3221214920 1131360920 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 39059 13073 16 0 211131 0 vsize: 844588 [startup+1180.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 113790 71 0 0 25 0 11 0 489934082 864858112 39622 4294967295 134512640 134569956 3221224400 3221214720 1131232501 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 39622 13073 16 0 211131 0 vsize: 844588 [startup+1190.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 114763 71 0 0 25 0 11 0 489934082 864858112 39794 4294967295 134512640 134569956 3221224400 3221214560 1131747403 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 39794 13073 16 0 211131 0 vsize: 844588 [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 115741 71 0 0 25 0 11 0 489934082 864858112 39859 4294967295 134512640 134569956 3221224400 3221214720 1131231299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 39859 13073 16 0 211131 0 vsize: 844588 [startup+1210.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 116715 72 0 0 25 0 11 0 489934082 864858112 39947 4294967295 134512640 134569956 3221224400 3221214720 1131231538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 39947 13073 16 0 211131 0 vsize: 844588 [startup+1220.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 117693 72 0 0 25 0 11 0 489934082 864858112 40050 4294967295 134512640 134569956 3221224400 3221214736 1131614861 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 40050 13073 16 0 211131 0 vsize: 844588 [startup+1230.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 118669 73 0 0 25 0 11 0 489934082 864858112 40167 4294967295 134512640 134569956 3221224400 3221214720 1131232369 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 40167 13073 16 0 211131 0 vsize: 844588 [startup+1240.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 119641 73 0 0 25 0 11 0 489934082 864858112 40211 4294967295 134512640 134569956 3221224400 3221214816 1131332063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 40211 13073 16 0 211131 0 vsize: 844588 [startup+1250.08 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 20164 Raw data (stat): 20144 (java) R 20143 10720 10719 0 -1 0 18092 3 1 0 120605 73 0 0 25 0 11 0 489934082 864858112 40312 4294967295 134512640 134569956 3221224400 3221214720 1131231538 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211147 40312 13073 16 0 211131 0 vsize: 844588 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.21 s] Raw data (loadavg): 1.00 1.00 0.93 1/54 20166 Raw data (stat): 20144 (java) Z 20143 10720 10719 0 -1 1036 18092 22961 1 0 120611 73 4741 63 25 0 1 0 489934082 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): 1250.21 CPU time (s): 1254.9 CPU user time (s): 1253.53 CPU system time (s): 1.37179 CPU usage (%): 100.375 Max. virtual memory (Kb): 845000 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####