Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb |
MD5SUM | cb52c3dd346b4d656b5e715b686fba39 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8401 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9324 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 909647 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1069 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 909647 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.29 |
Number of variables | 10724 |
Total number of constraints | 12778 |
Number of constraints which are clauses | 140 |
Number of constraints which are cardinality constraints (but not clauses) | 12255 |
Number of constraints which are nor clauses,nor cardinality constraints | 383 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc8 THE 2005-04-21 02:54:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=18599 boxname=wulflinc8 idbench=1431 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: cb52c3dd346b4d656b5e715b686fba39 /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-mitre.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-mitre.opb IDLAUNCH: 18599 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 613448 kB Buffers: 34368 kB Cached: 363704 kB SwapCached: 0 kB Active: 169036 kB Inactive: 231924 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 613196 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 24 kB Writeback: 0 kB Mapped: 6948 kB Slab: 14632 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 03:14:45 (client local time) WITH STATUS 143 IN 1243.52 SECONDS stats: 18599 7 1243.52 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-mitre.opb c reading problem c [nbvar=10724] c [nbconstr=12778] c time 46.506 c #vars 10724 c #clauses 2045 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=10203 c Current CPU time (ms) : 239.835 c starts : 6 c conflicts : 1617 c decisions : 235131 c propagations : 901282 c inspects : 597927 c learned literals : 0 c learned binary clauses : 8 c learned ternary clauses : 0 c learned clauses : 1617 c root simplifications : 361 #### 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.80 0.92 0.91 2/54 21763 Raw data (stat): 21763 (runsolver) R 21762 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 469848989 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.001 s] Raw data (loadavg): 0.83 0.93 0.91 2/63 21772 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 17984 0 1 0 893 40 0 0 19 0 10 0 469848989 853258240 19084 4294967295 134512640 134569956 3221224400 3221214704 1131199901 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208315 19084 13073 16 0 208299 0 vsize: 833260 [startup+20.0021 s] Raw data (loadavg): 0.85 0.93 0.91 2/63 21772 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 17984 0 1 0 1787 40 0 0 25 0 10 0 469848989 853606400 19657 4294967295 134512640 134569956 3221224400 3221214824 1131213258 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208400 19657 13073 16 0 208384 0 vsize: 833600 [startup+30.003 s] Raw data (loadavg): 0.88 0.93 0.91 4/63 21772 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18057 0 1 0 2648 41 0 0 25 0 10 0 469848989 865906688 22740 4294967295 134512640 134569956 3221224400 3221214352 1131263092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211403 22740 13073 16 0 211387 0 vsize: 845612 [startup+40.0031 s] Raw data (loadavg): 1.20 1.00 0.93 4/63 21772 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18104 0 1 0 3392 41 0 0 25 0 10 0 469848989 887525376 28418 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216681 28418 13073 16 0 216665 0 vsize: 866724 [startup+50.0075 s] Raw data (loadavg): 1.17 1.00 0.93 4/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18170 0 1 0 4208 44 0 0 25 0 11 0 469848989 884961280 28055 4294967295 134512640 134569956 3221224400 3221213968 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 28055 13073 16 0 216039 0 vsize: 864220 [startup+60.0073 s] Raw data (loadavg): 1.14 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18172 0 1 0 5102 44 0 0 25 0 11 0 469848989 884961280 29483 4294967295 134512640 134569956 3221224400 3221214760 1131492577 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 29483 13073 16 0 216039 0 vsize: 864220 [startup+70.0084 s] Raw data (loadavg): 1.12 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18172 0 1 0 6067 45 0 0 25 0 11 0 469848989 884961280 29488 4294967295 134512640 134569956 3221224400 3221214800 1131260208 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 29488 13073 16 0 216039 0 vsize: 864220 [startup+80.0087 s] Raw data (loadavg): 1.10 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18172 0 1 0 7019 45 0 0 25 0 11 0 469848989 884961280 29488 4294967295 134512640 134569956 3221224400 3221214632 1131661385 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 29488 13073 16 0 216039 0 vsize: 864220 [startup+90.0087 s] Raw data (loadavg): 1.09 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18172 0 1 0 7961 45 0 0 25 0 11 0 469848989 884961280 29510 4294967295 134512640 134569956 3221224400 3221214712 1131492789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 29510 13073 16 0 216039 0 vsize: 864220 [startup+100.01 s] Raw data (loadavg): 1.07 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) S 21762 26667 26666 0 -1 0 18172 0 1 0 8898 45 0 0 25 0 11 0 469848989 884961280 29633 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 29635 13073 16 0 216039 0 vsize: 864220 [startup+110.01 s] Raw data (loadavg): 1.06 1.00 0.93 3/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18172 0 1 0 9860 46 0 0 25 0 11 0 469848989 884961280 29787 4294967295 134512640 134569956 3221224400 3221213680 1073952732 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 29787 13073 16 0 216039 0 vsize: 864220 [startup+120.011 s] Raw data (loadavg): 1.05 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18172 0 1 0 10804 46 0 0 25 0 11 0 469848989 884961280 29881 4294967295 134512640 134569956 3221224400 3221214800 1131260188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 29881 13073 16 0 216039 0 vsize: 864220 [startup+130.011 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18172 0 1 0 11742 46 0 0 25 0 11 0 469848989 884961280 30044 4294967295 134512640 134569956 3221224400 3221214904 1131838672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 30044 13073 16 0 216039 0 vsize: 864220 [startup+140.011 s] Raw data (loadavg): 1.04 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18172 0 1 0 12692 46 0 0 25 0 11 0 469848989 884961280 30190 4294967295 134512640 134569956 3221224400 3221214760 1131692180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 30190 13073 16 0 216039 0 vsize: 864220 [startup+150.011 s] Raw data (loadavg): 1.03 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18172 0 1 0 13637 47 0 0 25 0 11 0 469848989 884961280 30339 4294967295 134512640 134569956 3221224400 3221214848 1131651796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 30339 13073 16 0 216039 0 vsize: 864220 [startup+160.012 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18173 0 1 0 14576 47 0 0 25 0 11 0 469848989 884961280 30510 4294967295 134512640 134569956 3221224400 3221214712 1131492577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 30510 13073 16 0 216039 0 vsize: 864220 [startup+170.013 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18173 0 1 0 15532 47 0 0 25 0 11 0 469848989 884961280 30620 4294967295 134512640 134569956 3221224400 3221214848 1131652101 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 30620 13073 16 0 216039 0 vsize: 864220 [startup+180.013 s] Raw data (loadavg): 1.02 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18173 0 1 0 16510 47 0 0 25 0 11 0 469848989 884961280 30679 4294967295 134512640 134569956 3221224400 3221214808 1131307720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 30679 13073 16 0 216039 0 vsize: 864220 [startup+190.014 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18173 0 1 0 17463 48 0 0 25 0 11 0 469848989 884961280 30795 4294967295 134512640 134569956 3221224400 3221214696 1131491748 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 30795 13073 16 0 216039 0 vsize: 864220 [startup+200.014 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18173 0 1 0 18410 48 0 0 25 0 11 0 469848989 884961280 30968 4294967295 134512640 134569956 3221224400 3221214760 1131691223 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 30968 13073 16 0 216039 0 vsize: 864220 [startup+210.014 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18173 0 1 0 19365 48 0 0 25 0 11 0 469848989 884961280 31076 4294967295 134512640 134569956 3221224400 3221214800 1131662752 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 31076 13073 16 0 216039 0 vsize: 864220 [startup+220.016 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18173 0 1 0 20312 49 0 0 25 0 11 0 469848989 884961280 31244 4294967295 134512640 134569956 3221224400 3221214844 1131307148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 31244 13073 16 0 216039 0 vsize: 864220 [startup+230.016 s] Raw data (loadavg): 1.01 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18173 0 1 0 21260 49 0 0 25 0 11 0 469848989 884961280 31390 4294967295 134512640 134569956 3221224400 3221214800 1131208626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 31390 13073 16 0 216039 0 vsize: 864220 [startup+240.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/64 21773 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18173 0 1 0 22210 49 0 0 25 0 11 0 469848989 884961280 31551 4294967295 134512640 134569956 3221224400 3221214808 1131307699 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 31551 13073 16 0 216039 0 vsize: 864220 [startup+250.016 s] Raw data (loadavg): 1.08 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 23161 50 0 0 25 0 11 0 469848989 884961280 31600 4294967295 134512640 134569956 3221224400 3221214380 1131963724 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 31600 13073 16 0 216039 0 vsize: 864220 [startup+260.017 s] Raw data (loadavg): 1.06 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 24161 50 0 0 25 0 11 0 469848989 884961280 31600 4294967295 134512640 134569956 3221224400 3221214160 1131916808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 31600 13073 16 0 216039 0 vsize: 864220 [startup+270.018 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 25153 50 0 0 25 0 11 0 469848989 884961280 31620 4294967295 134512640 134569956 3221224400 3221214440 1085632273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 31620 13073 16 0 216039 0 vsize: 864220 [startup+280.018 s] Raw data (loadavg): 1.05 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 26144 50 0 0 25 0 11 0 469848989 884961280 31636 4294967295 134512640 134569956 3221224400 3221214712 1131492537 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 31636 13073 16 0 216039 0 vsize: 864220 [startup+290.018 s] Raw data (loadavg): 1.04 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 27118 50 0 0 25 0 11 0 469848989 884961280 31704 4294967295 134512640 134569956 3221224400 3221214624 1131697236 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 31704 13073 16 0 216039 0 vsize: 864220 [startup+300.019 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 28096 50 0 0 25 0 11 0 469848989 884961280 32003 4294967295 134512640 134569956 3221224400 3221214384 1131916720 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32003 13073 16 0 216039 0 vsize: 864220 [startup+310.019 s] Raw data (loadavg): 1.03 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 29096 50 0 0 25 0 11 0 469848989 884961280 32003 4294967295 134512640 134569956 3221224400 3221214460 1085679264 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32003 13073 16 0 216039 0 vsize: 864220 [startup+320.02 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 30085 50 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221214336 1131640282 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+330.021 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 31076 50 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221213752 1085679756 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+340.021 s] Raw data (loadavg): 1.02 1.01 0.94 2/64 21774 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 32076 50 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221214000 1131916768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+350.021 s] Raw data (loadavg): 1.01 1.00 0.94 2/65 21775 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 33066 50 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221214168 1131916796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+360.022 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 21827 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 34066 50 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221214312 1131959828 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+370.023 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 21827 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 35057 50 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221214056 1131640279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+380.022 s] Raw data (loadavg): 1.01 1.00 0.94 2/64 21827 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 36056 51 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221213840 1131640273 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+390.022 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21827 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 37056 51 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221214768 1131737670 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+400.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21827 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 38046 51 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221214104 1131916703 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+410.023 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21827 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 39046 51 0 0 25 0 11 0 469848989 884961280 32238 4294967295 134512640 134569956 3221224400 3221214360 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32238 13073 16 0 216039 0 vsize: 864220 [startup+420.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 40035 52 0 0 25 0 11 0 469848989 884961280 32251 4294967295 134512640 134569956 3221224400 3221214056 1131640248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32251 13073 16 0 216039 0 vsize: 864220 [startup+430.024 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 41034 52 0 0 25 0 11 0 469848989 884961280 32251 4294967295 134512640 134569956 3221224400 3221214132 1131640272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32251 13073 16 0 216039 0 vsize: 864220 [startup+440.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 42024 52 0 0 25 0 11 0 469848989 884961280 32277 4294967295 134512640 134569956 3221224400 3221214632 1131640248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32277 13073 16 0 216039 0 vsize: 864220 [startup+450.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 43024 52 0 0 25 0 11 0 469848989 884961280 32277 4294967295 134512640 134569956 3221224400 3221214404 1131916556 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32277 13073 16 0 216039 0 vsize: 864220 [startup+460.025 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 44013 52 0 0 25 0 11 0 469848989 884961280 32302 4294967295 134512640 134569956 3221224400 3221214096 1131640282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32302 13073 16 0 216039 0 vsize: 864220 [startup+470.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 45013 52 0 0 25 0 11 0 469848989 884961280 32302 4294967295 134512640 134569956 3221224400 3221214760 1131510877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32302 13073 16 0 216039 0 vsize: 864220 [startup+480.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 46002 52 0 0 25 0 11 0 469848989 884961280 32330 4294967295 134512640 134569956 3221224400 3221214448 1085679305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32330 13073 16 0 216039 0 vsize: 864220 [startup+490.027 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 47002 52 0 0 25 0 11 0 469848989 884961280 32330 4294967295 134512640 134569956 3221224400 3221214748 1131963744 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32330 13073 16 0 216039 0 vsize: 864220 [startup+500.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 47991 53 0 0 25 0 11 0 469848989 884961280 32330 4294967295 134512640 134569956 3221224400 3221214308 1131916772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32330 13073 16 0 216039 0 vsize: 864220 [startup+510.028 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 48991 53 0 0 25 0 11 0 469848989 884961280 32330 4294967295 134512640 134569956 3221224400 3221214364 1131640096 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32330 13073 16 0 216039 0 vsize: 864220 [startup+520.029 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 49981 53 0 0 25 0 11 0 469848989 884961280 32369 4294967295 134512640 134569956 3221224400 3221214640 1131916764 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32369 13073 16 0 216039 0 vsize: 864220 [startup+530.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 50980 53 0 0 25 0 11 0 469848989 884961280 32369 4294967295 134512640 134569956 3221224400 3221214720 1131948492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32369 13073 16 0 216039 0 vsize: 864220 [startup+540.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 51970 53 0 0 25 0 11 0 469848989 884961280 32369 4294967295 134512640 134569956 3221224400 3221214376 1131640177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32369 13073 16 0 216039 0 vsize: 864220 [startup+550.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 52969 53 0 0 25 0 11 0 469848989 884961280 32369 4294967295 134512640 134569956 3221224400 3221214304 1131916796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32369 13073 16 0 216039 0 vsize: 864220 [startup+560.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 53969 53 0 0 25 0 11 0 469848989 884961280 32369 4294967295 134512640 134569956 3221224400 3221214256 1131640273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32369 13073 16 0 216039 0 vsize: 864220 [startup+570.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 54959 53 0 0 25 0 11 0 469848989 884961280 32369 4294967295 134512640 134569956 3221224400 3221214736 1131960088 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32369 13073 16 0 216039 0 vsize: 864220 [startup+580.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 55958 53 0 0 25 0 11 0 469848989 884961280 32369 4294967295 134512640 134569956 3221224400 3221214312 1131640220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32369 13073 16 0 216039 0 vsize: 864220 [startup+590.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 56948 53 0 0 25 0 11 0 469848989 884961280 32425 4294967295 134512640 134569956 3221224400 3221214640 1131916649 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32425 13073 16 0 216039 0 vsize: 864220 [startup+600.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 57947 53 0 0 25 0 11 0 469848989 884961280 32425 4294967295 134512640 134569956 3221224400 3221214392 1085679293 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32425 13073 16 0 216039 0 vsize: 864220 [startup+610.03 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 58947 53 0 0 25 0 11 0 469848989 884961280 32425 4294967295 134512640 134569956 3221224400 3221214524 1131916809 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32425 13073 16 0 216039 0 vsize: 864220 [startup+620.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 59937 53 0 0 25 0 11 0 469848989 884961280 32425 4294967295 134512640 134569956 3221224400 3221214148 1131640272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32425 13073 16 0 216039 0 vsize: 864220 [startup+630.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 60936 53 0 0 25 0 11 0 469848989 884961280 32425 4294967295 134512640 134569956 3221224400 3221214480 1131640204 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32425 13073 16 0 216039 0 vsize: 864220 [startup+640.031 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 61935 54 0 0 25 0 11 0 469848989 884961280 32425 4294967295 134512640 134569956 3221224400 3221214256 1131916796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32425 13073 16 0 216039 0 vsize: 864220 [startup+650.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 62924 54 0 0 25 0 11 0 469848989 884961280 32425 4294967295 134512640 134569956 3221224400 3221214704 1131640121 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32425 13073 16 0 216039 0 vsize: 864220 [startup+660.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21829 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 63924 54 0 0 25 0 11 0 469848989 884961280 32425 4294967295 134512640 134569956 3221224400 3221214560 1085679735 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32425 13073 16 0 216039 0 vsize: 864220 [startup+670.032 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 64913 54 0 0 25 0 11 0 469848989 884961280 32441 4294967295 134512640 134569956 3221224400 3221214536 1131640183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32441 13073 16 0 216039 0 vsize: 864220 [startup+680.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 65913 54 0 0 25 0 11 0 469848989 884961280 32441 4294967295 134512640 134569956 3221224400 3221214472 1131916796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32441 13073 16 0 216039 0 vsize: 864220 [startup+690.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 66914 54 0 0 25 0 11 0 469848989 884961280 32441 4294967295 134512640 134569956 3221224400 3221214872 1131909125 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32441 13073 16 0 216039 0 vsize: 864220 [startup+700.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 67903 54 0 0 25 0 11 0 469848989 884961280 32441 4294967295 134512640 134569956 3221224400 3221214480 1131640279 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32441 13073 16 0 216039 0 vsize: 864220 [startup+710.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 68903 54 0 0 25 0 11 0 469848989 884961280 32441 4294967295 134512640 134569956 3221224400 3221214848 1131652192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32441 13073 16 0 216039 0 vsize: 864220 [startup+720.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 69903 54 0 0 25 0 11 0 469848989 884961280 32441 4294967295 134512640 134569956 3221224400 3221214528 1131916586 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32441 13073 16 0 216039 0 vsize: 864220 [startup+730.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 70892 54 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214592 1131640248 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+740.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 71892 54 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214748 1131916772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+750.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 72883 54 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214252 1131640096 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+760.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 73882 54 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214532 1131640272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+770.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 74882 54 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214296 1131957844 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+780.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 75872 54 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214480 1131640273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+790.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 76873 54 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214232 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+800.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 77863 55 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214624 1131959916 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+810.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 78854 55 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214800 1131662752 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+820.033 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 79854 55 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214720 1131948601 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+830.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 80845 55 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214152 1131640252 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+840.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 81844 55 0 0 25 0 11 0 469848989 884961280 32643 4294967295 134512640 134569956 3221224400 3221214360 1131916649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32643 13073 16 0 216039 0 vsize: 864220 [startup+850.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 82834 55 0 0 25 0 11 0 469848989 884961280 32671 4294967295 134512640 134569956 3221224400 3221214276 1085616768 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32671 13073 16 0 216039 0 vsize: 864220 [startup+860.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 83834 55 0 0 25 0 11 0 469848989 884961280 32671 4294967295 134512640 134569956 3221224400 3221214248 1131916796 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32671 13073 16 0 216039 0 vsize: 864220 [startup+870.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 84834 55 0 0 25 0 11 0 469848989 884961280 32671 4294967295 134512640 134569956 3221224400 3221214532 1131640267 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32671 13073 16 0 216039 0 vsize: 864220 [startup+880.034 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 85824 55 0 0 25 0 11 0 469848989 884961280 32679 4294967295 134512640 134569956 3221224400 3221214648 1131640273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 32679 13073 16 0 216039 0 vsize: 864220 [startup+890.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 86824 56 0 0 25 0 11 0 469848989 884961280 32679 4294967295 134512640 134569956 3221224400 3221214532 1131640272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32679 13073 16 0 216039 0 vsize: 864220 [startup+900.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 87814 56 0 0 25 0 11 0 469848989 884961280 32681 4294967295 134512640 134569956 3221224400 3221214532 1131640272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32681 13073 16 0 216039 0 vsize: 864220 [startup+910.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 88814 56 0 0 25 0 11 0 469848989 884961280 32681 4294967295 134512640 134569956 3221224400 3221214412 1131963744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32681 13073 16 0 216039 0 vsize: 864220 [startup+920.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 89813 56 0 0 25 0 11 0 469848989 884961280 32681 4294967295 134512640 134569956 3221224400 3221214304 1131916808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32681 13073 16 0 216039 0 vsize: 864220 [startup+930.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 90804 57 0 0 25 0 11 0 469848989 884961280 32681 4294967295 134512640 134569956 3221224400 3221214472 1131916586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32681 13073 16 0 216039 0 vsize: 864220 [startup+940.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 91803 57 0 0 25 0 11 0 469848989 884961280 32681 4294967295 134512640 134569956 3221224400 3221214320 1131640230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32681 13073 16 0 216039 0 vsize: 864220 [startup+950.035 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 92794 57 0 0 25 0 11 0 469848989 884961280 32682 4294967295 134512640 134569956 3221224400 3221214136 1131916808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32682 13073 16 0 216039 0 vsize: 864220 [startup+960.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 93793 57 0 0 25 0 11 0 469848989 884961280 32682 4294967295 134512640 134569956 3221224400 3221214704 1131640300 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32682 13073 16 0 216039 0 vsize: 864220 [startup+970.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 94783 58 0 0 25 0 11 0 469848989 884961280 32850 4294967295 134512640 134569956 3221224400 3221214560 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32850 13073 16 0 216039 0 vsize: 864220 [startup+980.036 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 95783 58 0 0 25 0 11 0 469848989 884961280 32850 4294967295 134512640 134569956 3221224400 3221214608 1131769317 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 32850 13073 16 0 216039 0 vsize: 864220 [startup+990.037 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 96774 58 0 0 25 0 11 0 469848989 884961280 33008 4294967295 134512640 134569956 3221224400 3221214208 1131640248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33008 13073 16 0 216039 0 vsize: 864220 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 97775 58 0 0 25 0 11 0 469848989 884961280 33008 4294967295 134512640 134569956 3221224400 3221214848 1131652253 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33008 13073 16 0 216039 0 vsize: 864220 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 98775 58 0 0 25 0 11 0 469848989 884961280 33008 4294967295 134512640 134569956 3221224400 3221214636 1131963712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33008 13073 16 0 216039 0 vsize: 864220 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 99768 58 0 0 25 0 11 0 469848989 884961280 33046 4294967295 134512640 134569956 3221224400 3221214480 1131640333 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33046 13073 16 0 216039 0 vsize: 864220 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 100762 58 0 0 25 0 11 0 469848989 884961280 33069 4294967295 134512640 134569956 3221224400 3221214200 1131916586 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33069 13073 16 0 216039 0 vsize: 864220 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 101762 58 0 0 25 0 11 0 469848989 884961280 33069 4294967295 134512640 134569956 3221224400 3221214616 1085679747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33069 13073 16 0 216039 0 vsize: 864220 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 102756 58 0 0 25 0 11 0 469848989 884961280 33080 4294967295 134512640 134569956 3221224400 3221214524 1131916809 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33080 13073 16 0 216039 0 vsize: 864220 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 103750 59 0 0 25 0 11 0 469848989 884961280 33094 4294967295 134512640 134569956 3221224400 3221214560 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33094 13073 16 0 216039 0 vsize: 864220 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 104750 59 0 0 25 0 11 0 469848989 884961280 33094 4294967295 134512640 134569956 3221224400 3221214368 1131916788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33094 13073 16 0 216039 0 vsize: 864220 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 105744 59 0 0 25 0 11 0 469848989 884961280 33111 4294967295 134512640 134569956 3221224400 3221214704 1131640335 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33111 13073 16 0 216039 0 vsize: 864220 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 106742 59 0 0 25 0 11 0 469848989 884961280 33111 4294967295 134512640 134569956 3221224400 3221214528 1131916569 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33111 13073 16 0 216039 0 vsize: 864220 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 107742 60 0 0 25 0 11 0 469848989 884961280 33111 4294967295 134512640 134569956 3221224400 3221214096 1131640300 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33111 13073 16 0 216039 0 vsize: 864220 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 108736 60 0 0 25 0 11 0 469848989 884961280 33123 4294967295 134512640 134569956 3221224400 3221214736 1131960068 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33123 13073 16 0 216039 0 vsize: 864220 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 109736 60 0 0 25 0 11 0 469848989 884961280 33123 4294967295 134512640 134569956 3221224400 3221214140 1131963744 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33123 13073 16 0 216039 0 vsize: 864220 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 110730 60 0 0 25 0 11 0 469848989 884961280 33147 4294967295 134512640 134569956 3221224400 3221214476 1131640272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33147 13073 16 0 216039 0 vsize: 864220 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 111729 60 0 0 25 0 11 0 469848989 884961280 33147 4294967295 134512640 134569956 3221224400 3221214140 1131963721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33147 13073 16 0 216039 0 vsize: 864220 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 112729 60 0 0 25 0 11 0 469848989 884961280 33147 4294967295 134512640 134569956 3221224400 3221214152 1131640333 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33147 13073 16 0 216039 0 vsize: 864220 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 113723 60 0 0 25 0 11 0 469848989 884961280 33171 4294967295 134512640 134569956 3221224400 3221214416 1131916796 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33171 13073 16 0 216039 0 vsize: 864220 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 114716 60 0 0 25 0 11 0 469848989 884961280 33188 4294967295 134512640 134569956 3221224400 3221214580 1131963721 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33188 13073 16 0 216039 0 vsize: 864220 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 115717 60 0 0 25 0 11 0 469848989 884961280 33188 4294967295 134512640 134569956 3221224400 3221214356 1131916772 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33188 13073 16 0 216039 0 vsize: 864220 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 116716 60 0 0 25 0 11 0 469848989 884961280 33188 4294967295 134512640 134569956 3221224400 3221214280 1085679331 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33188 13073 16 0 216039 0 vsize: 864220 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 117711 60 0 0 25 0 11 0 469848989 884961280 33209 4294967295 134512640 134569956 3221224400 3221214592 1131640140 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 216055 33209 13073 16 0 216039 0 vsize: 864220 [startup+1210.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 118710 61 0 0 25 0 11 0 469848989 884961280 33209 4294967295 134512640 134569956 3221224400 3221214368 1131640266 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33209 13073 16 0 216039 0 vsize: 864220 [startup+1220.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 119710 61 0 0 25 0 11 0 469848989 884961280 33209 4294967295 134512640 134569956 3221224400 3221214208 1131640212 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33209 13073 16 0 216039 0 vsize: 864220 [startup+1230.04 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 21831 Raw data (stat): 21763 (java) R 21762 26667 26666 0 -1 0 18174 3 1 0 120704 61 0 0 25 0 11 0 469848989 884961280 33222 4294967295 134512640 134569956 3221224400 3221214296 1131916808 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 216055 33222 13073 16 0 216039 0 vsize: 864220 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.16 s] Raw data (loadavg): 1.00 1.00 0.94 1/54 21833 Raw data (stat): 21763 (java) Z 21762 26667 26666 0 -1 1036 18174 18827 1 0 120710 61 3536 43 25 0 1 0 469848989 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): 1230.16 CPU time (s): 1243.52 CPU user time (s): 1242.47 CPU system time (s): 1.05184 CPU usage (%): 101.086 Max. virtual memory (Kb): 866724 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####