Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-nesm.opb |
MD5SUM | b7fb72cd75b9b276aedcc241f42047cf |
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 | 8142 |
Biggest coefficient in the objective function | 104857600000000000 |
Number of bits for the biggest coefficient in the objective function | 57 |
Sum of the numbers in the objective function | 5247199281280502271 |
Number of bits of the sum of numbers in the objective function | 63 |
Biggest number in a constraint | 1789569420335513600 |
Number of bits of the biggest number in a constraint | 61 |
Biggest sum of numbers in a constraint | 7218026776828457671 |
Number of bits of the biggest sum of numbers | 63 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.532918 |
Number of variables | 60075 |
Total number of constraints | 2258 |
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 | 2258 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 941 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-25 07:56:08 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20860 boxname=wulflinc24 idbench=848 idsolver=14 numberseed=0 MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e /oldhome/oroussel/solvers/sat4jPseudoBis.jar MD5SUM BENCH: b7fb72cd75b9b276aedcc241f42047cf /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-nesm.opb REAL COMMAND: java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-nesm.opb IDLAUNCH: 20860 /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: 659820 kB Buffers: 23912 kB Cached: 328348 kB SwapCached: 524 kB Active: 152612 kB Inactive: 202040 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 659568 kB SwapTotal: 2097892 kB SwapFree: 2096776 kB Dirty: 40 kB Writeback: 0 kB Mapped: 5656 kB Slab: 14532 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 08:13:46 (client local time) WITH STATUS 20 IN 1061.74 SECONDS stats: 20860 7 1061.74 20 #### 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-20-10-nesm.opb c reading problem ... done. Time 1050.142 ms. c #vars 60075 c #constraints 2737 c starts : 0 c conflicts : 0 c decisions : 0 c propagations : 10882 c inspects : 3093 c learned literals : 0 c learned binary clauses : 0 c learned ternary clauses : 0 c learned clauses : 0 c root simplifications : 0 s UNSATISFIABLE c Total CPU time (ms) : 1056.504 #### 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.85 0.97 0.99 2/54 19695 Raw data (stat): 19695 (runsolver) R 19694 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837244210 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.0002 s] Raw data (loadavg): 0.87 0.97 0.99 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18010 0 1 0 870 39 0 0 25 0 10 0 837244210 857096192 20083 4294967295 134512640 134569956 3221224368 3221214464 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209252 20083 13086 16 0 209236 0 vsize: 837008 [startup+20.0014 s] Raw data (loadavg): 0.89 0.97 0.99 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18010 0 1 0 1767 40 0 0 25 0 10 0 837244210 855547904 20273 4294967295 134512640 134569956 3221224368 3221214648 1131182157 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208874 20273 13086 16 0 208858 0 vsize: 835496 [startup+30.0033 s] Raw data (loadavg): 0.91 0.97 0.99 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18019 0 1 0 2644 40 0 0 25 0 10 0 837244210 855547904 20845 4294967295 134512640 134569956 3221224368 3221214496 1077558376 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208874 20845 13086 16 0 208858 0 vsize: 835496 [startup+40.0032 s] Raw data (loadavg): 1.00 0.99 0.99 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18020 0 1 0 3551 41 0 0 24 0 10 0 837244210 855547904 21147 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208874 21147 13086 16 0 208858 0 vsize: 835496 [startup+50.0034 s] Raw data (loadavg): 1.08 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18020 0 1 0 4442 41 0 0 25 0 10 0 837244210 856301568 21525 4294967295 134512640 134569956 3221224368 3221214800 1131275603 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209058 21525 13086 16 0 209042 0 vsize: 836232 [startup+60.0042 s] Raw data (loadavg): 1.07 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 5331 42 0 0 25 0 10 0 837244210 855908352 21632 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 208962 21632 13086 16 0 208946 0 vsize: 835848 [startup+70.0043 s] Raw data (loadavg): 1.06 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 6241 42 0 0 24 0 10 0 837244210 855908352 21952 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208962 21952 13086 16 0 208946 0 vsize: 835848 [startup+80.005 s] Raw data (loadavg): 1.05 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 7176 43 0 0 25 0 10 0 837244210 855908352 22064 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208962 22064 13086 16 0 208946 0 vsize: 835848 [startup+90.0054 s] Raw data (loadavg): 1.04 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 8114 43 0 0 25 0 10 0 837244210 855908352 22165 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208962 22165 13086 16 0 208946 0 vsize: 835848 [startup+100.005 s] Raw data (loadavg): 1.03 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 9054 43 0 0 25 0 10 0 837244210 855908352 22260 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208962 22260 13086 16 0 208946 0 vsize: 835848 [startup+110.006 s] Raw data (loadavg): 1.03 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 9995 43 0 0 25 0 10 0 837244210 855908352 22346 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208962 22346 13086 16 0 208946 0 vsize: 835848 [startup+120.007 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 10932 44 0 0 24 0 10 0 837244210 855908352 22432 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208962 22432 13086 16 0 208946 0 vsize: 835848 [startup+130.008 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 11873 44 0 0 25 0 10 0 837244210 855908352 22509 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208962 22509 13086 16 0 208946 0 vsize: 835848 [startup+140.007 s] Raw data (loadavg): 1.02 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 12814 45 0 0 25 0 10 0 837244210 855908352 22582 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208962 22582 13086 16 0 208946 0 vsize: 835848 [startup+150.008 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18021 0 1 0 13756 45 0 0 25 0 10 0 837244210 855908352 22653 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 208962 22653 13086 16 0 208946 0 vsize: 835848 [startup+160.008 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 14636 46 0 0 25 0 10 0 837244210 856932352 23010 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 23010 13086 16 0 209196 0 vsize: 836848 [startup+170.007 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 15535 46 0 0 25 0 10 0 837244210 856932352 23071 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 23071 13086 16 0 209196 0 vsize: 836848 [startup+180.008 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 16447 47 0 0 25 0 10 0 837244210 856932352 23381 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 23381 13086 16 0 209196 0 vsize: 836848 [startup+190.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 17363 47 0 0 25 0 10 0 837244210 856932352 23457 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 23457 13086 16 0 209196 0 vsize: 836848 [startup+200.008 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 18286 48 0 0 25 0 10 0 837244210 856932352 23695 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 23695 13086 16 0 209196 0 vsize: 836848 [startup+210.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 19220 48 0 0 25 0 10 0 837244210 856932352 23770 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 23770 13086 16 0 209196 0 vsize: 836848 [startup+220.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 20153 49 0 0 25 0 10 0 837244210 856932352 23844 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 23844 13086 16 0 209196 0 vsize: 836848 [startup+230.01 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19704 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 21086 49 0 0 25 0 10 0 837244210 856932352 23917 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 23917 13086 16 0 209196 0 vsize: 836848 [startup+240.009 s] Raw data (loadavg): 1.00 1.00 1.00 2/65 19752 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 22015 50 0 0 25 0 10 0 837244210 856932352 23990 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 1 0 0 Raw data (statm): 209212 23990 13086 16 0 209196 0 vsize: 836848 [startup+250.009 s] Raw data (loadavg): 1.07 1.02 1.00 2/63 19757 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 22947 51 0 0 25 0 10 0 837244210 856932352 24029 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24029 13086 16 0 209196 0 vsize: 836848 [startup+260.01 s] Raw data (loadavg): 1.06 1.02 1.00 2/63 19757 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 23880 51 0 0 25 0 10 0 837244210 856932352 24100 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24100 13086 16 0 209196 0 vsize: 836848 [startup+270.01 s] Raw data (loadavg): 1.05 1.01 1.00 2/63 19757 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 24812 51 0 0 25 0 10 0 837244210 856932352 24170 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24170 13086 16 0 209196 0 vsize: 836848 [startup+280.01 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 19757 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 25743 52 0 0 25 0 10 0 837244210 856932352 24238 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24238 13086 16 0 209196 0 vsize: 836848 [startup+290.011 s] Raw data (loadavg): 1.04 1.01 1.00 2/63 19757 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 26673 52 0 0 25 0 10 0 837244210 856932352 24306 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24306 13086 16 0 209196 0 vsize: 836848 [startup+300.01 s] Raw data (loadavg): 1.03 1.01 1.00 2/63 19757 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 27603 53 0 0 25 0 10 0 837244210 856932352 24341 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24341 13086 16 0 209196 0 vsize: 836848 [startup+310.01 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 19757 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 28534 53 0 0 25 0 10 0 837244210 856932352 24408 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24408 13086 16 0 209196 0 vsize: 836848 [startup+320.01 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 29464 53 0 0 25 0 10 0 837244210 856932352 24475 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24475 13086 16 0 209196 0 vsize: 836848 [startup+330.012 s] Raw data (loadavg): 1.02 1.01 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 30393 54 0 0 25 0 10 0 837244210 856932352 24508 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24508 13086 16 0 209196 0 vsize: 836848 [startup+340.012 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 31324 54 0 0 25 0 10 0 837244210 856932352 24574 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24574 13086 16 0 209196 0 vsize: 836848 [startup+350.012 s] Raw data (loadavg): 1.01 1.01 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 32253 55 0 0 25 0 10 0 837244210 856932352 24639 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24639 13086 16 0 209196 0 vsize: 836848 [startup+360.013 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 33181 55 0 0 25 0 10 0 837244210 856932352 24671 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24671 13086 16 0 209196 0 vsize: 836848 [startup+370.012 s] Raw data (loadavg): 1.01 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 34110 55 0 0 25 0 10 0 837244210 856932352 24735 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24735 13086 16 0 209196 0 vsize: 836848 [startup+380.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 35037 56 0 0 24 0 10 0 837244210 856932352 24799 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24799 13086 16 0 209196 0 vsize: 836848 [startup+390.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 35969 57 0 0 25 0 10 0 837244210 856932352 24828 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24828 13086 16 0 209196 0 vsize: 836848 [startup+400.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 36897 57 0 0 25 0 10 0 837244210 856932352 24889 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24889 13086 16 0 209196 0 vsize: 836848 [startup+410.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 37823 57 0 0 25 0 10 0 837244210 856932352 24953 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24953 13086 16 0 209196 0 vsize: 836848 [startup+420.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 38751 57 0 0 25 0 10 0 837244210 856932352 24982 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 24982 13086 16 0 209196 0 vsize: 836848 [startup+430.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 39677 58 0 0 25 0 10 0 837244210 856932352 25045 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25045 13086 16 0 209196 0 vsize: 836848 [startup+440.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 40603 58 0 0 25 0 10 0 837244210 856932352 25074 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25074 13086 16 0 209196 0 vsize: 836848 [startup+450.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 41529 58 0 0 25 0 10 0 837244210 856932352 25135 4294967295 134512640 134569956 3221224368 3221214264 1080019600 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25135 13086 16 0 209196 0 vsize: 836848 [startup+460.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 42459 58 0 0 25 0 10 0 837244210 856932352 25195 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25195 13086 16 0 209196 0 vsize: 836848 [startup+470.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 43386 59 0 0 25 0 10 0 837244210 856932352 25223 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25223 13086 16 0 209196 0 vsize: 836848 [startup+480.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 44311 59 0 0 25 0 10 0 837244210 856932352 25283 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25283 13086 16 0 209196 0 vsize: 836848 [startup+490.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 45235 59 0 0 25 0 10 0 837244210 856932352 25310 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25310 13086 16 0 209196 0 vsize: 836848 [startup+500.016 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 46159 60 0 0 25 0 10 0 837244210 856932352 25370 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25370 13086 16 0 209196 0 vsize: 836848 [startup+510.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 47084 60 0 0 24 0 10 0 837244210 856932352 25396 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25396 13086 16 0 209196 0 vsize: 836848 [startup+520.017 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 48013 60 0 0 25 0 10 0 837244210 856932352 25455 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25455 13086 16 0 209196 0 vsize: 836848 [startup+530.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 48935 61 0 0 25 0 10 0 837244210 856932352 25481 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25481 13086 16 0 209196 0 vsize: 836848 [startup+540.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 49858 61 0 0 25 0 10 0 837244210 856932352 25539 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25539 13086 16 0 209196 0 vsize: 836848 [startup+550.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18023 0 1 0 50781 62 0 0 25 0 10 0 837244210 856932352 25595 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25595 13086 16 0 209196 0 vsize: 836848 [startup+560.018 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19759 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 51706 62 0 0 25 0 10 0 837244210 856932352 25620 4294967295 134512640 134569956 3221224368 3221214248 1077558382 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25620 13086 16 0 209196 0 vsize: 836848 [startup+570.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 52626 63 0 0 25 0 10 0 837244210 856932352 25678 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25678 13086 16 0 209196 0 vsize: 836848 [startup+580.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 53548 64 0 0 25 0 10 0 837244210 856932352 25702 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25702 13086 16 0 209196 0 vsize: 836848 [startup+590.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 54473 64 0 0 25 0 10 0 837244210 856932352 25758 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25758 13086 16 0 209196 0 vsize: 836848 [startup+600.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 55396 64 0 0 25 0 10 0 837244210 856932352 25782 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25782 13086 16 0 209196 0 vsize: 836848 [startup+610.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 56316 65 0 0 25 0 10 0 837244210 856932352 25840 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25840 13086 16 0 209196 0 vsize: 836848 [startup+620.019 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 57241 65 0 0 25 0 10 0 837244210 856932352 25862 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25862 13086 16 0 209196 0 vsize: 836848 [startup+630.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 58160 65 0 0 25 0 10 0 837244210 856932352 25919 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25919 13086 16 0 209196 0 vsize: 836848 [startup+640.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 59080 66 0 0 25 0 10 0 837244210 856932352 25942 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25942 13086 16 0 209196 0 vsize: 836848 [startup+650.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 60005 66 0 0 25 0 10 0 837244210 856932352 25998 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 25998 13086 16 0 209196 0 vsize: 836848 [startup+660.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 60925 67 0 0 25 0 10 0 837244210 856932352 26021 4294967295 134512640 134569956 3221224368 3221214788 1080203551 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26021 13086 16 0 209196 0 vsize: 836848 [startup+670.02 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 61843 67 0 0 24 0 10 0 837244210 856932352 26044 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26044 13086 16 0 209196 0 vsize: 836848 [startup+680.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 62768 67 0 0 25 0 10 0 837244210 856932352 26099 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26099 13086 16 0 209196 0 vsize: 836848 [startup+690.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 63679 67 0 0 25 0 10 0 837244210 856932352 26673 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26673 13086 16 0 209196 0 vsize: 836848 [startup+700.021 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 64607 68 0 0 25 0 10 0 837244210 856932352 26673 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26673 13086 16 0 209196 0 vsize: 836848 [startup+710.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 65517 69 0 0 25 0 10 0 837244210 856932352 26677 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26677 13086 16 0 209196 0 vsize: 836848 [startup+720.022 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 66430 69 0 0 25 0 10 0 837244210 856932352 26732 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26732 13086 16 0 209196 0 vsize: 836848 [startup+730.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 67337 69 0 0 24 0 10 0 837244210 856932352 26754 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26754 13086 16 0 209196 0 vsize: 836848 [startup+740.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 68249 70 0 0 25 0 10 0 837244210 856932352 26808 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26808 13086 16 0 209196 0 vsize: 836848 [startup+750.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 69157 70 0 0 24 0 10 0 837244210 856932352 26829 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26829 13086 16 0 209196 0 vsize: 836848 [startup+760.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 70068 70 0 0 25 0 10 0 837244210 856932352 26881 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26881 13086 16 0 209196 0 vsize: 836848 [startup+770.023 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 70982 70 0 0 25 0 10 0 837244210 856932352 26902 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26902 13086 16 0 209196 0 vsize: 836848 [startup+780.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 71888 71 0 0 25 0 10 0 837244210 856932352 26923 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26923 13086 16 0 209196 0 vsize: 836848 [startup+790.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 72801 71 0 0 25 0 10 0 837244210 856932352 26976 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26976 13086 16 0 209196 0 vsize: 836848 [startup+800.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18023 0 1 0 73709 72 0 0 25 0 10 0 837244210 856932352 26995 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 26995 13086 16 0 209196 0 vsize: 836848 [startup+810.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 74617 72 0 0 25 0 10 0 837244210 856932352 27050 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 27050 13086 16 0 209196 0 vsize: 836848 [startup+820.027 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 75528 72 0 0 25 0 10 0 837244210 856932352 27069 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 27069 13086 16 0 209196 0 vsize: 836848 [startup+830.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18023 0 1 0 76432 73 0 0 25 0 10 0 837244210 856932352 27089 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 27089 13086 16 0 209196 0 vsize: 836848 [startup+840.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 77328 74 0 0 25 0 10 0 837244210 856932352 29307 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 29307 13086 16 0 209196 0 vsize: 836848 [startup+850.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18025 0 1 0 78212 74 0 0 25 0 10 0 837244210 856932352 29495 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 29495 13086 16 0 209196 0 vsize: 836848 [startup+860.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 79098 74 0 0 25 0 10 0 837244210 856932352 29749 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 29749 13086 16 0 209196 0 vsize: 836848 [startup+870.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 79983 75 0 0 25 0 10 0 837244210 856932352 30070 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 30070 13086 16 0 209196 0 vsize: 836848 [startup+880.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 80864 75 0 0 25 0 10 0 837244210 856932352 30513 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 30513 13086 16 0 209196 0 vsize: 836848 [startup+890.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 81763 76 0 0 25 0 10 0 837244210 856932352 30684 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 30684 13086 16 0 209196 0 vsize: 836848 [startup+900.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 82648 77 0 0 24 0 10 0 837244210 856932352 30711 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 30711 13086 16 0 209196 0 vsize: 836848 [startup+910.028 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 83537 77 0 0 25 0 10 0 837244210 856932352 30821 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 30821 13086 16 0 209196 0 vsize: 836848 [startup+920.029 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 84423 78 0 0 25 0 10 0 837244210 856932352 30940 4294967295 134512640 134569956 3221224368 3221214788 1080204031 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 30940 13086 16 0 209196 0 vsize: 836848 [startup+930.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18025 0 1 0 85315 78 0 0 25 0 10 0 837244210 856932352 31041 4294967295 134512640 134569956 3221224368 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 31041 13086 16 0 209196 0 vsize: 836848 [startup+940.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 86201 79 0 0 25 0 10 0 837244210 856932352 31225 4294967295 134512640 134569956 3221224368 3221214248 1077558376 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 31225 13086 16 0 209196 0 vsize: 836848 [startup+950.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 87089 79 0 0 25 0 10 0 837244210 856932352 31380 4294967295 134512640 134569956 3221224368 3221214264 1080019741 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 31380 13086 16 0 209196 0 vsize: 836848 [startup+960.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 87984 80 0 0 21 0 10 0 837244210 856932352 31470 4294967295 134512640 134569956 3221224368 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 31470 13086 16 0 209196 0 vsize: 836848 [startup+970.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 88866 80 0 0 17 0 10 0 837244210 856932352 31734 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 31734 13086 16 0 209196 0 vsize: 836848 [startup+980.031 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18025 0 1 0 89765 81 0 0 23 0 10 0 837244210 856932352 31887 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 31887 13086 16 0 209196 0 vsize: 836848 [startup+990.032 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 90659 81 0 0 20 0 10 0 837244210 856932352 31958 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 31958 13086 16 0 209196 0 vsize: 836848 [startup+1000.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 91544 81 0 0 18 0 10 0 837244210 856932352 32079 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 32079 13086 16 0 209196 0 vsize: 836848 [startup+1010.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) S 19694 4613 4612 0 -1 0 18025 0 1 0 92430 83 0 0 25 0 10 0 837244210 856932352 33378 4294967295 134512640 134569956 3221224368 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 33378 13086 16 0 209196 0 vsize: 836848 [startup+1020.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 93339 84 0 0 24 0 10 0 837244210 856932352 33378 4294967295 134512640 134569956 3221224368 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 33378 13086 16 0 209196 0 vsize: 836848 [startup+1030.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 94242 84 0 0 25 0 10 0 837244210 856932352 33416 4294967295 134512640 134569956 3221224368 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 33416 13086 16 0 209196 0 vsize: 836848 [startup+1040.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 95128 84 0 0 25 0 10 0 837244210 856932352 33598 4294967295 134512640 134569956 3221224368 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 33598 13086 16 0 209196 0 vsize: 836848 [startup+1050.03 s] Raw data (loadavg): 1.00 1.00 1.00 2/63 19761 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 96039 86 0 0 25 0 10 0 837244210 856932352 33744 4294967295 134512640 134569956 3221224368 3221214248 1131206036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 33744 13086 16 0 209196 0 vsize: 836848 [startup+1057.54 s] Raw data (loadavg): 1.00 1.00 1.00 1/53 19762 Raw data (stat): 19695 (java) R 19694 4613 4612 0 -1 0 18025 0 1 0 96039 86 0 0 25 0 10 0 837244210 856932352 33744 4294967295 134512640 134569956 3221224368 3221214248 1131206036 0 4 3 23756 0 0 0 17 0 0 0 Raw data (statm): 209212 33744 13086 16 0 209196 0 vsize: 0 Child status: 20 Real time (s): 1057.54 CPU time (s): 1061.74 CPU user time (s): 1060.21 CPU system time (s): 1.52177 CPU usage (%): 100.397 Max. virtual memory (Kb): 837008 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####