Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-scrs8.opb |
MD5SUM | f909afc4ad4c57b225953e69f0f7b926 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 16500 |
Biggest coefficient in the objective function | 278154827530240000 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 7024858555092325200 |
Number of bits of the sum of numbers in the objective function | 63 |
Biggest number in a constraint | 278154827530240000 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 7024858555092325200 |
Number of bits of the biggest sum of numbers | 63 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.207967 |
Number of variables | 23380 |
Total number of constraints | 490 |
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 | 490 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 740 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-04-21 06:12:33 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16259 boxname=wulflinc5 idbench=1251 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: f909afc4ad4c57b225953e69f0f7b926 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-scrs8.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-scrs8.opb IDLAUNCH: 16259 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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: 905892 kB Buffers: 14464 kB Cached: 91684 kB SwapCached: 0 kB Active: 20644 kB Inactive: 88308 kB HighTotal: 131008 kB HighFree: 91364 kB LowTotal: 903652 kB LowFree: 814528 kB SwapTotal: 2097136 kB SwapFree: 2097044 kB Dirty: 40 kB Writeback: 0 kB Mapped: 6816 kB Slab: 14184 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-04-21 06:33:15 (client local time) WITH STATUS 143 IN 1255.13 SECONDS stats: 16259 7 1255.13 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-scrs8.opb c reading problem c [nbvar=23380] c [nbconstr=490] c time 173.458 c #vars 23380 c #clauses 868 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 1.01 0.98 0.91 2/54 18079 Raw data (stat): 18079 (runsolver) R 18078 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484604335 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 1.09 1.00 0.92 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 887 46 0 0 25 0 10 0 484604335 853106688 19115 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208278 19115 13073 16 0 208262 0 vsize: 833112 [startup+20.0011 s] Raw data (loadavg): 1.07 1.00 0.92 2/63 18088 Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 17978 0 1 0 1784 47 0 0 25 0 10 0 484604335 853622784 19672 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208404 19672 13073 16 0 208388 0 vsize: 833616 [startup+30.0018 s] Raw data (loadavg): 1.06 1.00 0.92 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 2679 47 0 0 25 0 10 0 484604335 853622784 20108 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208404 20108 13073 16 0 208388 0 vsize: 833616 [startup+40.0031 s] Raw data (loadavg): 1.05 1.00 0.92 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 3606 48 0 0 25 0 10 0 484604335 853622784 20342 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208404 20342 13073 16 0 208388 0 vsize: 833616 [startup+50.0033 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 4537 48 0 0 25 0 10 0 484604335 853622784 20465 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208404 20465 13073 16 0 208388 0 vsize: 833616 [startup+60.0031 s] Raw data (loadavg): 1.04 1.00 0.92 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 5465 49 0 0 24 0 10 0 484604335 853622784 20567 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208404 20567 13073 16 0 208388 0 vsize: 833616 [startup+70.0078 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 6406 49 0 0 25 0 10 0 484604335 853585920 20811 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208395 20811 13073 16 0 208379 0 vsize: 833580 [startup+80.0121 s] Raw data (loadavg): 1.03 1.00 0.92 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 17978 0 1 0 7355 50 0 0 25 0 10 0 484604335 853585920 20888 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208395 20888 13073 16 0 208379 0 vsize: 833580 [startup+90.0113 s] Raw data (loadavg): 1.09 1.02 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 8149 50 0 0 17 0 10 0 484604335 865390592 23752 4294967295 134512640 134569956 3221224400 3221214216 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211277 23752 13073 16 0 211261 0 vsize: 845108 [startup+100.014 s] Raw data (loadavg): 1.08 1.02 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 9007 50 0 0 15 0 10 0 484604335 865390592 23920 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211277 23920 13073 16 0 211261 0 vsize: 845108 [startup+110.015 s] Raw data (loadavg): 1.07 1.01 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 9915 51 0 0 20 0 10 0 484604335 865390592 24365 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211277 24365 13073 16 0 211261 0 vsize: 845108 [startup+120.016 s] Raw data (loadavg): 1.06 1.01 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 10834 51 0 0 25 0 10 0 484604335 865390592 24575 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211277 24575 13073 16 0 211261 0 vsize: 845108 [startup+130.015 s] Raw data (loadavg): 1.05 1.01 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 11745 51 0 0 25 0 10 0 484604335 865390592 24703 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211277 24703 13073 16 0 211261 0 vsize: 845108 [startup+140.017 s] Raw data (loadavg): 1.04 1.01 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18031 0 1 0 12663 51 0 0 25 0 10 0 484604335 865390592 24835 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211277 24835 13073 16 0 211261 0 vsize: 845108 [startup+150.021 s] Raw data (loadavg): 1.03 1.01 0.93 2/63 18088 Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18031 0 1 0 13575 52 0 0 25 0 10 0 484604335 865390592 24964 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211277 24964 13073 16 0 211261 0 vsize: 845108 [startup+160.021 s] Raw data (loadavg): 1.03 1.01 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18034 0 1 0 14479 53 0 0 25 0 10 0 484604335 865390592 25084 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211277 25084 13073 16 0 211261 0 vsize: 845108 [startup+170.022 s] Raw data (loadavg): 1.02 1.01 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18034 0 1 0 15353 53 0 0 25 0 10 0 484604335 865390592 25179 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211277 25179 13073 16 0 211261 0 vsize: 845108 [startup+180.022 s] Raw data (loadavg): 1.09 1.02 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18055 0 1 0 16250 54 0 0 25 0 10 0 484604335 865390592 27249 4294967295 134512640 134569956 3221224400 3221214744 1131310918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211277 27249 13073 16 0 211261 0 vsize: 845108 [startup+190.022 s] Raw data (loadavg): 1.08 1.02 0.93 2/63 18088 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18055 0 1 0 17211 55 0 0 25 0 10 0 484604335 865390592 27250 4294967295 134512640 134569956 3221224400 3221214744 1131312158 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211277 27250 13073 16 0 211261 0 vsize: 845108 [startup+200.023 s] Raw data (loadavg): 1.23 1.06 0.94 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18100 0 1 0 18078 56 0 0 25 0 11 0 484604335 865918976 27382 4294967295 134512640 134569956 3221224400 3221214672 1131437683 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211406 27382 13073 16 0 211390 0 vsize: 845624 [startup+210.022 s] Raw data (loadavg): 1.19 1.05 0.94 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18101 0 1 0 19068 56 0 0 25 0 11 0 484604335 865918976 27392 4294967295 134512640 134569956 3221224400 3221214672 1131437566 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211406 27392 13073 16 0 211390 0 vsize: 845624 [startup+220.023 s] Raw data (loadavg): 1.16 1.05 0.94 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18101 0 1 0 20050 56 0 0 25 0 11 0 484604335 865918976 27398 4294967295 134512640 134569956 3221224400 3221214808 1131449604 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27398 13073 16 0 211390 0 vsize: 845624 [startup+230.024 s] Raw data (loadavg): 1.14 1.05 0.94 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18101 0 1 0 21038 56 0 0 25 0 11 0 484604335 865918976 27400 4294967295 134512640 134569956 3221224400 3221214696 1131311227 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27400 13073 16 0 211390 0 vsize: 845624 [startup+240.024 s] Raw data (loadavg): 1.19 1.06 0.95 2/64 18089 Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18102 0 1 0 22026 57 0 0 25 0 11 0 484604335 869912576 28394 4294967295 134512640 134569956 3221224400 3221213456 1073952481 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 212381 28394 13073 16 0 212365 0 vsize: 849524 [startup+250.024 s] Raw data (loadavg): 1.16 1.06 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 23010 57 0 0 25 0 11 0 484604335 869027840 28196 4294967295 134512640 134569956 3221224400 3221214752 1131625948 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 212165 28196 13073 16 0 212149 0 vsize: 848660 [startup+260.025 s] Raw data (loadavg): 1.14 1.06 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 23995 57 0 0 25 0 11 0 484604335 865918976 27722 4294967295 134512640 134569956 3221224400 3221214880 1131647610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27722 13073 16 0 211390 0 vsize: 845624 [startup+270.026 s] Raw data (loadavg): 1.12 1.06 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 24988 57 0 0 25 0 11 0 484604335 865918976 27722 4294967295 134512640 134569956 3221224400 3221214752 1131625944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27722 13073 16 0 211390 0 vsize: 845624 [startup+280.026 s] Raw data (loadavg): 1.10 1.05 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 25978 57 0 0 25 0 11 0 484604335 865918976 27722 4294967295 134512640 134569956 3221224400 3221214696 1131311305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27722 13073 16 0 211390 0 vsize: 845624 [startup+290.026 s] Raw data (loadavg): 1.08 1.05 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 26970 57 0 0 25 0 11 0 484604335 865918976 27722 4294967295 134512640 134569956 3221224400 3221214752 1131625839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27722 13073 16 0 211390 0 vsize: 845624 [startup+300.026 s] Raw data (loadavg): 1.07 1.05 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 27957 58 0 0 25 0 11 0 484604335 865918976 27726 4294967295 134512640 134569956 3221224400 3221214656 1131468712 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27726 13073 16 0 211390 0 vsize: 845624 [startup+310.027 s] Raw data (loadavg): 1.06 1.05 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 28944 58 0 0 25 0 11 0 484604335 865918976 27730 4294967295 134512640 134569956 3221224400 3221214696 1131310894 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27730 13073 16 0 211390 0 vsize: 845624 [startup+320.028 s] Raw data (loadavg): 1.05 1.05 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 29931 58 0 0 25 0 11 0 484604335 865918976 27781 4294967295 134512640 134569956 3221224400 3221214752 1131625839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27781 13073 16 0 211390 0 vsize: 845624 [startup+330.028 s] Raw data (loadavg): 1.04 1.04 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 30919 59 0 0 25 0 11 0 484604335 865918976 27811 4294967295 134512640 134569956 3221224400 3221214752 1131625955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27811 13073 16 0 211390 0 vsize: 845624 [startup+340.045 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 31909 59 0 0 25 0 11 0 484604335 865918976 27834 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27834 13073 16 0 211390 0 vsize: 845624 [startup+350.062 s] Raw data (loadavg): 1.03 1.04 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 32897 59 0 0 25 0 11 0 484604335 865918976 27858 4294967295 134512640 134569956 3221224400 3221214752 1131625839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27858 13073 16 0 211390 0 vsize: 845624 [startup+360.061 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 33886 60 0 0 25 0 11 0 484604335 865918976 27887 4294967295 134512640 134569956 3221224400 3221214816 1131332502 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27887 13073 16 0 211390 0 vsize: 845624 [startup+370.063 s] Raw data (loadavg): 1.02 1.04 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 34872 60 0 0 25 0 11 0 484604335 865918976 27963 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 27963 13073 16 0 211390 0 vsize: 845624 [startup+380.064 s] Raw data (loadavg): 1.02 1.03 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 35858 60 0 0 25 0 11 0 484604335 865918976 28032 4294967295 134512640 134569956 3221224400 3221214736 1131444503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28032 13073 16 0 211390 0 vsize: 845624 [startup+390.064 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 36847 61 0 0 25 0 11 0 484604335 865918976 28088 4294967295 134512640 134569956 3221224400 3221214840 1131440364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28088 13073 16 0 211390 0 vsize: 845624 [startup+400.064 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 37833 61 0 0 25 0 11 0 484604335 865918976 28145 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28145 13073 16 0 211390 0 vsize: 845624 [startup+410.065 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 38818 61 0 0 25 0 11 0 484604335 865918976 28201 4294967295 134512640 134569956 3221224400 3221214840 1131440367 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28201 13073 16 0 211390 0 vsize: 845624 [startup+420.065 s] Raw data (loadavg): 1.01 1.03 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18102 0 1 0 39800 62 0 0 25 0 11 0 484604335 865918976 28277 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28277 13073 16 0 211390 0 vsize: 845624 [startup+430.065 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 40784 62 0 0 25 0 11 0 484604335 865918976 28344 4294967295 134512640 134569956 3221224400 3221214696 1131310877 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28344 13073 16 0 211390 0 vsize: 845624 [startup+440.065 s] Raw data (loadavg): 1.00 1.03 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 41769 62 0 0 25 0 11 0 484604335 865918976 28420 4294967295 134512640 134569956 3221224400 3221214736 1131444518 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28420 13073 16 0 211390 0 vsize: 845624 [startup+450.066 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 42753 63 0 0 25 0 11 0 484604335 865918976 28495 4294967295 134512640 134569956 3221224400 3221214696 1131312195 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211406 28495 13073 16 0 211390 0 vsize: 845624 [startup+460.066 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 43734 63 0 0 25 0 11 0 484604335 865918976 28585 4294967295 134512640 134569956 3221224400 3221214840 1131440603 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28585 13073 16 0 211390 0 vsize: 845624 [startup+470.067 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 44722 63 0 0 25 0 11 0 484604335 865918976 28648 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28648 13073 16 0 211390 0 vsize: 845624 [startup+480.067 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 45705 64 0 0 25 0 11 0 484604335 865918976 28750 4294967295 134512640 134569956 3221224400 3221214696 1131311305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28750 13073 16 0 211390 0 vsize: 845624 [startup+490.068 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 46690 64 0 0 25 0 11 0 484604335 865918976 28869 4294967295 134512640 134569956 3221224400 3221214752 1131625944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28869 13073 16 0 211390 0 vsize: 845624 [startup+500.069 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 47671 64 0 0 24 0 11 0 484604335 865918976 28985 4294967295 134512640 134569956 3221224400 3221214776 1131592977 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 28985 13073 16 0 211390 0 vsize: 845624 [startup+510.069 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 48659 64 0 0 25 0 11 0 484604335 865918976 29058 4294967295 134512640 134569956 3221224400 3221214840 1131440432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29058 13073 16 0 211390 0 vsize: 845624 [startup+520.078 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18103 0 1 0 49643 64 0 0 25 0 11 0 484604335 865918976 29144 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29144 13073 16 0 211390 0 vsize: 845624 [startup+530.079 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 50629 65 0 0 25 0 11 0 484604335 865918976 29216 4294967295 134512640 134569956 3221224400 3221214840 1131440610 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29216 13073 16 0 211390 0 vsize: 845624 [startup+540.078 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 51617 65 0 0 25 0 11 0 484604335 865918976 29291 4294967295 134512640 134569956 3221224400 3221214752 1131625933 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29291 13073 16 0 211390 0 vsize: 845624 [startup+550.079 s] Raw data (loadavg): 1.00 1.02 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 52604 65 0 0 25 0 11 0 484604335 865918976 29350 4294967295 134512640 134569956 3221224400 3221214696 1131311860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29350 13073 16 0 211390 0 vsize: 845624 [startup+560.079 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 53592 65 0 0 25 0 11 0 484604335 865918976 29432 4294967295 134512640 134569956 3221224400 3221214752 1131625839 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29432 13073 16 0 211390 0 vsize: 845624 [startup+570.081 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 54577 65 0 0 25 0 11 0 484604335 865918976 29515 4294967295 134512640 134569956 3221224400 3221214284 1131727308 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29515 13073 16 0 211390 0 vsize: 845624 [startup+580.081 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 55565 66 0 0 25 0 11 0 484604335 865918976 29579 4294967295 134512640 134569956 3221224400 3221214752 1131625944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29579 13073 16 0 211390 0 vsize: 845624 [startup+590.081 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 56550 66 0 0 25 0 11 0 484604335 865918976 29656 4294967295 134512640 134569956 3221224400 3221214752 1131617812 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29656 13073 16 0 211390 0 vsize: 845624 [startup+600.082 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 57538 66 0 0 25 0 11 0 484604335 865918976 29719 4294967295 134512640 134569956 3221224400 3221214840 1131440364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29719 13073 16 0 211390 0 vsize: 845624 [startup+610.082 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 58523 67 0 0 25 0 11 0 484604335 865918976 29797 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29797 13073 16 0 211390 0 vsize: 845624 [startup+620.084 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 59511 67 0 0 25 0 11 0 484604335 865918976 29848 4294967295 134512640 134569956 3221224400 3221214288 1131729504 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29848 13073 16 0 211390 0 vsize: 845624 [startup+630.084 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 60496 67 0 0 25 0 11 0 484604335 865918976 29922 4294967295 134512640 134569956 3221224400 3221214792 1131396095 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29922 13073 16 0 211390 0 vsize: 845624 [startup+640.083 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 61484 68 0 0 25 0 11 0 484604335 865918976 29977 4294967295 134512640 134569956 3221224400 3221214752 1131625836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 29977 13073 16 0 211390 0 vsize: 845624 [startup+650.084 s] Raw data (loadavg): 1.00 1.01 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 62466 68 0 0 25 0 11 0 484604335 865918976 30068 4294967295 134512640 134569956 3221224400 3221214728 1131444503 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30068 13073 16 0 211390 0 vsize: 845624 [startup+660.084 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 63454 68 0 0 25 0 11 0 484604335 865918976 30164 4294967295 134512640 134569956 3221224400 3221214744 1131625944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30164 13073 16 0 211390 0 vsize: 845624 [startup+670.085 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 64437 69 0 0 25 0 11 0 484604335 865918976 30272 4294967295 134512640 134569956 3221224400 3221214672 1131310885 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30272 13073 16 0 211390 0 vsize: 845624 [startup+680.085 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 65419 69 0 0 25 0 11 0 484604335 865918976 30371 4294967295 134512640 134569956 3221224400 3221214672 1131312228 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30371 13073 16 0 211390 0 vsize: 845624 [startup+690.086 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 66399 70 0 0 25 0 11 0 484604335 865918976 30457 4294967295 134512640 134569956 3221224400 3221214672 1131312115 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30457 13073 16 0 211390 0 vsize: 845624 [startup+700.086 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 67382 70 0 0 25 0 11 0 484604335 865918976 30540 4294967295 134512640 134569956 3221224400 3221214672 1131312158 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30540 13073 16 0 211390 0 vsize: 845624 [startup+710.087 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 68359 70 0 0 25 0 11 0 484604335 865918976 30677 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30677 13073 16 0 211390 0 vsize: 845624 [startup+720.088 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 69338 70 0 0 25 0 11 0 484604335 865918976 30788 4294967295 134512640 134569956 3221224400 3221214672 1131311466 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30788 13073 16 0 211390 0 vsize: 845624 [startup+730.088 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 70323 71 0 0 25 0 11 0 484604335 865918976 30850 4294967295 134512640 134569956 3221224400 3221214872 1131191079 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30850 13073 16 0 211390 0 vsize: 845624 [startup+740.089 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 71307 71 0 0 25 0 11 0 484604335 865918976 30952 4294967295 134512640 134569956 3221224400 3221214672 1131312102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 30952 13073 16 0 211390 0 vsize: 845624 [startup+750.094 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 72288 71 0 0 25 0 11 0 484604335 865918976 31041 4294967295 134512640 134569956 3221224400 3221214464 1131725487 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 31041 13073 16 0 211390 0 vsize: 845624 [startup+760.094 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 73271 71 0 0 25 0 11 0 484604335 865918976 31114 4294967295 134512640 134569956 3221224400 3221214832 1131440440 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 31114 13073 16 0 211390 0 vsize: 845624 [startup+770.103 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 74252 71 0 0 25 0 11 0 484604335 865918976 31259 4294967295 134512640 134569956 3221224400 3221214672 1131311474 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 31259 13073 16 0 211390 0 vsize: 845624 [startup+780.103 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 75232 72 0 0 25 0 11 0 484604335 865918976 31389 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 31389 13073 16 0 211390 0 vsize: 845624 [startup+790.108 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18103 0 1 0 76216 72 0 0 25 0 11 0 484604335 865918976 31487 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 31487 13073 16 0 211390 0 vsize: 845624 [startup+800.118 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 77194 73 0 0 25 0 11 0 484604335 865918976 31622 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 31622 13073 16 0 211390 0 vsize: 845624 [startup+810.141 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 78180 73 0 0 25 0 11 0 484604335 865918976 31722 4294967295 134512640 134569956 3221224400 3221214672 1131312102 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 31722 13073 16 0 211390 0 vsize: 845624 [startup+820.142 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 79161 73 0 0 25 0 11 0 484604335 865918976 31812 4294967295 134512640 134569956 3221224400 3221214744 1131625836 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 31812 13073 16 0 211390 0 vsize: 845624 [startup+830.143 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 80139 74 0 0 25 0 11 0 484604335 865918976 31904 4294967295 134512640 134569956 3221224400 3221214408 1131725479 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 31904 13073 16 0 211390 0 vsize: 845624 [startup+840.142 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 81118 74 0 0 25 0 11 0 484604335 865918976 32029 4294967295 134512640 134569956 3221224400 3221214768 1131398848 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 32029 13073 16 0 211390 0 vsize: 845624 [startup+850.144 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 82096 75 0 0 25 0 11 0 484604335 865918976 32152 4294967295 134512640 134569956 3221224400 3221214712 1131212347 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 32152 13073 16 0 211390 0 vsize: 845624 [startup+860.144 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 83076 75 0 0 25 0 11 0 484604335 865918976 32268 4294967295 134512640 134569956 3221224400 3221214768 1131396194 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 32268 13073 16 0 211390 0 vsize: 845624 [startup+870.145 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 84055 75 0 0 25 0 11 0 484604335 865918976 32415 4294967295 134512640 134569956 3221224400 3221214672 1131311290 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 32415 13073 16 0 211390 0 vsize: 845624 [startup+880.145 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 85035 76 0 0 25 0 11 0 484604335 865918976 32526 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 32526 13073 16 0 211390 0 vsize: 845624 [startup+890.145 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 86011 76 0 0 25 0 11 0 484604335 865918976 32663 4294967295 134512640 134569956 3221224400 3221214768 1131396259 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 32663 13073 16 0 211390 0 vsize: 845624 [startup+900.145 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 86983 77 0 0 25 0 11 0 484604335 865918976 32816 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 32816 13073 16 0 211390 0 vsize: 845624 [startup+910.145 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 87957 77 0 0 25 0 11 0 484604335 865918976 32955 4294967295 134512640 134569956 3221224400 3221214768 1131396312 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 32955 13073 16 0 211390 0 vsize: 845624 [startup+920.146 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 88931 77 0 0 25 0 11 0 484604335 865918976 33120 4294967295 134512640 134569956 3221224400 3221214356 1131726544 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 33120 13073 16 0 211390 0 vsize: 845624 [startup+930.146 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 89907 78 0 0 25 0 11 0 484604335 865918976 33268 4294967295 134512640 134569956 3221224400 3221214300 1131726608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 33268 13073 16 0 211390 0 vsize: 845624 [startup+940.146 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 90886 78 0 0 25 0 11 0 484604335 865918976 33396 4294967295 134512640 134569956 3221224400 3221214792 1131332608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 33396 13073 16 0 211390 0 vsize: 845624 [startup+950.147 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 91863 78 0 0 25 0 11 0 484604335 865918976 33549 4294967295 134512640 134569956 3221224400 3221214932 1131243555 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 33549 13073 16 0 211390 0 vsize: 845624 [startup+960.147 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 92838 78 0 0 25 0 11 0 484604335 865918976 33682 4294967295 134512640 134569956 3221224400 3221214672 1131311377 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 33682 13073 16 0 211390 0 vsize: 845624 [startup+970.149 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 93812 79 0 0 25 0 11 0 484604335 865918976 33811 4294967295 134512640 134569956 3221224400 3221214672 1131311474 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 33811 13073 16 0 211390 0 vsize: 845624 [startup+980.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 94787 79 0 0 25 0 11 0 484604335 865918976 33985 4294967295 134512640 134569956 3221224400 3221214080 1085632310 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 33985 13073 16 0 211390 0 vsize: 845624 [startup+990.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 95763 79 0 0 25 0 11 0 484604335 865918976 34175 4294967295 134512640 134569956 3221224400 3221214248 1131726519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 34175 13073 16 0 211390 0 vsize: 845624 [startup+1000.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 96741 79 0 0 25 0 11 0 484604335 865918976 34353 4294967295 134512640 134569956 3221224400 3221214328 1085632301 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 34353 13073 16 0 211390 0 vsize: 845624 [startup+1010.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 97719 79 0 0 25 0 11 0 484604335 865918976 34480 4294967295 134512640 134569956 3221224400 3221214672 1131310873 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 34480 13073 16 0 211390 0 vsize: 845624 [startup+1020.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 98698 80 0 0 25 0 11 0 484604335 865918976 34593 4294967295 134512640 134569956 3221224400 3221214764 1131310860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 34593 13073 16 0 211390 0 vsize: 845624 [startup+1030.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 99677 80 0 0 25 0 11 0 484604335 865918976 34745 4294967295 134512640 134569956 3221224400 3221214344 1131725506 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 34745 13073 16 0 211390 0 vsize: 845624 [startup+1040.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 100657 80 0 0 25 0 11 0 484604335 865918976 34868 4294967295 134512640 134569956 3221224400 3221214792 1131332426 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 34868 13073 16 0 211390 0 vsize: 845624 [startup+1050.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 101635 81 0 0 25 0 11 0 484604335 865918976 34971 4294967295 134512640 134569956 3221224400 3221214672 1131311474 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 34971 13073 16 0 211390 0 vsize: 845624 [startup+1060.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) S 18078 24215 24214 0 -1 0 18103 0 1 0 102612 81 0 0 25 0 11 0 484604335 865918976 35060 4294967295 134512640 134569956 3221224400 3221213416 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 35060 13073 16 0 211390 0 vsize: 845624 [startup+1070.15 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 103589 81 0 0 25 0 11 0 484604335 865918976 35146 4294967295 134512640 134569956 3221224400 3221214744 1131625944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 35146 13073 16 0 211390 0 vsize: 845624 [startup+1080.16 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 104560 81 0 0 25 0 11 0 484604335 865918976 35311 4294967295 134512640 134569956 3221224400 3221214160 1131729628 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 35311 13073 16 0 211390 0 vsize: 845624 [startup+1090.16 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 105532 81 0 0 25 0 11 0 484604335 865918976 35490 4294967295 134512640 134569956 3221224400 3221214728 1131444514 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 35490 13073 16 0 211390 0 vsize: 845624 [startup+1100.16 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 106504 82 0 0 25 0 11 0 484604335 865918976 35677 4294967295 134512640 134569956 3221224400 3221214768 1131396194 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 35677 13073 16 0 211390 0 vsize: 845624 [startup+1110.16 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 107476 82 0 0 25 0 11 0 484604335 865918976 35864 4294967295 134512640 134569956 3221224400 3221214672 1131311305 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 35864 13073 16 0 211390 0 vsize: 845624 [startup+1120.16 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 108449 82 0 0 25 0 11 0 484604335 865918976 36054 4294967295 134512640 134569956 3221224400 3221213944 1131726673 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 36054 13073 16 0 211390 0 vsize: 845624 [startup+1130.17 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 109423 82 0 0 25 0 11 0 484604335 865918976 36245 4294967295 134512640 134569956 3221224400 3221214672 1131311262 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 36245 13073 16 0 211390 0 vsize: 845624 [startup+1140.18 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 110399 83 0 0 24 0 11 0 484604335 865918976 36404 4294967295 134512640 134569956 3221224400 3221214500 1131725248 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 36404 13073 16 0 211390 0 vsize: 845624 [startup+1150.18 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 111376 83 0 0 25 0 11 0 484604335 865918976 36579 4294967295 134512640 134569956 3221224400 3221214744 1131625955 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 36579 13073 16 0 211390 0 vsize: 845624 [startup+1160.18 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 112350 84 0 0 25 0 11 0 484604335 865918976 36716 4294967295 134512640 134569956 3221224400 3221214672 1131310903 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 36716 13073 16 0 211390 0 vsize: 845624 [startup+1170.18 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 113324 84 0 0 25 0 11 0 484604335 865918976 36871 4294967295 134512640 134569956 3221224400 3221214168 1131726453 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 36871 13073 16 0 211390 0 vsize: 845624 [startup+1180.18 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 114297 84 0 0 24 0 11 0 484604335 865918976 37020 4294967295 134512640 134569956 3221224400 3221214764 1131310860 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 37020 13073 16 0 211390 0 vsize: 845624 [startup+1190.18 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 115269 85 0 0 24 0 11 0 484604335 865918976 37195 4294967295 134512640 134569956 3221224400 3221214912 1131243609 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211406 37195 13073 16 0 211390 0 vsize: 845624 [startup+1200.19 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 116242 86 0 0 24 0 11 0 484604335 865918976 37368 4294967295 134512640 134569956 3221224400 3221214672 1131310881 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211406 37368 13073 16 0 211390 0 vsize: 845624 [startup+1210.19 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 117220 86 0 0 25 0 11 0 484604335 865918976 37459 4294967295 134512640 134569956 3221224400 3221214768 1131396194 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211406 37459 13073 16 0 211390 0 vsize: 845624 [startup+1220.19 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 118197 86 0 0 25 0 11 0 484604335 865918976 37613 4294967295 134512640 134569956 3221224400 3221214672 1131311402 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211406 37613 13073 16 0 211390 0 vsize: 845624 [startup+1230.19 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 119179 86 0 0 25 0 11 0 484604335 865918976 37725 4294967295 134512640 134569956 3221224400 3221214672 1131312109 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211406 37725 13073 16 0 211390 0 vsize: 845624 [startup+1240.19 s] Raw data (loadavg): 1.00 1.00 0.95 2/64 18089 Raw data (stat): 18079 (java) R 18078 24215 24214 0 -1 0 18103 0 1 0 120159 86 0 0 25 0 11 0 484604335 865918976 37783 4294967295 134512640 134569956 3221224400 3221214744 1131625836 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211406 37783 13073 16 0 211390 0 vsize: 845624 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1240.33 s] Raw data (loadavg): 1.00 1.00 0.95 1/54 18091 Raw data (stat): 18079 (java) Z 18078 24215 24214 0 -1 1036 18103 24109 1 0 120164 93 5189 66 24 0 1 0 484604335 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1240.33 CPU time (s): 1255.13 CPU user time (s): 1253.53 CPU system time (s): 1.60076 CPU usage (%): 101.194 Max. virtual memory (Kb): 849524 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####