Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran17x17.opb |
MD5SUM | a15c04744ea6af8a8a8518cde7c56bce |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5298760 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8959 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1612776422946 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1612776422946 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1218.22 |
Number of variables | 8959 |
Total number of constraints | 323 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 323 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 510 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc20 THE 2005-04-21 21:59:51 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14335 boxname=wulflinc20 idbench=1103 idsolver=9 numberseed=0 MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac /oldhome/oroussel/solvers/sat4jPseudo.jar MD5SUM BENCH: a15c04744ea6af8a8a8518cde7c56bce /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-ran17x17.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-ran17x17.opb IDLAUNCH: 14335 /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: 702752 kB Buffers: 23252 kB Cached: 285020 kB SwapCached: 516 kB Active: 33048 kB Inactive: 277200 kB HighTotal: 131008 kB HighFree: 9912 kB LowTotal: 903652 kB LowFree: 692840 kB SwapTotal: 2097892 kB SwapFree: 2096480 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5116 kB Slab: 15852 kB Committed_AS: 63584 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-04-21 22:20:13 (client local time) WITH STATUS 143 IN 1223.58 SECONDS stats: 14335 7 1223.58 143 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-ran17x17.opb c reading problem c [nbvar=8959] c [nbconstr=323] c time 28.291 c #vars 8959 c #clauses 358 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 0 c inspects : 0 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 c SATISFIABLE c OPTIMIZING... c c CURRENT OPTIMUM=4913762 c Current CPU time (ms) : 255.231 c starts : 1 c conflicts : 34 c decisions : 13705 c propagations : 62712 c inspects : 81625 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 34 c root simplifications : 21 #### 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.70 0.86 0.88 2/54 14799 Raw data (stat): 14799 (runsolver) R 14798 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548509312 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0004 s] Raw data (loadavg): 0.74 0.86 0.88 2/63 14808 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 17994 0 1 0 890 41 0 0 25 0 10 0 548509312 853594112 19101 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208397 19101 13073 16 0 208381 0 vsize: 833588 [startup+20.0045 s] Raw data (loadavg): 0.86 0.88 0.89 2/63 14861 Raw data (stat): 14799 (java) S 14798 27565 27564 0 -1 0 17995 0 1 0 1748 50 0 0 25 0 10 0 548509312 854528000 19765 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208625 19766 13073 16 0 208609 0 vsize: 834500 [startup+30.0093 s] Raw data (loadavg): 1.04 0.92 0.90 3/64 14862 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18109 0 1 0 2617 51 0 0 25 0 11 0 548509312 864645120 22422 4294967295 134512640 134569956 3221224400 3221214320 1078025677 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211095 22422 13073 16 0 211079 0 vsize: 844380 [startup+40.0097 s] Raw data (loadavg): 1.11 0.94 0.91 2/64 14862 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 3431 51 0 0 25 0 11 0 548509312 864612352 24625 4294967295 134512640 134569956 3221224400 3221214808 1131305957 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24625 13073 16 0 211071 0 vsize: 844348 [startup+50.0108 s] Raw data (loadavg): 1.09 0.94 0.91 3/64 14862 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 4416 51 0 0 25 0 11 0 548509312 864612352 24633 4294967295 134512640 134569956 3221224400 3221214808 1131306362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 24633 13073 16 0 211071 0 vsize: 844348 [startup+60.0105 s] Raw data (loadavg): 1.07 0.94 0.91 2/64 14862 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 5397 51 0 0 25 0 11 0 548509312 864612352 24673 4294967295 134512640 134569956 3221224400 3221214808 1131305953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24673 13073 16 0 211071 0 vsize: 844348 [startup+70.0117 s] Raw data (loadavg): 1.06 0.94 0.91 2/64 14862 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 6379 52 0 0 25 0 11 0 548509312 864612352 24722 4294967295 134512640 134569956 3221224400 3221214760 1131419352 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24722 13073 16 0 211071 0 vsize: 844348 [startup+80.012 s] Raw data (loadavg): 1.05 0.94 0.91 2/64 14862 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 7364 52 0 0 17 0 11 0 548509312 864612352 24749 4294967295 134512640 134569956 3221224400 3221214904 1131374484 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24749 13073 16 0 211071 0 vsize: 844348 [startup+90.0115 s] Raw data (loadavg): 1.04 0.94 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 8351 53 0 0 25 0 11 0 548509312 864612352 24775 4294967295 134512640 134569956 3221224400 3221214584 1131491700 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24775 13073 16 0 211071 0 vsize: 844348 [startup+100.012 s] Raw data (loadavg): 1.04 0.94 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 9338 53 0 0 25 0 11 0 548509312 864612352 24796 4294967295 134512640 134569956 3221224400 3221214856 1131253073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24796 13073 16 0 211071 0 vsize: 844348 [startup+110.013 s] Raw data (loadavg): 1.03 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 10322 54 0 0 25 0 11 0 548509312 864612352 24812 4294967295 134512640 134569956 3221224400 3221214856 1131253056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24812 13073 16 0 211071 0 vsize: 844348 [startup+120.014 s] Raw data (loadavg): 1.03 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18112 0 1 0 11311 54 0 0 25 0 11 0 548509312 864612352 24847 4294967295 134512640 134569956 3221224400 3221214808 1131305953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24847 13073 16 0 211071 0 vsize: 844348 [startup+130.014 s] Raw data (loadavg): 1.02 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 12295 54 0 0 25 0 11 0 548509312 864612352 24868 4294967295 134512640 134569956 3221224400 3221214472 1131314939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 24868 13073 16 0 211071 0 vsize: 844348 [startup+140.013 s] Raw data (loadavg): 1.02 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 13285 55 0 0 25 0 11 0 548509312 864612352 24875 4294967295 134512640 134569956 3221224400 3221214808 1131306239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24875 13073 16 0 211071 0 vsize: 844348 [startup+150.014 s] Raw data (loadavg): 1.01 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 14272 55 0 0 25 0 11 0 548509312 864612352 24902 4294967295 134512640 134569956 3221224400 3221214432 1130917144 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 24902 13073 16 0 211071 0 vsize: 844348 [startup+160.014 s] Raw data (loadavg): 1.01 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 15268 56 0 0 25 0 11 0 548509312 864612352 24906 4294967295 134512640 134569956 3221224400 3221214376 1076461259 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24906 13073 16 0 211071 0 vsize: 844348 [startup+170.014 s] Raw data (loadavg): 1.01 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 16263 56 0 0 25 0 11 0 548509312 864612352 24907 4294967295 134512640 134569956 3221224400 3221214680 1131642545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24907 13073 16 0 211071 0 vsize: 844348 [startup+180.014 s] Raw data (loadavg): 1.01 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 17260 56 0 0 25 0 11 0 548509312 864612352 24911 4294967295 134512640 134569956 3221224400 3221214680 1131642545 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24911 13073 16 0 211071 0 vsize: 844348 [startup+190.014 s] Raw data (loadavg): 1.01 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 18250 56 0 0 25 0 11 0 548509312 864612352 24955 4294967295 134512640 134569956 3221224400 3221214808 1131306391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24955 13073 16 0 211071 0 vsize: 844348 [startup+200.015 s] Raw data (loadavg): 1.00 0.95 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 19238 56 0 0 25 0 11 0 548509312 864612352 24977 4294967295 134512640 134569956 3221224400 3221214904 1131374200 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 24977 13073 16 0 211071 0 vsize: 844348 [startup+210.014 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 20226 57 0 0 25 0 11 0 548509312 864612352 25018 4294967295 134512640 134569956 3221224400 3221214808 1131306632 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25018 13073 16 0 211071 0 vsize: 844348 [startup+220.019 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 21216 57 0 0 24 0 11 0 548509312 864612352 25029 4294967295 134512640 134569956 3221224400 3221214808 1131306391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25029 13073 16 0 211071 0 vsize: 844348 [startup+230.019 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 22206 58 0 0 25 0 11 0 548509312 864612352 25056 4294967295 134512640 134569956 3221224400 3221214856 1131253217 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25056 13073 16 0 211071 0 vsize: 844348 [startup+240.019 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 23194 58 0 0 25 0 11 0 548509312 864612352 25086 4294967295 134512640 134569956 3221224400 3221214840 1131400372 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25086 13073 16 0 211071 0 vsize: 844348 [startup+250.021 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14864 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 0 1 0 24184 58 0 0 25 0 11 0 548509312 864612352 25117 4294967295 134512640 134569956 3221224400 3221214808 1131306325 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25117 13073 16 0 211071 0 vsize: 844348 [startup+260.021 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14865 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 25155 58 0 0 25 0 11 0 548509312 864612352 25142 4294967295 134512640 134569956 3221224400 3221214848 1131253056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25142 13073 16 0 211071 0 vsize: 844348 [startup+270.021 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14865 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 26114 59 0 0 25 0 11 0 548509312 864612352 25159 4294967295 134512640 134569956 3221224400 3221214896 1131374970 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25159 13073 16 0 211071 0 vsize: 844348 [startup+280.021 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14865 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 27078 59 0 0 25 0 11 0 548509312 864612352 25164 4294967295 134512640 134569956 3221224400 3221214800 1131305945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25164 13073 16 0 211071 0 vsize: 844348 [startup+290.021 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14865 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 28049 59 0 0 25 0 11 0 548509312 864612352 25404 4294967295 134512640 134569956 3221224400 3221214744 1131463663 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25404 13073 16 0 211071 0 vsize: 844348 [startup+300.022 s] Raw data (loadavg): 1.00 0.96 0.91 2/64 14865 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 29027 60 0 0 25 0 11 0 548509312 864612352 25420 4294967295 134512640 134569956 3221224400 3221214744 1131465617 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25420 13073 16 0 211071 0 vsize: 844348 [startup+310.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14865 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 30008 60 0 0 25 0 11 0 548509312 864612352 25426 4294967295 134512640 134569956 3221224400 3221214776 1131324802 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25426 13073 16 0 211071 0 vsize: 844348 [startup+320.021 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14865 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 30991 61 0 0 25 0 11 0 548509312 864612352 25428 4294967295 134512640 134569956 3221224400 3221214688 1131642543 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25428 13073 16 0 211071 0 vsize: 844348 [startup+330.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14865 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 31976 61 0 0 25 0 11 0 548509312 864612352 25430 4294967295 134512640 134569956 3221224400 3221214584 1131315026 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25430 13073 16 0 211071 0 vsize: 844348 [startup+340.022 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 32957 61 0 0 25 0 11 0 548509312 864612352 25433 4294967295 134512640 134569956 3221224400 3221214664 1131538944 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25433 13073 16 0 211071 0 vsize: 844348 [startup+350.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 33932 61 0 0 25 0 11 0 548509312 864612352 25434 4294967295 134512640 134569956 3221224400 3221214800 1131305953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25434 13073 16 0 211071 0 vsize: 844348 [startup+360.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 34905 61 0 0 25 0 11 0 548509312 864612352 25434 4294967295 134512640 134569956 3221224400 3221214800 1131305975 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25434 13073 16 0 211071 0 vsize: 844348 [startup+370.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 35874 61 0 0 25 0 11 0 548509312 864612352 25434 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25434 13073 16 0 211071 0 vsize: 844348 [startup+380.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 36868 62 0 0 25 0 11 0 548509312 864612352 25619 4294967295 134512640 134569956 3221224400 3221214892 1131305939 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25619 13073 16 0 211071 0 vsize: 844348 [startup+390.023 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 37865 62 0 0 25 0 11 0 548509312 864612352 25621 4294967295 134512640 134569956 3221224400 3221214800 1131306513 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25621 13073 16 0 211071 0 vsize: 844348 [startup+400.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 38862 62 0 0 25 0 11 0 548509312 864612352 25622 4294967295 134512640 134569956 3221224400 3221214896 1131374384 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25622 13073 16 0 211071 0 vsize: 844348 [startup+410.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 39857 62 0 0 25 0 11 0 548509312 864612352 25626 4294967295 134512640 134569956 3221224400 3221214800 1131306626 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25626 13073 16 0 211071 0 vsize: 844348 [startup+420.024 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 40852 62 0 0 25 0 11 0 548509312 864612352 25628 4294967295 134512640 134569956 3221224400 3221214800 1131306362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25628 13073 16 0 211071 0 vsize: 844348 [startup+430.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 41846 62 0 0 25 0 11 0 548509312 864612352 25640 4294967295 134512640 134569956 3221224400 3221214800 1131306358 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25640 13073 16 0 211071 0 vsize: 844348 [startup+440.025 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 42840 62 0 0 25 0 11 0 548509312 864612352 25658 4294967295 134512640 134569956 3221224400 3221214800 1131306299 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25658 13073 16 0 211071 0 vsize: 844348 [startup+450.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 43836 62 0 0 25 0 11 0 548509312 864612352 25659 4294967295 134512640 134569956 3221224400 3221214800 1131307537 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25659 13073 16 0 211071 0 vsize: 844348 [startup+460.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 44832 62 0 0 25 0 11 0 548509312 864612352 25676 4294967295 134512640 134569956 3221224400 3221214896 1131375142 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25676 13073 16 0 211071 0 vsize: 844348 [startup+470.026 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 45828 63 0 0 25 0 11 0 548509312 864612352 25680 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25680 13073 16 0 211071 0 vsize: 844348 [startup+480.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 46822 63 0 0 25 0 11 0 548509312 864612352 25680 4294967295 134512640 134569956 3221224400 3221214896 1131374408 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25680 13073 16 0 211071 0 vsize: 844348 [startup+490.027 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 47816 63 0 0 25 0 11 0 548509312 864612352 25681 4294967295 134512640 134569956 3221224400 3221214800 1131306561 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25681 13073 16 0 211071 0 vsize: 844348 [startup+500.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 48812 63 0 0 25 0 11 0 548509312 864612352 25702 4294967295 134512640 134569956 3221224400 3221214848 1131253077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25702 13073 16 0 211071 0 vsize: 844348 [startup+510.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 49806 63 0 0 25 0 11 0 548509312 864612352 25717 4294967295 134512640 134569956 3221224400 3221214872 1131321905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25717 13073 16 0 211071 0 vsize: 844348 [startup+520.028 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 50801 63 0 0 25 0 11 0 548509312 864612352 25717 4294967295 134512640 134569956 3221224400 3221214800 1131305953 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25717 13073 16 0 211071 0 vsize: 844348 [startup+530.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 51796 63 0 0 25 0 11 0 548509312 864612352 25728 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25728 13073 16 0 211071 0 vsize: 844348 [startup+540.029 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 52793 63 0 0 25 0 11 0 548509312 864612352 25735 4294967295 134512640 134569956 3221224400 3221214800 1131306348 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25735 13073 16 0 211071 0 vsize: 844348 [startup+550.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 53788 63 0 0 25 0 11 0 548509312 864612352 25738 4294967295 134512640 134569956 3221224400 3221214848 1131253098 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25738 13073 16 0 211071 0 vsize: 844348 [startup+560.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 54782 63 0 0 25 0 11 0 548509312 864612352 25739 4294967295 134512640 134569956 3221224400 3221214848 1131253077 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25739 13073 16 0 211071 0 vsize: 844348 [startup+570.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 55776 63 0 0 25 0 11 0 548509312 864612352 25752 4294967295 134512640 134569956 3221224400 3221214800 1131305989 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25752 13073 16 0 211071 0 vsize: 844348 [startup+580.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 56772 63 0 0 25 0 11 0 548509312 864612352 25770 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25770 13073 16 0 211071 0 vsize: 844348 [startup+590.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 57766 63 0 0 25 0 11 0 548509312 864612352 25772 4294967295 134512640 134569956 3221224400 3221214800 1131306443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25772 13073 16 0 211071 0 vsize: 844348 [startup+600.03 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 58760 63 0 0 25 0 11 0 548509312 864612352 25775 4294967295 134512640 134569956 3221224400 3221214848 1131253053 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25775 13073 16 0 211071 0 vsize: 844348 [startup+610.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 59755 63 0 0 25 0 11 0 548509312 864612352 25792 4294967295 134512640 134569956 3221224400 3221214800 1131306395 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25792 13073 16 0 211071 0 vsize: 844348 [startup+620.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 60752 63 0 0 25 0 11 0 548509312 864612352 25796 4294967295 134512640 134569956 3221224400 3221214800 1131306048 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25796 13073 16 0 211071 0 vsize: 844348 [startup+630.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 61749 63 0 0 25 0 11 0 548509312 864612352 25799 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25799 13073 16 0 211071 0 vsize: 844348 [startup+640.031 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 62744 63 0 0 25 0 11 0 548509312 864612352 25807 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25807 13073 16 0 211071 0 vsize: 844348 [startup+650.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 63739 63 0 0 25 0 11 0 548509312 864612352 25808 4294967295 134512640 134569956 3221224400 3221214800 1131307279 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25808 13073 16 0 211071 0 vsize: 844348 [startup+660.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 64735 63 0 0 25 0 11 0 548509312 864612352 25826 4294967295 134512640 134569956 3221224400 3221214800 1131306541 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25826 13073 16 0 211071 0 vsize: 844348 [startup+670.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 65731 64 0 0 25 0 11 0 548509312 864612352 25827 4294967295 134512640 134569956 3221224400 3221214892 1131307546 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25827 13073 16 0 211071 0 vsize: 844348 [startup+680.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 66726 64 0 0 25 0 11 0 548509312 864612352 25830 4294967295 134512640 134569956 3221224400 3221214872 1131321905 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25830 13073 16 0 211071 0 vsize: 844348 [startup+690.032 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 67721 64 0 0 25 0 11 0 548509312 864612352 25835 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25835 13073 16 0 211071 0 vsize: 844348 [startup+700.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 68716 64 0 0 25 0 11 0 548509312 864612352 25857 4294967295 134512640 134569956 3221224400 3221214800 1131306521 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25857 13073 16 0 211071 0 vsize: 844348 [startup+710.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 69714 64 0 0 25 0 11 0 548509312 864612352 25858 4294967295 134512640 134569956 3221224400 3221214800 1131306912 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25858 13073 16 0 211071 0 vsize: 844348 [startup+720.033 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 70709 64 0 0 25 0 11 0 548509312 864612352 25861 4294967295 134512640 134569956 3221224400 3221214896 1131375056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25861 13073 16 0 211071 0 vsize: 844348 [startup+730.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 71705 64 0 0 25 0 11 0 548509312 864612352 25863 4294967295 134512640 134569956 3221224400 3221214896 1131374005 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25863 13073 16 0 211071 0 vsize: 844348 [startup+740.034 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 72700 64 0 0 25 0 11 0 548509312 864612352 25863 4294967295 134512640 134569956 3221224400 3221214800 1131305953 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25863 13073 16 0 211071 0 vsize: 844348 [startup+750.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 73694 64 0 0 25 0 11 0 548509312 864612352 25877 4294967295 134512640 134569956 3221224400 3221214848 1131253056 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25877 13073 16 0 211071 0 vsize: 844348 [startup+760.035 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 74689 65 0 0 25 0 11 0 548509312 864612352 25879 4294967295 134512640 134569956 3221224400 3221214896 1131374321 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25879 13073 16 0 211071 0 vsize: 844348 [startup+770.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 75685 65 0 0 25 0 11 0 548509312 864612352 25892 4294967295 134512640 134569956 3221224400 3221214688 1131642637 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25892 13073 16 0 211071 0 vsize: 844348 [startup+780.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 76679 65 0 0 25 0 11 0 548509312 864612352 25913 4294967295 134512640 134569956 3221224400 3221214840 1131390065 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25913 13073 16 0 211071 0 vsize: 844348 [startup+790.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 77669 66 0 0 25 0 11 0 548509312 864612352 25924 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25924 13073 16 0 211071 0 vsize: 844348 [startup+800.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 78660 66 0 0 25 0 11 0 548509312 864612352 25933 4294967295 134512640 134569956 3221224400 3221214896 1131374005 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25933 13073 16 0 211071 0 vsize: 844348 [startup+810.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 79654 66 0 0 25 0 11 0 548509312 864612352 25969 4294967295 134512640 134569956 3221224400 3221214800 1131306886 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25969 13073 16 0 211071 0 vsize: 844348 [startup+820.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 80650 66 0 0 25 0 11 0 548509312 864612352 25982 4294967295 134512640 134569956 3221224400 3221214800 1131306388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25982 13073 16 0 211071 0 vsize: 844348 [startup+830.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 81645 66 0 0 25 0 11 0 548509312 864612352 25983 4294967295 134512640 134569956 3221224400 3221214888 1131528092 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 25983 13073 16 0 211071 0 vsize: 844348 [startup+840.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 82639 67 0 0 25 0 11 0 548509312 864612352 25983 4294967295 134512640 134569956 3221224400 3221214800 1131305964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25983 13073 16 0 211071 0 vsize: 844348 [startup+850.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 83632 67 0 0 25 0 11 0 548509312 864612352 25996 4294967295 134512640 134569956 3221224400 3221214800 1131305964 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 25996 13073 16 0 211071 0 vsize: 844348 [startup+860.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 84626 67 0 0 25 0 11 0 548509312 864612352 26012 4294967295 134512640 134569956 3221224400 3221214800 1131306597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26012 13073 16 0 211071 0 vsize: 844348 [startup+870.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 85622 67 0 0 25 0 11 0 548509312 864612352 26014 4294967295 134512640 134569956 3221224400 3221214800 1131306626 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26014 13073 16 0 211071 0 vsize: 844348 [startup+880.055 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 86618 68 0 0 25 0 11 0 548509312 864612352 26014 4294967295 134512640 134569956 3221224400 3221214800 1131306553 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26014 13073 16 0 211071 0 vsize: 844348 [startup+890.056 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 87611 68 0 0 25 0 11 0 548509312 864612352 26023 4294967295 134512640 134569956 3221224400 3221214800 1131306280 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26023 13073 16 0 211071 0 vsize: 844348 [startup+900.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 88604 68 0 0 25 0 11 0 548509312 864612352 26028 4294967295 134512640 134569956 3221224400 3221214896 1131375041 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26028 13073 16 0 211071 0 vsize: 844348 [startup+910.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 89598 68 0 0 25 0 11 0 548509312 864612352 26056 4294967295 134512640 134569956 3221224400 3221214800 1131306498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26056 13073 16 0 211071 0 vsize: 844348 [startup+920.057 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 90594 68 0 0 25 0 11 0 548509312 864612352 26073 4294967295 134512640 134569956 3221224400 3221214848 1131253056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26073 13073 16 0 211071 0 vsize: 844348 [startup+930.058 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 91591 68 0 0 25 0 11 0 548509312 864612352 26075 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26075 13073 16 0 211071 0 vsize: 844348 [startup+940.058 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 92585 68 0 0 25 0 11 0 548509312 864612352 26076 4294967295 134512640 134569956 3221224400 3221214800 1131306468 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26076 13073 16 0 211071 0 vsize: 844348 [startup+950.058 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 93579 69 0 0 25 0 11 0 548509312 864612352 26077 4294967295 134512640 134569956 3221224400 3221214800 1131305945 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26077 13073 16 0 211071 0 vsize: 844348 [startup+960.059 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 94572 69 0 0 25 0 11 0 548509312 864612352 26077 4294967295 134512640 134569956 3221224400 3221214848 1131253073 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26077 13073 16 0 211071 0 vsize: 844348 [startup+970.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 95577 69 0 0 25 0 11 0 548509312 864612352 26097 4294967295 134512640 134569956 3221224400 3221214800 1131306498 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26097 13073 16 0 211071 0 vsize: 844348 [startup+980.161 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 96573 70 0 0 25 0 11 0 548509312 864612352 26099 4294967295 134512640 134569956 3221224400 3221214848 1131253147 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26099 13073 16 0 211071 0 vsize: 844348 [startup+990.162 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 97569 70 0 0 25 0 11 0 548509312 864612352 26107 4294967295 134512640 134569956 3221224400 3221214896 1131374181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26107 13073 16 0 211071 0 vsize: 844348 [startup+1000.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 98566 71 0 0 25 0 11 0 548509312 864612352 26112 4294967295 134512640 134569956 3221224400 3221214800 1131306513 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26112 13073 16 0 211071 0 vsize: 844348 [startup+1010.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 99559 71 0 0 25 0 11 0 548509312 864612352 26125 4294967295 134512640 134569956 3221224400 3221214800 1131306391 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26125 13073 16 0 211071 0 vsize: 844348 [startup+1020.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 100552 71 0 0 25 0 11 0 548509312 864612352 26126 4294967295 134512640 134569956 3221224400 3221214800 1131307347 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26126 13073 16 0 211071 0 vsize: 844348 [startup+1030.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 101546 72 0 0 25 0 11 0 548509312 864612352 26144 4294967295 134512640 134569956 3221224400 3221214848 1131253077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26144 13073 16 0 211071 0 vsize: 844348 [startup+1040.16 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 102543 72 0 0 25 0 11 0 548509312 864612352 26152 4294967295 134512640 134569956 3221224400 3221214872 1131321897 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26152 13073 16 0 211071 0 vsize: 844348 [startup+1050.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 103540 72 0 0 25 0 11 0 548509312 864612352 26153 4294967295 134512640 134569956 3221224400 3221214848 1131253077 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26153 13073 16 0 211071 0 vsize: 844348 [startup+1060.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 104537 72 0 0 25 0 11 0 548509312 864612352 26156 4294967295 134512640 134569956 3221224400 3221214800 1131306388 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26156 13073 16 0 211071 0 vsize: 844348 [startup+1070.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 105534 73 0 0 25 0 11 0 548509312 864612352 26156 4294967295 134512640 134569956 3221224400 3221214896 1131374408 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26156 13073 16 0 211071 0 vsize: 844348 [startup+1080.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 106529 73 0 0 25 0 11 0 548509312 864612352 26159 4294967295 134512640 134569956 3221224400 3221214800 1131306050 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26159 13073 16 0 211071 0 vsize: 844348 [startup+1090.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 107523 74 0 0 25 0 11 0 548509312 864612352 26163 4294967295 134512640 134569956 3221224400 3221214896 1131374181 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26163 13073 16 0 211071 0 vsize: 844348 [startup+1100.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 108516 74 0 0 25 0 11 0 548509312 864612352 26172 4294967295 134512640 134569956 3221224400 3221214800 1131306457 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26172 13073 16 0 211071 0 vsize: 844348 [startup+1110.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 109511 74 0 0 25 0 11 0 548509312 864612352 26187 4294967295 134512640 134569956 3221224400 3221214800 1131306449 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 211087 26187 13073 16 0 211071 0 vsize: 844348 [startup+1120.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 110507 75 0 0 25 0 11 0 548509312 864612352 26204 4294967295 134512640 134569956 3221224400 3221214848 1131253266 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26204 13073 16 0 211071 0 vsize: 844348 [startup+1130.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 111504 75 0 0 25 0 11 0 548509312 864612352 26206 4294967295 134512640 134569956 3221224400 3221214800 1131306443 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26206 13073 16 0 211071 0 vsize: 844348 [startup+1140.17 s] Raw data (loadavg): 1.00 0.97 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 112501 75 0 0 25 0 11 0 548509312 864612352 26210 4294967295 134512640 134569956 3221224400 3221214848 1131253056 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26210 13073 16 0 211071 0 vsize: 844348 [startup+1150.17 s] Raw data (loadavg): 1.07 0.99 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 113495 75 0 0 25 0 11 0 548509312 864612352 26212 4294967295 134512640 134569956 3221224400 3221214800 1131306362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26212 13073 16 0 211071 0 vsize: 844348 [startup+1160.17 s] Raw data (loadavg): 1.06 0.99 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 114489 75 0 0 25 0 11 0 548509312 864612352 26224 4294967295 134512640 134569956 3221224400 3221214800 1131306445 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26224 13073 16 0 211071 0 vsize: 844348 [startup+1170.18 s] Raw data (loadavg): 1.05 0.99 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 115485 75 0 0 25 0 11 0 548509312 864612352 26225 4294967295 134512640 134569956 3221224400 3221214800 1131306557 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26225 13073 16 0 211071 0 vsize: 844348 [startup+1180.18 s] Raw data (loadavg): 1.04 0.99 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 116481 75 0 0 25 0 11 0 548509312 864612352 26244 4294967295 134512640 134569956 3221224400 3221214800 1131306001 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26244 13073 16 0 211071 0 vsize: 844348 [startup+1190.18 s] Raw data (loadavg): 1.04 0.99 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 117479 75 0 0 25 0 11 0 548509312 864612352 26246 4294967295 134512640 134569956 3221224400 3221214800 1131306433 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26246 13073 16 0 211071 0 vsize: 844348 [startup+1200.19 s] Raw data (loadavg): 1.03 0.99 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 118477 76 0 0 25 0 11 0 548509312 864612352 26251 4294967295 134512640 134569956 3221224400 3221214800 1131306362 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26251 13073 16 0 211071 0 vsize: 844348 [startup+1210.19 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 119472 76 0 0 25 0 11 0 548509312 864612352 26253 4294967295 134512640 134569956 3221224400 3221214800 1131306597 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26253 13073 16 0 211071 0 vsize: 844348 [startup+1220.19 s] Raw data (loadavg): 1.02 0.99 0.91 2/64 14867 Raw data (stat): 14799 (java) R 14798 27565 27564 0 -1 0 18113 3 1 0 120466 76 0 0 25 0 11 0 548509312 864612352 26255 4294967295 134512640 134569956 3221224400 3221214800 1131306553 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 211087 26255 13073 16 0 211071 0 vsize: 844348 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1220.25 s] Raw data (loadavg): 1.02 0.99 0.91 1/54 14869 Raw data (stat): 14799 (java) Z 14798 27565 27564 0 -1 1036 18113 7097 1 0 120467 76 1783 31 25 0 1 0 548509312 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): 1220.25 CPU time (s): 1223.58 CPU user time (s): 1222.51 CPU system time (s): 1.07184 CPU usage (%): 100.273 Max. virtual memory (Kb): 844380 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####