Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32b1.opb |
MD5SUM | c4653389ddee2820797c664a0856c651 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 191 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 456 |
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 | 456 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 456 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02784 |
Number of variables | 456 |
Total number of constraints | 1602 |
Number of constraints which are clauses | 1602 |
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 | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-04-13 16:21:36 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1323 boxname=wulflinc11 idbench=147 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: c4653389ddee2820797c664a0856c651 /oldhome/oroussel/tmp/wulflinc11/normalized-ii32b1.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-ii32b1.opb IDLAUNCH: 1323 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 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.028 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: 929916 kB Buffers: 32652 kB Cached: 48028 kB SwapCached: 4932 kB Active: 47492 kB Inactive: 40940 kB HighTotal: 131008 kB HighFree: 79268 kB LowTotal: 903652 kB LowFree: 850648 kB SwapTotal: 2097136 kB SwapFree: 2092204 kB Dirty: 44 kB Writeback: 0 kB Mapped: 6924 kB Slab: 10780 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:42:19 (client local time) WITH STATUS 143 IN SECONDS stats: 1323 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc11/normalized-ii32b1.opb c reading problem c [nbvar=456] c [nbconstr=1602] c time 2.155 c #vars 456 c #clauses 1602 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=225 c Current CPU time (ms) : 4.329 c starts : 1 c conflicts : 7 c decisions : 135 c propagations : 948 c inspects : 2961 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 7 c root simplifications : 1 c c CURRENT OPTIMUM=197 c Current CPU time (ms) : 8.805 c starts : 2 c conflicts : 29 c decisions : 405 c propagations : 3686 c inspects : 11586 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 29 c root simplifications : 2 c c CURRENT OPTIMUM=196 c Current CPU time (ms) : 42.509 c starts : 4 c conflicts : 160 c decisions : 1285 c propagations : 11280 c inspects : 59340 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 160 c root simplifications : 4 c c CURRENT OPTIMUM=195 c Current CPU time (ms) : 58.89 c starts : 5 c conflicts : 238 c decisions : 1964 c propagations : 15257 c inspects : 102533 c learned literals : 0 c learned binary clauses : 2 c learned ternary clauses : 2 c learned clauses : 238 c root simplifications : 5 c c CURRENT OPTIMUM=194 c Current CPU time (ms) : 157.327 c starts : 7 c conflicts : 439 c decisions : 2667 c propagations : 30640 c inspects : 431225 c learned literals : 0 c learned binary clauses : 2 c learned ternary clauses : 2 c learned clauses : 439 c root simplifications : 7 c c CURRENT OPTIMUM=193 c Current CPU time (ms) : 248.113 c starts : 9 c conflicts : 601 c decisions : 3290 c propagations : 44616 c inspects : 797304 c learned literals : 0 c learned binary clauses : 2 c learned ternary clauses : 2 c learned clauses : 601 c root simplifications : 9 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 1.00 0.83 2/54 816 Raw data (stat): 816 (runsolver) R 815 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419127407 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.0001 s] Raw data (loadavg): 1.24 1.07 0.86 2/64 830 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18094 3 1 0 549 42 0 0 25 0 11 0 419127407 865656832 21569 4294967295 134512640 134569956 3221224416 3221214760 1131249423 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211342 21569 13073 16 0 211326 0 vsize: 845368 [startup+20.0013 s] Raw data (loadavg): 1.20 1.06 0.86 2/64 830 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18096 3 1 0 1499 43 0 0 25 0 11 0 419127407 863911936 21659 4294967295 134512640 134569956 3221224416 3221214608 1131249155 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210916 21659 13073 16 0 210900 0 vsize: 843664 [startup+30.002 s] Raw data (loadavg): 1.17 1.06 0.86 2/64 830 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18096 3 1 0 2448 43 0 0 25 0 11 0 419127407 863911936 22030 4294967295 134512640 134569956 3221224416 3221214596 1131568068 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210916 22030 13073 16 0 210900 0 vsize: 843664 [startup+40.0024 s] Raw data (loadavg): 1.14 1.06 0.86 2/64 830 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18096 3 1 0 3387 43 0 0 25 0 11 0 419127407 863911936 22406 4294967295 134512640 134569956 3221224416 3221214792 1131310693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210916 22406 13073 16 0 210900 0 vsize: 843664 [startup+50.0036 s] Raw data (loadavg): 1.12 1.06 0.86 2/64 831 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 4316 43 0 0 25 0 11 0 419127407 863911936 22844 4294967295 134512640 134569956 3221224416 3221214696 1131232599 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 22844 13073 16 0 210900 0 vsize: 843664 [startup+60.0044 s] Raw data (loadavg): 1.10 1.05 0.86 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 5242 43 0 0 25 0 11 0 419127407 863911936 23051 4294967295 134512640 134569956 3221224416 3221214736 1131535087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 23051 13073 16 0 210900 0 vsize: 843664 [startup+70.0049 s] Raw data (loadavg): 1.09 1.05 0.86 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 6175 44 0 0 25 0 11 0 419127407 863911936 23234 4294967295 134512640 134569956 3221224416 3221214760 1131233219 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 23234 13073 16 0 210900 0 vsize: 843664 [startup+80.006 s] Raw data (loadavg): 1.07 1.05 0.86 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 7113 44 0 0 25 0 11 0 419127407 863911936 23407 4294967295 134512640 134569956 3221224416 3221214696 1131233450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 23407 13073 16 0 210900 0 vsize: 843664 [startup+90.0068 s] Raw data (loadavg): 1.06 1.05 0.87 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 8060 44 0 0 25 0 11 0 419127407 863911936 23530 4294967295 134512640 134569956 3221224416 3221214696 1131232789 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 23530 13073 16 0 210900 0 vsize: 843664 [startup+100.007 s] Raw data (loadavg): 1.05 1.05 0.87 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 9018 44 0 0 25 0 11 0 419127407 863911936 23847 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 23847 13073 16 0 210900 0 vsize: 843664 [startup+110.008 s] Raw data (loadavg): 1.04 1.04 0.87 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 9986 44 0 0 25 0 11 0 419127407 863911936 23962 4294967295 134512640 134569956 3221224416 3221214704 1131611543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 23962 13073 16 0 210900 0 vsize: 843664 [startup+120.009 s] Raw data (loadavg): 1.04 1.04 0.87 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 10957 44 0 0 25 0 11 0 419127407 863911936 24033 4294967295 134512640 134569956 3221224416 3221214696 1131232581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24033 13073 16 0 210900 0 vsize: 843664 [startup+130.009 s] Raw data (loadavg): 1.03 1.04 0.87 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 11934 44 0 0 25 0 11 0 419127407 863911936 24080 4294967295 134512640 134569956 3221224416 3221214696 1131233552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210916 24080 13073 16 0 210900 0 vsize: 843664 [startup+140.01 s] Raw data (loadavg): 1.02 1.04 0.87 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 12911 45 0 0 25 0 11 0 419127407 863911936 24120 4294967295 134512640 134569956 3221224416 3221214792 1131311850 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24120 13073 16 0 210900 0 vsize: 843664 [startup+150.011 s] Raw data (loadavg): 1.02 1.04 0.87 2/64 832 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 13889 45 0 0 25 0 11 0 419127407 863911936 24203 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24203 13073 16 0 210900 0 vsize: 843664 [startup+160.012 s] Raw data (loadavg): 1.02 1.03 0.87 2/64 833 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 14865 46 0 0 25 0 11 0 419127407 863911936 24272 4294967295 134512640 134569956 3221224416 3221214696 1131233048 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24272 13073 16 0 210900 0 vsize: 843664 [startup+170.012 s] Raw data (loadavg): 1.01 1.03 0.87 2/64 833 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 15842 46 0 0 25 0 11 0 419127407 863911936 24323 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24323 13073 16 0 210900 0 vsize: 843664 [startup+180.013 s] Raw data (loadavg): 1.01 1.03 0.87 2/64 833 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 16821 46 0 0 25 0 11 0 419127407 863911936 24357 4294967295 134512640 134569956 3221224416 3221214792 1131310952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24357 13073 16 0 210900 0 vsize: 843664 [startup+190.013 s] Raw data (loadavg): 1.01 1.03 0.87 2/64 833 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 17798 46 0 0 24 0 11 0 419127407 863911936 24385 4294967295 134512640 134569956 3221224416 3221214792 1131310693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24385 13073 16 0 210900 0 vsize: 843664 [startup+200.014 s] Raw data (loadavg): 1.01 1.03 0.88 2/64 833 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 18778 46 0 0 25 0 11 0 419127407 863911936 24497 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24497 13073 16 0 210900 0 vsize: 843664 [startup+210.015 s] Raw data (loadavg): 1.01 1.03 0.88 2/64 833 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 19762 46 0 0 25 0 11 0 419127407 863911936 24521 4294967295 134512640 134569956 3221224416 3221214792 1131310708 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24521 13073 16 0 210900 0 vsize: 843664 [startup+220.016 s] Raw data (loadavg): 1.00 1.03 0.88 2/64 833 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 20747 47 0 0 25 0 11 0 419127407 863911936 24539 4294967295 134512640 134569956 3221224416 3221214816 1131372588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24539 13073 16 0 210900 0 vsize: 843664 [startup+230.017 s] Raw data (loadavg): 1.00 1.02 0.88 2/64 833 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 21729 47 0 0 25 0 11 0 419127407 863911936 24558 4294967295 134512640 134569956 3221224416 3221214792 1131312955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24558 13073 16 0 210900 0 vsize: 843664 [startup+240.017 s] Raw data (loadavg): 1.00 1.02 0.88 2/64 833 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 22707 48 0 0 25 0 11 0 419127407 863911936 24596 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24596 13073 16 0 210900 0 vsize: 843664 [startup+250.018 s] Raw data (loadavg): 1.00 1.02 0.88 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 23682 49 0 0 25 0 11 0 419127407 863911936 24623 4294967295 134512640 134569956 3221224416 3221214792 1131311014 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24623 13073 16 0 210900 0 vsize: 843664 [startup+260.019 s] Raw data (loadavg): 1.00 1.02 0.88 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 24657 49 0 0 25 0 11 0 419127407 863911936 24662 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24662 13073 16 0 210900 0 vsize: 843664 [startup+270.019 s] Raw data (loadavg): 1.00 1.02 0.88 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 25629 49 0 0 25 0 11 0 419127407 863911936 24683 4294967295 134512640 134569956 3221224416 3221214792 1131314087 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24683 13073 16 0 210900 0 vsize: 843664 [startup+280.019 s] Raw data (loadavg): 1.00 1.02 0.88 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 26605 50 0 0 25 0 11 0 419127407 863911936 24730 4294967295 134512640 134569956 3221224416 3221214696 1131233459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24730 13073 16 0 210900 0 vsize: 843664 [startup+290.02 s] Raw data (loadavg): 1.00 1.02 0.88 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 27574 50 0 0 24 0 11 0 419127407 863911936 24872 4294967295 134512640 134569956 3221224416 3221214792 1131310956 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24872 13073 16 0 210900 0 vsize: 843664 [startup+300.021 s] Raw data (loadavg): 1.00 1.02 0.89 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 28551 50 0 0 25 0 11 0 419127407 863911936 24907 4294967295 134512640 134569956 3221224416 3221214696 1131232670 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24907 13073 16 0 210900 0 vsize: 843664 [startup+310.022 s] Raw data (loadavg): 1.00 1.02 0.89 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 29524 50 0 0 25 0 11 0 419127407 863911936 24967 4294967295 134512640 134569956 3221224416 3221214804 1080203749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 24967 13073 16 0 210900 0 vsize: 843664 [startup+320.022 s] Raw data (loadavg): 1.00 1.02 0.89 2/64 834 Raw data (stat): 816 (java) S 815 32461 32460 0 -1 0 18097 3 1 0 30490 51 0 0 25 0 11 0 419127407 863911936 25000 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25000 13073 16 0 210900 0 vsize: 843664 [startup+330.024 s] Raw data (loadavg): 1.00 1.02 0.89 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 31457 52 0 0 25 0 11 0 419127407 863911936 25046 4294967295 134512640 134569956 3221224416 3221214792 1131310952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25046 13073 16 0 210900 0 vsize: 843664 [startup+340.024 s] Raw data (loadavg): 1.00 1.01 0.89 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 32411 52 0 0 25 0 11 0 419127407 863911936 25132 4294967295 134512640 134569956 3221224416 3221214792 1131310705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25132 13073 16 0 210900 0 vsize: 843664 [startup+350.025 s] Raw data (loadavg): 1.00 1.01 0.89 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 33367 52 0 0 25 0 11 0 419127407 863911936 25234 4294967295 134512640 134569956 3221224416 3221214808 1131483050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25234 13073 16 0 210900 0 vsize: 843664 [startup+360.026 s] Raw data (loadavg): 1.00 1.01 0.89 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 34332 53 0 0 25 0 11 0 419127407 863911936 25328 4294967295 134512640 134569956 3221224416 3221214792 1131312873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25328 13073 16 0 210900 0 vsize: 843664 [startup+370.025 s] Raw data (loadavg): 1.00 1.01 0.89 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 35301 53 0 0 25 0 11 0 419127407 863911936 25407 4294967295 134512640 134569956 3221224416 3221214696 1131233600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25407 13073 16 0 210900 0 vsize: 843664 [startup+380.026 s] Raw data (loadavg): 1.00 1.01 0.89 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 36274 54 0 0 25 0 11 0 419127407 863911936 25542 4294967295 134512640 134569956 3221224416 3221214696 1131233502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25542 13073 16 0 210900 0 vsize: 843664 [startup+390.027 s] Raw data (loadavg): 1.00 1.01 0.89 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 37249 54 0 0 25 0 11 0 419127407 863911936 25622 4294967295 134512640 134569956 3221224416 3221214792 1131312824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25622 13073 16 0 210900 0 vsize: 843664 [startup+400.029 s] Raw data (loadavg): 1.00 1.01 0.90 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 38223 54 0 0 25 0 11 0 419127407 863911936 25672 4294967295 134512640 134569956 3221224416 3221214792 1131311962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25672 13073 16 0 210900 0 vsize: 843664 [startup+410.029 s] Raw data (loadavg): 1.00 1.01 0.90 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 39193 55 0 0 25 0 11 0 419127407 863911936 25726 4294967295 134512640 134569956 3221224416 3221214792 1131310830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25726 13073 16 0 210900 0 vsize: 843664 [startup+420.029 s] Raw data (loadavg): 1.00 1.01 0.90 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 40162 55 0 0 25 0 11 0 419127407 863911936 25741 4294967295 134512640 134569956 3221224416 3221214792 1131310952 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25741 13073 16 0 210900 0 vsize: 843664 [startup+430.03 s] Raw data (loadavg): 1.00 1.01 0.90 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 41119 56 0 0 25 0 11 0 419127407 863911936 25760 4294967295 134512640 134569956 3221224416 3221214696 1131233502 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25760 13073 16 0 210900 0 vsize: 843664 [startup+440.03 s] Raw data (loadavg): 1.00 1.00 0.90 3/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18097 3 1 0 42074 56 0 0 25 0 11 0 419127407 863911936 25995 4294967295 134512640 134569956 3221224416 3221214000 1130883327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 25995 13073 16 0 210900 0 vsize: 843664 [startup+450.03 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 43030 56 0 0 25 0 11 0 419127407 863911936 26043 4294967295 134512640 134569956 3221224416 3221214696 1131233065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26043 13073 16 0 210900 0 vsize: 843664 [startup+460.03 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 43990 57 0 0 25 0 11 0 419127407 863911936 26073 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26073 13073 16 0 210900 0 vsize: 843664 [startup+470.031 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 44946 57 0 0 25 0 11 0 419127407 863911936 26198 4294967295 134512640 134569956 3221224416 3221214696 1131233605 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26198 13073 16 0 210900 0 vsize: 843664 [startup+480.032 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 45905 57 0 0 25 0 11 0 419127407 863911936 26287 4294967295 134512640 134569956 3221224416 3221214608 1131249383 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26287 13073 16 0 210900 0 vsize: 843664 [startup+490.033 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 46877 58 0 0 25 0 11 0 419127407 863911936 26448 4294967295 134512640 134569956 3221224416 3221214816 1131371040 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26448 13073 16 0 210900 0 vsize: 843664 [startup+500.033 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 47846 58 0 0 25 0 11 0 419127407 863911936 26522 4294967295 134512640 134569956 3221224416 3221214144 1085679358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210916 26522 13073 16 0 210900 0 vsize: 843664 [startup+510.033 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 48812 58 0 0 25 0 11 0 419127407 863911936 26565 4294967295 134512640 134569956 3221224416 3221214696 1131233575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26565 13073 16 0 210900 0 vsize: 843664 [startup+520.033 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 49777 58 0 0 25 0 11 0 419127407 863911936 26620 4294967295 134512640 134569956 3221224416 3221213976 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26620 13073 16 0 210900 0 vsize: 843664 [startup+530.034 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 50736 59 0 0 24 0 11 0 419127407 863911936 26721 4294967295 134512640 134569956 3221224416 3221214792 1131312011 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26721 13073 16 0 210900 0 vsize: 843664 [startup+540.035 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 51705 59 0 0 25 0 11 0 419127407 863911936 26840 4294967295 134512640 134569956 3221224416 3221214768 1131343684 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26840 13073 16 0 210900 0 vsize: 843664 [startup+550.035 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 52674 60 0 0 25 0 11 0 419127407 863911936 26938 4294967295 134512640 134569956 3221224416 3221214792 1131312007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26938 13073 16 0 210900 0 vsize: 843664 [startup+560.035 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 53651 60 0 0 25 0 11 0 419127407 863911936 26948 4294967295 134512640 134569956 3221224416 3221214664 1131647837 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 26948 13073 16 0 210900 0 vsize: 843664 [startup+570.036 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 54626 60 0 0 25 0 11 0 419127407 863911936 27034 4294967295 134512640 134569956 3221224416 3221214696 1131233010 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27034 13073 16 0 210900 0 vsize: 843664 [startup+580.037 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 55610 61 0 0 25 0 11 0 419127407 863911936 27129 4294967295 134512640 134569956 3221224416 3221214696 1131232948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27129 13073 16 0 210900 0 vsize: 843664 [startup+590.037 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 56596 61 0 0 25 0 11 0 419127407 863911936 27171 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27171 13073 16 0 210900 0 vsize: 843664 [startup+600.038 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 57583 62 0 0 25 0 11 0 419127407 863911936 27194 4294967295 134512640 134569956 3221224416 3221214696 1131233183 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27194 13073 16 0 210900 0 vsize: 843664 [startup+610.038 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 58569 62 0 0 24 0 11 0 419127407 863911936 27203 4294967295 134512640 134569956 3221224416 3221214792 1131312681 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27203 13073 16 0 210900 0 vsize: 843664 [startup+620.038 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 59557 63 0 0 25 0 11 0 419127407 863911936 27220 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27220 13073 16 0 210900 0 vsize: 843664 [startup+630.039 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 60542 63 0 0 25 0 11 0 419127407 863911936 27247 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27247 13073 16 0 210900 0 vsize: 843664 [startup+640.04 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 61526 64 0 0 25 0 11 0 419127407 863911936 27263 4294967295 134512640 134569956 3221224416 3221214792 1131311924 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27263 13073 16 0 210900 0 vsize: 843664 [startup+650.039 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 62508 64 0 0 25 0 11 0 419127407 863911936 27277 4294967295 134512640 134569956 3221224416 3221214744 1131281524 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27277 13073 16 0 210900 0 vsize: 843664 [startup+660.041 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 63491 64 0 0 25 0 11 0 419127407 863911936 27285 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27285 13073 16 0 210900 0 vsize: 843664 [startup+670.041 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 64472 65 0 0 24 0 11 0 419127407 863911936 27292 4294967295 134512640 134569956 3221224416 3221214792 1131317121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27292 13073 16 0 210900 0 vsize: 843664 [startup+680.041 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 65454 65 0 0 25 0 11 0 419127407 863911936 27350 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27350 13073 16 0 210900 0 vsize: 843664 [startup+690.041 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 66438 65 0 0 25 0 11 0 419127407 863911936 27382 4294967295 134512640 134569956 3221224416 3221214696 1131232690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27382 13073 16 0 210900 0 vsize: 843664 [startup+700.041 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 67422 66 0 0 25 0 11 0 419127407 863911936 27425 4294967295 134512640 134569956 3221224416 3221214792 1131312978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27425 13073 16 0 210900 0 vsize: 843664 [startup+710.042 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 68409 67 0 0 25 0 11 0 419127407 863911936 27443 4294967295 134512640 134569956 3221224416 3221214792 1131310900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27443 13073 16 0 210900 0 vsize: 843664 [startup+720.042 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 69397 67 0 0 24 0 11 0 419127407 863911936 27452 4294967295 134512640 134569956 3221224416 3221214696 1131232613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27452 13073 16 0 210900 0 vsize: 843664 [startup+730.043 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 70384 67 0 0 25 0 11 0 419127407 863911936 27468 4294967295 134512640 134569956 3221224416 3221214696 1131232931 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27468 13073 16 0 210900 0 vsize: 843664 [startup+740.043 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 71374 68 0 0 25 0 11 0 419127407 863911936 27474 4294967295 134512640 134569956 3221224416 3221214792 1131311962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27474 13073 16 0 210900 0 vsize: 843664 [startup+750.043 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 72361 68 0 0 25 0 11 0 419127407 863911936 27484 4294967295 134512640 134569956 3221224416 3221214792 1131310872 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27484 13073 16 0 210900 0 vsize: 843664 [startup+760.043 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 73346 69 0 0 25 0 11 0 419127407 863911936 27493 4294967295 134512640 134569956 3221224416 3221214792 1131312011 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27493 13073 16 0 210900 0 vsize: 843664 [startup+770.043 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 74340 69 0 0 25 0 11 0 419127407 863911936 27498 4294967295 134512640 134569956 3221224416 3221214792 1131311789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210916 27498 13073 16 0 210900 0 vsize: 843664 [startup+780.044 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 75326 69 0 0 25 0 11 0 419127407 863911936 27507 4294967295 134512640 134569956 3221224416 3221214792 1131310861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27507 13073 16 0 210900 0 vsize: 843664 [startup+790.044 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 76315 70 0 0 25 0 11 0 419127407 863911936 27526 4294967295 134512640 134569956 3221224416 3221214792 1131312007 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27526 13073 16 0 210900 0 vsize: 843664 [startup+800.044 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 77304 70 0 0 25 0 11 0 419127407 863911936 27539 4294967295 134512640 134569956 3221224416 3221214696 1131233215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27539 13073 16 0 210900 0 vsize: 843664 [startup+810.044 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 78289 70 0 0 25 0 11 0 419127407 863911936 27549 4294967295 134512640 134569956 3221224416 3221214696 1131232690 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27549 13073 16 0 210900 0 vsize: 843664 [startup+820.045 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 79278 71 0 0 25 0 11 0 419127407 863911936 27562 4294967295 134512640 134569956 3221224416 3221214792 1131312011 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27562 13073 16 0 210900 0 vsize: 843664 [startup+830.045 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 80265 71 0 0 25 0 11 0 419127407 863911936 27573 4294967295 134512640 134569956 3221224416 3221214376 1131647810 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27573 13073 16 0 210900 0 vsize: 843664 [startup+840.046 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 81252 71 0 0 25 0 11 0 419127407 863911936 27587 4294967295 134512640 134569956 3221224416 3221214792 1131311962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27587 13073 16 0 210900 0 vsize: 843664 [startup+850.046 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 82235 72 0 0 25 0 11 0 419127407 863911936 27608 4294967295 134512640 134569956 3221224416 3221214792 1131312838 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27608 13073 16 0 210900 0 vsize: 843664 [startup+860.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 83223 72 0 0 25 0 11 0 419127407 863911936 27625 4294967295 134512640 134569956 3221224416 3221214696 1131232931 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27625 13073 16 0 210900 0 vsize: 843664 [startup+870.047 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 84204 73 0 0 25 0 11 0 419127407 863911936 27640 4294967295 134512640 134569956 3221224416 3221214600 1131569098 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27640 13073 16 0 210900 0 vsize: 843664 [startup+880.048 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 85186 73 0 0 25 0 11 0 419127407 863911936 27649 4294967295 134512640 134569956 3221224416 3221214792 1131310705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27649 13073 16 0 210900 0 vsize: 843664 [startup+890.048 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 86166 73 0 0 25 0 11 0 419127407 863911936 27652 4294967295 134512640 134569956 3221224416 3221214160 1131647804 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27652 13073 16 0 210900 0 vsize: 843664 [startup+900.048 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 87146 74 0 0 24 0 11 0 419127407 863911936 27659 4294967295 134512640 134569956 3221224416 3221214696 1131233215 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27659 13073 16 0 210900 0 vsize: 843664 [startup+910.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 88123 74 0 0 25 0 11 0 419127407 863911936 27687 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27687 13073 16 0 210900 0 vsize: 843664 [startup+920.049 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 89107 74 0 0 25 0 11 0 419127407 863911936 27761 4294967295 134512640 134569956 3221224416 3221214696 1131233688 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210916 27761 13073 16 0 210900 0 vsize: 843664 [startup+930.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 90089 75 0 0 25 0 11 0 419127407 863911936 27788 4294967295 134512640 134569956 3221224416 3221214420 1131647561 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27788 13073 16 0 210900 0 vsize: 843664 [startup+940.051 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 91071 75 0 0 25 0 11 0 419127407 863911936 27819 4294967295 134512640 134569956 3221224416 3221214792 1131310861 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27819 13073 16 0 210900 0 vsize: 843664 [startup+950.051 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 92056 75 0 0 25 0 11 0 419127407 863911936 27858 4294967295 134512640 134569956 3221224416 3221214696 1131232655 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27858 13073 16 0 210900 0 vsize: 843664 [startup+960.052 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 93039 76 0 0 25 0 11 0 419127407 863911936 27880 4294967295 134512640 134569956 3221224416 3221214792 1131312824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27880 13073 16 0 210900 0 vsize: 843664 [startup+970.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 94022 76 0 0 25 0 11 0 419127407 863911936 27899 4294967295 134512640 134569956 3221224416 3221214792 1131312867 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27899 13073 16 0 210900 0 vsize: 843664 [startup+980.053 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 95003 77 0 0 25 0 11 0 419127407 863911936 27914 4294967295 134512640 134569956 3221224416 3221214696 1131233818 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27914 13073 16 0 210900 0 vsize: 843664 [startup+990.054 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 95983 77 0 0 25 0 11 0 419127407 863911936 27936 4294967295 134512640 134569956 3221224416 3221214696 1131233662 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27936 13073 16 0 210900 0 vsize: 843664 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 96962 78 0 0 25 0 11 0 419127407 863911936 27971 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 27971 13073 16 0 210900 0 vsize: 843664 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 97943 78 0 0 25 0 11 0 419127407 863911936 27996 4294967295 134512640 134569956 3221224416 3221214792 1131312858 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210916 27996 13073 16 0 210900 0 vsize: 843664 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 98921 78 0 0 25 0 11 0 419127407 863911936 28057 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28057 13073 16 0 210900 0 vsize: 843664 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 99901 78 0 0 25 0 11 0 419127407 863911936 28083 4294967295 134512640 134569956 3221224416 3221214224 1131647762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28083 13073 16 0 210900 0 vsize: 843664 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 100871 78 0 0 24 0 11 0 419127407 863911936 28115 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28115 13073 16 0 210900 0 vsize: 843664 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 101843 78 0 0 25 0 11 0 419127407 863911936 28178 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28178 13073 16 0 210900 0 vsize: 843664 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 102815 78 0 0 25 0 11 0 419127407 863911936 28219 4294967295 134512640 134569956 3221224416 3221214264 1131645866 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28219 13073 16 0 210900 0 vsize: 843664 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 103785 78 0 0 25 0 11 0 419127407 863911936 28236 4294967295 134512640 134569956 3221224416 3221214792 1131310693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28236 13073 16 0 210900 0 vsize: 843664 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 104757 79 0 0 25 0 11 0 419127407 863911936 28348 4294967295 134512640 134569956 3221224416 3221214696 1131233169 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28348 13073 16 0 210900 0 vsize: 843664 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 105733 79 0 0 25 0 11 0 419127407 863911936 28433 4294967295 134512640 134569956 3221224416 3221214704 1131611671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28433 13073 16 0 210900 0 vsize: 843664 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 106711 79 0 0 25 0 11 0 419127407 863911936 28478 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28478 13073 16 0 210900 0 vsize: 843664 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 107692 80 0 0 25 0 11 0 419127407 863911936 28539 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210916 28539 13073 16 0 210900 0 vsize: 843664 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 108673 80 0 0 25 0 11 0 419127407 863911936 28561 4294967295 134512640 134569956 3221224416 3221214792 1131312811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28561 13073 16 0 210900 0 vsize: 843664 [startup+1130.06 s] Raw data (loadavg): 1.07 1.02 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 109652 81 0 0 25 0 11 0 419127407 863911936 28591 4294967295 134512640 134569956 3221224416 3221214696 1131233580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28591 13073 16 0 210900 0 vsize: 843664 [startup+1140.06 s] Raw data (loadavg): 1.06 1.02 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 110632 81 0 0 25 0 11 0 419127407 863911936 28619 4294967295 134512640 134569956 3221224416 3221214496 1131620273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28619 13073 16 0 210900 0 vsize: 843664 [startup+1150.06 s] Raw data (loadavg): 1.05 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 111612 82 0 0 25 0 11 0 419127407 863911936 28650 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28650 13073 16 0 210900 0 vsize: 843664 [startup+1160.06 s] Raw data (loadavg): 1.04 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 112592 82 0 0 24 0 11 0 419127407 863911936 28697 4294967295 134512640 134569956 3221224416 3221214696 1131232613 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28697 13073 16 0 210900 0 vsize: 843664 [startup+1170.06 s] Raw data (loadavg): 1.04 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 113575 83 0 0 25 0 11 0 419127407 863911936 28728 4294967295 134512640 134569956 3221224416 3221214792 1131310900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28728 13073 16 0 210900 0 vsize: 843664 [startup+1180.06 s] Raw data (loadavg): 1.03 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 114556 83 0 0 25 0 11 0 419127407 863911936 28760 4294967295 134512640 134569956 3221224416 3221214696 1131232676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28760 13073 16 0 210900 0 vsize: 843664 [startup+1190.06 s] Raw data (loadavg): 1.02 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 115536 83 0 0 25 0 11 0 419127407 863911936 28789 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28789 13073 16 0 210900 0 vsize: 843664 [startup+1200.07 s] Raw data (loadavg): 1.02 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 116514 84 0 0 25 0 11 0 419127407 863911936 28816 4294967295 134512640 134569956 3221224416 3221214696 1131232993 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28816 13073 16 0 210900 0 vsize: 843664 [startup+1210.07 s] Raw data (loadavg): 1.02 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 117493 84 0 0 24 0 11 0 419127407 863911936 28853 4294967295 134512640 134569956 3221224416 3221214792 1131310933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28853 13073 16 0 210900 0 vsize: 843664 [startup+1220.07 s] Raw data (loadavg): 1.01 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 118474 85 0 0 25 0 11 0 419127407 863911936 28878 4294967295 134512640 134569956 3221224416 3221214792 1131310868 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28878 13073 16 0 210900 0 vsize: 843664 [startup+1230.07 s] Raw data (loadavg): 1.01 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 119454 85 0 0 25 0 11 0 419127407 863911936 28908 4294967295 134512640 134569956 3221224416 3221214696 1131232573 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28908 13073 16 0 210900 0 vsize: 843664 [startup+1240.07 s] Raw data (loadavg): 1.01 1.01 0.91 2/64 834 Raw data (stat): 816 (java) R 815 32461 32460 0 -1 0 18098 3 1 0 120433 85 0 0 25 0 11 0 419127407 863911936 28967 4294967295 134512640 134569956 3221224416 3221214792 1131311078 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210916 28967 13073 16 0 210900 0 vsize: 843664 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.15 s] Raw data (loadavg): 1.01 1.01 0.91 1/54 836 Raw data (stat): 816 (java) Z 815 32461 32460 0 -1 1036 18098 8190 1 0 120436 85 3010 29 25 0 1 0 419127407 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.15 CPU time (s): 1235.61 CPU user time (s): 1234.47 CPU system time (s): 1.14682 CPU usage (%): 99.6344 Max. virtual memory (Kb): 845368 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####