Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-recipe.opb |
MD5SUM | 3ed8b1557bef6552695b255ca35679eb |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -79735161 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1055 |
Biggest coefficient in the objective function | 65536000 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 584330055 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 5681631310381056 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 98271137637301167 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1233.91 |
Number of variables | 3671 |
Total number of constraints | 159 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 159 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 420 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc22 THE 2005-04-21 10:08:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11124 boxname=wulflinc22 idbench=856 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: 3ed8b1557bef6552695b255ca35679eb /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-recipe.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-recipe.opb IDLAUNCH: 11124 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.031 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: 491152 kB Buffers: 32424 kB Cached: 480408 kB SwapCached: 24 kB Active: 170340 kB Inactive: 345232 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 490900 kB SwapTotal: 2097892 kB SwapFree: 2097660 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6640 kB Slab: 22376 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 10:28:43 (client local time) WITH STATUS 143 IN 1241.3 SECONDS stats: 11124 7 1241.3 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-recipe.opb c reading problem c [nbvar=3671] c [nbconstr=159] c time 7.926 c #vars 3671 c #clauses 219 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=-85849102 c Current CPU time (ms) : 508.221 c starts : 7 c conflicts : 2335 c decisions : 14210 c propagations : 31079 c inspects : 3679639 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2335 c root simplifications : 297 c c CURRENT OPTIMUM=-92657422 c Current CPU time (ms) : 562.113 c starts : 8 c conflicts : 2390 c decisions : 15750 c propagations : 34808 c inspects : 3841772 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2390 c root simplifications : 302 #### 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.56 0.76 0.88 2/54 674 Raw data (stat): 674 (runsolver) R 673 26298 26297 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544237719 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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): 0.70 0.79 0.89 3/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18050 0 1 0 678 41 0 0 25 0 11 0 544237719 860868608 21166 4294967295 134512640 134569956 3221224400 3221214220 1076461366 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210173 21166 13073 16 0 210157 0 vsize: 840692 [startup+20.0021 s] Raw data (loadavg): 0.82 0.81 0.90 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18052 0 1 0 1501 42 0 0 25 0 11 0 544237719 860672000 22004 4294967295 134512640 134569956 3221224400 3221214920 1131148569 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210125 22004 13073 16 0 210109 0 vsize: 840500 [startup+30.0037 s] Raw data (loadavg): 0.92 0.83 0.90 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18052 0 1 0 2448 42 0 0 25 0 11 0 544237719 859820032 21921 4294967295 134512640 134569956 3221224400 3221214488 1131554797 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 21921 13073 16 0 209901 0 vsize: 839668 [startup+40.0044 s] Raw data (loadavg): 0.93 0.84 0.90 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18052 0 1 0 3401 42 0 0 25 0 11 0 544237719 859820032 22098 4294967295 134512640 134569956 3221224400 3221214692 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 22098 13073 16 0 209901 0 vsize: 839668 [startup+50.0052 s] Raw data (loadavg): 0.94 0.84 0.90 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 4350 42 0 0 25 0 11 0 544237719 859820032 22257 4294967295 134512640 134569956 3221224400 3221214396 1085616768 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 22257 13073 16 0 209901 0 vsize: 839668 [startup+60.0053 s] Raw data (loadavg): 0.95 0.85 0.91 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 5311 42 0 0 25 0 11 0 544237719 859820032 22257 4294967295 134512640 134569956 3221224400 3221214824 1131299278 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 22257 13073 16 0 209901 0 vsize: 839668 [startup+70.0096 s] Raw data (loadavg): 0.96 0.85 0.91 2/64 684 Raw data (stat): 674 (java) S 673 26298 26297 0 -1 0 18053 0 1 0 6261 42 0 0 25 0 11 0 544237719 859820032 22524 4294967295 134512640 134569956 3221224400 3221213320 1073952481 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 22524 13073 16 0 209901 0 vsize: 839668 [startup+80.0108 s] Raw data (loadavg): 0.96 0.86 0.91 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 7228 42 0 0 25 0 11 0 544237719 859820032 22759 4294967295 134512640 134569956 3221224400 3221214776 1131348750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 22759 13073 16 0 209901 0 vsize: 839668 [startup+90.0113 s] Raw data (loadavg): 0.97 0.86 0.91 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 8201 42 0 0 21 0 11 0 544237719 859820032 22869 4294967295 134512640 134569956 3221224400 3221214696 1131265066 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 22869 13073 16 0 209901 0 vsize: 839668 [startup+100.012 s] Raw data (loadavg): 0.97 0.86 0.91 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 9179 42 0 0 25 0 11 0 544237719 859820032 22932 4294967295 134512640 134569956 3221224400 3221214656 1131214843 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 22932 13073 16 0 209901 0 vsize: 839668 [startup+110.013 s] Raw data (loadavg): 1.06 0.88 0.91 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 10152 43 0 0 25 0 11 0 544237719 859820032 23034 4294967295 134512640 134569956 3221224400 3221214592 1131479412 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 23034 13073 16 0 209901 0 vsize: 839668 [startup+120.015 s] Raw data (loadavg): 1.05 0.89 0.91 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 11129 43 0 0 25 0 11 0 544237719 859820032 23109 4294967295 134512640 134569956 3221224400 3221214752 1131348750 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 23109 13073 16 0 209901 0 vsize: 839668 [startup+130.02 s] Raw data (loadavg): 1.11 0.91 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 12102 43 0 0 25 0 11 0 544237719 859820032 23209 4294967295 134512640 134569956 3221224400 3221214680 1131633947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 23209 13073 16 0 209901 0 vsize: 839668 [startup+140.021 s] Raw data (loadavg): 1.10 0.91 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 13078 43 0 0 25 0 11 0 544237719 859820032 23315 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 23315 13073 16 0 209901 0 vsize: 839668 [startup+150.021 s] Raw data (loadavg): 1.08 0.91 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 14053 43 0 0 25 0 11 0 544237719 859820032 23441 4294967295 134512640 134569956 3221224400 3221214268 1085632272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 23441 13073 16 0 209901 0 vsize: 839668 [startup+160.022 s] Raw data (loadavg): 1.07 0.91 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 15028 43 0 0 25 0 11 0 544237719 859820032 23558 4294967295 134512640 134569956 3221224400 3221214656 1131215492 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 23558 13073 16 0 209901 0 vsize: 839668 [startup+170.022 s] Raw data (loadavg): 1.06 0.92 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 16003 43 0 0 25 0 11 0 544237719 859820032 23730 4294967295 134512640 134569956 3221224400 3221214656 1131215310 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 23730 13073 16 0 209901 0 vsize: 839668 [startup+180.022 s] Raw data (loadavg): 1.05 0.92 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 16976 43 0 0 25 0 11 0 544237719 859820032 23886 4294967295 134512640 134569956 3221224400 3221214752 1131349904 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 23886 13073 16 0 209901 0 vsize: 839668 [startup+190.023 s] Raw data (loadavg): 1.04 0.92 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 17951 44 0 0 25 0 11 0 544237719 859820032 23988 4294967295 134512640 134569956 3221224400 3221214656 1131215450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 23988 13073 16 0 209901 0 vsize: 839668 [startup+200.023 s] Raw data (loadavg): 1.03 0.92 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 18926 44 0 0 25 0 11 0 544237719 859820032 24097 4294967295 134512640 134569956 3221224400 3221214752 1131352090 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 24097 13073 16 0 209901 0 vsize: 839668 [startup+210.03 s] Raw data (loadavg): 1.03 0.92 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 19900 44 0 0 25 0 11 0 544237719 859820032 24230 4294967295 134512640 134569956 3221224400 3221214784 1131395003 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 24230 13073 16 0 209901 0 vsize: 839668 [startup+220.037 s] Raw data (loadavg): 1.02 0.93 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 20875 44 0 0 25 0 11 0 544237719 859820032 24374 4294967295 134512640 134569956 3221224400 3221214840 1131335479 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 24374 13073 16 0 209901 0 vsize: 839668 [startup+230.052 s] Raw data (loadavg): 1.02 0.93 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 21851 44 0 0 25 0 11 0 544237719 859820032 24499 4294967295 134512640 134569956 3221224400 3221214656 1131215220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 24499 13073 16 0 209901 0 vsize: 839668 [startup+240.051 s] Raw data (loadavg): 1.02 0.93 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 22821 44 0 0 24 0 11 0 544237719 859820032 24648 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 24648 13073 16 0 209901 0 vsize: 839668 [startup+250.051 s] Raw data (loadavg): 1.01 0.93 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 23798 44 0 0 25 0 11 0 544237719 859820032 24758 4294967295 134512640 134569956 3221224400 3221214656 1131215143 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 24758 13073 16 0 209901 0 vsize: 839668 [startup+260.052 s] Raw data (loadavg): 1.01 0.93 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 24772 44 0 0 25 0 11 0 544237719 859820032 24897 4294967295 134512640 134569956 3221224400 3221214568 1131552464 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 24897 13073 16 0 209901 0 vsize: 839668 [startup+270.052 s] Raw data (loadavg): 1.01 0.94 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 25743 44 0 0 25 0 11 0 544237719 859820032 25028 4294967295 134512640 134569956 3221224400 3221214656 1131216113 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 25028 13073 16 0 209901 0 vsize: 839668 [startup+280.053 s] Raw data (loadavg): 1.01 0.94 0.92 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 26714 44 0 0 25 0 11 0 544237719 859820032 25156 4294967295 134512640 134569956 3221224400 3221214656 1131215220 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 25156 13073 16 0 209901 0 vsize: 839668 [startup+290.054 s] Raw data (loadavg): 1.08 0.96 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 27685 44 0 0 25 0 11 0 544237719 859820032 25294 4294967295 134512640 134569956 3221224400 3221214680 1131633800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 25294 13073 16 0 209901 0 vsize: 839668 [startup+300.053 s] Raw data (loadavg): 1.07 0.96 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 28654 44 0 0 25 0 11 0 544237719 859820032 25453 4294967295 134512640 134569956 3221224400 3221214152 1085679759 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 25453 13073 16 0 209901 0 vsize: 839668 [startup+310.057 s] Raw data (loadavg): 1.06 0.96 0.93 2/64 684 Raw data (stat): 674 (java) S 673 26298 26297 0 -1 0 18053 0 1 0 29630 45 0 0 25 0 11 0 544237719 859820032 25645 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 25645 13073 16 0 209901 0 vsize: 839668 [startup+320.058 s] Raw data (loadavg): 1.05 0.96 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 30609 45 0 0 25 0 11 0 544237719 859820032 25790 4294967295 134512640 134569956 3221224400 3221214296 1131555025 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 25790 13073 16 0 209901 0 vsize: 839668 [startup+330.059 s] Raw data (loadavg): 1.04 0.96 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 31585 45 0 0 25 0 11 0 544237719 859820032 25931 4294967295 134512640 134569956 3221224400 3221214232 1131552392 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 25931 13073 16 0 209901 0 vsize: 839668 [startup+340.06 s] Raw data (loadavg): 1.03 0.96 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 32567 45 0 0 25 0 11 0 544237719 859820032 26041 4294967295 134512640 134569956 3221224400 3221214752 1131348743 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 26041 13073 16 0 209901 0 vsize: 839668 [startup+350.06 s] Raw data (loadavg): 1.03 0.96 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 33544 45 0 0 25 0 11 0 544237719 859820032 26217 4294967295 134512640 134569956 3221224400 3221214656 1131411246 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 26217 13073 16 0 209901 0 vsize: 839668 [startup+360.061 s] Raw data (loadavg): 1.02 0.96 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 34517 45 0 0 25 0 11 0 544237719 859820032 26432 4294967295 134512640 134569956 3221224400 3221214752 1131349830 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 26432 13073 16 0 209901 0 vsize: 839668 [startup+370.061 s] Raw data (loadavg): 1.02 0.96 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 35488 45 0 0 25 0 11 0 544237719 859820032 26533 4294967295 134512640 134569956 3221224400 3221214576 1131265680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 26533 13073 16 0 209901 0 vsize: 839668 [startup+380.062 s] Raw data (loadavg): 1.02 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 36463 45 0 0 25 0 11 0 544237719 859820032 26684 4294967295 134512640 134569956 3221224400 3221214680 1131633811 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 26684 13073 16 0 209901 0 vsize: 839668 [startup+390.062 s] Raw data (loadavg): 1.01 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 37442 46 0 0 25 0 11 0 544237719 859820032 26813 4294967295 134512640 134569956 3221224400 3221214656 1131215226 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 26813 13073 16 0 209901 0 vsize: 839668 [startup+400.068 s] Raw data (loadavg): 1.01 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 38415 46 0 0 25 0 11 0 544237719 859820032 26972 4294967295 134512640 134569956 3221224400 3221214656 1131216070 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 26972 13073 16 0 209901 0 vsize: 839668 [startup+410.069 s] Raw data (loadavg): 1.01 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 39387 46 0 0 25 0 11 0 544237719 859820032 27100 4294967295 134512640 134569956 3221224400 3221214656 1131215325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 27100 13073 16 0 209901 0 vsize: 839668 [startup+420.069 s] Raw data (loadavg): 1.01 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 40358 46 0 0 25 0 11 0 544237719 859820032 27249 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 27249 13073 16 0 209901 0 vsize: 839668 [startup+430.071 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 41335 46 0 0 25 0 11 0 544237719 859820032 27297 4294967295 134512640 134569956 3221224400 3221214232 1131552288 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 27297 13073 16 0 209901 0 vsize: 839668 [startup+440.071 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 42303 46 0 0 25 0 11 0 544237719 859820032 27488 4294967295 134512640 134569956 3221224400 3221214656 1131215448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 27488 13073 16 0 209901 0 vsize: 839668 [startup+450.072 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 43269 46 0 0 25 0 11 0 544237719 859820032 27635 4294967295 134512640 134569956 3221224400 3221214152 1131568970 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 27635 13073 16 0 209901 0 vsize: 839668 [startup+460.073 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 44244 46 0 0 25 0 11 0 544237719 859820032 27779 4294967295 134512640 134569956 3221224400 3221214576 1131265268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 27779 13073 16 0 209901 0 vsize: 839668 [startup+470.074 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 45215 46 0 0 25 0 11 0 544237719 859820032 27920 4294967295 134512640 134569956 3221224400 3221214720 1131366798 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 27920 13073 16 0 209901 0 vsize: 839668 [startup+480.074 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 46203 46 0 0 25 0 11 0 544237719 859820032 27985 4294967295 134512640 134569956 3221224400 3221214128 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 27985 13073 16 0 209901 0 vsize: 839668 [startup+490.076 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 47202 46 0 0 25 0 11 0 544237719 859820032 27985 4294967295 134512640 134569956 3221224400 3221214272 1131554961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 27985 13073 16 0 209901 0 vsize: 839668 [startup+500.075 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 684 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 0 1 0 48202 46 0 0 25 0 11 0 544237719 859820032 27985 4294967295 134512640 134569956 3221224400 3221214752 1131350480 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 27985 13073 16 0 209901 0 vsize: 839668 [startup+510.076 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 685 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 49197 47 0 0 25 0 11 0 544237719 859820032 28011 4294967295 134512640 134569956 3221224400 3221214752 1131348513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 28011 13073 16 0 209901 0 vsize: 839668 [startup+520.077 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 685 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 50165 47 0 0 25 0 11 0 544237719 859820032 28223 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28223 13073 16 0 209901 0 vsize: 839668 [startup+530.078 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 685 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 51144 47 0 0 25 0 11 0 544237719 859820032 28348 4294967295 134512640 134569956 3221224400 3221214204 1131554432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28348 13073 16 0 209901 0 vsize: 839668 [startup+540.078 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 685 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 52144 47 0 0 25 0 11 0 544237719 859820032 28348 4294967295 134512640 134569956 3221224400 3221214352 1131554954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28348 13073 16 0 209901 0 vsize: 839668 [startup+550.078 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 685 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 53143 47 0 0 25 0 11 0 544237719 859820032 28348 4294967295 134512640 134569956 3221224400 3221214632 1131555021 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28348 13073 16 0 209901 0 vsize: 839668 [startup+560.078 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 685 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 54139 47 0 0 25 0 11 0 544237719 859820032 28382 4294967295 134512640 134569956 3221224400 3221214012 1131554960 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28382 13073 16 0 209901 0 vsize: 839668 [startup+570.078 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 55127 47 0 0 25 0 11 0 544237719 859820032 28413 4294967295 134512640 134569956 3221224400 3221213904 1085679272 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 28413 13073 16 0 209901 0 vsize: 839668 [startup+580.079 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 56112 47 0 0 25 0 11 0 544237719 859820032 28446 4294967295 134512640 134569956 3221224400 3221214260 1131554432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28446 13073 16 0 209901 0 vsize: 839668 [startup+590.08 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 57096 47 0 0 25 0 11 0 544237719 859820032 28509 4294967295 134512640 134569956 3221224400 3221214016 1085679741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28509 13073 16 0 209901 0 vsize: 839668 [startup+600.079 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 58085 47 0 0 25 0 11 0 544237719 859820032 28567 4294967295 134512640 134569956 3221224400 3221214576 1131265582 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28567 13073 16 0 209901 0 vsize: 839668 [startup+610.079 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 59078 48 0 0 25 0 11 0 544237719 859820032 28580 4294967295 134512640 134569956 3221224400 3221214656 1131215403 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28580 13073 16 0 209901 0 vsize: 839668 [startup+620.086 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 60073 48 0 0 25 0 11 0 544237719 859820032 28593 4294967295 134512640 134569956 3221224400 3221214656 1131215448 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28593 13073 16 0 209901 0 vsize: 839668 [startup+630.096 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 61061 48 0 0 25 0 11 0 544237719 859820032 28627 4294967295 134512640 134569956 3221224400 3221214656 1131215134 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28627 13073 16 0 209901 0 vsize: 839668 [startup+640.101 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 62049 48 0 0 25 0 11 0 544237719 859820032 28670 4294967295 134512640 134569956 3221224400 3221214296 1131555035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28670 13073 16 0 209901 0 vsize: 839668 [startup+650.103 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) S 673 26298 26297 0 -1 0 18053 3 1 0 63030 48 0 0 25 0 11 0 544237719 859820032 28723 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 28723 13073 16 0 209901 0 vsize: 839668 [startup+660.111 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 64006 48 0 0 24 0 11 0 544237719 859820032 28813 4294967295 134512640 134569956 3221224400 3221214752 1131348743 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 28813 13073 16 0 209901 0 vsize: 839668 [startup+670.111 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 64990 48 0 0 25 0 11 0 544237719 859820032 28844 4294967295 134512640 134569956 3221224400 3221214720 1131367734 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 28844 13073 16 0 209901 0 vsize: 839668 [startup+680.112 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 65965 48 0 0 25 0 11 0 544237719 859820032 28949 4294967295 134512640 134569956 3221224400 3221214608 1131548818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 28949 13073 16 0 209901 0 vsize: 839668 [startup+690.113 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 66948 49 0 0 25 0 11 0 544237719 859820032 29011 4294967295 134512640 134569956 3221224400 3221214656 1131215977 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 29011 13073 16 0 209901 0 vsize: 839668 [startup+700.112 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 67913 49 0 0 25 0 11 0 544237719 859820032 29097 4294967295 134512640 134569956 3221224400 3221214228 1131554441 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29097 13073 16 0 209901 0 vsize: 839668 [startup+710.121 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 68881 49 0 0 25 0 11 0 544237719 859820032 29249 4294967295 134512640 134569956 3221224400 3221214752 1131350695 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29249 13073 16 0 209901 0 vsize: 839668 [startup+720.132 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 69850 49 0 0 25 0 11 0 544237719 859820032 29360 4294967295 134512640 134569956 3221224400 3221214272 1131548818 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29360 13073 16 0 209901 0 vsize: 839668 [startup+730.132 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 70836 49 0 0 25 0 11 0 544237719 859820032 29400 4294967295 134512640 134569956 3221224400 3221214568 1131552489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29400 13073 16 0 209901 0 vsize: 839668 [startup+740.133 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 71815 49 0 0 25 0 11 0 544237719 859820032 29461 4294967295 134512640 134569956 3221224400 3221214576 1131554961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29461 13073 16 0 209901 0 vsize: 839668 [startup+750.133 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 72801 49 0 0 25 0 11 0 544237719 859820032 29513 4294967295 134512640 134569956 3221224400 3221214572 1131554955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29513 13073 16 0 209901 0 vsize: 839668 [startup+760.133 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 73788 49 0 0 25 0 11 0 544237719 859820032 29555 4294967295 134512640 134569956 3221224400 3221214552 1131548824 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 29555 13073 16 0 209901 0 vsize: 839668 [startup+770.134 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 74771 50 0 0 25 0 11 0 544237719 859820032 29612 4294967295 134512640 134569956 3221224400 3221214400 1131552297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29612 13073 16 0 209901 0 vsize: 839668 [startup+780.134 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 75759 50 0 0 25 0 11 0 544237719 859820032 29657 4294967295 134512640 134569956 3221224400 3221214544 1085679762 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 29657 13073 16 0 209901 0 vsize: 839668 [startup+790.135 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 76742 50 0 0 25 0 11 0 544237719 859820032 29760 4294967295 134512640 134569956 3221224400 3221214800 1131298497 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29760 13073 16 0 209901 0 vsize: 839668 [startup+800.135 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 77726 51 0 0 25 0 11 0 544237719 859820032 29794 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29794 13073 16 0 209901 0 vsize: 839668 [startup+810.135 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 78710 51 0 0 25 0 11 0 544237719 859820032 29869 4294967295 134512640 134569956 3221224400 3221214152 1085679318 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 29869 13073 16 0 209901 0 vsize: 839668 [startup+820.136 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 79695 51 0 0 25 0 11 0 544237719 859820032 29944 4294967295 134512640 134569956 3221224400 3221214680 1131552297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 29944 13073 16 0 209901 0 vsize: 839668 [startup+830.137 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 80680 51 0 0 25 0 11 0 544237719 859820032 30015 4294967295 134512640 134569956 3221224400 3221214096 1131568494 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30015 13073 16 0 209901 0 vsize: 839668 [startup+840.137 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 81663 51 0 0 25 0 11 0 544237719 859820032 30083 4294967295 134512640 134569956 3221224400 3221214656 1131214919 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30083 13073 16 0 209901 0 vsize: 839668 [startup+850.138 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 82647 51 0 0 25 0 11 0 544237719 859820032 30124 4294967295 134512640 134569956 3221224400 3221214552 1131548836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30124 13073 16 0 209901 0 vsize: 839668 [startup+860.139 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 83629 52 0 0 25 0 11 0 544237719 859820032 30163 4294967295 134512640 134569956 3221224400 3221214208 1085679747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30163 13073 16 0 209901 0 vsize: 839668 [startup+870.14 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 84611 52 0 0 25 0 11 0 544237719 859820032 30221 4294967295 134512640 134569956 3221224400 3221214656 1131215428 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 30221 13073 16 0 209901 0 vsize: 839668 [startup+880.139 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 85592 52 0 0 25 0 11 0 544237719 859820032 30281 4294967295 134512640 134569956 3221224400 3221214040 1085679325 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30281 13073 16 0 209901 0 vsize: 839668 [startup+890.14 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 86573 52 0 0 25 0 11 0 544237719 859820032 30350 4294967295 134512640 134569956 3221224400 3221214320 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30350 13073 16 0 209901 0 vsize: 839668 [startup+900.139 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 87554 52 0 0 25 0 11 0 544237719 859820032 30388 4294967295 134512640 134569956 3221224400 3221214228 1131554432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30388 13073 16 0 209901 0 vsize: 839668 [startup+910.141 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 88535 52 0 0 25 0 11 0 544237719 859820032 30450 4294967295 134512640 134569956 3221224400 3221214124 1085679260 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30450 13073 16 0 209901 0 vsize: 839668 [startup+920.141 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 89516 53 0 0 25 0 11 0 544237719 859820032 30509 4294967295 134512640 134569956 3221224400 3221214184 1131554961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30509 13073 16 0 209901 0 vsize: 839668 [startup+930.141 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 90497 53 0 0 25 0 11 0 544237719 859820032 30569 4294967295 134512640 134569956 3221224400 3221214752 1131348459 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30569 13073 16 0 209901 0 vsize: 839668 [startup+940.142 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 91485 54 0 0 25 0 11 0 544237719 859820032 30638 4294967295 134512640 134569956 3221224400 3221214752 1131352127 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30638 13073 16 0 209901 0 vsize: 839668 [startup+950.142 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18053 3 1 0 92463 54 0 0 25 0 11 0 544237719 859820032 30760 4294967295 134512640 134569956 3221224400 3221214236 1131554904 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30760 13073 16 0 209901 0 vsize: 839668 [startup+960.142 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 93446 54 0 0 25 0 11 0 544237719 859820032 30819 4294967295 134512640 134569956 3221224400 3221214572 1085632272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209917 30819 13073 16 0 209901 0 vsize: 839668 [startup+970.142 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 94435 54 0 0 25 0 11 0 544237719 859820032 30908 4294967295 134512640 134569956 3221224400 3221214108 1077378174 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 30908 13073 16 0 209901 0 vsize: 839668 [startup+980.143 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 95415 54 0 0 25 0 11 0 544237719 859820032 31008 4294967295 134512640 134569956 3221224400 3221214376 1085679747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31008 13073 16 0 209901 0 vsize: 839668 [startup+990.143 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 96396 55 0 0 25 0 11 0 544237719 859820032 31115 4294967295 134512640 134569956 3221224400 3221214568 1131552234 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31115 13073 16 0 209901 0 vsize: 839668 [startup+1000.14 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 97377 55 0 0 25 0 11 0 544237719 859820032 31206 4294967295 134512640 134569956 3221224400 3221214288 1131552444 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31206 13073 16 0 209901 0 vsize: 839668 [startup+1010.14 s] Raw data (loadavg): 1.00 0.97 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 98363 55 0 0 25 0 11 0 544237719 859820032 31275 4294967295 134512640 134569956 3221224400 3221214680 1131552297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31275 13073 16 0 209901 0 vsize: 839668 [startup+1020.14 s] Raw data (loadavg): 1.07 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 99349 56 0 0 25 0 11 0 544237719 859820032 31326 4294967295 134512640 134569956 3221224400 3221214464 1131555018 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31326 13073 16 0 209901 0 vsize: 839668 [startup+1030.14 s] Raw data (loadavg): 1.06 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 100327 56 0 0 25 0 11 0 544237719 859820032 31397 4294967295 134512640 134569956 3221224400 3221214344 1131552489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31397 13073 16 0 209901 0 vsize: 839668 [startup+1040.14 s] Raw data (loadavg): 1.05 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 101313 56 0 0 25 0 11 0 544237719 859820032 31459 4294967295 134512640 134569956 3221224400 3221214656 1131214983 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31459 13073 16 0 209901 0 vsize: 839668 [startup+1050.14 s] Raw data (loadavg): 1.04 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 102295 56 0 0 25 0 11 0 544237719 859820032 31548 4294967295 134512640 134569956 3221224400 3221214456 1131552458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31548 13073 16 0 209901 0 vsize: 839668 [startup+1060.14 s] Raw data (loadavg): 1.03 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 103277 56 0 0 25 0 11 0 544237719 859820032 31622 4294967295 134512640 134569956 3221224400 3221214656 1131214693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31622 13073 16 0 209901 0 vsize: 839668 [startup+1070.15 s] Raw data (loadavg): 1.03 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 104259 57 0 0 25 0 11 0 544237719 859820032 31678 4294967295 134512640 134569956 3221224400 3221213752 1131568784 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31678 13073 16 0 209901 0 vsize: 839668 [startup+1080.15 s] Raw data (loadavg): 1.02 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 105235 57 0 0 25 0 11 0 544237719 859820032 31759 4294967295 134512640 134569956 3221224400 3221214176 1131552458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31759 13073 16 0 209901 0 vsize: 839668 [startup+1090.15 s] Raw data (loadavg): 1.02 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 106211 57 0 0 25 0 11 0 544237719 859820032 31834 4294967295 134512640 134569956 3221224400 3221214656 1131214657 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31834 13073 16 0 209901 0 vsize: 839668 [startup+1100.15 s] Raw data (loadavg): 1.02 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 107186 58 0 0 24 0 11 0 544237719 859820032 31915 4294967295 134512640 134569956 3221224400 3221214656 1131214693 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31915 13073 16 0 209901 0 vsize: 839668 [startup+1110.16 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 108166 58 0 0 25 0 11 0 544237719 859820032 31981 4294967295 134512640 134569956 3221224400 3221214680 1131552458 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 31981 13073 16 0 209901 0 vsize: 839668 [startup+1120.16 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 109152 58 0 0 25 0 11 0 544237719 859820032 32023 4294967295 134512640 134569956 3221224400 3221214752 1131348735 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32023 13073 16 0 209901 0 vsize: 839668 [startup+1130.16 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 110136 59 0 0 25 0 11 0 544237719 859820032 32057 4294967295 134512640 134569956 3221224400 3221214656 1131215238 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32057 13073 16 0 209901 0 vsize: 839668 [startup+1140.16 s] Raw data (loadavg): 1.01 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 111120 59 0 0 25 0 11 0 544237719 859820032 32126 4294967295 134512640 134569956 3221224400 3221214440 1131548609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32126 13073 16 0 209901 0 vsize: 839668 [startup+1150.16 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 112105 59 0 0 25 0 11 0 544237719 859820032 32185 4294967295 134512640 134569956 3221224400 3221214928 1131635868 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32185 13073 16 0 209901 0 vsize: 839668 [startup+1160.16 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 113090 60 0 0 25 0 11 0 544237719 859820032 32239 4294967295 134512640 134569956 3221224400 3221214568 1131552489 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32239 13073 16 0 209901 0 vsize: 839668 [startup+1170.16 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 114075 60 0 0 25 0 11 0 544237719 859820032 32296 4294967295 134512640 134569956 3221224400 3221214144 1085679261 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32296 13073 16 0 209901 0 vsize: 839668 [startup+1180.16 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 115060 60 0 0 25 0 11 0 544237719 859820032 32356 4294967295 134512640 134569956 3221224400 3221214800 1131298410 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32356 13073 16 0 209901 0 vsize: 839668 [startup+1190.17 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 116050 60 0 0 25 0 11 0 544237719 859820032 32402 4294967295 134512640 134569956 3221224400 3221213788 1085616771 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32402 13073 16 0 209901 0 vsize: 839668 [startup+1200.17 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 117041 60 0 0 25 0 11 0 544237719 859820032 32447 4294967295 134512640 134569956 3221224400 3221214656 1131215189 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32447 13073 16 0 209901 0 vsize: 839668 [startup+1210.17 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 118027 61 0 0 25 0 11 0 544237719 859820032 32493 4294967295 134512640 134569956 3221224400 3221214432 1085679762 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32493 13073 16 0 209901 0 vsize: 839668 [startup+1220.17 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 119013 61 0 0 25 0 11 0 544237719 859820032 32570 4294967295 134512640 134569956 3221224400 3221214752 1131350623 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32570 13073 16 0 209901 0 vsize: 839668 [startup+1230.17 s] Raw data (loadavg): 1.00 0.99 0.93 2/64 686 Raw data (stat): 674 (java) R 673 26298 26297 0 -1 0 18054 3 1 0 119996 62 0 0 25 0 11 0 544237719 859820032 32651 4294967295 134512640 134569956 3221224400 3221214680 1131552297 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209917 32651 13073 16 0 209901 0 vsize: 839668 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1230.26 s] Raw data (loadavg): 1.00 0.99 0.93 1/54 688 Raw data (stat): 674 (java) Z 673 26298 26297 0 -1 1036 18054 19730 1 0 120000 68 4009 52 25 0 1 0 544237719 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): 1230.26 CPU time (s): 1241.3 CPU user time (s): 1240.1 CPU system time (s): 1.20482 CPU usage (%): 100.897 Max. virtual memory (Kb): 840692 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####