Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ir98.opb |
MD5SUM | af50f6e3dbb65aa298a499a107f218c7 |
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 | 21 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 2097151 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 81920000000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 18861949529571 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.38864 |
Number of variables | 6938 |
Total number of constraints | 6560 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 6451 |
Number of constraints which are nor clauses,nor cardinality constraints | 109 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6052 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-04-20 23:58:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20003 boxname=wulflinc20 idbench=1539 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: af50f6e3dbb65aa298a499a107f218c7 /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-blp-ir98.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-blp-ir98.opb IDLAUNCH: 20003 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.215 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 637824 kB Buffers: 34036 kB Cached: 336784 kB SwapCached: 528 kB Active: 196732 kB Inactive: 176104 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 637572 kB SwapTotal: 2097892 kB SwapFree: 2096468 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5112 kB Slab: 18236 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 00:19:39 (client local time) WITH STATUS 143 IN 1248.4 SECONDS stats: 20003 7 1248.4 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-blp-ir98.opb c reading problem c [nbvar=6938] c [nbconstr=6560] c time 26.373 c #vars 6938 c #clauses 595 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.95 0.90 2/54 24959 Raw data (stat): 24959 (runsolver) R 24958 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540581758 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+9.99993 s] Raw data (loadavg): 0.93 0.95 0.90 2/63 24968 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18000 0 1 0 879 40 0 0 25 0 10 0 540581758 854425600 19384 4294967295 134512640 134569956 3221224400 3221214676 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208600 19384 13073 16 0 208584 0 vsize: 834400 [startup+20.0006 s] Raw data (loadavg): 0.94 0.96 0.91 4/63 24968 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18002 0 1 0 1754 40 0 0 25 0 10 0 540581758 856895488 20418 4294967295 134512640 134569956 3221224400 3221214856 1131160328 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209203 20418 13073 16 0 209187 0 vsize: 836812 [startup+30.0543 s] Raw data (loadavg): 1.09 0.99 0.92 2/64 24969 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18050 0 1 0 2622 44 0 0 25 0 11 0 540581758 857190400 25135 4294967295 134512640 134569956 3221224400 3221214756 1131273107 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25135 13073 16 0 209259 0 vsize: 837100 [startup+40.0541 s] Raw data (loadavg): 1.16 1.01 0.92 2/64 24969 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18051 0 1 0 3546 45 0 0 25 0 11 0 540581758 857190400 25054 4294967295 134512640 134569956 3221224400 3221214780 1131276384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209275 25054 13073 16 0 209259 0 vsize: 837100 [startup+50.0628 s] Raw data (loadavg): 1.13 1.01 0.92 4/64 24969 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18091 0 1 0 4441 45 0 0 25 0 11 0 540581758 859271168 25409 4294967295 134512640 134569956 3221224400 3221214756 1130884303 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209783 25410 13073 16 0 209767 0 vsize: 839132 [startup+60.0625 s] Raw data (loadavg): 1.26 1.04 0.93 2/64 24969 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18127 0 1 0 5370 45 0 0 25 0 11 0 540581758 860884992 26069 4294967295 134512640 134569956 3221224400 3221214784 1131382138 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 210177 26069 13073 16 0 210161 0 vsize: 840708 [startup+70.0632 s] Raw data (loadavg): 1.22 1.04 0.93 4/64 24969 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18127 0 1 0 6312 46 0 0 25 0 11 0 540581758 859799552 26471 4294967295 134512640 134569956 3221224400 3221213864 1073952732 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26471 13073 16 0 209896 0 vsize: 839648 [startup+80.0727 s] Raw data (loadavg): 1.26 1.05 0.94 3/67 25008 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18127 0 1 0 7274 52 0 0 25 0 11 0 540581758 859799552 26501 4294967295 134512640 134569956 3221224400 3221214624 1131503510 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26501 13073 16 0 209896 0 vsize: 839648 [startup+90.0727 s] Raw data (loadavg): 1.29 1.06 0.94 2/64 25022 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 8238 58 0 0 25 0 11 0 540581758 859799552 26555 4294967295 134512640 134569956 3221224400 3221214784 1131381022 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26555 13073 16 0 209896 0 vsize: 839648 [startup+100.074 s] Raw data (loadavg): 1.25 1.06 0.94 2/64 25022 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 9213 58 0 0 25 0 11 0 540581758 859799552 26575 4294967295 134512640 134569956 3221224400 3221214784 1131382705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26575 13073 16 0 209896 0 vsize: 839648 [startup+110.075 s] Raw data (loadavg): 1.21 1.06 0.94 2/64 25022 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 10192 58 0 0 25 0 11 0 540581758 859799552 26672 4294967295 134512640 134569956 3221224400 3221214784 1131382268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26672 13073 16 0 209896 0 vsize: 839648 [startup+120.076 s] Raw data (loadavg): 1.18 1.06 0.94 2/64 25022 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 11172 59 0 0 25 0 11 0 540581758 859799552 26725 4294967295 134512640 134569956 3221224400 3221214624 1131500536 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26725 13073 16 0 209896 0 vsize: 839648 [startup+130.076 s] Raw data (loadavg): 1.15 1.05 0.94 2/64 25022 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 12140 59 0 0 25 0 11 0 540581758 859799552 26774 4294967295 134512640 134569956 3221224400 3221214728 1131438978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26774 13073 16 0 209896 0 vsize: 839648 [startup+140.076 s] Raw data (loadavg): 1.12 1.05 0.94 2/64 25022 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 13087 60 0 0 25 0 11 0 540581758 859799552 26790 4294967295 134512640 134569956 3221224400 3221214784 1131382541 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26790 13073 16 0 209896 0 vsize: 839648 [startup+150.076 s] Raw data (loadavg): 1.10 1.05 0.94 2/64 25022 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 14032 60 0 0 25 0 11 0 540581758 859799552 26840 4294967295 134512640 134569956 3221224400 3221214688 1131311905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26840 13073 16 0 209896 0 vsize: 839648 [startup+160.076 s] Raw data (loadavg): 1.09 1.05 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 14976 61 0 0 25 0 11 0 540581758 859799552 26991 4294967295 134512640 134569956 3221224400 3221214688 1131311905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 26991 13073 16 0 209896 0 vsize: 839648 [startup+170.077 s] Raw data (loadavg): 1.07 1.05 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 15945 61 0 0 25 0 11 0 540581758 859799552 27267 4294967295 134512640 134569956 3221224400 3221214784 1131382596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 27267 13073 16 0 209896 0 vsize: 839648 [startup+180.077 s] Raw data (loadavg): 1.06 1.04 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 16926 62 0 0 25 0 11 0 540581758 859799552 27302 4294967295 134512640 134569956 3221224400 3221214744 1131250084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 27302 13073 16 0 209896 0 vsize: 839648 [startup+190.077 s] Raw data (loadavg): 1.05 1.04 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 17906 62 0 0 24 0 11 0 540581758 859799552 27349 4294967295 134512640 134569956 3221224400 3221214784 1131380954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 27349 13073 16 0 209896 0 vsize: 839648 [startup+200.078 s] Raw data (loadavg): 1.04 1.04 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 18888 63 0 0 25 0 11 0 540581758 859799552 27381 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 27381 13073 16 0 209896 0 vsize: 839648 [startup+210.077 s] Raw data (loadavg): 1.04 1.04 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 19861 63 0 0 25 0 11 0 540581758 859799552 27389 4294967295 134512640 134569956 3221224400 3221214728 1131439038 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 27389 13073 16 0 209896 0 vsize: 839648 [startup+220.086 s] Raw data (loadavg): 1.03 1.04 0.94 2/64 25024 Raw data (stat): 24959 (java) S 24958 27565 27564 0 -1 0 18128 0 1 0 20816 63 0 0 25 0 11 0 540581758 859799552 27423 4294967295 134512640 134569956 3221224400 3221213712 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 27423 13073 16 0 209896 0 vsize: 839648 [startup+230.086 s] Raw data (loadavg): 1.03 1.03 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 21775 64 0 0 25 0 11 0 540581758 859799552 27744 4294967295 134512640 134569956 3221224400 3221214784 1131383519 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 27744 13073 16 0 209896 0 vsize: 839648 [startup+240.086 s] Raw data (loadavg): 1.02 1.03 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 22731 64 0 0 25 0 11 0 540581758 859799552 28030 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 28030 13073 16 0 209896 0 vsize: 839648 [startup+250.086 s] Raw data (loadavg): 1.02 1.03 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 23699 65 0 0 25 0 11 0 540581758 859799552 28181 4294967295 134512640 134569956 3221224400 3221214728 1131439056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 28181 13073 16 0 209896 0 vsize: 839648 [startup+260.086 s] Raw data (loadavg): 1.01 1.03 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 24666 65 0 0 25 0 11 0 540581758 859799552 28350 4294967295 134512640 134569956 3221224400 3221214728 1131438947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 28350 13073 16 0 209896 0 vsize: 839648 [startup+270.087 s] Raw data (loadavg): 1.01 1.03 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 25624 65 0 0 25 0 11 0 540581758 859799552 28605 4294967295 134512640 134569956 3221224400 3221214728 1131438955 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 28605 13073 16 0 209896 0 vsize: 839648 [startup+280.087 s] Raw data (loadavg): 1.01 1.03 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 26595 65 0 0 25 0 11 0 540581758 859799552 28605 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 28605 13073 16 0 209896 0 vsize: 839648 [startup+290.087 s] Raw data (loadavg): 1.01 1.03 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 27552 66 0 0 24 0 11 0 540581758 859799552 28895 4294967295 134512640 134569956 3221224400 3221214624 1131499594 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 28895 13073 16 0 209896 0 vsize: 839648 [startup+300.088 s] Raw data (loadavg): 1.01 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 28518 66 0 0 25 0 11 0 540581758 859799552 29244 4294967295 134512640 134569956 3221224400 3221214688 1131313672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 29244 13073 16 0 209896 0 vsize: 839648 [startup+310.088 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 29466 66 0 0 25 0 11 0 540581758 859799552 29477 4294967295 134512640 134569956 3221224400 3221214784 1131382268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 29477 13073 16 0 209896 0 vsize: 839648 [startup+320.089 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 30416 67 0 0 24 0 11 0 540581758 859799552 29531 4294967295 134512640 134569956 3221224400 3221214688 1131311865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 29531 13073 16 0 209896 0 vsize: 839648 [startup+330.089 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 31356 67 0 0 25 0 11 0 540581758 859799552 29673 4294967295 134512640 134569956 3221224400 3221214728 1131438929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 29673 13073 16 0 209896 0 vsize: 839648 [startup+340.089 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 32327 67 0 0 25 0 11 0 540581758 859799552 29697 4294967295 134512640 134569956 3221224400 3221214688 1131311825 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 29697 13073 16 0 209896 0 vsize: 839648 [startup+350.089 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 33275 67 0 0 25 0 11 0 540581758 859799552 29803 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 29803 13073 16 0 209896 0 vsize: 839648 [startup+360.091 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 34225 68 0 0 25 0 11 0 540581758 859799552 29945 4294967295 134512640 134569956 3221224400 3221214776 1131244156 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 29945 13073 16 0 209896 0 vsize: 839648 [startup+370.091 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 35179 68 0 0 25 0 11 0 540581758 859799552 30298 4294967295 134512640 134569956 3221224400 3221214728 1131439097 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 30298 13073 16 0 209896 0 vsize: 839648 [startup+380.092 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 36152 68 0 0 25 0 11 0 540581758 859799552 30340 4294967295 134512640 134569956 3221224400 3221214728 1131438969 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 30340 13073 16 0 209896 0 vsize: 839648 [startup+390.092 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 37095 68 0 0 25 0 11 0 540581758 859799552 30599 4294967295 134512640 134569956 3221224400 3221214680 1131311933 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 30599 13073 16 0 209896 0 vsize: 839648 [startup+400.094 s] Raw data (loadavg): 1.00 1.02 0.94 2/64 25024 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 38005 69 0 0 25 0 11 0 540581758 859799552 30599 4294967295 134512640 134569956 3221224400 3221214776 1131382763 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 30599 13073 16 0 209896 0 vsize: 839648 [startup+410.094 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 38907 69 0 0 24 0 11 0 540581758 859799552 30781 4294967295 134512640 134569956 3221224400 3221214680 1131311865 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 30781 13073 16 0 209896 0 vsize: 839648 [startup+420.095 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 39851 70 0 0 25 0 11 0 540581758 859799552 31480 4294967295 134512640 134569956 3221224400 3221214776 1131382596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31480 13073 16 0 209896 0 vsize: 839648 [startup+430.096 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 40843 70 0 0 25 0 11 0 540581758 859799552 31489 4294967295 134512640 134569956 3221224400 3221214776 1131380900 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31489 13073 16 0 209896 0 vsize: 839648 [startup+440.095 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 41819 70 0 0 25 0 11 0 540581758 859799552 31495 4294967295 134512640 134569956 3221224400 3221214640 1131226726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31495 13073 16 0 209896 0 vsize: 839648 [startup+450.096 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 42792 70 0 0 25 0 11 0 540581758 859799552 31499 4294967295 134512640 134569956 3221224400 3221214624 1131276440 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31499 13073 16 0 209896 0 vsize: 839648 [startup+460.097 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 43738 71 0 0 24 0 11 0 540581758 859799552 31515 4294967295 134512640 134569956 3221224400 3221214376 1131325542 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31515 13073 16 0 209896 0 vsize: 839648 [startup+470.098 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 44689 71 0 0 25 0 11 0 540581758 859799552 31675 4294967295 134512640 134569956 3221224400 3221214792 1131405731 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31675 13073 16 0 209896 0 vsize: 839648 [startup+480.098 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 45648 72 0 0 24 0 11 0 540581758 859799552 31806 4294967295 134512640 134569956 3221224400 3221214384 1076461336 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31806 13073 16 0 209896 0 vsize: 839648 [startup+490.103 s] Raw data (loadavg): 1.00 1.01 0.94 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 46626 72 0 0 25 0 11 0 540581758 859799552 31888 4294967295 134512640 134569956 3221224400 3221214528 1131329286 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31888 13073 16 0 209896 0 vsize: 839648 [startup+500.104 s] Raw data (loadavg): 1.07 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 47593 72 0 0 25 0 11 0 540581758 859799552 31888 4294967295 134512640 134569956 3221224400 3221214628 1080203725 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31888 13073 16 0 209896 0 vsize: 839648 [startup+510.104 s] Raw data (loadavg): 1.06 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 48557 72 0 0 25 0 11 0 540581758 859799552 31888 4294967295 134512640 134569956 3221224400 3221214568 1131502790 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 31888 13073 16 0 209896 0 vsize: 839648 [startup+520.113 s] Raw data (loadavg): 1.05 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 49532 73 0 0 25 0 11 0 540581758 859799552 32077 4294967295 134512640 134569956 3221224400 3221214584 1131564308 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32077 13073 16 0 209896 0 vsize: 839648 [startup+530.113 s] Raw data (loadavg): 1.04 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18128 0 1 0 50509 73 0 0 16 0 11 0 540581758 859799552 32077 4294967295 134512640 134569956 3221224400 3221214692 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32077 13073 16 0 209896 0 vsize: 839648 [startup+540.114 s] Raw data (loadavg): 1.04 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 51485 73 0 0 25 0 11 0 540581758 859799552 32078 4294967295 134512640 134569956 3221224400 3221214284 1130895202 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32078 13073 16 0 209896 0 vsize: 839648 [startup+550.115 s] Raw data (loadavg): 1.03 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 52458 74 0 0 25 0 11 0 540581758 859799552 32078 4294967295 134512640 134569956 3221224400 3221214732 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32078 13073 16 0 209896 0 vsize: 839648 [startup+560.115 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 53427 74 0 0 25 0 11 0 540581758 859799552 32207 4294967295 134512640 134569956 3221224400 3221214568 1131502581 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32207 13073 16 0 209896 0 vsize: 839648 [startup+570.115 s] Raw data (loadavg): 1.02 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 54386 75 0 0 25 0 11 0 540581758 859799552 32207 4294967295 134512640 134569956 3221224400 3221214568 1131500001 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32207 13073 16 0 209896 0 vsize: 839648 [startup+580.115 s] Raw data (loadavg): 1.02 1.01 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 55328 75 0 0 24 0 11 0 540581758 859799552 32219 4294967295 134512640 134569956 3221224400 3221214680 1131312159 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32219 13073 16 0 209896 0 vsize: 839648 [startup+590.116 s] Raw data (loadavg): 1.01 1.01 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 56278 76 0 0 25 0 11 0 540581758 859799552 32264 4294967295 134512640 134569956 3221224400 3221214776 1131382268 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32264 13073 16 0 209896 0 vsize: 839648 [startup+600.117 s] Raw data (loadavg): 1.09 1.03 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 57200 76 0 0 25 0 11 0 540581758 859799552 32528 4294967295 134512640 134569956 3221224400 3221214536 1131375107 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32528 13073 16 0 209896 0 vsize: 839648 [startup+610.118 s] Raw data (loadavg): 1.08 1.03 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 58155 76 0 0 25 0 11 0 540581758 859799552 32702 4294967295 134512640 134569956 3221224400 3221214688 1131458721 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32702 13073 16 0 209896 0 vsize: 839648 [startup+620.119 s] Raw data (loadavg): 1.06 1.03 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 59114 76 0 0 25 0 11 0 540581758 859799552 32838 4294967295 134512640 134569956 3221224400 3221214768 1131244150 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 32838 13073 16 0 209896 0 vsize: 839648 [startup+630.12 s] Raw data (loadavg): 1.05 1.03 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 60063 77 0 0 25 0 11 0 540581758 859799552 33024 4294967295 134512640 134569956 3221224400 3221214568 1131499899 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33024 13073 16 0 209896 0 vsize: 839648 [startup+640.12 s] Raw data (loadavg): 1.05 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 61025 77 0 0 25 0 11 0 540581758 859799552 33072 4294967295 134512640 134569956 3221224400 3221214664 1131438985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33072 13073 16 0 209896 0 vsize: 839648 [startup+650.121 s] Raw data (loadavg): 1.04 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 61989 78 0 0 24 0 11 0 540581758 859799552 33219 4294967295 134512640 134569956 3221224400 3221214528 1131329272 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33219 13073 16 0 209896 0 vsize: 839648 [startup+660.122 s] Raw data (loadavg): 1.03 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 62967 78 0 0 24 0 11 0 540581758 859799552 33262 4294967295 134512640 134569956 3221224400 3221214736 1131250380 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33262 13073 16 0 209896 0 vsize: 839648 [startup+670.123 s] Raw data (loadavg): 1.03 1.02 0.95 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 63932 78 0 0 25 0 11 0 540581758 859799552 33262 4294967295 134512640 134569956 3221224400 3221214732 1080203719 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33262 13073 16 0 209896 0 vsize: 839648 [startup+680.124 s] Raw data (loadavg): 1.18 1.05 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 64894 79 0 0 25 0 11 0 540581758 859799552 33327 4294967295 134512640 134569956 3221224400 3221214776 1131383583 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33327 13073 16 0 209896 0 vsize: 839648 [startup+690.124 s] Raw data (loadavg): 1.15 1.05 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 65863 79 0 0 25 0 11 0 540581758 859799552 33327 4294967295 134512640 134569956 3221224400 3221214664 1131438971 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33327 13073 16 0 209896 0 vsize: 839648 [startup+700.124 s] Raw data (loadavg): 1.20 1.07 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 66829 79 0 0 25 0 11 0 540581758 859799552 33399 4294967295 134512640 134569956 3221224400 3221214664 1131439016 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33399 13073 16 0 209896 0 vsize: 839648 [startup+710.124 s] Raw data (loadavg): 1.17 1.06 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 67785 79 0 0 25 0 11 0 540581758 859799552 33525 4294967295 134512640 134569956 3221224400 3221214568 1131499429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33525 13073 16 0 209896 0 vsize: 839648 [startup+720.126 s] Raw data (loadavg): 1.15 1.06 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 68720 80 0 0 25 0 11 0 540581758 859799552 33600 4294967295 134512640 134569956 3221224400 3221214524 1131446375 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33600 13073 16 0 209896 0 vsize: 839648 [startup+730.126 s] Raw data (loadavg): 1.12 1.06 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 69688 80 0 0 25 0 11 0 540581758 859799552 33674 4294967295 134512640 134569956 3221224400 3221214664 1131438985 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33674 13073 16 0 209896 0 vsize: 839648 [startup+740.126 s] Raw data (loadavg): 1.10 1.06 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 70647 81 0 0 25 0 11 0 540581758 859799552 33839 4294967295 134512640 134569956 3221224400 3221214664 1131438939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33839 13073 16 0 209896 0 vsize: 839648 [startup+750.126 s] Raw data (loadavg): 1.09 1.05 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 71588 81 0 0 25 0 11 0 540581758 859799552 33872 4294967295 134512640 134569956 3221224400 3221214568 1131500076 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33872 13073 16 0 209896 0 vsize: 839648 [startup+760.126 s] Raw data (loadavg): 1.07 1.05 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 72532 81 0 0 25 0 11 0 540581758 859799552 33967 4294967295 134512640 134569956 3221224400 3221214664 1131438939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 33967 13073 16 0 209896 0 vsize: 839648 [startup+770.127 s] Raw data (loadavg): 1.06 1.05 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 73492 81 0 0 25 0 11 0 540581758 859799552 34075 4294967295 134512640 134569956 3221224400 3221214664 1131438939 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34075 13073 16 0 209896 0 vsize: 839648 [startup+780.128 s] Raw data (loadavg): 1.05 1.05 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 74451 82 0 0 25 0 11 0 540581758 859799552 34240 4294967295 134512640 134569956 3221224400 3221214684 1131413491 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34240 13073 16 0 209896 0 vsize: 839648 [startup+790.128 s] Raw data (loadavg): 1.04 1.05 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 75409 82 0 0 25 0 11 0 540581758 859799552 34240 4294967295 134512640 134569956 3221224400 3221214568 1131503508 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34240 13073 16 0 209896 0 vsize: 839648 [startup+800.128 s] Raw data (loadavg): 1.04 1.04 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 76385 83 0 0 25 0 11 0 540581758 859799552 34370 4294967295 134512640 134569956 3221224400 3221214680 1131311905 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34370 13073 16 0 209896 0 vsize: 839648 [startup+810.129 s] Raw data (loadavg): 1.03 1.04 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 77359 83 0 0 25 0 11 0 540581758 859799552 34453 4294967295 134512640 134569956 3221224400 3221214392 1080216949 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34453 13073 16 0 209896 0 vsize: 839648 [startup+820.13 s] Raw data (loadavg): 1.02 1.04 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 78337 83 0 0 25 0 11 0 540581758 859799552 34453 4294967295 134512640 134569956 3221224400 3221214688 1131457144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34453 13073 16 0 209896 0 vsize: 839648 [startup+830.13 s] Raw data (loadavg): 1.02 1.04 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 79319 84 0 0 25 0 11 0 540581758 859799552 34453 4294967295 134512640 134569956 3221224400 3221214776 1131380978 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34453 13073 16 0 209896 0 vsize: 839648 [startup+840.131 s] Raw data (loadavg): 1.02 1.04 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 80296 84 0 0 25 0 11 0 540581758 859799552 34487 4294967295 134512640 134569956 3221224400 3221214684 1080203664 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34487 13073 16 0 209896 0 vsize: 839648 [startup+850.132 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 81274 84 0 0 25 0 11 0 540581758 859799552 34487 4294967295 134512640 134569956 3221224400 3221214640 1131226698 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34487 13073 16 0 209896 0 vsize: 839648 [startup+860.133 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 82249 85 0 0 25 0 11 0 540581758 859799552 34487 4294967295 134512640 134569956 3221224400 3221214640 1131226726 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34487 13073 16 0 209896 0 vsize: 839648 [startup+870.134 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 83231 85 0 0 25 0 11 0 540581758 859799552 34524 4294967295 134512640 134569956 3221224400 3221214568 1131502848 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34524 13073 16 0 209896 0 vsize: 839648 [startup+880.134 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 84205 85 0 0 25 0 11 0 540581758 859799552 34524 4294967295 134512640 134569956 3221224400 3221214680 1131312081 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34524 13073 16 0 209896 0 vsize: 839648 [startup+890.134 s] Raw data (loadavg): 1.01 1.03 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18129 0 1 0 85172 86 0 0 25 0 11 0 540581758 859799552 34524 4294967295 134512640 134569956 3221224400 3221214640 1131312026 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34524 13073 16 0 209896 0 vsize: 839648 [startup+900.135 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 86126 86 0 0 25 0 11 0 540581758 859799552 34526 4294967295 134512640 134569956 3221224400 3221214664 1131277091 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34526 13073 16 0 209896 0 vsize: 839648 [startup+910.135 s] Raw data (loadavg): 1.00 1.03 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 87076 86 0 0 25 0 11 0 540581758 859799552 34655 4294967295 134512640 134569956 3221224400 3221214624 1131276407 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34655 13073 16 0 209896 0 vsize: 839648 [startup+920.136 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 88036 87 0 0 24 0 11 0 540581758 859799552 34734 4294967295 134512640 134569956 3221224400 3221214776 1131380954 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34734 13073 16 0 209896 0 vsize: 839648 [startup+930.136 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 89000 88 0 0 25 0 11 0 540581758 859799552 34814 4294967295 134512640 134569956 3221224400 3221214048 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34814 13073 16 0 209896 0 vsize: 839648 [startup+940.136 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 89978 88 0 0 25 0 11 0 540581758 859799552 34966 4294967295 134512640 134569956 3221224400 3221214640 1131311947 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34966 13073 16 0 209896 0 vsize: 839648 [startup+950.137 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 90945 88 0 0 25 0 11 0 540581758 859799552 34968 4294967295 134512640 134569956 3221224400 3221214664 1131276450 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 34968 13073 16 0 209896 0 vsize: 839648 [startup+960.138 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 91916 88 0 0 25 0 11 0 540581758 859799552 35012 4294967295 134512640 134569956 3221224400 3221214240 1078032547 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 35012 13073 16 0 209896 0 vsize: 839648 [startup+970.139 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 92892 88 0 0 25 0 11 0 540581758 859799552 35014 4294967295 134512640 134569956 3221224400 3221214520 1131603224 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 35014 13073 16 0 209896 0 vsize: 839648 [startup+980.139 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 93870 88 0 0 25 0 11 0 540581758 859799552 35151 4294967295 134512640 134569956 3221224400 3221214520 1131605443 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 35151 13073 16 0 209896 0 vsize: 839648 [startup+990.14 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 94867 89 0 0 25 0 11 0 540581758 859799552 35154 4294967295 134512640 134569956 3221224400 3221214528 1131529277 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 35154 13073 16 0 209896 0 vsize: 839648 [startup+1000.14 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 95860 89 0 0 25 0 11 0 540581758 859799552 35155 4294967295 134512640 134569956 3221224400 3221214664 1131438929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 35155 13073 16 0 209896 0 vsize: 839648 [startup+1010.14 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) S 24958 27565 27564 0 -1 0 18130 0 1 0 96834 89 0 0 25 0 11 0 540581758 859799552 35155 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 35155 13073 16 0 209896 0 vsize: 839648 [startup+1020.16 s] Raw data (loadavg): 1.00 1.02 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 97793 89 0 0 24 0 11 0 540581758 859799552 35155 4294967295 134512640 134569956 3221224400 3221214688 1131457575 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 35155 13073 16 0 209896 0 vsize: 839648 [startup+1030.16 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 98762 90 0 0 25 0 11 0 540581758 859799552 35155 4294967295 134512640 134569956 3221224400 3221214432 1131279422 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 35155 13073 16 0 209896 0 vsize: 839648 [startup+1040.16 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 99733 90 0 0 25 0 11 0 540581758 859799552 35296 4294967295 134512640 134569956 3221224400 3221214520 1131602039 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35296 13073 16 0 209896 0 vsize: 839648 [startup+1050.16 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 100723 90 0 0 25 0 11 0 540581758 859799552 35299 4294967295 134512640 134569956 3221224400 3221214528 1131322611 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35299 13073 16 0 209896 0 vsize: 839648 [startup+1060.16 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 101718 90 0 0 25 0 11 0 540581758 859799552 35395 4294967295 134512640 134569956 3221224400 3221214528 1131322739 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35395 13073 16 0 209896 0 vsize: 839648 [startup+1070.16 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 102716 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214680 1131312042 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209912 35402 13073 16 0 209896 0 vsize: 839648 [startup+1080.21 s] Raw data (loadavg): 1.00 1.01 0.97 3/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 103699 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214432 1131279594 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35402 13073 16 0 209896 0 vsize: 839648 [startup+1090.22 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 104682 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214528 1131528985 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35402 13073 16 0 209896 0 vsize: 839648 [startup+1100.22 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 105666 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214520 1131602103 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35402 13073 16 0 209896 0 vsize: 839648 [startup+1110.22 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 106649 90 0 0 25 0 11 0 540581758 859799552 35402 4294967295 134512640 134569956 3221224400 3221214524 1131278892 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35402 13073 16 0 209896 0 vsize: 839648 [startup+1120.22 s] Raw data (loadavg): 1.00 1.01 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 107626 90 0 0 25 0 11 0 540581758 859799552 35403 4294967295 134512640 134569956 3221224400 3221214616 1131635678 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35403 13073 16 0 209896 0 vsize: 839648 [startup+1130.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 108612 90 0 0 25 0 11 0 540581758 859799552 35518 4294967295 134512640 134569956 3221224400 3221214616 1131635559 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35518 13073 16 0 209896 0 vsize: 839648 [startup+1140.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 109608 90 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214616 1131632211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35521 13073 16 0 209896 0 vsize: 839648 [startup+1150.23 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 110605 90 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214616 1131632230 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35521 13073 16 0 209896 0 vsize: 839648 [startup+1160.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 111601 90 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214616 1131632364 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35521 13073 16 0 209896 0 vsize: 839648 [startup+1170.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 112597 90 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214520 1131280238 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35521 13073 16 0 209896 0 vsize: 839648 [startup+1180.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 113593 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214520 1131603224 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35521 13073 16 0 209896 0 vsize: 839648 [startup+1190.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 114587 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214568 1131502790 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35521 13073 16 0 209896 0 vsize: 839648 [startup+1200.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 115576 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214520 1131603058 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35521 13073 16 0 209896 0 vsize: 839648 [startup+1210.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 116568 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214616 1131632211 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35521 13073 16 0 209896 0 vsize: 839648 [startup+1220.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 117560 91 0 0 25 0 11 0 540581758 859799552 35521 4294967295 134512640 134569956 3221224400 3221214520 1131279718 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35521 13073 16 0 209896 0 vsize: 839648 [startup+1230.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 118554 91 0 0 25 0 11 0 540581758 859799552 35586 4294967295 134512640 134569956 3221224400 3221214520 1131602284 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35586 13073 16 0 209896 0 vsize: 839648 [startup+1240.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 119540 91 0 0 25 0 11 0 540581758 859799552 35586 4294967295 134512640 134569956 3221224400 3221214328 1080217052 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35586 13073 16 0 209896 0 vsize: 839648 [startup+1250.24 s] Raw data (loadavg): 1.00 1.00 0.97 2/64 25026 Raw data (stat): 24959 (java) R 24958 27565 27564 0 -1 0 18130 0 1 0 120522 91 0 0 25 0 11 0 540581758 859799552 35586 4294967295 134512640 134569956 3221224400 3221214520 1131279432 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209912 35586 13073 16 0 209896 0 vsize: 839648 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1250.36 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 25028 Raw data (stat): 24959 (java) Z 24958 27565 27564 0 -1 1036 18130 15721 1 0 120527 91 4182 38 25 0 1 0 540581758 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1250.36 CPU time (s): 1248.4 CPU user time (s): 1247.1 CPU system time (s): 1.3038 CPU usage (%): 99.8435 Max. virtual memory (Kb): 840708 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####