Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f1000.opb |
MD5SUM | 3b740c03d309134e8e181ea08fc4a1e3 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2000 |
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 | 2000 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2000 |
Total number of constraints | 5250 |
Number of constraints which are clauses | 5250 |
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 | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc23 THE 2005-04-13 16:15:15 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1143 boxname=wulflinc23 idbench=127 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 3b740c03d309134e8e181ea08fc4a1e3 /oldhome/oroussel/tmp/wulflinc23/normalized-f1000.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-f1000.opb IDLAUNCH: 1143 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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: 919832 kB Buffers: 31640 kB Cached: 40452 kB SwapCached: 192 kB Active: 38188 kB Inactive: 36936 kB HighTotal: 131008 kB HighFree: 86716 kB LowTotal: 903652 kB LowFree: 833116 kB SwapTotal: 2097136 kB SwapFree: 2096944 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6908 kB Slab: 34164 kB Committed_AS: 63484 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 16:35:47 (client local time) WITH STATUS 143 IN SECONDS stats: 1143 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc23/normalized-f1000.opb c reading problem c [nbvar=2000] c [nbconstr=5250] c time 5.875 c #vars 2000 c #clauses 5250 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 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.92 0.95 0.74 2/54 3567 Raw data (stat): 3567 (runsolver) R 3566 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477311553 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 1.24 1.02 0.76 4/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18130 0 1 0 702 46 0 0 25 0 11 0 477311553 876634112 24340 4294967295 134512640 134569956 3221224416 3221214764 1130909266 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 214022 24340 13073 16 0 214006 0 vsize: 856088 [startup+20.0018 s] Raw data (loadavg): 1.35 1.05 0.77 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 1663 46 0 0 25 0 11 0 477311553 878592000 25746 4294967295 134512640 134569956 3221224416 3221214856 1131336271 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 214500 25746 13073 16 0 214484 0 vsize: 858000 [startup+30.0029 s] Raw data (loadavg): 1.37 1.07 0.78 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 2636 46 0 0 25 0 11 0 477311553 875831296 25106 4294967295 134512640 134569956 3221224416 3221214824 1131268436 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 25106 13073 16 0 213810 0 vsize: 855304 [startup+40.0026 s] Raw data (loadavg): 1.32 1.06 0.78 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 3604 46 0 0 25 0 11 0 477311553 875831296 25449 4294967295 134512640 134569956 3221224416 3221214744 1131349298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 25449 13073 16 0 213810 0 vsize: 855304 [startup+50.0024 s] Raw data (loadavg): 1.27 1.06 0.79 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 4582 46 0 0 25 0 11 0 477311553 875831296 25569 4294967295 134512640 134569956 3221224416 3221214856 1131336273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 25569 13073 16 0 213810 0 vsize: 855304 [startup+60.0027 s] Raw data (loadavg): 1.23 1.06 0.79 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 5562 47 0 0 25 0 11 0 477311553 875831296 25932 4294967295 134512640 134569956 3221224416 3221214744 1131349257 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 25932 13073 16 0 213810 0 vsize: 855304 [startup+70.0025 s] Raw data (loadavg): 1.19 1.06 0.79 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 6536 47 0 0 25 0 11 0 477311553 875831296 25932 4294967295 134512640 134569956 3221224416 3221214848 1131424611 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 25932 13073 16 0 213810 0 vsize: 855304 [startup+80.0034 s] Raw data (loadavg): 1.16 1.05 0.79 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 7517 47 0 0 25 0 11 0 477311553 875831296 26019 4294967295 134512640 134569956 3221224416 3221214872 1131310280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 26019 13073 16 0 213810 0 vsize: 855304 [startup+90.0036 s] Raw data (loadavg): 1.14 1.05 0.79 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 8496 47 0 0 25 0 11 0 477311553 875831296 26195 4294967295 134512640 134569956 3221224416 3221214856 1131336044 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 26195 13073 16 0 213810 0 vsize: 855304 [startup+100.003 s] Raw data (loadavg): 1.11 1.05 0.80 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 9467 47 0 0 25 0 11 0 477311553 875831296 26354 4294967295 134512640 134569956 3221224416 3221214744 1131347297 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 26354 13073 16 0 213810 0 vsize: 855304 [startup+110.004 s] Raw data (loadavg): 1.10 1.05 0.80 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 10448 47 0 0 25 0 11 0 477311553 875831296 26453 4294967295 134512640 134569956 3221224416 3221214856 1131336178 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 26453 13073 16 0 213810 0 vsize: 855304 [startup+120.004 s] Raw data (loadavg): 1.08 1.05 0.80 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 11430 47 0 0 25 0 11 0 477311553 875831296 26589 4294967295 134512640 134569956 3221224416 3221214848 1131336186 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 26589 13073 16 0 213810 0 vsize: 855304 [startup+130.005 s] Raw data (loadavg): 1.07 1.04 0.80 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 12401 47 0 0 25 0 11 0 477311553 875831296 26861 4294967295 134512640 134569956 3221224416 3221214736 1131348407 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 26861 13073 16 0 213810 0 vsize: 855304 [startup+140.005 s] Raw data (loadavg): 1.06 1.04 0.80 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 13383 47 0 0 25 0 11 0 477311553 875831296 26990 4294967295 134512640 134569956 3221224416 3221214736 1131350180 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 26990 13073 16 0 213810 0 vsize: 855304 [startup+150.004 s] Raw data (loadavg): 1.05 1.04 0.81 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 14356 47 0 0 25 0 11 0 477311553 875831296 27201 4294967295 134512640 134569956 3221224416 3221214848 1131336105 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 27201 13073 16 0 213810 0 vsize: 855304 [startup+160.004 s] Raw data (loadavg): 1.04 1.04 0.81 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 15338 47 0 0 25 0 11 0 477311553 875831296 27348 4294967295 134512640 134569956 3221224416 3221214800 1131268091 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 27348 13073 16 0 213810 0 vsize: 855304 [startup+170.004 s] Raw data (loadavg): 1.03 1.04 0.81 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 16311 47 0 0 25 0 11 0 477311553 875831296 27506 4294967295 134512640 134569956 3221224416 3221214712 1131437778 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 27506 13073 16 0 213810 0 vsize: 855304 [startup+180.004 s] Raw data (loadavg): 1.03 1.04 0.81 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 17292 47 0 0 25 0 11 0 477311553 875831296 27703 4294967295 134512640 134569956 3221224416 3221214736 1131349295 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 27703 13073 16 0 213810 0 vsize: 855304 [startup+190.005 s] Raw data (loadavg): 1.02 1.03 0.81 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 18265 47 0 0 25 0 11 0 477311553 875831296 27859 4294967295 134512640 134569956 3221224416 3221214736 1131349298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 27859 13073 16 0 213810 0 vsize: 855304 [startup+200.005 s] Raw data (loadavg): 1.02 1.03 0.81 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 19246 48 0 0 25 0 11 0 477311553 875831296 28078 4294967295 134512640 134569956 3221224416 3221214832 1131427337 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 28078 13073 16 0 213810 0 vsize: 855304 [startup+210.005 s] Raw data (loadavg): 1.02 1.03 0.82 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 20227 48 0 0 25 0 11 0 477311553 875831296 28234 4294967295 134512640 134569956 3221224416 3221214848 1131336194 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 28234 13073 16 0 213810 0 vsize: 855304 [startup+220.006 s] Raw data (loadavg): 1.01 1.03 0.82 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 21200 48 0 0 25 0 11 0 477311553 875831296 28458 4294967295 134512640 134569956 3221224416 3221214848 1131336047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 28458 13073 16 0 213810 0 vsize: 855304 [startup+230.007 s] Raw data (loadavg): 1.01 1.03 0.82 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 22181 48 0 0 25 0 11 0 477311553 875831296 28599 4294967295 134512640 134569956 3221224416 3221214848 1131336268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 28599 13073 16 0 213810 0 vsize: 855304 [startup+240.007 s] Raw data (loadavg): 1.08 1.04 0.83 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 23152 48 0 0 25 0 11 0 477311553 875831296 28842 4294967295 134512640 134569956 3221224416 3221214848 1131336421 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 28842 13073 16 0 213810 0 vsize: 855304 [startup+250.007 s] Raw data (loadavg): 1.07 1.04 0.83 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 24133 48 0 0 25 0 11 0 477311553 875831296 28991 4294967295 134512640 134569956 3221224416 3221214848 1131336268 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 28991 13073 16 0 213810 0 vsize: 855304 [startup+260.008 s] Raw data (loadavg): 1.06 1.04 0.83 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 25104 48 0 0 25 0 11 0 477311553 875831296 29228 4294967295 134512640 134569956 3221224416 3221214712 1131442559 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 29228 13073 16 0 213810 0 vsize: 855304 [startup+270.007 s] Raw data (loadavg): 1.12 1.05 0.83 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 26084 48 0 0 25 0 11 0 477311553 875831296 29400 4294967295 134512640 134569956 3221224416 3221214600 1131482789 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 29400 13073 16 0 213810 0 vsize: 855304 [startup+280.008 s] Raw data (loadavg): 1.10 1.05 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 27054 48 0 0 25 0 11 0 477311553 875831296 29649 4294967295 134512640 134569956 3221224416 3221214840 1131258671 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 29649 13073 16 0 213810 0 vsize: 855304 [startup+290.008 s] Raw data (loadavg): 1.09 1.05 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 28034 48 0 0 25 0 11 0 477311553 875831296 29804 4294967295 134512640 134569956 3221224416 3221214712 1131437296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 29804 13073 16 0 213810 0 vsize: 855304 [startup+300.008 s] Raw data (loadavg): 1.07 1.05 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 29004 48 0 0 25 0 11 0 477311553 875831296 30124 4294967295 134512640 134569956 3221224416 3221214736 1131349298 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 30124 13073 16 0 213810 0 vsize: 855304 [startup+310.007 s] Raw data (loadavg): 1.06 1.05 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 29985 48 0 0 25 0 11 0 477311553 875831296 30203 4294967295 134512640 134569956 3221224416 3221214864 1131400857 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 30203 13073 16 0 213810 0 vsize: 855304 [startup+320.007 s] Raw data (loadavg): 1.05 1.04 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 30956 49 0 0 25 0 11 0 477311553 875831296 30445 4294967295 134512640 134569956 3221224416 3221214736 1131350174 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 30445 13073 16 0 213810 0 vsize: 855304 [startup+330.008 s] Raw data (loadavg): 1.04 1.04 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 31937 49 0 0 25 0 11 0 477311553 875831296 30601 4294967295 134512640 134569956 3221224416 3221214736 1131349295 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 30601 13073 16 0 213810 0 vsize: 855304 [startup+340.007 s] Raw data (loadavg): 1.04 1.04 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 32908 49 0 0 25 0 11 0 477311553 875831296 30844 4294967295 134512640 134569956 3221224416 3221214736 1131348403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 30844 13073 16 0 213810 0 vsize: 855304 [startup+350.007 s] Raw data (loadavg): 1.03 1.04 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 33878 49 0 0 25 0 11 0 477311553 875831296 31003 4294967295 134512640 134569956 3221224416 3221214848 1131336268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 31003 13073 16 0 213810 0 vsize: 855304 [startup+360.008 s] Raw data (loadavg): 1.02 1.04 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 34859 49 0 0 25 0 11 0 477311553 875831296 31147 4294967295 134512640 134569956 3221224416 3221214600 1131480030 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 31147 13073 16 0 213810 0 vsize: 855304 [startup+370.008 s] Raw data (loadavg): 1.02 1.03 0.84 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 35828 49 0 0 25 0 11 0 477311553 875831296 31368 4294967295 134512640 134569956 3221224416 3221214848 1131336194 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 31368 13073 16 0 213810 0 vsize: 855304 [startup+380.009 s] Raw data (loadavg): 1.02 1.03 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 36800 49 0 0 24 0 11 0 477311553 875831296 31578 4294967295 134512640 134569956 3221224416 3221214736 1131348375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 31578 13073 16 0 213810 0 vsize: 855304 [startup+390.01 s] Raw data (loadavg): 1.01 1.03 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 37780 49 0 0 25 0 11 0 477311553 875831296 31707 4294967295 134512640 134569956 3221224416 3221214848 1131336273 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 31707 13073 16 0 213810 0 vsize: 855304 [startup+400.009 s] Raw data (loadavg): 1.01 1.03 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 38752 50 0 0 25 0 11 0 477311553 875831296 31916 4294967295 134512640 134569956 3221224416 3221214848 1131336431 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 31916 13073 16 0 213810 0 vsize: 855304 [startup+410.009 s] Raw data (loadavg): 1.01 1.03 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 39723 50 0 0 25 0 11 0 477311553 875831296 32122 4294967295 134512640 134569956 3221224416 3221214848 1131336268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 32122 13073 16 0 213810 0 vsize: 855304 [startup+420.009 s] Raw data (loadavg): 1.01 1.03 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 40705 50 0 0 25 0 11 0 477311553 875831296 32262 4294967295 134512640 134569956 3221224416 3221214800 1131268188 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 32262 13073 16 0 213810 0 vsize: 855304 [startup+430.009 s] Raw data (loadavg): 1.01 1.03 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 41675 50 0 0 25 0 11 0 477311553 875831296 32411 4294967295 134512640 134569956 3221224416 3221214848 1131336271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 32411 13073 16 0 213810 0 vsize: 855304 [startup+440.009 s] Raw data (loadavg): 1.00 1.02 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 42645 50 0 0 25 0 11 0 477311553 875831296 32645 4294967295 134512640 134569956 3221224416 3221214848 1131336441 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 32645 13073 16 0 213810 0 vsize: 855304 [startup+450.009 s] Raw data (loadavg): 1.00 1.02 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 43625 51 0 0 25 0 11 0 477311553 875831296 32788 4294967295 134512640 134569956 3221224416 3221214840 1131425038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 32788 13073 16 0 213810 0 vsize: 855304 [startup+460.009 s] Raw data (loadavg): 1.00 1.02 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 44596 51 0 0 25 0 11 0 477311553 875831296 33064 4294967295 134512640 134569956 3221224416 3221214848 1131336271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 33064 13073 16 0 213810 0 vsize: 855304 [startup+470.008 s] Raw data (loadavg): 1.00 1.02 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 45575 51 0 0 25 0 11 0 477311553 875831296 33201 4294967295 134512640 134569956 3221224416 3221214848 1131336047 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 33201 13073 16 0 213810 0 vsize: 855304 [startup+480.01 s] Raw data (loadavg): 1.00 1.02 0.85 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 46545 51 0 0 25 0 11 0 477311553 875831296 33393 4294967295 134512640 134569956 3221224416 3221214888 1131526574 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 33393 13073 16 0 213810 0 vsize: 855304 [startup+490.01 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18167 0 1 0 47525 51 0 0 25 0 11 0 477311553 875831296 33561 4294967295 134512640 134569956 3221224416 3221214736 1131349263 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 33561 13073 16 0 213810 0 vsize: 855304 [startup+500.009 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 48503 51 0 0 25 0 11 0 477311553 875831296 33720 4294967295 134512640 134569956 3221224416 3221214144 1131656240 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 33720 13073 16 0 213810 0 vsize: 855304 [startup+510.01 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 49483 51 0 0 25 0 11 0 477311553 875831296 33872 4294967295 134512640 134569956 3221224416 3221214736 1131349298 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 33872 13073 16 0 213810 0 vsize: 855304 [startup+520.01 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 50473 51 0 0 25 0 11 0 477311553 875831296 33944 4294967295 134512640 134569956 3221224416 3221214368 1131656106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 33944 13073 16 0 213810 0 vsize: 855304 [startup+530.01 s] Raw data (loadavg): 1.00 1.02 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 51463 51 0 0 25 0 11 0 477311553 875831296 34021 4294967295 134512640 134569956 3221224416 3221214600 1131478339 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 34021 13073 16 0 213810 0 vsize: 855304 [startup+540.01 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 52454 52 0 0 25 0 11 0 477311553 875831296 34096 4294967295 134512640 134569956 3221224416 3221214456 1085679741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34096 13073 16 0 213810 0 vsize: 855304 [startup+550.01 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 53443 52 0 0 25 0 11 0 477311553 875831296 34163 4294967295 134512640 134569956 3221224416 3221214128 1131654161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34163 13073 16 0 213810 0 vsize: 855304 [startup+560.01 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 54423 52 0 0 25 0 11 0 477311553 875831296 34313 4294967295 134512640 134569956 3221224416 3221214712 1131443489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34313 13073 16 0 213810 0 vsize: 855304 [startup+570.01 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 55413 52 0 0 25 0 11 0 477311553 875831296 34381 4294967295 134512640 134569956 3221224416 3221213784 1131660986 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34381 13073 16 0 213810 0 vsize: 855304 [startup+580.011 s] Raw data (loadavg): 1.00 1.01 0.86 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 56403 53 0 0 25 0 11 0 477311553 875831296 34462 4294967295 134512640 134569956 3221224416 3221214176 1131660995 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34462 13073 16 0 213810 0 vsize: 855304 [startup+590.011 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 57393 53 0 0 25 0 11 0 477311553 875831296 34542 4294967295 134512640 134569956 3221224416 3221214848 1131336283 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34542 13073 16 0 213810 0 vsize: 855304 [startup+600.011 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 58383 53 0 0 25 0 11 0 477311553 875831296 34619 4294967295 134512640 134569956 3221224416 3221213756 1085679260 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 34619 13073 16 0 213810 0 vsize: 855304 [startup+610.011 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 59373 53 0 0 25 0 11 0 477311553 875831296 34619 4294967295 134512640 134569956 3221224416 3221214848 1131336256 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 34619 13073 16 0 213810 0 vsize: 855304 [startup+620.012 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 60353 53 0 0 25 0 11 0 477311553 875831296 34832 4294967295 134512640 134569956 3221224416 3221213892 1131650592 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34832 13073 16 0 213810 0 vsize: 855304 [startup+630.013 s] Raw data (loadavg): 1.00 1.01 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 61342 53 0 0 25 0 11 0 477311553 875831296 34907 4294967295 134512640 134569956 3221224416 3221214408 1131657677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34907 13073 16 0 213810 0 vsize: 855304 [startup+640.014 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 62332 53 0 0 25 0 11 0 477311553 875831296 34987 4294967295 134512640 134569956 3221224416 3221214736 1131349295 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34987 13073 16 0 213810 0 vsize: 855304 [startup+650.014 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 63322 54 0 0 25 0 11 0 477311553 875831296 34987 4294967295 134512640 134569956 3221224416 3221214092 1131654160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 34987 13073 16 0 213810 0 vsize: 855304 [startup+660.014 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 64312 54 0 0 25 0 11 0 477311553 875831296 35054 4294967295 134512640 134569956 3221224416 3221214848 1131336044 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35054 13073 16 0 213810 0 vsize: 855304 [startup+670.014 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 65300 54 0 0 25 0 11 0 477311553 875831296 35135 4294967295 134512640 134569956 3221224416 3221213792 1131654154 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35135 13073 16 0 213810 0 vsize: 855304 [startup+680.014 s] Raw data (loadavg): 1.00 1.00 0.87 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 66290 55 0 0 25 0 11 0 477311553 875831296 35211 4294967295 134512640 134569956 3221224416 3221214288 1085679741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 35211 13073 16 0 213810 0 vsize: 855304 [startup+690.015 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 67280 55 0 0 25 0 11 0 477311553 875831296 35274 4294967295 134512640 134569956 3221224416 3221214408 1131657700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 35274 13073 16 0 213810 0 vsize: 855304 [startup+700.014 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 68259 55 0 0 25 0 11 0 477311553 875831296 35414 4294967295 134512640 134569956 3221224416 3221214592 1131656106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35414 13073 16 0 213810 0 vsize: 855304 [startup+710.014 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 69249 55 0 0 25 0 11 0 477311553 875831296 35494 4294967295 134512640 134569956 3221224416 3221214120 1085679308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35494 13073 16 0 213810 0 vsize: 855304 [startup+720.014 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 70238 55 0 0 25 0 11 0 477311553 875831296 35561 4294967295 134512640 134569956 3221224416 3221214712 1131438459 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35561 13073 16 0 213810 0 vsize: 855304 [startup+730.015 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 71228 55 0 0 25 0 11 0 477311553 875831296 35629 4294967295 134512640 134569956 3221224416 3221214544 1131654136 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35629 13073 16 0 213810 0 vsize: 855304 [startup+740.015 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 72217 56 0 0 25 0 11 0 477311553 875831296 35701 4294967295 134512640 134569956 3221224416 3221214088 1131656361 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35701 13073 16 0 213810 0 vsize: 855304 [startup+750.015 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 73207 56 0 0 25 0 11 0 477311553 875831296 35769 4294967295 134512640 134569956 3221224416 3221214536 1131656308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35769 13073 16 0 213810 0 vsize: 855304 [startup+760.016 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 74196 57 0 0 25 0 11 0 477311553 875831296 35837 4294967295 134512640 134569956 3221224416 3221214736 1131349263 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35837 13073 16 0 213810 0 vsize: 855304 [startup+770.016 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 75185 57 0 0 25 0 11 0 477311553 875831296 35907 4294967295 134512640 134569956 3221224416 3221213792 1131654161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35907 13073 16 0 213810 0 vsize: 855304 [startup+780.017 s] Raw data (loadavg): 1.00 1.00 0.88 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 76175 57 0 0 25 0 11 0 477311553 875831296 35979 4294967295 134512640 134569956 3221224416 3221214424 1131656106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 35979 13073 16 0 213810 0 vsize: 855304 [startup+790.017 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 77164 58 0 0 25 0 11 0 477311553 875831296 36041 4294967295 134512640 134569956 3221224416 3221214800 1131260827 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36041 13073 16 0 213810 0 vsize: 855304 [startup+800.017 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 78153 58 0 0 25 0 11 0 477311553 875831296 36099 4294967295 134512640 134569956 3221224416 3221214848 1131336271 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36099 13073 16 0 213810 0 vsize: 855304 [startup+810.018 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 79132 58 0 0 24 0 11 0 477311553 875831296 36244 4294967295 134512640 134569956 3221224416 3221214736 1131348375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36244 13073 16 0 213810 0 vsize: 855304 [startup+820.019 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) S 3566 3260 3259 0 -1 0 18168 0 1 0 80130 58 0 0 25 0 11 0 477311553 875831296 36253 4294967295 134512640 134569956 3221224416 3221213456 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36253 13073 16 0 213810 0 vsize: 855304 [startup+830.019 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 81111 59 0 0 25 0 11 0 477311553 875831296 36445 4294967295 134512640 134569956 3221224416 3221214516 1131656064 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36445 13073 16 0 213810 0 vsize: 855304 [startup+840.02 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 82101 59 0 0 25 0 11 0 477311553 875831296 36523 4294967295 134512640 134569956 3221224416 3221214064 1131661132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 36523 13073 16 0 213810 0 vsize: 855304 [startup+850.019 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 83091 59 0 0 25 0 11 0 477311553 875831296 36523 4294967295 134512640 134569956 3221224416 3221214480 1131656330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36523 13073 16 0 213810 0 vsize: 855304 [startup+860.02 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 84080 59 0 0 25 0 11 0 477311553 875831296 36683 4294967295 134512640 134569956 3221224416 3221214400 1085679321 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36683 13073 16 0 213810 0 vsize: 855304 [startup+870.02 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 85060 60 0 0 24 0 11 0 477311553 875831296 36748 4294967295 134512640 134569956 3221224416 3221214848 1131336194 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36748 13073 16 0 213810 0 vsize: 855304 [startup+880.021 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 86049 60 0 0 25 0 11 0 477311553 875831296 36808 4294967295 134512640 134569956 3221224416 3221213728 1131661101 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36808 13073 16 0 213810 0 vsize: 855304 [startup+890.021 s] Raw data (loadavg): 1.00 1.00 0.89 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 87038 60 0 0 25 0 11 0 477311553 875831296 36882 4294967295 134512640 134569956 3221224416 3221213816 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 36882 13073 16 0 213810 0 vsize: 855304 [startup+900.021 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 88027 60 0 0 25 0 11 0 477311553 875831296 37026 4294967295 134512640 134569956 3221224416 3221214208 1131654161 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 37026 13073 16 0 213810 0 vsize: 855304 [startup+910.021 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 89027 61 0 0 25 0 11 0 477311553 875831296 37026 4294967295 134512640 134569956 3221224416 3221214040 1131654136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37026 13073 16 0 213810 0 vsize: 855304 [startup+920.02 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 90017 61 0 0 25 0 11 0 477311553 875831296 37095 4294967295 134512640 134569956 3221224416 3221214376 1131654136 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 37095 13073 16 0 213810 0 vsize: 855304 [startup+930.022 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 91017 61 0 0 25 0 11 0 477311553 875831296 37095 4294967295 134512640 134569956 3221224416 3221214840 1131666780 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37095 13073 16 0 213810 0 vsize: 855304 [startup+940.022 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 92005 61 0 0 25 0 11 0 477311553 875831296 37177 4294967295 134512640 134569956 3221224416 3221213456 1131654161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37177 13073 16 0 213810 0 vsize: 855304 [startup+950.021 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 92994 62 0 0 25 0 11 0 477311553 875831296 37232 4294967295 134512640 134569956 3221224416 3221214736 1130915530 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 37232 13073 16 0 213810 0 vsize: 855304 [startup+960.021 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 93984 62 0 0 25 0 11 0 477311553 875831296 37307 4294967295 134512640 134569956 3221224416 3221214096 1131654161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37307 13073 16 0 213810 0 vsize: 855304 [startup+970.021 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 94972 62 0 0 25 0 11 0 477311553 875831296 37383 4294967295 134512640 134569956 3221224416 3221213952 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 37383 13073 16 0 213810 0 vsize: 855304 [startup+980.022 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 95961 62 0 0 25 0 11 0 477311553 875831296 37452 4294967295 134512640 134569956 3221224416 3221214152 1131654129 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 37452 13073 16 0 213810 0 vsize: 855304 [startup+990.022 s] Raw data (loadavg): 1.00 1.00 0.90 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 96961 63 0 0 25 0 11 0 477311553 875831296 37452 4294967295 134512640 134569956 3221224416 3221214712 1131438416 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37452 13073 16 0 213810 0 vsize: 855304 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 97949 63 0 0 25 0 11 0 477311553 875831296 37522 4294967295 134512640 134569956 3221224416 3221214800 1131269063 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 37522 13073 16 0 213810 0 vsize: 855304 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 98939 63 0 0 25 0 11 0 477311553 875831296 37577 4294967295 134512640 134569956 3221224416 3221214016 1131657890 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37577 13073 16 0 213810 0 vsize: 855304 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 99928 63 0 0 25 0 11 0 477311553 875831296 37657 4294967295 134512640 134569956 3221224416 3221213896 1131661160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37657 13073 16 0 213810 0 vsize: 855304 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 100917 63 0 0 25 0 11 0 477311553 875831296 37737 4294967295 134512640 134569956 3221224416 3221213904 1131654136 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 37737 13073 16 0 213810 0 vsize: 855304 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 101906 63 0 0 25 0 11 0 477311553 875831296 37812 4294967295 134512640 134569956 3221224416 3221214472 1131650581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37812 13073 16 0 213810 0 vsize: 855304 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 102895 63 0 0 25 0 11 0 477311553 875831296 37883 4294967295 134512640 134569956 3221224416 3221214480 1131585132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37883 13073 16 0 213810 0 vsize: 855304 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 103885 63 0 0 25 0 11 0 477311553 875831296 37951 4294967295 134512640 134569956 3221224416 3221214288 1085679305 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37951 13073 16 0 213810 0 vsize: 855304 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 104885 63 0 0 25 0 11 0 477311553 875831296 37951 4294967295 134512640 134569956 3221224416 3221213952 1085679313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 37951 13073 16 0 213810 0 vsize: 855304 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 105874 63 0 0 25 0 11 0 477311553 875831296 38027 4294967295 134512640 134569956 3221224416 3221214208 1131654136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38027 13073 16 0 213810 0 vsize: 855304 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 106863 63 0 0 25 0 11 0 477311553 875831296 38091 4294967295 134512640 134569956 3221224416 3221214224 1085679766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38091 13073 16 0 213810 0 vsize: 855304 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 107853 63 0 0 25 0 11 0 477311553 875831296 38175 4294967295 134512640 134569956 3221224416 3221213792 1131654136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38175 13073 16 0 213810 0 vsize: 855304 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 108853 63 0 0 25 0 11 0 477311553 875831296 38175 4294967295 134512640 134569956 3221224416 3221213980 1131654160 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 38175 13073 16 0 213810 0 vsize: 855304 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 109842 63 0 0 25 0 11 0 477311553 875831296 38252 4294967295 134512640 134569956 3221224416 3221214148 1085632316 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38252 13073 16 0 213810 0 vsize: 855304 [startup+1130.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 110831 64 0 0 25 0 11 0 477311553 875831296 38324 4294967295 134512640 134569956 3221224416 3221214024 1131650581 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 38324 13073 16 0 213810 0 vsize: 855304 [startup+1140.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 111821 64 0 0 25 0 11 0 477311553 875831296 38402 4294967295 134512640 134569956 3221224416 3221213924 1131654160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38402 13073 16 0 213810 0 vsize: 855304 [startup+1150.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 112811 64 0 0 25 0 11 0 477311553 875831296 38475 4294967295 134512640 134569956 3221224416 3221214456 1085679296 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38475 13073 16 0 213810 0 vsize: 855304 [startup+1160.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 113801 64 0 0 25 0 11 0 477311553 875831296 38546 4294967295 134512640 134569956 3221224416 3221214176 1085679272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38546 13073 16 0 213810 0 vsize: 855304 [startup+1170.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 114791 64 0 0 25 0 11 0 477311553 875831296 38607 4294967295 134512640 134569956 3221224416 3221213756 1131654160 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38607 13073 16 0 213810 0 vsize: 855304 [startup+1180.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 115780 64 0 0 25 0 11 0 477311553 875831296 38688 4294967295 134512640 134569956 3221224416 3221214840 1131667132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38688 13073 16 0 213810 0 vsize: 855304 [startup+1190.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 116770 64 0 0 25 0 11 0 477311553 875831296 38762 4294967295 134512640 134569956 3221224416 3221214848 1131336271 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38762 13073 16 0 213810 0 vsize: 855304 [startup+1200.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 117760 64 0 0 25 0 11 0 477311553 875831296 38843 4294967295 134512640 134569956 3221224416 3221214536 1131656106 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 213826 38843 13073 16 0 213810 0 vsize: 855304 [startup+1210.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 118749 64 0 0 21 0 11 0 477311553 875831296 38915 4294967295 134512640 134569956 3221224416 3221213592 1085679473 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38915 13073 16 0 213810 0 vsize: 855304 [startup+1220.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 119749 64 0 0 25 0 11 0 477311553 875831296 38915 4294967295 134512640 134569956 3221224416 3221213928 1131654161 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38915 13073 16 0 213810 0 vsize: 855304 [startup+1230.03 s] Raw data (loadavg): 1.00 1.00 0.91 2/64 3577 Raw data (stat): 3567 (java) R 3566 3260 3259 0 -1 0 18168 0 1 0 120738 64 0 0 25 0 11 0 477311553 875831296 38981 4294967295 134512640 134569956 3221224416 3221213368 1131654218 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 213826 38981 13073 16 0 213810 0 vsize: 855304 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.16 s] Raw data (loadavg): 1.00 1.00 0.91 1/54 3579 Raw data (stat): 3567 (java) Z 3566 3260 3259 0 -1 1036 18168 15337 1 0 120744 64 1898 37 25 0 1 0 477311553 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1230.16 CPU time (s): 1227.45 CPU user time (s): 1226.43 CPU system time (s): 1.02184 CPU usage (%): 99.7801 Max. virtual memory (Kb): 858000 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####