Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb |
MD5SUM | e21ba82f6fe94f7331ec17a5a9607763 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1031 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 2152 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2152 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2152 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 20.8518 |
Number of variables | 2152 |
Total number of constraints | 17197 |
Number of constraints which are clauses | 17197 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 16 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc18 THE 2005-04-13 16:15:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1251 boxname=wulflinc18 idbench=139 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: e21ba82f6fe94f7331ec17a5a9607763 /oldhome/oroussel/tmp/wulflinc18/normalized-ii16b2.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-ii16b2.opb IDLAUNCH: 1251 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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: 926196 kB Buffers: 32384 kB Cached: 40192 kB SwapCached: 320 kB Active: 41360 kB Inactive: 34324 kB HighTotal: 131008 kB HighFree: 86884 kB LowTotal: 903652 kB LowFree: 839312 kB SwapTotal: 2097892 kB SwapFree: 2097572 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6936 kB Slab: 27308 kB Committed_AS: 63696 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 16:36:08 (client local time) WITH STATUS 143 IN SECONDS stats: 1251 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc18/normalized-ii16b2.opb c reading problem c [nbvar=2152] c [nbconstr=17197] c time 8.132 c #vars 2152 c #clauses 17197 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=1036 c Current CPU time (ms) : 34.828 c starts : 2 c conflicts : 148 c decisions : 1072 c propagations : 59986 c inspects : 295769 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 148 c root simplifications : 2 c c CURRENT OPTIMUM=1033 c Current CPU time (ms) : 58.004 c starts : 4 c conflicts : 270 c decisions : 1482 c propagations : 102015 c inspects : 462659 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 270 c root simplifications : 4 c c CURRENT OPTIMUM=1032 c Current CPU time (ms) : 106.992 c starts : 6 c conflicts : 419 c decisions : 1869 c propagations : 144152 c inspects : 618811 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 419 c root simplifications : 6 c c CURRENT OPTIMUM=1031 c Current CPU time (ms) : 315.08 c starts : 7 c conflicts : 479 c decisions : 2200 c propagations : 170612 c inspects : 832378 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 479 c root simplifications : 7 #### 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.90 0.96 0.75 2/55 20746 Raw data (stat): 20746 (runsolver) R 20745 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477306279 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.91 0.96 0.75 3/65 20756 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18077 0 1 0 693 47 0 0 25 0 11 0 477306279 858906624 20013 4294967295 134512640 134569956 3221224416 3221214428 1130918280 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209694 20013 13073 16 0 209678 0 vsize: 838776 [startup+20.0012 s] Raw data (loadavg): 1.00 0.97 0.76 2/65 20756 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18080 0 1 0 1523 47 0 0 25 0 11 0 477306279 863686656 23941 4294967295 134512640 134569956 3221224416 3221214840 1131376688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210861 23941 13073 16 0 210845 0 vsize: 843444 [startup+30.0011 s] Raw data (loadavg): 1.00 0.97 0.76 2/65 20756 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 0 1 0 2504 47 0 0 25 0 11 0 477306279 863686656 24184 4294967295 134512640 134569956 3221224416 3221214736 1131435858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210861 24184 13073 16 0 210845 0 vsize: 843444 [startup+40.0022 s] Raw data (loadavg): 1.00 0.97 0.76 2/65 20757 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 3462 47 0 0 25 0 11 0 477306279 863686656 24391 4294967295 134512640 134569956 3221224416 3221214840 1131376617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210861 24391 13073 16 0 210845 0 vsize: 843444 [startup+50.003 s] Raw data (loadavg): 1.00 0.97 0.76 2/65 20757 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 4419 47 0 0 25 0 11 0 477306279 863686656 24578 4294967295 134512640 134569956 3221224416 3221214592 1131363571 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210861 24578 13073 16 0 210845 0 vsize: 843444 [startup+60.0029 s] Raw data (loadavg): 1.00 0.97 0.76 2/65 20758 Raw data (stat): 20746 (java) S 20745 20024 20023 0 -1 0 18081 3 1 0 5363 47 0 0 25 0 11 0 477306279 863686656 24757 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210861 24757 13073 16 0 210845 0 vsize: 843444 [startup+70.0068 s] Raw data (loadavg): 1.00 0.97 0.77 2/65 20758 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 6281 48 0 0 25 0 11 0 477306279 863686656 24854 4294967295 134512640 134569956 3221224416 3221214840 1131376769 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210861 24854 13073 16 0 210845 0 vsize: 843444 [startup+80.0079 s] Raw data (loadavg): 1.08 0.99 0.77 2/65 20758 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 7227 48 0 0 25 0 11 0 477306279 863686656 24902 4294967295 134512640 134569956 3221224416 3221214704 1131173849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210861 24902 13073 16 0 210845 0 vsize: 843444 [startup+90.0086 s] Raw data (loadavg): 1.07 0.99 0.78 2/65 20760 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 8172 48 0 0 25 0 11 0 477306279 863686656 25006 4294967295 134512640 134569956 3221224416 3221214840 1131376420 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210861 25006 13073 16 0 210845 0 vsize: 843444 [startup+100.009 s] Raw data (loadavg): 1.06 0.99 0.78 2/65 20760 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18081 3 1 0 9081 48 0 0 25 0 11 0 477306279 863686656 25781 4294967295 134512640 134569956 3221224416 3221214800 1131483803 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210861 25781 13073 16 0 210845 0 vsize: 843444 [startup+110.009 s] Raw data (loadavg): 1.05 0.99 0.78 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 9992 48 0 0 25 0 11 0 477306279 866668544 27269 4294967295 134512640 134569956 3221224416 3221214688 1131329855 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211589 27269 13073 16 0 211573 0 vsize: 846356 [startup+120.01 s] Raw data (loadavg): 1.04 0.99 0.78 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 10936 48 0 0 25 0 11 0 477306279 865128448 27085 4294967295 134512640 134569956 3221224416 3221214688 1131329985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211213 27085 13073 16 0 211197 0 vsize: 844852 [startup+130.01 s] Raw data (loadavg): 1.03 0.99 0.78 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 11869 48 0 0 25 0 11 0 477306279 865128448 27085 4294967295 134512640 134569956 3221224416 3221214792 1131415643 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211213 27085 13073 16 0 211197 0 vsize: 844852 [startup+140.011 s] Raw data (loadavg): 1.03 0.99 0.79 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 12800 49 0 0 25 0 11 0 477306279 865128448 27085 4294967295 134512640 134569956 3221224416 3221214792 1131415414 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 27085 13073 16 0 211197 0 vsize: 844852 [startup+150.012 s] Raw data (loadavg): 1.02 0.99 0.79 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 13736 49 0 0 25 0 11 0 477306279 865128448 27192 4294967295 134512640 134569956 3221224416 3221214792 1131415790 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 27192 13073 16 0 211197 0 vsize: 844852 [startup+160.012 s] Raw data (loadavg): 1.02 0.99 0.79 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 14668 49 0 0 25 0 11 0 477306279 865128448 27785 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 27785 13073 16 0 211197 0 vsize: 844852 [startup+170.013 s] Raw data (loadavg): 1.02 0.99 0.79 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 15645 49 0 0 25 0 11 0 477306279 865128448 27887 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 27887 13073 16 0 211197 0 vsize: 844852 [startup+180.013 s] Raw data (loadavg): 1.01 0.99 0.79 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 16615 49 0 0 25 0 11 0 477306279 865128448 27913 4294967295 134512640 134569956 3221224416 3221214792 1131416723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 27913 13073 16 0 211197 0 vsize: 844852 [startup+190.013 s] Raw data (loadavg): 1.01 0.99 0.79 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 17586 50 0 0 25 0 11 0 477306279 865128448 27938 4294967295 134512640 134569956 3221224416 3221214688 1131330225 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 27938 13073 16 0 211197 0 vsize: 844852 [startup+200.012 s] Raw data (loadavg): 1.01 0.99 0.80 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 18561 50 0 0 25 0 11 0 477306279 865128448 27956 4294967295 134512640 134569956 3221224416 3221214688 1131329806 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 27956 13073 16 0 211197 0 vsize: 844852 [startup+210.012 s] Raw data (loadavg): 1.01 0.99 0.80 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 19527 50 0 0 25 0 11 0 477306279 865128448 27999 4294967295 134512640 134569956 3221224416 3221214688 1131330252 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 27999 13073 16 0 211197 0 vsize: 844852 [startup+220.013 s] Raw data (loadavg): 1.00 0.99 0.80 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 20505 51 0 0 25 0 11 0 477306279 865128448 28016 4294967295 134512640 134569956 3221224416 3221214688 1131329863 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28016 13073 16 0 211197 0 vsize: 844852 [startup+230.013 s] Raw data (loadavg): 1.00 0.99 0.80 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 21480 51 0 0 25 0 11 0 477306279 865128448 28046 4294967295 134512640 134569956 3221224416 3221214688 1131329787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28046 13073 16 0 211197 0 vsize: 844852 [startup+240.013 s] Raw data (loadavg): 1.00 0.99 0.80 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 22454 51 0 0 25 0 11 0 477306279 865128448 28064 4294967295 134512640 134569956 3221224416 3221214728 1131387597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28064 13073 16 0 211197 0 vsize: 844852 [startup+250.013 s] Raw data (loadavg): 1.00 0.99 0.81 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 23430 51 0 0 25 0 11 0 477306279 865128448 28071 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28071 13073 16 0 211197 0 vsize: 844852 [startup+260.013 s] Raw data (loadavg): 1.00 0.99 0.81 2/65 20761 Raw data (stat): 20746 (java) S 20745 20024 20023 0 -1 0 18082 3 1 0 24394 52 0 0 25 0 11 0 477306279 865128448 28091 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28091 13073 16 0 211197 0 vsize: 844852 [startup+270.014 s] Raw data (loadavg): 1.00 0.99 0.81 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 25362 52 0 0 25 0 11 0 477306279 865128448 28131 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28131 13073 16 0 211197 0 vsize: 844852 [startup+280.014 s] Raw data (loadavg): 1.00 0.99 0.81 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 26337 52 0 0 25 0 11 0 477306279 865128448 28153 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28153 13073 16 0 211197 0 vsize: 844852 [startup+290.014 s] Raw data (loadavg): 1.00 0.99 0.81 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 27304 53 0 0 25 0 11 0 477306279 865128448 28176 4294967295 134512640 134569956 3221224416 3221214788 1131329747 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28176 13073 16 0 211197 0 vsize: 844852 [startup+300.014 s] Raw data (loadavg): 1.00 0.99 0.82 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 28269 53 0 0 25 0 11 0 477306279 865128448 28196 4294967295 134512640 134569956 3221224416 3221214688 1131330642 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28196 13073 16 0 211197 0 vsize: 844852 [startup+310.013 s] Raw data (loadavg): 1.00 0.99 0.82 2/65 20761 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 29237 53 0 0 25 0 11 0 477306279 865128448 28273 4294967295 134512640 134569956 3221224416 3221214688 1131330683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211213 28273 13073 16 0 211197 0 vsize: 844852 [startup+320.014 s] Raw data (loadavg): 1.00 0.99 0.82 2/65 20762 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 30213 53 0 0 25 0 11 0 477306279 865030144 28267 4294967295 134512640 134569956 3221224416 3221214792 1131415411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28267 13073 16 0 211173 0 vsize: 844756 [startup+330.015 s] Raw data (loadavg): 1.00 0.99 0.82 2/65 20762 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 31185 54 0 0 25 0 11 0 477306279 865030144 28273 4294967295 134512640 134569956 3221224416 3221214840 1131376623 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28273 13073 16 0 211173 0 vsize: 844756 [startup+340.015 s] Raw data (loadavg): 1.00 0.99 0.82 2/65 20762 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 32152 54 0 0 24 0 11 0 477306279 865030144 28275 4294967295 134512640 134569956 3221224416 3221214792 1131416678 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28275 13073 16 0 211173 0 vsize: 844756 [startup+350.015 s] Raw data (loadavg): 1.00 0.99 0.82 2/65 20762 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 33117 55 0 0 24 0 11 0 477306279 865030144 28277 4294967295 134512640 134569956 3221224416 3221214792 1131415571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28277 13073 16 0 211173 0 vsize: 844756 [startup+360.015 s] Raw data (loadavg): 1.00 0.99 0.82 2/65 20762 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 34082 55 0 0 25 0 11 0 477306279 865030144 28285 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28285 13073 16 0 211173 0 vsize: 844756 [startup+370.016 s] Raw data (loadavg): 1.00 0.99 0.82 2/65 20762 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 35052 55 0 0 25 0 11 0 477306279 865030144 28406 4294967295 134512640 134569956 3221224416 3221214792 1131415540 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28406 13073 16 0 211173 0 vsize: 844756 [startup+380.016 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20762 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 36031 55 0 0 25 0 11 0 477306279 865030144 28423 4294967295 134512640 134569956 3221224416 3221214792 1131416837 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211189 28423 13073 16 0 211173 0 vsize: 844756 [startup+390.016 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 37006 56 0 0 25 0 11 0 477306279 865030144 28432 4294967295 134512640 134569956 3221224416 3221214840 1131376871 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28432 13073 16 0 211173 0 vsize: 844756 [startup+400.016 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 37983 56 0 0 25 0 11 0 477306279 865030144 28450 4294967295 134512640 134569956 3221224416 3221214688 1131330128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28450 13073 16 0 211173 0 vsize: 844756 [startup+410.016 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 38960 56 0 0 25 0 11 0 477306279 865030144 28471 4294967295 134512640 134569956 3221224416 3221214688 1131330763 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28471 13073 16 0 211173 0 vsize: 844756 [startup+420.017 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 39932 56 0 0 25 0 11 0 477306279 865030144 28496 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28496 13073 16 0 211173 0 vsize: 844756 [startup+430.018 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 40910 57 0 0 25 0 11 0 477306279 865030144 28536 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28536 13073 16 0 211173 0 vsize: 844756 [startup+440.018 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 41887 57 0 0 25 0 11 0 477306279 865030144 28553 4294967295 134512640 134569956 3221224416 3221214688 1131330741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28553 13073 16 0 211173 0 vsize: 844756 [startup+450.018 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 42869 57 0 0 25 0 11 0 477306279 865030144 28592 4294967295 134512640 134569956 3221224416 3221214688 1131330354 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28592 13073 16 0 211173 0 vsize: 844756 [startup+460.018 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 43851 57 0 0 25 0 11 0 477306279 865030144 28600 4294967295 134512640 134569956 3221224416 3221214688 1131329765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28600 13073 16 0 211173 0 vsize: 844756 [startup+470.019 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 44828 58 0 0 25 0 11 0 477306279 865030144 28632 4294967295 134512640 134569956 3221224416 3221214688 1131330613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28632 13073 16 0 211173 0 vsize: 844756 [startup+480.019 s] Raw data (loadavg): 1.00 0.99 0.83 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 45809 58 0 0 25 0 11 0 477306279 865030144 28641 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28641 13073 16 0 211173 0 vsize: 844756 [startup+490.019 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) S 20745 20024 20023 0 -1 0 18082 3 1 0 46789 58 0 0 25 0 11 0 477306279 865030144 28652 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28652 13073 16 0 211173 0 vsize: 844756 [startup+500.019 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 47767 58 0 0 25 0 11 0 477306279 865030144 28683 4294967295 134512640 134569956 3221224416 3221214788 1131329740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28683 13073 16 0 211173 0 vsize: 844756 [startup+510.02 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) S 20745 20024 20023 0 -1 0 18082 3 1 0 48747 59 0 0 25 0 11 0 477306279 865030144 28685 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28685 13073 16 0 211173 0 vsize: 844756 [startup+520.02 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 49724 59 0 0 25 0 11 0 477306279 865030144 28720 4294967295 134512640 134569956 3221224416 3221214840 1131376871 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28720 13073 16 0 211173 0 vsize: 844756 [startup+530.02 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 50707 59 0 0 25 0 11 0 477306279 865030144 28721 4294967295 134512640 134569956 3221224416 3221214688 1131329753 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28721 13073 16 0 211173 0 vsize: 844756 [startup+540.02 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 51689 59 0 0 25 0 11 0 477306279 865030144 28746 4294967295 134512640 134569956 3221224416 3221214792 1131416716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28746 13073 16 0 211173 0 vsize: 844756 [startup+550.021 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 52668 59 0 0 25 0 11 0 477306279 865030144 28754 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28754 13073 16 0 211173 0 vsize: 844756 [startup+560.021 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 53645 60 0 0 25 0 11 0 477306279 865030144 28778 4294967295 134512640 134569956 3221224416 3221214688 1131330086 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28778 13073 16 0 211173 0 vsize: 844756 [startup+570.022 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 54619 60 0 0 25 0 11 0 477306279 865030144 28797 4294967295 134512640 134569956 3221224416 3221214792 1131415643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28797 13073 16 0 211173 0 vsize: 844756 [startup+580.023 s] Raw data (loadavg): 1.00 0.99 0.84 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 55597 61 0 0 25 0 11 0 477306279 865030144 28816 4294967295 134512640 134569956 3221224416 3221214840 1131376602 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28816 13073 16 0 211173 0 vsize: 844756 [startup+590.023 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 56579 61 0 0 25 0 11 0 477306279 865030144 28838 4294967295 134512640 134569956 3221224416 3221214688 1131329765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28838 13073 16 0 211173 0 vsize: 844756 [startup+600.023 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 57559 61 0 0 25 0 11 0 477306279 865030144 28849 4294967295 134512640 134569956 3221224416 3221214688 1131329765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28849 13073 16 0 211173 0 vsize: 844756 [startup+610.023 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 58541 62 0 0 25 0 11 0 477306279 865030144 28850 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28850 13073 16 0 211173 0 vsize: 844756 [startup+620.024 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 59518 62 0 0 25 0 11 0 477306279 865030144 28859 4294967295 134512640 134569956 3221224416 3221214688 1131329757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28859 13073 16 0 211173 0 vsize: 844756 [startup+630.024 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 60494 62 0 0 25 0 11 0 477306279 865030144 28873 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28873 13073 16 0 211173 0 vsize: 844756 [startup+640.025 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 61472 63 0 0 25 0 11 0 477306279 865030144 28910 4294967295 134512640 134569956 3221224416 3221214792 1131415395 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28910 13073 16 0 211173 0 vsize: 844756 [startup+650.025 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 62452 63 0 0 25 0 11 0 477306279 865030144 28939 4294967295 134512640 134569956 3221224416 3221214792 1131416678 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28939 13073 16 0 211173 0 vsize: 844756 [startup+660.026 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 63434 64 0 0 25 0 11 0 477306279 865030144 28956 4294967295 134512640 134569956 3221224416 3221214888 1131570561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28956 13073 16 0 211173 0 vsize: 844756 [startup+670.026 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 64416 64 0 0 25 0 11 0 477306279 865030144 28986 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28986 13073 16 0 211173 0 vsize: 844756 [startup+680.027 s] Raw data (loadavg): 1.00 0.99 0.85 2/65 20764 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 65401 64 0 0 25 0 11 0 477306279 865030144 28994 4294967295 134512640 134569956 3221224416 3221214792 1131415571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 28994 13073 16 0 211173 0 vsize: 844756 [startup+690.027 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 66386 65 0 0 25 0 11 0 477306279 865030144 29005 4294967295 134512640 134569956 3221224416 3221214952 1131354649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29005 13073 16 0 211173 0 vsize: 844756 [startup+700.027 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 67371 65 0 0 25 0 11 0 477306279 865030144 29013 4294967295 134512640 134569956 3221224416 3221214792 1131416716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29013 13073 16 0 211173 0 vsize: 844756 [startup+710.028 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 68354 65 0 0 25 0 11 0 477306279 865030144 29027 4294967295 134512640 134569956 3221224416 3221214792 1131415787 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29027 13073 16 0 211173 0 vsize: 844756 [startup+720.03 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 69334 66 0 0 25 0 11 0 477306279 865030144 29040 4294967295 134512640 134569956 3221224416 3221214792 1131416658 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29040 13073 16 0 211173 0 vsize: 844756 [startup+730.03 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 70318 66 0 0 25 0 11 0 477306279 865030144 29055 4294967295 134512640 134569956 3221224416 3221214688 1131330165 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29055 13073 16 0 211173 0 vsize: 844756 [startup+740.03 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 71300 66 0 0 25 0 11 0 477306279 865030144 29064 4294967295 134512640 134569956 3221224416 3221214688 1131331022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29064 13073 16 0 211173 0 vsize: 844756 [startup+750.03 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 72277 66 0 0 24 0 11 0 477306279 865030144 29085 4294967295 134512640 134569956 3221224416 3221214688 1131330107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29085 13073 16 0 211173 0 vsize: 844756 [startup+760.03 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 73253 67 0 0 25 0 11 0 477306279 865030144 29103 4294967295 134512640 134569956 3221224416 3221214792 1131416792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29103 13073 16 0 211173 0 vsize: 844756 [startup+770.031 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 74229 67 0 0 25 0 11 0 477306279 865030144 29116 4294967295 134512640 134569956 3221224416 3221214688 1131330076 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29116 13073 16 0 211173 0 vsize: 844756 [startup+780.032 s] Raw data (loadavg): 1.00 0.99 0.86 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 75209 68 0 0 25 0 11 0 477306279 865030144 29142 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29142 13073 16 0 211173 0 vsize: 844756 [startup+790.032 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 76194 68 0 0 25 0 11 0 477306279 865030144 29158 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29158 13073 16 0 211173 0 vsize: 844756 [startup+800.032 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 77172 68 0 0 25 0 11 0 477306279 865030144 29166 4294967295 134512640 134569956 3221224416 3221214688 1131330763 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29166 13073 16 0 211173 0 vsize: 844756 [startup+810.032 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 78153 68 0 0 25 0 11 0 477306279 865030144 29166 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29166 13073 16 0 211173 0 vsize: 844756 [startup+820.033 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 79134 69 0 0 25 0 11 0 477306279 865030144 29169 4294967295 134512640 134569956 3221224416 3221214688 1131330184 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29169 13073 16 0 211173 0 vsize: 844756 [startup+830.033 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 80101 69 0 0 25 0 11 0 477306279 865030144 29212 4294967295 134512640 134569956 3221224416 3221214688 1131330402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29212 13073 16 0 211173 0 vsize: 844756 [startup+840.033 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 81080 69 0 0 24 0 11 0 477306279 865030144 29224 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29224 13073 16 0 211173 0 vsize: 844756 [startup+850.034 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 82062 70 0 0 25 0 11 0 477306279 865030144 29224 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29224 13073 16 0 211173 0 vsize: 844756 [startup+860.034 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 83033 70 0 0 25 0 11 0 477306279 865030144 29270 4294967295 134512640 134569956 3221224416 3221214688 1131330398 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29270 13073 16 0 211173 0 vsize: 844756 [startup+870.035 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 84007 70 0 0 24 0 11 0 477306279 865030144 29277 4294967295 134512640 134569956 3221224416 3221214792 1131416572 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29277 13073 16 0 211173 0 vsize: 844756 [startup+880.036 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 84983 71 0 0 25 0 11 0 477306279 865030144 29278 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29278 13073 16 0 211173 0 vsize: 844756 [startup+890.035 s] Raw data (loadavg): 1.00 0.99 0.87 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 85955 71 0 0 25 0 11 0 477306279 865030144 29314 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29314 13073 16 0 211173 0 vsize: 844756 [startup+900.036 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 86930 71 0 0 25 0 11 0 477306279 865030144 29332 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29332 13073 16 0 211173 0 vsize: 844756 [startup+910.036 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 87899 71 0 0 25 0 11 0 477306279 865030144 29362 4294967295 134512640 134569956 3221224416 3221214792 1131417705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29362 13073 16 0 211173 0 vsize: 844756 [startup+920.037 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 88878 72 0 0 25 0 11 0 477306279 865030144 29398 4294967295 134512640 134569956 3221224416 3221214792 1131415571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29398 13073 16 0 211173 0 vsize: 844756 [startup+930.037 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 89855 72 0 0 25 0 11 0 477306279 865030144 29405 4294967295 134512640 134569956 3221224416 3221214688 1131330169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29405 13073 16 0 211173 0 vsize: 844756 [startup+940.037 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 90831 73 0 0 25 0 11 0 477306279 865030144 29445 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29445 13073 16 0 211173 0 vsize: 844756 [startup+950.037 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 91816 73 0 0 25 0 11 0 477306279 865030144 29448 4294967295 134512640 134569956 3221224416 3221214792 1131415776 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29448 13073 16 0 211173 0 vsize: 844756 [startup+960.037 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 92795 73 0 0 25 0 11 0 477306279 865030144 29467 4294967295 134512640 134569956 3221224416 3221214688 1131329765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29467 13073 16 0 211173 0 vsize: 844756 [startup+970.038 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 93772 74 0 0 25 0 11 0 477306279 865030144 29483 4294967295 134512640 134569956 3221224416 3221214792 1131415536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29483 13073 16 0 211173 0 vsize: 844756 [startup+980.039 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20766 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 94754 74 0 0 25 0 11 0 477306279 865030144 29484 4294967295 134512640 134569956 3221224416 3221214688 1131329757 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29484 13073 16 0 211173 0 vsize: 844756 [startup+990.039 s] Raw data (loadavg): 1.00 0.99 0.88 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18082 3 1 0 95725 74 0 0 25 0 11 0 477306279 865030144 29502 4294967295 134512640 134569956 3221224416 3221214688 1131330128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29502 13073 16 0 211173 0 vsize: 844756 [startup+1000.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 96697 75 0 0 25 0 11 0 477306279 865030144 29531 4294967295 134512640 134569956 3221224416 3221214728 1131387551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29531 13073 16 0 211173 0 vsize: 844756 [startup+1010.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 97676 75 0 0 25 0 11 0 477306279 865030144 29543 4294967295 134512640 134569956 3221224416 3221214792 1131415702 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29543 13073 16 0 211173 0 vsize: 844756 [startup+1020.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 98650 75 0 0 25 0 11 0 477306279 865030144 29601 4294967295 134512640 134569956 3221224416 3221214792 1131416658 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29601 13073 16 0 211173 0 vsize: 844756 [startup+1030.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 99631 76 0 0 25 0 11 0 477306279 865030144 29605 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29605 13073 16 0 211173 0 vsize: 844756 [startup+1040.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 100605 76 0 0 25 0 11 0 477306279 865030144 29606 4294967295 134512640 134569956 3221224416 3221214688 1131330076 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29606 13073 16 0 211173 0 vsize: 844756 [startup+1050.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 101577 77 0 0 25 0 11 0 477306279 865030144 29642 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29642 13073 16 0 211173 0 vsize: 844756 [startup+1060.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 102557 77 0 0 25 0 11 0 477306279 865030144 29643 4294967295 134512640 134569956 3221224416 3221214792 1131416716 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29643 13073 16 0 211173 0 vsize: 844756 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 103531 77 0 0 25 0 11 0 477306279 865030144 29684 4294967295 134512640 134569956 3221224416 3221214688 1131329851 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29684 13073 16 0 211173 0 vsize: 844756 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 104515 77 0 0 25 0 11 0 477306279 865030144 29696 4294967295 134512640 134569956 3221224416 3221214688 1131330447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29696 13073 16 0 211173 0 vsize: 844756 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.89 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 105488 78 0 0 25 0 11 0 477306279 865030144 29696 4294967295 134512640 134569956 3221224416 3221214792 1131416712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29696 13073 16 0 211173 0 vsize: 844756 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 106461 78 0 0 25 0 11 0 477306279 865030144 29725 4294967295 134512640 134569956 3221224416 3221214688 1131330765 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29725 13073 16 0 211173 0 vsize: 844756 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 107436 78 0 0 25 0 11 0 477306279 865030144 29742 4294967295 134512640 134569956 3221224416 3221214792 1131415639 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29742 13073 16 0 211173 0 vsize: 844756 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 108412 79 0 0 25 0 11 0 477306279 865030144 29788 4294967295 134512640 134569956 3221224416 3221214688 1131330200 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29788 13073 16 0 211173 0 vsize: 844756 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 109391 79 0 0 25 0 11 0 477306279 865030144 29798 4294967295 134512640 134569956 3221224416 3221214792 1131416723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29798 13073 16 0 211173 0 vsize: 844756 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 110367 79 0 0 25 0 11 0 477306279 865030144 29809 4294967295 134512640 134569956 3221224416 3221214840 1131376427 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29809 13073 16 0 211173 0 vsize: 844756 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 111347 80 0 0 25 0 11 0 477306279 865030144 29821 4294967295 134512640 134569956 3221224416 3221214792 1131415571 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29821 13073 16 0 211173 0 vsize: 844756 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 112325 80 0 0 25 0 11 0 477306279 865030144 29845 4294967295 134512640 134569956 3221224416 3221214792 1131416723 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29845 13073 16 0 211173 0 vsize: 844756 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 113306 80 0 0 25 0 11 0 477306279 865030144 29852 4294967295 134512640 134569956 3221224416 3221214792 1131415643 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29852 13073 16 0 211173 0 vsize: 844756 [startup+1180.05 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 114282 81 0 0 25 0 11 0 477306279 865030144 29869 4294967295 134512640 134569956 3221224416 3221214688 1131330763 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29869 13073 16 0 211173 0 vsize: 844756 [startup+1190.05 s] Raw data (loadavg): 1.00 0.99 0.90 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 115261 81 0 0 24 0 11 0 477306279 865030144 29895 4294967295 134512640 134569956 3221224416 3221214788 1131329740 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29895 13073 16 0 211173 0 vsize: 844756 [startup+1200.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 116241 81 0 0 24 0 11 0 477306279 865030144 29898 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29898 13073 16 0 211173 0 vsize: 844756 [startup+1210.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 117220 82 0 0 25 0 11 0 477306279 865030144 29907 4294967295 134512640 134569956 3221224416 3221214792 1131415813 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29907 13073 16 0 211173 0 vsize: 844756 [startup+1220.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 118197 82 0 0 25 0 11 0 477306279 865030144 29924 4294967295 134512640 134569956 3221224416 3221214792 1131415369 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29924 13073 16 0 211173 0 vsize: 844756 [startup+1230.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 119179 82 0 0 25 0 11 0 477306279 865030144 29948 4294967295 134512640 134569956 3221224416 3221214792 1131417677 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29948 13073 16 0 211173 0 vsize: 844756 [startup+1240.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/65 20768 Raw data (stat): 20746 (java) R 20745 20024 20023 0 -1 0 18083 3 1 0 120157 82 0 0 25 0 11 0 477306279 865030144 29962 4294967295 134512640 134569956 3221224416 3221214792 1131415578 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211189 29962 13073 16 0 211173 0 vsize: 844756 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.14 s] Raw data (loadavg): 1.00 0.99 0.91 1/55 20770 Raw data (stat): 20746 (java) Z 20745 20024 20023 0 -1 1036 18083 14783 1 0 120161 82 4292 45 25 0 1 0 477306279 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): 1240.14 CPU time (s): 1245.83 CPU user time (s): 1244.54 CPU system time (s): 1.2898 CPU usage (%): 100.459 Max. virtual memory (Kb): 846356 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####