Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb |
MD5SUM | d116f9238cf2e97b47b1161aa0f7f9ea |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 124714 |
Biggest coefficient in the objective function | 2100440996511744 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 862062472006152900 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 52428800000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 4176904799999651840 |
Number of bits of the biggest sum of numbers | 62 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.31665 |
Number of variables | 244494 |
Total number of constraints | 6084 |
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 | 6084 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4560 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-25 11:56:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=21221 boxname=wulflinc24 idbench=1209 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: d116f9238cf2e97b47b1161aa0f7f9ea /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-dfl001.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-dfl001.opb IDLAUNCH: 21221 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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: 649224 kB Buffers: 27188 kB Cached: 335480 kB SwapCached: 588 kB Active: 80080 kB Inactive: 284660 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 648972 kB SwapTotal: 2097892 kB SwapFree: 2096416 kB Dirty: 16 kB Writeback: 0 kB Mapped: 5160 kB Slab: 14976 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 12:18:24 (client local time) WITH STATUS 143 IN 1312.54 SECONDS stats: 21221 7 1312.54 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/wulflinc24/normalized-mps-v2-13-7-dfl001.opb c reading problem ... 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 s UNKNOWN c Total CPU time (ms) : 1309.207 #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 1.02 1.03 1.00 2/54 21196 Raw data (stat): 21196 (runsolver) R 21195 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 838686760 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.02 1.03 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18016 0 1 0 871 38 0 0 25 0 10 0 838686760 853471232 19327 4294967295 134512640 134569956 3221224368 3221214568 1130887239 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208367 19327 13086 16 0 208351 0 vsize: 833468 [startup+20.0011 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 1763 39 0 0 25 0 10 0 838686760 855568384 20185 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 20185 13086 16 0 208863 0 vsize: 835516 [startup+30.0022 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 2657 39 0 0 25 0 10 0 838686760 855568384 20676 4294967295 134512640 134569956 3221224368 3221214608 1131044742 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 20676 13086 16 0 208863 0 vsize: 835516 [startup+40.0029 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 3568 40 0 0 24 0 10 0 838686760 855879680 21058 4294967295 134512640 134569956 3221224368 3221214768 1131248726 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208955 21058 13086 16 0 208939 0 vsize: 835820 [startup+50.0036 s] Raw data (loadavg): 1.01 1.03 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 4492 40 0 0 25 0 10 0 838686760 855879680 21220 4294967295 134512640 134569956 3221224368 3221214756 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208955 21220 13086 16 0 208939 0 vsize: 835820 [startup+60.0043 s] Raw data (loadavg): 1.00 1.03 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 5410 40 0 0 25 0 10 0 838686760 855879680 21351 4294967295 134512640 134569956 3221224368 3221214660 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208955 21351 13086 16 0 208939 0 vsize: 835820 [startup+70.0103 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 6336 41 0 0 25 0 10 0 838686760 855568384 21567 4294967295 134512640 134569956 3221224368 3221214216 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 21567 13086 16 0 208863 0 vsize: 835516 [startup+80.0261 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 7277 41 0 0 25 0 10 0 838686760 855568384 21668 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 21668 13086 16 0 208863 0 vsize: 835516 [startup+90.0264 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 8218 42 0 0 25 0 10 0 838686760 855568384 21760 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 21760 13086 16 0 208863 0 vsize: 835516 [startup+100.026 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 9160 42 0 0 25 0 10 0 838686760 855568384 21846 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 21846 13086 16 0 208863 0 vsize: 835516 [startup+110.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 10103 42 0 0 25 0 10 0 838686760 855568384 21927 4294967295 134512640 134569956 3221224368 3221214756 1080204166 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 21927 13086 16 0 208863 0 vsize: 835516 [startup+120.027 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 11046 42 0 0 25 0 10 0 838686760 855568384 22002 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22002 13086 16 0 208863 0 vsize: 835516 [startup+130.029 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 11986 43 0 0 24 0 10 0 838686760 855568384 22078 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22078 13086 16 0 208863 0 vsize: 835516 [startup+140.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 12930 43 0 0 25 0 10 0 838686760 855568384 22145 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22145 13086 16 0 208863 0 vsize: 835516 [startup+150.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 13873 44 0 0 25 0 10 0 838686760 855568384 22210 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22210 13086 16 0 208863 0 vsize: 835516 [startup+160.031 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 14816 44 0 0 25 0 10 0 838686760 855568384 22273 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22273 13086 16 0 208863 0 vsize: 835516 [startup+170.032 s] Raw data (loadavg): 1.00 1.02 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 15760 45 0 0 25 0 10 0 838686760 855568384 22333 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22333 13086 16 0 208863 0 vsize: 835516 [startup+180.033 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 16686 45 0 0 25 0 10 0 838686760 855568384 22391 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22391 13086 16 0 208863 0 vsize: 835516 [startup+190.034 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 17602 45 0 0 25 0 10 0 838686760 855568384 22448 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22448 13086 16 0 208863 0 vsize: 835516 [startup+200.034 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 18533 46 0 0 25 0 10 0 838686760 855568384 22758 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22758 13086 16 0 208863 0 vsize: 835516 [startup+210.035 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21205 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 19473 46 0 0 25 0 10 0 838686760 855568384 22811 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22811 13086 16 0 208863 0 vsize: 835516 [startup+220.035 s] Raw data (loadavg): 1.07 1.03 1.00 2/63 21258 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 20409 49 0 0 25 0 10 0 838686760 855568384 22863 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22863 13086 16 0 208863 0 vsize: 835516 [startup+230.036 s] Raw data (loadavg): 1.06 1.03 1.00 2/63 21258 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 21350 49 0 0 25 0 10 0 838686760 855568384 22913 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22913 13086 16 0 208863 0 vsize: 835516 [startup+240.036 s] Raw data (loadavg): 1.05 1.02 1.00 2/63 21258 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 22290 49 0 0 25 0 10 0 838686760 855568384 22963 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 22963 13086 16 0 208863 0 vsize: 835516 [startup+250.037 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 21258 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 23230 49 0 0 25 0 10 0 838686760 855568384 23011 4294967295 134512640 134569956 3221224368 3221214720 1131045363 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23011 13086 16 0 208863 0 vsize: 835516 [startup+260.038 s] Raw data (loadavg): 1.04 1.02 1.00 2/63 21258 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 24170 49 0 0 25 0 10 0 838686760 855568384 23058 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23058 13086 16 0 208863 0 vsize: 835516 [startup+270.039 s] Raw data (loadavg): 1.03 1.02 1.00 2/63 21258 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 25110 49 0 0 25 0 10 0 838686760 855568384 23104 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23104 13086 16 0 208863 0 vsize: 835516 [startup+280.044 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 21258 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 26045 50 0 0 24 0 10 0 838686760 855568384 23151 4294967295 134512640 134569956 3221224368 3221214128 1076874552 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23151 13086 16 0 208863 0 vsize: 835516 [startup+290.044 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 26983 50 0 0 25 0 10 0 838686760 855568384 23195 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23195 13086 16 0 208863 0 vsize: 835516 [startup+300.044 s] Raw data (loadavg): 1.02 1.02 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 27921 50 0 0 25 0 10 0 838686760 855568384 23239 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23239 13086 16 0 208863 0 vsize: 835516 [startup+310.045 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 28859 50 0 0 25 0 10 0 838686760 855568384 23281 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23281 13086 16 0 208863 0 vsize: 835516 [startup+320.046 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 29796 50 0 0 25 0 10 0 838686760 855568384 23323 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23323 13086 16 0 208863 0 vsize: 835516 [startup+330.046 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 30734 50 0 0 25 0 10 0 838686760 855568384 23364 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23364 13086 16 0 208863 0 vsize: 835516 [startup+340.047 s] Raw data (loadavg): 1.01 1.02 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 31670 50 0 0 25 0 10 0 838686760 855568384 23404 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23404 13086 16 0 208863 0 vsize: 835516 [startup+350.048 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 32606 51 0 0 25 0 10 0 838686760 855568384 23443 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23443 13086 16 0 208863 0 vsize: 835516 [startup+360.048 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 33542 51 0 0 25 0 10 0 838686760 855568384 23484 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23484 13086 16 0 208863 0 vsize: 835516 [startup+370.049 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 34477 51 0 0 25 0 10 0 838686760 855568384 23522 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23522 13086 16 0 208863 0 vsize: 835516 [startup+380.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 35412 51 0 0 25 0 10 0 838686760 855568384 23560 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23560 13086 16 0 208863 0 vsize: 835516 [startup+390.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 36347 51 0 0 25 0 10 0 838686760 855568384 23597 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23597 13086 16 0 208863 0 vsize: 835516 [startup+400.05 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 37280 52 0 0 24 0 10 0 838686760 855568384 23634 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23634 13086 16 0 208863 0 vsize: 835516 [startup+410.051 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 38214 52 0 0 24 0 10 0 838686760 855568384 23670 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23670 13086 16 0 208863 0 vsize: 835516 [startup+420.052 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 39148 52 0 0 24 0 10 0 838686760 855568384 23706 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23706 13086 16 0 208863 0 vsize: 835516 [startup+430.055 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) S 21195 4613 4612 0 -1 0 18017 0 1 0 40083 52 0 0 25 0 10 0 838686760 855568384 23740 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23740 13086 16 0 208863 0 vsize: 835516 [startup+440.056 s] Raw data (loadavg): 1.00 1.01 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 41018 52 0 0 25 0 10 0 838686760 855568384 23775 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23775 13086 16 0 208863 0 vsize: 835516 [startup+450.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 41950 52 0 0 25 0 10 0 838686760 855568384 23809 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23809 13086 16 0 208863 0 vsize: 835516 [startup+460.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 42882 52 0 0 25 0 10 0 838686760 855568384 23844 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23844 13086 16 0 208863 0 vsize: 835516 [startup+470.056 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 43813 52 0 0 25 0 10 0 838686760 855568384 23877 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23877 13086 16 0 208863 0 vsize: 835516 [startup+480.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 44744 52 0 0 25 0 10 0 838686760 855568384 23911 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23911 13086 16 0 208863 0 vsize: 835516 [startup+490.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 45675 52 0 0 25 0 10 0 838686760 855568384 23944 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23944 13086 16 0 208863 0 vsize: 835516 [startup+500.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 46605 52 0 0 25 0 10 0 838686760 855568384 23978 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 23978 13086 16 0 208863 0 vsize: 835516 [startup+510.061 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) S 21195 4613 4612 0 -1 0 18017 0 1 0 47539 53 0 0 25 0 10 0 838686760 855568384 24008 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24008 13086 16 0 208863 0 vsize: 835516 [startup+520.062 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 48468 53 0 0 25 0 10 0 838686760 855568384 24040 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24040 13086 16 0 208863 0 vsize: 835516 [startup+530.063 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 49397 53 0 0 25 0 10 0 838686760 855568384 24072 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24072 13086 16 0 208863 0 vsize: 835516 [startup+540.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21260 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 50326 53 0 0 25 0 10 0 838686760 855568384 24103 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24103 13086 16 0 208863 0 vsize: 835516 [startup+550.064 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 51254 53 0 0 25 0 10 0 838686760 855568384 24134 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24134 13086 16 0 208863 0 vsize: 835516 [startup+560.065 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 52182 53 0 0 25 0 10 0 838686760 855568384 24165 4294967295 134512640 134569956 3221224368 3221214224 1080019600 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24165 13086 16 0 208863 0 vsize: 835516 [startup+570.066 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 53113 53 0 0 25 0 10 0 838686760 855568384 24194 4294967295 134512640 134569956 3221224368 3221214208 1077558368 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24194 13086 16 0 208863 0 vsize: 835516 [startup+580.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 54040 53 0 0 25 0 10 0 838686760 855568384 24224 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24224 13086 16 0 208863 0 vsize: 835516 [startup+590.067 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 54967 53 0 0 25 0 10 0 838686760 855568384 24254 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24254 13086 16 0 208863 0 vsize: 835516 [startup+600.068 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 55893 54 0 0 25 0 10 0 838686760 855568384 24284 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24284 13086 16 0 208863 0 vsize: 835516 [startup+610.072 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) S 21195 4613 4612 0 -1 0 18017 0 1 0 56822 54 0 0 25 0 10 0 838686760 855568384 24312 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24312 13086 16 0 208863 0 vsize: 835516 [startup+620.073 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 57748 54 0 0 25 0 10 0 838686760 855568384 24341 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24341 13086 16 0 208863 0 vsize: 835516 [startup+630.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 58674 54 0 0 25 0 10 0 838686760 855568384 24370 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24370 13086 16 0 208863 0 vsize: 835516 [startup+640.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 59599 54 0 0 25 0 10 0 838686760 855568384 24399 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24399 13086 16 0 208863 0 vsize: 835516 [startup+650.074 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 60527 54 0 0 25 0 10 0 838686760 855568384 24425 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24425 13086 16 0 208863 0 vsize: 835516 [startup+660.075 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 61452 54 0 0 25 0 10 0 838686760 855568384 24454 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208879 24454 13086 16 0 208863 0 vsize: 835516 [startup+670.077 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 62376 54 0 0 25 0 10 0 838686760 855568384 24482 4294967295 134512640 134569956 3221224368 3221214748 1080203551 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24482 13086 16 0 208863 0 vsize: 835516 [startup+680.081 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) S 21195 4613 4612 0 -1 0 18017 0 1 0 63303 54 0 0 25 0 10 0 838686760 855568384 24510 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 24510 13086 16 0 208863 0 vsize: 835516 [startup+690.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 64222 54 0 0 25 0 10 0 838686760 855568384 25417 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208879 25417 13086 16 0 208863 0 vsize: 835516 [startup+700.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 65143 54 0 0 25 0 10 0 838686760 855568384 25417 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25417 13086 16 0 208863 0 vsize: 835516 [startup+710.083 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 66062 55 0 0 25 0 10 0 838686760 855568384 25436 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25436 13086 16 0 208863 0 vsize: 835516 [startup+720.082 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 66975 55 0 0 25 0 10 0 838686760 855568384 25463 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25463 13086 16 0 208863 0 vsize: 835516 [startup+730.084 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 67894 55 0 0 25 0 10 0 838686760 855568384 25488 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25488 13086 16 0 208863 0 vsize: 835516 [startup+740.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 68806 55 0 0 25 0 10 0 838686760 855568384 25515 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25515 13086 16 0 208863 0 vsize: 835516 [startup+750.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 69723 55 0 0 25 0 10 0 838686760 855568384 25540 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25540 13086 16 0 208863 0 vsize: 835516 [startup+760.089 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 70635 55 0 0 25 0 10 0 838686760 855568384 25566 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25566 13086 16 0 208863 0 vsize: 835516 [startup+770.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 71553 56 0 0 25 0 10 0 838686760 855568384 25590 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25590 13086 16 0 208863 0 vsize: 835516 [startup+780.091 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 72464 56 0 0 25 0 10 0 838686760 855568384 25616 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25616 13086 16 0 208863 0 vsize: 835516 [startup+790.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 73381 56 0 0 25 0 10 0 838686760 855568384 25641 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208879 25641 13086 16 0 208863 0 vsize: 835516 [startup+800.092 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 74291 56 0 0 25 0 10 0 838686760 855568384 25666 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25666 13086 16 0 208863 0 vsize: 835516 [startup+810.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 75207 56 0 0 25 0 10 0 838686760 855568384 25690 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25690 13086 16 0 208863 0 vsize: 835516 [startup+820.093 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 76117 57 0 0 24 0 10 0 838686760 855568384 25716 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25716 13086 16 0 208863 0 vsize: 835516 [startup+830.094 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 77032 57 0 0 25 0 10 0 838686760 855568384 25739 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25739 13086 16 0 208863 0 vsize: 835516 [startup+840.095 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 77941 57 0 0 24 0 10 0 838686760 855568384 25764 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25764 13086 16 0 208863 0 vsize: 835516 [startup+850.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 78856 57 0 0 25 0 10 0 838686760 855568384 25788 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25788 13086 16 0 208863 0 vsize: 835516 [startup+860.096 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 79770 57 0 0 25 0 10 0 838686760 855568384 25811 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25811 13086 16 0 208863 0 vsize: 835516 [startup+870.097 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 80679 57 0 0 25 0 10 0 838686760 855568384 25835 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25835 13086 16 0 208863 0 vsize: 835516 [startup+880.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 81593 58 0 0 25 0 10 0 838686760 855568384 25859 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25859 13086 16 0 208863 0 vsize: 835516 [startup+890.098 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 82502 58 0 0 25 0 10 0 838686760 855568384 25884 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25884 13086 16 0 208863 0 vsize: 835516 [startup+900.099 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 83416 58 0 0 25 0 10 0 838686760 855568384 25906 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25906 13086 16 0 208863 0 vsize: 835516 [startup+910.105 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) S 21195 4613 4612 0 -1 0 18017 0 1 0 84327 58 0 0 25 0 10 0 838686760 855568384 25929 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25929 13086 16 0 208863 0 vsize: 835516 [startup+920.105 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 85237 58 0 0 25 0 10 0 838686760 855568384 25953 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25953 13086 16 0 208863 0 vsize: 835516 [startup+930.105 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 86149 58 0 0 25 0 10 0 838686760 855568384 25975 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25975 13086 16 0 208863 0 vsize: 835516 [startup+940.106 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 87055 58 0 0 25 0 10 0 838686760 855568384 25999 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 25999 13086 16 0 208863 0 vsize: 835516 [startup+950.106 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 87967 58 0 0 25 0 10 0 838686760 855568384 26021 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26021 13086 16 0 208863 0 vsize: 835516 [startup+960.106 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 88878 58 0 0 25 0 10 0 838686760 855568384 26043 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26043 13086 16 0 208863 0 vsize: 835516 [startup+970.107 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 89784 58 0 0 24 0 10 0 838686760 855568384 26066 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26066 13086 16 0 208863 0 vsize: 835516 [startup+980.108 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 90695 58 0 0 25 0 10 0 838686760 855568384 26088 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208879 26088 13086 16 0 208863 0 vsize: 835516 [startup+990.109 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 91603 58 0 0 25 0 10 0 838686760 855568384 26110 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208879 26110 13086 16 0 208863 0 vsize: 835516 [startup+1000.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 92507 59 0 0 24 0 10 0 838686760 855568384 26135 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26135 13086 16 0 208863 0 vsize: 835516 [startup+1010.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 93416 59 0 0 25 0 10 0 838686760 855568384 26162 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208879 26162 13086 16 0 208863 0 vsize: 835516 [startup+1020.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 94326 59 0 0 25 0 10 0 838686760 855568384 26183 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26183 13086 16 0 208863 0 vsize: 835516 [startup+1030.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 95231 59 0 0 24 0 10 0 838686760 855568384 26212 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26212 13086 16 0 208863 0 vsize: 835516 [startup+1040.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 96141 59 0 0 25 0 10 0 838686760 855568384 26235 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208879 26235 13086 16 0 208863 0 vsize: 835516 [startup+1050.11 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 97051 59 0 0 22 0 10 0 838686760 855568384 26256 4294967295 134512640 134569956 3221224368 3221214224 1080019614 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208879 26256 13086 16 0 208863 0 vsize: 835516 [startup+1060.11 s] Raw data (loadavg): 1.08 1.02 1.01 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 97954 59 0 0 18 0 10 0 838686760 855568384 26288 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26288 13086 16 0 208863 0 vsize: 835516 [startup+1070.11 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 98863 59 0 0 21 0 10 0 838686760 855568384 26310 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26310 13086 16 0 208863 0 vsize: 835516 [startup+1080.11 s] Raw data (loadavg): 1.06 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 99772 59 0 0 22 0 10 0 838686760 855568384 26336 4294967295 134512640 134569956 3221224368 3221214224 1080019747 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26336 13086 16 0 208863 0 vsize: 835516 [startup+1090.12 s] Raw data (loadavg): 1.05 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 100680 59 0 0 24 0 10 0 838686760 855568384 26360 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26360 13086 16 0 208863 0 vsize: 835516 [startup+1100.12 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 101580 59 0 0 19 0 10 0 838686760 855568384 26386 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26386 13086 16 0 208863 0 vsize: 835516 [startup+1110.12 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 102486 60 0 0 21 0 10 0 838686760 855568384 26410 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26410 13086 16 0 208863 0 vsize: 835516 [startup+1120.12 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 103394 60 0 0 22 0 10 0 838686760 855568384 26430 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26430 13086 16 0 208863 0 vsize: 835516 [startup+1130.12 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 104300 60 0 0 24 0 10 0 838686760 855568384 26457 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26457 13086 16 0 208863 0 vsize: 835516 [startup+1140.12 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 105202 60 0 0 19 0 10 0 838686760 855568384 26482 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26482 13086 16 0 208863 0 vsize: 835516 [startup+1150.12 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 106107 60 0 0 20 0 10 0 838686760 855568384 26506 4294967295 134512640 134569956 3221224368 3221214748 1080204031 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26506 13086 16 0 208863 0 vsize: 835516 [startup+1160.12 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 107014 60 0 0 22 0 10 0 838686760 855568384 26528 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26528 13086 16 0 208863 0 vsize: 835516 [startup+1170.12 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 107920 60 0 0 23 0 10 0 838686760 855568384 26553 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26553 13086 16 0 208863 0 vsize: 835516 [startup+1180.12 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 108819 60 0 0 19 0 10 0 838686760 855568384 26574 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26574 13086 16 0 208863 0 vsize: 835516 [startup+1190.12 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 109725 61 0 0 20 0 10 0 838686760 855568384 26599 4294967295 134512640 134569956 3221224368 3221214756 1080204163 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26599 13086 16 0 208863 0 vsize: 835516 [startup+1200.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 110631 61 0 0 23 0 10 0 838686760 855568384 26621 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26621 13086 16 0 208863 0 vsize: 835516 [startup+1210.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 111536 61 0 0 23 0 10 0 838686760 855568384 26644 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26644 13086 16 0 208863 0 vsize: 835516 [startup+1220.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 112435 61 0 0 18 0 10 0 838686760 855568384 26664 4294967295 134512640 134569956 3221224368 3221214756 1080204146 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26664 13086 16 0 208863 0 vsize: 835516 [startup+1230.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 113339 61 0 0 19 0 10 0 838686760 855568384 26693 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26693 13086 16 0 208863 0 vsize: 835516 [startup+1240.12 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 114242 61 0 0 21 0 10 0 838686760 855568384 26715 4294967295 134512640 134569956 3221224368 3221214208 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26715 13086 16 0 208863 0 vsize: 835516 [startup+1250.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 115144 61 0 0 20 0 10 0 838686760 855568384 26736 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26736 13086 16 0 208863 0 vsize: 835516 [startup+1260.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 116049 61 0 0 23 0 10 0 838686760 855568384 26758 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26758 13086 16 0 208863 0 vsize: 835516 [startup+1270.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 116947 61 0 0 18 0 10 0 838686760 855568384 26779 4294967295 134512640 134569956 3221224368 3221214224 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26779 13086 16 0 208863 0 vsize: 835516 [startup+1280.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 117851 61 0 0 19 0 10 0 838686760 855568384 26798 4294967295 134512640 134569956 3221224368 3221214224 1080019741 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26798 13086 16 0 208863 0 vsize: 835516 [startup+1290.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 118754 61 0 0 20 0 10 0 838686760 855568384 26817 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26817 13086 16 0 208863 0 vsize: 835516 [startup+1300.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 119658 61 0 0 21 0 10 0 838686760 855568384 26848 4294967295 134512640 134569956 3221224368 3221214652 1079677938 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26848 13086 16 0 208863 0 vsize: 835516 [startup+1310.13 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 21262 Raw data (stat): 21196 (java) R 21195 4613 4612 0 -1 0 18017 0 1 0 120562 61 0 0 22 0 10 0 838686760 855568384 26880 4294967295 134512640 134569956 3221224368 3221214208 1077558382 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208879 26880 13086 16 0 208863 0 vsize: 835516 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1310.24 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 21264 Raw data (stat): 21196 (java) Z 21195 4613 4612 0 -1 1036 18017 9630 1 0 120568 66 10569 49 24 0 1 0 838686760 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 143 Real time (s): 1310.24 CPU time (s): 1312.54 CPU user time (s): 1311.38 CPU system time (s): 1.16682 CPU usage (%): 100.176 Max. virtual memory (Kb): 835820 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####