Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb |
MD5SUM | ba509931ad93c2223be235a06a9b3100 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 84 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01884 |
Number of variables | 200 |
Total number of constraints | 900 |
Number of constraints which are clauses | 900 |
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 | 14 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-04-13 16:42:56 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1620 boxname=wulflinc11 idbench=180 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: ba509931ad93c2223be235a06a9b3100 /oldhome/oroussel/tmp/wulflinc11/normalized-jnh201.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-jnh201.opb IDLAUNCH: 1620 /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: 929624 kB Buffers: 32704 kB Cached: 48112 kB SwapCached: 4932 kB Active: 48052 kB Inactive: 40536 kB HighTotal: 131008 kB HighFree: 79128 kB LowTotal: 903652 kB LowFree: 850496 kB SwapTotal: 2097136 kB SwapFree: 2092204 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6924 kB Slab: 10860 kB Committed_AS: 63488 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-13 17:03:39 (client local time) WITH STATUS 143 IN SECONDS stats: 1620 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc11/normalized-jnh201.opb c reading problem c [nbvar=200] c [nbconstr=900] c time 1.86 c #vars 200 c #clauses 900 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=92 c Current CPU time (ms) : 5.872 c starts : 1 c conflicts : 35 c decisions : 94 c propagations : 1897 c inspects : 8388 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 35 c root simplifications : 1 c c CURRENT OPTIMUM=91 c Current CPU time (ms) : 8.019 c starts : 2 c conflicts : 56 c decisions : 163 c propagations : 2836 c inspects : 12951 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 56 c root simplifications : 2 c c CURRENT OPTIMUM=90 c Current CPU time (ms) : 9.312 c starts : 3 c conflicts : 80 c decisions : 261 c propagations : 3763 c inspects : 19070 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 80 c root simplifications : 3 c c CURRENT OPTIMUM=89 c Current CPU time (ms) : 11.481 c starts : 4 c conflicts : 120 c decisions : 352 c propagations : 5978 c inspects : 38268 c learned literals : 0 c learned binary clauses : 1 c learned ternary clauses : 0 c learned clauses : 120 c root simplifications : 4 #### 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): 1.12 1.03 0.93 2/54 1135 Raw data (stat): 1135 (runsolver) R 1134 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419255421 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.0008 s] Raw data (loadavg): 1.33 1.08 0.94 4/64 1148 Raw data (stat): 1135 (java) S 1134 32461 32460 0 -1 0 18112 3 1 0 543 42 0 0 25 0 11 0 419255421 869797888 22477 4294967295 134512640 134569956 3221224416 3221214236 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212353 22477 13073 16 0 212337 0 vsize: 849412 [startup+20.0111 s] Raw data (loadavg): 1.28 1.08 0.94 3/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18113 3 1 0 1483 42 0 0 25 0 11 0 419255421 868098048 22936 4294967295 134512640 134569956 3221224416 3221214696 1131208032 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211938 22936 13073 16 0 211922 0 vsize: 847752 [startup+30.0208 s] Raw data (loadavg): 1.24 1.08 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18113 3 1 0 2433 42 0 0 25 0 11 0 419255421 868098048 23154 4294967295 134512640 134569956 3221224416 3221214696 1131208050 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211938 23154 13073 16 0 211922 0 vsize: 847752 [startup+40.0212 s] Raw data (loadavg): 1.20 1.07 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18113 3 1 0 3375 42 0 0 25 0 11 0 419255421 868098048 23332 4294967295 134512640 134569956 3221224416 3221214752 1131334715 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211938 23332 13073 16 0 211922 0 vsize: 847752 [startup+50.0225 s] Raw data (loadavg): 1.17 1.07 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18113 3 1 0 4312 43 0 0 25 0 11 0 419255421 868098048 23625 4294967295 134512640 134569956 3221224416 3221214696 1131208459 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211938 23625 13073 16 0 211922 0 vsize: 847752 [startup+60.0222 s] Raw data (loadavg): 1.14 1.07 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 5268 43 0 0 25 0 11 0 419255421 868098048 23930 4294967295 134512640 134569956 3221224416 3221214752 1131338454 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211938 23930 13073 16 0 211922 0 vsize: 847752 [startup+70.0224 s] Raw data (loadavg): 1.12 1.06 0.94 3/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 6225 43 0 0 25 0 11 0 419255421 868098048 24075 4294967295 134512640 134569956 3221224416 3221214560 1131635113 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211938 24075 13073 16 0 211922 0 vsize: 847752 [startup+80.0228 s] Raw data (loadavg): 1.10 1.06 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 7187 43 0 0 25 0 11 0 419255421 866889728 23886 4294967295 134512640 134569956 3221224416 3221214792 1131287705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 23886 13073 16 0 211627 0 vsize: 846572 [startup+90.0226 s] Raw data (loadavg): 1.08 1.06 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 8149 43 0 0 25 0 11 0 419255421 866889728 23974 4294967295 134512640 134569956 3221224416 3221214792 1131284133 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 23974 13073 16 0 211627 0 vsize: 846572 [startup+100.024 s] Raw data (loadavg): 1.07 1.06 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 9117 44 0 0 25 0 11 0 419255421 866889728 24064 4294967295 134512640 134569956 3221224416 3221214296 1080216962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211643 24064 13073 16 0 211627 0 vsize: 846572 [startup+110.024 s] Raw data (loadavg): 1.06 1.05 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 10080 44 0 0 25 0 11 0 419255421 866889728 24177 4294967295 134512640 134569956 3221224416 3221214728 1131255588 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24177 13073 16 0 211627 0 vsize: 846572 [startup+120.024 s] Raw data (loadavg): 1.05 1.05 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 11043 44 0 0 25 0 11 0 419255421 866889728 24263 4294967295 134512640 134569956 3221224416 3221214632 1131447243 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24263 13073 16 0 211627 0 vsize: 846572 [startup+130.025 s] Raw data (loadavg): 1.04 1.05 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 12004 44 0 0 25 0 11 0 419255421 866889728 24319 4294967295 134512640 134569956 3221224416 3221214696 1131208792 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24319 13073 16 0 211627 0 vsize: 846572 [startup+140.025 s] Raw data (loadavg): 1.04 1.05 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 12964 44 0 0 25 0 11 0 419255421 866889728 24441 4294967295 134512640 134569956 3221224416 3221214948 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24441 13073 16 0 211627 0 vsize: 846572 [startup+150.027 s] Raw data (loadavg): 1.03 1.05 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 13932 45 0 0 25 0 11 0 419255421 866889728 24549 4294967295 134512640 134569956 3221224416 3221214696 1131208108 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24549 13073 16 0 211627 0 vsize: 846572 [startup+160.028 s] Raw data (loadavg): 1.02 1.04 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 14900 45 0 0 25 0 11 0 419255421 866889728 24653 4294967295 134512640 134569956 3221224416 3221214952 1131252249 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24653 13073 16 0 211627 0 vsize: 846572 [startup+170.027 s] Raw data (loadavg): 1.02 1.04 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 15873 45 0 0 25 0 11 0 419255421 866889728 24728 4294967295 134512640 134569956 3221224416 3221214696 1131208477 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24728 13073 16 0 211627 0 vsize: 846572 [startup+180.027 s] Raw data (loadavg): 1.02 1.04 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 16853 46 0 0 25 0 11 0 419255421 866889728 24832 4294967295 134512640 134569956 3221224416 3221214696 1131207951 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24832 13073 16 0 211627 0 vsize: 846572 [startup+190.028 s] Raw data (loadavg): 1.01 1.04 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 17833 46 0 0 25 0 11 0 419255421 866889728 24885 4294967295 134512640 134569956 3221224416 3221214792 1131284139 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24885 13073 16 0 211627 0 vsize: 846572 [startup+200.028 s] Raw data (loadavg): 1.01 1.04 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 18816 47 0 0 25 0 11 0 419255421 866889728 24917 4294967295 134512640 134569956 3221224416 3221214792 1131286409 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24917 13073 16 0 211627 0 vsize: 846572 [startup+210.028 s] Raw data (loadavg): 1.01 1.04 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 19797 47 0 0 25 0 11 0 419255421 866889728 24957 4294967295 134512640 134569956 3221224416 3221214696 1131208195 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24957 13073 16 0 211627 0 vsize: 846572 [startup+220.029 s] Raw data (loadavg): 1.01 1.03 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 20778 48 0 0 25 0 11 0 419255421 866889728 24983 4294967295 134512640 134569956 3221224416 3221214696 1131208411 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 24983 13073 16 0 211627 0 vsize: 846572 [startup+230.03 s] Raw data (loadavg): 1.01 1.03 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 21751 48 0 0 25 0 11 0 419255421 866889728 25026 4294967295 134512640 134569956 3221224416 3221214696 1131208285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25026 13073 16 0 211627 0 vsize: 846572 [startup+240.031 s] Raw data (loadavg): 1.00 1.03 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 22721 48 0 0 25 0 11 0 419255421 866889728 25069 4294967295 134512640 134569956 3221224416 3221214696 1131208886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25069 13073 16 0 211627 0 vsize: 846572 [startup+250.032 s] Raw data (loadavg): 1.00 1.03 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 23691 48 0 0 25 0 11 0 419255421 866889728 25113 4294967295 134512640 134569956 3221224416 3221214976 1131270017 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25113 13073 16 0 211627 0 vsize: 846572 [startup+260.032 s] Raw data (loadavg): 1.00 1.03 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 24658 48 0 0 25 0 11 0 419255421 866889728 25158 4294967295 134512640 134569956 3221224416 3221214696 1131208886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25158 13073 16 0 211627 0 vsize: 846572 [startup+270.032 s] Raw data (loadavg): 1.00 1.03 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 25623 48 0 0 25 0 11 0 419255421 866889728 25305 4294967295 134512640 134569956 3221224416 3221214236 1131624140 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25305 13073 16 0 211627 0 vsize: 846572 [startup+280.033 s] Raw data (loadavg): 1.00 1.03 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 26600 49 0 0 25 0 11 0 419255421 866889728 25383 4294967295 134512640 134569956 3221224416 3221214696 1131207877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25383 13073 16 0 211627 0 vsize: 846572 [startup+290.034 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 27576 49 0 0 25 0 11 0 419255421 866889728 25434 4294967295 134512640 134569956 3221224416 3221214696 1131208443 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25434 13073 16 0 211627 0 vsize: 846572 [startup+300.034 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 28554 49 0 0 25 0 11 0 419255421 866889728 25523 4294967295 134512640 134569956 3221224416 3221214792 1131284143 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25523 13073 16 0 211627 0 vsize: 846572 [startup+310.035 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 29532 50 0 0 24 0 11 0 419255421 866889728 25561 4294967295 134512640 134569956 3221224416 3221214792 1131286329 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25561 13073 16 0 211627 0 vsize: 846572 [startup+320.035 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 30512 51 0 0 25 0 11 0 419255421 866889728 25594 4294967295 134512640 134569956 3221224416 3221214464 1131657058 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25594 13073 16 0 211627 0 vsize: 846572 [startup+330.036 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 31490 51 0 0 25 0 11 0 419255421 866889728 25624 4294967295 134512640 134569956 3221224416 3221214696 1131208463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25624 13073 16 0 211627 0 vsize: 846572 [startup+340.037 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 32467 51 0 0 25 0 11 0 419255421 866889728 25698 4294967295 134512640 134569956 3221224416 3221214792 1131285470 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25698 13073 16 0 211627 0 vsize: 846572 [startup+350.037 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 33445 52 0 0 25 0 11 0 419255421 866889728 25743 4294967295 134512640 134569956 3221224416 3221214792 1131284375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25743 13073 16 0 211627 0 vsize: 846572 [startup+360.038 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 34427 52 0 0 25 0 11 0 419255421 866889728 25773 4294967295 134512640 134569956 3221224416 3221214696 1131208463 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25773 13073 16 0 211627 0 vsize: 846572 [startup+370.038 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 35406 52 0 0 22 0 11 0 419255421 866889728 25832 4294967295 134512640 134569956 3221224416 3221214792 1131284287 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25832 13073 16 0 211627 0 vsize: 846572 [startup+380.038 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 36386 53 0 0 25 0 11 0 419255421 866889728 25880 4294967295 134512640 134569956 3221224416 3221214424 1131624913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25880 13073 16 0 211627 0 vsize: 846572 [startup+390.038 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 37367 53 0 0 25 0 11 0 419255421 866889728 25914 4294967295 134512640 134569956 3221224416 3221214696 1131207873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25914 13073 16 0 211627 0 vsize: 846572 [startup+400.04 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 38345 53 0 0 25 0 11 0 419255421 866889728 25956 4294967295 134512640 134569956 3221224416 3221214792 1131284438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25956 13073 16 0 211627 0 vsize: 846572 [startup+410.041 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 39324 54 0 0 25 0 11 0 419255421 866889728 25993 4294967295 134512640 134569956 3221224416 3221214792 1131285138 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 25993 13073 16 0 211627 0 vsize: 846572 [startup+420.041 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 40300 54 0 0 25 0 11 0 419255421 866889728 26032 4294967295 134512640 134569956 3221224416 3221214696 1131207873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26032 13073 16 0 211627 0 vsize: 846572 [startup+430.042 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 41275 55 0 0 25 0 11 0 419255421 866889728 26083 4294967295 134512640 134569956 3221224416 3221214792 1131284307 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26083 13073 16 0 211627 0 vsize: 846572 [startup+440.042 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 42252 55 0 0 25 0 11 0 419255421 866889728 26143 4294967295 134512640 134569956 3221224416 3221214696 1131208759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26143 13073 16 0 211627 0 vsize: 846572 [startup+450.043 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 43227 55 0 0 25 0 11 0 419255421 866889728 26191 4294967295 134512640 134569956 3221224416 3221214788 1131207852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26191 13073 16 0 211627 0 vsize: 846572 [startup+460.044 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 44201 55 0 0 25 0 11 0 419255421 866889728 26233 4294967295 134512640 134569956 3221224416 3221214696 1131208217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26233 13073 16 0 211627 0 vsize: 846572 [startup+470.044 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 45177 55 0 0 25 0 11 0 419255421 866889728 26300 4294967295 134512640 134569956 3221224416 3221214792 1131290530 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26300 13073 16 0 211627 0 vsize: 846572 [startup+480.045 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 46157 56 0 0 25 0 11 0 419255421 866889728 26371 4294967295 134512640 134569956 3221224416 3221214696 1131207980 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26371 13073 16 0 211627 0 vsize: 846572 [startup+490.045 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 47133 56 0 0 25 0 11 0 419255421 866889728 26409 4294967295 134512640 134569956 3221224416 3221214792 1131284375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26409 13073 16 0 211627 0 vsize: 846572 [startup+500.046 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 48111 56 0 0 25 0 11 0 419255421 866889728 26451 4294967295 134512640 134569956 3221224416 3221214696 1131208285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26451 13073 16 0 211627 0 vsize: 846572 [startup+510.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 49090 56 0 0 25 0 11 0 419255421 866889728 26505 4294967295 134512640 134569956 3221224416 3221214696 1131208217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26505 13073 16 0 211627 0 vsize: 846572 [startup+520.047 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 50066 57 0 0 25 0 11 0 419255421 866889728 26542 4294967295 134512640 134569956 3221224416 3221214696 1131208285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26542 13073 16 0 211627 0 vsize: 846572 [startup+530.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 51040 58 0 0 25 0 11 0 419255421 866889728 26589 4294967295 134512640 134569956 3221224416 3221214564 1131657701 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26589 13073 16 0 211627 0 vsize: 846572 [startup+540.048 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 52015 58 0 0 25 0 11 0 419255421 866889728 26625 4294967295 134512640 134569956 3221224416 3221214672 1131208745 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26625 13073 16 0 211627 0 vsize: 846572 [startup+550.049 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 52990 59 0 0 25 0 11 0 419255421 866889728 26681 4294967295 134512640 134569956 3221224416 3221214768 1131285447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26681 13073 16 0 211627 0 vsize: 846572 [startup+560.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 53969 59 0 0 25 0 11 0 419255421 866889728 26725 4294967295 134512640 134569956 3221224416 3221214552 1131624962 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26725 13073 16 0 211627 0 vsize: 846572 [startup+570.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 54945 59 0 0 18 0 11 0 419255421 866889728 26780 4294967295 134512640 134569956 3221224416 3221214552 1131624852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26780 13073 16 0 211627 0 vsize: 846572 [startup+580.05 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 55922 60 0 0 25 0 11 0 419255421 866889728 26827 4294967295 134512640 134569956 3221224416 3221214672 1131241620 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26827 13073 16 0 211627 0 vsize: 846572 [startup+590.051 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 56894 61 0 0 25 0 11 0 419255421 866889728 26867 4294967295 134512640 134569956 3221224416 3221214224 1131624922 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26867 13073 16 0 211627 0 vsize: 846572 [startup+600.052 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 57869 61 0 0 25 0 11 0 419255421 866889728 26893 4294967295 134512640 134569956 3221224416 3221214124 1085679264 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26893 13073 16 0 211627 0 vsize: 846572 [startup+610.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 58836 61 0 0 25 0 11 0 419255421 866889728 26923 4294967295 134512640 134569956 3221224416 3221214672 1131208063 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26923 13073 16 0 211627 0 vsize: 846572 [startup+620.053 s] Raw data (loadavg): 1.00 1.00 0.94 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 59800 61 0 0 25 0 11 0 419255421 866889728 26978 4294967295 134512640 134569956 3221224416 3221214072 1131635272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 26978 13073 16 0 211627 0 vsize: 846572 [startup+630.055 s] Raw data (loadavg): 1.08 1.02 0.95 3/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 60755 61 0 0 25 0 11 0 419255421 866889728 27072 4294967295 134512640 134569956 3221224416 3221214768 1131285532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27072 13073 16 0 211627 0 vsize: 846572 [startup+640.055 s] Raw data (loadavg): 1.07 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 61711 62 0 0 24 0 11 0 419255421 866889728 27164 4294967295 134512640 134569956 3221224416 3221214464 1085679325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27164 13073 16 0 211627 0 vsize: 846572 [startup+650.056 s] Raw data (loadavg): 1.14 1.03 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 62673 62 0 0 25 0 11 0 419255421 866889728 27286 4294967295 134512640 134569956 3221224416 3221214672 1131207877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27286 13073 16 0 211627 0 vsize: 846572 [startup+660.056 s] Raw data (loadavg): 1.11 1.03 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 63648 62 0 0 25 0 11 0 419255421 866889728 27397 4294967295 134512640 134569956 3221224416 3221214928 1131252249 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211643 27397 13073 16 0 211627 0 vsize: 846572 [startup+670.057 s] Raw data (loadavg): 1.10 1.03 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 64621 63 0 0 25 0 11 0 419255421 866889728 27473 4294967295 134512640 134569956 3221224416 3221214584 1131241509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27473 13073 16 0 211627 0 vsize: 846572 [startup+680.057 s] Raw data (loadavg): 1.08 1.03 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 65595 63 0 0 25 0 11 0 419255421 866889728 27566 4294967295 134512640 134569956 3221224416 3221214552 1131624888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27566 13073 16 0 211627 0 vsize: 846572 [startup+690.057 s] Raw data (loadavg): 1.07 1.03 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 66566 64 0 0 25 0 11 0 419255421 866889728 27584 4294967295 134512640 134569956 3221224416 3221214768 1131290682 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27584 13073 16 0 211627 0 vsize: 846572 [startup+700.058 s] Raw data (loadavg): 1.06 1.03 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 67534 64 0 0 25 0 11 0 419255421 866889728 27596 4294967295 134512640 134569956 3221224416 3221214672 1131243246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27596 13073 16 0 211627 0 vsize: 846572 [startup+710.059 s] Raw data (loadavg): 1.05 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 68506 64 0 0 25 0 11 0 419255421 866889728 27708 4294967295 134512640 134569956 3221224416 3221214764 1131209123 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27708 13073 16 0 211627 0 vsize: 846572 [startup+720.059 s] Raw data (loadavg): 1.04 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 69487 64 0 0 25 0 11 0 419255421 866889728 27782 4294967295 134512640 134569956 3221224416 3221214672 1131207962 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211643 27782 13073 16 0 211627 0 vsize: 846572 [startup+730.059 s] Raw data (loadavg): 1.03 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 70458 65 0 0 24 0 11 0 419255421 866889728 27822 4294967295 134512640 134569956 3221224416 3221214948 1131252198 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27822 13073 16 0 211627 0 vsize: 846572 [startup+740.06 s] Raw data (loadavg): 1.03 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 71430 65 0 0 25 0 11 0 419255421 866889728 27838 4294967295 134512640 134569956 3221224416 3221214768 1131284404 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27838 13073 16 0 211627 0 vsize: 846572 [startup+750.06 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 72394 65 0 0 25 0 11 0 419255421 866889728 27851 4294967295 134512640 134569956 3221224416 3221214744 1131334596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27851 13073 16 0 211627 0 vsize: 846572 [startup+760.06 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 73360 66 0 0 25 0 11 0 419255421 866889728 27908 4294967295 134512640 134569956 3221224416 3221214696 1131657680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 27908 13073 16 0 211627 0 vsize: 846572 [startup+770.061 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 74329 66 0 0 25 0 11 0 419255421 866889728 28028 4294967295 134512640 134569956 3221224416 3221214672 1131207948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28028 13073 16 0 211627 0 vsize: 846572 [startup+780.062 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 75295 66 0 0 25 0 11 0 419255421 866889728 28106 4294967295 134512640 134569956 3221224416 3221214768 1131284272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28106 13073 16 0 211627 0 vsize: 846572 [startup+790.062 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 76264 67 0 0 25 0 11 0 419255421 866889728 28177 4294967295 134512640 134569956 3221224416 3221214672 1131208285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28177 13073 16 0 211627 0 vsize: 846572 [startup+800.063 s] Raw data (loadavg): 1.01 1.02 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 77235 67 0 0 25 0 11 0 419255421 866889728 28255 4294967295 134512640 134569956 3221224416 3221214768 1131284314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28255 13073 16 0 211627 0 vsize: 846572 [startup+810.063 s] Raw data (loadavg): 1.01 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 78213 67 0 0 25 0 11 0 419255421 866889728 28326 4294967295 134512640 134569956 3221224416 3221214672 1131207865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28326 13073 16 0 211627 0 vsize: 846572 [startup+820.063 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 79195 68 0 0 25 0 11 0 419255421 866889728 28406 4294967295 134512640 134569956 3221224416 3221214672 1131208120 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28406 13073 16 0 211627 0 vsize: 846572 [startup+830.064 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 80178 68 0 0 25 0 11 0 419255421 866889728 28421 4294967295 134512640 134569956 3221224416 3221214672 1131208370 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28421 13073 16 0 211627 0 vsize: 846572 [startup+840.064 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 81157 68 0 0 25 0 11 0 419255421 866889728 28431 4294967295 134512640 134569956 3221224416 3221214672 1131323535 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28431 13073 16 0 211627 0 vsize: 846572 [startup+850.066 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 82134 69 0 0 25 0 11 0 419255421 866889728 28443 4294967295 134512640 134569956 3221224416 3221214768 1131284375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28443 13073 16 0 211627 0 vsize: 846572 [startup+860.066 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 83105 69 0 0 25 0 11 0 419255421 866889728 28454 4294967295 134512640 134569956 3221224416 3221214672 1131208023 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28454 13073 16 0 211627 0 vsize: 846572 [startup+870.067 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 84079 69 0 0 25 0 11 0 419255421 866889728 28481 4294967295 134512640 134569956 3221224416 3221214576 1131510577 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28481 13073 16 0 211627 0 vsize: 846572 [startup+880.068 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 85051 69 0 0 25 0 11 0 419255421 866889728 28547 4294967295 134512640 134569956 3221224416 3221214672 1131208447 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28547 13073 16 0 211627 0 vsize: 846572 [startup+890.069 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 86024 70 0 0 25 0 11 0 419255421 866889728 28618 4294967295 134512640 134569956 3221224416 3221214768 1131284314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28618 13073 16 0 211627 0 vsize: 846572 [startup+900.07 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 87003 70 0 0 25 0 11 0 419255421 866889728 28659 4294967295 134512640 134569956 3221224416 3221214672 1131208948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28659 13073 16 0 211627 0 vsize: 846572 [startup+910.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 87981 70 0 0 25 0 11 0 419255421 866889728 28722 4294967295 134512640 134569956 3221224416 3221214672 1131207865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28722 13073 16 0 211627 0 vsize: 846572 [startup+920.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 88960 71 0 0 25 0 11 0 419255421 866889728 28744 4294967295 134512640 134569956 3221224416 3221214768 1131284438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28744 13073 16 0 211627 0 vsize: 846572 [startup+930.071 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 89933 71 0 0 25 0 11 0 419255421 866889728 28793 4294967295 134512640 134569956 3221224416 3221214672 1131208285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28793 13073 16 0 211627 0 vsize: 846572 [startup+940.072 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 90909 71 0 0 25 0 11 0 419255421 866889728 28821 4294967295 134512640 134569956 3221224416 3221214672 1131208306 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28821 13073 16 0 211627 0 vsize: 846572 [startup+950.073 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 91880 72 0 0 25 0 11 0 419255421 866889728 28873 4294967295 134512640 134569956 3221224416 3221214768 1131284283 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28873 13073 16 0 211627 0 vsize: 846572 [startup+960.073 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 92852 72 0 0 25 0 11 0 419255421 866889728 28924 4294967295 134512640 134569956 3221224416 3221214672 1131208285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28924 13073 16 0 211627 0 vsize: 846572 [startup+970.074 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 93826 72 0 0 25 0 11 0 419255421 866889728 28986 4294967295 134512640 134569956 3221224416 3221214768 1131284450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 28986 13073 16 0 211627 0 vsize: 846572 [startup+980.075 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 94800 73 0 0 25 0 11 0 419255421 866889728 29043 4294967295 134512640 134569956 3221224416 3221214768 1131286538 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29043 13073 16 0 211627 0 vsize: 846572 [startup+990.076 s] Raw data (loadavg): 1.00 1.00 0.95 3/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 95775 73 0 0 25 0 11 0 419255421 866889728 29102 4294967295 134512640 134569956 3221224416 3221214672 1131208773 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211643 29102 13073 16 0 211627 0 vsize: 846572 [startup+1000.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 96752 73 0 0 25 0 11 0 419255421 866889728 29145 4294967295 134512640 134569956 3221224416 3221214672 1131208282 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29145 13073 16 0 211627 0 vsize: 846572 [startup+1010.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 97731 74 0 0 25 0 11 0 419255421 866889728 29168 4294967295 134512640 134569956 3221224416 3221214672 1131208073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29168 13073 16 0 211627 0 vsize: 846572 [startup+1020.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 1149 Raw data (stat): 1135 (java) S 1134 32461 32460 0 -1 0 18114 3 1 0 98711 74 0 0 25 0 11 0 419255421 866889728 29217 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29217 13073 16 0 211627 0 vsize: 846572 [startup+1030.08 s] Raw data (loadavg): 1.00 1.00 0.95 2/67 1187 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 99693 74 0 0 25 0 11 0 419255421 866889728 29249 4294967295 134512640 134569956 3221224416 3221214768 1131284375 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211643 29249 13073 16 0 211627 0 vsize: 846572 [startup+1040.08 s] Raw data (loadavg): 1.07 1.02 0.96 2/64 1202 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 100675 75 0 0 23 0 11 0 419255421 866889728 29266 4294967295 134512640 134569956 3221224416 3221214672 1131208231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29266 13073 16 0 211627 0 vsize: 846572 [startup+1050.08 s] Raw data (loadavg): 1.06 1.02 0.96 2/64 1202 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 101657 75 0 0 25 0 11 0 419255421 866889728 29281 4294967295 134512640 134569956 3221224416 3221214672 1131208268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29281 13073 16 0 211627 0 vsize: 846572 [startup+1060.08 s] Raw data (loadavg): 1.05 1.01 0.96 2/64 1202 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 102639 75 0 0 25 0 11 0 419255421 866889728 29296 4294967295 134512640 134569956 3221224416 3221214672 1131208891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29296 13073 16 0 211627 0 vsize: 846572 [startup+1070.08 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 1202 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 103619 75 0 0 25 0 11 0 419255421 866889728 29311 4294967295 134512640 134569956 3221224416 3221214672 1131207873 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29311 13073 16 0 211627 0 vsize: 846572 [startup+1080.08 s] Raw data (loadavg): 1.04 1.01 0.96 2/64 1202 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 104603 75 0 0 25 0 11 0 419255421 866889728 29323 4294967295 134512640 134569956 3221224416 3221214672 1131208835 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29323 13073 16 0 211627 0 vsize: 846572 [startup+1090.08 s] Raw data (loadavg): 1.03 1.01 0.96 2/64 1202 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 105586 75 0 0 25 0 11 0 419255421 866889728 29335 4294967295 134512640 134569956 3221224416 3221214168 1131624913 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29335 13073 16 0 211627 0 vsize: 846572 [startup+1100.09 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 1202 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 106565 76 0 0 25 0 11 0 419255421 866889728 29348 4294967295 134512640 134569956 3221224416 3221214168 1131624888 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29348 13073 16 0 211627 0 vsize: 846572 [startup+1110.09 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 107547 76 0 0 25 0 11 0 419255421 866889728 29357 4294967295 134512640 134569956 3221224416 3221214672 1131208231 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211643 29357 13073 16 0 211627 0 vsize: 846572 [startup+1120.09 s] Raw data (loadavg): 1.02 1.01 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 108525 77 0 0 25 0 11 0 419255421 866889728 29367 4294967295 134512640 134569956 3221224416 3221214672 1131208231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29367 13073 16 0 211627 0 vsize: 846572 [startup+1130.09 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 109504 77 0 0 25 0 11 0 419255421 866889728 29378 4294967295 134512640 134569956 3221224416 3221214672 1131208285 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29378 13073 16 0 211627 0 vsize: 846572 [startup+1140.09 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 110482 77 0 0 25 0 11 0 419255421 866889728 29414 4294967295 134512640 134569956 3221224416 3221214768 1131285315 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211643 29414 13073 16 0 211627 0 vsize: 846572 [startup+1150.09 s] Raw data (loadavg): 1.01 1.01 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 111462 77 0 0 25 0 11 0 419255421 866889728 29450 4294967295 134512640 134569956 3221224416 3221214472 1131147328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29450 13073 16 0 211627 0 vsize: 846572 [startup+1160.09 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 112441 77 0 0 25 0 11 0 419255421 866889728 29465 4294967295 134512640 134569956 3221224416 3221214768 1131284386 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29465 13073 16 0 211627 0 vsize: 846572 [startup+1170.09 s] Raw data (loadavg): 1.01 1.00 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 113417 78 0 0 25 0 11 0 419255421 866889728 29478 4294967295 134512640 134569956 3221224416 3221214672 1131208349 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211643 29478 13073 16 0 211627 0 vsize: 846572 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 114397 78 0 0 25 0 11 0 419255421 866889728 29500 4294967295 134512640 134569956 3221224416 3221214768 1131284314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29500 13073 16 0 211627 0 vsize: 846572 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 115369 78 0 0 24 0 11 0 419255421 866889728 29546 4294967295 134512640 134569956 3221224416 3221214768 1131284314 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29546 13073 16 0 211627 0 vsize: 846572 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 116346 78 0 0 25 0 11 0 419255421 866889728 29584 4294967295 134512640 134569956 3221224416 3221214308 1131624128 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29584 13073 16 0 211627 0 vsize: 846572 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 117323 78 0 0 25 0 11 0 419255421 866889728 29624 4294967295 134512640 134569956 3221224416 3221214672 1131208322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29624 13073 16 0 211627 0 vsize: 846572 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 118303 78 0 0 25 0 11 0 419255421 866889728 29647 4294967295 134512640 134569956 3221224416 3221214672 1131208891 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29647 13073 16 0 211627 0 vsize: 846572 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 119276 79 0 0 25 0 11 0 419255421 866889728 29682 4294967295 134512640 134569956 3221224416 3221214672 1131207877 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211643 29682 13073 16 0 211627 0 vsize: 846572 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 0.96 2/64 1204 Raw data (stat): 1135 (java) R 1134 32461 32460 0 -1 0 18114 3 1 0 120253 79 0 0 25 0 11 0 419255421 866889728 29720 4294967295 134512640 134569956 3221224416 3221214672 1131208285 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211643 29720 13073 16 0 211627 0 vsize: 846572 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.23 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 1206 Raw data (stat): 1135 (java) Z 1134 32461 32460 0 -1 1036 18114 8145 1 0 120257 79 3183 30 25 0 1 0 419255421 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.23 CPU time (s): 1235.5 CPU user time (s): 1234.41 CPU system time (s): 1.09583 CPU usage (%): 99.6187 Max. virtual memory (Kb): 849412 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####