Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-danoint.opb |
MD5SUM | 32dd768e34cdc0e1cb04afadbe97060d |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 20 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 1048575 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 13107200 |
Number of bits of the biggest number in a constraint | 24 |
Biggest sum of numbers in a constraint | 52829966 |
Number of bits of the biggest sum of numbers | 26 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.36179 |
Number of variables | 9304 |
Total number of constraints | 728 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 72 |
Number of constraints which are nor clauses,nor cardinality constraints | 656 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc11 THE 2005-05-25 13:08:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21359 boxname=wulflinc11 idbench=1347 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: 32dd768e34cdc0e1cb04afadbe97060d /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-danoint.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-danoint.opb IDLAUNCH: 21359 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.028 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 826200 kB Buffers: 32848 kB Cached: 154400 kB SwapCached: 772 kB Active: 69400 kB Inactive: 119864 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 825948 kB SwapTotal: 2097136 kB SwapFree: 2095468 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5024 kB Slab: 13516 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 13:29:48 (client local time) WITH STATUS 143 IN 1265.98 SECONDS stats: 21359 7 1265.98 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre c This is free software under the GNU LGPL licence. See www.sat4j.org for details. c version Special PB05 Second trial c --- Begin Solver configuration --- c org.sat4j.minisat.uip.FirstUIP@1e4cbc4 c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 c c --- End Solver configuration --- c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-13-7-danoint.opb c reading problem ... done. Time 32.363 ms. c #vars 9304 c #constraints 816 c starts : 7 c conflicts : 2425 c decisions : 5164 c propagations : 131758 c inspects : 1225067 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 2425 c root simplifications : 13 s UNKNOWN c Total CPU time (ms) : 1259.204 #### 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.92 1.00 0.99 2/54 7678 Raw data (stat): 7678 (runsolver) R 7677 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 780897163 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0009 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7687 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18025 0 1 0 774 40 0 0 25 0 10 0 780897163 856498176 20329 4294967295 134512640 134569956 3221224368 3221214440 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209106 20329 13086 16 0 209090 0 vsize: 836424 [startup+20.0012 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7687 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18025 0 1 0 1647 40 0 0 24 0 10 0 780897163 854896640 20707 4294967295 134512640 134569956 3221224368 3221214320 1079276148 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208715 20707 13086 16 0 208699 0 vsize: 834860 [startup+30.0024 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 7687 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18026 0 1 0 2512 40 0 0 24 0 10 0 780897163 854896640 21039 4294967295 134512640 134569956 3221224368 3221214536 1078025585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208715 21039 13086 16 0 208699 0 vsize: 834860 [startup+40.0032 s] Raw data (loadavg): 1.16 1.04 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18100 0 1 0 3403 42 0 0 25 0 11 0 780897163 861093888 24224 4294967295 134512640 134569956 3221224368 3221214544 1131348921 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 210228 24224 13086 16 0 210212 0 vsize: 840912 [startup+50.0036 s] Raw data (loadavg): 1.13 1.04 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18100 0 1 0 4301 42 0 0 22 0 11 0 780897163 857325568 23284 4294967295 134512640 134569956 3221224368 3221214552 1131351935 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209308 23284 13086 16 0 209292 0 vsize: 837232 [startup+60.0037 s] Raw data (loadavg): 1.11 1.04 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18110 0 1 0 5182 42 0 0 24 0 11 0 780897163 857325568 23307 4294967295 134512640 134569956 3221224368 3221214568 1131348989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209308 23307 13086 16 0 209292 0 vsize: 837232 [startup+70.004 s] Raw data (loadavg): 1.10 1.04 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18111 0 1 0 6143 42 0 0 25 0 11 0 780897163 857325568 24075 4294967295 134512640 134569956 3221224368 3221214776 1131165277 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209308 24075 13086 16 0 209292 0 vsize: 837232 [startup+80.0043 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18112 0 1 0 7111 42 0 0 25 0 11 0 780897163 859598848 24669 4294967295 134512640 134569956 3221224368 3221214568 1131348961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209863 24669 13086 16 0 209847 0 vsize: 839452 [startup+90.0047 s] Raw data (loadavg): 1.07 1.03 1.01 3/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18113 0 1 0 8090 43 0 0 25 0 11 0 780897163 858247168 24433 4294967295 134512640 134569956 3221224368 3221214400 1131427100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209533 24433 13086 16 0 209517 0 vsize: 838132 [startup+100.005 s] Raw data (loadavg): 1.14 1.05 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18114 0 1 0 9062 43 0 0 25 0 11 0 780897163 858214400 24479 4294967295 134512640 134569956 3221224368 3221214472 1131540994 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209525 24479 13086 16 0 209509 0 vsize: 838100 [startup+110.006 s] Raw data (loadavg): 1.11 1.05 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18114 0 1 0 10029 43 0 0 25 0 11 0 780897163 858214400 24498 4294967295 134512640 134569956 3221224368 3221214664 1131388132 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209525 24498 13086 16 0 209509 0 vsize: 838100 [startup+120.007 s] Raw data (loadavg): 1.10 1.04 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18114 0 1 0 10994 43 0 0 25 0 11 0 780897163 857952256 24454 4294967295 134512640 134569956 3221224368 3221214664 1131386144 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 24454 13086 16 0 209445 0 vsize: 837844 [startup+130.007 s] Raw data (loadavg): 1.08 1.04 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 11947 43 0 0 25 0 11 0 780897163 857952256 24476 4294967295 134512640 134569956 3221224368 3221214564 1131127964 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 24476 13086 16 0 209445 0 vsize: 837844 [startup+140.008 s] Raw data (loadavg): 1.07 1.04 1.01 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 12898 43 0 0 25 0 11 0 780897163 857952256 24624 4294967295 134512640 134569956 3221224368 3221214544 1131208153 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 24624 13086 16 0 209445 0 vsize: 837844 [startup+150.008 s] Raw data (loadavg): 1.06 1.04 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 13824 43 0 0 25 0 11 0 780897163 857952256 24719 4294967295 134512640 134569956 3221224368 3221214584 1131261612 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 24719 13086 16 0 209445 0 vsize: 837844 [startup+160.008 s] Raw data (loadavg): 1.05 1.04 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 14775 43 0 0 25 0 11 0 780897163 857952256 24942 4294967295 134512640 134569956 3221224368 3221214496 1131426037 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 24942 13086 16 0 209445 0 vsize: 837844 [startup+170.008 s] Raw data (loadavg): 1.04 1.04 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 15716 43 0 0 24 0 11 0 780897163 857952256 25162 4294967295 134512640 134569956 3221224368 3221214316 1078829664 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 25162 13086 16 0 209445 0 vsize: 837844 [startup+180.009 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 16665 43 0 0 25 0 11 0 780897163 857952256 25392 4294967295 134512640 134569956 3221224368 3221214544 1131280175 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 25392 13086 16 0 209445 0 vsize: 837844 [startup+190.01 s] Raw data (loadavg): 1.03 1.03 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 17605 43 0 0 25 0 11 0 780897163 857952256 25594 4294967295 134512640 134569956 3221224368 3221214604 1131382808 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 25594 13086 16 0 209445 0 vsize: 837844 [startup+200.011 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 18545 43 0 0 25 0 11 0 780897163 857952256 25828 4294967295 134512640 134569956 3221224368 3221214664 1131385989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 25828 13086 16 0 209445 0 vsize: 837844 [startup+210.01 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 19470 44 0 0 25 0 11 0 780897163 857952256 25873 4294967295 134512640 134569956 3221224368 3221214664 1131387596 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 25873 13086 16 0 209445 0 vsize: 837844 [startup+220.011 s] Raw data (loadavg): 1.02 1.03 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 20411 44 0 0 25 0 11 0 780897163 857952256 26108 4294967295 134512640 134569956 3221224368 3221214568 1131349157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 26108 13086 16 0 209445 0 vsize: 837844 [startup+230.012 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 21347 44 0 0 25 0 11 0 780897163 857952256 26344 4294967295 134512640 134569956 3221224368 3221214544 1131280707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 26344 13086 16 0 209445 0 vsize: 837844 [startup+240.013 s] Raw data (loadavg): 1.01 1.03 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 22273 45 0 0 24 0 11 0 780897163 857952256 26592 4294967295 134512640 134569956 3221224368 3221214576 1131208171 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 26592 13086 16 0 209445 0 vsize: 837844 [startup+250.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 23211 45 0 0 25 0 11 0 780897163 857952256 26792 4294967295 134512640 134569956 3221224368 3221214660 1131348800 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 26792 13086 16 0 209445 0 vsize: 837844 [startup+260.014 s] Raw data (loadavg): 1.01 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 24148 46 0 0 25 0 11 0 780897163 857952256 27018 4294967295 134512640 134569956 3221224368 3221214544 1131279676 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 27018 13086 16 0 209445 0 vsize: 837844 [startup+270.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 25076 46 0 0 25 0 11 0 780897163 857952256 27260 4294967295 134512640 134569956 3221224368 3221214608 1131370882 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 27260 13086 16 0 209445 0 vsize: 837844 [startup+280.015 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 26013 47 0 0 25 0 11 0 780897163 857952256 27456 4294967295 134512640 134569956 3221224368 3221214568 1131188344 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 27456 13086 16 0 209445 0 vsize: 837844 [startup+290.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 26928 47 0 0 24 0 11 0 780897163 857952256 27628 4294967295 134512640 134569956 3221224368 3221214664 1131386130 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 27628 13086 16 0 209445 0 vsize: 837844 [startup+300.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 27870 48 0 0 25 0 11 0 780897163 857952256 27874 4294967295 134512640 134569956 3221224368 3221214568 1131349705 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 27874 13086 16 0 209445 0 vsize: 837844 [startup+310.016 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 28817 48 0 0 25 0 11 0 780897163 857952256 28100 4294967295 134512640 134569956 3221224368 3221214568 1131349019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 28100 13086 16 0 209445 0 vsize: 837844 [startup+320.017 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 29768 49 0 0 25 0 11 0 780897163 857952256 28355 4294967295 134512640 134569956 3221224368 3221214768 1131461552 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 28355 13086 16 0 209445 0 vsize: 837844 [startup+330.018 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 30713 49 0 0 25 0 11 0 780897163 857952256 28393 4294967295 134512640 134569956 3221224368 3221214512 1131280707 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 28393 13086 16 0 209445 0 vsize: 837844 [startup+340.019 s] Raw data (loadavg): 1.00 1.02 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 31656 49 0 0 25 0 11 0 780897163 857952256 28508 4294967295 134512640 134569956 3221224368 3221214568 1131348961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 28508 13086 16 0 209445 0 vsize: 837844 [startup+350.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 32599 50 0 0 25 0 11 0 780897163 857952256 28670 4294967295 134512640 134569956 3221224368 3221214552 1131177351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 28670 13086 16 0 209445 0 vsize: 837844 [startup+360.02 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 33542 51 0 0 25 0 11 0 780897163 857952256 28839 4294967295 134512640 134569956 3221224368 3221214664 1131388443 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 28839 13086 16 0 209445 0 vsize: 837844 [startup+370.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) S 7677 25830 25829 0 -1 0 18115 0 1 0 34483 51 0 0 25 0 11 0 780897163 857952256 28995 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 28995 13086 16 0 209445 0 vsize: 837844 [startup+380.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 35423 52 0 0 25 0 11 0 780897163 857952256 29178 4294967295 134512640 134569956 3221224368 3221214568 1131348919 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 29178 13086 16 0 209445 0 vsize: 837844 [startup+390.021 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 36367 53 0 0 25 0 11 0 780897163 857952256 29344 4294967295 134512640 134569956 3221224368 3221214584 1131261712 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 29344 13086 16 0 209445 0 vsize: 837844 [startup+400.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 37312 53 0 0 25 0 11 0 780897163 857952256 29492 4294967295 134512640 134569956 3221224368 3221214664 1131392616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 29492 13086 16 0 209445 0 vsize: 837844 [startup+410.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 38249 53 0 0 24 0 11 0 780897163 857952256 29674 4294967295 134512640 134569956 3221224368 3221214480 1131570455 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 29674 13086 16 0 209445 0 vsize: 837844 [startup+420.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 39195 53 0 0 25 0 11 0 780897163 857952256 29822 4294967295 134512640 134569956 3221224368 3221214664 1131388132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 29822 13086 16 0 209445 0 vsize: 837844 [startup+430.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 40141 54 0 0 25 0 11 0 780897163 857952256 29980 4294967295 134512640 134569956 3221224368 3221214568 1131348989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 29980 13086 16 0 209445 0 vsize: 837844 [startup+440.025 s] Raw data (loadavg): 1.00 1.01 1.00 2/64 7688 Raw data (stat): 7678 (java) S 7677 25830 25829 0 -1 0 18115 0 1 0 41081 54 0 0 25 0 11 0 780897163 857952256 30131 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30131 13086 16 0 209445 0 vsize: 837844 [startup+450.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 42027 55 0 0 25 0 11 0 780897163 857952256 30301 4294967295 134512640 134569956 3221224368 3221214664 1131392597 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30301 13086 16 0 209445 0 vsize: 837844 [startup+460.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 42978 55 0 0 25 0 11 0 780897163 857952256 30475 4294967295 134512640 134569956 3221224368 3221214188 1131571280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30475 13086 16 0 209445 0 vsize: 837844 [startup+470.026 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 43935 56 0 0 25 0 11 0 780897163 857952256 30675 4294967295 134512640 134569956 3221224368 3221214568 1131349046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30675 13086 16 0 209445 0 vsize: 837844 [startup+480.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 44909 56 0 0 25 0 11 0 780897163 857952256 30868 4294967295 134512640 134569956 3221224368 3221214664 1131388093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30868 13086 16 0 209445 0 vsize: 837844 [startup+490.033 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 45893 57 0 0 25 0 11 0 780897163 857952256 30892 4294967295 134512640 134569956 3221224368 3221214664 1131392616 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30892 13086 16 0 209445 0 vsize: 837844 [startup+500.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 46877 57 0 0 25 0 11 0 780897163 857952256 30907 4294967295 134512640 134569956 3221224368 3221214568 1131348837 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30907 13086 16 0 209445 0 vsize: 837844 [startup+510.033 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 47858 58 0 0 24 0 11 0 780897163 857952256 30917 4294967295 134512640 134569956 3221224368 3221214568 1131349695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30917 13086 16 0 209445 0 vsize: 837844 [startup+520.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 48839 58 0 0 25 0 11 0 780897163 857952256 30950 4294967295 134512640 134569956 3221224368 3221214584 1131382766 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30950 13086 16 0 209445 0 vsize: 837844 [startup+530.034 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 49817 59 0 0 25 0 11 0 780897163 857952256 30974 4294967295 134512640 134569956 3221224368 3221214520 1131280100 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30974 13086 16 0 209445 0 vsize: 837844 [startup+540.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 50791 59 0 0 25 0 11 0 780897163 857952256 30986 4294967295 134512640 134569956 3221224368 3221214664 1131387517 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 30986 13086 16 0 209445 0 vsize: 837844 [startup+550.035 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 51762 59 0 0 25 0 11 0 780897163 857952256 31027 4294967295 134512640 134569956 3221224368 3221214568 1131348961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31027 13086 16 0 209445 0 vsize: 837844 [startup+560.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 52731 60 0 0 25 0 11 0 780897163 857952256 31100 4294967295 134512640 134569956 3221224368 3221214504 1131425381 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31100 13086 16 0 209445 0 vsize: 837844 [startup+570.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 53696 60 0 0 24 0 11 0 780897163 857952256 31184 4294967295 134512640 134569956 3221224368 3221214504 1131426162 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31184 13086 16 0 209445 0 vsize: 837844 [startup+580.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 54663 61 0 0 25 0 11 0 780897163 857952256 31259 4294967295 134512640 134569956 3221224368 3221214664 1131388132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31259 13086 16 0 209445 0 vsize: 837844 [startup+590.038 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 55631 62 0 0 25 0 11 0 780897163 857952256 31323 4294967295 134512640 134569956 3221224368 3221214568 1131349019 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31323 13086 16 0 209445 0 vsize: 837844 [startup+600.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 56600 62 0 0 25 0 11 0 780897163 857952256 31414 4294967295 134512640 134569956 3221224368 3221214568 1131349695 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31414 13086 16 0 209445 0 vsize: 837844 [startup+610.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 57569 63 0 0 25 0 11 0 780897163 857952256 31497 4294967295 134512640 134569956 3221224368 3221214520 1131279930 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31497 13086 16 0 209445 0 vsize: 837844 [startup+620.043 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 58538 64 0 0 25 0 11 0 780897163 857952256 31579 4294967295 134512640 134569956 3221224368 3221214584 1131382672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31579 13086 16 0 209445 0 vsize: 837844 [startup+630.044 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 59504 65 0 0 25 0 11 0 780897163 857952256 31675 4294967295 134512640 134569956 3221224368 3221214664 1131389093 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31675 13086 16 0 209445 0 vsize: 837844 [startup+640.045 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 60480 65 0 0 25 0 11 0 780897163 857952256 31754 4294967295 134512640 134569956 3221224368 3221214664 1131388132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31754 13086 16 0 209445 0 vsize: 837844 [startup+650.046 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 61460 65 0 0 25 0 11 0 780897163 857952256 31836 4294967295 134512640 134569956 3221224368 3221214504 1131427043 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31836 13086 16 0 209445 0 vsize: 837844 [startup+660.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 62447 65 0 0 25 0 11 0 780897163 857952256 31873 4294967295 134512640 134569956 3221224368 3221214568 1131349046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31873 13086 16 0 209445 0 vsize: 837844 [startup+670.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 63431 66 0 0 25 0 11 0 780897163 857952256 31888 4294967295 134512640 134569956 3221224368 3221214568 1131348831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31888 13086 16 0 209445 0 vsize: 837844 [startup+680.047 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 64417 66 0 0 25 0 11 0 780897163 857952256 31901 4294967295 134512640 134569956 3221224368 3221214360 1131572929 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31901 13086 16 0 209445 0 vsize: 837844 [startup+690.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 65403 66 0 0 25 0 11 0 780897163 857952256 31914 4294967295 134512640 134569956 3221224368 3221214664 1131389177 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 31914 13086 16 0 209445 0 vsize: 837844 [startup+700.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 66389 67 0 0 25 0 11 0 780897163 857952256 31921 4294967295 134512640 134569956 3221224368 3221214664 1131389055 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31921 13086 16 0 209445 0 vsize: 837844 [startup+710.048 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 67370 67 0 0 25 0 11 0 780897163 857952256 31949 4294967295 134512640 134569956 3221224368 3221214568 1131349119 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31949 13086 16 0 209445 0 vsize: 837844 [startup+720.049 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 68346 67 0 0 25 0 11 0 780897163 857952256 31959 4294967295 134512640 134569956 3221224368 3221214568 1131348961 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 31959 13086 16 0 209445 0 vsize: 837844 [startup+730.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 69324 68 0 0 25 0 11 0 780897163 857952256 31980 4294967295 134512640 134569956 3221224368 3221214752 1131450749 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 31980 13086 16 0 209445 0 vsize: 837844 [startup+740.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 70308 68 0 0 25 0 11 0 780897163 857952256 32082 4294967295 134512640 134569956 3221224368 3221214080 1131571204 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32082 13086 16 0 209445 0 vsize: 837844 [startup+750.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 71289 68 0 0 25 0 11 0 780897163 857952256 32108 4294967295 134512640 134569956 3221224368 3221214660 1131189438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32108 13086 16 0 209445 0 vsize: 837844 [startup+760.051 s] Raw data (loadavg): 1.00 1.00 1.00 3/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 72270 69 0 0 25 0 11 0 780897163 857952256 32126 4294967295 134512640 134569956 3221224368 3221214664 1131392852 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32126 13086 16 0 209445 0 vsize: 837844 [startup+770.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18115 0 1 0 73244 69 0 0 25 0 11 0 780897163 857952256 32146 4294967295 134512640 134569956 3221224368 3221214504 1131427788 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32146 13086 16 0 209445 0 vsize: 837844 [startup+780.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 74217 69 0 0 25 0 11 0 780897163 857952256 32210 4294967295 134512640 134569956 3221224368 3221214712 1131208136 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32210 13086 16 0 209445 0 vsize: 837844 [startup+790.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 75192 70 0 0 25 0 11 0 780897163 857952256 32222 4294967295 134512640 134569956 3221224368 3221214552 1131351997 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32222 13086 16 0 209445 0 vsize: 837844 [startup+800.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 76162 70 0 0 25 0 11 0 780897163 857952256 32309 4294967295 134512640 134569956 3221224368 3221214708 1130885141 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32309 13086 16 0 209445 0 vsize: 837844 [startup+810.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 77129 70 0 0 25 0 11 0 780897163 857952256 32361 4294967295 134512640 134569956 3221224368 3221214568 1131348849 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32361 13086 16 0 209445 0 vsize: 837844 [startup+820.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 78094 71 0 0 25 0 11 0 780897163 857952256 32402 4294967295 134512640 134569956 3221224368 3221214656 1131280027 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32402 13086 16 0 209445 0 vsize: 837844 [startup+830.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 79064 71 0 0 25 0 11 0 780897163 857952256 32490 4294967295 134512640 134569956 3221224368 3221214568 1131348989 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32490 13086 16 0 209445 0 vsize: 837844 [startup+840.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 80035 71 0 0 25 0 11 0 780897163 857952256 32614 4294967295 134512640 134569956 3221224368 3221214568 1131348961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32614 13086 16 0 209445 0 vsize: 837844 [startup+850.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 81004 72 0 0 25 0 11 0 780897163 857952256 32668 4294967295 134512640 134569956 3221224368 3221214592 1131315313 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32668 13086 16 0 209445 0 vsize: 837844 [startup+860.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 81974 72 0 0 24 0 11 0 780897163 857952256 32730 4294967295 134512640 134569956 3221224368 3221214664 1131387596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32730 13086 16 0 209445 0 vsize: 837844 [startup+870.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 82949 72 0 0 25 0 11 0 780897163 857952256 32839 4294967295 134512640 134569956 3221224368 3221214504 1131427084 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32839 13086 16 0 209445 0 vsize: 837844 [startup+880.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 83924 73 0 0 25 0 11 0 780897163 857952256 32909 4294967295 134512640 134569956 3221224368 3221214648 1131608499 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32909 13086 16 0 209445 0 vsize: 837844 [startup+890.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 84901 73 0 0 25 0 11 0 780897163 857952256 32972 4294967295 134512640 134569956 3221224368 3221214664 1131393192 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 32972 13086 16 0 209445 0 vsize: 837844 [startup+900.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) S 7677 25830 25829 0 -1 0 18116 0 1 0 85879 73 0 0 25 0 11 0 780897163 857952256 33022 4294967295 134512640 134569956 3221224368 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33022 13086 16 0 209445 0 vsize: 837844 [startup+910.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 86858 74 0 0 25 0 11 0 780897163 857952256 33071 4294967295 134512640 134569956 3221224368 3221214552 1131352053 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33071 13086 16 0 209445 0 vsize: 837844 [startup+920.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 87836 74 0 0 25 0 11 0 780897163 857952256 33134 4294967295 134512640 134569956 3221224368 3221214664 1131388132 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33134 13086 16 0 209445 0 vsize: 837844 [startup+930.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 88810 75 0 0 25 0 11 0 780897163 857952256 33178 4294967295 134512640 134569956 3221224368 3221214792 1131627219 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33178 13086 16 0 209445 0 vsize: 837844 [startup+940.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 89788 76 0 0 25 0 11 0 780897163 857952256 33216 4294967295 134512640 134569956 3221224368 3221214568 1131348961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33216 13086 16 0 209445 0 vsize: 837844 [startup+950.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 90760 76 0 0 25 0 11 0 780897163 857952256 33282 4294967295 134512640 134569956 3221224368 3221214568 1131349731 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33282 13086 16 0 209445 0 vsize: 837844 [startup+960.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 91732 77 0 0 25 0 11 0 780897163 857952256 33343 4294967295 134512640 134569956 3221224368 3221214504 1131426162 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209461 33343 13086 16 0 209445 0 vsize: 837844 [startup+970.108 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 92708 77 0 0 25 0 11 0 780897163 857952256 33411 4294967295 134512640 134569956 3221224368 3221214552 1131351943 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33411 13086 16 0 209445 0 vsize: 837844 [startup+980.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 93680 78 0 0 25 0 11 0 780897163 857952256 33469 4294967295 134512640 134569956 3221224368 3221214012 1131565121 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33469 13086 16 0 209445 0 vsize: 837844 [startup+990.115 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 94650 79 0 0 25 0 11 0 780897163 857952256 33534 4294967295 134512640 134569956 3221224368 3221214656 1131177351 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33534 13086 16 0 209445 0 vsize: 837844 [startup+1000.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 95622 79 0 0 25 0 11 0 780897163 857952256 33600 4294967295 134512640 134569956 3221224368 3221214584 1131382672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33600 13086 16 0 209445 0 vsize: 837844 [startup+1010.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 96597 79 0 0 25 0 11 0 780897163 857952256 33675 4294967295 134512640 134569956 3221224368 3221214552 1131352649 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33675 13086 16 0 209445 0 vsize: 837844 [startup+1020.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 97569 80 0 0 25 0 11 0 780897163 857952256 33745 4294967295 134512640 134569956 3221224368 3221214752 1131451372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33745 13086 16 0 209445 0 vsize: 837844 [startup+1030.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 98541 80 0 0 25 0 11 0 780897163 857952256 33804 4294967295 134512640 134569956 3221224368 3221214752 1131451231 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33804 13086 16 0 209445 0 vsize: 837844 [startup+1040.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 99516 81 0 0 25 0 11 0 780897163 857952256 33867 4294967295 134512640 134569956 3221224368 3221214584 1131382672 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33867 13086 16 0 209445 0 vsize: 837844 [startup+1050.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 100487 81 0 0 25 0 11 0 780897163 857952256 33932 4294967295 134512640 134569956 3221224368 3221214208 1131569532 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33932 13086 16 0 209445 0 vsize: 837844 [startup+1060.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 101462 82 0 0 25 0 11 0 780897163 857952256 33993 4294967295 134512640 134569956 3221224368 3221214504 1131426166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 33993 13086 16 0 209445 0 vsize: 837844 [startup+1070.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 102433 82 0 0 25 0 11 0 780897163 857952256 34053 4294967295 134512640 134569956 3221224368 3221214568 1131348831 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34053 13086 16 0 209445 0 vsize: 837844 [startup+1080.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 103405 83 0 0 25 0 11 0 780897163 857952256 34117 4294967295 134512640 134569956 3221224368 3221214660 1131189438 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34117 13086 16 0 209445 0 vsize: 837844 [startup+1090.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 104381 83 0 0 25 0 11 0 780897163 857952256 34180 4294967295 134512640 134569956 3221224368 3221214568 1131349046 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34180 13086 16 0 209445 0 vsize: 837844 [startup+1100.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 105353 83 0 0 25 0 11 0 780897163 857952256 34250 4294967295 134512640 134569956 3221224368 3221214664 1131387596 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34250 13086 16 0 209445 0 vsize: 837844 [startup+1110.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 106325 84 0 0 25 0 11 0 780897163 857952256 34318 4294967295 134512640 134569956 3221224368 3221214664 1131393024 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34318 13086 16 0 209445 0 vsize: 837844 [startup+1120.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 107301 84 0 0 25 0 11 0 780897163 857952256 34367 4294967295 134512640 134569956 3221224368 3221214568 1131348961 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34367 13086 16 0 209445 0 vsize: 837844 [startup+1130.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 108273 85 0 0 25 0 11 0 780897163 857952256 34429 4294967295 134512640 134569956 3221224368 3221214664 1131394337 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34429 13086 16 0 209445 0 vsize: 837844 [startup+1140.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 109246 85 0 0 25 0 11 0 780897163 857952256 34496 4294967295 134512640 134569956 3221224368 3221214568 1131188373 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34496 13086 16 0 209445 0 vsize: 837844 [startup+1150.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 110224 85 0 0 25 0 11 0 780897163 857952256 34537 4294967295 134512640 134569956 3221224368 3221214540 1131570432 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34537 13086 16 0 209445 0 vsize: 837844 [startup+1160.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 111201 86 0 0 25 0 11 0 780897163 857952256 34594 4294967295 134512640 134569956 3221224368 3221214664 1131386151 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34594 13086 16 0 209445 0 vsize: 837844 [startup+1170.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 112177 86 0 0 24 0 11 0 780897163 857952256 34633 4294967295 134512640 134569956 3221224368 3221213992 1131571191 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34633 13086 16 0 209445 0 vsize: 837844 [startup+1180.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 113152 87 0 0 25 0 11 0 780897163 857952256 34690 4294967295 134512640 134569956 3221224368 3221214584 1131382693 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34690 13086 16 0 209445 0 vsize: 837844 [startup+1190.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 114127 87 0 0 25 0 11 0 780897163 857952256 34741 4294967295 134512640 134569956 3221224368 3221214584 1131382680 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34741 13086 16 0 209445 0 vsize: 837844 [startup+1200.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 115090 88 0 0 25 0 11 0 780897163 857952256 34782 4294967295 134512640 134569956 3221224368 3221214664 1131388429 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34782 13086 16 0 209445 0 vsize: 837844 [startup+1210.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 116041 88 0 0 25 0 11 0 780897163 857952256 34787 4294967295 134512640 134569956 3221224368 3221214568 1131349585 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34787 13086 16 0 209445 0 vsize: 837844 [startup+1220.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 116994 89 0 0 25 0 11 0 780897163 857952256 34873 4294967295 134512640 134569956 3221224368 3221214552 1131279918 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34873 13086 16 0 209445 0 vsize: 837844 [startup+1230.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 117931 89 0 0 25 0 11 0 780897163 857952256 34977 4294967295 134512640 134569956 3221224368 3221214648 1131607720 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 34977 13086 16 0 209445 0 vsize: 837844 [startup+1240.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 118868 90 0 0 25 0 11 0 780897163 857952256 35150 4294967295 134512640 134569956 3221224368 3221214432 1131569322 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 35150 13086 16 0 209445 0 vsize: 837844 [startup+1250.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 119805 90 0 0 25 0 11 0 780897163 857952256 35326 4294967295 134512640 134569956 3221224368 3221214520 1131280137 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 35326 13086 16 0 209445 0 vsize: 837844 [startup+1260.14 s] Raw data (loadavg): 1.00 1.00 1.00 2/64 7688 Raw data (stat): 7678 (java) R 7677 25830 25829 0 -1 0 18116 0 1 0 120742 90 0 0 24 0 11 0 780897163 857952256 35523 4294967295 134512640 134569956 3221224368 3221213964 1131571216 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209461 35523 13086 16 0 209445 0 vsize: 837844 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1260.22 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 7690 Raw data (stat): 7678 (java) Z 7677 25830 25829 0 -1 1036 18116 20479 1 0 120743 90 5707 55 25 0 1 0 780897163 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): 1260.22 CPU time (s): 1265.98 CPU user time (s): 1264.51 CPU system time (s): 1.46178 CPU usage (%): 100.456 Max. virtual memory (Kb): 840912 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####