Name | normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb |
MD5SUM | 2ea3853c4fb57dccc00d289069858df9 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 172 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 1024 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 1024 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.06 |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc25 THE 2005-04-13 17:17:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2331 boxname=wulflinc25 idbench=259 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 2ea3853c4fb57dccc00d289069858df9 /oldhome/oroussel/tmp/wulflinc25/normalized-circ8_3.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc25/normalized-circ8_3.opb IDLAUNCH: 2331 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.220 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.220 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 910224 kB Buffers: 32296 kB Cached: 57360 kB SwapCached: 36 kB Active: 40220 kB Inactive: 52288 kB HighTotal: 131008 kB HighFree: 69916 kB LowTotal: 903652 kB LowFree: 840308 kB SwapTotal: 2097892 kB SwapFree: 2097856 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6920 kB Slab: 26288 kB Committed_AS: 63516 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-13 17:39:22 (client local time) WITH STATUS 143 IN SECONDS stats: 2331 7 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc25/normalized-circ8_3.opb c reading problem c [nbvar=1344] c [nbconstr=16096] c time 6.809 c #vars 1344 c #clauses 16376 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=206 c Current CPU time (ms) : 15.059 c starts : 2 c conflicts : 128 c decisions : 2769 c propagations : 12853 c inspects : 47855 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 128 c root simplifications : 2 c c CURRENT OPTIMUM=190 c Current CPU time (ms) : 17.892 c starts : 3 c conflicts : 169 c decisions : 2997 c propagations : 17888 c inspects : 77944 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 169 c root simplifications : 3 #### 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.94 0.99 0.95 2/54 28775 Raw data (stat): 28775 (runsolver) R 28774 28099 28098 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477695845 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+9.99999 s] Raw data (loadavg): 0.95 0.99 0.95 4/64 28785 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18070 0 1 0 699 46 0 0 25 0 11 0 477695845 862928896 21115 4294967295 134512640 134569956 3221224416 3221213852 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210676 21115 13073 16 0 210660 0 vsize: 842704 [startup+20.001 s] Raw data (loadavg): 1.19 1.04 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18084 3 1 0 1495 47 0 0 25 0 11 0 477695845 864940032 26004 4294967295 134512640 134569956 3221224416 3221214748 1131242419 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211167 26004 13073 16 0 211151 0 vsize: 844668 [startup+30.0012 s] Raw data (loadavg): 1.16 1.04 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18085 3 1 0 2415 47 0 0 24 0 11 0 477695845 864673792 26051 4294967295 134512640 134569956 3221224416 3221214856 1131343647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 26051 13073 16 0 211086 0 vsize: 844408 [startup+40.0012 s] Raw data (loadavg): 1.13 1.04 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18085 3 1 0 3337 47 0 0 25 0 11 0 477695845 864673792 26361 4294967295 134512640 134569956 3221224416 3221214856 1131343539 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 26361 13073 16 0 211086 0 vsize: 844408 [startup+50.0018 s] Raw data (loadavg): 1.11 1.04 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 4251 47 0 0 25 0 11 0 477695845 864673792 26705 4294967295 134512640 134569956 3221224416 3221214856 1131343335 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 26705 13073 16 0 211086 0 vsize: 844408 [startup+60.002 s] Raw data (loadavg): 1.09 1.04 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 5165 47 0 0 25 0 11 0 477695845 864673792 27074 4294967295 134512640 134569956 3221224416 3221214584 1131281864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 27074 13073 16 0 211086 0 vsize: 844408 [startup+70.003 s] Raw data (loadavg): 1.08 1.03 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 6068 47 0 0 25 0 11 0 477695845 864673792 27286 4294967295 134512640 134569956 3221224416 3221214576 1131584771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 27286 13073 16 0 211086 0 vsize: 844408 [startup+80.0046 s] Raw data (loadavg): 1.07 1.03 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 6989 48 0 0 25 0 11 0 477695845 864673792 27463 4294967295 134512640 134569956 3221224416 3221214768 1131385465 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 27463 13073 16 0 211086 0 vsize: 844408 [startup+90.0047 s] Raw data (loadavg): 1.06 1.03 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 7900 48 0 0 25 0 11 0 477695845 864673792 27702 4294967295 134512640 134569956 3221224416 3221214672 1131224849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 27702 13073 16 0 211086 0 vsize: 844408 [startup+100.005 s] Raw data (loadavg): 1.05 1.03 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 8812 48 0 0 25 0 11 0 477695845 864673792 27958 4294967295 134512640 134569956 3221224416 3221214592 1131249856 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 27958 13073 16 0 211086 0 vsize: 844408 [startup+110.005 s] Raw data (loadavg): 1.04 1.03 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 9726 48 0 0 25 0 11 0 477695845 864673792 28120 4294967295 134512640 134569956 3221224416 3221214584 1131281580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 28120 13073 16 0 211086 0 vsize: 844408 [startup+120.005 s] Raw data (loadavg): 1.03 1.03 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 10646 48 0 0 25 0 11 0 477695845 864673792 28389 4294967295 134512640 134569956 3221224416 3221214632 1131539798 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 28389 13073 16 0 211086 0 vsize: 844408 [startup+130.006 s] Raw data (loadavg): 1.03 1.03 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 11576 48 0 0 25 0 11 0 477695845 864673792 28695 4294967295 134512640 134569956 3221224416 3221214728 1131355327 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 28695 13073 16 0 211086 0 vsize: 844408 [startup+140.006 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 12493 48 0 0 25 0 11 0 477695845 864673792 29069 4294967295 134512640 134569956 3221224416 3221214672 1131224758 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 29069 13073 16 0 211086 0 vsize: 844408 [startup+150.005 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 13423 48 0 0 25 0 11 0 477695845 864673792 29346 4294967295 134512640 134569956 3221224416 3221214768 1131381876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 29346 13073 16 0 211086 0 vsize: 844408 [startup+160.006 s] Raw data (loadavg): 1.02 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 14341 48 0 0 25 0 11 0 477695845 864673792 29639 4294967295 134512640 134569956 3221224416 3221214584 1131281580 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 29639 13073 16 0 211086 0 vsize: 844408 [startup+170.007 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 15248 48 0 0 25 0 11 0 477695845 864673792 29959 4294967295 134512640 134569956 3221224416 3221214688 1131624915 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 29959 13073 16 0 211086 0 vsize: 844408 [startup+180.007 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 16170 48 0 0 25 0 11 0 477695845 867127296 30840 4294967295 134512640 134569956 3221224416 3221214840 1131343328 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211701 30840 13073 16 0 211685 0 vsize: 846804 [startup+190.007 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 17079 48 0 0 25 0 11 0 477695845 867127296 31084 4294967295 134512640 134569956 3221224416 3221214840 1131343647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211701 31084 13073 16 0 211685 0 vsize: 846804 [startup+200.007 s] Raw data (loadavg): 1.01 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 17988 49 0 0 25 0 11 0 477695845 867127296 31257 4294967295 134512640 134569956 3221224416 3221214680 1131624908 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211701 31257 13073 16 0 211685 0 vsize: 846804 [startup+210.007 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 18897 49 0 0 25 0 11 0 477695845 867028992 31542 4294967295 134512640 134569956 3221224416 3221214672 1131225658 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211677 31542 13073 16 0 211661 0 vsize: 846708 [startup+220.006 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) S 28774 28099 28098 0 -1 0 18086 3 1 0 19817 49 0 0 25 0 11 0 477695845 864673792 31140 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 31140 13073 16 0 211086 0 vsize: 844408 [startup+230.007 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 20729 49 0 0 25 0 11 0 477695845 864673792 31443 4294967295 134512640 134569956 3221224416 3221214672 1131225922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 31443 13073 16 0 211086 0 vsize: 844408 [startup+240.008 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) S 28774 28099 28098 0 -1 0 18086 3 1 0 21642 50 0 0 25 0 11 0 477695845 864673792 31664 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 31664 13073 16 0 211086 0 vsize: 844408 [startup+250.007 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 22549 50 0 0 25 0 11 0 477695845 864673792 31924 4294967295 134512640 134569956 3221224416 3221214576 1131281903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 31924 13073 16 0 211086 0 vsize: 844408 [startup+260.008 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 23459 51 0 0 25 0 11 0 477695845 864673792 32104 4294967295 134512640 134569956 3221224416 3221214584 1131249777 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 32104 13073 16 0 211086 0 vsize: 844408 [startup+270.009 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 24366 51 0 0 24 0 11 0 477695845 864673792 32256 4294967295 134512640 134569956 3221224416 3221214768 1131382904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 32256 13073 16 0 211086 0 vsize: 844408 [startup+280.01 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 25297 51 0 0 25 0 11 0 477695845 864673792 32454 4294967295 134512640 134569956 3221224416 3221214736 1131441728 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 32454 13073 16 0 211086 0 vsize: 844408 [startup+290.01 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 26202 52 0 0 25 0 11 0 477695845 864673792 32697 4294967295 134512640 134569956 3221224416 3221214768 1131381944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 32697 13073 16 0 211086 0 vsize: 844408 [startup+300.01 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 27122 52 0 0 25 0 11 0 477695845 864673792 32906 4294967295 134512640 134569956 3221224416 3221214768 1131381713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 32906 13073 16 0 211086 0 vsize: 844408 [startup+310.01 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 28027 52 0 0 25 0 11 0 477695845 864673792 33175 4294967295 134512640 134569956 3221224416 3221214888 1131681628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 33175 13073 16 0 211086 0 vsize: 844408 [startup+320.01 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 28947 52 0 0 25 0 11 0 477695845 864673792 33426 4294967295 134512640 134569956 3221224416 3221214680 1131624915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 33426 13073 16 0 211086 0 vsize: 844408 [startup+330.011 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 29845 53 0 0 25 0 11 0 477695845 864673792 33605 4294967295 134512640 134569956 3221224416 3221214672 1131224735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 33605 13073 16 0 211086 0 vsize: 844408 [startup+340.011 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 30754 53 0 0 25 0 11 0 477695845 864673792 33852 4294967295 134512640 134569956 3221224416 3221214576 1131281864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 33852 13073 16 0 211086 0 vsize: 844408 [startup+350.011 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 31663 53 0 0 25 0 11 0 477695845 864673792 34029 4294967295 134512640 134569956 3221224416 3221214736 1131440831 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 34029 13073 16 0 211086 0 vsize: 844408 [startup+360.011 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 32573 54 0 0 25 0 11 0 477695845 864673792 34239 4294967295 134512640 134569956 3221224416 3221214672 1131224849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 34239 13073 16 0 211086 0 vsize: 844408 [startup+370.012 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 33485 54 0 0 25 0 11 0 477695845 864673792 34411 4294967295 134512640 134569956 3221224416 3221214568 1131584753 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 34411 13073 16 0 211086 0 vsize: 844408 [startup+380.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 34399 54 0 0 25 0 11 0 477695845 864673792 34610 4294967295 134512640 134569956 3221224416 3221214576 1131281864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 34610 13073 16 0 211086 0 vsize: 844408 [startup+390.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 35305 54 0 0 24 0 11 0 477695845 864673792 34821 4294967295 134512640 134569956 3221224416 3221214680 1131624929 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 34821 13073 16 0 211086 0 vsize: 844408 [startup+400.013 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 36221 55 0 0 25 0 11 0 477695845 864673792 34985 4294967295 134512640 134569956 3221224416 3221214568 1131583933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 34985 13073 16 0 211086 0 vsize: 844408 [startup+410.014 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 37138 55 0 0 25 0 11 0 477695845 864673792 35211 4294967295 134512640 134569956 3221224416 3221214680 1131626759 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 35211 13073 16 0 211086 0 vsize: 844408 [startup+420.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 38057 56 0 0 25 0 11 0 477695845 864673792 35362 4294967295 134512640 134569956 3221224416 3221214672 1131224453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 35362 13073 16 0 211086 0 vsize: 844408 [startup+430.015 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) S 28774 28099 28098 0 -1 0 18086 3 1 0 38970 56 0 0 25 0 11 0 477695845 864673792 35565 4294967295 134512640 134569956 3221224416 3221213280 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 35565 13073 16 0 211086 0 vsize: 844408 [startup+440.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 39910 56 0 0 25 0 11 0 477695845 864673792 35736 4294967295 134512640 134569956 3221224416 3221214680 1131624915 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 35736 13073 16 0 211086 0 vsize: 844408 [startup+450.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 40827 57 0 0 25 0 11 0 477695845 864673792 35922 4294967295 134512640 134569956 3221224416 3221214768 1131381876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 35922 13073 16 0 211086 0 vsize: 844408 [startup+460.016 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 41755 57 0 0 25 0 11 0 477695845 864673792 36083 4294967295 134512640 134569956 3221224416 3221214840 1131343647 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 36083 13073 16 0 211086 0 vsize: 844408 [startup+470.017 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 42689 57 0 0 25 0 11 0 477695845 864673792 36285 4294967295 134512640 134569956 3221224416 3221214672 1131224468 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 36285 13073 16 0 211086 0 vsize: 844408 [startup+480.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 43597 57 0 0 24 0 11 0 477695845 864673792 36493 4294967295 134512640 134569956 3221224416 3221214840 1131343312 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 36493 13073 16 0 211086 0 vsize: 844408 [startup+490.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 44518 58 0 0 25 0 11 0 477695845 864673792 36700 4294967295 134512640 134569956 3221224416 3221214768 1131382000 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 36700 13073 16 0 211086 0 vsize: 844408 [startup+500.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 45440 58 0 0 25 0 11 0 477695845 864673792 36895 4294967295 134512640 134569956 3221224416 3221214768 1131381944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 36895 13073 16 0 211086 0 vsize: 844408 [startup+510.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) S 28774 28099 28098 0 -1 0 18086 3 1 0 46361 58 0 0 25 0 11 0 477695845 864673792 37108 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 37108 13073 16 0 211086 0 vsize: 844408 [startup+520.019 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 47279 59 0 0 25 0 11 0 477695845 864673792 37305 4294967295 134512640 134569956 3221224416 3221214672 1131225914 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 37305 13073 16 0 211086 0 vsize: 844408 [startup+530.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 48194 59 0 0 24 0 11 0 477695845 864673792 37540 4294967295 134512640 134569956 3221224416 3221214664 1131282402 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 37540 13073 16 0 211086 0 vsize: 844408 [startup+540.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 49124 59 0 0 25 0 11 0 477695845 864673792 37737 4294967295 134512640 134569956 3221224416 3221214672 1131224849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 37737 13073 16 0 211086 0 vsize: 844408 [startup+550.02 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 50037 60 0 0 25 0 11 0 477695845 864673792 37995 4294967295 134512640 134569956 3221224416 3221214896 1131417409 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 37995 13073 16 0 211086 0 vsize: 844408 [startup+560.021 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 50965 60 0 0 25 0 11 0 477695845 864673792 38237 4294967295 134512640 134569956 3221224416 3221214768 1131386541 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 38237 13073 16 0 211086 0 vsize: 844408 [startup+570.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 51892 60 0 0 25 0 11 0 477695845 864673792 38433 4294967295 134512640 134569956 3221224416 3221214768 1131383802 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 38433 13073 16 0 211086 0 vsize: 844408 [startup+580.022 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 52807 61 0 0 25 0 11 0 477695845 864673792 38714 4294967295 134512640 134569956 3221224416 3221214672 1131224521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 38714 13073 16 0 211086 0 vsize: 844408 [startup+590.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 53726 61 0 0 25 0 11 0 477695845 864673792 38902 4294967295 134512640 134569956 3221224416 3221214768 1131381944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 38902 13073 16 0 211086 0 vsize: 844408 [startup+600.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 54654 62 0 0 25 0 11 0 477695845 864673792 39111 4294967295 134512640 134569956 3221224416 3221214768 1131381677 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 39111 13073 16 0 211086 0 vsize: 844408 [startup+610.023 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 55572 62 0 0 25 0 11 0 477695845 864673792 39308 4294967295 134512640 134569956 3221224416 3221214768 1131381876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 39308 13073 16 0 211086 0 vsize: 844408 [startup+620.024 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 56490 62 0 0 25 0 11 0 477695845 864673792 39483 4294967295 134512640 134569956 3221224416 3221214672 1131224478 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 39483 13073 16 0 211086 0 vsize: 844408 [startup+630.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 57410 62 0 0 25 0 11 0 477695845 864673792 39635 4294967295 134512640 134569956 3221224416 3221214672 1131225695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 39635 13073 16 0 211086 0 vsize: 844408 [startup+640.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 58328 63 0 0 25 0 11 0 477695845 864673792 39846 4294967295 134512640 134569956 3221224416 3221214672 1131225602 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 39846 13073 16 0 211086 0 vsize: 844408 [startup+650.025 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 59247 63 0 0 25 0 11 0 477695845 864673792 40063 4294967295 134512640 134569956 3221224416 3221214736 1131281903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 40063 13073 16 0 211086 0 vsize: 844408 [startup+660.025 s] Raw data (loadavg): 1.08 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 60166 64 0 0 25 0 11 0 477695845 864673792 40250 4294967295 134512640 134569956 3221224416 3221214552 1131564465 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 40250 13073 16 0 211086 0 vsize: 844408 [startup+670.025 s] Raw data (loadavg): 1.07 1.02 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 61097 64 0 0 25 0 11 0 477695845 864673792 40404 4294967295 134512640 134569956 3221224416 3221214672 1131224509 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 40404 13073 16 0 211086 0 vsize: 844408 [startup+680.026 s] Raw data (loadavg): 1.06 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 62016 64 0 0 25 0 11 0 477695845 864673792 40579 4294967295 134512640 134569956 3221224416 3221214576 1131281633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 40579 13073 16 0 211086 0 vsize: 844408 [startup+690.027 s] Raw data (loadavg): 1.05 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 62938 64 0 0 25 0 11 0 477695845 864673792 40779 4294967295 134512640 134569956 3221224416 3221214768 1131381921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 40779 13073 16 0 211086 0 vsize: 844408 [startup+700.027 s] Raw data (loadavg): 1.04 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 63862 64 0 0 25 0 11 0 477695845 864673792 40989 4294967295 134512640 134569956 3221224416 3221214768 1131381876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 40989 13073 16 0 211086 0 vsize: 844408 [startup+710.027 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 64776 65 0 0 25 0 11 0 477695845 864673792 41152 4294967295 134512640 134569956 3221224416 3221214576 1131281745 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 41152 13073 16 0 211086 0 vsize: 844408 [startup+720.028 s] Raw data (loadavg): 1.03 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 65686 65 0 0 25 0 11 0 477695845 864673792 41323 4294967295 134512640 134569956 3221224416 3221214576 1131281864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 41323 13073 16 0 211086 0 vsize: 844408 [startup+730.028 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 66609 65 0 0 25 0 11 0 477695845 864673792 41463 4294967295 134512640 134569956 3221224416 3221214680 1131625033 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 41463 13073 16 0 211086 0 vsize: 844408 [startup+740.028 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 67530 66 0 0 25 0 11 0 477695845 864673792 41618 4294967295 134512640 134569956 3221224416 3221214736 1131281903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 41618 13073 16 0 211086 0 vsize: 844408 [startup+750.029 s] Raw data (loadavg): 1.02 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 68442 66 0 0 25 0 11 0 477695845 864673792 41874 4294967295 134512640 134569956 3221224416 3221214672 1131225730 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 41874 13073 16 0 211086 0 vsize: 844408 [startup+760.029 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 69360 66 0 0 24 0 11 0 477695845 864673792 42070 4294967295 134512640 134569956 3221224416 3221214576 1131281573 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 42070 13073 16 0 211086 0 vsize: 844408 [startup+770.029 s] Raw data (loadavg): 1.01 1.01 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 70278 67 0 0 25 0 11 0 477695845 864673792 42205 4294967295 134512640 134569956 3221224416 3221214672 1131224478 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 42205 13073 16 0 211086 0 vsize: 844408 [startup+780.029 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 71199 67 0 0 25 0 11 0 477695845 864673792 42395 4294967295 134512640 134569956 3221224416 3221214736 1131282192 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 42395 13073 16 0 211086 0 vsize: 844408 [startup+790.03 s] Raw data (loadavg): 1.01 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) S 28774 28099 28098 0 -1 0 18086 3 1 0 72122 67 0 0 25 0 11 0 477695845 864673792 42499 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 42499 13073 16 0 211086 0 vsize: 844408 [startup+800.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 73051 68 0 0 25 0 11 0 477695845 864673792 42690 4294967295 134512640 134569956 3221224416 3221214576 1131281998 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 42690 13073 16 0 211086 0 vsize: 844408 [startup+810.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 73972 68 0 0 25 0 11 0 477695845 864673792 42863 4294967295 134512640 134569956 3221224416 3221214672 1131225922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 42863 13073 16 0 211086 0 vsize: 844408 [startup+820.03 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 74890 68 0 0 25 0 11 0 477695845 864673792 43018 4294967295 134512640 134569956 3221224416 3221214768 1131382705 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 43018 13073 16 0 211086 0 vsize: 844408 [startup+830.04 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 75807 68 0 0 25 0 11 0 477695845 864673792 43161 4294967295 134512640 134569956 3221224416 3221214768 1131381876 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211102 43161 13073 16 0 211086 0 vsize: 844408 [startup+840.049 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 76725 69 0 0 25 0 11 0 477695845 864673792 43333 4294967295 134512640 134569956 3221224416 3221214840 1131343430 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 43333 13073 16 0 211086 0 vsize: 844408 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 77655 69 0 0 25 0 11 0 477695845 864673792 43504 4294967295 134512640 134569956 3221224416 3221214768 1131381944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 43504 13073 16 0 211086 0 vsize: 844408 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 78578 69 0 0 25 0 11 0 477695845 864673792 43685 4294967295 134512640 134569956 3221224416 3221214672 1131224524 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 43685 13073 16 0 211086 0 vsize: 844408 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 79495 69 0 0 25 0 11 0 477695845 864673792 43884 4294967295 134512640 134569956 3221224416 3221214560 1131249879 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 43884 13073 16 0 211086 0 vsize: 844408 [startup+880.05 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 80424 70 0 0 25 0 11 0 477695845 864673792 44037 4294967295 134512640 134569956 3221224416 3221214672 1131225695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 44037 13073 16 0 211086 0 vsize: 844408 [startup+890.054 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 81354 70 0 0 25 0 11 0 477695845 864673792 44204 4294967295 134512640 134569956 3221224416 3221214576 1131281864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 44204 13073 16 0 211086 0 vsize: 844408 [startup+900.054 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 82288 70 0 0 25 0 11 0 477695845 864673792 44357 4294967295 134512640 134569956 3221224416 3221214768 1131381921 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 44357 13073 16 0 211086 0 vsize: 844408 [startup+910.055 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 83218 70 0 0 25 0 11 0 477695845 864673792 44481 4294967295 134512640 134569956 3221224416 3221214568 1131584877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 44481 13073 16 0 211086 0 vsize: 844408 [startup+920.056 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 84146 71 0 0 25 0 11 0 477695845 864673792 44620 4294967295 134512640 134569956 3221224416 3221214768 1131381944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 44620 13073 16 0 211086 0 vsize: 844408 [startup+930.056 s] Raw data (loadavg): 1.08 1.02 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 85076 71 0 0 25 0 11 0 477695845 864673792 44743 4294967295 134512640 134569956 3221224416 3221214768 1131381883 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 44743 13073 16 0 211086 0 vsize: 844408 [startup+940.057 s] Raw data (loadavg): 1.07 1.02 0.98 2/64 28787 Raw data (stat): 28775 (java) S 28774 28099 28098 0 -1 0 18086 3 1 0 86007 71 0 0 25 0 11 0 477695845 864673792 44868 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 44868 13073 16 0 211086 0 vsize: 844408 [startup+950.058 s] Raw data (loadavg): 1.06 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 86942 72 0 0 25 0 11 0 477695845 864673792 45043 4294967295 134512640 134569956 3221224416 3221214576 1131282128 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 45043 13073 16 0 211086 0 vsize: 844408 [startup+960.058 s] Raw data (loadavg): 1.05 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 87873 72 0 0 25 0 11 0 477695845 864673792 45211 4294967295 134512640 134569956 3221224416 3221214768 1131381944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 45211 13073 16 0 211086 0 vsize: 844408 [startup+970.058 s] Raw data (loadavg): 1.04 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 88812 72 0 0 25 0 11 0 477695845 864673792 45281 4294967295 134512640 134569956 3221224416 3221214768 1131384676 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 45281 13073 16 0 211086 0 vsize: 844408 [startup+980.058 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 89746 73 0 0 25 0 11 0 477695845 864673792 45364 4294967295 134512640 134569956 3221224416 3221214768 1131381894 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 45364 13073 16 0 211086 0 vsize: 844408 [startup+990.058 s] Raw data (loadavg): 1.03 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 90678 73 0 0 25 0 11 0 477695845 864673792 45495 4294967295 134512640 134569956 3221224416 3221214768 1131381944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 45495 13073 16 0 211086 0 vsize: 844408 [startup+1000.06 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 91602 73 0 0 25 0 11 0 477695845 864673792 45648 4294967295 134512640 134569956 3221224416 3221214768 1131381876 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 45648 13073 16 0 211086 0 vsize: 844408 [startup+1010.06 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 92526 74 0 0 25 0 11 0 477695845 864673792 45774 4294967295 134512640 134569956 3221224416 3221214672 1131225922 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 45774 13073 16 0 211086 0 vsize: 844408 [startup+1020.06 s] Raw data (loadavg): 1.02 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 93443 74 0 0 25 0 11 0 477695845 864673792 45962 4294967295 134512640 134569956 3221224416 3221214568 1131583200 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 45962 13073 16 0 211086 0 vsize: 844408 [startup+1030.06 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 94375 74 0 0 25 0 11 0 477695845 864673792 46160 4294967295 134512640 134569956 3221224416 3221214672 1131224460 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 46160 13073 16 0 211086 0 vsize: 844408 [startup+1040.06 s] Raw data (loadavg): 1.01 1.01 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 95309 75 0 0 25 0 11 0 477695845 864673792 46281 4294967295 134512640 134569956 3221224416 3221214840 1131343335 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 46281 13073 16 0 211086 0 vsize: 844408 [startup+1050.06 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 96240 75 0 0 25 0 11 0 477695845 864673792 46414 4294967295 134512640 134569956 3221224416 3221214568 1131583244 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 46414 13073 16 0 211086 0 vsize: 844408 [startup+1060.06 s] Raw data (loadavg): 1.01 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 97171 75 0 0 25 0 11 0 477695845 864673792 46505 4294967295 134512640 134569956 3221224416 3221214648 1131378570 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 46505 13073 16 0 211086 0 vsize: 844408 [startup+1070.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 98101 75 0 0 25 0 11 0 477695845 864673792 46630 4294967295 134512640 134569956 3221224416 3221214672 1131224849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 46630 13073 16 0 211086 0 vsize: 844408 [startup+1080.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 99032 76 0 0 25 0 11 0 477695845 864673792 46787 4294967295 134512640 134569956 3221224416 3221214736 1131440207 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 46787 13073 16 0 211086 0 vsize: 844408 [startup+1090.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 99983 76 0 0 25 0 11 0 477695845 864673792 46908 4294967295 134512640 134569956 3221224416 3221214768 1131381883 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 46908 13073 16 0 211086 0 vsize: 844408 [startup+1100.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 100910 76 0 0 25 0 11 0 477695845 864673792 47061 4294967295 134512640 134569956 3221224416 3221214768 1131386563 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 47061 13073 16 0 211086 0 vsize: 844408 [startup+1110.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 101835 77 0 0 25 0 11 0 477695845 864673792 47187 4294967295 134512640 134569956 3221224416 3221214672 1131225633 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 47187 13073 16 0 211086 0 vsize: 844408 [startup+1120.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 102761 77 0 0 25 0 11 0 477695845 864673792 47311 4294967295 134512640 134569956 3221224416 3221214768 1131381883 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 47311 13073 16 0 211086 0 vsize: 844408 [startup+1130.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 103696 77 0 0 25 0 11 0 477695845 864673792 47419 4294967295 134512640 134569956 3221224416 3221214768 1131381713 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 47419 13073 16 0 211086 0 vsize: 844408 [startup+1140.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 104621 78 0 0 25 0 11 0 477695845 864673792 47567 4294967295 134512640 134569956 3221224416 3221214192 1076461330 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 47567 13073 16 0 211086 0 vsize: 844408 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) S 28774 28099 28098 0 -1 0 18086 3 1 0 105551 78 0 0 25 0 11 0 477695845 864673792 47712 4294967295 134512640 134569956 3221224416 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 47712 13073 16 0 211086 0 vsize: 844408 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 106481 78 0 0 25 0 11 0 477695845 864673792 47832 4294967295 134512640 134569956 3221224416 3221214560 1131427500 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 47832 13073 16 0 211086 0 vsize: 844408 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 107404 79 0 0 25 0 11 0 477695845 864673792 47969 4294967295 134512640 134569956 3221224416 3221214356 1078022275 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 47969 13073 16 0 211086 0 vsize: 844408 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 108337 79 0 0 25 0 11 0 477695845 864673792 48101 4294967295 134512640 134569956 3221224416 3221214568 1131583843 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 48101 13073 16 0 211086 0 vsize: 844408 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 109261 79 0 0 25 0 11 0 477695845 864673792 48274 4294967295 134512640 134569956 3221224416 3221214768 1131381944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 48274 13073 16 0 211086 0 vsize: 844408 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 110178 79 0 0 25 0 11 0 477695845 864673792 48449 4294967295 134512640 134569956 3221224416 3221214672 1131224580 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 48449 13073 16 0 211086 0 vsize: 844408 [startup+1210.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 111127 79 0 0 25 0 11 0 477695845 864673792 48553 4294967295 134512640 134569956 3221224416 3221214676 1080203719 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 48553 13073 16 0 211086 0 vsize: 844408 [startup+1220.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 112058 80 0 0 25 0 11 0 477695845 864673792 48721 4294967295 134512640 134569956 3221224416 3221214768 1131382944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 48721 13073 16 0 211086 0 vsize: 844408 [startup+1230.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 112993 80 0 0 25 0 11 0 477695845 864673792 48887 4294967295 134512640 134569956 3221224416 3221214560 1131427546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 48887 13073 16 0 211086 0 vsize: 844408 [startup+1240.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 113929 80 0 0 25 0 11 0 477695845 864673792 48979 4294967295 134512640 134569956 3221224416 3221214672 1131224849 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 48979 13073 16 0 211086 0 vsize: 844408 [startup+1250.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 114871 81 0 0 25 0 11 0 477695845 864673792 49125 4294967295 134512640 134569956 3221224416 3221214672 1131224457 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 49125 13073 16 0 211086 0 vsize: 844408 [startup+1260.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) S 28774 28099 28098 0 -1 0 18086 3 1 0 115804 81 0 0 25 0 11 0 477695845 864673792 49226 4294967295 134512640 134569956 3221224416 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 49226 13073 16 0 211086 0 vsize: 844408 [startup+1270.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 116732 81 0 0 25 0 11 0 477695845 864673792 49362 4294967295 134512640 134569956 3221224416 3221214768 1131385461 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 49362 13073 16 0 211086 0 vsize: 844408 [startup+1280.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 117676 81 0 0 25 0 11 0 477695845 864673792 49462 4294967295 134512640 134569956 3221224416 3221214560 1131427404 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 49462 13073 16 0 211086 0 vsize: 844408 [startup+1290.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 118611 81 0 0 25 0 11 0 477695845 864673792 49609 4294967295 134512640 134569956 3221224416 3221214680 1131625043 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 49609 13073 16 0 211086 0 vsize: 844408 [startup+1300.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) R 28774 28099 28098 0 -1 0 18086 3 1 0 119545 82 0 0 25 0 11 0 477695845 864673792 49729 4294967295 134512640 134569956 3221224416 3221214576 1131281864 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 49729 13073 16 0 211086 0 vsize: 844408 [startup+1310.07 s] Raw data (loadavg): 1.00 1.00 0.98 2/64 28787 Raw data (stat): 28775 (java) S 28774 28099 28098 0 -1 0 18086 3 1 0 120481 82 0 0 25 0 11 0 477695845 864673792 49814 4294967295 134512640 134569956 3221224416 3221213328 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211102 49814 13073 16 0 211086 0 vsize: 844408 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.22 s] Raw data (loadavg): 1.00 1.00 0.98 1/54 28789 Raw data (stat): 28775 (java) Z 28774 28099 28098 0 -1 1036 18086 39786 1 0 120483 91 11618 89 24 0 1 0 477695845 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): 1310.22 CPU time (s): 1322.83 CPU user time (s): 1321.02 CPU system time (s): 1.81472 CPU usage (%): 100.962 Max. virtual memory (Kb): 846804 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####